Skip to content

Exercice 2 : Calcul d intégrales et ED

Analyse réelle et intégration : Calcul d’intégrales et Équations Différentielles

Section titled “Analyse réelle et intégration : Calcul d’intégrales et Équations Différentielles”

Introduction et consignes de l’examinateur

Section titled “Introduction et consignes de l’examinateur”

Ce problème guidé est conçu dans l’esprit des épreuves écrites de la filière PTSI. Il aborde l’étude d’une suite d’intégrales, son lien avec une fonction génératrice, et la résolution d’une équation différentielle linéaire. L’accent est mis sur la rigueur de la rédaction, la maîtrise des techniques d’intégration (intégration par parties, changement de variable) et l’analyse critique des résultats obtenus.


Partie I : Étude d’une suite d’intégrales

Section titled “Partie I : Étude d’une suite d’intégrales”

Pour tout entier naturel n∈Nn \in \mathbb{N}, on définit l’intégrale InI_n par : In=∫0π/2sin⁡n(t) dtI_n = \int_{0}^{\pi/2} \sin^n(t) \, \text{d}t

Calculer I0I_0 et I1I_1.

Corrigé :

  • Pour n=0n = 0 : I0=∫0π/21 dt=[t]0π/2=π2I_0 = \int_{0}^{\pi/2} 1 \, \text{d}t = \left[ t \right]_{0}^{\pi/2} = \frac{\pi}{2}
  • Pour n=1n = 1 : I1=∫0π/2sin⁡(t) dt=[−cos⁡(t)]0π/2=−cos⁡(π2)−(−cos⁡(0))=0+1=1I_1 = \int_{0}^{\pi/2} \sin(t) \, \text{d}t = \left[ -\cos(t) \right]_{0}^{\pi/2} = -\cos\left(\frac{\pi}{2}\right) - (-\cos(0)) = 0 + 1 = 1

À l’aide d’une intégration par parties, établir une relation de récurrence entre InI_n et In−2I_{n-2} pour tout entier n≥2n \ge 2.

Corrigé : Soit n≥2n \ge 2. On écrit sin⁡n(t)=sin⁡(t)×sin⁡n−1(t)\sin^n(t) = \sin(t) \times \sin^{n-1}(t). On pose :

  • u(t)=sin⁡n−1(t)  ⟹  u′(t)=(n−1)cos⁡(t)sin⁡n−2(t)u(t) = \sin^{n-1}(t) \implies u'(t) = (n-1)\cos(t)\sin^{n-2}(t)
  • v′(t)=sin⁡(t)  ⟹  v(t)=−cos⁡(t)v'(t) = \sin(t) \implies v(t) = -\cos(t)

Les fonctions uu et vv sont de classe C1\mathcal{C}^1 sur [0,π/2][0, \pi/2]. Par integration par parties : In=[−cos⁡(t)sin⁡n−1(t)]0π/2+(n−1)∫0π/2cos⁡2(t)sin⁡n−2(t) dtI_n = \left[ -\cos(t)\sin^{n-1}(t) \right]_{0}^{\pi/2} + (n-1) \int_{0}^{\pi/2} \cos^2(t)\sin^{n-2}(t) \, \text{d}t

Le terme tout intégré s’annule en π/2\pi/2 (car cos⁡(π/2)=0\cos(\pi/2) = 0) et en 00 (car sin⁡(0)=0\sin(0) = 0). Ainsi : In=(n−1)∫0π/2(1−sin⁡2(t))sin⁡n−2(t) dtI_n = (n-1) \int_{0}^{\pi/2} (1 - \sin^2(t))\sin^{n-2}(t) \, \text{d}t In=(n−1)(∫0π/2sin⁡n−2(t) dt−∫0π/2sin⁡n(t) dt)I_n = (n-1) \left( \int_{0}^{\pi/2} \sin^{n-2}(t) \, \text{d}t - \int_{0}^{\pi/2} \sin^n(t) \, \text{d}t \right) In=(n−1)In−2−(n−1)InI_n = (n-1)I_{n-2} - (n-1)I_n

En regroupant les termes en nInnI_n : nIn=(n−1)In−2  ⟹  In=n−1nIn−2nI_n = (n-1)I_{n-2} \implies I_n = \frac{n-1}{n} I_{n-2}


Partie II : Lien avec une équation différentielle

Section titled “Partie II : Lien avec une équation différentielle”

