Jump to content

User:Holmansf/Euler

From Wikipedia, the free encyclopedia

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.