Things Which Can Go Wrong with Complex Numbers

At the first sight, there are many paradoxes in complex number theory. Here are some nice examples of things that don’t seem to work:

Example A
[itex]-1=i^2=\sqrt{-1}\cdot\sqrt{-1}=\sqrt{(-1)(-1)}=\sqrt{1}=1[/itex]

Example B
We know that [itex]\sqrt{-1}=i[/itex]. But at the same time, we have
[tex]i=\sqrt{-1}=(-1)^\frac{1}{2}=(-1)^\frac{2}{4}=[(-1)^2]^\frac{1}{4}=1[/tex]

Example C
Eulers identity tells us that [itex]e^{2\pi i}=1[/itex]. So [itex]\log(1)=2\pi i[/itex], but at the same time [itex]\log(1)=0[/itex]. So [itex]2\pi i=0[/itex].

Example D
We know that [itex]e^{2\pi i}=1[/itex] and [itex]e^{1+2\pi i}=e[/itex] and thus it must hold that
[tex]e^{(1+2\pi i)^2}=e=e^{1+4\pi i – 4\pi^2}[/tex]
However, since [itex]e^{1+4\pi i}=e[/itex], it follows that [itex]e^{-4\pi^2}=1[/itex], which is absurd.

These are just some examples of things which can go wrong with complex numbers. The reason that things go wrong is simple: exponentiation with complex numbers does not behave as exponentiation with real numbers.

For example, we have the following rules which we are taught in high school:

Rule 1
If [itex]x\geq 0[/itex] and [itex]a,b\in \mathbb{R}[/itex], then
[tex](x^a)^b=x^{ab}[/tex]

Rule 2
If [itex]x,y\geq 0[/itex] and [itex]a\in \mathbb{R}[/itex], then
[tex](xy)^a=x^ay^a[/tex]

Rule 3
If [itex]x>0[/itex] and [itex]x\neq 1[/itex], and if [itex]a,b\in\mathbb{R}[/itex], then
[tex]x^a=x^b~\Rightarrow a=b[/tex]

But these rules do not hold if x or y is negative or if a or b are complex numbers.

In our Example A, we did
[tex]\sqrt{(-1)(-1)}=\sqrt{-1}\cdot \sqrt{-1}[/tex]
This is just applying the rule
[tex](xy)^a=x^ay^a[/tex]
to the situation x=y=-1 and a=1/2. But this rule only holds for positive x and y!!

In our Example B, we applied the rule
[tex](x^a)^b=x^{ab}[/tex]
to the situation where x=-1, a=2 and b=1/4. Again, this rule is only valid for positive x.

In Example C, we somehow concluded from [itex]e^{2\pi i}=e^0[/itex], that [itex]2\pi i=0[/itex]. But we did this by applying the rule
[tex]x^a=x^b~\Rightarrow~a=b[/tex]
and this rule is only valid for real a and b!

Finally, in example D, we did
[tex]e^{(1+2\pi i)^2}=(e^{1+2\pi i})^{1+2\pi i}[/tex]
This is applying the rule [itex](x^a)^b=x^{ab}[/itex]. But this rule is only valid for real a and b.

So we see that exponentiation does not really work nicely for negative or complex numbers. But is there no way to develop a theory of complex exponentiation? There is, but such a theory has a lot of subtleties. In particular, a lot of things that were easy in the real case, do not work as nice now. Let us give an outline of a complex exponentiation theory.

Let us first define what [itex]e^z[/itex] means for complex numbers z. (Remember that e is Euler’s constant and not just some variable). We define

[tex]e^{a+bi}=e^a(\cos(b)+i\sin(b))[/tex]

This is a weird definition that doesn’t really make much sense at first sight. But there are many good reasons to define the complex exponential as such. Sadly, to understand these reasons, we need some calculus. So a full outline of why we have chosen this definition and not something else can not be given here. However, what we can say is the following:

If [itex]x[/itex] is a real number, then [itex]e^{x+0i}=e^x[/itex]. So the complex exponential agrees with the real exponential.
[itex]e^{z+w}=e^ze^w[/itex] for complex z and w. This is an example of a rule that continues to hold true!
the function [itex]e^z[/itex] is “continuous” for all complex z.
These three properties can be checked. Now, the upshot is that there is only one function that satisfies the previous three properties, and that is exactly our complex exponential. So if we wish to define a complex exponential that agrees with the real exponential, that is continuous and that satisfies the rule [itex]e^{z+w}=e^ze^w[/itex], then we have to choose it as
[tex]e^{x+iy}=e^x(\cos(y)+i\sin(y)).[/tex]
There are other reasons to define the exponential like this, but we shall not go into them here.

