Definitions of complex exponentiation

edit

The exponential function ex for real values of x may be defined in a few different equivalent ways (see Characterizations of the exponential function). Several of these methods may be directly extended to give definitions of ez for complex values of z simply by substituting z in place of x and using the complex algebraic operations. In particular we may use either of the two following definitions which are equivalent. From a more advanced perspective, each of these definitions may be interpreted as giving the unique analytic continuation of ex to the complex plane.

Power series definition

edit

For complex z

 

Using the ratio test it is possible to show that this power series has an infinite radius of convergence, and so defines ez for all complex z.

Limit definition

edit

For complex z

 

Proofs

edit

Various proofs of the formula are possible.

Using power series

edit

Here is a proof of Euler's formula using power series expansions as well as basic facts about the powers of i:

 

and so on. Using now the power series definition from above we see that for real values of x

 

In the last step we have simply recognized the Taylor series for sin(x) and cos(x). The rearrangement of terms is justified because each series is absolutely convergent.

Using calculus

edit

Several other proofs are based on the following identity obtained by differentiating the power series definition of eix. Indeed, since this series converges absolutely for all complex numbers we can differentiate it term by term to obtain

 

Now we define the function

 

The derivative of ƒ(x) according to the product rule (note that the product rule can be proved to hold for complex valued functions of a real variable using precisely the same proof as in the real case) is:

 

Therefore, ƒ(x) must be a constant function in x. Because ƒ(0)=1 in fact ƒ(x) = 1 for all x , and so multiplying by cos x + i sin x, we get

 

Using differential equations

edit

Here is another proof that follows from the differential identity above. Define a new function ƒ(x) of the real variable x as

 

Then we may check that

 

Thus ƒ(x) and eix satisfy the same system of ordinary differential equations (here the complex values are considered as points in the plane ℝ2). If we also note that both functions are equal to 1 at x = 0, then by the uniqueness of solutions to ordinary differential equations (see Picard–Lindelöf theorem and note the comments concerning global uniqueness in the proof section there) they must be equal everywhere.