On considère l’équation différentielle (E)(E) d’inconnue yy fonction de la variable réelle xx, définie sur l’intervalle ]0,1[]0, 1[ : (1−x2)y′′(x)−xy′(x)+4y(x)=0(1 - x^2)y''(x) - x y'(x) + 4y(x) = 0

On cherche une solution de (E)(E) sous la forme d’une série entière ∑n=0+∞anxn\sum_{n=0}^{+\infty} a_n x^n de rayon de convergence R>0R > 0. Déterminer la relation de récurrence entre les coefficients ana_n.

Corrigé : Soit y(x)=∑n=0+∞anxny(x) = \sum_{n=0}^{+\infty} a_n x^n. Supposons R>0R > 0. Sur l’intervalle ]−R,R[]-R, R[, on peut dériver terme à terme :

  • y′(x)=∑n=1+∞nanxn−1=∑n=0+∞(n+1)an+1xny'(x) = \sum_{n=1}^{+\infty} n a_n x^{n-1} = \sum_{n=0}^{+\infty} (n+1)a_{n+1} x^n
  • y′′(x)=∑n=2+∞n(n−1)anxn−2=∑n=0+∞(n+2)(n+1)an+2xny''(x) = \sum_{n=2}^{+\infty} n(n-1) a_n x^{n-2} = \sum_{n=0}^{+\infty} (n+2)(n+1)a_{n+2} x^n

Substituons ces expressions dans l’équation (E)(E) : (1−x2)∑n=0+∞(n+2)(n+1)an+2xn−x∑n=0+∞(n+1)an+1xn+4∑n=0+∞anxn=0(1 - x^2)\sum_{n=0}^{+\infty} (n+2)(n+1)a_{n+2} x^n - x\sum_{n=0}^{+\infty} (n+1)a_{n+1} x^n + 4\sum_{n=0}^{+\infty} a_n x^n = 0

∑n=0+∞(n+2)(n+1)an+2xn−∑n=0+∞(n+2)(n+1)an+2xn+2−∑n=0+∞(n+1)an+1xn+1+∑n=0+∞4anxn=0\sum_{n=0}^{+\infty} (n+2)(n+1)a_{n+2} x^n - \sum_{n=0}^{+\infty} (n+2)(n+1)a_{n+2} x^{n+2} - \sum_{n=0}^{+\infty} (n+1)a_{n+1} x^{n+1} + \sum_{n=0}^{+\infty} 4a_n x^n = 0

Par un changement d’indice dans les sommes (posant k=n+2k = n+2 dans la deuxième et k=n+1k = n+1 dans la troisième), ou en identifiant les coefficients de xnx^n pour n≥2n \ge 2 : Le coefficient de xnx^n est : (n+2)(n+1)an+2−n(n−1)an−nan+4an=0(n+2)(n+1)a_{n+2} - n(n-1)a_n - n a_n + 4a_n = 0 (n+2)(n+1)an+2+(−n2+n−n+4)an=0(n+2)(n+1)a_{n+2} + (-n^2 + n - n + 4)a_n = 0 (n+2)(n+1)an+2+(4−n2)an=0(n+2)(n+1)a_{n+2} + (4 - n^2)a_n = 0

D’où la relation de récurrence valable pour tout n≥0n \ge 0 : an+2=n2−4(n+1)(n+2)ana_{n+2} = \frac{n^2 - 4}{(n+1)(n+2)} a_n


En déduire l’expression explicite des coefficients ana_n en fonction de a0a_0 et a1a_1. Que remarque-t-on pour a2a_2 ?

Corrigé :

  • Pour n=0n = 0 : a2=0−41×2a0=−2a0a_2 = \frac{0 - 4}{1 \times 2} a_0 = -2a_0
  • Pour n=2n = 2 : a4=22−4(3)(4)a2=0×a2=0a_4 = \frac{2^2 - 4}{(3)(4)} a_2 = 0 \times a_2 = 0
  • Par récurrence immédiate, comme a4=0a_4 = 0, tous les coefficients d’indice pair a2ka_{2k} pour k≥2k \ge 2 sont nuls : a0≠0,a2=−2a0,∀k≥2,  a2k=0a_0 \neq 0, \quad a_2 = -2a_0, \quad \forall k \ge 2, \; a_{2k} = 0

Pour les indices impairs (n=1,3,5,…n = 1, 3, 5, \dots) :

  • Pour n=1n = 1 : a3=12−42×3a1=−36a1=−12a1a_3 = \frac{1^2 - 4}{2 \times 3} a_1 = \frac{-3}{6} a_1 = -\frac{1}{2} a_1
  • Pour n=3n = 3 : a5=32−44×5a3=520a3=14a3a_5 = \frac{3^2 - 4}{4 \times 5} a_3 = \frac{5}{20} a_3 = \frac{1}{4} a_3

Partie III : Analyse critique des résultats

Section titled “Partie III : Analyse critique des résultats”
  1. Quelle est la nature de la solution développable en série entière obtenue lorsque a1=0a_1 = 0 ?
  2. Discuter du lien entre l’intégrale InI_n de la Partie I et les méthodes de résolution d’équations différentielles par changevent de variable.

Corrigé :

  1. Lorsque a1=0a_1 = 0 et a2=−2a0a_2 = -2a_0, avec a2k=0a_{2k} = 0 pour k≥2k \ge 2, la série entière s’arrête à l’ordre 2 : y(x)=a0(1−2x2)y(x) = a_0 (1 - 2x^2) Il s’agit d’un polynôme. C’est une solution polynomiale remarquable de l’équation (E)(E).
  2. Analyse critique : L’utilisation du changement de variable x=cos⁡(t)x = \cos(t) (valable sur ]0,π/2[]0, \pi/2[) transforme l’équation différentielle (E)(E) en une équation différentielle à coefficients constants ou plus simples en fonction de tt. En effet, dydx=dy/dt−sin⁡(t)\frac{\text{d}y}{\text{d}x} = \frac{\text{d}y/\text{d}t}{-\sin(t)}. Les intégrales du type InI_n apparaissent naturellement lors du calcul des solutions par la méthode de variation des constantes ou lors de l’intégration directe de telles équations différentielles issues de problèmes de physique (notamment en coordonnées sphériques ou cylindriques).

Fin du problème.