830 B
830 B
alias
alias | ||
---|---|---|
|
up:: intégration généralisée
title:: "$f, g \in C^{0}([a, +\infty[)$", "f \in C^{1}([a; +\infty])
décroissante, et $f \to _{+\infty} 0$", "\displaystyle G: x \mapsto \int_{a}^{x} g(x) \, dx
est bornée", "\displaystyle \implies \int_{a}^{+\infty} f(x)g(x) \, dx
converge"
#s/maths/analyse
[!definition] Règle d'Abel Soient
f
etg
deux fonctions telles que :
f, g \in C^{0}([a; +\infty[)
f \in C^{1}([a; +\infty[)
f
est décroissante\lim\limits_{ x \to +\infty }f(x) = 0
\displaystyle G : x \mapsto \int_{a}^{x} g(x) \, dx
est bornéeAlors
\displaystyle \int_{a}^{+\infty} f(x)g(x) \, dx
est convergente. démonstration règle d'Abel ^definition