1-forme

Forme différentielle de degré un

En géométrie différentielle, les formes différentielles de degré un, ou 1-formes (différentielles), sont les exemples les plus simples de formes différentielles.

Une 1-forme différentielle sur un ouvert d'un espace vectoriel normé est un champ de formes linéaires c'est-à-dire une application, qui, à un point de l'espace, fait correspondre une forme linéaire. Plus généralement, on peut définir de telles formes linéaires sur une variété différentielle. La définition d'une 1-forme est analogue à celle d'un champ de vecteurs ; ces deux notions sont d'ailleurs en dualité. Pour cette raison, les 1-formes différentielles sont parfois appelées des covecteurs ou champs de covecteurs, en particulier en physique.

L'exemple le plus simple de 1-forme différentielle est la différentielle d'une fonction numérique f, qui se note df. Réciproquement, à partir d'une forme différentielle ω, on peut rechercher s'il existe une fonction primitive de ω, c'est-à dire telle que ω=df. Une condition nécessaire pour l'existence d'une telle fonction f est que la forme différentielle soit fermée. Mais cette condition n'est pas en général suffisante, et le défaut d'existence est relié à la topologie du domaine considéré. Il est mesuré par un élément de ce qui est appelé le premier groupe de cohomologie de De Rham.

Par extension, il est possible de définir des 1-formes différentielles à valeurs dans des espaces vectoriels. Parmi les 1-formes différentielles remarquables, il faut citer les formes de contact et les connexions d'Ehresmann. Toutefois leurs définitions nécessitent une meilleure connaissance des formes différentielles et du calcul différentiel extérieur.

Sommaire

1 Motivation et premiers exemples
- 1.1 Les accroissements infinitésimaux
- 1.2 Différentielles totales
2 Formes différentielles sur un ouvert de l'espace euclidien
3 Exactitude

Motivation et premiers exemples

Les accroissements infinitésimaux

Les notations différentielles sont couramment utilisées de façon informelle en sciences physiques, pour désigner l'accroissement très petit d'une variable. Pour une variable réelle, le mot « accroissement » est pris en un sens algébrique, c'est-à-dire qu'un accroissement peut être compté positivement ou négativement. Il est également possible de parler de l'accroissement infinitésimal d'un vecteur variable.

Ainsi, en cinématique, on note $x, y, z$ les variables d'espace, et $t$ la variable de temps, rapportées à un certain référentiel. Les variations infinitésimales correspondantes seront respectivement notées $d x,d y,d z,d t$ . Dans l'étude du mouvement d'un point mobile, donné par des fonctions $x (t), y (t), z (t)$ , lors du passage du temps $t$ à un temps infiniment voisin $t + d t$ , les variables d'espace subissent des accroissements donnés par les coordonnées du vecteur vitesse instantanée

$\mathrm dx = v_x \mathrm dt =\frac{\mathrm dx}{\mathrm dt} \mathrm dt,\quad \mathrm dy = v_y \mathrm dt =\frac{\mathrm dy}{\mathrm dt} \mathrm dt,\quad \mathrm dz = v_z \mathrm dt =\frac{\mathrm dz}{\mathrm dt} \mathrm dt.$

On peut également donner l'accroissement vectoriel du vecteur position

$\mathrm d\vec{\ell}=\vec{v} \mathrm dt=\frac{\mathrm d\vec{\ell}}{\mathrm dt}\mathrm dt.$

Le mode d'introduction choisi cache la nécessité d'introduire les dérivées par un calcul de limite. En effet, même pour des variations très petites, il faudrait introduire un terme d'erreur. Ces formules prennent pourtant un véritable statut mathématique, et sont parfaitement rigoureuses, si on définit correctement les « formes différentielles » $\mathrm dx,\mathrm dy,\mathrm dz,\mathrm dt, \mathrm d\vec{\ell}$ .

On peut obtenir le déplacement total, c'est-à-dire la variation totale de la fonction position $t\mapsto \vec{\ell}(t)$ entre deux points $a$ et $b$ (correspondant aux temps $t a$ et $t b$ ) par un calcul d'intégrale :

$\Delta \vec{\ell} = \vec{\ell}(b)-\vec{\ell}(a) = \int_a^b \mathrm d\vec{\ell} = \int_{t_a}^{t_b} \frac{\mathrm d\vec{\ell}}{\mathrm dt}\mathrm dt = \int_{t_a}^{t_b} \vec v\mathrm dt$ .

C'est là une propriété générale des formes différentielles : il est possible de les « sommer » le long d'un chemin. Sur cet exemple, cela fournit un calcul de la variation globale d'une fonction.

