Vous êtes sur la page 1sur 2

Formes diffrentielles - Page 1 sur 2

FORMES DIFFERENTIELLES.
1 - Dfinitions.

1a. Forme diffrentielle sur U.


o Sur 2 .

U ouvert de 2 (ou de 3 )

application de U 2 ,
, = +
Sur 3 .

telle quil existe P, Q, de classe C1 de U

application de U 3 ,
, = + +

telle quil existe P, Q, R, de classe C1 de U

1b. Forme diffrentielle exacte (ou admettant des primitives ou totale).


exacte sur U
ssi il existe F : U de classe C1 telle que : = ()
(pour a de U)

Sur 2 : Cela correspond :

, = ,

, = ,

1c. Potentiel scalaire. : U 3 3 champ de vecteur de classe C1


drive dun potentiel scalaire (ou admet)
si il existe un champ scalaire de U 3 , de classe C1, tel que = .
A toute forme diffrentielle :


=1

On peut associer le champ de vecteurs


=1

Alors
= =

Forme diffrentielle ferme.


o

Sur 2 . : ferme si

Sur 3 . : ferme si

Sur p . : ferme si

et

et

pour (X) =

=1

http://www.math93.com/theoreme/formes_differentielles.html

Formes diffrentielles - Page 2 sur 2

Partie toile.
Soit X parties de 3 (ou de 2 ) et A X.
[] = { ; [0,1] = }
- X toil par rapport A si : , []
- X toil si : AX tq X toil par rapport A.
Remarque : toute partie convexe est toile par rapport chacun de ses points

U ouvert de p

2 Thormes.

2a. Proposition.
{ + , }

2b. Thorme.

Remarque : = car exacte ; or les sont C1, donc F est C (on peut appliquer th. Schwarz)

2c. Thorme de Poincar.


.
Remarque :
Une partie A est convexe ssi [XY] A pour tout X et Y , donc

2d. Thorme.

1) = 0
2) = 0 ,

se dmontre avec le thorme de Poincar

http://www.math93.com/theoreme/formes_differentielles.html