Vous êtes sur la page 1sur 26

Notions de topologie de Rd

Continuité d’une intégrale dépendante d’un paramètre


La fonction Gamma

M203
Cours VII, Intégrales dépendantes d’un paramètre

L. Flaminio
flaminio@math.univ-lille1.fr
http://math.univ-lille1.fr/~flaminio/

UFR de Mathématiques
Université de Sciences et Technologies de Lille

6 novembre, 2006

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

Résumé I

1 Notions de topologie de Rd
Ensembles ouverts, fermés et compacts de Rd
Fonctions continues et uniformément continues

2 Continuité d’une intégrale dépendante d’un paramètre

3 La fonction Gamma

L. Flaminio M203
Notions de topologie de Rd
Ensembles ouverts, fermés et compacts de Rd
Continuité d’une intégrale dépendante d’un paramètre
Fonctions continues et uniformément continues
La fonction Gamma

1.1 Ensembles ouverts, fermés et compacts de Rd I

Notation
points et distances dans Rd
boules et pavés dans Rd .

Définition 1.1
Limites dans Rd
ensembles ouverts de Rd
ensembles fermés de Rd
ensembles bornés de Rd

L. Flaminio M203
Notions de topologie de Rd
Ensembles ouverts, fermés et compacts de Rd
Continuité d’une intégrale dépendante d’un paramètre
Fonctions continues et uniformément continues
La fonction Gamma

1.1 Ensembles ouverts, fermés et compacts de Rd II

Proposition 1.2
Un ensemble U ⊂ Rd est ouvertSsi et seulement s’il est une réunion
de boules ouvertes. La réunion α∈A Uα d’une famille (Uα )α∈A
d’ensembles ouverts est encore un ensemble ouvert.

Théorème 1.3
Un sous-ensemble F de Rd fermé si et seulement si toute limite
d’une suite de points de F appartient à F .

Théorème 1.4
Si K est un ensemble borné et fermé de Rn de toute suite (xn ) de
points de K on peut extraire une sous-suite convergente vers un point
de K .

L. Flaminio M203
Notions de topologie de Rd
Ensembles ouverts, fermés et compacts de Rd
Continuité d’une intégrale dépendante d’un paramètre
Fonctions continues et uniformément continues
La fonction Gamma

1.1 Ensembles ouverts, fermés et compacts de Rd III

Une famille d’ensembles dont la réunion contient un ensemble K est


dite un recouvrement de K (on dit aussi que cette famille recouvre K ).

Définition 1.5
Un ensemble K ⊂ Rn est dit compact si et seulement si il possède la
propriété de Heine-Borel : si (Ui )i∈A est une famille d’ensembles
ouverts qui recouvre K , alors on peut extraire de cette famille un
nombre fini d’éléments Ui1 , Ui2 , . . ., Uik qui recouvrent K .

Théorème 1.6
Un ensemble K ⊂ Rn est compact si et seulement s’il est fermé et
borné.

L. Flaminio M203
Notions de topologie de Rd
Ensembles ouverts, fermés et compacts de Rd
Continuité d’une intégrale dépendante d’un paramètre
Fonctions continues et uniformément continues
La fonction Gamma

1.2 Fonctions continues et uniformément continues I

On rappelle que :

Définition 1.7
Une fonction définie sur un ensemble E ⊂ R est continue en y ∈ E si
pour tout ε > 0 il existe un δ > 0 tel que |y − x| < δ implique
|f (y ) − f (x)| < ε

En effet fonction définie sur un ensemble E ⊂ R est continue en


y ∈ E si et seulement si pour toute suite xn ∈ E dont la limite est y on
a limn F (xn ) = f (y ).
Une fonction définie sur un ensemble E ⊂ R est dite continue (sur E)
si elle est continue en tout point y ∈ Y .

L. Flaminio M203
Notions de topologie de Rd
Ensembles ouverts, fermés et compacts de Rd
Continuité d’une intégrale dépendante d’un paramètre
Fonctions continues et uniformément continues
La fonction Gamma

1.2 Fonctions continues et uniformément continues II

Définition 1.8
Une fonction f : E ⊂ Rd → R est dite uniformément continue si pour
tout ε > 0 il existe δ > 0 tel que : |x − y | < δ et x, y ∈ E impliquent
|f (x) − f (y )| < ε.

Remarque 1.9
La continuité uniforme implique la continuité.

Théorème 1.10
Si K est un ensemble compact de Rn toute fonction continue
f : K ⊂ Rd → R est uniformément continue.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. Continuité d’une intégrale dépendante d’un


paramètre : Un exemple

Exemple 2.1
Considérons l’intégrale
Z 1
F (x) = sin(tx) dt.
0

La fonction F est continue.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

Un premier résultat facile

