Aller au contenu

L'Établi des Maths Cours

Outils pour apprendre et pratiquer

CAPES · Analyse · Leçon 06

Leçon d'oral du CAPES : Intégrale de Riemann, primitives et intégrales à paramètres

I. Intégrale de Riemann sur un segment • II. Primitives et techniques de calcul • III. Intégrales dépendant d'un paramètre

Prérequis

Proposition de plan en trois parties

I. Intégrale de Riemann sur un segment

Fonctions en escalier sur [a;b][a ; b] et leur intégrale, indépendante de la subdivision adaptée choisie. Une fonction bornée ff est intégrable au sens de Riemann si pour tout ε>0\varepsilon > 0 il existe φ,ψ\varphi, \psi en escalier avec φ≤f≤ψ\varphi \le f \le \psi et ∫ab(ψ−φ)≤ε\int_a^b(\psi - \varphi) \le \varepsilon. Théorème : toute fonction continue sur un segment est intégrable (par la continuité uniforme), ainsi que toute fonction monotone et toute fonction continue par morceaux. Contre-exemple : l'indicatrice de Q∩[0;1]\mathbb{Q} \cap [0 ; 1] n'est pas intégrable. Sommes de Riemann : pour ff continue, b−an∑k=1nf(a+kb−an)→∫abf\frac{b-a}{n}\sum_{k=1}^{n}f\left(a + k\frac{b-a}{n}\right) \to \int_a^b f. Propriétés : linéarité, positivité, relation de Chasles, ∣∫abf∣≤∫ab∣f∣\left|\int_a^b f\right| \le \int_a^b|f| pour a≤ba \le b, inégalité de la moyenne.

II. Primitives et techniques de calcul

Théorème fondamental : si ff est continue sur un intervalle II et a∈Ia \in I, x↦∫axfx \mapsto \int_a^x f est l'unique primitive de ff nulle en aa, et ∫abf=G(b)−G(a)\int_a^b f = G(b) - G(a) pour toute primitive GG. Intégration par parties pour u,vu, v de classe C1\mathcal{C}^1. Changement de variable : ∫φ(α)φ(β)f(x) dx=∫αβf(φ(t))φ′(t) dt\int_{\varphi(\alpha)}^{\varphi(\beta)}f(x)\,dx = \int_\alpha^\beta f(\varphi(t))\varphi'(t)\,dt pour ff continue et φ\varphi de classe C1\mathcal{C}^1. Formule de Taylor avec reste intégral. Exemple : intégrales de Wallis Wn=∫0π/2sin⁡nt dtW_n = \int_0^{\pi/2}\sin^n t\,dt, avec Wn+2=n+1n+2WnW_{n+2} = \frac{n+1}{n+2}W_n par intégration par parties.

III. Intégrales dépendant d'un paramètre

Sur un segment : si ff est continue sur I×[a;b]I \times [a ; b], alors F(x)=∫abf(x,t) dtF(x) = \int_a^b f(x, t)\,dt est continue sur II ; si de plus ∂f∂x\frac{\partial f}{\partial x} existe et est continue sur I×[a;b]I \times [a ; b], alors FF est de classe C1\mathcal{C}^1 et F′(x)=∫ab∂f∂x(x,t) dtF'(x) = \int_a^b\frac{\partial f}{\partial x}(x, t)\,dt. Sur un intervalle quelconque (intégrales généralisées), il faut une hypothèse de domination : ∣f(x,t)∣≤g(t)|f(x, t)| \le g(t) avec gg intégrable indépendante de xx, éventuellement sur chaque segment de II, et une domination analogue de la dérivée partielle. Exemples : fonction Γ\Gamma, intégrale de Gauss ∫−∞+∞e−t2 dt=π\int_{-\infty}^{+\infty}e^{-t^2}\,dt = \sqrt{\pi}, transformée de Laplace.

Théorème clé et démonstration

Théorème fondamental de l'analyse

Soit ff une fonction continue sur un intervalle II de R\mathbb{R} et a∈Ia \in I. Alors la fonction F:x↦∫axf(t) dtF : x \mapsto \int_a^x f(t)\,dt est dérivable sur II et F′=fF' = f ; c'est l'unique primitive de ff sur II qui s'annule en aa. En conséquence, pour toute primitive GG de ff sur II et tous α,β∈I\alpha, \beta \in I, ∫αβf(t) dt=G(β)−G(α)\int_\alpha^\beta f(t)\,dt = G(\beta) - G(\alpha).

Démonstration