Différentielles totales

Article détaillé : Différentielle.

Les problèmes à plusieurs variables font un large emploi des notations différentielles. Quand elle existe, la différentielle d'une fonction $f$ de deux variables $x, y$ s'écrit à l'aide des dérivées partielles :

$\mathrm df=\frac{\partial f}{\partial x}\mathrm d x +\frac{\partial f}{\partial y} \mathrm dy.$

De nouveau, cette relation s'interprète physiquement, en termes de variations infinitésimales : pour calculer l'accroissement de $f$ , on peut ajouter d'une part l'accroissement infinitésimal de $x$ en considérant $y$ fixé, d'autre part l'accroissement infinitésimal de $y$ en considérant $x$ fixé. On pourrait généraliser à plus de deux variables.

Ainsi, dans la description des systèmes thermodynamiques, les variables et fonctions d'état décrivent l'état d'un système à l'équilibre. Par exemple, pour le gaz parfait, l'équation $p V = n R T$ permet d'exprimer le volume comme fonction de la pression et de la température, puis d'en calculer la différentielle

$V=\frac{nRT}{p}, \qquad \mathrm dV = \frac{\partial V}{\partial T}\mathrm d T +\frac{\partial V}{\partial p} \mathrm dp= \frac{nR}{p}\mathrm d T -\frac{nRT}{p^2} \mathrm dp$

Lors d'une transformation, l'énergie thermique élémentaire échangée (improprement appelée quantité de chaleur) admet une expression de la forme

$\delta Q = C_{Pm}\cdot\mathrm dT + h \cdot \mathrm dp.$

C'est une forme différentielle, un objet mathématique de même nature que les exemples précédents, mais qui ne peut pas s'écrire comme la différentielle d'une fonction des variables d'état $p, T$ qui décrivent le système : il n'y a pas de fonction « chaleur », ce qui explique qu'on préfère la notation $δ Q$ à $d Q$ .

Les différentielles totales (ou exactes), issues de la différentiation d'une fonction, ne sont donc qu'un cas particulier des formes différentielles de degré 1. Une de leurs propriétés est que l'intégrale d'une forme différentielle exacte le long d'un chemin ne dépend que des extrémités $a$ et $b$ de ce chemin. Traduit en termes de thermodynamique, la variation d'une fonction d'état dépend uniquement des états final et initial du système à l'équilibre.

Formes différentielles sur un ouvert de l'espace euclidien

Modèles locaux

Les modèles locaux en géométrie différentielle sont les ouverts d'espaces vectoriels de dimension finie. Les objets et leurs propriétés peuvent se définir sur de tels espaces ; leurs invariances par difféomorphismes autorisent ensuite le passage aux variétés.

Etant donné un espace vectoriel normé réel ou complexe E (en général de dimension finie, mais pas nécessairement) et U un ouvert de E, une forme différentielle ω (de degré 1) de classe ${\mathcal C}^k$ sur U est une application de classe de régularité ${\mathcal C}^k$ de U dans l'espace dual E* de E. En chaque point u de U, $ω(u)$ est donc une forme linéaire, qui peut être appliquée à un vecteur h de E : $ω(u)(h)$ est donc un scalaire (un réel ou un complexe).

En dimension finie le choix d'une base de E permet d'exprimer les 1-formes différentielles. Plus exactement, si une base e=(e₁,..., e_n) de E est donnée, il lui est associée la base duale de E* : les éléments de celle-ci sont notés $e_i^*$ ou dx_i. Par définition, dx_i appliqué en un vecteur donne sa i-ème coordonnée dans la base e. Toute forme linéaire sur E s'exprime de manière unique comme combinaison linéaire des dx_i ; de même, la forme différentielle ω dans la base e s'exprime de manière unique sous la forme:

$\omega(u)=a_1(u)\mathrm{d}x_1+\dots +a_n(u)\mathrm{d}x_n$ ,

où a₁,..., a_n sont des fonctions de classe ${\mathcal C}^k$ sur U. Certains auteurs écrivent cette identité de manière plus condensée en utilisant la convention de sommation d'Einstein:

$\mathrm{d}f=a_i\mathrm{d}x^i=a\cdot\mathrm{d}x$ .

Exemple : Pour une fonction f de classe ${\mathcal C}^{k+1}$ sur l'ouvert U, sa différentielle df est une forme différentielle de classe ${\mathcal C}^k$ . Elle s'écrit explicitement :

$\mathrm{d}f(u) = \sum_{i=1}^n \frac{\partial f}{\partial x_i} (u) \mathrm{d}x_i$ .

