Académique Documents
Professionnel Documents
Culture Documents
Corrig
e de l
epreuve du 21/I/2008
I
1) La fonction x 7
1cos(nx)
x
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
(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) =
=
+
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) =
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
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 ) ,
1
1
x
= 3 et
= 40 dans D0 (R3 )
|x|
|x|
|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) =
|x|
|x|2
x
|x|
de sorte que
x B(x) =
|x|
|x|2
|x| = A(x) B(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
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()
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
||=1
SN 1
Donc, dapr`es le 4) a)
Z
SN 1
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
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
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() = 2
SN 1
SN 1