Théorèmes d’interversion

Les intégrales sont écrites par rapport à une variable t sur un intervalle I. L’éventuelle autre variable, notée x, appartient à un intervalle J. Les hypothèses faibles ne sont pas indiquées.
Par exemple, t 7→ f (x, t) ∈ CM(I, K) et x 7→ f (x, t) ∈ C 0 (J, K) pour le th. de continuité d’une intégrale à paramètre. « Domination locale possible » signifie qu’on peut se contenter de
∀[a, b] ⊂ J, ∃φa,b ∈ L1 (I, R+ ), ∀t ∈ I, ∀x ∈ [a, b], | · · · (x, t)| ⩽ φa,b (t). Les hypothèses de convergence uniforme peuvent résulter de la convergence normale.

Conclusion Nom Hypothèse forte Remarques

Z  Z
lim fn (t) dt = lim fn (t) dt Convergence dominée |fn (t)| ⩽ φ(t) où φ intégrable sur I Vérifier que f = limn fn ∈ CM(I, K)
n→+∞ I I n
Z X+∞ +∞ Z
X
fn (t) dt = fn (t) dt Intégration terme à terme positif (Beppo Levi) fn (t) ≥ 0 Valable dans [0, +∞] (cas divergent aussi)
I n=0 n=0 I
Z X+∞ +∞ Z XZ
X Si l’hypothèse forte n’est pas véri-
fn (t) dt = fn (t) dt Intégration terme à terme sur un int. qq. |fn (t)| dt converge
I n=0 I I fiée, appliquer la la ligne suivante
n=0 n⩾0
R P+∞ P+∞ R Pn
I n=0fn (t) dt = n=0 I fn (t) dt Convergence dominée pour les s. partielles. |Sn (t) = k=0 fk (t)| ⩽ φ(t) où φ int. sur I Utile pour les séries alt. ou géom.
Z b  Z b
lim fn (t) dt = lim fn (t) dt Intégration d’une limite uniforme (fn ) CVU vers f sur [a, b] Valable seulement sur un segment
n→+∞ a a n→+∞
Z +∞
X +∞
X Z X
fn (t) dt = fn (t) dt Intégration terme à terme sur un segment fn CVU sur [a, b] Valable seulement sur un segment
[a,b] n=0 n=0 [a,b] n⩾0
Z  Z
Limite d’une intégrale à paramètre ou con- Il faut la domination sur un intervalle [c, b[
lim f (x, t) dt = lim f (x, t) dt |f (x, t)| ⩽ φ(t) où φ intégrable sur I
x→b
ZI I x→b vergence dominée pour un paramètre réel b peut être infini
x 7→ f (x, t) dt est continue sur J Cont. d’une intég. à paramètre sur un int. qq. |f (x, t)| ⩽ φ(t) où φ intégrable sur I Domination locale possible
I
Domination locale possible. ∀j ∈ [[0, n − 1]]
j
dn  ∂nf et ∀x ∈ J, t 7→ ∂∂xfj (x, t) intégrable
Z  Z
∂nf
f (x, t) dt = (x, t) dt, n ∈ N∗ Formule de Leibniz (int. qq.) de classe C n ( C ∞ ) ∂xn
(x, t) ⩽ φ(t) où φ intégrable sur I
dxn I I ∂xn Extension a la classe C ∞
en dominant (localement) toutes les dérivées
f = limn→+∞ f est continue sur I Continuité d’une limite uniforme (fn ) CVU vers f CVU sur I ou sur tout segment de I
  Il faut la CVU sur un intervalle [c, b[
lim f (t) = lim lim fn (t) . Théorème de la double limite (fn )n CVU vers f
t→b n→+∞ t→b b peut être infini
Possibilité de CVU sur tout segment de I
(j)

(k) Les suites (fn ) CVS pour 0 ⩽ j ⩽ k − 1
k ∈ N∗
(k)
lim fn = lim fn(k) Classe C k ( C ∞ ) d’une lim. de suite de fonctions La dernière suite dérivée (fn ) CVU
n→+∞ n→+∞ Extension à la classe C ∞
(avec CVU de toutes les dérivées)
+∞
X X
fn est continue sur I Cont. de la somme d’une sér. de f. fn CVU CVU sur I ou sur tout segment de I
n=0 n⩾0
X+∞  +∞
X X Il faut la CVU sur un intervalle [a, b[
lim fn (t) = lim fn (t) Théorème de la double limite fn CVU
t→b t→b b peut être infini
n=0 n=0 n⩾0
Possibilité de CVU sur tout segment de I
+∞
X (k) +∞ P (j)
X (k) Les séries fn CVS pour 0 ⩽ j ⩽ k − 1
fn(k) Dérivation terme à terme de classe C ( C k ∞ P
fn = ) La dernière série dérivée n⩾0 fn CVU
n=0 n=0
Extension à la classe C ∞
(avec CVU de toutes les dérivées)
+∞
X
x 7→ an xn est C ∞ sur ] − R, R[ Dérivation t. à t. des sér. ent. aucune Valable sur ] − R, R[
n=0
Z +∞
xX +∞
X x
an n+1 C’est faux sur le segment [−R, R].
an tn dt = t Intégration t. à t. des sér. ent. aucune
x0 n +1 x0
Il faut que x0 et x soient dans ] − R, R[
n=0 n=0
+∞
X +∞
X
an xn = an Rn
P+∞
lim Convergence radiale d’Abel La série n=0 an Rn converge Même résultat en −R
x→R
n=0 n=0