Notamment, dans le cas où l'application f est l'application qui à x associe sa i-ième coordonnée : $f=e_i^*: x \mapsto x_i$ , la différentielle en tout point df=dx_i est l'application $e_i^*$ elle-même. Cette remarque justifie la notation ci-dessus.

Changement de coordonnées

L'algèbre linéaire montre comment l'expression d'une forme linéaire dans une base dépend de cette dernière. Plus exactement, son expression dans une nouvelle base se déduit par l'action de la transposée de la matrice de passage. Si e et f sont deux bases de E, et si $\lambda=\sum_{i=1}^na_i\mathrm{d}x_i=\sum_{i=1}^nb_i\mathrm{d}y_i$ sont les expressions d'une même forme linéaire de E respectivement dans les deux bases, alors $b = t M . a$ où M est la matrice de passage de e à f.

En géométrie différentielle se rencontrent des changements de coordonnées locales qui correspondent à des difféomorphismes. Il apparaît nécessaire de comprendre comment un difféomorphisme agit sur une 1-forme différentielle définie sur un ouvert d'un espace vectoriel. Si $\Phi:U\rightarrow V$ est une application différentiable de classe $\mathcal C^{k+1}$ entre deux ouverts d'un même espace vectoriel normé E et $ω$ est une 1-forme différentielle de classe $C k$ sur V, il est possible de définir une 1-forme différentielle $Φ * ω$ de classe $\mathcal C^k$ sur U, appelée tiré en arrière de $ω$ et définie par :

$\Phi^*\omega(u)=\omega\left[\Phi(u)\right]\circ d\Phi(u)$ .

L'expression des 1-formes différentielles a été choisie pour que les calculs puissent être menés sans difficulté. Si e et f sont des bases de E, et que $ω$ s'exprime dans la base f:

$\omega=a_1\mathrm{d}y_1+\dots+a_n\mathrm{d}y_n$

alors l'expression de $Φ * ω$ dans la base e est :

$\Phi^*\omega=a_1\mathrm{d}\Phi_1+\dots+a_n\mathrm{d}\Phi_n=\left[\sum_{i=1}^na_i\frac{\partial \Phi_i}{\partial x_1}\right]\mathrm{d}x_1+\dots+\left[\sum_{i=1}^na_i\frac{\partial \Phi_i}{\partial x_n}\right]\mathrm{d}x_n$ .

Définition sur les variétés

Une variété M de classe $C k + 1$ peut être décrite comme un ensemble d'ouverts de l'espace $E=\R^n$ , recollés par des difféomorphismes de classe $C k + 1$ , les changements de cartes. Une 1-forme différentielle de classe $C k$ sur M est la donnée d'une 1-forme différentielle sur chacun de ces ouverts telle que ces formes se correspondent par l'action des changements de carte. Plus exactement, c'est un champ de formes linéaires sur les espaces tangents $T x M$ .

Lien avec les champs de vecteurs

Si E est muni d'un produit scalaire (et de dimension finie), il existe un isomorphisme entre E et son dual. On peut donc établir une correspondance entre formes différentielles et champs de vecteurs : si ω est une forme différentielle sur U, il existe un unique champ de vecteurs X sur U tel que

$\forall u \in U, \forall h \in E, \qquad \omega(u)(h)=\langle X(u)\mid h \rangle$ .

À la notion de forme différentielle exacte ayant f pour primitive correspond alors celle de champ de gradient, dérivant du potentiel f :

$\langle\nabla f(u)\mid h\rangle=\mathrm{d}_uf(h)$ .

Exactitude

Lorsqu'une forme différentielle ω est la différentielle d'une certaine fonction f, ω est dite exacte et f en est une primitive. Il existe des formes différentielles qui n'ont pas de primitive. Sur un ouvert connexe, lorsqu'une primitive existe, elle est unique à ajout d'une constante près.

Forme différentielle fermée

Sur un ouvert U d'un espace de dimension n, une forme différentielle $ω(u) = a 1 (u)d x 1 + ... + a n (u)d x n$ est dite fermée lorsque

$\forall i\neq j,\qquad \frac{\partial a_i}{\partial x_j} =\frac{\partial a_j}{\partial x_i}$

Cette définition est invariante par changement de coordonnées (calcul immédiat). De fait, il est possible de définir les formes différentielles fermées sur une variété de dimension n comme des 1-formes différentielles s'exprimant ainsi dans des cartes locales.

En vertu du théorème de Schwarz, si une forme différentielle est exacte, elle est nécessairement fermée. Le théorème de Poincaré affirme que les deux propriétés sont équivalentes lorsque U est difféomorphe à un ouvert étoilé. Ce théorème de Poincaré se réinterprète en termes de cohomologie (voir ci-dessous).

