Vous êtes sur la page 1sur 8

D0 (R)

Tn = Tfn fn (x) = n sin(nx) {x 0}


sin(nx)
Tn = Tfn fn (x) = x
Tn = n( 1/n 1/n )
Tn = n2 ( 1/n + 1/n 2 0)
Tn = n( 0
1/n 1/n )

↵>0 ↵2 /N
x+↵ = x ↵ {x>0} (x+↵ ) x +↵
2 C01 (R)
Z 1

x (x) dx = P ↵ (✏) + R↵ (✏), ✏ > 0,

P ↵ (✏) ✏ R↵ (✏)
✏ ! 0+

h (x+↵ ), i := lim R↵ (✏), 2 C01 (R),


✏!0+

(x+↵ ) b↵c ↵
x (x+↵ ) d
dx (x+↵ )
R>0 ER : R3 ! R
(
1
4⇡|x| |x| R,
ER (x) = 1
4⇡R |x|  R.
ER SR
0 R 1 hER , i

1
E 2 D0 (R3 ) x 7! 4⇡|x|
E= 0 limR!0+ ER = E D0 (R3 )
Ë"%Ê- qec.HR) .
Une
intégration par parties donne
os

{Tfn 4) ,
=

§ nsinlnx)
q
(x) dx =

as

§ coslnx)
q (a) dx y ( o)
'
= +

tn § sinlnx ) q (x) doit y 6) qlo) (Saq)


"
= -
→ -

,
n-sors

donc dans D' (A)


Tç→ S . , qui est une distribution
d' ordre O -

2) Soit qe CICR) , supp y a [


- R
, ☒] , R >0 .

On sait
que ✗ (x ) ¥ ( q ( x)
- -

q( )
o)

est une
fonction lisse ( elle n'est pas ,
en
général ,

à
support compact ) .
On obtient

( Tgn g) ,
= Î ""Ç
- R
qlx)dx=
R R

=
f "nÇ ( x
y (a) + y (d) dx =

{ sinlnx) ✗ ( x) du
- R
NR
sinly)
q( ) f
Xy dy
+ o
.

- nr

Par une IPP, la 1ère intégrale → 0


,

et la deuxième
converge vers
l'intégrale généralisée
q ( o) [ sϥ dx =
( IT So ,
q),
- es

D' ( R)
donc
Tfn → Tso dans .
3) Soit qecéslt) .

<Tn g) ,
= n
@ ( tn) -

Cpl Yn )) → 24401
-

,
donc

Tu → -
2£ ,
d'ordre 1 .

4) <Tn (d)
"
, ce> = n' ( q ( tn ) -141-41-24 →
q ( o) ,

"
donc Tu → so ,
d'ordre 2 .

5) si → S
'
On sait
que 5=>5 implique ,

donc question 3) donne Tn -7 - 2 So" d'ordre ?


,

E×erüà
On procède par récurrence par rapport
"
⇐ La } , dest à dire k< ✗ < " "
- -
-

si k=O alors on
, pose
as

PÉCHO Râle) { tqlxdx


-

- x .

Soit tu > 1 Une donne


.

intégration par parties

[ "q(x)dx=§q( §
"' '
c) + q (x) #
x c-
> d .

=
( qld-iqydc-n.AM#f?-EH-,!-,.f(i-tY'qKtddt)
ÉTÉ (c) +
RÊ ( + E) ,
on
pose donc

Pâle )=£ ( qld-iqtde-i.ie .


-1
E) ¥,PÏ( e)
+

RÉGI =
¥ÏÎ-§( tt )"q"Ytddt +
RÊ ( )
e
,


" '
où et
Rfi existent
par
l' hypothèse

de récurrence .
L' unicité résulte de l' observation suivante :

si E O < < <


aol.az , - -
-

, am C-
, y,
<
je - - -

fin

§
K
)
"
et tim E- "
-

,
+ azé # . . . # ame existe ,
{→ 0-1

alors ce,=az== . . .
=
am =D .

(En effet ,
si k le
plus grand tel
que au # 0,

alors multiplie {
on
par
et on a une contradiction)

2) On voit
que
lim
{→ Ot
RIKKI fiç RÂLE) , , ,

et par récurrence on trouve

* le

RICE) (E)
-

