Exercice 4 (9 points).Si f: [a, b]→Rest une fonction intégrable et n∈N, considérons
l’intégrale suivante :
In:= Zb
a
f(t) sin(nt)dt.
1. Demontrer que cette intégrale est bien définie, c’est-à-dire que la fonction intégrande
t7→ f(t) sin(nt)est bien intégrable ;
La fonction ϕ:t7→ sin(nt)est continue sur R, donc intégrable sur tout intervalle borné
de R. Si fest intégrable sur [a, b], le produit des fonctions intégrables fet ϕl’est aussi.
2. calculer la valeur de cette intégrale dans le cas où fest la constante 1;
Si fest la constante 1 : In=Zb
a
sin(nt)dt =−1
ncos(nt)b
a
=1
n[cos(na)−cos(nb)]
3. montrer que limn→∞ In= 0 pour toute fonction constante f;
Si fest une constante C, la question précédente donne : In=C
n[cos(na)−cos(nb)]. En
particulier : |In| ≤ 2/n →0.
4. montrer que limn→∞ In= 0 pour toute fonction étagée f;
Soit t0=a < t1< . . . < tK=bune subdivision de l’intervalle [a, b]adaptée à f, et, mk
(k= 0, . . . , K −1) la valeur constante de fsur l’intervalle ]tk, tk+1[. La relation de Chasles
donne :
In=Zb
a
f(t) sin(nt)dt =
K−1
X
k=0 Ztk+1
tk
f(t) sin(nt)dt =1
n
K−1
X
k=0
mk[cos(ntk)−cos(ntk+1)]
d’où : |In| ≤ 2/n PK−1
k=0 |mk| → 0.
5. montrer que limn→∞ In= 0 pour toute fonction f∈C1([a, b]) ;
Lorsque fest C1([a, b]), on obtient, en intégrant par parties :
In=Zb
a
f(t) sin(nt)dt =1
nZb
a
f0(t) cos(nt)dt −1
n[f(t) cos(nt)]b
a
qui implique : |In| ≤ L C2+ 2C1
n→0, où C1majore |f(t)|,C2majore |f0t)|sur [a, b], et
L=|b−a|.
6. montrer que limn→∞ In= 0 pour toute fonction intégrable f(il peut être utile approcher
fpar une fonction étagée gtelle que Rb
a|g(t)−f(t)|dt < ε) ;
Soient ε > 0donné, gune fonction étagée telle que : Rb
a|f(t)−g(t)|dt < ε/2, et nassez
grand pour que :
Rb
ag(t) sin(nt)dt
< ε/2. Il vient :
|In| ≤
Zb
a
[f(t)−g(t)] sin(nt)dt
+
Zb
a
g(t) sin(nt)dt
≤Zb
a|f(t)−g(t)|dt +ε
2≤ε
Le résultat valant pour tout ε > 0:In→0.
7. calculer la valeur de Insi b=−Met a=M(pour un M > 0), n≥1et fest paire ;
Si fest paire, l’intégrande f(t) sin(nt)est impaire, et son intégrale sur tout intervalle
[−M, M]centré en t= 0 est nulle.
2