Ce n'est pas le cas par exemple sur le plan R² privé du point 0 ; ainsi la forme différentielle suivante est fermée sans être exacte :

$\mathrm{d}\theta = \frac{x\mathrm{d}y-y\mathrm{d}x}{x^2+y^2}$ .

Malgré la notation traditionnelle $dθ$ , cette forme différentielle n'admet pas de primitive. Toutefois, l'exponentielle complexe, donnée en coordonnées réelles par $(u,v)\mapsto (e^u\cos v,e^u\sin v)$ , définit un difféomorphisme local de $\R^2$ sur $\R^2\smallsetminus\{0\}$ et le tiré en arrière de $dθ$ , qui est tout simplement $d v$ , admet une primitive.

Intégrale curviligne

Article détaillé : Intégrale curviligne.

Soit ω une forme différentielle de degré 1 sur un ouvert U et Γ=([a,b],γ) un arc paramétré tracé sur U. L'intégrale de ω le long de Γ est définie comme

$\int_\Gamma \omega = \int_a^b \omega\bigl(\gamma(t)\bigr)\bigl(\gamma'(t)\bigr) \mathrm{d} t$ .

Si on reparamètre Γ en respectant l'orientation, la valeur de cette intégrale est inchangée. On peut donc parler d'intégrale de la forme différentielle le long d'un arc géométrique orienté.

Dans le cadre euclidien, la notion qui correspond à l'intégrale d'une forme différentielle le long d'un arc est la circulation du champ de vecteur associé le long de cet arc.

Mais la définition ci-dessus a l'avantage de ne faire appel à aucune structure supplémentaire (alors que la circulation d'un champ de vecteurs fait intervenir le produit scalaire). Ainsi, cette définition s'étend telle que quand on passe des ouverts de $\R^n$ aux variétés : pour tout t, $γ'(t)$ est un vecteur tangent au point $γ(t)$ , $ω(γ(t))$ est une forme linéaire sur l'espace tangent en $γ(t)$ , et donc $ω(γ(t))(γ'(t))$ est un nombre, exactement comme dans le cas des ouverts de l'espace euclidien.

Intégrale et primitives

Si ω est une forme différentielle exacte, de primitive f, son intégrale est donnée par

$\int_\Gamma\omega = f\bigl(\gamma(b)\bigr)-f\bigl(\gamma(a)\bigr)$ .

Dans ce cas, l'intégrale ne dépend que des extrémités de l'arc Γ. Notamment, si ce dernier est un arc fermé ( $γ(b) = γ(a)$ ), l'intégrale est nulle.

En physique, le travail d'une force se calcule par une intégrale curviligne et, dans le cas d'une force conservative, ne dépend pas du chemin parcouru.

Sur une variété M, une 1-forme différentielle est exacte ssi son intégrale curviligne sur tout arc fermé est nulle. Elle est fermée ssi son intégrale sur un arc fermé ne dépend de ce dernier qu'à homotopie près.

Théorèmes de Green et de Stokes

Articles détaillés : théorème de Green et théorème de Stokes.

Le théorème de Green concerne les formes différentielles sur un ouvert U du plan. Soit D un domaine compact de U délimité par un arc simple C, positivement orienté et C¹ par morceaux. Soit $ω = P d x + Q d y$ une 1-forme de classe ${\mathcal C}^1$ sur U. Alors

$\int_{C} P\mathrm dx + Q\mathrm dy = \iint_{D} \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) \mathrm dx\mathrm dy$ .

Avec un cadre conceptuel convenable, le théorème peut être généralisé pour un ouvert U d'un espace de dimension plus grande. On obtient alors le théorème de Stokes.

Pour l'énoncer, il faut introduire la dérivée extérieure de ω. C'est une forme différentielle de degré 2, c'est-à-dire un champ de formes bilinéaires antisymétriques sur U. Son expression est donnée par la formule

$\mathrm d \left(\sum_{i=1}^n a_i(u) \mathrm d x_i \right)= \sum_{i<j} \left(\frac{\partial }{\partial x_j} a_i(u)-\frac{\partial }{\partial x_j} a_i(u)\right) \mathrm d x_i \wedge \mathrm d x_j$ .

Dans cette expression les 2-formes $\mathrm{d} x_i \wedge \mathrm d x_j$ sont les vecteurs de la base canonique de l'espace des formes bilinéaires antisymétriques sur E. La différentielle extérieure de ω est nulle si et seulement si ω est une forme différentielle fermée.

