Intégrabilité

Modèle:Ébauche En mathématiques et plus particulièrement en théorie de l'intégration, on dit qu'une fonction $f$ à valeurs réelles ou complexes est intégrable sur $I$ lorsque $\underset{I}{\int }|f|$ existe et est finie. A ne pas confondre avec le fait que $\underset{I}{\int }f$ existe et est finie qui n'implique pas nécessairement l'intégrabilité.

La notion d'intégrale et d'intégrabilité dépend de la théorie de l'intégration (manière de construire l'intégrale) que l'on considère. Il existe plusieurs types d'intégrales, les plus connues et utilisées étant l'intégrale de Riemann (équivalente à l'intégrale de Darboux) et l'intégrale de Lebesgue.

Au sens de Riemann

Modèle:Article détaillé Au sens de Riemann, une fonction $f:[a,b]\to ℝ$ possède une intégrale finie si et seulement si elle est intégrable, c'est-à-dire, si et seulement si $|f|$ possède une intégrale finie aussi. En réalité, dans la définition de l'intégrale au sens de Riemann, il est fréquent que la Riemann-intégrabilité soit définie comme le fait d'avoir une intégrale finie.

Pour les intégrales de Riemann généralisées à un intervalle quelconque, cette équivalence n'est plus vérifiée. Si $f:I\to ℝ$ possède une intégrale finie (au sens des intégrales impropres de Riemann) alors il n'est pas forcément vrai que $|f|$ possède une intégrale finie aussi. En revanche le fait que $\underset{I}{\int }|f|$ existe et est finie implique toujours que $\underset{I}{\int }f$ existe et est finie.

Critères d'intégrabilité

• Une fonction réglée est intégrable sur un intervalle fermé. En particulier on en déduit que les fonctions continues, continues par morceaux, monotones ou encore à variations bornées sont toutes intégrables sur un intervalle fermé.
• Une combinaison linéaire de fonctions intégrables est intégrable, et ce, sur un intervalle quelconque.
• Si $f,g:[a,b]⟶ℝ$ sont intégrables sur l'intervalle fermé $[a,b]$ alors

1. Pour tout $\mathrm{\Phi }:ℝ⟶ℝ$ continue, la composée $\mathrm{\Phi }\circ f$ est intégrable sur $[a,b]$.
2. Le produit $fg$ est intégrable sur $[a,b]$.
3. Le minimum $\min (f,g)$ est intégrable sur $[a,b]$.
4. Le maximum $\max (f,g)$ est intégrable sur $[a,b]$.

• Si $f,g:[a,b[⟶{ℝ}_{+}$ sont positives, localement intégrables et que de plus $f(x)=O(g(x))$ quand $x\to b$ alors l'intégrabilité de $g$ sur $[a,b[$ entraîne celle de $f$Modèle:,. On remarquera que $f(x)=O(g(x))$ est vérifié si par exemple $0\le f\le g$ ou $f(x)\sim g(x)$ quand $x\to b$.
• Soit $I$ un intervalle d'intérieur non vide dont les extrémités gauches et droites sont notées $a$ et $b$. Supposons que $a$ et $b$ sont finies. Si $f:I⟶ℝ$ est localement intégrable et a des limites finies en $a$ et $b$ alors $f$ est intégrable sur $I$.

Exemples et contre-exemples

• La fonction indicatrice des rationnels n'est intégrable sur aucun intervalle d'intérieur non vide.
• La fonction $f:[0,1]\to ℝ$ définie par $f(0)=0$ et $f(x)=1/\sqrt{x}$ pour tout $x\in ]0,1]$ n'est pas intégrable sur $[0,1]$ (au sens de Riemann), car elle n'y est même pas bornée, en revanche, elle est intégrable sur $]0,1]$ (au sens impropre de Riemann) car ${\int }_x^1{t}^{-1/2}dt$ converge lorsque x tend vers 0.
• La fonction $f:x\mapsto \sin (x)/x$ n'est pas intégrable sur $]0,+\mathrm{\infty }[$ alors qu'elle y admet une intégrale impropre convergente (cette intégrale s'appelle l'intégrale de Dirichlet).
• Critère de Riemann : la fonction $x\mapsto x^{-\alpha }$ est intégrable sur $]0,1]$ si et seulement si $\alpha <1$. Cette même fonction est intégrable sur $[1,+\mathrm{\infty }[$ si et seulement si $\alpha >1$.
• Critère de Bertrand : la fonction $x\mapsto x^{-\alpha }\ln (x{)}^{-\beta }$ est intégrable sur $]0,e^{-1}]$ si et seulement si $\alpha <1$ ou ($\alpha =1$ et $\beta >1$). Cette même fonction est intégrable sur $[e,+\mathrm{\infty }[$ si et seulement si $\alpha >1$ ou ($\alpha =1$ et $\beta >1$).

Au sens de Lebesgue

Soient Modèle:Math un espace mesuré et Modèle:Math une fonction sur Modèle:Math, à valeurs dans [[Droite réelle achevée|Modèle:Surligner]] ou ℂ et Modèle:Math-mesurable. On dit que Modèle:Math est Lebesgue-intégrable sur Modèle:Math si

$\underset{X}{\int }|f(x)|\mathrm{d}\mu (x)<+\mathrm{\infty }.$