Vous êtes sur la page 1sur 8

PROMOTION 2006 MAT431

Corrig
e de l
epreuve du 21/I/2008
I
1) La fonction x 7

1cos(nx)
x

est continue sur R et on a

1 cos(nx)
0 lorsque x 0
x
pour tout n N: en particulier, la fonction x 7 1cos(nx)
est localement integrable
x
sur R pour tout n N et definit donc un element de D0 (R). Pour tout Cc (R),
on a
 Z +

Z
1 cos(nx)
1 cos(nx)
1 cos(nx)
, =
(x)dx =
((x)(x))dx
x
x
x

0
puisque la fonction x 7
sur R par

1cos(nx)
x

est impaire. Considerons la fonction definie

(x) (x)
pour x 6= 0 ,
(0) = 20 (0) .
x
La fonction est continue `
a support compact sur R et de classe C sur R car

Cc (R). De plus
(x) =

0 (x) + 0 (x) (x) (x)


20 (0)
20 (0)

=
+
O(x)

+ O(x) = O(x)
x
x2
x
x
de sorte que 0 (x) 0 lorsque x 0. Par consequent, C 1 (R) et 0 (0) = 0.
En integrant par parties


Z
Z
1
sin(nx)
(x)

cos(nx)(x)dx =
sin(nx) 0 (x)dx .
n
n 0
0
0
0 (x) =

Le terme entre crochets etant nul,


Z

Z



1
cos(nx)(x)dx
| 0 (x)|dx = O(1/n) 0

n
0
0
puisque est une fonction de classe C 1 `a support compact sur R. Au total

 Z
Z
1 cos(nx)
(x) (x)
, =
dx
cos(nx)(x)dx
x
x
0
0


Z
1
(x) (x)
=
dx + O(1/n) vp , .
x
x
0
Donc

1 cos(nx)
1
vp dans D0 (R) .
x
x
2) a) On calcule, pour tout 6= 0
Z +
Z 1
ei ei
sin
1\
eix 1[1,1] (x)dx =
eix dx =
=2
.
[1,1] () =
i

2) b) Comme 1[1,1] L2 (R), le theor`eme de Plancherel entrane que


2
Z + 
Z +
sin
1
2
d
=
1[1,1] (x)2 dx = 2
2

de sorte que
Z
3) a) La fonction x 7

1cos(nx)
est
x2

sin

2
d = .

continue sur R et on a

1 cos(nx)
21 n2 lorsque x 0
x2
pour tout n N. En particulier, la fonction x 7 1cos(nx)
est localement integrable
x2
sur R pour tout n N et definit donc un element de D0 (R). Pour tout Cc (R),
on a
 Z +

1 cos(nx)
1 cos(nx)
,

=
(x)dx
x2
x2

Z
1 cos(nx)
=
((x) + (x) 2(0))dx
x2
0
Z
1 cos(nx)
+ 2(0)
dx .
x2
0
Dune part,
Z
Z
Z
2 sin2 ( nx
1 cos(nx)
sin2 y
2 )
dx
=
dx
=
n
dy = n
x2
x2
y2
0
0
0
apr`es changement de variables x 7 y = nx
2 .
Soit dautre part la fonction definie sur R par la formule
((x) + (x) 2(0))
pour x 6= 0(0) = 00 (0) .
(x) =
x2
La fonction ainsi definie est continue sur R et de classe C sur R . De plus
(0 (x) 0 (x))
((x) + (x) 2(0))
0 (x) =
2
2
x
x3
00 (0)
200 (0)
+ O(x) 2 3 + O(x) = O(x) 0
=
x
x
lorsque x 0, ce qui montre que C 2 (R). Ecrivons que
Z
1 cos(nx)
((x) + (x) 2(0))dx
x2
0
Z
Z
((x) + (x) 2(0))
=
dx
cos(nx)(x)dx .
x2
0
0
Comme dans le 1), on montre que

+
Z
Z
sin(nx)
1
cos(nx)(x)dx =
(x)

sin(nx)0 (x)dx
n
n
0
0
0
Z
1
=
sin(nx)0 (x)dx = O(1/n) .
n 0
De meme, en integrant par parties, on voit que

+
Z
((x) + (x) 2(0))
((x) + (x) 2(0))
dx
=

x2
x
0
 0

Z 0
0
(x) (x)
1 0
+
dx = vp , .
x
x
0

Donc, lorsque n +, on a
Z

1 cos(nx)
((x) + (x) 2(0))dx
x2
0


0 
0 
1
1
=
vp
, + O(1/n)
vp
, .
x
x

Finalement
 Z

