Intégrabilité
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/F_of_x.svg/45px-F_of_x.svg.png)
Cet article est une ébauche concernant l’analyse.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En mathématiques et plus particulièrement en théorie de l'intégration, on dit qu'une fonction à valeurs réelles ou complexes est intégrable sur lorsque existe et est finie. A ne pas confondre avec le fait que 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
Au sens de Riemann, une fonction possède une intégrale finie si et seulement si elle est intégrable, c'est-à-dire, si et seulement si possède une intégrale finie aussi[1]. 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 possède une intégrale finie (au sens des intégrales impropres de Riemann) alors il n'est pas forcément vrai que possède une intégrale finie aussi. En revanche le fait que existe et est finie implique toujours que existe et est finie.
Critères d'intégrabilité
- Une fonction réglée est intégrable sur un intervalle fermé[2]. 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 sont intégrables sur l'intervalle fermé alors[3]
- Pour tout continue, la composée est intégrable sur .
- Le produit est intégrable sur .
- Le minimum est intégrable sur .
- Le maximum est intégrable sur .
- Si sont positives, localement intégrables et que de plus quand alors l'intégrabilité de sur entraîne celle de [4],[5]. On remarquera que est vérifié si par exemple ou quand .
- Soit un intervalle d'intérieur non vide dont les extrémités gauches et droites sont notées et . Supposons que et sont finies. Si est localement intégrable et a des limites finies en et alors est intégrable sur [6].
Exemples et contre-exemples
- La fonction indicatrice des rationnels n'est intégrable sur aucun intervalle d'intérieur non vide.
- La fonction définie par et pour tout n'est pas intégrable sur (au sens de Riemann), car elle n'y est même pas bornée, en revanche, elle est intégrable sur (au sens impropre de Riemann) car converge lorsque x tend vers 0[7].
- La fonction n'est pas intégrable sur 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 est intégrable sur si et seulement si . Cette même fonction est intégrable sur si et seulement si .
- Critère de Bertrand : la fonction est intégrable sur si et seulement si ou ( et ). Cette même fonction est intégrable sur si et seulement si ou ( et ).
Au sens de Lebesgue
Soient (X, 𝒜, μ) un espace mesuré et f une fonction sur X, à valeurs dans ℝ ou ℂ et 𝒜-mesurable. On dit que f est Lebesgue-intégrable sur X si
Intégrabilité au sens de Kurzweil-Henstock
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Fairytale_warning.png/17px-Fairytale_warning.png)
Notes
- ↑ (en) « The absolute value of a Riemann integrable function is Riemann integrable. »
- ↑ 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 .
- ↑ Les 2 premières propriétés deviennent fausses lorsque l'intervalle n'est pas fermé. Voici des contre-exemples :
- La fonction est intégrable sur mais si l'on prend alors ne l'est pas.
- La fonction est intégrable sur mais le produit ne l'est pas.
- ↑ Ici désigne le "grand o" de la notation de Landau.
- ↑ Cette propriété devient fausse si l'on omet la condition de positivité. Par exemple si a une intégrale semi-convergente alors on a bien que quand mais n'est pas intégrable.
- ↑ Si les extrémités ne sont pas finies, cette propriété devient fausse. Par exemple la fonction admet 0 comme limite en mais n'est pas intégrable sur .
- ↑ 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é.
Portail de l'analyse