1 Intgrales Paramtres

Dans cette section on pose pour x J ,

F (x) =

g (x, t )t avec I , J intervalles et g valeurs dans R ou C.

On sintresse ici la rgularit de ces fonctions dfinies par des intgrales, comme la bien-connue :
Z +
(x) =
t x1 e t dt
0

Thorme de Continuit
x J

t g (x, t ) continue par morceaux sur I .

t I

x g (x, t ) continue sur J .

Hypothse de domination sur tout segment

Pour tous [a, b] J , Il existe continue par morceaux, positive et intgrable sur I telle que :

x a, b J t I
g (x, t ) (t )
Alors F est continue et dfinie sur J

et en particulier pour tout x J , t g (x, t ) intgrable sur I .

Remarques

I Lintgrabilit de t g (x, t ) sur I nest pas ncessaire vrifier, puisque dcoule de la domination.
I On peut remplacer lhypothse de domination sur tout segment, par la domination sur J tout entier,
mais cela se rvle moins pratique lusage car il est plus ais de majorer x sur un segment.

I On peut aussi remplacer la vrification des deux premires hypothses par lhypothse (plus forte mais
plus rapide. . .) (x, t ) g (x, t ) est continue sur J I .
Z
Z
Z
g (a, t )t
lim g (x, t )t =
I Le thorme amne en particulier : a J lim g (x, t )t =
xa

I xa

Thorme de Drivabilit (sous le signe somme)

x J

g
(x, t ) sur J I
x
t g (x, t ) continue par morceaux et intgrable sur I .

x J

g
(x, t ) continue par morceaux sur I .
x

t I

g
(x, t ) continue sur J
x

On suppose, ici, que g (x, t ) admet une drive partielle

Hypothse de domination sur tout segment

Pour tous [a, b] J , Il existe continue par morceaux, positive et intgrable sur I telle que :
.
g

x a, b J t I
(x, t ) (t )
x
Z
g
g
0
1
Alors t
(x, t ) est intgrable sur I , pour tout x J , et F est de Classe C sur J et F (x) =
(x, t )t .
x
I x
Remarques

I Ici il est ncessaire de vrifier lintgrabilit car seulement celle de la drive est assure par la domination.

I On peut remplacer, ici aussi, la domination sur tout segment de J par la domination sur J tout entier.

2 Intgration et Intervertion de symboles

Z

On sintresse ici la problmatique

lim

fn =

lim f n =

I n

lim f n (t )t .

I n

On supposera donc de facto la convergence simple de la suite de fonctions f n sur I

Thorme de convergence domine de Lebesgue1
Soit ( f n )nN une suite de fonctions continues par morceaux sur I

f n : I R R ou C.

La suite ( f n ) converge simplement sur I vers une fonction f continue par morceaux sur I .
Hypothse de domination : Il existe continue par morceaux,
positive et intgrable sur I telle que :

t I n N f n (t ) (t )
Z

Alors f est intgrable sur I et

lim

fn =

lim f n =

I n

f
I

Remarque : Ici aussi, lintgrabilit des f n sur I car elle rsulte de lhypothse de domination.
Soit ( f n )nN une suite de fonctions continues et intgrables sur [a, b]
Z b
fn =
valeurs dans R ou C, telle que la suite ( f n ) converge uniformment sur [a, b], alors
lim
n a
Z b
Z b
lim f n =
f
Thorme 2 sur un segment

Remarque : On notera quil faut dans ce thorme un segment [a, b] et la continuit des f n (car la convergence
uniforme entraine la continuit de f donc son intgrabilit sur [a, b]). La continuit par morceaux des f n nest
pas suffisante, pour assurer lintgrabilit de la limite. Il faudrait alors la vrifier.

On sintresse maintenant la problmatique

Z +
X
I n=0

X Z
? +

un =

n=0

un

(dnomme intgration terme terme)

Thorme de Lebesgue dIntgration terme terme

P
Soit ( u n )nN une srie de fonctions continues par morceaux et intgrables sur I . u n : I R R ou C.
P
La srie de fonctions u n converge simplement sur I
+
X
et sa somme S(x) =
u n (x) est continue par morceaux sur I .
n=0

