Académique Documents
Professionnel Documents
Culture Documents
Familles d’intégrales
Énoncés
Indications ou résultats
Supposons maintenant que f soit une fonction en escaliers sur [a, b].
Alors il existe des sous-segments I0 , I1 , · · · , In et des scalaires α0 , α1 , . . . , αn tels que
Pn
f= αk fk , où f0 , f1 , . . . , fn sont les fonctions caractéristiques de I0 , I1 , . . . , In .
k=0
Z b X n Z b
On en déduit f (x) sin λx dx = αk fk (x) sin λx dx.
a k=0 a
Z b Z b
Pour chaque k, on a lim fk (x) sin λx dx = 0. Donc lim f (x) sin λx dx = 0.
λ→+∞ a λ→+∞ a
On suppose enfin que f est continue par morceaux sur [a, b]. On se donne ε > 0.
ε
Il existe ϕ en escaliers telle que sup |f (x) − ϕ(x)| ≤ . On en déduit :
[a,b] 2(b − a)
Z b Z b Z b
f (x) sin λx dx ≤ (f (x) − ϕ(x)) sin λx dx + ϕ(x) sin λx dx
a a a
ε b
Z
≤ + ϕ(x) sin λx dx
2 a Z b ε
Puisque ϕ est en escaliers, il existe λ0 tel que λ ≥ λ0 ⇒ ϕ(x) sin λx dx ≤ .
a 2
Z b
On en déduit que f (x) sin λx dx ≤ ε pour tout λ ≥ λ0 .
a Z b
Conclusion : pour toute fonction en escaliers f sur [a, b], lim f (x) sin λx dx = 0.
λ→+∞ a
1
2. Si on suppose que f est de classe C , on peut intégrer par parties :
Z b ib 1 Z b
1h
f (x) sin λx dx = − f (x) cos λx + f 0 (x) cos λx dx
a λ a λ a
0
Soit M le maximum de f sur [a, b].
Z b |f (a)| + |f (b)| (b − a)M
On obtient la majoration : f (x) sin λx dx ≤ + .
a λ λ
Z b
Il en découle lim f (x) sin λx dx = 0.
λ→+∞ a
1 qπ 2 b
Z Z
2
Il reste donc à montrer que lim |sin t| dt = |f (x)| dx = (β − α).
λ→+∞ λ pπ π a π
Z (k+1)π Z qπ
1 q−p
Or pour k ∈ ZZ, |sin t| dt = 2. On en déduit |sin t| dt = 2 .
kπ λ pπ λ
Par définition de p et q, on a : (p − 1)π < λα ≤ pπ ≤ qπ ≤ λβ < (q + 1)π.
β−α 2 q−p β−α q−p β−α
Il en résulte : − < ≤ donc lim = .
π λ λ π λ→+∞ λ π
1 qπ
Z
2
Finalement, on trouve bien lim |sin t| dt = (β − α).
λ→+∞ λ pπ π
Z qπ
1 2
Par linéarité, l’égalité lim |sin t| dt = (β − α) se généralise aux combinaisons
λ→+∞ λ pπ π
linéaires de fonctions caractéristiques, c’est-à-dire aux fonctions en escaliers.
On suppose enfin que f est continue par morceaux sur [a, b]. On se donne ε > 0.
Il existe ϕ en escaliers sur [a, b] telle que sup |f (x) − ϕ(x)| ≤ ε.
[a,b]
Z b
2 b
Z
Posons : Iλ (f ) = f (x) |sin λx| dx, J(f ) = |f (x)| dx (et de même Iλ (ϕ) et J(ϕ).)
a π a
On écrit Iλ (f ) − J(f ) = (Iλ (f ) − Iλ (ϕ)) + (Iλ (ϕ) − J(ϕ)) + (J(ϕ) − J(f )).
Z b
On a tout d’abord |Iλ (f ) − Iλ (ϕ| ≤ |f (x) − ϕ(x)| dx ≤ (b − a)ε.
a
2 b 2 b
Z Z
2
Puis |J(f ) − J(ϕ)| ≤ |f (x)| − |ϕ(x)| dx ≤ |f (x) − ϕ(x)| dx ≤ (b − a)ε
π a π a π
2
On en déduit |Iλ (f ) − J(f )| ≤ |Iλ (ϕ) − J(ϕ)| + Kε, avec K = (b − a) 1 + .
π
Puisque ϕ est en escaliers, il existe λ0 tel que λ ≥ λ0 ⇒ |Iλ (ϕ) − J(ϕ)| ≤ ε.
On en déduit que pour tout λ ≥ λ0 , on a |Iλ (f ) − J(f )| ≤ (K + 1)ε.
Cela signifie que lim Iλ (f ) = J(f ), ce qu’il fallait démontrer.
λ→+∞