ENS de Cachan

2013-2014

L3 Phytem
Outils mathmatiques
Correction du TD no 7
Distributions

Exercice 1. Soient p et q deux entiers naturels. Calculer la distribution

T = xp (q)
o (i) est la drive iime de la mesure de Dirac sur R.
Correction :
xp C donc xp (q) a un sens.
Soit D(R),
 q

E
D
E D
d
q
p
p (q)
q
p (q)
= (1)
(x ) (0).
x , = (1) , (x )
dx
Daprs la formule de Leibniz
 q
 qi
 i
q
q
X
X
d
d
d
q
p
p
(x ) =
(x )
=
Ci
Fi,q (x).
dx
dx
dx
i=0

(1)

(2)

i=0

1. Si p > q, la quantit (2) sannule en x = 0.

En effet,
 i
d
(xp ) = Cip xpi
dx
et p i est strictement positif.
2. Si p q, alors la quantit (2) scrit
p1
X

Fi,q (x) +

q
X

Fi,q (x).

i=p

i=0

La premire de ces deux sommes sannule lorigine pour la mme raison que prcdemment, et
la deuxime scrit
 i
 qi
 p
 qp
q
X
d
d
d
d
Ciq
(xp )
= Cpq
(xp )

dx
dx
dx
dx
i=p

car


d
dx

i

(xp ) = 0 si i p + 1.

On a donc dans ce cas, daprs (1)

D
E
(1)p q! D (qp) E
xp (q) , = (1)q Cpq p!(qp) (0) =

, .
(q p)!
En rsum
xp (q) =

0 si p > q

(1)p q! (qp)
(qp)!

si p q.

Exercice 2. Calculer la drive au sens des distributions de la fonction localement intgrable ln |x|
sur R.
Correction :
La fonction ln |x| pour x 6= 0 est intgrable au voisinage de lorigine car pour tout < 1, |x| | ln |x||
tend vers 0 lorsque |x| tend vers 0 et donc
| ln |x||

1
|x|

pour x non nul dans un voisinage de lorigine.

Soit D(R), on a


d
ln |x|,
dx



Z
d
d
= ln |x| dx.
= ln |x|,
dx
dx
R

(3)

1
On pourrait penser faire une intgration par parties, mais la drive de ln |x| est la fonction
qui
x
nest pas intgrable au voisinage de lorigine.
On utilise alors la mthode suivante : daprs le thorme de Lebesgue
Z
Z
0
ln |x|0 (x)dx = lim I
(4)
ln |x| (x)dx = lim
0

0 |x|

car
1{|x|} | ln |x|(x)| | ln |x|(x)| L1 (R).
Dautre part,
Z

ln |x|0 (x)dx
Z
(x)
+
= [ln |x|(x)]
+
[ln
|x|(x)]

dx

|x| x
Z
(x)
= ln (() ())
dx.
|x| x
ln |x| (x)dx +

I =

Or,
|() ()| 2 sup |0 (x)|,
R

et, par consquent

Z
lim I = lim

0 |x|

(x)
dx.
x

On dduit de (3), (4) et (5) que

d
1
ln |x| = vp .
dx
x

(5)

Exercice 3. Soit la distribution dfinie dans le plan par la fonction localement intgrable
 1
si t |x| > 0
2
E(x, t) =
0 si t |x| < 0
Soit  loprateur des ondes dfini par
=

2
2

.
t2 x2

=

2
2

.
t2 x2

Rsoudre E au sens des distributions.

Correction :
Soit

On a pour tout D(R2 ),

hE, i =
=
=
=

Z Z
2
1 t 2
dtdx
dxdt
2
2
2 0
R |x| t
t x


Z 
Z 
1
(x, t)
1 (x, t) t
dx
dt
2 R
t
2 0
x
t=|x|
x=t
Z  
Z  
Z  

1
1
1
(x, |x|)dx
(t, t)dt +
(t, t)dt

2 R t
2 0
x
2 0
x
 
Z  
Z
1
1 0

(x, x)dx
(x, x)dx
2 0
t
2 t
Z  
Z  
1
1
(t, t)dt +
(t, t)dt
2 0
x
2 0
x
Z  
Z  
1
1

(x, x)dx
(x, x)dx
2
t
2
t
Z 0  
Z 0 
1

(t, t)dt +
(t, t)dt
2 0
x
2 0
x
1
2

Z Z

Dautre part, pour a R :

d
((ay, y)) = a
dy
On en dduit

1
hE, i =
2

Z
0


(ay, y) +

d
1
((y, y))dy
dy
2


(ay, y).

d
((y, y))dy
dy

