В общем случае, из того, что определено выражение 

 еще не следует, что определено выражение 

. Например, в вещественном случае, если 

, 

 отрицательны и 

, то 

 определено, a 

 — нет.
Можно указать: 

, 

. Тогда expand развернет в произведение.
Maple 12 Classic Worksheet:
Код:
> assume(x>0, y>0);
> f:= (x*y)^alpha;
           f := (x~*y~)^alpha
> expand(f);
           x~^alpha*y~^alpha