Intégrale impropre

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

L'intégrale impropre désigne une extension de l'intégrale usuelle, définie par une forme de passage à la limite dans des intégrales. On note en général les intégrales impropres sans les distinguer des véritables intégrales ou intégrales définies, ainsi

$\int_0^{+\infty} \frac{\sin t}{t} dt$

est un exemple très classique d'intégrale impropre convergente, mais qui n'est pas définie au sens de l'intégration usuelle (que ce soit l'intégration des fonctions continues par morceaux, l'intégrale de Riemann, ou celle de Lebesgue).

Dans la pratique, on est amené à faire une étude de convergence d'intégrale impropre

lorsqu'on intègre jusqu'à une borne infinie,
lorsqu'on intègre jusqu'à une borne en laquelle la fonction n'admet pas de limite finie,
lorsqu'on englobe un point de non définition dans l'intervalle d'intégration.

Dans chaque cas, on évaluera l'intégrale définie comme une fonction d'une des deux bornes et on prendra la limite de la fonction obtenue lorsque l'argument tend vers la valeur de la borne.

L'intégrale impropre partage un certain nombre de propriétés élémentaires avec l'intégrale définie. Elle ne permet pas d'écrire des résultats d'interversion limite-intégrale.

Sommaire

1 Intégrale impropre pour les fonctions continues

[modifier] Intégrale impropre pour les fonctions continues

[modifier] Définition

Soit $f :\ [a, b[ \ \longrightarrow \ \mathbb{R}$ une fonction continue.

Si la limite $\lim_{x \rightarrow b^{-}} \int_a^x f(t)dt$ existe et est finie, on appelle cette limite intégrale impropre de $f$ sur $[a, b [$ .

De la même manière, soit $f :\ ]a, b] \ \longrightarrow \ \mathbb{R}$ une fonction continue.

Si la limite $\lim_{x \rightarrow a^{+}} \int_x^b f(t)dt$ existe et est finie, on appelle cette limite intégrale impropre de $f$ sur $] a, b]$ .

Dans les deux cas on note cette limite

$\int_a^b f(t) dt$

Si la limite existe et est finie on dit que $\int_a^b f(t) dt$ converge, sinon on dit qu'elle diverge.

Compatibilité avec l'intégrale définie : si f est en fait continue sur le segment [a,b], on obtient par ces définitions la même valeur que si on calculait l'intégrale définie de f.

[modifier] Relation de Chasles

Soit $f :\ [a, b[ \ \longrightarrow \ \mathbb{R}$ une fonction continue.

Alors $\forall (x, c) \in [a, b[^2$

$\int_a^x f(t) dt \ =\ \int_a^c f(t) dt + \int_c^x f(t) dt$

$\lim_{x \rightarrow b} \int_c^x f(t) dt\$ et $\ \lim_{x \rightarrow b} \int_a^x f(t) dt$ sont de même nature

De plus, si $\exists c \in [a, b[$ tel que $\int_c^b f(t) dt$ converge

Alors $\forall d \in [a, b[, \int_d^b f(t) dt$ converge

et $\int_c^b f(t) dt\ =\ \int_c^d f(t) dt\ +\ \int_d^b f(t) dt$

[modifier] Intégrale impropre bilatère

Soit $f :\ ]a, b[\ \longrightarrow\ \mathbb{R}$ continue sur $] a, b [$

Soit $c \in ]a, b[$ fixé

La relation de Chasles nous dit que

Si $\int_c^b f(t) dt$ converge

Alors $\forall d \in ]a, b[, \int_d^b f(t) dt$ converge et

$\int_c^b f(t) dt\ =\ \int_c^d f(t) dt\ +\ \int_d^b f(t) dt$

Si $\int_a^c f(t) dt$ converge

Alors $\forall d \in ]a, b[, \int_a^d f(t) dt$ converge et

$\int_a^c f(t) dt\ =\ \int_a^d f(t) dt\ +\ \int_d^c f(t) dt$