1. Taux d'accroissement. Soit x0∈Ix_0 \in I et h≠0h \neq 0 tel que x0+h∈Ix_0 + h \in I. Par la relation de Chasles et parce que ∫x0x0+hf(x0) dt=hf(x0)\int_{x_0}^{x_0+h}f(x_0)\,dt = hf(x_0) : F(x0+h)−F(x0)h−f(x0)=1h∫x0x0+h(f(t)−f(x0))dt\frac{F(x_0 + h) - F(x_0)}{h} - f(x_0) = \frac{1}{h}\int_{x_0}^{x_0+h}\left(f(t) - f(x_0)\right)dt.
2. Majoration. Soit ε>0\varepsilon > 0. Par continuité de ff en x0x_0, il existe η>0\eta > 0 tel que pour tout t∈It \in I, ∣t−x0∣≤η|t - x_0| \le \eta implique ∣f(t)−f(x0)∣≤ε|f(t) - f(x_0)| \le \varepsilon. Si 0<∣h∣≤η0 \lt |h| \le \eta, tout tt compris entre x0x_0 et x0+hx_0 + h vérifie ∣t−x0∣≤η|t - x_0| \le \eta, donc ∣∫x0x0+h(f(t)−f(x0)) dt∣≤∣h∣ε\left|\int_{x_0}^{x_0+h}(f(t) - f(x_0))\,dt\right| \le |h|\varepsilon.
3. Dérivabilité. On obtient ∣F(x0+h)−F(x0)h−f(x0)∣≤ε\left|\frac{F(x_0 + h) - F(x_0)}{h} - f(x_0)\right| \le \varepsilon pour 0<∣h∣≤η0 \lt |h| \le \eta : FF est dérivable en x0x_0 (à droite ou à gauche seulement si x0x_0 est une borne de II) et F′(x0)=f(x0)F'(x_0) = f(x_0). De plus F(a)=0F(a) = 0.
4. Unicité. Si GG est une primitive de ff sur II, (G−F)′=0(G - F)' = 0 sur l'intervalle II, donc G−FG - F est constante par le théorème des accroissements finis. Si de plus G(a)=0G(a) = 0, alors G=FG = F.
5. Calcul d'intégrales. Pour toute primitive GG, G=F+cG = F + c, donc G(β)−G(α)=F(β)−F(α)=∫aβf−∫aαf=∫αβfG(\beta) - G(\alpha) = F(\beta) - F(\alpha) = \int_a^\beta f - \int_a^\alpha f = \int_\alpha^\beta f par Chasles.

Développements possibles pour l’oral

Remarques et questions du jury

Exercices corrigés

Exercice 1 Continuité sous l'intégrale sur un segment compact

Palier 1 · découverte

Soit II un intervalle de R\mathbb{R} et f:I×[a,b]→Rf : I \times [a, b] \to \mathbb{R} continue en (x,t)(x, t). Pourquoi la fonction F(x)=∫abf(x,t) dtF(x) = \int_a^b f(x, t)\,dt est-elle automatiquement continue sur II sans hypothèse de domination globale supplémentaire ?

  1. Car le domaine d'intégration [a,b][a, b] est un segment compact : sur tout compact K⊂IK \subset I, K×[a,b]K \times [a, b] est compact et le théorème de Heine assure la continuité uniforme
  2. Car toute fonction continue en deux variables est dérivable
  3. Car l'intégrale d'une fonction continue est nulle
  4. C'est faux : une domination globale est toujours obligatoire même sur un segment
Un indice

L'hypothèse de domination n'est nécessaire que si le domaine d'intégration n'est pas compact (intervalle infini ou bornes non fermées).

Voir la correction

Bonne réponse : A. Car le domaine d'intégration [a,b][a, b] est un segment compact : sur tout compact K⊂IK \subset I, K×[a,b]K \times [a, b] est compact et le théorème de Heine assure la continuité uniforme

Lorsque l'intervalle d'intégration [a,b][a, b] est un segment, pour tout compact K⊂IK \subset I, ff est continue sur le produit compact K×[a,b]K \times [a, b]. D'après le théorème de Heine, ff y est uniformément continue : ∀ε>0,  ∃η>0\forall \varepsilon > 0,\; \exists \eta > 0 tel que ∣x−x0∣≤η  ⟹  ∣f(x,t)−f(x0,t)∣≤εb−a|x - x_0| \le \eta \implies |f(x, t) - f(x_0, t)| \le \frac{\varepsilon}{b-a}. Par intégration, ∣F(x)−F(x0)∣≤ε|F(x) - F(x_0)| \le \varepsilon. La domination n'est donc nécessaire que sur les intervalles d'intégration non compacts.

Exercice 2 Calcul de l'intégrale de Gauss par coordonnées polaires

Palier 2 · application

En considérant l'intégrale double I2=∬R2e−(x2+y2) dx dyI^2 = \iint_{\mathbb{R}^2} e^{-(x^2+y^2)}\,dx\,dy, que vaut l'intégrale de Gauss I=∫−∞+∞e−t2 dtI = \int_{-\infty}^{+\infty} e^{-t^2}\,dt ?

  1. I=πI = \sqrt{\pi}
  2. I=πI = \pi
  3. I=π2I = \frac{\sqrt{\pi}}{2}
  4. I=1I = 1
Un indice

