Vous êtes sur la page 1sur 11

Exercices : Jean-Franois Burnol

Corrections : Volker Mayer


Relecture : Franois Lescure
Exo7
Drivabilit au sens complexe, fonctions analytiques
1 Drivabilit complexe
Exercice 1
Montrer que la fonction f (z) =
1
z
est holomorphe sur C0 et vrie f
/
(z) =
1
z
2
.
Correction [002783]
Exercice 2
Si f et g sont deux fonctions drivables au sens complexe au point z
0
; montrer que f +g, f g et f g le sont et
donner la valeur de leurs drives au point z
0
.
Correction [002784]
Exercice 3
Si f et g sont deux fonctions drivables au sens complexe au point z
0
montrer que
f
g
est drivable au sens
complexe et donner la valeur de la drive lorsque g(z
0
) ,= 0.
Correction [002785]
Exercice 4
Montrer la formule pour la drive dune composition g f .
Correction [002786]
Exercice 5
Soit f et g deux fonctions n-fois drivables au sens complexe sur un ouvert non vide U (remarque : daprs le
cours il suft quelles soient drivables une fois sur U pour quelles le soient un nombre quelconque de fois).
Montrer la formule de Leibniz gnralise :
z U ( f g)
(n)
(z) =
n

j=0
_
n
j
_
f
( j)
(z)g
(nj)
(z)
Correction [002787]
Exercice 6
On se donne deux sries entires f (z) =

n=0
a
n
z
n
et g(z) =

n=0
b
n
z
n
de rayons de convergences R
1
et R
2
non
nuls. En utilisant le thorme sur les sries doubles prouver f (z)g(z) =