Now, let’s take a look at complex logarithms.
Something very weird happens here: from our definition of the complex exponential, we can deduce that
[tex]e^0=1 \ \text{and} \ e^{2\pi i}=1[/tex]
So if we want to make sense of [itex]Log(1)[/itex], we would have to define it as both [itex]0[/itex] and [itex]2\pi i[/itex]. This is exactly what we do: we make the complex logarithm a multivalued function. So, given a complex number z, we define [itex]Log(z)[/itex] (we use a capital letter here to denote the complex logarithm) as taking multiple values at once. In more detail, we define that [itex]Log(z)=w[/itex] if [itex]e^w=z[/itex].

Let us find a more convenient form of the complex logarithm.
Given a complex number, we want to find an expression of all w such that [itex]e^w=z[/itex]. If we write [itex]w=a+bi[/itex], then we get
[tex]e^{a+bi}=x+iy[/tex]
and using our definition of complex exponential, we get that
[tex]e^a(\cos(b)+i\sin(b))=x+iy[/tex]
We can always put [itex]z=x+iy[/itex] in its polar form, so we can write [itex]z=r(\cos(\theta)+i\sin(\theta))[/itex], where [itex]r=\sqrt{x^2+y^2}[/itex] and [itex]\theta=atan(\frac{y}{x})[/itex] if [itex]x\neq 0[/itex] (and [itex]\theta=\frac{pi}{2}[/itex] if x=0 and y>0, and [itex]\theta=-\frac{\pi}{2}[/itex] if x=0 and y<0). So, we have that
[tex]e^a(\cos(b)+i\sin(b))=r(\cos(\theta)+i\sin(\theta))[/tex]
From this, we can see that the following must be true:
[tex]e^a=r,~\cos(b)=\cos(\theta),~\sin(b)=\sin(\theta)[/tex]
In other words, we must have that [itex]a=\log(r)[/itex] and [itex]b=\theta+2k\pi[/itex] with k an integer. So we get multiple values: for each integer k, we get a different number b.

So, let us summarize: if we can write [itex]z=r(\cos(\theta)+i\sin(\theta))[/itex], then we have that
[tex]Log(z)=\log(r)+i(\theta+k2\pi)[/tex]
Notice that we cannot write 0 as [itex]0=r(\cos(\theta)+i\sin(\theta))[/itex] (since our [itex]\theta[/itex] would not be well-defined). We leave Log(0) undefined, as in the real case.

As an example, we can calculate [itex]Log(1)[/itex]. First, we write this in polar notation as [itex]1=1(\cos(0)+i\sin(0))[/itex]. So our complex logarithm is
[tex]Log(1)=\log(1)+i(0+k2\pi)[/tex]
So, we can conclude that [itex]Log(1)[/itex] takes on the following values:
[tex]…,-6\pi i,-4\pi i,-2\pi i, 0, 2\pi i, 4\pi i, 6\pi i,…[/tex]

Many authors do not like that the logarithm has multiple values and they try to fix this by taking one special [itex]k[/itex] value and calling this value the “principal value” of the logarithm. What they do is say that
[tex]Log(z)=\log(r)+i(\theta + 2k\pi)[/tex]
for the special value k such that [itex]-\pi<\theta+2k\pi \leq \pi[/itex]. For example, in our example of [itex]Log(1)[/itex], we see that the principal logarithm must have value 0.

Of course, the principal value of the logarithm has as advantage that it is a single-valued function. But a clear disadvantage is that normal rules such as [itex]\log(xy)=\log(x)+\log(y)[/itex] do not longer hold for complex numbers. This is something we have to live with.

After this digression of complex logarithms, let us look finally at complex exponentiation. Given complex numbers z and w (such that z is nonzero), we define
[tex]z^w=e^{w\cdot Log(z)}[/tex]
Since we use the complex logarithm here, we see immediately that complex exponentiation will be multi-valued (or we will have to restrict it to some principal value).

For example, let us calculate [itex](-1)^{\frac{1}{2}}[/itex]. First, we calculate the complex logarithm of -1. We can write [itex]-1=1(\cos(\pi)+i\sin(\pi))[/itex]. And thus, we get
[tex]Log(-1)=\log(1)+i(\pi+2k\pi)=(2k+1)\pi i[/tex]
So, some values of Log(-1) are
[tex]…,-3\pi i,-\pi i, \pi i,3\pi i,…[/tex]

Now, let us do the complex exponentiation.
By definition, we have
[tex](-1)^{\frac{1}{2}}=e^{\frac{Log(-1)}{2}}=e^{\frac{(2k+1)\pi i}{2}}=e^{k\pi i} e^{\frac{\pi}{2}i}[/tex]
Now, clearly, we have that [itex]e^{\frac{\pi}{2}i}=i[/itex] and [itex]e^{k\pi i}[/itex] is 1 if k is even and is -1 if k is odd. So we get that [itex](-1)^{\frac{1}{2}}[/itex] takes on the values i and -i.