Théorème 2.2
Soit f : (t, x) ∈ [a, b] × [c, d] 7→ f (t, x) ∈ R une fonction continue.
Alors on peut définir une fonction F : x ∈ [c, d] 7→ F (x) ∈ R en posant
Z b
F (x) = f (t, x) dt ;
a

de plus la fonction F ainsi définie est continue.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. Pour les intégrales généralisées les choses ne sont


pas si simples !

Exemple 2.3
Soit Z ∞
sin(tx)
F (x) = dt,
0 t
Alors on a : 
π
2,
 si x > 0
F (x) = 0, si x = 0
 π

− 2 , si x < 0
et donc la fonction F est discontinue en x = 0.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. Pour les intégrales généralisées les choses ne sont


pas si simples !

Exemple 2.3
Soit Z ∞
sin(tx)
F (x) = dt,
0 t
Alors on a : 
π
2,
 si x > 0
F (x) = 0, si x = 0
 π

− 2 , si x < 0
et donc la fonction F est discontinue en x = 0.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

Pour les intégrales généralisées les choses ne sont


pas si simples !

En effet l’assertion de l’exemple précédent découle de l’égalité


suivante, qu’on verra dans un prochain cours :
Z ∞
sin(u) π
du = ;
0 u 2

Le changement de variable u = tx démontre l’assertion de l’exemple.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. Pour les intégrales généralisées les choses ne sont


pas si simples !

Pourtant dans ce exemple toutes les conditions


