Why can exp function in complex plane be defind as e^x(cosy+i siny)

[binglee]

Hi,

I know this one is stupid, but i am still confused. why e^(iy) = cosy + i siny?

thank you.

 

[wofsy]

Hi,

I know this one is stupid, but i am still confused. why e^(iy) = cosy + i siny?

thank you.

You can take this as a definition or you can expand the power series for e^z in terms of the power series for cos z and sin z.

 

[mathman]

It is not by definition. It is a theorem, most easily proven by matching power series.

 

[wofsy]

It is not by definition. It is a theorem, most easily proven by matching power series.

One absolutley can take this as a definition.

 

[Hootenanny]

One absolutley can take this as a definition.

No, it's a theorem, i.e. it has been proved.

 

[wofsy]

it can be proved as a theorem but it can also be done the other way around as a definition. It is a matter of convention.

 

[Santa1]

If you make the right definitions and/or assumptions you can prove it, or you can define it that way. If you are sufficiently careful the different definitions imply each other.

 

[wofsy]

Look at it this way. I define exp(ia) = cos a + i sin a where cos and sin are defined over the real numbers. That just plain works. from this is is trivial to derive the entire complex exponential function.

 

[mathman]

The exponential, sine, and cosine functions have precise definitions. The usual definitions are as follows:
e=lim(n->oo) (1 + 1/n)sup[n][/sup]
sin=ratio of side opposiste to hypotenuse of right triangle.
cos=ratio of adjacent side to hypotenuse of right triangle.

Given these definitions, the powers series for these functions can be derived and the relationship proved. It is NOT a definition of anything!

 

[wofsy]

The exponential, sine, and cosine functions have precise definitions. The usual definitions are as follows:
e=lim(n->oo) (1 + 1/n)sup[n][/sup]
sin=ratio of side opposiste to hypotenuse of right triangle.
cos=ratio of adjacent side to hypotenuse of right triangle.

Given these definitions, the powers series for these functions can be derived and the relationship proved. It is NOT a definition of anything!

? explain. There is no doubt that the complex exponential can be defined in terms of the real cosine and sine.

 

[Count Iblis]

You can also say that the definition:

exp(x+i y) = exp(x)[cos(y) + i sin(y)]

makes exp(z) a complex differentiable function (you can easily check that it satisfies the Cauchy-Riemann equations). The result from complex analysis that complex differentiable functions are analytic thus makes exp(z) an analytic function.

Then the result from complex analysis that analytic continuations are unique makes the above definition the only possible complex analytic function that reduces to exp(x) on the real axis.

 

[HallsofIvy]

The exponential, sine, and cosine functions have precise definitions. The usual definitions are as follows:
e=lim(n->oo) (1 + 1/n)sup[n][/sup]
sin=ratio of side opposiste to hypotenuse of right triangle.
cos=ratio of adjacent side to hypotenuse of right triangle.

Given these definitions, the powers series for these functions can be derived and the relationship proved. It is NOT a definition of anything!

Those are NOT the "usual definitions" and the power series for the functions cannot be derived from them. For one thing, those definitions do not define sin(x) for x greater than \pi/2 or less than 0.

And, of course, "e=lim(n->oo) (1 + 1/n)ⁿ" does not define e^x at all, it only defines e.

It is, in fact, very common to define cos(x) to be
\sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} x^{2n}
and sin(x) to be
\sum_{n=0}^\infty \frac{(1)^n}{(2n+1)!} x^{2n+1}

although, personally, I prefer
"cos(x) is the function, y, satisfying y"= -y, y(0)= 1, y'(0)= 0"
and
"sin(x) is the function, y, satisfying y"= -y, y(0)= 0, y'(0)= 1"

Similarly, e^x can be defined to be
\sum_{n=0}^\infty \frac{1}{n!} x^n[/itex]<br /> <br /> although it can also be defined as the inverse function to &quot;ln(x)&quot; where ln(x) is defined by<br /> ln(x)= \int_1^x \frac{1}{t}dt

 

[arildno]

