Catalogue Licence
L2 • Analyse Réelle
Approfondissement L2

Intégrales impropres et intégrales à paramètre

Convergence sur un intervalle non borné, critères de comparaison, convergence absolue et semi-convergence, continuité et dérivation sous le signe intégral

Point d'entrée intuitif

Pourquoi converge-t-elle alors que diverge, bien que les deux intégrandes tendent vers zéro ?

Idée en une phrase :
Une intégrale impropre converge si l'aire s'accumule assez lentement pour rester finie, et c'est la vitesse de décroissance, non la décroissance elle-même, qui décide.
Généalogie historique du concept :

Le problème naît du calcul des probabilités et de la mécanique céleste, où l'on intègre naturellement jusqu'à l'infini. Euler manipule librement de telles intégrales au XVIII siècle, obtenant des résultats justes par des raisonnements audacieux. Cauchy donne en 1823 la définition par limite des intégrales partielles, qui reste la nôtre. Les intégrales à paramètre naissent de la même source : Euler introduit en 1730 la fonction pour interpoler la factorielle, et Legendre lui donne son nom un siècle plus tard.

Pourquoi CETTE définition formelle :

Pourquoi définir la convergence par une limite d'intégrales sur des segments, plutôt que directement par une aire ? Parce que l'intégrale de Riemann n'est construite que sur des SEGMENTS : hors de là, elle n'a aucun sens a priori. La définition par limite est la seule extension possible sans changer d'outil, et elle explique pourquoi la théorie de Riemann reste maladroite pour les intégrales impropres — un défaut que l'intégrale de Lebesgue corrigera en définissant directement l'objet.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Une intégrale impropre est une aire qui s'étire indéfiniment : elle reste finie si la bande devient assez mince assez vite.

Ce qu'elle capture :

Le seuil de Riemann devient une question de vitesse : s'amincit assez vite, non. L'exposant est la frontière exacte.

⚠️ Où l'analogie ment :

L'image suggère qu'une fonction non bornée ne peut pas être intégrable. Faux : explose en et son intégrale converge pourtant sur . Une bande peut être infiniment haute et d'aire finie.

Modèle #2

La semi-convergence est une compensation : les aires positives et négatives se neutralisent, comme les termes d'une série alternée.

Ce qu'elle capture :

converge par oscillation, alors que diverge : c'est la compensation qui sauve, pas la décroissance.

⚠️ Où l'analogie ment :

L'image ne dit pas que la compensation est FRAGILE. Une intégrale semi-convergente ne supporte ni le changement de variables brutal, ni l'interversion avec une limite : c'est le même défaut que les séries semi-convergentes du module L2-07.

Modèle #3

Dériver sous le signe intégral, c'est faire varier un paramètre et regarder comment l'aire répond, sans recalculer l'aire.

Ce qu'elle capture :

Le théorème transforme un calcul d'intégrale en une équation différentielle sur le paramètre, souvent bien plus simple à résoudre.

⚠️ Où l'analogie ment :

L'image suggère que l'opération est toujours licite. Elle exige une domination UNIFORME de la dérivée : sans elle, la dérivée de l'intégrale peut exister et différer de l'intégrale de la dérivée.

Les Pièges Conceptuels Classiques

1
Si l'intégrande tend vers zéro, l'intégrale converge.

Correction :

Faux : tend vers zéro et . Plus surprenant encore, la condition n'est même pas NÉCESSAIRE : on construit des fonctions continues positives non bornées, formées de pics de plus en plus fins, dont l'intégrale converge. Contrairement aux séries, l'intégrande n'a aucune obligation de tendre vers zéro.

2
Une fonction non bornée n'est pas intégrable.

Correction :

: la fonction explose en et l'aire reste finie. Le critère est la vitesse d'explosion : converge en si et seulement si — condition exactement INVERSE de celle en l'infini.

3
On peut toujours dériver sous le signe intégral.

Correction :

Elle exige une hypothèse de domination de la dérivée partielle par une fonction intégrable INDÉPENDANTE du paramètre. Sans elle, la conclusion tombe : pour , les calculs de et diffèrent en .

4
Les équivalents s'appliquent aux intégrandes de signe quelconque.

Correction :

Il exige un SIGNE CONSTANT au voisinage du point critique, exactement comme pour les séries. Contre-exemple : et ne sont pas équivalents ici, mais l'on construit facilement des couples équivalents de natures différentes en signe variable.

Glossaire des Notations Mathématiques

intégrale impropre

LIMITE d'intégrales sur des segments, jamais une aire définie directement

exposant de Riemann

seuil de convergence : $\alpha>1$ en l'infini, $\alpha<1$ en zéro — conditions INVERSES

fonction dominante

majorant intégrable INDÉPENDANT du paramètre ; c'est l'hypothèse clé des théorèmes à paramètre