1 cos(nx)
1 cos(nx)
, =
((x) + (x) 2(0))dx
x2
x2
0
Z
1 cos(nx)
+ 2(0)
dx
x2
Z 0
1 cos(nx)
=
((x) + (x) 2(0))dx + 2nh0 , i
x2
0
de sorte que, pour C = 2, et pour toute fonction Cc (R), lon a



0 
1
1 cos(nx)
,

+
Cnh
,
i

vp
, ,
0
x2
x
cest `
a dire que

0
1 cos(nx)
1

2n

vp
dans D0 (R) .
0
x2
x
II
1) Pour F C 2 (R+ ), la fonction f : x 7 F (|x|) est de classe C 2 sur R3 \ {0}, et
on a

1 d2
f (x) =
(rF ) r=|x| pour tout x 6= 0 .
2
|x| dr
Alors
 2


1
d

(rF
)
+
rF
,
( + 1)f (x) =
2
r=|x|
|x| dr
de sorte que la condition
( + 1)f = 0 pour tout x 6= 0
equivaut `
a
d2
(rF ) + rF = 0 pour tout r > 0.
dr2
Les solutions de cette equations sont les fonctions de la forme
rF (r) = cos(r) + sin(r) ,

pour r > 0 .

Autrement dit, les solutions f radiales de (+1)f = 0 sur R3 \{0} sont les fonctions
de la forme
cos |x|
sin |x|
+
, avec , R quelconques.
f (x) =
|x|
|x|
2) Definissons
a(z) =

X
n0

(1)n

zn
,
(2n)!

b(z) =

X
n0

(1)n

zn
.
(2n + 1)!

Les deux series enti`eres ci-dessus sont de rayon de convergence infini, de sorte que
les fonctions a et b sont de classe C sur R. Dautre part, on trouve, en utilisant
les series de Taylor en 0 des fonctions cos et sin, que
A(x) = a(|x|2 ) ,

B(x) = b(|x|2 ) pour tout x R3 .

Donc A et B sont de classe C sur R3 comme composees des fonctions a et b de


classe C sur R par la fonction x 7 |x|2 qui est de classe C sur R3 .
3) On a montre au 1) que
( + 1)B(x) = 0 pour tout x 6= 0 .
Comme dautre part B C (R3 ) dapr`es le 2), il sensuit que les fonctions B et
B sont continues sur R3 , do`
u
( + 1)B(x) = 0 pour tout x R3 .
4) a) On a

1
1
x
= 3 et
= 40 dans D0 (R3 )
|x|
|x|
|x|

(cf. poly. p. 199).


4) b) Dautre part, pour tout x 6= 0, on a
A(x) = sin |x|

x
= B(x)x ,
|x|

et
A(x) = div(B(x)x) = B(x) div(x) B(x) x = 3B(x) x B(x) .
Or


B(x) =

cos |x| sin |x|

|x|
|x|2

x
|x|

de sorte que

x B(x) =

cos |x| sin |x|

|x|
|x|2


|x| = A(x) B(x) .

Au total, pour tout x R3 \ {0}, on a


A(x) = B(x)x et A(x) = 3B(x) (A(x) B(x) = 2B(x) A(x) .
Comme A C (R3 ) dapr`es le 2), les egalites ci-dessus valent encore pour x = 0,
de sorte que
A(x) = B(x)x et A(x) = A(x) 2B(x) pour tout x R3 .
4) c) La formule de Leibnitz au sens des distributions montre que


1
1
1
= A
+ 2A 1|x| + (A)
A
|x|
|x|
|x|
dans D0 (R). Gr
ace aux 4) a) et b), cette egalite devient




1
x
1
A
= 4A0 2B(x)x 3 (A + 2B)
|x|
|x|
|x|
1
1
1
= 4A(0)0 + 2B(x)
(A + 2B)
= 4A(0)0 A
|x|
|x|
|x|
ou encore


1
1
A
+A
= 4A(0)0 = 40
|x|
|x|

dans D0 (R3 ).
5) a) Si T S 0 (R3 ) et ( + 1)T = 0, la transformee de Fourier de T verifie
(||2 + 1)FT = 0 , de sorte que supp(FT ) { R3 | || = 1} .
En particulier, FT est une distribution `a support compact dans R3 . Par consequent
F(FT ) est une fonction de classe C sur R3 (cf. Theor`eme 5.4.5 du poly.); or,
dapr`es le theor`eme dinversion de Fourier, F(FT ) = (2)3 T (IdR3 ). Donc T est
une fonction de classe C sur R3 .
1
A|x|1 est une solution elementaire de loperateur + 1.
5) b) Dapr`es le 4) c), 4
Verifions quelle est temperee sur R3 : en effet
cos |x|
cos |x|
cos |x|
= 1|x|1
+ 1|x|>1
.
|x|
|x|
|x|
La fonction x 7 1|x|1 cos|x||x| est integrable sur R3 : elle definit donc un element
de S 0 (R3 ). La fonction x 7 1|x|>1 cos|x||x| est bornee sur R3 (car majoree en valeur
absolue par 1): elle definit donc un element de S 0 (R3 ). Ainsi x 7 cos|x||x| definit une
distribution temperee sur R3 comme somme de deux distributions temperees sur
1 cos |x|
R3 . Soit maintenant E S 0 (R3 ) telle que + 1)E = 0 ; alors T = E + 4
|x| est
une distribution temperee sur R3 (comme somme de deux distributions temperees
1 cos |x|
sur R3 ) et verifie ( + 1)T = 0. Dapr`es le 5) a), E + 4
est une fonction de
|x|

