2022-01-17

How to combine complex powers?

It is not posssible to combine complex powers in the usual way:

$\left({x}^{y}\right)}^{z}={x}^{yz$

There was mention of multi-valued functions, is there some theory that makes this all work out correctly?

It is not posssible to combine complex powers in the usual way:

There was mention of multi-valued functions, is there some theory that makes this all work out correctly?

nick1337

Expert2022-01-19Added 777 answers

Step 1
For complex numbers the general way of defining ${x}^{y}$ (with x nonzero) is as $\mathrm{exp}[(ly)$ where l is one of the logarithms of x. But x does not have a unique logarithm, it has many. If l is one logarithm of x then the general one is $l+2n\pi i$ with n an integer. Hence the general value of ${x}^{y}$ is
$\mathrm{exp}(ly+2\pi iny)=\mathrm{exp}(ly)\mathrm{exp}(2\pi iny)$
Before proceeding further note that if y is an integer then $\mathrm{exp}(2\pi iny)-1$ so that ${x}^{n}$ is uniquely determined. More generally if y is a rational with denominator d then $\mathrm{exp}(\pi iny)$ (and so ${x}^{y}$ ) takes d different values. But if y is irrational, then ${x}^{y}$ takes infinitely many variables.
In the problem in hand ${x}^{y}$ takes the values $\mathrm{exp}[(ly)\mathrm{exp}(2\pi iny)$ as above, and ${x}^{yz}$ the values
$\mathrm{exp}(lyz)\mathrm{exp}(2\pi inyz)$
However in general each value of ${x}^{y}$ gives rise to infinitely many values of $({x}^{y}{)}^{z}$ , namely
$\mathrm{exp}((ly+2\pi iny)z+2\pi imz)$
so $({x}^{y}{)}^{z}$ has a doubly-infinite family of values. In general, there will be values of $({x}^{y}{)}^{z}$ which are not values of ${x}^{y}$ so the paradox in the previous posting should be expected.

Vasquez

Expert2022-01-19Added 669 answers

Step 1
I guess the problem in general arises because ab can have multiple values. We have
$\mathrm{log}(({x}^{y}{)}^{z})=z(\mathrm{log}({x}^{y})+2\pi im)=z(y(\mathrm{log}(x)+2\pi in)+2\pi im)$
$=zy\mathrm{log}(x)+2\pi i(ny+m)z$
$=\mathrm{log}({x}^{yz}{e}^{2\pi i(ny+m)z})$
It seems a correction factor of ${e}^{2\pi i(ny+m)z}$ is necessary.
So all that can be said is that
$\mathrm{\exists}m,\text{}n\in \mathbb{Z}:({x}^{y}{)}^{z}={x}^{yz}{e}^{2\pi i(ny+m)z}$
In particular, we can say that the correction term is 1 if $(ny+m)z$ is always an integer, which happens for example if we know $y,z\in \mathbb{Z}$

alenahelenash

Expert2022-01-24Added 556 answers

The original question asked about a theory that would make this all work out correctly. The previous answers are all correct, but they did not point out the underlying, unifying factor which makes all these computations much simpler: the Unwinding number. The unwinding number $K(z)$ is defined to be
$\mathrm{ln}(\mathrm{exp}(z))=z+2\pi iK(z)$
It is an integer which tells you how many times you need to unwind z before you get into the range where $\mathrm{ln}\circ \mathrm{exp}$ is the identity. This then allows a lot of identities to be fixed with relative ease.
I also find the paper Reasoning about the Elementary Functions of Complex Analysis by Corless, Davenport, Jeffrey, Litt and Watt quite instructive in this domain.

Describe all solutions of Ax=0 in parametric vector form, where A is row equivalent to the given matrix

$$\left[\begin{array}{cccc}1& 3& 0& -4\\ 2& 6& 0& -8\end{array}\right]$$ Find, correct to the nearest degree, the three angles of the triangle with the given vertices

A(1, 0, -1), B(3, -2, 0), C(1, 3, 3)Whether f is a function from Z to R if

?

a) $f\left(n\right)=\pm n$.

b) $f\left(n\right)=\sqrt{{n}^{2}+1}$.

c) $f\left(n\right)=\frac{1}{{n}^{2}-4}$.How to write the expression ${6}^{\frac{3}{2}}$ in radical form?

How to evaluate $\mathrm{sin}\left(\frac{-5\pi}{4}\right)$?

What is the derivative of ${\mathrm{cot}}^{2}x$ ?

How to verify the identity: $\frac{\mathrm{cos}\left(x\right)-\mathrm{cos}\left(y\right)}{\mathrm{sin}\left(x\right)+\mathrm{sin}\left(y\right)}+\frac{\mathrm{sin}\left(x\right)-\mathrm{sin}\left(y\right)}{\mathrm{cos}\left(x\right)+\mathrm{cos}\left(y\right)}=0$?

Find $\mathrm{tan}\left(22.{5}^{\circ}\right)$ using the half-angle formula.

How to find the exact values of $\mathrm{cos}22.5\xb0$ using the half-angle formula?

How to express the complex number in trigonometric form: 5-5i?

The solution set of $\mathrm{tan}\theta =3\mathrm{cot}\theta $ is

How to find the angle between the vector and $x-$axis?

Find the probability of getting 5 Mondays in the month of february in a leap year.

How to find the inflection points for the given function $f\left(x\right)={x}^{3}-3{x}^{2}+6x$?

How do I find the value of sec(3pi/4)?