Passer en coordonnées polaires : dx dy=r dr dθdx\,dy = r\,dr\,d\theta, avec r∈[0,+∞[r \in [0, +\infty[ et θ∈[0,2π[\theta \in [0, 2\pi[.

Voir la correction

Bonne réponse : A. I=πI = \sqrt{\pi}

Par le théorème de Fubini pour les fonctions positives : I2=(∫−∞+∞e−x2 dx)(∫−∞+∞e−y2 dy)=∬R2e−(x2+y2) dx dyI^2 = (\int_{-\infty}^{+\infty} e^{-x^2}\,dx)(\int_{-\infty}^{+\infty} e^{-y^2}\,dy) = \iint_{\mathbb{R}^2} e^{-(x^2+y^2)}\,dx\,dy. En passant en coordonnées polaires : I2=∫02πdθ∫0+∞e−r2r dr=2π[−e−r22]0+∞=2π⋅12=πI^2 = \int_0^{2\pi} d\theta \int_0^{+\infty} e^{-r^2} r\,dr = 2\pi [-\frac{e^{-r^2}}{2}]_0^{+\infty} = 2\pi \cdot \frac{1}{2} = \pi. Comme e−t2>0e^{-t^2} > 0, I>0I > 0, d'où I=πI = \sqrt{\pi}.

Exercice 3 Intégrale de Dirichlet via une intégrale à paramètre

Palier 3 · approfondissement

On pose pour x>0x > 0, F(x)=∫0+∞sin⁡(t)te−xt dtF(x) = \int_0^{+\infty} \frac{\sin(t)}{t} e^{-xt}\,dt. Sachant que F′(x)=−∫0+∞sin⁡(t)e−xt dt=−11+x2F'(x) = -\int_0^{+\infty} \sin(t)e^{-xt}\,dt = -\frac{1}{1+x^2} et que lim⁡x→+∞F(x)=0\lim_{x \to +\infty} F(x) = 0, que vaut l'intégrale de Dirichlet I=∫0+∞sin⁡(t)t dtI = \int_0^{+\infty} \frac{\sin(t)}{t}\,dt ?

  1. I=π2I = \frac{\pi}{2}
  2. I=πI = \pi
  3. I=1I = 1
  4. I=π4I = \frac{\pi}{4}
Un indice

Intègre F′F' : F(x)=C−arctan⁡(x)F(x) = C - \arctan(x). Détermine CC grâce à la limite en +∞+\infty, puis utilise (en l'admettant) la continuité de FF en 00 : I=F(0)I = F(0).

Voir la correction

Bonne réponse : A. I=π2I = \frac{\pi}{2}

On a F′(x)=−11+x2F'(x) = -\frac{1}{1+x^2}, donc F(x)=C−arctan⁡(x)F(x) = C - \arctan(x) sur ]0,+∞[]0, +\infty[. En faisant tendre x→+∞x \to +\infty, 0=C−π20 = C - \frac{\pi}{2}, donc C=π2C = \frac{\pi}{2}, d'où F(x)=π2−arctan⁡(x)F(x) = \frac{\pi}{2} - \arctan(x). En justifiant la continuité de FF en 0+0^+ par convergence uniforme (ou intégration par parties), on obtient I=lim⁡x→0+F(x)=π2I = \lim_{x \to 0^+} F(x) = \frac{\pi}{2}.

Exercice 4 Critère de Lebesgue pour l'intégrabilité selon Riemann

Palier 4 · défi

Soit f:[a,b]→Rf : [a, b] \to \mathbb{R} une fonction bornée. D'après le théorème de Lebesgue-Vitali, à quelle condition nécessaire et suffisante ff est-elle intégrable au sens de Riemann sur [a,b][a, b] ?

  1. L'ensemble des points de discontinuité de f est de mesure de Lebesgue nulle
  2. La fonction f est de classe C1 sur [a, b]
  3. L'ensemble des points de discontinuité de f est dénombrable
  4. La fonction f est monotone sur [a, b]
Un indice

Une fonction monotone peut avoir une infinité dénombrable de discontinuités et rester intégrable, l'indicatrice de l'ensemble de Cantor est discontinue en une infinité non dénombrable de points et reste intégrable, alors que 1Q\mathbf{1}_{\mathbb{Q}} (discontinue partout) ne l'est pas : quelle notion de « petitesse » de l'ensemble des discontinuités départage ces cas ?

Voir la correction

Bonne réponse : A. L'ensemble des points de discontinuité de f est de mesure de Lebesgue nulle

Le critère de Lebesgue-Vitali établit qu'une fonction bornée sur un segment [a,b][a, b] est Riemann-intégrable si et seulement si l'ensemble de ses points de discontinuité est de mesure de Lebesgue nulle. Cela inclut toutes les fonctions continues par morceaux, les fonctions réglées, ainsi que des fonctions ayant un ensemble non dénombrable de discontinuités (comme sur l'ensemble triadique de Cantor qui est de mesure nulle).