Suite réelle

Suite réelle

Pour tout entier naturel n n , on pose :

I n = 0 π 4 x n cos 2 x dx I_n = int from 0 to {%pi over 4} x^n cos {2 x} dx

Question

  1. Sans calculer I n I_n montrer que la suite ( I n ) n (I_n)_{n in setN} est monotone et comparer I n I_n et 0 π 4 x n dx int from 0 to {%pi over 4} x^n dx .

    Calculer la limite de la suite ( I n ) (I_n) .

  2. Calculer I 0 I_0 et I 1 I_1 . Exprimer I n + 2 I_{n+2} en fonction de I n I_n et de n n .

Solution

  1. On a : I n + 1 I n = 0 π 4 x n ( x 1 ) cos 2 x dx I_{n+1}-I_n = int from 0 to {%pi over 4} x^n(x-1) cos {2 x} dx .

    on sait que 0 x π 4 < 1 0 <= x <= %pi over 4 < 1 , et donc x 0 x >= 0 , cos 2 x 0 cos{2 x} >= 0 et x 1 < 0 x-1 < 0 .

    Par conséquent : x n ( x 1 ) cos 2 x 0 x^n(x-1)cos{2 x} <= 0 , et donc 0 π 4 x n ( x 1 ) cos 2 x dx 0 int from 0 to {%pi over 4} x^n(x-1) cos {2 x} dx <= 0 .

    On en déduit que I n + 1 I n 0 I_{n+1}-I_n <= 0 , la suite ( I n ) (I_n) est donc décroissante.

    x [ 0 ; π 4 ] forall x in left[ 0; {%pi over 4} right] , 0 cos 2 x 1 0<= cos{2 x} <= 1 d'où : 0 x n cos 2 x x n 0<= x^n cos{2 x} <= x^n

    On en déduit 0 π 4 0 dx 0 π 4 x n cos 2 x dx 0 π 4 x n dx int from 0 to {%pi over 4} 0 dx <= int from 0 to {%pi over 4} x^n cos{2 x} dx <= int from 0 to {%pi over 4} x^n dx

    et donc 0 I n 0 π 4 x n dx 0 <= I_n <= int from 0 to {%pi over 4} x^n dx

    A partir du résultat précédent, on peut écrire :

    0 I n [ x n + 1 n + 1 ] 0 π 4 0 <= I_n <= left[ x^{n+1} over {n+1} right]_0^{%pi over 4}

    et donc :

    0 I n 1 n + 1 ( π 4 ) n + 1 0 <= I_n <= 1 over {n+1} left( %pi over 4 right )^{n+1}

    On a donc 0 lim n + I n lim n + 1 n + 1 ( π 4 ) n + 1 0 <= lim from {n toward +infinity} I_n <= lim from {n toward +infinity} {1 over {n+1} left( %pi over 4 right )^{n+1}} d'où lim n + I n = 0 lim from {n toward +infinity} I_n =0

  2. Calcul de I 0 I_0 et de I 1 I_1

    I 0 = 0 π 4 cos 2 x dx = [ 1 2 sin 2 x ] 0 π 4 = 1 2 I_0 = int from 0 to {%pi over 4} cos {2 x} dx = left[ 1 over 2 sin {2 x}right ]_0^{%pi over 4} = 1 over 2

    I 1 = 0 π 4 x cos 2 x dx = [ x 2 sin 2 x ] 0 π 4 1 2 0 π 4 sin 2 x dx = π 8 1 4 I_1 = int from 0 to {%pi over 4} x cos {2 x} dx = left[ x over 2 sin {2 x}right ]_0^{%pi over 4} - 1 over 2 int from 0 to {%pi over 4} sin {2 x} dx = %pi over 8 - 1 over 4

    Pour obtenir I n + 2 I_{n+2} en fonction de I n I_n il faut effectuer deux intégrations par parties successives :

    I n + 2 = 0 π 4 x n + 2 cos 2 x dx = [ x n + 2 2 sin 2 x ] 0 π 4 n + 2 2 0 π 4 x n + 1 sin 2 x dx I_{n +2} = int from 0 to {%pi over 4} x^{n+2} cos {2 x} dx =left[x^{n+2} over 2 sin {2 x}right ]_0^{%pi over 4} - {n+2} over 2 int from 0 to {%pi over 4} x^{n+1} sin {2 x} dx

    et

    0 π 4 x n + 1 sin 2 x dx = [ x n + 1 2 cos 2 x ] 0 π 4 + n + 1 2 0 π 4 x n cos 2 x dx int from 0 to {%pi over 4} x^{n+1} sin {2 x} dx = left[- {x^{n+1} over 2} cos {2 x}right ]_0^{%pi over 4} + {n+1} over 2 int from 0 to {%pi over 4} x^n cos {2 x} dx

    On obtient finalement :

    I n + 2 = 1 2 ( π 4 ) n + 2 ( n + 1 ) ( n + 2 ) 4 I n I_{n +2} = 1 over 2 left( %pi over 4 right )^{n+2} - {(n+1)(n+2)} over 4 I_n