3
classe C sur R , cqfd.
III
1) a) Comme O est borne et inclus dans W , les distributions 1O et ses derivees j 1O
sont `
a support compact dans W . On peut donc les evaluer sur des fonctions de classe
C sur W (Proposition 4.1.4 du poly.). Comme les fonctions u et v C (W ),
on a donc, dapr`es la formule de Green (ecrite comme dans le Theor`eme 3.4.4 du
poly.)
 X

Z
N 
N 
X
v
u(y) (y)d(y) =
j , uj v =
j 1O , uj v
n
O
j=1
j=1
 X
N 
N Z
X
=
1O , j (uj v) =
(uj2 v + j uj v)(x)dx
j=1

j=1

Z
(uv + u v)(x)dx .

=
O

1) b) En echangeant les r
oles de u et v dans la formule obtenue au 1) a), on voit
que
Z
Z
u
(vu + u v)(x)dx .
v(y) (y)d(y) =
n
O
O
Soustrayant membre `
a membre cette egalite de celle obtenue au 1) a), on trouve
que

Z 
Z
v
u
u
v
(y)d(y) =
(uv vu)(x)dx .
n
n
O
O

2) Comme f est harmonique dans et que 0 < r2 < (x0 ), la propriete de la


moyenne assure que
Z
f (x0 + r2 )d() = f (x0 )|bS N 1 | .
SN 1

Multipliant chaque membre de cette egalite par f (x0 ), on trouve que


Z
f (x0 )
f (x0 + r2 )d() = f (x0 )2 |bS N 1 | .
SN 1

Or cette derni`ere egalite concide avec (1) dans le cas o`


u r1 = 0, puisqualors

r0 = r1 r2 = 0. On a donc ainsi demontre (1) dans le cas particulier r1 = 0.


3) a) La fonction f etant harmonique dans , on a f C (). Soit alors a
]1, (x0 )/r0 [; considerons la fonction
: (, z) 7 f (x0 + 1 r0 z)f (x0 + r0 z) ,
qui est de classe C sur ] 1/a, a[B(0, (x0 )/r0 a). Soit , fonction de classe C
a support compact dans B(0, (x0 )/r0 a) valant identiquement 1 sur un voisinage
de la sph`ere unite (lexistence dune telle fonction decoule du Lemme 1.4.1 du poly.).
Alors
A() = h, (, )i
o`
u est la distribution de simple couche sur la sph`ere unite de RN definie par
lelement de surface d voir Exemple 3.2.6 du poly., ou encore la notation definie
dans lenonce du Theor`eme 3.4.4, ibid.. Par derivation sous le crochet de dualite
(Proposition 3.3.20 du poly.), on deduit de ce qui prec`ede que A est de classe C
sur tout intervalle de la forme ] 1/a, a[ avec a ]1, (x0 )/r0 [, cest `a dire que
A C (]r0 /(x0 ), (x0 )/r0 [. De plus, comme vaut identiquement 1 au voisinage
du support de ,
Z
SN 1

A0 () = h, l (, )i = h, l (, )i =

1
f (x0 + 1 r0 )f (x0 +r0 ) 2 f (x0 +r0 )f (x0 + 1 r0 ) (r0 )d()

pour tout ]r0 /(x0 ), (x0 )/r0 [.


3) b) Soit a ]1, (x0 )/r0 [; pour tout ] 1/a, a[, les fonctions u et v sont
harmoniques sur B(0, (x0 )/ar0 ) qui contient B(0, 1). Appliquons la formule du 1)
b) avec W = B(0, (x0 )/ar0 ) et O = B(0, 1): on trouve que


Z
dv
u
0=
u
v
(y)d(y) =
n
n
B(0,1)
Z


r0
r0 f (x0 + 1 r0 )f (x0 +r0 ) f (x0 +r0 )f (x0 + 1 r0 ) d()