Another way of proceeding, is by stating what properties one wish the exponential function to have, and in a non-rigorous manner, just display that cos(x)+isin(x) DOES, in fact, display those features!

So, what do we wish the exponential function to display?

First off, we want Exp(x+y)=Exp(x)*Exp(y) for all arguments.
Note that this leads to a second requirement, namely Exp(0)=1.

Furthermore, we wish Exp'(kx)=kExp(x) for all k's.

Now, let us look at F(x)=cos(x)+isin(x)

We have:
F(x)*F(y)=(\cos(x)+i\sin(x))(\cos(y)+i\sin(y))=((\cos(x)\cos(y)-\sin(x)\sin(y))+i(\cos(x)\sin(y)+\cos(y)\sin(x))=\cos(x+y)+i\sin(x+y)=F(x+y)

The first requirement is therefore fulfilled!

Secondly, we have: F'(x)=-sin(x)+icos(x)=i(cos(x)+isin(x))=iF(x).

Thus, we see why it is convenient, and justified, to DEFINE F(x)=Exp(ix).

 

[Tac-Tics]

I know this one is stupid, but i am still confused. why e^(iy) = cosy + i siny?

As other people have stated, we start with some basic facts about the functions e^x, sin x, and cos x. Namely, we write them out as a power series:

\cos x = \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} x^{2n}

\sin x = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!} x^{2n+1}

e^x = \sum_{n=0}^\infty \frac{1}{n!} x^n

So just for this conversation, we're agreeing that these are true statements.

To show the relation, we simply evaluate e^{ix} and expand out the series.

e^{ix} = \sum_{n=0}^\infty \frac{1}{n!} {(ix)}^n = \sum_{n=0}^\infty \frac{1}{n!} i^n x^n

You see? All we did was substitute xi for x and did a teeny bit of algebra. But Something interesting happens with the i^n expression.

When n is divisible by 4, (so n = 0, 4, 8, 12, 16, etc), i^n = 1.
When n is one greater than a number divisible by 4 (n = 1, 5, 9, 13, 17, etc), then i^n = i.
When n is two greater than a number divisible by 4 (n = 2, 7, 10, 14, etc), then i^n = -1.
When n is three greater than a number divisible by 4 (n = 3, 8, 11, 15, etc), then i^n = -i.

The notation isn't great for this next step, but if you think about it logically, you can split the sum into four sums: a positive real part, a negative real part, a positive imaginary part, and a negative imaginary part. If you put the real parts with the other real parts, you get a sum which alternates between positive and negative terms with even powers. Play with it a bit and you'll notice this is exactly the series for cosine! Then take the imaginary terms. They too alternate signs. But they are all odd powers! This is exactly the series for sine, multiplied by i.

When we put them together, we see the result is in fact,

e^{ix} = \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!} x^{2n} + i \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!} x^{2n+1} = \cos x + i \sin x<br />

Note, lastly, that this only works when x is a real number. Otherwise, the imaginary part of x would interfere with the argument above and mess everything up! This isn't a big problem though. If z = a + bi is a complex number, and a and b are the real and imaginary parts respectively, then e^z = e^{a + bi} = e^a e^{bi} = e^a (\cos b + i \sin b). In fact, it's quite convenient because the imaginary part rotates in the complex plane and the real part scales it as an exponent.

 

[Santa1]

I like this one http://en.wikipedia.org/wiki/Euler's_formula#Using_calculus .

You have to define complex differentiation and some nice properties you want exp to have.

 

[mathman]

Once e is defined, e^x can be defined just like any other power of a positive number, first by defining integer powers, then defining integer roots, then all rational powers, and finally all powers.

 

[zhentil]

This thread is funny. I thought that if four statements were equivalent and one was a definition, any of them could be taken as the definition.

 

[mathman]

This thread is funny. I thought that if four statements were equivalent and one was a definition, any of them could be taken as the definition.

(repeating myself) The sine, cosine, and exponential functions are all defined separately. Once they are defined, their relationships are theorems. The simplest one of course is sin²x + cos²x = 1, which even holds for complex x. Euler's formula is also a theorem.

