Analytic Continuation of the Exponential Function

[spaderdabomb]

I was doing some math, typed in (e^ix)(e^-ix) and it came out as 1.

I was expecting it to come out as simply e^x. Explain pleaseeee thanks =).

 

[dextercioby]

Going to complex numbers doesn't change the rules for the exponential function you (should have) learned way back in high-school.

 

[spaderdabomb]

oHHHHHH LOOOOOL

yeah I'm dumb. Thanks lol. THat's what I get for a four month summer

 

[HallsofIvy]

For those who are a bit concerned about applying exponential formulas to complex numbers, we can use e^{ix}= cos(x)+ i sin(x) so that e^{-ix}= cos(-x)+ i sin(-x)= cos(x)- i sin(x) because sine is an odd function and cosine is an even function.

Then e^{ix}e^{-ix}= (cos(x)+ i sin(x))(cos(x)- i sin(x))= cos^2(x)- isin(x)cos(x)+ icos(x)sin(x)- i^2sin^2(x)= cos^2(x)+ sin^2(x)= 1

 

[Eval]

And for those that didn't catch the simpler nature of the problem, as dextercioby said, you can use basic laws of exponents:
e^ixe^-ix=e^ix-ix=e⁰=1.

Alternatively:
e^ixe^-ix=e^ix/e^ix=1.

:)

 

[micromass]

And for those that didn't catch the simpler nature of the problem, as dextercioby said, you can use basic laws of exponents:
e^ixe^-ix=e^ix-ix=e⁰=1.

Alternatively:
e^ixe^-ix=e^ix/e^ix=1.

:)

Yes, but there is no reason that basic laws of exponents should apply to complex numbers. That requires a proof and Halls provided it.

 

[Dickfore]

Well, micromass, actually there is a BIG reason why the law of exponents should apply to complex numbers. It's because the exp(z) is an analytic continuation of the natural exponent e^x that preserves the functional identity:
<br /> f(z_1 + z_2) = f(z_1) f(z_2)<br />
This is the rule of exponents. Of course, being analytic, the derivative of this function always exists. Differentiating the above identity w.r.t. z₂ and setting z₂ = 0 after that, we get the ODE:
<br /> f&#039;(z) = f&#039;(0) f(z)<br />
with the initial condition f(0) = 1 which follows from the above functional identity by taking z₂ = 0 in the beginning.

The solution of the above initial value problem is f(z) = \exp(k \, z), where k \equiv f&#039;(0), and the exponential function is given by its Taylor series expansion (Frobenius method):
<br /> \exp(z) = 1 + \sum_{n = 1}^{\infty}{\frac{z^n}{n!}}<br />

From this expansion, and the Taylor series expansions of the sine and the cosine, which are to be understood as definitions of the trig functions, we can derive Euler's identity for purely imaginary arguments.

 

[micromass]

Well, micromass, actually there is a BIG reason why the law of exponents should apply to complex numbers. It's because the exp(z) is an analytic continuation of the natural exponent e^x that preserves the functional identity:
<br /> f(z_1 + z_2) = f(z_1) f(z_2)<br />

Well, without proof, it isn't clear why such an analytic continuation should exist. You still need to actually define

e^z=\sum_{n=0}^{+\infty} \frac{z^n}{n!}

and prove that e^{z+z^\prime}=e^ze^{z^\prime}. After all, a lot of real-analytic functions do not extend on the complex plane such that the normal rules remain true.

This FAQ seems nice for interested readers: https://www.physicsforums.com/showthread.php?p=4080308#post4080308

 

[Dickfore]

I did not go through the FAQ you had linked, but here's a proof of the sufficient condition.

Suppose a function satisfies the initial value problem (IVP):
<br /> f&#039;(z) = k \, f(z), \ f(0) = 1<br />
We already showed what the solution to this problem is:
<br /> f(z) = \exp(k \, z)<br />
where \exp(z) stands for the Taylor's series.

By induction you may prove that:
<br /> f^{(n)}(z) = k^n \, f(z), \ n \ge 0<br />

The Taylor's series converges on the whole complex plane. According to Taylor's Theorem, we would have:
<br /> f(z_1 + z_2) = f(z_1) + \sum_{n = 1}^{\infty}{\frac{f^{(n)}(z_1)}{n!} \, z^n_2}<br />
<br /> f(z_1 + z_2) = f(z_1) \, \left[ 1 + \sum_{n = 1}^{\infty}{\frac{(k \, z_2)^n}{n!}} \right]<br />
<br /> f(z_1 + z_2) = f(z_1) \, \exp(k \, z)<br />
<br /> f(z_1 + z_2) = f(z_1) \, f(z_2)<br />
Therefore, we proved that this form of a function is also a sufficient, apart from being a necessary condition for the validity of the Laws of exponentials.

 

[micromass]

Yep. So you can't say that the basic laws of exponents hold without going through such an argument first. That was what I said.

 

[Dickfore]

Sure, but show me a proof of Euler's identity that was used in post #4!

 

[micromass]

Sure, but show me a proof of Euler's identity that was used in post #4!

Why do you need a proof? It can also be accepted as definition of the complex exponential. It is easy to show that

e^{x+iy}=e^x (cos(y)+i sin(y))

also is an analytic continuation of the real exponential. So in this case, Euler's identity becomes a definition. There is nothing mathematically wrong with this approach.

 

[Dickfore]

So, then, poster #2 was not wrong.

 

[micromass]

So, then, poster #2 was not wrong.

No, he wasn't.

 

[Eval]

Sure, but show me a proof of Euler's identity that was used in post #4!

Glad you asked :P

Also, I wish I had replied yesterday. Micromass is completely correct. We needed to define how exponentiation works when it is extended to complex powers. Until that point, we cannot simply assume how it works. In my post, all I had to say was that complex numbers are closed under addition and multiplication. Then, you can derive my solution.

 

[Dickfore]

Glad you asked :P

Why did you define the exponential through the Maclaurin series in step 1?

 

[Eval]

Why did you define the exponential through the Maclaurin series in step 1?

Since that is a valid representation of e^u, you can see how it leads to representing an imaginary power of e directly to a function of cosine and sine. I think this is how Euler showed the identity, too.

 

[Dickfore]

Since that is a valid representation of e^u,

But, that is called an ANALYTIC CONTINUATION of the exponential. In this case, it is done through the Taylor's (Maclaurin) series expansion, which has the same form for real and complex arguments, but the radius of convergence is infinite, and so the continuation is valid on the whole complex plane.

I showed in an earlier post that such a function satisfies the exponential rule directly, without invoking any cosines or sines.