tim
{→ 0-1
-

( Rq ""
=

os

=
K→.÷É { ,
a-
""
q
""
(a) dx .

Il est clair
que
cette
formule définit
d' ordre K
une distribution au
plus .

Pour voir l' ordre n'est 5- K l,


que pas
-

on peut considérer
par exemple la suite

des test
fonctions
qnlx)= ✗
cs
( nx ), où
YEÇ? ☐ ( IR) ,

">

{
""
est telle ( ) dx =/ 0
-

x
que
x
y .

( il faut justifier qu' une telle fonction existe,

ce
qui est assez facile) .
O( n )
'"
On a alors max

j' EK -
t
sup
✗ c- EN
/ qu'IYX ) / =
,

as os

§ y! §
" '' " "'" ' "" " ""
( x) (nx) ( na) dlnx)
_

et
-

x dx = n n y
vs

§
"' "" "" "'
( x ) dx »
-

= n x y n &> k
, puisque .

La distribution n' est donc d' ordre E K l


pas
-
.

3) En utilisant la formule cs

{ pf (x-P ) q→¥ §
"" ""
, q ) = > c-
q (a) dx ,

après un
peu
de calcul on arrive à

xpflxi7-pflx.it )
"
si &> 1

xpf ( x-P)
&
! 2<1
-

= x si

Ex pflx.IM = -

xpflx.it )
'
,
Kd >0 .

Exercice 1) Soit
qe CIVRY .

Notre objectif est de démontrer


que
{ 1Er , 4) =
¥* S q ( ) x o ( dx) ,

$2
où on est la mesure de Hausdorff sur Ça .

Par la de la dérivation distributions ,


définition au sens des

< AER , g) = { F- r, Iq > = } Erlx) Aqtxdx


}
pu
( 2ème égalité vient du fait que
la ER est une

fonction localement intégrable ) .


On écrit maintenant

§ F- rlx) Aylx)dx =
-

jf-p-SAqlxdx-lq.fr#Aqlx)dxlxlER
Rappelons la formule de
Green :

§ f- ( ) Agla)
x dx =

on
} f- ( )@ gtxoldx)
x -

a
ftp.lx) tglxdx .

) À tg ( ) la dérivée de

Ong ( x - .
x est
g
dans la direction normale extérieure à 52 ,

et r est la mesure de Hausdorff -

En
point x de la surface de la boule B( 0,12 ) ,

le vecteur normal extérieur à cette boule est Ez .

Par
conséquent ,

sixf 4GB dx = Ê •

☒ (a) oldx) ,

Kkr /=p

s ¥, Acllxldx =
5 ¥ ( E) qlx)r(dx)
- •

µ, , IXKR

s ☐ ( É) thflxdx

,
donc
×, > a

Eplx) Ayla)dx =
¥5 txt> R
( ¥,) tqlxdx

.

fois de
En
appliquant encore une la formule Green,
ftp.t/.Thp(x)dx---fYz.Pi!-i)q(x)ofdx)fA(!-a)q(x)dx .

tel > R KKR txt R


IL suffit maintenant de calculer :

☐ ( Ea) =P
F) =
-

ÊF
Qi =

aata.EE#-ii)---Ep-+?Iis--
donc .

( ¥) - (Qi -0%2+0%4,4=1--0 et

¥ } Ê
.fi?-p)q(x)oCdx)p3
§ F-rlx) A- qlx) dx = -

IXKR

¥22 f q (x)
Hdx) .

KKR

2) On voit
que
lim Er = F- dans L'↳ ECRI ,
R sot
-

( on observe
que
la
singularité de F- en 0

est
intégrable) ,
donc aussi
LIE , Er # F-

dans D' UR ? ) .
La dérivation est une
opération
continue la dans D'(A) donc
pour convergence ,

F- = lin 1Er .

R→O+

IL reste à montrer
que
tim
R so
-
-1
411¥ % =
So ,

où est la de Hausdorff
5,2 mesure sur la
sphère
de centre 0 et de R
rayon
.

qe CICR )
?
Soit . On a

✗ 4¥72 -
So , 4)/ =
Ère / 5 @ ( x) -

q (d) ←(dx) /
KKR
£
4¥22 § ,
R sup / Pq (y ) / Hdx)
IYIER

E R
sup ltq (y) / ¥+0 ,
IYIER
termine la
ce
qui preuve
.

Vous aimerez peut-être aussi