WikiPrépaLivrets

Soient (an)n∈N(a_n)_{n \in \mathbb{N}} et (bn)n∈N(b_n)_{n \in \mathbb{N}} deux suites de nombres réels supposées bornées. On considère deux réels cc et dd tels que c<dc < d. On suppose que pour tout réel xx appartenant au segment [c,d][c, d], on a la convergence simple suivante :

lim⁡n→+∞(ancos⁡(nx)+bnsin⁡(nx))=0\lim_{n \to +\infty} \left( a_n \cos(nx) + b_n \sin(nx) \right) = 0

  1. Pour tout n∈Nn \in \mathbb{N}, justifier l'existence d'un réel φn\varphi_n tel que :
    ∀x∈R,ancos⁡(nx)+bnsin⁡(nx)=an2+bn2cos⁡(nx+φn)\forall x \in \mathbb{R},   a_n \cos(nx) + b_n \sin(nx) = \sqrt{a_n^2 + b_n^2} \cos(nx + \varphi_n)

  2. On pose In=∫cd(ancos⁡(nx)+bnsin⁡(nx))2 dxI_n = \int_c^d (a_n \cos(nx) + b_n \sin(nx))^2   dx. Calculer InI_n et montrer que pour nn au voisinage de +∞+\infty :
    In⩾(d−c)(an2+bn2)4I_n \geqslant \frac{(d - c)(a_n^2 + b_n^2)}{4}

  3. Démontrer enfin que lim⁡n→+∞an=0\lim_{n \to +\infty} a_n = 0 et lim⁡n→+∞bn=0\lim_{n \to +\infty} b_n = 0.

1.

Pour la question 1, utiliser les coordonnées polaires du couple (an,−bn)(a_n, -b_n) ou les formules d'addition du cosinus.

2.

Pour la question 2, exprimer cos⁡2(u)\cos^2(u) à l'aide de cos⁡(2u)\cos(2u) pour faciliter l'intégration. Étudier la limite du terme oscillant.

3.

Pour la question 3, appliquer le théorème de convergence dominée à la suite de fonctions sous l'intégrale InI_n.

Idées clés

•

Passage à la forme amplitude-phase.

•

Linéarisation d'une forme quadratique trigonométrique.

•

Théorème de convergence dominée pour lier convergence simple et convergence des intégrales.