n=0
c
n
z
n
pour [z[ < R = min(R
1
, R
2
)
avec (formules dites de Cauchy) :
n N c
n
=
n

j=0
a
j
b
nj
Le rayon de convergence de la srie

n=0
c
n
z
n
est-il toujours gal min(R
1
, R
2
) ou peut-il tre plus grand ?
Correction [002788]
1
Exercice 7
Retrouver le rsultat de lexercice prcdent (lexercice 6) de manire plus indirecte en montrant que les coef-
cients c
n
=
n
j=0
a
j
b
nj
sont ceux de la srie de Taylor lorigine de la fonction holomorphe k(z) = f (z)g(z).
Correction [002789]
Exercice 8
En quels points la fonction z z est-elle drivable au sens complexe, et/ou holomorphe ? Mme question pour
les fonctions z x et z y.
Correction [002790]
Exercice 9
Prouver quune fonction holomorphe sur un ouvert connexe, de drive identiquement nulle, est constante. Et
si louvert nest pas connexe ?
Correction [002791]
Exercice 10
Sur un ouvert connexe U on se donne une fonction holomorphe f qui a la proprit de ne prendre que des
valeurs relles. En utilisant les quations de Cauchy-Riemann, montrer que f est constante.
Correction [002792]
2 La fonction exponentielle
Exercice 11
Cet exercice propose une variante pour dvelopper la thorie de la fonction exponentielle.
1. On se donne une fonction f qui est n+1-fois drivable au sens complexe sur le disque ouvert D(0, R) (on
sait quune fois suft mais on ne va pas utiliser ce thorme difcile ici). Soit z D(0, R). En appliquant
la formule de Taylor avec reste intgral de Lagrange la fonction de la variable relle t g(t) = f (tz)
pour 0 t 1, prouver :
f (z) = f (0) + f
/
(0)z +
f
(2)
(0)
2
z
2
+ +
f
(n)
(0)
n!
z
n
+z
n+1
_
1
0
(1t)
n
n!
f
(n+1)
(tz)dt
2. On suppose que f est drivable au sens complexe une fois sur D(0, R) et vrie f
/
= f et f (0) = 1.
Montrer que f est inniment drivable au sens complexe. En utilisant la question prcdente montrer :

f (z)
n

k=0
z
k
k!

( sup
[w[[z[
[ f (w)[)
[z[
n+1
(n+1)!
et en dduire que, pour tout z C on a : f (z) =

k=0
z
k
k!
.
3. Rciproquement on considre la fonction F(z) =

k=0
z
k
k!
. Vrier que le rayon de convergence est inni.
tablir par un calcul direct que F
/
(0) existe et vaut 1. En utilisant le thorme sur les sries doubles,
montrer F(z +w) = F(z)F(w). En dduire ensuite que F est holomorphe sur C et vrie F
/
= F.
Correction [002793]
2
3 Fonctions analytiques
Exercice 12
Soit

n=0
a
n
z
n
une srie entire de rayon de convergence R. Est-il exact que pour [z[ >R on a lim[a
n
z
n
[ = +?
Correction [002794]
Exercice 13
Dterminer les sries de Taylor lorigine de
1
1z
,
1
(1z)
2
,
1
(1z)
3
,
1
(1z)
4
.
Correction [002795]
Exercice 14
Dterminer en tout z
0
,= 1 la srie de Taylor et son rayon de convergence pour la fonction analytique
1
z1
.
Correction [002796]
Exercice 15
Dterminer en tout z
0
,= 1, 2 la srie de Taylor et son rayon de convergence pour la fonction analytique
1
(z1)(z2)
. On aura intrt rduire en lments simples. De plus on demande dindiquer le rayon de conver-
gence avant de dterminer explicitement la srie de Taylor.
Correction [002797]
Exercice 16
Dterminer en tout point z
0
o elle est dnie la srie de Taylor de la fonction
1
z
3
1
. On dterminera son rayon
de convergence en fonction de z
0
. [002798]
Exercice 17
On considre la srie entire

k=0
z
2
k
. Quel est son rayon de convergence ? On note f (z) sa somme. Que
vaut lim
t1
f (t) ? (on prend 0 < t < 1 ; minorer f par ses sommes partielles). Plus gnralement que vaut
lim
t1
f (tw) (ici encore t est pris dans ]0, 1[), lorsque w vrie une quation w
2
N
= 1 ? En dduire quil est
impossible de trouver un ouvert U connexe intersectant D(0, 1) mais non inclus entirement dans D(0, 1) et une
fonction holomorphe g(z) sur U tels que g = f sur UD(0, 1). Pour tout z
0
D(0, 1) dterminer alors le rayon
de convergence de la srie de Taylor de f au point z
0
.
Correction [002799]
Exercice 18
Montrer que le rayon de convergence de chacune des sries concernes est 1 et prouver :
1.

n=1
nz
n
ne converge en aucun point du cercle [z[ = 1.
2.

n=1
z
n
n
2
converge en tout point du cercle [z[ = 1.
3.

n=1
z
n
n
converge en tout point du cercle [z[ = 1 sauf en z = 1.
Pour ce dernier cas on dnit S
0
= 1, S
1
= 1 +z, S
2
= 1 +z +z
2
, . . .(on pose aussi S
1
= 0). En crivant
z
n
= S
n
S
n1
exprimer
N
n=1
z
n
n
en fonction des S
n
. Montrer que les S
n
sont bornes lorsque [z[ = 1, z ,= 1.
Conclure. [002800]
Exercice 19
Montrer quun entier k 1 scrit de manire unique sous la forme 2
n
(2m+1), n 0, m 0. Puis prouver
pour [z[ < 1 :
z
1z
2
+
z
2
1z
4
+ +
z
2
n
1z
2
n+1
+ =
z
1z
.
On justiera les interversions de sries. Prouver aussi :
z
1+z
+
2z
2
1+z
2
+ +
2
n
z
2
n
1+z
2
n
+ =
z
1z
.
3
[002801]
4 Trigonomtrie complexe
Exercice 20
Lorsque z est complexe les fonctions sin(z), cos(z), sh(z) et ch(z) sont dnies par les formules :
sin(z) =
e
iz
e
iz
2i
sh(z) =
e
z
e
z
2
cos(z) =
e
iz
+e
iz
2
ch(z) =
e
z
+e
z
2
1. Montrer que cos et ch sont des fonctions paires et sin et sh des fonctions impaires et donner leurs re-
prsentations comme sries entires. Prouver e
iz
= cos(z) +i sin(z), sin(iz) = i sh(z), cos(iz) = ch(z),
sh(iz) = i sin(z), ch(iz) = cos(z).
2. tablir les formules :
cos(z +w) = cos(z)cos(w) sin(z)sin(w)
sin(z +w) = sin(z)cos(w) +cos(z)sin(w)
en crivant de deux manires diffrentes e
i(z+w)
. Donner une autre preuve en utilisant le principe du
prolongement analytique et la validit (admise) des formules pour z et w rels.
3. Prouver pour tout z complexe cos( +z) =cos(z), sin( +z) =sin(z). Prouver cos(

2
z) = sin(z).
4. Prouver les formules cos
2
z +sin
2
z = 1 et ch
2
z sh
2
z = 1 pour tout z C.
Correction [002802]
Exercice 21
Montrer sin(a+ib) = sin(a)ch(b) +i cos(a)sh(b). Puis en prenant dornavant a et b rels, prouver :
a, b R = [ sin(a+ib)[
2
= sin
2
(a) +sh
2
(b)
Dterminer alors les nombres complexes z = a+ib tels que sin(z) = 0. Donner une autre preuve.
Correction [002803]
Exercice 22
Montrer :
a, b R = [ cos(a+ib)[
2
= cos
2
(a) +sh
2
(b) = ch
2
(b) sin
2
(a)
Dterminer les nombres complexes z avec cos(z) = 0. [002804]
5 Fonctions de Bessel
Exercice 23
Les fonctions de Bessel sont trs importantes en Analyse. Elles apparaissent trs souvent dans des problmes de
physique mathmatique. Lanalyse complexe permet dtudier de manire approfondie ces fonctions. Ici nous
nous contentons des tout dbuts de la thorie. Nous ne considrons que les fonctions
1
J
0
, J
1
, J
2
, . . ., qui sont
dnies par les formules :
2
N, z C J

(z) =

n=0
(1)
n
(
z
2
)
2n+
n!(n+)!
1. dites fonctions de Bessel de premire espce (et dindices entiers).
2. Autrement dit :
J

(z) =
z

2.4. . . . .(2)
_
1
z
2
2.(2 +2)
+
z
4
2.4.(2 +2).(2 +4)

z
6
2.4.6.(2 +2).(2 +4).(2 +6)
+. . .
_
4
1. Montrer que le rayon de convergence de la srie dnissant J

est +.
2. En drivant terme terme prouver les formules :
(z

)
/
= z

J
1
( 1)
(z

)
/
=z

J
+1
( 0)
En particulier on a (zJ
1
)
/
= zJ
0
et J
/
0
=J
1
.
3. Rcrire les quations prcdentes sous la forme (z
d
dz
+)J

= zJ
1
( 1) et (z
d
dz
)J

= zJ
+1
( 0) et en dduire (
d
dz
+
+1
z
)(
d
dz

z
)J

= J

, puis, aprs simplication, lquation diffrentielle de


Bessel :
z
2
J
//

+zJ
/

+(z
2

2
)J

= 0
4. Montrer, pour tout N, que la srie entire dnissant J

est la seule ( une constante multiplicative


prs) qui donne une solution de lquation diffrentielle de Bessel.
3
[002805]
Retrouver cette che et dautres
exercices de maths sur
exo7.emath.fr
Remarquez que seule la constante 2.4. . . . .(2) = 2

! nous restreint (pour le moment) des valeurs entires de . Si on en fait abs-


traction on obtient avec =
1
2
la fonction multiforme z
1/2
cos(z) ; tandis quavec = +
1
2
on obtient z
1/2
sin(z). Les dnitions
exactes sont J
1/2
(z) =
_
2
z
cos(z) et J
1/2
(z) =
_
2
z
sin(z).
3. les autres solutions de lquation diffrentielle sont singulires en z =0, avec une composante logarithmique ( Z). Pour / Z
il y a une solution en z

(
k0
c
k
z
k
) et une autre en z

(
k0
d
k
z
k
).
5
Correction de lexercice 1
Il suft de vrier que f est drivable au sens complexe. Pour tout z ,= 0 :
lim
wz
f (w) f (z)
wz
= lim
wz
1
w

1
z
wz
= lim
wz
1
wz
_
z w
wz
_
=
1
z
2
.
La fonction f est bien holomorphe sur C0 avec f
/
(z) =
1
z
2
.
Correction de lexercice 2
Considrons le produit f g. En utilisant la dnition mme de la drive, on a :
1
h
( f (z +h)g(z +h) f (z)g(z)) = f (z +h)
g(z +h) g(z)
h
+g(z)
f (z +h) f (z)
h
f (z)g
/
(z) +g(z) f
/
(z) lorsque h 0.
Autre manire :
f (z +h)g(z +h) = ( f (z) + f
/
(z)h+h(h))(g(z) +g
/
(z)h+h(h))
= f (z)g(z) +( f (z)g
/
(z) + f
/
(z)g(z))h+h(h).
Do ( f g)
/
(z) = f (z)g
/
(z) + f
/
(z)g(z).
Correction de lexercice 3
De la mme faon que pour la correction de lexercice 2 on a
f (z +h)
g(z +h)
=
f (z) + f
/
(z)h+h(h)
g(z)
_
1+
g
/
(z)
g(z)
h+h(h)
_
= ( f (z) + f
/
(z)h+h(h))
1
g(z)
_
1
g
/
(z)
g(z)
h+h(h)
_
=
f (z)
g(z)
+
f
/
(z)g(z) g
/
(z) f (z)
g
2
(z)
h+h(h)
si g(z) ,= 0.
Correction de lexercice 4
On utilise de nouveau la dnition de la drive, dabord pour f en z puis pour g au point f (z) :
f (z +h) = f (z) + f
/
(z)h+h(h).
Notons w
h
= f
/
(z)h+h(h). Alors (et comme dans les exercices prcdents on utilise epsilon pour nimporte
quelle fonction tendant vers zro lorsque sa variable tend vers zro) :
g( f (z +h)) = g( f (z) +w
h
) = g( f (z)) +g
/
( f (z))w
h
+w
h
(w
h
).
Ainsi :
1
h
_
g( f (z +h)) g( f (z))
_
=
_
g
/
( f (z)) +(w
h
)
_
w
h
h
.
Lorsque h 0, on a w
h
0, donc (w
h
) 0 et par ailleurs
w
h
h
f
/
(z). Au nal
(g f )
/
(z) = lim
h0
_
g
/
( f (z)) +(w
h
)
_
w
h
h
= g
/
( f (z)) f
/
(z).
Correction de lexercice 5
6
La formule de Leibniz se montre par rcurrence. Le cas n = 1, cest--dire ( f g)
/
= f g
/
+ f
/
g, a t dmontr
dans lexercice 2. Supposons alors que cette formule soit vraie au rang n 1. Dans ce cas,
( f g)
(n+1)
(z) =
d
dz
_
( f g)
(n)
_
(z) =
n

j=0
_
n
j
_
_
f
( j+1)
(z)g
(nj)
(z) + f
( j)
(z)g
(nj+1)
(z)
_
=
n+1

j=1
_
n
j 1
_
f
( j)
(z)g
(n+1j)
(z) +
n

j=0
_
n
j
_
f
( j)
(z)g
(n+1j)
(z).
La conclusion vient du fait :
_
n
j1
_
+
_
n
j
_
=
_
n+1
j
_
qui est simple vrier.
Correction de lexercice 6
Prenons r <min(R
1
, R
2
). Alors, il existe C >0 et 0 < <1 tels que [a
n
[r
n
C
n
et [b
n
[r
n
C
n
(vriez-le !).
Do
n

j=0
[a
j
[r
j
[b
nj
[r
nj
(n+1)C
2

n
,
ce qui permet dafrmer, pour tout z avec [z[ = r :

n=0
_
n

j=0
[a
j
z
j
[[b
nj
z
nj
[
_
< .
Par le thorme du cours sur les sries doubles (voir le polycopi 2005/2006 de J.-F. Burnol, Annexe 8.2), ceci
signie que la srie double

j=0

k=0
(a
j
z
j
b
k
z
k
)
est absolument convergente. On peut donc daprs ce thorme afrmer :
f (z)g(z) =

j=0
a
j
z
j

k=0
b
k
z
k
=

n=0
_
n

j=0
(a
j
z
j
)(b
nj
z
nj
)
_
.
Or, la srie de droite est

n=0
c
n
z
n
avec c
n
=
n
j=0
a
j
b
nj
. Au passage on obtient que le rayon de convergence
de cette srie est au moins gal r. Comme r <min(R
1
, R
2
) est arbitraire, le rayon de convergence est en fait au
moins gal min(R
1
, R
2
) (il peut tre plus grand comme on le voit par exemple avec f (z) =
1
1z
et g(z) = 1z,
ou encore avec f (z) =
2z
(1z)(3z)
et g(z) =
1z
(2z)(3z)
).
Correction de lexercice 7
Il suft dutiliser la formule de Leibniz de lexercice 5 et le fait que le coefcient a
n
du dveloppement de f
lorigine est a
n
= f
(n)
(0)/n!.
Correction de lexercice 8
La fonction f (z) = z nest nulle part drivable au sens complexe (et donc nulle part holomorphe) : car
1
h
( f (z +h) f (z)) =
h
h
et la limite de cette expression nexiste pas lorsque h 0. Remarque. Plus gnralement, une application R
linaire de C dans C est de la forme
w w+w (1)
(ce nest quune criture complexe des applications linaires de R
2
dans R
2
) ; une telle application est holo-
morphe si et seulement si = 0. Cest exactement la diffrence entre diffrentiabilit (donc relle) et holomor-
phie (drivabilit au sens complexe). En effet, les quations de Cauchy-Riemann sont quivalentes lquation

z
f (z) = 0 o

z
=
1
2
_

x
+i

y
_
. Cest une rcriture complexe des quations de Cauchy-Riemann. Si vous
7
avez une fonction f diffrentiable, alors sa diffrentielle Df (z) est une application linaire de la forme (1). Un
calcul simple montre que dans ce cas
=
f
z
(z) et =
f
z
(z)
avec

z
=
1
2
_

x
i

y
_
. De nouveau, f est complexe diffrentiable en z si et seulement si =
f
z
(z) = 0. Dans
ce cas f
/
(z) =
f
z
(z). Revenons lexercice. Si vous tes daccord avec ma remarque, alors nous sommes aussi
daccord sur le fait que :
z x =
z +z
2
nest pas holomorphe. Ce raisonnement sapplique aussi z y. Nous reviendrons ce genre dapplications
dans lexercice 10.
Correction de lexercice 9
Pour viter des raisonnements topologiques, supposons dans un premier temps que soit un disque, par
exemple le disque unit = D = D(0, 1), et montrons que f est constante et gale f (0). Si z D, alors
le segment [0, z] D (et cest pour cette raison que lon a pris = D). On peut crire
f (z) f (0) =
_
z
0
f
/
(z)dz = 0.
Seulement, ici il faut expliquer le sens de cette intgrale (non connue pour linstant). Soit : [0, 1] [0, z],
(t) =tz, une paramrisation du segment [0, z]. Alors,
_
z
0
f
/
(w)dw =
_
1
0
f
/
((t))
/
(t)dt =
_
1
0
f
/
(tz)zdt
=
_
1
0
Re
_
f
/
(tz)z
_
dt +i
_
1
0
Im
_
f
/
(tz)z
_
dt = 0.
Pour le cas dun ouvert connexe quelconque le prcdent raisonnement montre quau voisinage de tout point
z
0
la fonction f est constante. Cest donc une proprit ouverte. Autrement dit, si z
0
est un point
quelconque, lensemble
E =z ; f (z) = f (z
0
)
est un ouvert. Pour conclure il faut tablir que E est aussi un ferm de (topologie induite ! !). Or ceci est
vident puisque E = f
1
( f (z
0
)) et f est continue. Notons que E ,= / 0 puisque z
0
E . Les seuls ensembles
la fois ouverts et ferms du connexe tant lensemble vide et , on a =E . La fonction f est constante sur
. Si nest pas connexe, f peut prendre diffrentes valeurs sur les diffrentes composantes connexes de .
Correction de lexercice 10
Soit f (z) = u(z) +iv(z) pour z U. Si f ne prend que des valeurs relles, alors v 0. On tire des quations de
Cauchy-Riemann
u
x
=
v
y
= 0
u
y
=
v
x
0.
La drive de f est alors identiquement nulle sur louvert connexe ce qui implique que f est constante (voir
lexercice 9).
Correction de lexercice 11
8
1. La formule de Taylor avec reste intgral est
g(b) = g(a) +g
/
(a)(ba) +... +
g
(n)
(a)
n!
(ba)
n
+
_
b
a
(bt)
n
n!
g
(n+1)
(t)dt
puis on remplace avec a = 0 et b = 1.
2. Si f
/
= f et si f est nfois drivable au sens complexe, alors lim
h0
( f
(n)
(z+h) f
(n)
(z))/h =lim
h0
( f
(n1)
(z+
h) f
(n1)
(z))/h = f
(n)
(z). Par rcurrence on en dduit, dune part, que f est inniment drivable et,
dautre part, que f
(n)
(z) = f (z) pour tout n 0. En particulier, f
(n)
(0) = 1 pour tout n 0. En utilisant
la formule de Taylor de la question prcdente on a donc

f (z)
n

k=0
z
k
k!

[z[
n+1
_
1
0
(1u)
n
n!
[ f
(n+1)
(uz)[ du
[z[
n+1
sup
[w[[z[
[ f
(n+1)
(w)[
_
1
0
(1u)
n
n!
du sup
[w[[z[
[ f (w)[
[z[
n+1
(n+1)!
.
Cette dernire expression tend vers 0 lorsque n . Do f (z) =

k=0
z
k
k!
.
3. Fixons z C et notons a
k
=
z
k
k!
. Alors :

a
k+1
a
k

=[z[
1
k +1
0
lorsque k . On en dduit que le rayon de convergence de cette srie est (dAlembert) et que F est
holomorphe sur C. De plus :
F
/
(z) =

k1
kz
k1
k!
= F(z)
pour tout z C. Par le thorme sur les sries doubles (en fait lexercice 6)
F(z)F(w) =

k=0
k

j=0
z
j
j!
w
kj
(k j)!
=

k=0
1
k!
k

j=0
k!
j!(k j)!
z
j
w
kj
=

k=0
1
k!
(z +w)
k
= F(z +w).
Correction de lexercice 12
Non limsup
n
[a
n
z
n
[ = + mais il ny a pas de raison pour que liminf
n
[a
n
z
n
[ = +. Prenez par exemple
la srie :

n=0
z
2n
, de rayon de convergence R = 1, mais ([a
n
z
n
[) na pas de limite (la valeur est 0 pour n impair
et [z[
n
pour n pair, qui tend vers linni lorsque [z[ > 1).
Correction de lexercice 13
1
1z
=

k=0
z
k
[z[ < 1.
1
(1z)
2
=
_
1
1z
_
/
=

k=1
kz
k1
pour [z[ < 1.
etc.
Correction de lexercice 14
Discutons dabord le rayon de convergence. Dailleurs, ce qui suit sapplique galement aux exercices suivants.
Donc, daprs le thorme danalycit des fonctions holomoephes (voir le polycopi 2005/2006 de J.-F. Burnol :
thorme 10 du chapitre 6), si f est holomorphe dans U C, si z
0
U et si r > 0 tel que D(z
0
, r) U, alors la
9
srie de Taylor de f en z
0
converge et sa somme vaut f dans ce disque D(z
0
, r). Ici f (z) =
1
z1
. Cette fonction
est holomorphe dans U =C1. Par consquent, si z
0
U, alors la srie de Taylor de f en z
0
vaut f dans le
disque D(z
0
, R
1
) si R
1
=[z
0
1[. Le calcul de la srie est classique :
1
z 1
=
1
z z
0
+z
0
1
=
1
z
0
1
1
1
_
z
0
z
z
0
1
_ =
1
z
0
1

k0
_
z
0
z
z
0
1
_
k
pour [z z
0
[ <[z
0
1[ = R
1
.
Correction de lexercice 15
La fonction f (z) =
1
(z1)(z2)
est holomorphe dans U = C 1, 2. Par ce que lon vient de dire lexercice
prcdent, le rayon de convergence demand est R = min[z
0
1[, [z
0
2[, o z
0
U est un point quelconque
x. On a
1
(z1)(z2)
=
1
z2

1
z1
et :
1
z 2
=
1
z z
0
+z
0
2
=
1
z
0
2
1
1
_
z
0
z
z
0
2
_ =
1
z
0
2

k0
_
z
0
z
z
0
2
_
k
pour [z z
0
[ < [z
0
2[ = R
2
. La srie demande est alors la diffrence entre celle-ci et celle de lexercice
prcdent. Notons aussi que le rayon de convergence est exactement le minimum des rayons R
1
et R
2
.
Correction de lexercice 17
Le rayon de convergence est R = 1. Soit 0 < t < 1 et tudions f (t) =

k=0
t
2
k
. Il sagit dune srie de termes
positifs. Do
f (t)
N1

k=0
t
2
k
pour tout N N.
Il en rsulte liminf
t1
f (t) N or N est arbitraire, donc lim
t1
f (t) = . Soit maintenant w un nombre com-
plexe du cercle unit vriant w
2
N
= 1 pour un N N. Dans ce cas w
2
k
= 1 pour tout k N. Si de nouveau
0 <t < 1, alors
f (tw) =
N1

k=0
(tw)
2
k
+

kN
t
2
k
.
Lorsque t 1, alors la premire somme tend vers un nombre complexe (ni, en fait de module au plus N) et la
deuxime vers . Les nombres complexes w ayant la proprit w
2
N
= 1 pour un certain N N sont denses dans
le cercle unit [z[ = 1. Ceci, et le principe de prolongement analytique, interdit lexistence de la fonction g
holomorphe sur U comme dcrit dans lexercice. Si z
0
D(0, 1), alors le rayon de convergence de la srie de
Taylor de f en z
0
est R = 1[z
0
[.
Correction de lexercice 20
Il sagit de formules bien connues lorsque les arguments z, w sont rels. La vrication partir des dni-
tions des fonctions trigonomtriques donnes dans lnonc de lexercice est laisse au lecteur. Voici comment
obtenir la formule :
cos(z +w) = cos(z)cos(w) sin(z)sin(w) pour z, w C. (2)
Fixons w R. Soit f
w
(z) = cos(z +w)
_
cos(z)cos(w) sin(z)sin(w)
_
. La formule (2) tant vraie pour z, w
R, f
w
(z) = 0 pour tout z R. Il rsulte du principe des zros isols que f
w
est identiquement nulle. Autrement
dit, on vient dtablir la formule (2) pour (z, w) CR. Il suft maintenant de refaire le mme argument en
xant dabord z C arbitrairement et en observant que la fonction holomorphe
g
z
(w) = cos(z +w) (cos(z)cos(w) sin(z)sin(w))
est nulle pour tout w R. De nouveau g
z
0 par le principe des zros isols, do la formule (2) pour tout
z, w C.
10
Correction de lexercice 21
sin(a)ch(b) +i cos(a)sh(b) =
1
4i
_
(e
ia
e
ia
)(e
b
+e
b
) (e
ia
+e
ia
)(e
b
e
b
)
_
=
1
2i
_
e
iab
e
ia+b
_
= sin(a+ib).
Si a, b R, alors :
[ sin(a+ib)[
2
= (sin(a)ch(b))
2
+(cos(a)sh(b))
2
= sin
2
(a)(1+sh
2
(b)) +(1sin
2
(a))sh
2
(b)
= sin
2
(a) +sh
2
(b).
Cette somme de carrs de nombres rels ne peut tre nulle que si sin(a) = 0 et sh(b) = 0, cest--dire a Z
et b = 0. Donc sin(z) = 0 z Z.
11

Vous aimerez peut-être aussi