31 lines
1.1 KiB
Markdown
31 lines
1.1 KiB
Markdown
---
|
|
alias: [ "convergence sur [a;+∞[ d'une intégrale absolument convergente" ]
|
|
---
|
|
up:: [[intégrale absolument convergente]]
|
|
title:: "démonstration que $\displaystyle \int_{a}^{+\infty} |f(x)| \, dx \text{ CV.} \implies \int_{a}^{+\infty} f(x) \, dx \text{ CV.}$"
|
|
#s/maths/analyse
|
|
|
|
---
|
|
|
|
# Théorème
|
|
|
|
![[intégrale absolument convergente#^convergence-sur-a-infini]]
|
|
|
|
|
|
# Démonstration
|
|
Soit $f \in C^0_{pm}([a; +\infty[)$, telle que $\int_{a}^{+\infty} f(x) \, dx$ est absolument convergente
|
|
|
|
On considère :
|
|
- $f^{+}(t) = \max(0, f(t))$ (partie positive de $f$)
|
|
- $f^{-}(t) = \min(0, -f(t))$ (partie négative de $f$)
|
|
On a :
|
|
- $f = f^{+} - f^{-}$
|
|
- $f^{+} \in C^0_{pm}([a; +\infty[)$
|
|
- $f^{-} \in C^0_{pm}([a; +\infty[)$
|
|
Or, on sait que :
|
|
- $0 \leq f^{+}(x) \leq |f|(x)$
|
|
- $0 \leq f^{-}(x) \leq |f|(x)$
|
|
Donc, puisque l'intégrale de $f$ est [[intégrale absolument convergente|absolument convergente]], l'intégrale de $|f|$ est convergente.
|
|
Alors, par [[convergence d'intégrales de fonctions comparées|intégrales de fonctions comparées]], on sait que les intégrales de $f^{+}$ et $f^{-}$ convergent.
|
|
|