CORRIGE DU DS DE MATHEMATIQUES N3 DU

16/10/06
EXERCICE 1
Montrer qu'il existe une et une seule fonction holomorphe sur B = fz; jRe zj < g note f
vrifant:
f (0) = 0 et Re f (x + iy) =
sinx
cos x + coshy
Solution: On a:
Re f (x + i0) =
sinx
cos x + 1
= tan
_
x
2
_
et donc on pose
f (z) = tan
_
z
2
_
=
sinz
1 + cos z
et on a:
f (x + iy) =
sin(x + iy)
1 + cos (x + iy)
=
sin(x + iy) (1 + cos (x iy))
j1 + cos (x + iy)j
2
:
Or
cos (iz) = coshz et sin(iz) = i sinhz
et donc
sin(x + iy) = sin (x) cosh (y) + i cos (x) sinh (y)
cos (x iy) = cos (x) cosh (y) + i sin(x) sinh (y)
cos (x + iy) = cos (x) cosh (y) + i sin(x) sinh (y)
et
Re (sin (x + iy) (1 + cos (x iy))) = sin(x) cosh (y) (1 + cos (x) cosh (y)) sin(x) cos (x) sinh
2
(y)
= sin(x) cosh (y) + sin (x) cos (x) = sinx(cos x + coshy)
et
j1 + cos (x + iy)j
2
= (1 + cos (x) cosh (y))
2
+ sin
2
(x) sinh
2
(y)
= 1 + 2 cos (x) cosh (y) + cos
2
(x) cosh
2
(y) + sin
2
(x) sinh
2
(y)
= 1 + 2 cos (x) cosh (y) + cosh
2
(y) sin
2
(x) cosh
2
(y) + sin
2
(x) sinh
2
(y)
= 1 + 2 cos (x) cosh (y) + cosh
2
(y) sin
2
(x)
= cos
2
x + 2 cos (x) cosh (y) + cosh
2
(y) = (cos x + coshy)
2
et donc
Re f (x + iy) =
sinx(cos (x) + cosh(y))
(cos x + coshy)
2
=
sinx
(cos x + coshy)
Une autre solution donnera f + ik o k 2 R . Donc la seule solution vrifant f (0) = 0 est
f (z) = tan
_
z
2
_
qui rpond la question car cos
_
z
2
_
ne s'annule pas sur B et donc on a un
quotient de deux fonctions holomorphes avec un dnominateur ne s'annulant pas.
Une autre mthode consisterait utiliser les conditions de Cauchy. Ainsi on pose
u(z) =
sinx
cos x + coshy
1
On a:
@u
@x
=
cos x(cos x + coshy) + sin
2
x
cos x + coshy
=
1 + cos xcoshy
(cos x + coshy)
2
=
@v
@y
@u
@y
=
sinxsinhy
(cos x + coshy)
2
=
@v
@x
et donc
v (z) =
_
sinxsinhy
(cos x + coshy)
2
dx + H (y) =
sinhy
cos x + coshy
+ H (y)
@v
@y
=
coshy (cos x + coshy) sinh
2
y
(cos x + coshy)
2
+ H
0
(y) =
1 + cos xcoshy
(cos x + coshy)
2
+ H
0
(y)
et donc
H
0
(y) = 0
et donc
v (z) =
sinhy
cos x + coshy
+ k
et donc
f (z) =
sinx + i sinhy
cos x + coshy
Comme
8x 2 ]; [ f (x) =
sinx
1 + cos x
= tan
_
x
2
_
La fonction g dnie par g (z) = tan
_
z
2
_
est holomorphe sur B qui est un domaine et donc
f g est holomorphe sur B et est nulle sur ]; [ . L'ensemble des zros de f g a un point
d'accumultion dans B (en fait tous les points de ]; [ sont des points d'accumulation des sros
de f g dans B) et par le principe des zros isols f g = 0: On peut aussi dire que l'ensemble
des zros de f g est inni non dnombrable car il contient un intervalle ouvert qui est inni non
dnombrable et donc f g = 0:
8z 2 B f (z) = tan
_
z
2
_
On remarquera que bien pris avec le formulaire donne la seconde mthode est plus rapide que la
premire dont la vrication est assez calculatoire.
EXERCICE 2
1. Soit le disque unit ouvert. Existe-t-il une fonction holomorphe dans vriant
f
_
1
n
_
=
1
lnn
pour tout n entier > 1. Solution: On observe que si une telle fonction existe on a: f (0) = 0:
Si p est l'ordre de ce zro, on a:
f (z) = z
p
g (z) avec g (0) 6= 0 et g 2 H ()
et on a:
n
p
lnn
= g
_
1
n
_
et donc en passant la limite lorsque n tend vers l'inni on a: jg (0)j = +1 en prenant les
modules. Donc pas de solutions.
2
2. Existe-t-il une fonction analytique sur C vriant pour tout entier n f (n) = cos (
2
p
n) :
Solution: Donc en utilisant les formules on a:
cos
_
2
p
n
_
=
+1

m=0
(1)
m
n
m
(2m)!
et donc si on pose:
f (z) =
+1