1
1
hE, i = (0, 0) + (0, 0) = (0, 0) = h, i ,
2
2
do
E =

dans D0 (R2 ).

D(R2 )

Exercice 4.

1. Montrer que la fonction

f (x; y) =

1
x + iy

dfinit un lment de D0 (R2 ).

2. Loprateur de Cauchy-Riemann est dfini par


1

=
.
+i
2 x
y
Montrer que
= .
f
Correction :
1. Tout dabord
|f (x, y)| =

1
(x2 + y 2 )

1
2

1
|X|

o X = (x, y).

1
est intgrable au voisinage de lorigine dans Rn si < n.
|X|
Ici = 1 et n = 2 donc f est L1loc (R2 ) ce qui implique que f dfinit un lment de D0 (R2 ).

On sait que la fonction

2. Soit D(R2 ), on a


= f,
= 1
f,
2

Z
R2

1
x + iy

f
f
+i
x
y


dxdy.

On passe en coordonnes polaires :

x = r cos ,
On a

y = r sin , quad =

dxdy = rdrd.

sin
= cos

;
x
r
r

cos
= sin
+
.
y
r
r

Z 2 Z i 


e

ei
= 1
ei
+i
rdrd,
f,
2 0
r
r
r
0

o
(r,
) = (r cos , r sin ).
Daprs le thorme de Fubini,


= 1
f,
2

Z
0

Z
0


Z 2

Z


i 1
dr d
d dr.
r
2 0 r 0

Comme (0,
0) = (0, 0) et que (r,
) est 2-priodique, il vient :


= 1 2 ((0, 0)) = (0, 0) = h0 , i
f,
2

et, par consquent

= 0 .
f

(6)

Exercice 5. On considre dans R2 la fonction

H(t) x2
e 4t
E(x, t) =
4t
o H(t) dsigne la fonction de Heaviside.
1. Montrer que E dfinit une distribution sur R2 .
2. Loprateur de la chaleur est dfini par
P =

2.
t x

Montrer que dans D0 (R2 )

P E = .
Correction :
1. On a la majoration
H(t)
E(x, t)
4t
H(t)
et la fonction
est localement intgrable dans R2 .
4t
Donc, E L1loc (R2 ) et dfinit un lment de D0 (R2 ).
2. Soit D(R2 ),


2
2
t x


E,

Or
Z
0

Z
R

2
= E,
+
t
x2


x4t

dxdt = lim
0
4t t

Z
=
0

x2

e 4t

4t

2
+
t
x2


dxdt.

x4t

dt dx = lim I ,
0
4t t

en vertu du thorme de Lebesgue, puisque



2


x4t

 C|(x, t)|
