« Intégration de Riemann/Intégrales généralisées » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Définition : +explication |
→Définition : points sur les I et complément |
||
Ligne 38 :
}}
}}
{{Remarque|contenu=
{{Remarque|contenu=Soit <math>c\in\left]a,b\right[</math>. L'intégrale <math>\int_a^b f(t)\,\mathrm dt</math> est convergente si et seulement si les deux limites <math>\lim_{x\to a} \int_x^cf(t)\,\mathrm dt</math> et <math>\lim_{,y\to b}\int_c^yf(t)\,\mathrm dt</math> existent, et sa valeur est alors égale à la somme de ces deux limites. Il ne suffit donc pas, pour que <math>\int_a^b f(t)\,\mathrm dt</math> converge, qu'il existe (par exemple) deux fonctions <math>x,y</math> telles que <math>\lim_{\varepsilon\to0^+}x(\varepsilon)=a</math> et <math>\lim_{\varepsilon\to0^+}y(\varepsilon)=b</math> et telles que <math>\lim_{\varepsilon\to0^+} \int_{x(\varepsilon)}^{y(\varepsilon)}f(t)\,\mathrm dt</math> existe et soit finie. Par exemple, pour toute fonction <math>f</math> impaire, <math>\lim_{x\to+\infty} \int_{-x}^xf(t)\,\mathrm dt=0</math> mais cela n'implique aucunement que <math>\int_{-\infty}^{+\infty}f(t)\,\mathrm dt</math> converge [[../Exercices/Intégrales impropres#Exercice 5-3|(penser à <math>f=\sin</math>]], dont la primitive <math>-\cos</math> n'a pas de limite en l'infini).▼
*Soit <math>c\in\left]a,b\right[</math>. On a <math>\int_a^b f(t)\,\mathrm dt=I\in\R</math> si et seulement si les deux limites <math>\lim_{x\to a} \int_x^cf(t)\,\mathrm dt</math> et <math>\lim_{,y\to b}\int_c^yf(t)\,\mathrm dt</math> existent et si leur somme est égale à <math>I</math>.
*<math>\int_a^b f(t)\,\mathrm dt=I\in\R</math> si et seulement si pour ''toutes'' fonctions <math>x,y</math> telles que <math>\lim_{\varepsilon\to \ell}x(\varepsilon)=a</math> et <math>\lim_{\varepsilon\to\ell}y(\varepsilon)=b</math> (où <math>\ell</math> est par exemple <math>+\infty</math> ou {{nobr|<math>0^+</math>),}} on a <math>\lim_{\varepsilon\to\ell}\int_{x(\varepsilon)}^{y(\varepsilon)}f(t)\,\mathrm dt=I</math>.
▲
}}
|