Résolution.

  1. Fixons n∈Nn \in \mathbb{N}. Si an=bn=0a_n = b_n = 0, n'importe quel réel φn\varphi_n convient. Supposons (an,bn)≠(0,0)(a_n, b_n) \neq (0, 0). Posons rn=an2+bn2r_n = \sqrt{a_n^2 + b_n^2}. Le point de coordonnées (anrn,−bnrn)(\frac{a_n}{r_n}, -\frac{b_n}{r_n}) appartient au cercle unité car :
    (anrn)2+(−bnrn)2=an2+bn2an2+bn2=1\left(\frac{a_n}{r_n}\right)^2 + \left(-\frac{b_n}{r_n}\right)^2 = \frac{a_n^2 + b_n^2}{a_n^2 + b_n^2} = 1
    Il existe donc un réel φn\varphi_n tel que cos⁡(φn)=anrn\cos(\varphi_n) = \frac{a_n}{r_n} et sin⁡(φn)=−bnrn\sin(\varphi_n) = -\frac{b_n}{r_n}. En utilisant la formule cos⁡(A+B)=cos⁡Acos⁡B−sin⁡Asin⁡B\cos(A+B) = \cos A \cos B - \sin A \sin B, on obtient :
    rncos⁡(nx+φn)=rn(cos⁡(nx)cos⁡(φn)−sin⁡(nx)sin⁡(φn))r_n \cos(nx + \varphi_n) = r_n \left( \cos(nx)\cos(\varphi_n) - \sin(nx)\sin(\varphi_n) \right)
    En remplaçant par les expressions de cos⁡(φn)\cos(\varphi_n) et sin⁡(φn)\sin(\varphi_n) :
    rncos⁡(nx+φn)=rn(cos⁡(nx)anrn−sin⁡(nx)(−bnrn))=ancos⁡(nx)+bnsin⁡(nx)r_n \cos(nx + \varphi_n) = r_n \left( \cos(nx) \frac{a_n}{r_n} - \sin(nx) \left(-\frac{b_n}{r_n}\right) \right) = a_n \cos(nx) + b_n \sin(nx)
    D'où le résultat :
    ∀x∈R,ancos⁡(nx)+bnsin⁡(nx)=an2+bn2cos⁡(nx+φn)\boxed{\forall x \in \mathbb{R},   a_n \cos(nx) + b_n \sin(nx) = \sqrt{a_n^2 + b_n^2} \cos(nx + \varphi_n)}

  2. Utilisons l'expression trouvée à la question précédente et la linéarisation cos⁡2(u)=1+cos⁡(2u)2\cos^2(u) = \frac{1 + \cos(2u)}{2} :
    In=(an2+bn2)∫cdcos⁡2(nx+φn) dx=an2+bn22∫cd(1+cos⁡(2nx+2φn)) dxI_n = (a_n^2 + b_n^2) \int_c^d \cos^2(nx + \varphi_n)   dx = \frac{a_n^2 + b_n^2}{2} \int_c^d \left( 1 + \cos(2nx + 2\varphi_n) \right)   dx
    Par intégration directe :
    In=an2+bn22[x+sin⁡(2nx+2φn)2n]cdI_n = \frac{a_n^2 + b_n^2}{2} \left[ x + \frac{\sin(2nx + 2\varphi_n)}{2n} \right]_c^d
    Soit :
    In=an2+bn22((d−c)+sin⁡(2nd+2φn)−sin⁡(2nc+2φn)2n)I_n = \frac{a_n^2 + b_n^2}{2} \left( (d-c) + \frac{\sin(2nd + 2\varphi_n) - \sin(2nc + 2\varphi_n)}{2n} \right)
    Posons εn=sin⁡(2nd+2φn)−sin⁡(2nc+2φn)2n\varepsilon_n = \frac{\sin(2nd + 2\varphi_n) - \sin(2nc + 2\varphi_n)}{2n}. Puisque le sinus est borné par 11 :
    ∣εn∣⩽22n=1n→n→+∞0|\varepsilon_n| \leqslant \frac{2}{2n} = \frac{1}{n} \xrightarrow[n \to +\infty]{} 0
    Ainsi, l'expression entre parenthèses tend vers d−c>0d-c > 0. Pour nn assez grand, on aura (d−c)+εn⩾d−c2(d-c) + \varepsilon_n \geqslant \frac{d-c}{2}. En multipliant par an2+bn22\frac{a_n^2 + b_n^2}{2}, on obtient pour nn assez grand :
    In⩾(d−c)(an2+bn2)4\boxed{I_n \geqslant \frac{(d-c)(a_n^2 + b_n^2)}{4}}

  3. Soit fn:x↦(ancos⁡(nx)+bnsin⁡(nx))2f_n : x \mapsto (a_n \cos(nx) + b_n \sin(nx))^2. Par hypothèse, la suite (fn)(f_n) converge simplement vers la fonction nulle sur [c,d][c, d]. De plus, les suites (an)(a_n) et (bn)(b_n) étant bornées, il existe M>0M > 0 tel que pour tout nn, ∣an∣⩽M|a_n| \leqslant M et ∣bn∣⩽M|b_n| \leqslant M. D'après l'inégalité de Cauchy-Schwarz (ou par l'amplitude rnr_n), on a :
    ∣fn(x)∣⩽an2+bn2⩽2M2|f_n(x)| \leqslant a_n^2 + b_n^2 \leqslant 2M^2
    La suite (fn)(f_n) est donc dominée par une fonction constante intégrable sur [c,d][c, d]. Par le théorème de convergence dominée, on en déduit :
    lim⁡n→+∞In=lim⁡n→+∞∫cdfn(x) dx=∫cd0 dx=0\lim_{n \to +\infty} I_n = \lim_{n \to +\infty} \int_c^d f_n(x)   dx = \int_c^d 0   dx = 0
    D'après la minoration de la question 2 :
    0⩽d−c4(an2+bn2)⩽In0 \leqslant \frac{d-c}{4} (a_n^2 + b_n^2) \leqslant I_n
    Par le théorème des gendarmes, on conclut que lim⁡n→+∞(an2+bn2)=0\lim_{n \to +\infty} (a_n^2 + b_n^2) = 0. Ceci implique directement :
    lim⁡n→+∞an=0etlim⁡n→+∞bn=0\boxed{\lim_{n \to +\infty} a_n = 0   \text{et}   \lim_{n \to +\infty} b_n = 0}

Ne pas confondre convergence simple et convergence uniforme.

L'étude de l'intégrale du carré permet de contrôler l'amplitude des oscillations.