Formal Development of complex number

Source: Internet
Author: User

Http://en.wikipedia.org/wiki/Complex_number#Formal_development

In a rigorous setting, it is not acceptable to simply assume that there exists a number whose square is-1. the definition must therefore be a little less intuitive, building on the knowledge of real numbers. writeCForR2, the set of ordered pairs of real numbers, and define operations on complex numbers inCAccording

( A, B) + ( C, D) = ( A+ C, B+ D)
( A, B)·( C, D) = ( A. cB · d, B. C+ A. D)

Since (0, 1) · (0, 1) = (−1, 0), we have foundIBy constructing it, not postulating it. We can associate the numbers (A, 0) with the real numbers, and writeI= (0, 1). It is then just a matter of notation to express (A,B)A+IB.

 

 

--------------

Http://en.wikipedia.org/wiki/Euler%27s_formula

Definitions of complex exponentiation

Main Articles: Exponentiation and exponential function

In general, raisingETo a positive integer exponent has a simple interpretation in terms of repeated multiplicationE. RaisingETo zero or a negative integer exponent can be understood as repeated division. A rational number exponent can be defined by radicalsE, And an irrational number exponent can be defined by finding rational-number exponents that are arbitrarily close to the irrational-number exponent, In a limit process. however, to define and understand a complex number exponentE, A different type of generalization is required for the concept of exponentiation.

In fact, several definitions are possible. All of them can be proven to be well-defined and equivalent, although the proofs are not supported ded in this article.

Taylor series Definition

It is well-known that, for any realX, The following series is equalEX:

(In other words, this is the Taylor series for the real exponential function, and it has an infinite radius of convergence). This invites the followingDefinitionOfEZFor complexZ:

This can be proven to be well-defined; In particle, the series converges for anyZ.

Analytic continuation Definition

A simple-to-State, equivalent definition is thatEZ, For complexZ, Is the analytic continuation of the FunctionEXFor realX. This can be proven to be well-defined; In particle, it yields a single-valued function on the complex plane.

Limit Definition

It is well-known that, for any realX, The following limit is equalEX:

This motivates the followingDefinitionOfEZFor complexZ:

Differential Equation Definition

For realX, The FunctionF (x) = exIs well-known to be the unique real function satisfying the differential equation:

For allX. This motivates a definitionF (z) = EZFor complexZAs the function that satisfies the differential equation:

For all complexZ, Where the derivative inF'(Z) Is defined in the sense of a complex derivative. This can be proven to yield a unique function which is well-defined everywhere on the complex plane.

Proofs

Various proofs of this formula are possible. The first proof Below starts with the "Taylor series definition"EZ, While the other two use the "differential equation definition"EZ(See above ).

Using Taylor series

Here is a proof of Euler's formula using Taylor series expansions as well as basic facts about the powersI:

I ^ 0 & {}= 1, \ quad &
I ^ 1 & {}= I, \ quad &
I ^ 2 & {}=-1, \ quad &
I ^ 3 & {}=-I ,\\
I ^ 4 & ={} 1, \ quad &
I ^ 5 & ={} I, \ quad &
I ^ 6 & {}=-1, \ quad &
I ^ 7 & {}=-I ,\\
\ End {Align} "class =" Tex ">

And so on. The functionsEX, CosXAnd sinXOf the (real) VariableXCan be expressed using their Taylor expansions around zero:

E ^ X & {}= 1 + x + \ frac {x ^ 2} {2 !} + \ Frac {x ^ 3} {3 !} + \ Cdots \\
\ Cos x & {}= 1-\ frac {x ^ 2} {2 !} + \ Frac {x ^ 4} {4 !} -\ Frac {x ^ 6} {6 !} + \ Cdots \\
\ SiN x & {}= X-\ frac {x ^ 3} {3 !} + \ Frac {x ^ 5} {5 !} -\ Frac {x ^ 7} {7 !} + \ Cdots.
\ End {Align} "class =" Tex ">

