Intégrabilité

{{#invoke:Bandeau|ébauche}} En mathématiques et plus particulièrement en théorie de l'intégration, on dit qu'une fonction <math>f</math> à valeurs réelles ou complexes est intégrable sur <math>I</math> lorsque <math display="inline">\int_{I} |f| </math> existe et est finie. A ne pas confondre avec le fait que <math display="inline">\int_{I} f</math> 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 <math>f:[a,b]\rightarrow\R</math> possède une intégrale finie si et seulement si elle est intégrable, c'est-à-dire, si et seulement si <math>\vert f\vert</math> possède une intégrale finie aussi<ref>Modèle:Lien web</ref>. 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 <math>f:I\rightarrow\R</math> possède une intégrale finie (au sens des intégrales impropres de Riemann) alors il n'est pas forcément vrai que <math>\vert f\vert</math> possède une intégrale finie aussi. En revanche le fait que <math display="inline">\int_{I} |f| </math> existe et est finie implique toujours que <math display="inline">\int_{I} f</math> existe et est finie.

Critères d'intégrabilité

Une fonction réglée est intégrable sur un intervalle fermé<ref>Cela n'est pas forcément vrai sur un intervalle quelconque, par exemple la fonction identité est continue, donc réglée, mais non intégrable sur <math>\mathbb{R}</math>.</ref>. 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 <math>f,g:[a,b]\longrightarrow \mathbb{R}</math> sont intégrables sur l'intervalle fermé <math>[a,b]</math> alors<ref>Les 2 premières propriétés deviennent fausses lorsque l'intervalle n'est pas fermé. Voici des contre-exemples :

La fonction <math>x \mapsto 1/x^2</math> est intégrable sur <math>[1,+\infty[</math> mais si l'on prend <math>\Phi(t) = \sqrt{t}</math> alors <math>x \mapsto \Phi(1/x^2)=1/x</math> ne l'est pas.
La fonction <math>f=g:x \mapsto 1/\sqrt{x}</math> est intégrable sur <math>]0,1]</math> mais le produit <math>fg : x \mapsto 1/x</math> ne l'est pas.

En revanche les 2 dernières propriétés restent vraies sur un intervalle non fermé.

</ref>

Pour tout <math>\Phi :\mathbb{R}\longrightarrow \mathbb{R}</math> continue, la composée <math>\Phi \circ f</math> est intégrable sur <math>[a,b]</math>.
Le produit <math>fg</math> est intégrable sur <math>[a,b]</math>.
Le minimum <math>\min(f,g)</math> est intégrable sur <math>[a,b]</math>.
Le maximum <math>\max(f,g)</math> est intégrable sur <math>[a,b]</math>.

Si <math>f,g:\left[a,b\right[\longrightarrow \mathbb{R}_+</math> sont positives, localement intégrables et que de plus <math>f(x) = O(g(x))</math> quand <math>x \to b</math> alors l'intégrabilité de <math>g</math> sur <math>[a,b[</math> entraîne celle de <math>f</math><ref>Ici <math>O</math> désigne le "grand o" de la notation de Landau.</ref>^,<ref>Cette propriété devient fausse si l'on omet la condition de positivité. Par exemple si <math>f:\left[a,b\right[\longrightarrow \mathbb{R}</math> a une intégrale semi-convergente alors on a bien que <math>|f|(x) = O(f(x))</math> quand <math>x \to b</math> mais <math>|f|</math> n'est pas intégrable.</ref>. On remarquera que <math>f(x) = O(g(x))</math> est vérifié si par exemple <math>0 \leq f \leq g</math> ou <math>f(x) \sim g(x)</math> quand <math>x \to b</math>.
Soit <math>I</math> un intervalle d'intérieur non vide dont les extrémités gauches et droites sont notées <math>a</math> et <math>b</math>. Supposons que <math>a</math> et <math>b</math> sont finies. Si <math>f:I\longrightarrow \mathbb{R}</math> est localement intégrable et a des limites finies en <math>a</math> et <math>b</math> alors <math>f</math> est intégrable sur <math>I</math><ref>Si les extrémités ne sont pas finies, cette propriété devient fausse. Par exemple la fonction <math>x\mapsto 1/x</math> admet 0 comme limite en <math>+\infty</math> mais n'est pas intégrable sur <math>[1,+\infty[</math>.</ref>.

Exemples et contre-exemples

La fonction indicatrice des rationnels n'est intégrable sur aucun intervalle d'intérieur non vide.
La fonction <math>f : [0,1] \rightarrow \R</math> définie par <math>f(0)=0</math> et <math>f(x) = 1/\sqrt x</math> pour tout <math>x \in \left]0,1\right]</math> n'est pas intégrable sur <math>[0,1]</math> (au sens de Riemann), car elle n'y est même pas bornée, en revanche, elle est intégrable sur <math>]0,1]</math> (au sens impropre de Riemann) car <math display="inline">\int_x^1 t^{-1/2}dt</math> converge lorsque x tend vers 0<ref>Cela illustre l'importance de l'exclusion du cas de l'intervalle fermé, dans la définition de l'intégrale impropre de Riemann, afin de ne pas aboutir à des notions contradictoires d'intégrabilité.</ref>.
La fonction <math>f:x \mapsto \sin(x)/x</math> n'est pas intégrable sur <math>]0,+\infty[</math> 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 <math>x \mapsto x^{-\alpha}</math> est intégrable sur <math>]0,1]</math> si et seulement si <math>\alpha < 1</math>. Cette même fonction est intégrable sur <math>[1,+\infty[</math> si et seulement si <math>\alpha > 1</math>.
Critère de Bertrand : la fonction <math>x \mapsto x^{-\alpha}\ln(x)^{-\beta}</math> est intégrable sur <math>]0,e^{-1}]</math> si et seulement si <math>\alpha < 1</math> ou (<math>\alpha = 1</math> et <math>\beta > 1</math>). Cette même fonction est intégrable sur <math>[e,+\infty[</math> si et seulement si <math>\alpha > 1</math> ou (<math>\alpha = 1</math> et <math>\beta > 1</math>).

Au sens de Lebesgue

Modèle:Article détaillé

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

<math>\int_X|f(x)|~\mathrm d\mu(x)<+\infty.</math>