User:Aleksander Stos/ComplexNumberAdvanced: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Aleksander Stos
No edit summary
 
(11 intermediate revisions by 2 users not shown)
Line 1: Line 1:
{{AccountNotLive}}
''This is an experimental draft. For a brief description of this project click [[User_talk:Jitse Niesen#Essentials|here.]]''
''This is an experimental draft. For a brief description of this project click [[User_talk:Jitse Niesen#Essentials|here.]]''


Line 10: Line 11:
<math>\scriptstyle \mathbb{C}</math> with the addition and multiplication is the [[field (mathematics) | field]] of complex numbers. From another of view, <math>\scriptstyle \mathbb{C} </math>  with complex additions and multiplication by ''real'' numbers is a 2-dimesional [[vector space]].  
<math>\scriptstyle \mathbb{C}</math> with the addition and multiplication is the [[field (mathematics) | field]] of complex numbers. From another of view, <math>\scriptstyle \mathbb{C} </math>  with complex additions and multiplication by ''real'' numbers is a 2-dimesional [[vector space]].  


To perform basic computations it is convenient to identify numbers of the form <math>\{ (a,0):\;\;a\in\mathbb{R} \}</math> with the usual real line <math>(\mathbb{R})</math> and to introduce the ''imaginary unit'', ''i''=(0,1).<ref>in some applications it is denoted by ''j'' as well.</ref> The imaginary unit has the property <math>\scriptstyle i^2=-1.</math>Indeed, $(0,1)\cdot(0,1) = (-1,0) = -1.</math>
To perform basic computations it is convenient to identify numbers of the form <math>\{ (a,0):\;\;a\in\mathbb{R} \}</math> with the usual real line <math>(\mathbb{R})</math> and to introduce the ''imaginary unit'', ''i''=(0,1).<ref>in some applications it is denoted by ''j'' as well.</ref> The imaginary unit has the fundamental property <math>\scriptstyle i^2=-1.</math> Indeed, <math>(0,1)\cdot(0,1) = (-1,0) = -1.</math>
Any complex number <math>z=(a,b)</math> can be written as <math>z=a+bi</math> (this is often called the ''algebraic form'') and vice-versa. The numbers ''a'' and ''b'' are called the ''real part'' and the ''imaginary part'' of ''z'', respectively. We denote <math>a=\Re (z)</math> and <math>b=\Im (z).</math> Remark that two complex numbers are equal if and only if their real and complex part are equal, respectively. Notice that ''i'' makes the multiplication quite natural:
Any complex number <math>z=(a,b)</math> can be written as <math>z=a+bi</math> (this is often called the ''algebraic form'') and vice-versa. The numbers ''a'' and ''b'' are called the ''real part'' and the ''imaginary part'' of ''z'', respectively. We denote <math>a=\Re (z)</math> and <math>b=\Im (z).</math> Remark that two complex numbers are equal if and only if their real and complex part are equal, respectively. Notice that ''i'' makes the multiplication quite natural:
:<math>(a + bi)(c + di) = (ac - bd) + (bc + ad)i. </math>
:<math>(a + bi)(c + di) = (ac - bd) + (bc + ad)i. </math>


The square root of number in the denominator in the above formula is called the ''modulus'' of ''z'' and denoted by <math>|z|</math>,
We define the ''modulus'' of ''z'', denoted by <math>|z|</math>,
:<math>|z|=\sqrt{a^2+b^2}.</math>
:<math>|z|=\sqrt{a^2+b^2}.</math>
We have for any two complex numbers <math>z_1</math> and <math>z_2</math>  
We have for any two complex numbers <math>z_1</math> and <math>z_2</math>  
Line 32: Line 33:


Complex numbers may be naturally represented on the ''complex plane'', where <math>z=x+iy</math> corresponds to the point (''x'',''y''), see the fig. 1.
Complex numbers may be naturally represented on the ''complex plane'', where <math>z=x+iy</math> corresponds to the point (''x'',''y''), see the fig. 1.
[[Image:Complex_plane3.png|thumb|right|250px|Fig. 1. Graphical representation of a complex number and its conjugate]]
{{Image|Complex_plane3.png|right|250px|Fig. 1. Graphical representation of a complex number and its conjugate}}
The modulus is just the distance from the point <math>z=(x,y)</math> and the origin. More generally, <math>|z_1-z_2|</math> is the distance between the two given points. Furthermore, the conjugation is just the symmetry with respect to the x-axis. The sum of two given complex numbers <math>z_1</math> and <math>z_2</math> can be geometrically determined as a vertex of a parallelogram determined by the points 0, <math>z_1</math> and <math>z_2</math> (i.e. the fourth vertex given these three, see the fig.  2). [[Image:Complex_sum_2.png|thumb|right|250px|Fig. 2. Graphical representation of the sum of two complex numbers]]
The modulus is just the distance from the point <math>z=(x,y)</math> and the origin. More generally, <math>|z_1-z_2|</math> is the distance between the two given points. Furthermore, the conjugation is just the symmetry with respect to the x-axis. The sum of two given complex numbers <math>z_1</math> and <math>z_2</math> can be geometrically determined as a vertex of a parallelogram determined by the points 0, <math>z_1</math> and <math>z_2</math> (i.e. the fourth vertex given these three, see the fig.  2). {{Image|Complex_sum_2.png|right|250px|Fig. 2. Graphical representation of the sum of two complex numbers}}


==Trigonometric and exponential form==
==Trigonometric and exponential form==
Line 42: Line 43:
The equality of two complex numbers <math>z_1=r_1e^{i\theta_1}</math> and <math>z_2=r_2e^{i\theta_2}</math> is equivalent to  <math>r_1=r_2</math> and <math>\theta_1=\theta_2+2k\pi</math> for certain integer ''k''.
The equality of two complex numbers <math>z_1=r_1e^{i\theta_1}</math> and <math>z_2=r_2e^{i\theta_2}</math> is equivalent to  <math>r_1=r_2</math> and <math>\theta_1=\theta_2+2k\pi</math> for certain integer ''k''.
Graphically, the number <math>\theta</math> is the (oriented) angle between the ''x''-axis and the interval containing 0 and ''z''.  
Graphically, the number <math>\theta</math> is the (oriented) angle between the ''x''-axis and the interval containing 0 and ''z''.  
Closely related is the exponential notation.
 
If we define complex exponential as  
Closely related is the ''exponential notation''. Let us define the complex exponential as  
:<math>e^z = \sum_0^\infty \frac{z^n}{n!},</math>
:<math>e^z = \sum_0^\infty \frac{z^n}{n!}.</math>
then it may be shown that  
The sum is convergent for any <math>z\in\mathbb{C}</math> and by a comparison with the series of <math>\sin z </math> and <math>\cos z</math> it may be seen that  
:<math>e^{i\theta}=\cos\theta +  i\sin\theta,\quad\quad \theta\in\mathbb{R}. </math>
:<math>(*) \quad \quad e^{i\theta}=\cos\theta +  i\sin\theta,\quad\quad \theta\in\mathbb{R}. </math>
Consequently, any (non-zero) <math> z\in \mathbb{C}</math> can be written as
This is known as Euler's formula. As a particular example we get
:<math> z= r e^{i\theta}</math> with the same ''r'' and <math>theta</math> as above.  
:<math> e^{i\pi}=-1.</math>
In turn, the Euler's formula may be used to determine <math>\cos \theta</math> and <math>\sin \theta</math>:
:<math>\cos \theta = \Re(e^{i\theta}) = \frac{e^{i\theta}+e^{-i\theta}}{2},</math>
:<math>\sin \theta = \Im (e^{i\theta}) = \frac{e^{i\theta}-e^{-i\theta}}{2i}.</math>
In fact, these formulas are valid not only for <math>\theta\in \mathbb{R}</math> but also for any <math>z\in\mathbb{C}.</math>
 
Another consequence is that any (non-zero) <math>z\in \mathbb{C}</math> can be written as
:<math> z= r e^{i\theta}</math> with the same ''r'' and <math>\theta</math> as above.  
This is called the ''exponential form'' of the complex number ''z''.<ref>The equivalence of two complex numbers can be checked as in the trigonometric form case.</ref>
This is called the ''exponential form'' of the complex number ''z''.<ref>The equivalence of two complex numbers can be checked as in the trigonometric form case.</ref>
It is well-adapted to perform multiplications. Indeed, for any <math>z_1=r_1e^{i\theta_1}</math> and <math>z_2=r_2e^{i\theta_2}</math> we have
It is well-adapted to perform multiplications. Indeed, for any <math>z_1=r_1e^{i\theta_1}</math> and <math>z_2=r_2e^{i\theta_2}</math> we have
Line 57: Line 65:
:<math> (cos\theta+i\sin\theta)^n = \cos(n\theta)+i\sin(n\theta)</math>
:<math> (cos\theta+i\sin\theta)^n = \cos(n\theta)+i\sin(n\theta)</math>


[[Image:Graphical_multiplication1.png|thumb|200px|right|Fig 3. Multiplication by <math>i</math> amounts to rotation by 90 degrees.]]
{{Image|Graphical_multiplication1.png|right|200px|Fig 3. Multiplication by <math>i</math> amounts to rotation by 90 degrees.}}
Graphically, multiplication by a constant complex number <math>z=re^{i\theta}</math> amounts to the rotation by <math>\theta</math> and the [[homothety]] of ratio ''r''. In particular, the multiplication by ''i'' amounts to the rotation by the right angle (counter-clockwise), see Fig. 2.
Graphically, multiplication by a constant complex number <math>z=re^{i\theta}</math> amounts to the rotation by <math>\theta</math> and the [[homothety]] of ratio ''r''. In particular, the multiplication by ''i'' amounts to the rotation by the right angle (counter-clockwise), see Fig. 3.


==Complex roots==
==Complex roots==
Line 65: Line 73:
where ''z'' is the variable and ''a'' a non-zero constant has exactly ''n'' solutions. They are called ''n''<sup>th</sup> (complex) ''roots'' of ''a''. If ''a'' is written in the exponential form, <math>a=re^{i\theta},</math> then  the ''n'' roots of ''a'', denoted as <math>z_0,z_2,\ldots,z_{n-1}</math>, are given by  
where ''z'' is the variable and ''a'' a non-zero constant has exactly ''n'' solutions. They are called ''n''<sup>th</sup> (complex) ''roots'' of ''a''. If ''a'' is written in the exponential form, <math>a=re^{i\theta},</math> then  the ''n'' roots of ''a'', denoted as <math>z_0,z_2,\ldots,z_{n-1}</math>, are given by  
:<math> z_k = \sqrt[n]{r}\cdot\exp\left (i \left(\frac{\theta+2k\pi}{n}\right)\right),\quad k=0,1,\ldots,n-1. </math>
:<math> z_k = \sqrt[n]{r}\cdot\exp\left (i \left(\frac{\theta+2k\pi}{n}\right)\right),\quad k=0,1,\ldots,n-1. </math>
{{Image|Complex_roots.png|right|300px|5th roots of unity}}
One may observe that  
One may observe that  
:<math> z_{k} = z_{k-1}e^{i\theta/n};</math> or, equivalently, <math> z_{k} = z_0  e^{ik\theta/n},\quad k=1,2,\ldots,n-1.</math>  
:<math> z_{k} = z_{k-1}e^{i\theta/n};</math> or, equivalently, <math> z_{k} = z_0  e^{ik\theta/n},\quad k=1,2,\ldots,n-1.</math>  
Since that multiplication by the exponential <math>e^{i\theta/n}</math> represents a rotation by <math>\theta/n</math>, the above formula interpreted geometrically means that  the roots form a regular n-sided polygon centred at the origin; the vertices of the polygon belong to the circle of radius <math>\sqrt[n]{r}.</math>
Since that multiplication by the exponential <math>e^{i\theta/n}</math> represents a rotation by <math>\theta/n</math>, the above formula interpreted geometrically means that  the roots form a regular n-sided polygon centred at the origin; the vertices of the polygon belong to the circle of radius <math>\sqrt[n]{r}.</math> (see fig. 4).


Particularly important are the roots of unity, i.e. solutions of <math>z^n=1</math>.
Particularly important are the roots of unity, i.e. solutions of <math>z^n=1</math>.
Line 74: Line 83:
and for n=4 we have
and for n=4 we have
:<math>  \frac{1}{2}+\frac{\sqrt{2}}{2},\, \frac{1}{2}-\frac{\sqrt{2}}{2},\, \frac{1}{2}+\frac{\sqrt{2}}{2},\, -\frac{1}{2}-\frac{\sqrt{2}}{2}. </math>
:<math>  \frac{1}{2}+\frac{\sqrt{2}}{2},\, \frac{1}{2}-\frac{\sqrt{2}}{2},\, \frac{1}{2}+\frac{\sqrt{2}}{2},\, -\frac{1}{2}-\frac{\sqrt{2}}{2}. </math>
See also the fig.4 for the 5th roots of unity.


==References==
==Notes==
{{reflist}}
{{reflist}}

Latest revision as of 02:19, 22 November 2023


The account of this former contributor was not re-activated after the server upgrade of March 2022.


This is an experimental draft. For a brief description of this project click here.

Definition

Complex numbers are defined as ordered pairs of reals:

Such pairs can be added and multiplied as follows

  • addition:
  • multiplication:

with the addition and multiplication is the field of complex numbers. From another of view, with complex additions and multiplication by real numbers is a 2-dimesional vector space.

To perform basic computations it is convenient to identify numbers of the form with the usual real line and to introduce the imaginary unit, i=(0,1).[1] The imaginary unit has the fundamental property Indeed, Any complex number can be written as (this is often called the algebraic form) and vice-versa. The numbers a and b are called the real part and the imaginary part of z, respectively. We denote and Remark that two complex numbers are equal if and only if their real and complex part are equal, respectively. Notice that i makes the multiplication quite natural:

We define the modulus of z, denoted by ,

We have for any two complex numbers and

  • provided

For we define also , the conjugate, by Then we have

  • provided

Geometric interpretation

Complex numbers may be naturally represented on the complex plane, where corresponds to the point (x,y), see the fig. 1.

Fig. 1. Graphical representation of a complex number and its conjugate

The modulus is just the distance from the point and the origin. More generally, is the distance between the two given points. Furthermore, the conjugation is just the symmetry with respect to the x-axis. The sum of two given complex numbers and can be geometrically determined as a vertex of a parallelogram determined by the points 0, and (i.e. the fourth vertex given these three, see the fig. 2).

Fig. 2. Graphical representation of the sum of two complex numbers

Trigonometric and exponential form

As the graphical representation suggests, any complex number z=a+bi of modulus 1 (i.e. a point from the unit circle) can be written as for some So actually any (non-null) can be represented as

where r traditionally stands for |z|.

This is the trigonometric form of the complex number z. If we adopt convention that then such is unique and called the argument of z.[2] The equality of two complex numbers and is equivalent to and for certain integer k. Graphically, the number is the (oriented) angle between the x-axis and the interval containing 0 and z.

Closely related is the exponential notation. Let us define the complex exponential as

The sum is convergent for any and by a comparison with the series of and it may be seen that

This is known as Euler's formula. As a particular example we get

In turn, the Euler's formula may be used to determine and :

In fact, these formulas are valid not only for but also for any

Another consequence is that any (non-zero) can be written as

with the same r and as above.

This is called the exponential form of the complex number z.[3] It is well-adapted to perform multiplications. Indeed, for any and we have

  • provided

The following particular case of complex multiplication is well-know as the de Moivre's formula [4]

Fig 3. Multiplication by amounts to rotation by 90 degrees.

Graphically, multiplication by a constant complex number amounts to the rotation by and the homothety of ratio r. In particular, the multiplication by i amounts to the rotation by the right angle (counter-clockwise), see Fig. 3.

Complex roots

Any non-constant polynomial with complex coefficients has a complex root. This result is known as the Fundamental Theorem of Algebra. Consequently, any complex polynomial of degree n has exactly n roots (counted with multiplicities). In particular, the equation

,

where z is the variable and a a non-zero constant has exactly n solutions. They are called nth (complex) roots of a. If a is written in the exponential form, then the n roots of a, denoted as , are given by

5th roots of unity

One may observe that

or, equivalently,

Since that multiplication by the exponential represents a rotation by , the above formula interpreted geometrically means that the roots form a regular n-sided polygon centred at the origin; the vertices of the polygon belong to the circle of radius (see fig. 4).

Particularly important are the roots of unity, i.e. solutions of . The cubic roots of 1 (with n=3) are

and for n=4 we have

See also the fig.4 for the 5th roots of unity.

Notes

  1. in some applications it is denoted by j as well.
  2. In literature the convention is found as well.
  3. The equivalence of two complex numbers can be checked as in the trigonometric form case.
  4. It is commonly used to linearise powers of trigonometric functions in integrals.