For complexZWeDefineEach of these functions by the above series, replacing the Real VariableXWith the complex variableZ. This is possible because the radius of convergence of each series is infinite. We then find that

E ^ {iz} & {}= 1 + iz + \ frac {(IZ) ^ 2} {2 !} + \ Frac {(IZ) ^ 3} {3 !} + \ Frac {(IZ) ^ 4} {4 !} + \ Frac {(IZ) ^ 5} {5 !} + \ Frac {(IZ) ^ 6} {6 !} + \ Frac {(IZ) ^ 7} {7 !} + \ Frac {(IZ) ^ 8} {8 !} + \ Cdots \\
& {}= 1 + Iz-\ frac {z ^ 2} {2 !} -\ Frac {iz ^ 3} {3 !} + \ Frac {z ^ 4} {4 !} + \ Frac {iz ^ 5} {5 !} -\ Frac {z ^ 6} {6 !} -\ Frac {iz ^ 7} {7 !} + \ Frac {z ^ 8} {8 !} + \ Cdots \\
& {}=\ Left (1-\ frac {z ^ 2} {2 !} + \ Frac {z ^ 4} {4 !} -\ Frac {z ^ 6} {6 !} + \ Frac {z ^ 8} {8 !} -\ Cdots \ right) + I \ left (Z-\ frac {z ^ 3} {3 !} + \ Frac {z ^ 5} {5 !} -\ Frac {z ^ 7} {7 !} + \ Cdots \ right )\\
& {}= \ Cos Z + I \ sin Z
\ End {Align} "class =" Tex ">

The rearrangement of terms is justified because each series is absolutely convergent. TakingZ=XTo be a real number gives the original identity as Euler discovered it.

Q. e.d.

Using Calculus

Define the (possibly complex) function compute (X), Of Real VariableX,

The derivative of alternative (X), According to the product rule, is:

\ Frac {d} {DX} f (x) & {}= (\ Cos x + I \ SiN x) \ cdot \ frac {d} {DX} e ^ {-Ix} + \ frac {d} {DX} (\ Cos x + I \ SiN x) \ cdot e ^ {-Ix }\\
& {}= (\ Cos x + I \ SiN x) (-I e ^ {-Ix}) + (-\ SiN x + I \ Cos x) \ cdot e ^ {-Ix }\\
& {}= (-I \ Cos x-I ^ 2 \ SiN x) \ cdot e ^ {-Ix} + (-\ SiN x + I \ Cos x) \ cdot e ^ {-Ix} \ quad \ Quad (I ^ 2 =-1 )\\
& {}= (-I \ Cos x + \ SiN x-\ SiN x + I \ Cos x) \ cdot e ^ {-Ix }\\
& {} = 0.
\ End {Align} "class =" Tex ">

Therefore, equals (X) Must be a constant function inX. Because sums (0) is known, the constant that sums (X) Equals for all realXIs also known. Thus,

Multiplying both sidesEixAnd using

It follows that

Q. e.d.

Using Ordinary Differential Equations

Define the FunctionG(X)

Considering thatIIs constant, the First and Second DerivativesG(X) Are

BecauseI2 = −1 by definition. From this the following 2nd-order linear ordinary differential equation is constructed:

Or

Being a 2nd-order differential equation, there are two Linearly Independent solutions that satisfy it:

Both COs and sin are real functions in which the 2nd Derivative is identical to the negative of that function. any linear combination of solutions to a homogeneous differential equation is also a solution. then, in general, the solution to the differential equation is

For any constantsAAndB. But not all values of these two constants satisfy the known initial conditionsG(X):

.

However these same initial conditions (applied to the general solution) are

Resulting in

And, finally,

Contact Us

The content source of this page is from Internet, which doesn't represent Alibaba Cloud's opinion; products and services mentioned on that page don't have any relationship with Alibaba Cloud. If the content of the page makes you feel confusing, please write us an email, we will handle the problem within 5 days after receiving your email.

If you find any instances of plagiarism from the community, please send an email to: info-contact@alibabacloud.com and provide relevant evidence. A staff member will contact you within 5 working days.

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.