R∞ du théorème
précédent sont vérifiées : on a F (x) = 0 f (t, x) dt où f : R2 → R est
la fonction ainsi définie :
(
sin(tx)
t si t 6= 0
f (t, x) = .
x si t = 0

Évidemment f est continue sur le tout le plan R2 . On pourrait objecter


que la continuité d’une fonction n’implique pas sa continuité uniforme
sur un domaine non borné tel que R2 ; et que cette condition avait été
utilisée dans la preuve du théorème précédent. Toutefois la fonction f
est uniformément continue sur R × [−1, 1]. La vraie cause de la
discontinuité de F est donc une autre.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. D’où vient le problème ? I

Si on analyse la preuve du Théorème


R∞ 2.2, on voit que pour obtenir la
continuité d’une fonction F = 0 f (t, x 0 ) dt il faut estimer la quantité
Z ∞  
0


f (t, x) − f (t, x ) dt .
0

Or, cette quantité on peut la considérer composée de deux


morceaux : Z
M 
I= f (t, x) − f (t, x 0 ) dt ,

0

où M est un réel fixé, et


Z ∞  
f (t, x) − f (t, x 0 ) dt .

II =
M

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. D’où vient le problème ? II

Pour M fixé, le premier morceaux I peut être estimé par la continuité


uniforme de f , comme nous l’avons fait dans la preuve du
Théorème 2.2.
Pour le deuxième, II, on ne peut pas dire grand chose, car, même si
nous savons que II converge vers 0 quand M → ∞, nous devons fixer
une valeur de M pour estimer I. Ceci motive la définition suivante.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. Une bonne définition c’est la moitié d’un théorème !

Définition 2.4
Soit f une fonction continue sur [0, ∞[×[c, d]. On dira que pour
x ∈ [c, d] les intégrales généralisées
Z ∞
f (t, x) dt
0

sont uniformement convergentes si pour tout ε > 0 il existe M0 > 0 tel


que Z ∞


f (t, x) dt ≤ ε, ∀M > M0 , ∀x ∈ [c, d].
M

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. Voilà le théorème. . .

Théorème 2.5
Soit f : (t, x) ∈ [a, ∞[×[c, d] 7→ f (t, x) ∈ R une fonction continue.
Supposons que les intégrales généralisées
Z ∞
f (t, x) dt
a

soient uniformément convergentes sur [c, d].


Alors la fonction
Z ∞
F : x ∈ [c, d] 7→ f (t, x) dt
a

est continue.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. . . .et sa preuve

Démonstration. R ∞Soit ε > 0. Puisque la convergence des intégrales


généralisées
R a f (t, x) dt est uniforme, il existe M0 tel que

M0 f (t, x) dt ≤ ε pour tout x ∈ [c, d]. La fonction f étant continue,

elle est uniformément continue sur le pavé compact [0, M0 ] × [c, d] ;


donc il existe δ > 0 tel que |x − x 0 | < δ implique
|f (t, x) − f (t, x 0 )| < ε/M0 . En conclusion, si |x − x 0 | < δ on a :
Z ∞  
|F (x) − F (x 0 )| = f (t, x) − f (t, x 0 ) dt ≤

0
Z M0 Z ∞ Z ∞
f (t, x) − f (t, x 0 ) dt + 0

f (t, x) dt + f (t, x ) dt ≤
0 0 0
M0 ε/M0 + ε + ε = 3ε.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

2. Finalement une condition pratique


Théorème 2.6
Soit f : (t, x) ∈ [a, ∞[×[c, d] 7→ f (t, x) ∈ R une fonction continue. S’il
existe une fonction g : [a, ∞[→ R avec g ≥ 0 telle que
l’intégrale généralisée Z ∞
g(t) dt
a
converge ;
pour tout (t, x) ∈ [a, ∞[×[c, d] on a

|f (x, t)| ≤ g(x) ;


R∞
alors les intégrales généralisées a f (t, x) dt sont uniformément
convergentes sur [c, d]. Par conséquent, la fonction
Z ∞
F : x ∈ [c, d] 7→ f (t, x) dt est continue.
a

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

3. La fonction Gamma I
Montrons que pour tout x > 0 l’intégrale généralisée
Z ∞
Γ(x) = t x−1 e−t dt
0

est bien définie, et que la fonction Γ : ]0, ∞[→ R ainsi définie est
continue.
A ce but nous observons que, pour x fixé, la limite

lim t x−1 e−t


t→0

est égale à zéro si x ≥ 1 et diverge si x ∈]0, 1[. Donc,


R ∞ quand
x ∈]0, 1[, pour le calcul de l’intégrale généralisée 0 t x−1 e−t dt il
faudra étudier séparément les intégrales généralisées
Z 1 Z ∞
I1 (x) = t x−1 e−t dt et I2 (x) = t x−1 e−t dt.
0 1

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

3. La fonction Gamma II
Fixons un nombre x0 > 0.
Pour 0 < t ≤ 1 et x ≥ x0 nous avons e−t ≤ 1 et t x ≤ t x0 et donc

0 ≤ t x−1 e−t ≤ t x−1 ≤ t x0 −1

Or, l’intégrale généralisée


Z 1
t x0 −1 dt
0

converge car x0 − 1 > −1. Donc, par le Théorème 2.2, l’intégrale


généralisée I1 (x) converge pour tout x ≥ x0 et la fonction

x ∈ [x0 , ∞[7→ I1 (x)

est continue. Puisque cela est vrai pour tout x0 > 0 alors I1 (x)
converge pour tout x ∈]0, ∞[ et la fonction

x ∈]0, ∞[7→ I1 (x)


L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

3. La fonction Gamma III


est continue.
Pour I2 , observons que pour t ≥ 1 et x ≤ x0 on a t x ≤ t x0 et donc, si
on pose1 C(x0 ) = supt≥1 t x0 −1 e−t/2

0 ≤ t x−1 e−t ≤ t x0 −1 e−t ≤ C(x0 )e−t/2 ;


R∞
puisque l’intégrale généralisée 1 e−t/2 dt converge,le Théorème 2.2
nous dit que l’intégrale généralisée I2 (t) converge pour tout x ∈ [0, x0 ]
et que la fonction
x ∈ [0, x0 ] 7→ I2 (x)
est continue. Ceci étant vrai pour tout x0 > 0 on a que I2 (t) existe
pour tout x ∈ [0, ∞[ et la fonction

x ∈]0, ∞[7→ I2 (x)

est continue. En conclusion, Γ est continue.

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

3. La fonction Gamma IV

Proposition 3.1

Γ(x + 1) = xΓ(x), x > 0.


En particulier
Γ(n) = (n − 1)! n = 1, 2, 3, . . .

Démonstration.
Z ∞ Z ∞
d
Γ(x + 1) = t x e−t dt = tx (−e−t ) dt =
0 0 dt

Effectuons une intégration par parties ; cela est possible car les
limites
lim (−t x e−t ), lim (−t x e−t )
t→0 t→+∞

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

3. La fonction Gamma V

convergent. Puisqe ces limites sont nulles nous obtenons


Z ∞ 
d d x
Γ(x + 1) = − (t ) (−e−t ) dt = (x + 1) Γ(x).
dt 0 dt

Un calcule facile montre que Γ(1) = 1. Par recurrence on obtient que


pour tout naturel n ≥ 1 on a Γ(n) = (n − 1)!.

Proposition 3.2
  Z +∞
1 2
Γ = e−u du
2 −∞

et    
1 (2k + 1)! 1
Γ k+ = Γ , k = 0, 1, 2, 3, . . .
2 22k k ! 2

L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

3. La fonction Gamma VI

Démonstration. Exercice

On verra dans un prochain cours que Γ(1/2) = π 1/2 .

1 Exercice ; Vérifier que C(x0 ) < ∞ !


L. Flaminio M203
Notions de topologie de Rd
Continuité d’une intégrale dépendante d’un paramètre
La fonction Gamma

Bibliographie

J. Lelong-Ferrand, J-M. Arnaudiès Cours de Mathématiques —


Tome 2, (Chapitre XI), Dunod, Paris-Bruxelles-Montreal, 1974.

L. Flaminio M203