A lttle history (from Wikipedia)
Euler's formula was proven for the first time by Roger Cotes in 1714 in the form:

ln(cosx + isinx) = ix

(where "ln" means natural logarithm, i.e. log with base e).[4]

It was Euler who published the equation in its current form in 1748, basing his proof on the infinite series of both sides being equal. Neither of these men saw the geometrical interpretation of the formula: the view of complex numbers as points in the complex plane arose only some 50 years later (see Caspar Wessel). Euler considered it natural to introduce students to complex numbers much earlier than we do today. In his elementary algebra textbook, Elements of Algebra, he introduces these numbers almost at once and then uses them in a natural way throughout.

 

[Landau]

Mathman, I don't know why you are so stubborn. There are no absolute, universal, mathematical 'laws' which dictate that everyone must use a certain definition. There are several ways to define the sine, cosine, and exp. Which one you use is a matter of taste (or convention), and given some definition, you can proceed and prove theorems.

Five common definitions of the exponential function, and their being equivalent, are nicely displayed here. Your geometric definitions of sine and cosine are obviously not useful for doing serious mathematical analysis. Moreover, they aren't even defined for angles larger than pi/2 as already pointed out.

 

[HallsofIvy]

How is he being stubborn? He did not say that we MUST use any specific definition, only that "The sine, cosine, and exponential functions are all defined separately. Once they are defined, their relationships are theorems. "

 

[Landau]

I believe that is not all he said. He also said to reject the fact that the complex exponential can be defined in terms of the real cosine and sine, and

The (...) sine, and cosine functions have precise definitions. The usual definitions are (...)
sin=ratio of side opposiste to hypotenuse of right triangle.
cos=ratio of adjacent side to hypotenuse of right triangle.

 

[mathman]

I believe that is not all he said. He also said to reject the fact that the complex exponential can be defined in terms of the real cosine and sine, and

I am being stubborn only about one point, which Halls of Ivy already stated. The sine, cosine, and exponential functions can be defined in many ways. I happen to use the simplest, where the domains can be extended to all complex numbers by analytic continuation.

However, the main point that I have stressing is that Euler's theorem is a theorem, and NOT a definition.

 

[Landau]

I guess I misinterpreted you. Apologies.

 

[HallsofIvy]

Once e is defined, e^x can be defined just like any other power of a positive number, first by defining integer powers, then defining integer roots, then all rational powers, and finally all powers.

Yes, that's true. And if you had said that at first, I would not have complained. But you gave a definition of e and said that was the definition of the function e^x.

 

[lurflurf]

However, the main point that I have stressing is that Euler's theorem is a theorem, and NOT a definition.

One persons theorem is another's definition.
Though being quite pedantic we could say
definition
exp(i*x)=cos(x)+i*sin(x)
theorem Euler's rule
proof
obvious from definition

In order to prove that
exp(i*x)=cos(x)+i*sin(x)
we must first define exp(i*x)
in essence we define exp(i*x) so that Euler's is true making the whole thing rather circular

 

[elibj123]

There is always the ODE approach. notice that:

d(cos(x)+i*sin(x))/dx=(-sin(x)+i*cos(x))=i*(cos(x)+i*sin(x))

you got a function y(x) which satisfies:

y'=iy
y(0)=1

and the solution of that is

y=exp(ix)

 

[Count Iblis]

There is always the ODE approach. notice that:

d(cos(x)+i*sin(x))/dx=(-sin(x)+i*cos(x))=i*(cos(x)+i*sin(x))

you got a function y(x) which satisfies:

y'=iy
y(0)=1

and the solution of that is

y=exp(ix)

The solution exp(i x) is only a formal solution as the exponential function of complex argument was not yet defined. So, it is not a derivation, rather a definition.

 

[mathman]

Once exp(x) is defined for real x, it can easily be extended to complex variables. The simplest approach (which works for sin and cos as well as many other functions) is to generate the power series and define the function of a complex variable by the power series.