On considère alors une surface S de bord C. Moyennant des hypothèses de régularité et des conventions d'orientation convenables, on obtient le théorème de Stokes :

$\int_C \omega = \int _S \mathrm d\omega\,$ .

Ce théorème pourrait encore être étendu en considérant des formes différentielles de degré quelconque. Il est nécessaire pour cela d'introduire les concepts généraux d'algèbre extérieure, de différentielle extérieure, d'intégrale d'une forme différentielle.

Premier groupe de cohomologie

Article détaillé : Cohomologie de De Rham.

Le premier groupe de cohomologie de de Rham est défini comme le quotient de l'espace des 1-formes différentielles fermées par l'espace des 1-formes différentielles exactes. Ce quotient est usuellement noté $H^1_{dR}(M)$ .

L'ensemble des arcs fermés basés en un point x modulo homotopie forme un groupe pour la concaténation, appelé le groupe fondamental de M, noté $\,\pi_1(M)$ . On peut montrer que l'intégration d'une forme différentielle fermée définit un morphisme $\pi_1(M)\rightarrow \R$ . Par ce qui précède, ce morphisme est nul si et seulement si la forme différentielle est exacte. On dispose donc d'une application linéaire injective :

$H^1_{dR}(M)\rightarrow\hom(\pi_1(M),\R)$

où Hom désigne l'ensemble des morphismes de groupes, ici muni d'une structure naturelle de $\R$ -espace vectoriel. Cette injection est un isomorphisme.

Par exemple, on a :

$H^1_{dR}(\R^2-0)=\hom(\pi_1(M),\R)=\hom(\Z,\R)=\R$

Portail des mathématiques

Ce document provient de « Forme diff%C3%A9rentielle de degr%C3%A9 un ».

Catégorie : Forme différentielle

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article 1-forme de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

FORME — L’histoire du concept de forme et des théories de la forme est des plus singulières. Nous vivons dans un monde constitué de formes naturelles. Celles ci sont omniprésentes dans notre environnement et dans les représentations que nous nous en… … Encyclopédie Universelle
Forme Bilinéaire — En mathématiques, le concept de forme bilinéaire est une notion algébrique s appliquant à un espace vectoriel. Il correspond à une application qui, à deux vecteurs définis sur le même corps de nombres associe un scalaire. L étude des formes… … Wikipédia en Français
Forme bilineaire — Forme bilinéaire En mathématiques, le concept de forme bilinéaire est une notion algébrique s appliquant à un espace vectoriel. Il correspond à une application qui, à deux vecteurs définis sur le même corps de nombres associe un scalaire. L étude … Wikipédia en Français
Forme Cristalline — Une forme cristalline est un ensemble de faces d un cristal qui sont dans un rapport de symétrie. Une forme cristalline est caractérisée par : la multiplicité qui est le nombre des faces ; elle dépend de la symétrie du cristal et de l… … Wikipédia en Français
Forme (musique) — Forme musicale Pour les articles homonymes, voir Forme. En musique, et plus spécifiquement en musique classique, la forme, dans son sens générique, désigne soit une structure, soit une tradition d écriture, permettant d inscrire l œuvre dans l… … Wikipédia en Français
Forme De Radoub — Pour les articles homonymes, voir Forme. Navire dans une forme à Singapour vue de l’avant … Wikipédia en Français
Forme Différentielle De Degré Un — En géométrie différentielle, les formes différentielles de degré un, ou 1 formes (différentielles), sont les exemples les plus simples de formes différentielles. Une 1 forme différentielle sur un ouvert d un espace vectoriel normé est un champ de … Wikipédia en Français
Forme Musicale — Pour les articles homonymes, voir Forme. En musique, et plus spécifiquement en musique classique, la forme, dans son sens générique, désigne soit une structure, soit une tradition d écriture, permettant d inscrire l œuvre dans l histoire de l… … Wikipédia en Français
Forme Normale (Bases De Données Relationnelles) — Pour les articles homonymes, voir Forme normale. Dans une base de données relationnelle, une forme normale désigne un type de relation particulier entre les entités. Le but essentiel de la normalisation est d éviter les anomalies… … Wikipédia en Français
Forme Volume — En géométrie différentielle, une forme volume généralise la notion de déterminant aux variétés différentielles. Elle définit une mesure sur la variété, permet le calcul des volumes généralisés, et la définition générale des orientations. Une… … Wikipédia en Français
Forme d'aire — Forme volume En géométrie différentielle, une forme volume généralise la notion de déterminant aux variétés différentielles. Elle définit une mesure sur la variété, permet le calcul des volumes généralisés, et la définition générale des… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

1-forme

Forme différentielle de degré un

Sommaire