SN 1
= A0 ()
pour tout ] 1/a, a[. Comme ceci vaut pour tout a ]1, (x0 )/r0 [, on en deduit
que
A0 () = 0 pour tout ]r0 /(x0 ), (x0 )/r0 [ .
3) c) Comme 0 ]r
/ 0 /(x0 ), (x0 )/r0 [, on a, A0 () = 0 pour tout ]r0 /(x0 ), (x0 )/r0 [.
Donc A est constante sur lintervalle ]r0 /(x0 ), (x0 )/r0 [. Comme 1 et r2 /r1 appartiennent tous deux a cet intervalle,
Z
Z
f (x0 +r1 )f (x0 +r2 )d() = A(r2 /r1 ) = A(1) =
f (x0 +r0 )2 d() ,
SN 1

SN 1

ce qui demontre lidentite (1).


4) a) La fonction f etant harmonique sur RN , elle est en particulier continue en 0.
Donc, pour tout  > 0, il existe R > 0 tel que
|x| < 1/R |f (x)| <  .
Autrement dit,
|f ( 1r )| <  pour tout SN 1 et r > R .
Dapr`es lidentite (1), pour tout r > R , on a
Z
Z
Z
f ()2 d() =
f ( 1r )f (r)d()
|f ( 1r )||f (r)|d()
SN 1
SN 1
SN 1
Z
Z
sup |f ( 1r )|
|f (r)|d() 
|f (r)|d()
SN 1

||=1

SN 1

4) b) Dapr`es (2), il existe une constante C > 0 et R0 > 0 telle que


Z
|f (r)|d() C pour tout r > R0 .
SN 1

Donc, dapr`es le 4) a)
Z

f ()2 d() C pour tout r > max R , R0 .

SN 1

Comme le membre de gauche de cette inegalite est independant de r et que  > 0


peut etre choisi arbitrairement petit, on en deduit que
Z
f ()2 d() = 0 .
SN 1
N

Comme f est continue sur R , legalite ci-dessus entrane que f est identiquement
nulle sur la sph`ere unite de RN .
4) c) Soit r > 0 quelconque; ecrivons lidentite (1) pour la fonction f qui est
harmonique sur RN , en choisissant r1 = 1 et r2 = r2 si r > 1, ou bien r1 = r2 et

r2 = 1 si r < 1, ainsi que x0 = 0. Dans tous les cas, r0 = r1 r2 = r, de sorte que


Z
Z
f (r)2 d() =
f ()f (r2 )d() = 0
SN 1

SN 1

puisque f est identiquement nulle sur la sph`ere unite de RN . Cette egalite entrane,
par le meme raisonnement quau 4) b), que f est identiquement nulle sur la sph`ere
de centre 0 et de rayon r. Cela vaut pour tout r > 0, donc f est identiquement nulle
sur RN \ {0}. Enfin, par hypoth`ese f (0) = 0 de sorte que f = 0 identiquement sur
RN .
4) d) Soit f fonction harmonique sur RN verifiant (2). Considerons la fonction g
definie sur RN par la formule g(x) = f (x) f (0). La fonction g est evidemment
harmonique sur RN . Dautre part
Z
Z
Z
|g(r)|d() =
|f (r) f (0)|d()
(|f (r)| + |f (0)|)d()
SN 1
SN 1
SN 1
Z
=
|f (r)|d() + |SN 1 ||f (0)|) = O(1)
SN 1

lorsque r + comme somme dun terme O(1) et dune constante. Dapr`es


le 4) c), la fonction g qui est harmonique sur RN , nulle en 0 et verifie (2) est

identiquement nulle sur RN . Donc la fonction f est identiquement egale `a la


constante f (0) sur RN .
5) Verifions que pour tout z R, on a z + = 12 (z + |z|).
En effet, si z 0, on a |z| = z donc 12 (z + |z|) = 12 (z + z) = z = z + . Si z < 0, on
a |z| = z, de sorte que 12 (z + |z|) = 12 (z z) = 0 = z + .
Soit f harmonique dans RN telle que
Z
f (r)+ d() = O(1) lorsque r + .
SN 1

Dabord
Z

|f (r)|d() = 2
SN 1

f (r) d()
SN 1

f (r)d() .
SN 1

Puis, comme f est harmonique, elle verifie la propriete de la moyenne, de sorte que
Z
f (r)d() = |SN 1 |f (0) .
SN 1

Par consequent,
Z

f (r)+ d() |SN 1 |f (0)

|f (r)|d() = 2
SN 1

SN 1

= O(1) |SN 1 |f (0) = O(1)


lorsque r +. La fonction f , qui est harmonique sur RN , verifie donc lhypoth`ese
(2). Dapr`es le 4) d), elle est donc constante sur RN .