gk

P
fn =
kÉn Si on a :
Si on a : n s
P
gk
s fn =
P P
⋄ f n −→ f ⋄ g k CVS vers S, continue pm i.e. g k −→ S k Én
k=0 n→+∞
n→+∞
⋄les f n sont continues pm sur I Si on a :
⋄ lesZ g k sont continues pm et intégrables sur I Si on a :
⋄ il existe ϕ continue pm
¯ et ¯ intégrable sur u
P
⋄ g k est uniformément convergente
P ¯¯ ⋄ f n −→ f
¯
I tq pour tout n ∈ N, fn ¯ É ϕ ⋄ g k (t )¯ dt converge
⋄ les g k sont continues sur [a, b]
¯
I ⋄ les f n sont continues sur [a, b]
Alors Alors
Alors les f n et f sont intégrables sur I et Alors S est intégrable sur I et
Z b Z b Z b n
X +∞
XZ b Z b à +∞
X
!
Z Z Z n
Z X +∞
XZ Z
lim g k (t )dt = g k (t )dt = g k (t ) dt
def lim f n (t )dt = f (t )dt n→+∞ a
lim f n (t )dt = lim f n (t )dt = f (t )dt . lim g k (t )dt = g k (t )dt = S(t )dt n→+∞ a a k=0 k=0 a a k=0
n→+∞ I I n→+∞ I n→+∞ I
k=0 k=0 I I

Théorème de Interversion Interversion

Intégration
convergence dominée limite/intégrale somme/intégrale
terme-à-terme

Z Z b
Avec hypothèse de domination Suite : Avec hypothèse de cv uniforme : où a, b ∈ R
I a
variations, lim
n→+∞
Preuve par caract. séquentielle

...
1er
n → +∞ ∥ x → a

étudier la convergence simple de ( f n )

" Si les f n sont continues
mais pas la fct limite, CVU
En plus des th ci-dessus, on peut : ParamètreZ entier n ∈ N impossible.
⋄ encadrer (u n ) par deux suites admettant la
même limite finie + th gendarmes u n = f n (t )dt
I
⋄ majo/mino-rer (u n )n par une suite divergente
+ th divergence Fonctions : si I n’est pas fermé ou
" aux bornes variables : cont/déri/int
- fonctions primitives ? Z Paramètre réel x ∈ R lim...
pas borné :
x une fonction est C k (I) ssi elle
- utilisation d’indicatrice ? x 7→ f (x, t )dt où f : I × J → K l’est sur tout segment de I.
J

CV dominée (cas continu)

(limite en une borne a ∈ R de I) Régularité C k (I)
Continuité sur I Dérivabilité sur I
avec k ∈ N ∪ {∞}.
Si on a : Si on a : Si on a :
Si on a :
⋄ ∀t ∈ J, x 7→ f (x, t ) admet une limite ℓ(t ) qd x → a ⋄ ∀t ∈ J, x 7→ f (x, t ) est dérivable sur I ⋄ ∀t ∈ J, x 7→ f (x, t ) est de classe C k (I)
⋄ ∀t ∈ J, x 7→ f (x, t ) est continue sur I
⋄ ∀x ∈ I, t 7→ f (x, t ) est continue pm sur J, et t 7→ ℓ(t ) ⋄ ∀x ∈ I, t 7→ f (x, t ) est continue pm et ⋄ ∀x ∈ I, t 7→ f (x, t ) est continue pm et inté-
⋄ ∀x ∈ I, t 7→ f (x, t ) est continue pm sur J
aussi intégrable sur J grable sur J
⋄ il existe ϕ continue pm et intégrable ∂f
⋄ il existe ϕ continue pm et intégrable sur J, ⋄ ∀x ∈ I, t 7→ ∂x (x, t ) est continue pm sur J ∂ℓ f
sur J, ∀(x, t ) ∈ I × J, | f (x, t )| É ϕ(t ), ⋄ ∀ℓ É k, ∀x ∈ I, t 7→ ∂x ℓ (x, t ) est continue pm
∀(x, t ) ∈ I × J, | f (x, t )| É ϕ(t ) ⋄ il existe ϕ continue pm¯ et intégrable sur J ⋄ ∀ℓ É k, il existe ϕℓ continue¯pm et intégrable
¯ ∂f
¯
telle que ∀(x, t ) ∈ I × J, ¯ ∂x (x, t )¯ É ϕ(t ) ¯ ∂ℓ f
¯ ¯
Alors : sur J telle que ∀(x, t ) ∈ I × J, ¯ ∂x ℓ (x, t )¯ É ϕℓ (t )
¯
Alors :
⋄ ∀x ∈ZI, t 7→ f (x, t ) est intégrable sur J
⋄ Zt 7→ ℓ(t ) et ∀x ∈ I, t 7→ f (x, t ) sont
Z intégrables sur J Alors :
⋄ x 7→ f (x, t )dt est continue sur I. ∂f Alors :
⋄ f (x, t )dt admet pour limite ℓ(t )dt qd x → a. J ⋄ ∀x ∈ I,Z t 7→ ∂x (x, t ) est intégrable sur J ∂ℓ f
J J ⋄ ∀ℓ É k, ∀x ∈ I, t 7→ ∂x ℓ (x, t ) est intégrable sur J
⋄ x 7→ f (x, t )dt est dérivable sur I et sa
Z
J ⋄ g : x 7→ f (x, t )dt est de classe C k (I) et
— I NTÉGRALES À PARAMÈTRES — fonction dérivée est : J

I, J ⊂ R intervalles ∂f ∂ℓ f
Z Z
x 7→ (x, t )dt . (ℓ)
∀ℓ É k, ∀x ∈ I, g (x) = (x, t )dt .
J ∂x J ∂x ℓ