MPSI B 3 juin 2009

Énoncé Corrigé
Pour1 tout entier naturel n tel que ( sint t )2n soit intégrable sur ]0, +∞[, on pose 1. La fonction sint t

2n
se prolonge par continuité en 0 avec la valeur 1. Pour tout t ∈
Z +∞ [1, +∞[, on peut écrire
sin t 2n
un = ( ) dt
 
 sin t 2n  1
0 t 
 ≤ 2n

t t

 
On se propose de chercher un équivalent de (un )n∈N
On pose, n étant un entier naturel et a un réel strictement positif Comme 2n ≥ 2, la fonction 1
est intégrable sur [1, +∞[. On en déduit l’intégrabilité
t2n
Z π2 Z a
t2 sur ]0, +∞[.
In = cosn t dt Jn (a) = (1 − 2 )n dt
0 0 a 2. Il est bien connu (étude de fonction ou convexité) que sin  t ≤  t pour tout t positif.
pπ L’égalité se produisant seulement en 0. Dans l’intervalle a, π2 , cette inégalité assure
On admet que In ∼ 2n |sin t| < t car le sin est positif. Au delà de π2 on peut écrire |sin t| ≤ 1 < π2 ≤ t. Ceci
1. Établir l’intégrabilté de ( sint t )2n sur ]0, +∞[ pour tous les entiers n strictement positifs. assure que la fonction t → sint t est majorée strictement par 1. Comme elle converge
2. Pour a >, on appelle M (a) la borne supérieure de | sint t | sur [a, +∞[. Montrer que vers 0 en +∞, elle atteint sa borne supérieure sur [a, +∞[. Cette borne M (a) est donc
M (a) < 1 et que pour tout n > 0, strictement plus petite que 1.
Pour obtenir l’inégalité demandée dans l’intégrale, on isole un 2 dans l’exposant
Z +∞
sin t 2n
( ) dt ≤ 2M (a)2n−2 +∞ 2n +∞ 2n−2  2
t
Z  Z 
0 sin t sin t sin t
dt = dt
a t a t t
3. Exprimer Jn (a) en fonction de a et d’un terme de la suite ((In ))n∈N .
√ Z +∞
sin2 t
4. Établir que pour tout t ∈]0, 6] ≤ M (a)2n−2 dt
a t2
sin t t2
≥1− ≥0 sin t 1
R +∞ 2 R +∞
t 6 Si a ≥ 1, on majore le sin par 1 d’où a t2 dt ≤ 1 t2 dt = 1.
√ Si a ∈ ]0, 1[, on coupe en deux morceaux et dans le premier on utilise |sin t| < t :
5. Déduire de ce qui précéde un ≥ 6 I4n+1 .
6. a. Montrer que pour tout λ > 6, il existe µ ∈ ]0, λ] tel que : Z +∞
sin2 t
Z 1
sin2 t
Z +∞
sin2 t
dt = dt + dt
sin t t2 a t2 a t2 1 t2
∀t ∈]0, µ], 0≤ ≤1− 2 Z 1 Z +∞
t λ 1
≤ 1dt + dt = 2 − a ≤ 2.
b. En déduire l’inégalité, valable pour tout entier n > 0 a 1 t2

un ≤ J2n (λ) + 2M (µ)2n−2 3. On effectue le changement de variable t = a sin u dans Jn (a). On en déduit
un
7. Déterminer la limite de I4n+1 lorsque n tend vers +∞ et donner un équivalent très Jn (a) = aI2n+1
simple de un .
 √ 
1 d’après Maths1 Centrale 86 première partie 4. Formons le tableau de variations de la fonction φ(t) = sin t − t + 61 t3 pour t ∈ 0, 6 .

Cette création est mise à disposition selon le Contrat 1 Rémy Nicolai Acentr86
Paternité-Partage des Conditions Initiales à l’Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/
MPSI B 3 juin 2009

√
Les dérivées sont : φ0 (t) = cos t − 1 − 12 t2 , φ00 (t) = − sin t + t 7. Les questions précédentes montrent que, pour tout λ > 6, il existe un µ ∈ ]0, λ[ tel
√ que
0 6 √ un 2M (µ)2n−2
6≤ ≤λ+ (1)
φ00 + I4n+1 I4n+1 (λ)
φ0 0 % q
π
pπ
φ 0 + De plus, l’énoncé nous donne un équivalent de In : I4n+1 ∼ 2(4n+1) ∼ 8n d’où

R +∞ sin t 2n

R √6 sin t 2n

2M (µ)2n−2 √
5. D’après les questions précédentes : un = a t dt ≥ a t dt ≥ ∼ Kµ ρnµ n
R +∞
2n √ I4n+1
a
1 − 16 t2 dt = 6I4n+1 .
1 3 2
6. a. Posons φλ (t) = sin t − t − λ2 t et dérivons : où Kµ est une constante positive (qui dépend de µ) et √
ρ=M √(µ) 1∈ ]0, 1[.
Considérons un nombre ε > 0 arbitraire, fixons un λ ∈ 6, 6 + 2 ε . L’encadrement
3 2 00 6 6 (1) est alors vérifié pour un certain µ.
φ0λ (t) = cos t − 1 + t , φλ (t) = − sin t + 2 t, φ000
λ (t) = − cos t + 2 √
λ2 λ λ Lorsque λ et µ sont fixés, (Kµ ρnµ n)n∈N tend vers 0 quand n tend vers l’infini. Il existe
√ donc un entier N tel que
Mais λ62 < 1 car λ > 6, il existe donc (par continuité en 0 de cos) un µ assez 2M (µ)2n−2 1
petit pour que cos t > λ62 lorsque t ∈ [0, µ] . On peut aussi supposer µ < λ. Le ≤ ε
I4n+1 2
tableau de variation de φλ dans [0, µ] montre alors que φλ est négative dans cet
intervalle ce qui démontre l’inégalité demandée. lorsque n ≥ N . En injectant cela dans (1), on obtient que
b. En découpant l’intégrale puis en utilisant les relations démontrées : √ un √ 1 1
6≤ ≤ 6+ ε+ ε
Z +∞  2n I4n+1 2 2
sin t
un = dt un
√
0 t C’est à dire que ( I4n+1 )n∈N converge vers 6. Finalement :
Z µ  2n Z +∞  2n
sin t sin t
= dt + dt
s
√
r
0 t µ t 6π 3π
un ∼ 6I4n+1 ∼ ∼
2(4n + 1) 4n
Z µ  2n Z µ  2n
sin t 1
dt ≤ 1 − 2 t2 dt
0 t 0 λ
Z λ  2n
1 2
≤ 1− t dt = Jn (λ) = λI4n+1
0 λ2
Z +∞  2n
sin t
dt ≤ 2M (µ)2n−2
µ t
On obtient la relation demandée

un ≤ Jn (λ) + 2M (µ)2n−2

Cette création est mise à disposition selon le Contrat 2 Rémy Nicolai Acentr86
Paternité-Partage des Conditions Initiales à l’Identique 2.0 France
disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/