DM 7 _5 demis - MP Camille Vernet

Frédéric Dupré, classe de MP du lycée Camille Vernet, Valence
1
XMP 2015-2016 DM N°7 (5/2)
PROBLÈME 1
Soit E l'ensemble des fonctions numériques de classe
2
C
de carré intégrable sur
[0,+ [
I
= ∞
, et
1
E la partie de E cons-
tituée des fonctions dont la dérivée seconde est elle-même de carré intégrable sur I.
1. Prouver que E est un espace vectoriel, et que
1
E
en est un sous-espace.
On désigne désormais par g une fonction quelconque de
1
E. Les intégrales
2
0
( ) d
g t t
+∞
∫
et
2
0
( ) d
g t t
+∞
′′
∫
existent donc.
2. a. Prouver que la fonction
gg
′
′
est intégrable sur [,0[
+∞
.
b. On suppose que la fonction
2
g′ n'est pas intégrable sur I . Prouver alors que la fonction gg
′
tend vers
+∞
en
+∞
. En déduire la limite de
2
g en
+∞
.
c. Déduire de ce qui précède que
g
′
est de carré intégrable sur I .
3. Déduire des résultats de la question 2. que la fonction gg
′
est intégrable, puis que g a une limite en
+∞
, que l'on
déterminera. Prouver qu'il en va de même pour
g
′
.
4. En considérant la fonction
2
sin( )
:
1
x
h x x
+
֏, prouver que
1
E est strictement inclus dans E.
5. Pour A réel positif, calculer l'expression
( )
2
2 2 2
0
( ) ( ) ( ) ( ) ( ) ( ) ( ) d
A
K A g t g t g t g t g t g t t
′ ′′ ′ ′′
= − + − + +
∫
, puis la limite
de )(AK quand A tend vers
+∞
.
En déduire l'inégalité :
∫∫∫
+∞+∞+∞
′′
+≤
′
0
2
0
2
0
2
d)(d)(d)( ttgttgttg .
Dans les questions 6., 7. et 8. suivantes, on désigne par f une fonction intégrable sur
R
.
6. Vérifier que l'on définit sur
R
une fonction (appelée transformée de Fourier de f) en posant, pour tout réel x :
∫
+∞
∞−
=ttfxf
tx
de)()(
ˆ
i
.
Prouver que la fonction
f
ˆ
est bornée sur
R
, et en donner un majorant.
7. Prouver que la fonction
f
ˆ
est continue sur
R
, et donner ses limites en
+∞
et
−∞
.
8. On suppose dans cette question que f est de classe
1
C
, et que la fonction f
′
est elle-même intégrable sur I.
a. Prouver que f tend vers 0 en
+∞
et
−∞
, et que sa transformée de Fourier est de carré intégrable sur I.
b. Prouver l'inégalité :
∫∫∫
+∞
∞−
+∞
∞−
+∞
∞−
′
≤ffxxf .4d)(
ˆ
2
.

Frédéric Dupré, classe de MP du lycée Camille Vernet, Valence
2
PROBLÈME 2
Dans ce problème, on examine différentes extensions de la notion de fonction intégrable, ainsi que les liens qui exis-
tent entre elles.
f étant une fonction continue sur
[,0[
+∞
=
I, à valeurs réelles, on note F sa primitive s’annulant en 0. Trois sortes de
sommabilité sont définies :
i. la sommabilité usuelle :
si f est intégrable sur I, on notera :
0
( ) ( )d
I f f t t
+∞
=
∫
.
ii. la sommabilité au sens d’Abel :
si
0
e ( )d
xt
f t t
+∞ −
∫
existe pour tout réel x strictement positif et si, en outre,
∫
+∞ −
+→ 0 0
)d(e lim ttf
xt
x
existe dans
R
, on dit
que f est Abel-sommable sur I (en abrégé A-S) et l’on pose :
00
( ) lim e ( )d
xt
x
A f f t t
+∞ −
→ +
=∫ .
iii. la sommabilité au sens de Cesàro :
si
0
1
lim ( )d
t
t
F u u
t
→+∞
∫
existe dans
R
, f est dite Cesàro-sommable sur I (en abrégé C-S) et l’on pose :
0
1
( ) lim ( )d
t
t
C f F u u
t
→+∞
=∫ .
Partie I
(Étude d’exemples)
1. Calculer l’intégrale
∫
−
Txt
ttf
0
)d(e
quand f est la fonction sinus, puis (?!) la fonction cosinus.
2. Examiner successivement, pour les fonctions f précisées ci-dessous, leur sommabilité aux sens usuel, d’Abel, puis de
Cesàro, et calculer quand ils existent les nombres
( )
I f
,
( )
A f
et
( )
C f
:
)(ecose)( ; sine)( ; sin)(
2
321 ttt
tfttfttf ===
−
Partie II
Soit f une fonction quelconque, continue sur I, à valeurs réelles.
3. On suppose que f est sommable sur I. Prouver que f est Cesàro-sommable sur I, et que l’on a
( ) ( )
I f C f
= (on pourra
majorer
[ ]
0
1
( ) ( ) d
t
F u I f u
t−
∫
en la décomposant en deux parties).
4. On suppose que f est sommable sur I. Prouver que f est Abel-sommable sur I, et que l’on a
( ) ( )
I f A f
=
.
5. Examiner les réciproques des propriétés établies aux questions 3. et 4..

Frédéric Dupré, classe de MP du lycée Camille Vernet, Valence
3
Partie III
Il s’agit ici de faire le lien entre les sommabilités aux sens d’Abel et de Cesàro.
On considère pour cela dans toute cette partie une fonction f, continue sur I, et telle que l’intégrale
0
( ) e ( )d
xt
g x f t t
+∞ −
=∫ existe pour tout réel x strictement positif.
6. On suppose que
ttf )( tend vers 0 en
+∞
. Montrer que )(
2
xgx tend vers 0 en
+
0 .
7. On suppose qu’au voisinage de
+∞
,
)(tf
est équivalent à At (A constante non nulle). Montrer que
)(
2
xgx
tend vers
A quand x tend vers
+
0 .
8. En déduire que si la primitive F vérifie AxttfxF
x
≈=
∫
0
)d()( au voisinage de
+∞
)0( ≠A, alors g vérifie xAxg /)( ≈
au voisinage de 0 (on pourra utiliser une intégration par parties pour se ramener à ce qui précède).
9. Prouver alors que si f est Cesàro-sommable sur I, elle est Abel-sommable sur I et que l’on a
( ) ( )
A f C f
=
.