3
$\begingroup$

Let $z$, $\lambda$, $\mu$ be complex numbers. Find a case where $(z^\lambda)^\mu$ is not equal to $z^{\lambda\mu}$.

In our book, $a^b = \exp( b \cdot \operatorname{Log}(a) )$.

$\operatorname{Log}(a) = \ln |a| + i \operatorname{Arg}(a)$.

$\operatorname{Arg}(a)$ is a value in $(-\pi,\pi]$.

Thank you for your help.

2 Answers 2

8

Let $z=-1$, $\lambda=2$, and $\mu=\frac{1}{2}$.

Try figuring out both quantities $(z^\lambda)^\mu$ and $z^{\lambda\mu}$ yourself, then check your work below once you're done by moving your cursor over the gray area.


We know that $\operatorname{Arg}(-1)=\pi$, and $\ln|-1|=\ln(1)=0$, so $z^\lambda=(-1)^2=\exp(2\cdot\operatorname{Log}(-1))=\exp(2\cdot (0+i\pi))=\exp(2\pi i)=1,$
so $(z^\lambda)^\mu=((-1)^2)^{1/2}=1^{1/2}=\exp(\tfrac{1}{2}\cdot\operatorname{Log}(1))=\exp(\tfrac{1} {2}\cdot(0+i0))=\exp(0)=1.$ However,
$z^{\lambda\mu}=(-1)^{2\cdot (1/2)}=(-1)^1=\exp(1\cdot\operatorname{Log}(-1))=\exp(1\cdot(0+i\pi))=\exp(\pi i)=-1.$

  • 0
    @ZevChonolesReally nice touch with the hint and grey. Too bad I could only vote once - s.b. +1 for the answer and ++ for the format.2012-02-02
3

According to the definition, $(z^\lambda)^\mu = \exp(\mu \log(z^\lambda))$ while $z^{\lambda \mu} = \exp(\lambda \mu \log(z))$. Now $\exp(a) = \exp(b)$ if and only if $a - b$ is an integer multiple of $2 \pi i$, so you want $\mu \log(z^\lambda) - \lambda \mu \log(z) = \mu (\log(z^\lambda) - \lambda \log(z))$ not to be an integer multiple of $2 \pi i$. Now $\log(z^\lambda) = \log(\exp(\lambda \log(z))) = \lambda \log(z) + 2 \pi i k$ where $k$ is the integer that puts the imaginary part of this in the interval $(-\pi, \pi]$, and then $\log(z^\lambda - \lambda \log(z) = 2 \pi i k$. So what you need is that $k$ is a nonzero integer and $\mu k$ is not an integer.

You could use any $z$ that is not $0$ or $1$. If $w = \log(z)$, choose a complex number $\lambda$ such that $\text{Im}(\lambda w)$ is outside the interval $(-\pi, \pi]$, find the integer $k$ such that $\text{Im}(\lambda w) - 2 \pi k$ is in $(-\pi, \pi]$, and then any $\mu$ such that $\mu k$ is not an integer.

Zev's example has $w = \pi i$ and $k = 1$ so his $\mu = 1/2$ works, but so would any non-integer $\mu$. Another example is $z = e$ with $\lambda = 2 \pi i$ and any non-integer $\mu$.

  • 0
    I tried to up vote you, but don't have enough of a reputation to do so yet. Thank you very much for your thorough explanation.2012-02-02