Vous êtes sur la page 1sur 5

Exponentiel complexe

Essaidi Ali
Dimanche 07 Juillet 2013
1 Exponentiel complexe :
Proposition et dnition 1 : La srie entire

z
n
n!
est de rayon de convergence inni.
Sa somme, note exp, sappelle lexponentielle complexe et on a :
z C, exp(z) =
+

n=0
z
n
n!
Dmonstration :
On a
n!
(n+1)!
=
1
n+1
0 donc, daprs la rgle de DAlembert, R = +.
2 Proprits algbriques :
Proposition 1 :
z, z

C, exp(z + z

) = exp(z) exp(z

).
x R, exp(x) = e
x
et exp(ix) = cos x + i sin x = e
ix
.
z C dexpression algbrique z = x + iy on a exp(z) = e
x
(cos y + i sin y).
z C, [ exp(z)[ = e
e(z)
.
z C, [ exp(z)[ e
|z|
.
Dmonstration :
Soient z, z

C. Le rayon de convergence de la srie entire



u
n
n!
est inni
donc les sries numriques

z
n
n!
et

z
n
n!
convergent absolument. On dduit
que leur produit de Cauchy converge et on a :
exp(z) exp(z

) =
_
+

n=0
z
n
n!
__
+

n=0
(z

)
n
n!
_
=
+

n=0
_
n

p=0
z
p
(z

)
np
p!(n p)!
_
1
CPGE Laayoune https ://www.facebook.com/mathlaayoune Essaidi Ali
Donc :
exp(z) exp(z

) =
+

n=0
_
n

p=0
C
p
n
z
p
(z

)
np
n!
_
=
+

n=0
1
n!
_
n

p=0
C
p
n
z
p
(z

)
np
_
=
+

n=0
(z + z

)
n
n!
= exp(z + z

)
Soit x R. On a exp(x) = e
x
car exp est un prolongement de lexponentiel
rel.
La srie numrique

(ix)
n
n!
converge absolument donc, daprs le thorme de
sommation par paquets, :
exp(ix) =
+

n=0
(ix)
n
n!
=
+

n=0
(ix)
2n
(2n)!
+
+

n=0
(ix)
2n+1
(2n + 1)!
( On a sommer sur les nombres paires et impaires )
Donc :
exp(ix) =
+

n=0
(1)
n
x
2n
(2n)!
+ i
+

n=0
(1)
n
x
2n+1
(2n + 1)!
= cos x + i sin x = e
ix
Soient z Cet n Z. On a exp(z+2in) = exp(z) exp(2in) = exp(z)(cos 2n+
i sin 2n) = exp(z).
Soit z C dexpression algbrique z = x + iy. On a exp(z) = exp(x + iy) =
exp(x) exp(iy) = e
x
(cos y + i sin y).
Soit z C. On a [ exp(z)[ = [e
e(z)
(cos(m(z)) + i sin(m(z))[ = e
e(z)
.
Soit z C. On a [ exp(z)[ = e
e(z)
e
|z|
car 1e(z) [z[ et lapplication
x e
x
est croissante sur R.
Remarques :
On a z C, de forme algbrique z = x + iy, exp(z) = e
x
(cos y + i sin y)
donc :
1. z C, n Z, exp(z + 2in) = exp(z). Lexponentiel complexe
est alors priodique de priode 2i. En particulier, lexponentiel complexe
nest pas injective.
2. z C, n Z, exp(z + in) = (1)
n
exp(z).
3. z C, exp(z + i

2
) = i exp(z) et exp(z i

2
) = i exp(z).
On a z C, exp(z) exp(z) = exp(z z) = exp(0) = 1 donc exp(z) est
inversible dinverse exp(z).
On a z C, [ exp(z)[ = e
e(z)
donc :
1. lim
e(z)
exp(z) = 0.
2. lim
e(z)+
[ exp(z)[ = +.
3. exp nest pas borne sur C.
www.mathlaayoune.webs.com 2/5 mathlaayoune@gmail.com
CPGE Laayoune https ://www.facebook.com/mathlaayoune Essaidi Ali
On a z C, [ exp(z)[ = e
|z|
donc z C, exp z ,= 0. En particulier, exp nest
pas surjective de C vers C.
z C, [ exp(z)[ = 1 z iR.
z C, [ exp(z)[ = e
|z|
z R
+
.
3 Proprits analytiques :
Proposition 1 :
r > 0 la srie entire

z
n
n!
converge normalement sur le disque T(0, r).
exp est continue sur C.
exp est holomorphe sur C et on a z C, (exp(z))

= exp(z).
Lexponentiel complexe est lunique prolongement de lexponentiel rel en une fonc-
tion holomorphe sur C.
Dmonstration :
Soit r > 0. On a z T(0, r),

z
n
n!

<
r
n
n!
et la srie numrique

r
n
n!
converge
donc la srie entire

z
n
n!
converge normalement sur le disque T(0, r).
Soit r > 0. On a :
1.

z
n
n!
converge normelement sur T(0, r). En particulier, uniformment sur
T(0, r).
2. n N, z
z
n
n!
est continue sur T(0, r).
Donc exp est continue sur T(0, r). Ceci, tant vrai pour tout r > 0 donc exp est
continue sur C.
On a exp est la somme, sur C, dune srie entire donc exp est holomorphe sur
C et on a z C, (exp(z))

=
_
+

n=0
z
n
n!
_

=
+

n=0
_
z
n
n!
_

=
+

n=1
z
n1
(n 1)!
=
+

n=0
z
n
n!
= exp(z).
Soit x R. On a exp(x) =
+

n=0
x
n
n!
= e
x
donc exp est un prolongement de
lexponentiel rel en une honction holomorphe sur C.
Soit f un prolongement de lexponentiel rel en une honction holomorphe sur
C. On a :
1. C est un ouvert connexe par arcs de C.
2. exp et f sont holomorphes sur C.
3. x R, f(x) = exp(x).
Donc, daprs le principe didentication des fonctions holomorphes on a z
C, f(z) = exp(z). On dduit que lexponentiel complexe est lunique prolonge-
ment de lexponentiel rel en une fonction holomorphe sur C.
www.mathlaayoune.webs.com 3/5 mathlaayoune@gmail.com
CPGE Laayoune https ://www.facebook.com/mathlaayoune Essaidi Ali
Remarques :
r > 0 la srie entire

z
n
n!
converge uniformment sur le disque T(0, r).
La srie entire

z
n
n!
nest pas uniformment converente sur C. En effet, si
ctait le cas on aurait
_
_
z
n
n!
_
_

0, ce qui est absurde car n N,


_
_
z
n
n!
_
_

=
+.
Proposition 2 :
z C, lim
n+
_
1 +
z
n
_
n
= exp(z)
Dmonstration :
Soit z C. On a :

exp(z)
_
1 +
z
n
_
n

k=0
z
k
k!

n

k=0
C
k
n
n
k
z
k

k=0
_
1
k!

C
k
n
n
k
_
z
k
+
+

k=n+1
z
k
k!

La srie

z
k
k!
converge absolument donc

exp(z)
_
1 +
z
n
_
n

k=0

1
k!

C
k
n
n
k

[z[
k
+
+

k=n+1
[z[
k
k!
.
On a n N

, k 1, . . . , n, k!C
k
n
= n(n1) (nk+1) n
k
donc
C
k
n
n
k

1
k!
.
On dduit que

1
k!

C
k
n
n
k

=
1
k!

C
k
n
n
k
.
Donc

exp(z)
_
1 +
z
n
_
n

k=0
_
1
k!

C
k
n
n
k
_
[z[
k
+
+

k=n+1
[z[
k
k!
=
+

k=0
[z[
k
k!

n

k=0
C
k
n
n
k
[z[
k
= e
|z|

_
1 +
[z[
n
_
n
0 lorsque n +car x R,
_
1 +
x
n
_
n
e
x
lorsque n +.
4 Etude de lquation exp(z) = u :
Proposition 1 :
z, z

C, exp(z

) = exp(z) k Z, z

= z + 2ik.
Soit u C

de forme polaire u = e
i
. On a
z C, exp(z) = u k Z, z = ln + i( + 2k)
Dmonstration :
1. ) Soient z, z

C de formes algbriques z = x + iy et z

= x

+ iy

tels que exp(z

) = exp(z).
www.mathlaayoune.webs.com 4/5 mathlaayoune@gmail.com
CPGE Laayoune https ://www.facebook.com/mathlaayoune Essaidi Ali
On a exp(z

) = exp(z) donc [ exp(z

)[ = [ exp(z)[ do e
x

= e
x
. On
dduit que x

= x.
On a exp(z

) = exp(z) donc e
x

(cos y

+ i sin y

) = e
x
(cos y + i sin y)
do cos y

+ i sin y

= cos y + i sin y. On dduit que cos x

= cos x et
sin y

= sin y et par suite k Z, y

= y + 2k.
Donc z

= x

+ iy

= x + i(y + 2k) = z + 2ik.


2. ) Soit k Z. On a exp(z

) = exp(z + 2ik) = exp(z) exp(2ik) =


exp(z) car exp(2ik) = 1.
On a exp z = u = e
i
= exp(ln ) exp(i) = exp(ln + i) donc daprs la
proprit prcdente k Z, z = ln + i( + 2k).
Remarques :
Soit u C

. z C, exp(z) = u k Z, z = ln [u[ + iArg(u) + 2ik.


z C, exp(z) = 1 n Z, z = 2in.
On a u C

, exp(ln + i) = u o u = e
i
est la forme polaire de u. En
particulier, exp est surjective de C vers C

.
On a z C, n Z, exp(z + 2in) = exp(z) donc exp est surjective de
R + i] , ] vers C

.
Application la rsolution de lquation exp(z) = u :
Soit u Cet on considre lquation exp(z) = u. On note o lensemble des solutions.
Si u = 0 alors o = .
Si u ,= 0, on crit u sous sa forme polaire u = e
i
donc o = ln + i( +
2n)/n Z.
Exemples :
Soit lquation exp(z) = 1 + i. On a 1 + i =

2e
i

4
donc lensemble des
solutions de lquation exp(z) = 1 + i est o = ln

2 + i(

4
+ 2n)/n Z.
Soit lquation exp(z) = 3. On a 3 = 3e
i

2
donc lensemble des solutions
de lquation exp(z) = 3 est o = ln 3 + i(

2
+ 2n)/n Z.
www.mathlaayoune.webs.com 5/5 mathlaayoune@gmail.com