So last time we discovered that there was this amazing link between exponentials and trigonometric functions where the bridge between them was precisely complex numbers.

We now know how to take the exponential of any complex number and it is given by the exponential of a real number and a sum of terms which contain trig functions of real numbers:

 

e^{a+ib}=e^a(\cos b+i\sin b)

 

We can see also that now we have a third way to write a complex number. If you have a number in modulus argument form like:

 

r(\cos\theta+i\sin\theta)

 

Then we can also write this as re^{i\theta}. This is an alternative way of writing the modulus argument form.

In this form it also becomes more obvious that moduli multiply and arguments add. If we have two complex numbers:

 

z=|z|e^{i\theta} and w=|w|e^{i\phi} Then:

 

zw=|z||w|e^{i(\theta+\phi)}

 

The fact that we can now take the exponential of any complex number is very powerful. The point is that in order to calculate this function, all we need to be able to do is to take exponentials and trig functions of real numbers, and that we can do.

This also allows us to invert the process of exponentiating. We know that given an equation of the form:

e^x=3

We can calculate the value of x simply by taking \ln 3. However, if I tell you that:

 

e^z=1+i

 

We’re a bit stuck because we don’t know how to take the natural logarithm of a complex number. In fact we do know how to solve for z but we have to be a bit more clever…

The first step in a question like this is to convert the right hand side into modulus argument form, but in its exponential version.

We know that the modulus of 1+i is \sqrt{1^2+1^2}=\sqrt{2}, and the argument is \arctan \left(\frac{1}{1}\right)+2n\pi with n\in {\mathbb Z}. Thus, we can write our equation as:

 

e^z=\sqrt{2}e^{\frac{i \pi}{4}+2n\pi i}

 

Now we know that we want to solve for z and we’d really like to get it in cartesian form, so we can say that we want to find a and b in z=a+ib. We write:

 

e^{a+ib}=\sqrt{2}e^{\frac{i \pi}{4}+2n\pi i}

 

This can then be written as:

 

e^{a}e^{ib}=\sqrt{2}e^{\frac{i \pi}{4}+2n\pi i}

 

We can take the modulus of both sides of this and we get:

 

e^a=\sqrt{2}

 

and so a=\ln\sqrt{2}. Note that this is fine, because we do know how to take the natural logarithm of a real number, it was just complex numbers we had problems with. Now we can look at what we’ve got left after plugging this in:

 

\sqrt{2}e^{ib}=\sqrt{2}e^{\frac{i \pi}{4}+2n\pi i}

 

and so b=\frac{\pi}{4}+2n\pi.

 

So therefore: z=\ln\sqrt{2}+(\frac{\pi}{4}+2n\pi)i with n\in {\mathbb Z}. This is interesting. Up until now we thought that solving an equation of the form e^x=y for x would yield a single result. Now we see that this isn’t the case. Actually we have an infinite number of results. Here are a few in this infinite tower:

logfunc

This method is a very general method for solving such problems as:

 

e^{p z}=w

 

for z, where complex p and w are given complex numbers. Convert the right hand side to exponential modulus argument form, then write z as a+bi, find the modulus of both sides, and the argument of both sides to find a and b and you’re done.

In fact we can even do this in general:

If we write the right hand side as $w=|w|e^{i arg(w)}$ Then we have that:

 

e^{Re(p z)}=|w|

 

and thus Re(p z)=\ln |w|, and

 

Im(p z)=arg(w)

 

If you are given p and w then you can work these out explicitly and get the value of the real and imaginary parts of z.

An animation of the exponential function – this is extra and while it’s nice if you can understand what’s happening here, it’s not examinable.

I’ve created a little animation of one of the mappings from the previous post. I mentioned in that post that you can think about mappings from the complex plane to itself. In this animation I have taken horizontal and vertical lines and mapped where they go to under the exponential function. What happens in the middle isn’t too important, but it allows you to track what’s happening to each point in the complex plane as you exponentiate it.

l1

How clear is this post?