Académique Documents
Professionnel Documents
Culture Documents
INTEGRALES MULTIPLES
on note la subdivision
{ }
( ) ∑ ⏟( ) ⏞
( )
( )
∫ ( ) ( )
On pose aussi :
∫ ( ) ∫ ( )
∫ ( )
PROPRIETE 1 : SIGNIFICATION GEOMETRIQUE DE L’INTEGRALE
Si f est intégrable sur [a,b] alors :
1) ∫ ( ) ⃗⃗⃗⃗
2) ∫ ( ) aire géométrique
1) Si ( ) ∫
Si ( ) ∫
∫( ( ) ( )) ∫ ( ) ∫ ( )
( ( ) ∫ ( ) )
4) f intégrable |∫ ( ) | ∫ ( )
5) Si et intégrable ∫ ( ) ∫ ( ) ∫ ( )
PREUVE :
Par l’asbsurde, supposons f non bornée , tel que ( ) . Pour toute
subdivision de , forcement . Choisissons des points avec .
Puisque f est intégrable, la somme de Riemann ∑ ( ) + ( ) doit converger .
On a alors :
|∑ ( ) ( ) | |∑ ( ) | | ( )|
( ) |∑ ( ) ( ) | |∑ ( ) | | ( )|
|∑ ( ) | | ( )| |∑ ( ) | |∑ ( ) |
{ ( ) }
Les sommes de Darboux sont bien définies si f est intégrable au sens de Riemann, ou bien si f est
bornée.
LEMME:
PREUVE :
Evident d’après la définition et le fait que sur on a ( ) .
PREUVE :
∑ ( ( )) ∑ ( ) ∑ .
LEMME:
f continue f uniformément continue.
t.q. si est une subdivision telle que alors .
On a ⏟ ⏟
( ) ( )
PREUVE DU LEMME:
f uniformément continue : , , tel que ( )
( ) .f continue, , tel que
( ) ( ) .Soit est une subdivision telle que et soient
tels que ( ) et ( ) (le minimum et le maximum de f existent par
le théorème de Weierstrass) Alors ( ) ( ) car .
PREUVE DU 1):
Soit fixé. Pour , tel que pour toute subdivision avec . On a
∑ ∑ .
PREUVE:
f continue ( ) .
Donc ( ) ∫ ∫ ( ) ∫ ( )
∫ ( ) ( ) tel que ( )
THEOREME FONDAMENTAL DU CALCUL INTEGRAL(NEWTON-LIEIBNIZ).
Si est une primitive de sur alors ∫ ( ) ( ) ( ).
PREUVE:
On pose ( ) ∫ ( ) . Alors on a ( ) ∫ ( ) ∫ ( ) ∫ ( ) donc
( ) ( )
( ) ∫ ( ) ( ) . ( )
( ) ( ).
( ) ( )
PREUVE:
∫ ( ) ( ) ( ) où t.q. ( ) ( ) .
( )
Soit définie par ( ) ( )( ) alors ( ( )) ( ) ( ( )) ( ) alors
∫ ( ( )) ( ) ∫ ( ) ( ) ( ) (⏟( )) (⏟( ))
1) ∬ et ∬ ( )
2) ∬( ( ) ( )) ∬ ( ) ∬ ( )
3) Si ( ) ( ) ( )
∬ ( ) ∬ ( )
4) |∬ ( ) | ∬ ( )
5) Si {
{ }
alors ∬ ( ) ∬ ∬
PREUVE :
Même technique que pour les fonctions d’une variable.
COROLLAIRE
si ( ) ( ) ( ) on a∬ ( ) ∫ ( ) ∫ ( )
PREUVE DU THEOREME:
Soient des subdivisions contenant des carrés
et soit ∬ ( ) ( ) ( )
SI et , on a ( ) ( )
Appellons la variations de y dans et ̃ , ̃ les bornes de y dans
̃
Alors ∫̃ ( )
donc ∑ ∫ ( ) ∑
et ∑
⏟ ∑ (∫ ( ) ) ∑
Dans la limite on a :
∫ (∫ ( ) )
∬ ( )
PREUVE:
Posons { ( ) } { ( ) }
Alors
( ) ( )
Soit ( ) {
( )
On a le rectangle ( ) avec
Donc :
∬ ( ) ∬ ( ) ∬ ( ) ∬ ( ) ∬
⏟
et ( ) (⏟ ) ( ) est un
( ( ) ( ))
Alors
∬ ( ) ∬( )( ) |⏟ ( ( ) )|
( )
IDEE DE PREUVE:
( ) ( )
( ) {( ) ( ) } dx et dy se transforment comme suivant :
( ) ( )
( ) ( )
d’où ( ) ( )( ) où ( ) ( )
( ) ( )
( )
Alors ( ) ( )
( ( )) ⏟ .
Rmq :
- même définition que pour ∭ ( ) , mêmes propriétés, même théorème
d’existence (il suffit que f soit continue et D borné)
- l’analogue géométrique est : ∭ ( ) entre le
graphe {( ) ( )} et l’espace ( ).
V. Calcul des intégrales triples.
1) Théorème de Fubini
er
1 cas : f continue.
On utilise
THEOREME DE FUBINI
∭ ( ) ∫ (∫ (∫ ( ) ) )
2) Changement de Coordonnées.
( )
( )
( )
( )
THEOREME
( )
∭ ( ) ∭ ( )( )| |
( )
( )
En particulier
déf : {
( ) ( )
est défini car
√ ≥0
si
si sinon ect…
∬ ( ) ∬ ( ) ⏟
( )
( ) ( )
( ) ( )
( )
( ) ( )
( ) ( )
( ) ( )
( ) ( ) ( )
( )
( )
( ( ))