X Z
La srie numrique
u n converge.
I

Alors S =

+
X

u n est intgrable sur I et on peut intgrer terme terme

n=0

Z +
X
I

+
X Z
un =
un

n=0

n=0

Remarque : On notera ce thorme donne une condition suffisante dintgrabilit dune srie de fonctions.
Thorme 2 dIntgration terme terme sur un segment
Soit (u n )nN des fonctions continues et intgrables sur [a, b] valeurs dans R ou C.
Z b +

+
X
X Z
P
Si la srie de fonctions (u n ) converge uniformment sur[a, b], alors
un =
a

n=0

n=0

b
a

un

Remarque : Dans ce thorme, lintgrabilit de la focntion-somme est juste assure par sa continuit sur le
segment, continuit qui dcoule de la convergence uniforme.

3 Sries  Paramtres  ou Sries de fonctions

Dans cette section, on pose pour x J ,

S(x) =

+
X

avec J intervalle et u n : J R R ou C.

u n (x)

n=0

On sintresse ici la rgularit de ces fonctions dfinies par des sommes de srie, comme la bien-connue
fonction de Riemann1 :
(x) =

+
X
n=1

1
nx

Thorme de Continuit
u n est continue sur J .
La srie de fonctions

u n converge uniformment sur sur tout segment [a, b] J

(ou sur J tout

entier)
Alors S(x) =

+
X

u n (x) est continue et dfinie sur J

en particulier x J , la srie

u n (x) converge.

n=0

Remarques

I On a donc l intervertion de symboles

lim

xa

+
X

u n (x) =

n=0

+
X
n=0

lim u n (x) =

xa

+
X

u n (a)

(pour a J )

n=0

I Dans la pratique, on utilise souvent la condition suffisante de la convergence normale de

un

Thorme de Drivabilit (drivation terme terme)

u n est de classe C 1 sur J .
La srie de fonctions

La srie de fonctions

u n converge simplement sur J

u n0 converge uniformment sur tout segment [a, b] J

(ou sur J tout

entier)
Alors S est de classe C 1 sur J et on peut driver terme terme

S 0 (x) =

+
X
n=0

0 +
X 0
u n (x).
u n (x) =
n=0

1. Bernhard Riemann : mathmaticien allemand de gnie (1826-1866). Travaux fondamentaux sur les fonctions analytiques, la
thorie de lintgration, la gomtrie diffrentielle. Sa fonction donne des indications sur la rpartition des nombre premiers.

4 Intervertion de Limites
On sintresse ici la problmatique lim

?
lim f n (x) = lim lim f n (x) .

xa

xa

On supposera donc de facto la convergence simple des f n et lexistence dune limite des f n en a. A noter
aussi, que si les f n sont continues en a, le problme quivaut la continuit de f = lim f n en a et a dj t
trait.

Thorme de la double limite

Soit ( f n )nN une suite de fonctions f n : I R R ou C et a I ou une borne de I finie ou infinie
La suite de fonctions ( f n ) converge uniformment sur I (vers une fonction note f ).
Chaque fonction f n admet une limite b n en a.
Alors la suite (b n ) est convergente (vers un rel not b) et f = lim f n admet pour limite b quand x a,
cad
lim

lim f n (x) = lim b n = b = lim f (x) = lim lim f n (x)

xa

xa

On sintresse maintenant la problmatique lim

xa

+
X

xa

+
? X
lim u n (x) .
u n (x) =
xa

n=0

n=0

A noter que si les u n sont continues en a, le problme a dj t rsolu par le thorme sur la continuit dune
somme de srie ou une srie paramtre .

Thorme
P
Soit ( u n )nN une srie de fonctions u n : I R R ou C et a I ou une borne de I finie ou infinie
P
La srie de fonctions u n converge uniformment sur I (de somme note S).
Chaque fonction u n admet une limite b n en a.
+
X
P
u n (x) admet pour limite B qd x a,
Alors la srie ( b n ) est convergente (de somme note B) et S(x) =
n=0

cad
lim

xa

+
X
n=0

+
+
X
X
u n (x) = lim S(x) = B =
bn =
lim u n (x)
xa

n=0

n=0

xa