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

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

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

,

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

, то

определено, 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