n=0
(1)
n
z
n
(2n)!
on a la somme d'une srie entire dont le rayon de convergence est +1 et dnit donc une
fonction entire rpondant la question.
EXERCICE 3
Soit U un ouvert non vide de C et f une fonction analytique dans U et V = fz; z 2 Ug
1. Montrer que l'application g denie par g (z) = f (z) est analytique dans V:Solution: On a:
f (z) =
+1

n=0
a
n
(z a)
n
sur une boule de centre a de rayon r < d (a; CU) et
g (z) =
+1

n=0
a
n
(z a)
n
:
Dans toute la suite on suppose que U est connexe et vrie U = V:
2. Montrer que U \ R est non vide. Solution: Posons
U
+
= fz 2 U; Imz > 0g et U

= fz 2 U; Imz < 0g
Ce sont des ouverts disjoints de C et U n'est pas inclus dans R car R est d'intrieur vide dans
C et donc U
+
et U

sont des ouverts non vides. Si U \R est vide alors U

+
et U

forment une
partition d'ouverts non vides de U et cela contredit la connexit de U:
3. Montrer que les conditions suivantes sont quivalentes:
(a) f (z) = f (z) pour tout z 2 U:
(b) Il existe une composante connexe C de U \ R telle que f (x) 2 R pour tout x 2 C .
Solution: a ) b est simple. Si b est vri l'application f g = h est analytique. U \ R
est un ouvert, C est un ouvert de R et contient donc un intervalle ouvert non rduit un
singleton et le PZI donne h = 0 car h est nulle sur l'intervalle ouvert propose.
4. Prouver que la fonction f s'crit de manire unique sous la forme f = u + iv o u et v sont
analytiques dans U et valeurs relles sur U \ R . Solution: On pose:
u =
f + g
2
et v =
f g
2i
rpondent la question. S'il y a une nouvelle solution on a:
u
1
u = i (v v
1
)
et u u
1
et v v
1
sont nulles sur U \ R et le PZI donne u = u
1
et v = v
1
:
3
EXERCICE 4
Formule d'Hrmander
Soient p et f deux fonctions de classe C
2
sur C ; on suppose que p est valeurs relles. Ceux
que les calculs effraient auront sans doute intrt laisser la dernire question de cet exercice en
dernier.
1. Montrer que
e
p
_
@f
@z
+ f
@p
@z
__
@f
@z
+ f
@p
@z
_
= e
p

@f
@z
+ f
@p
@z

2
:
Solution: On a p valeurs relles et donc p = p et donc
_
@f
@z
+ f
@p
@z
__
@f
@z
+ f
@p
@z
_
=
_
@f
@z
+ f
@p
@z
__
@f
@z
+ f
@p
@z
_
=
_
@f
@z
+ f
@p
@z
__
@f
@z
+ f
@p
@z
_
=

@f
@z
+ f
@p
@z

2
2. Montrer que
@
@z
_
e
p
f
@f
@z
_
= e
p
_
f
@
2
f
@z@z
+ f
@p
@z
@f
@z
+
@f
@z
@f
@z
_
:
Solution: On a:
@
@z
_
e
p
f
@f
@z
_
= e
p
_
f
@f
@z
@p
@z
+
@f
@z
@f
@z
+ f
@
2
f
@z@z
_
3. Montrer que
e
p
_

@f
@z
+ f
@p
@z

2
+jfj
2
@
2
p
@z@z
_
=
@
@z
_
e
p
_
f
@f
@z
+jfj
2
@p
@z
_

@
@z
_
e
p
f
@f
@z
_
+ e
p

@f
@z

2
_
:
Solution: On a:
@
@z
_
e
p
_
f
@f
@z
+jfj
2
@p
@z
__
=
@p
@z
e
p
_
f
@f
@z
+jfj
2
@p
@z
_
+ e
p
@
@z
_
f
@f
@z
+ ff
@p
@z
_
=
@p
@z
e
p
_
f
@f
@z
+jfj
2
@p
@z
_
+e
p
_
@f
@z
@f
@z
+ f
@
2
f
@z@z
+jfj
2
@
2
p
@z@z
+ f
@f
@z
@p
@z
+ f
@f
@z
@p
@z
_
= e
p
_
@f
@z
+ f
@p
@z
__
@f
@z
+ f
@p
@z
_
+ e
p
jfj
2
@
2
p
@z@z
+e
p
_
f
@
2
f
@z@z
+ f
@f
@z
@p
@z
+
@f
@z
@f
@z
_
e
p
@f
@z
@f
@z
= e
p
_

@f
@z
+ f
@p
@z

2
_
+ e
p
jfj
2
@
2
p
@z@z
+
@
@z
_
e
p
f
@f
@z
_
e
p

@f
@z

2
et
e
p
_

@f
@z
+ f
@p
@z

2
+jfj
2
@
2
p
@z@z
_
=
@
@z
_
e
p
_
f
@f
@z
+jfj
2
@p
@z
_

@
@z
_
e
p
f
@f
@z
_
+ e
p

@f
@z

2
_
4