e
1[,[R

(x, t)

t
4t



L1 (R2 ).

Dans I , on peut alors faire une intgration par parties et crire

2
2
Z
Z Z
x4t
x4t
e
e
(x, t)dtdx +

I =
(x, t) dx.
t
4t
4t
R
R
t=

Or,

 2

x2
x2
e 4t
1
x
1

=
e 4t ,
5 3
t
4 2t 2
4t
t2
do
1
I =
4
De mme

Z Z

x2
5

2t 2

1
3

t2

x4t

(x, t)dtdx
R

x2

e 4

(x, )dx.
4

x2
Z Z x2 2
e 4t 2
e 4t

dxdt = lim
dxdt = lim J .
2
0
0
4t x
4t x2
R
0
R
Dans J faisons deux intgrations par parties :

x2
x2
e 4t
x

= 3 e 4t
x
4t
4 t 2

(7)

x2
2 e 4t

=
x2
4t

x2
1
3 + 5
4 t 2
8 t 2

x2

e 4t ,

do
J =

Z Z

x2
5
2

3
2

4 R
2t
t

+
x2
Z
e 4t

+
(x, t)
4t x

x2

e 4t (x, t)dxdt

Z
dt +

x=

et comme

"

#+
x2
x

dt
3 e 4t (x, t)
4 t 2
x=

(x, t) = 0,
x x

lim (x, t) = lim

il vient
1
J =
4

Z Z

x2
5
2

3
2

x2

e 4t (x, t)dtdx.

2t
t
En utilisant les expressions de I et J donnes par (7) et (8), il vient

Z
I + J =
R

x2

e 4

(x, )dx,
4

do


2
2
t x


E,

x2

Z
= lim

0 R

e 4

(x, )dx = lim K .

0
4

Dans lintgrale, faisons le changement de variable

dx = 2 dy

x
y=
2

Z
Z

2
1
2
2
K =
ey (2 y, )dy =
ey (2 y, )dy,
2 R
R
or

lim (2 y, ) = (0, 0)

et

2
 y

e (2 y, ) sup |(x)|ey L1 (R)
R

donc, daprs le thorme de Lebesgue

1
lim K =
0

Donc

Z

y 2


dy (0, 0) = (0, 0).

2
2
t x


E = .

(8)

Exercice 6. Soit x R3 ; on note r = |x|.

1. Calculer f lorsque f est une fonction qui ne dpend que de r.
2. Soit f = f (r) une fonction qui vrifie dans R3 \{0} lquation


+ a2 f = 0
o a R\{0}.
Ecrire lquation diffrentielle
laquelle satisfait g(r) = rf (r) et en dduire la forme des solutions
C dans R3 \{0} de + a2 f = 0.
3. Soit f = f (r) une telle solution.
Montrer que si on pose
` = lim rf (r),
r0

on a, dans

D0 (R3 )


+ a2 f = C`

o C est une constante que lon calculera.

4. En dduire , dans D0 (R3 )
1
.
r
Correction :
3
X
2
2.
x
i
i=1
Calculons lexpression de en coordonnes sphriques :
comme f = f (r), il suffit de calculer la partie du transform de qui ne contient que des drives
par rapport r (celles en (, ) appliques f donneront zro).
On a

x1 = rf1 (, )
x2 = rf2 (, )

x3 = rf3 (, )

1. On a =

f (r) =
xi
2
f (r) =
x2i

f r
xi

=
f (r)
r xi
r r


 xi  f
x2i 2 f
1 x2i f
x2 2 f
+ 2 2 =
3
+ 2i
xi r r
r r
r
r
r
r r2

do
f (r) =

3
3
1 X 2

xi
r r3
i=1

2f
r2

f
1
+ 2
r
r

3
X

!
x2i

i=1

2f
r2

2 f
.
r r

2. Soit f = f (r) telle que ( + a2 )f = 0 dans R3 \{0}.

Posons g(r) = rf (r).
On a alors
g 0 (r) = f (r) + rf 0 (r) g 0 (r) = 2f 0 (r) + rf 00 (r).
Daprs la question prcdente, on a
2
f 00 (r) + f 0 (r) + a2 f (r) = 0 dans R3 \{0},
r
do, en multipliant par r 6= 0 :
rf 00 (r) + 2f 0 (r) + a2 rf (r) = 0,

et donc
g 00 (r) + a2 g(r) = 0.
La solution gnrale de cette quation dans R3 \{0} est
g(r) = c1 cos ar + c2 sin ar
et donc la solution gnrale de ( + a2 )f (r) = 0 dans R3 \{0} est la fonction C
f (r) = c1

cos ar
sin ar
+ c2
.
r
r

(9)

3. Avec les notations de lnonc, c1 = `, donc

f (r) = `

sin ar
cos ar
+ c2
r
r

L1loc (R3 ).

On va montrer que dans D0 (R3 ), ( + a2 )f (r) = C`.

sin ar
cos ar
est une fonction C de r R (tandis que `
nest pas dfinie en 0).
La fonction c2
r
r
sin ar
sin ar
On peut donc calculer ( + a2 )
au sens usuel. Or, daprs la question prcdente,
r
r
est solution dans R3 \{0} de ( + a2 )f = 0 (cas o c1 = 0) et comme cest une fonction C , on a
sin ar
= 0 dans R entier.
r
cos ar
Calculons, dans D0 (R), la quantit ( + a2 )
:
r
Soit D(R),
E Z cos ar
D
cos ar E D cos ar
, =
, ( + a2 ) =
( + a2 )(r)dr.
( + a2 )
r
r
r
( + a2 )

cos ar
L1loc (R), on a
r
Z
D
E
cos ar
2 cos ar
( + a )
, = lim
( + a2 )(r)dr = lim I .
0
0
r
r
r

En utilisant le fait que

Daprs la formule de Green, on a :



Z
Z
 cos ar 
cos ar
 cos ar 
I =
( + a2 )
(r)dr +

d ,
r
r r
r
r
r
r=
avec d 2 d o d est la mesure de la sphre unit.
cos ar
= 0 (cas o c2 = 0) donc
Or, dans R3 \{0}, ( + a2 )
r


Z
cos ar
 cos ar 
I =

d .
r r
r
r
r=
En outre,
 cos ar  ar sin ar cos ar
=
r
r
r2
et

 



3
3 
X
  X
 
|xi |  
 


sup
 r 
 xi  = M
r  xi 
R
i=1

Ainsi

i=1

Z
I = cos a
r=
|
{z
A

car

|xi |
1.
r

Z
Z

d + a sin a
d + cos a
d
r
r=
r=
} |
{z
} |
{z
}

avec

Z
|A| | cos a|M

d 0 lorsque 0,
|x|=1

Z
d 0 lorsque 0,

|B| |a|| cos a| sup |(x)|

|x|=1

Z
C = cos a

(,
, )d

o (r,
, ) = (rf1 (, ), rf2 (, ), rf3 (, )).

r=

Daprs le thorme de Lebesgue,

Z
lim C = (0)

et donc
D

cos ar E
( + a )
, =
r
2

d
|x|=1

!
d h, i

D(R)

|x|=1

do
( + a2 )f (r) = 4`.
cos ar
En particulier, la distribution
est une solution lmentaire de loprateur + a2 dans
4r
R3 .

Exercice 7. Soient p, q, m et n des entiers. Calculer

h
i h
i
T = xp (q) xm (n)
o (i) est la drive iime de la mesure de Dirac sur R.
Correction :
On a vu (exercice (1) que
xp (q) =

0 si p > q

(1)p q! (qp)
(qp)!

si p q.

On en dduit que
1. Si p > q ou m > n alors T = 0.
2. Supposons p q et m n. Alors
T = Ap,q,m,n (qp) (nm)
o
Ap,q,m,n =

(1)q+n q!n!
.
(q p)!(n m)!

Dautre part, si T E 0 (E 0 tant lespace des distributions support compact) et S D0 on a

(S T ) = ( S) ( T )

donc

T = Ap,q,m,n

d
dx

S =S

(qp) 

d
dx

(nm)

( ) = Ap,q,m,n (q+npm) .

Exercice 8. Montrer quil nest pas possible de dfinir le produit de convolution de trois distributions
quelconques, au sens o ce produit ne peut-tre associatif.
Correction :
Supposons que lon puisse dfinir le produit de convolution de trois distributions u, v et w de telle
manire que
(u v) w = u (v w).
Posons
u = 1,

v = 0,

On aurait
u v = 1 0 =

w = H.

d
d
(1 ) =
1=0
dx
dx

donc
(u v) w = 0 H = 0.
Dautre part
v w = 0 H =

d
d
( H) =
H=
dx
dx

do
u (v w) = 1 = 1
ce qui est absurde.

Exercice 9.

1. Calculer, dans D0 (Rn ),

pn
lim n
p 2

|x|2
1
p

p3
= lim Pp (x).
p

2. En dduire que toute distribution support compact est limite, au sens des distributions, dune
suite de polynmes.
Correction :
1. Soit D(Rn ). Il existe M > 0 tel que supp {x : |x| M }.
Posons

p3
Z
|x|2
pn
Ip =
(x) n 1
dx.
p
2
|x|M
Faisons le changement de variables y = px ; alors dy = pn dx.
Do
p3  
p3  


Z
Z
1
1
|y|2
y
|y|2
y
dy = n
dy.
Ip = n
1 3

1|y|pM 1 3

p
p
p
p
2
2

|y|pM
R
Fixons y Rn . Pour p assez grand on a


do

|y|2
1 3
p

p3



|y|2
p3 ln 1 3
p

=e

p3

2
|y|2

= e|y| 1Rn
lim
1
1

p |y|pM

p3


 3


2 p 

 e|y|2 .
 1 |y|3

p

Dautre part
 
y

(0)
p
et


p3  

|y|2
y 
2


 1 3
 Ce|y| L1 (Rn )

p
p 

et donc, par le thorme de Lebesgue

1
lim Ip = n
p
2

e|y| dy (0) = (0)

Rn

ce qui signifie que dans D0 (Rn ),

pn
lim n
p 2

|x|2
1
p

p3
= .

2. Soit T E 0 (Rn ) alors T Pp a un sens. De plus, cest une fonction C .

Dautre part,
(T Pp ) = T Pp = 0 si || > 2p3
donc T Pp est un polynme.
Montrons que T Pp converge vers T dans D0 (Rn ) :
En effet, si U D0 (Rn ) (ou E 0 (Rn )) et D(Rn ) (ou C (Rn )), on a
hT, i = (T )(0)

avec (t)
= (t)
hT Pp , i = [(T Pp ) ]
(0) = [Pp (T )]
(0)

car (T Pp ) C et D(Rn ).
On en dduit que


hT Pp , i = Pp , T
et T est un lment de d[Rn ).
Daprs la premire question, on a


lim Pp , T = T (0)

= T (0)

donc
lim hT Pp , i = (T )(0)

= hT, i ,

On en dduit que dans D0 (Rn ),

lim T Pp = T.

D().