Courant (mathématiques)

En mathématiques, et plus précisément en analyse fonctionnelle, topologie différentielle et théorie géométrique de la mesure, un courant au sens de Georges de Rham est une forme linéaire sur l'espace des formes différentielles à support compact sur une variété lisse. Formellement, les courants ressemblent aux distributions, mais sur un espace de formes différentielles. Dans un cadre géométrique, ils peuvent représenter l'intégration sur des sous-variétés pouvant présenter des singularités. Le théorème de Stokes se généralise aux courants.

Définitions

Soit M une variété lisse. Un courant de dimension m sur M (et de degré dim(M) – m) est une forme linéaire, sur l'espace ΩModèle:ExpInd(M) des m-formes différentielles sur M à support compact, qui est continue au sens des distributions.

Soit ${𝒟}_m(M)$ l'espace vectoriel réel des m-courants sur M. On définit un opérateur de bord

$\partial :{𝒟}_{m+1}(M)\to {𝒟}_m(M)$

par

$\partial T(\omega ):=T(\mathrm{d}\omega ).$

On peut voir alors que les courants représentent une généralisation des sous-variétés. En effet, si N est une sous-variété compacte orientée de dimension m de M, on peut lui associer le courant [N] défini par

$[N](\omega )=\underset{N}{\int }\omega .$

Le courant –[N] correspond à la variété –N (c'est-à-dire N munie de l'orientation opposée).

Alors, la définition du bord $\partial T$ d'un courant est justifiée par le théorème de Stokes :

$\underset{\partial N}{\int }\omega =\underset{N}{\int }d\omega .$

On définit le support du courant T, noté

$\mathrm{s}\mathrm{p}\mathrm{t}(T),$

comme étant le plus petit fermé C tel que

$T(\omega )=0$

si le support de ω est disjoint de C.

On note ${ℰ}_m$ le sous-espace vectoriel de ${𝒟}_m$ des courants à supports compacts.

Exemples

Puisque

${\mathrm{\Omega }}_c^0(M)=C_c^{\mathrm{\infty }}(M),$

un exemple de 0-courant est donné par la fonction δ de Dirac :

$T(f)=f(0).$

Plus généralement, toute mesure signée régulière $\mu$ est un 0-courant :

$T(f)=\int f(x)d\mu (x).$

Soit (x, y, z) les coordonnées dans R³. Alors, un exemple de 2-courant à support compact est :

$T(adx\wedge dy+bdy\wedge dz+cdx\wedge dz)=\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}b(x,y,0)dxdy.$

Topologie

L'espace des m-courants possède naturellement une topologie faible-*, comme dual topologique des m-formes différentielles à support compact. Cela permet alors de définir la notion de convergence faible. On dit qu'une suite T_k converge faiblement vers T si

$T_k(\omega )\to T(\omega ),\mathrm{\forall }\omega .$

Il existe une norme plus forte sur l'espace des courants qui est la norme de masse.

Une norme intermédiaire existe aussi, la norme bémol.

À noter que deux courants sont proches :

• en norme de masse s'ils diffèrent d'une petite partie ;
• en norme bémol s'ils sont égaux à une petite déformation près.

Cas particuliers

• $R_m$ désigne les courants rectifiables
• $I_m$ désigne les courants intégraux :

$I_m=\{T\in R_m\mid \partial T\in R_{m-1}\}$

• $F_m$ désigne les integral flat chains (ou chaînes intégrales plates) :

$F_m=\{T+\partial S\mid T\in R_m,S\in R_{m+1}\}$

• $P_m$ désigne les chaînes polyédriques intégrales : c'est le sous-groupe additif de ${ℰ}_m$ engendré par les simplexes orientés.

$\begin{array}{ccccccc}{P}_m& \subset & I_m& \subset & R_m& \subset & F_m\\ \mathrm{c}\mathrm{h}\mathrm{a}\mathrm{i}\mathrm{n}\mathrm{e}\mathrm{s}\mathrm{p}\mathrm{o}\mathrm{l}\mathrm{y}\acute{\mathrm{e}}\mathrm{d}\mathrm{r}\mathrm{i}\mathrm{q}\mathrm{u}\mathrm{e}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{t}\acute{\mathrm{e}}\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{l}\mathrm{e}\mathrm{s}& & \mathrm{c}\mathrm{o}\mathrm{u}\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{t}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{t}\acute{\mathrm{e}}\mathrm{g}\mathrm{r}\mathrm{a}\mathrm{u}\mathrm{x}& & \text{courants rectifiables}& & \text{integral flat chains}\\ \cap & & \cap & & \cap & & \cap \\ {𝐏}_m& \subset & N_m& \subset & {𝐑}_m& \subset & {𝐅}_m\\ \mathrm{c}\mathrm{h}\mathrm{a}\mathrm{i}\mathrm{n}\mathrm{e}\mathrm{s}\mathrm{p}\mathrm{o}\mathrm{l}\mathrm{y}\acute{\mathrm{e}}\mathrm{d}\mathrm{r}\mathrm{i}\mathrm{q}\mathrm{u}\mathrm{e}\mathrm{s}\mathrm{r}\acute{\mathrm{e}}\mathrm{e}\mathrm{l}\mathrm{l}\mathrm{e}\mathrm{s}& & \text{courants normaux}& & \text{courants rectifiables}& & \text{real flat chains}\\ & & & & & & \cap \\ & & & & & & {ℰ}_m\subset {𝒟}_m\end{array}$

Notes et références

Modèle:Traduction/Référence et Modèle:Planetmath. Modèle:Références

Voir aussi

Articles connexes

• Homologie singulière
• Cohomologie de De Rham

Bibliographie

• Modèle:En Modèle:Lien, Geometric Measure Theory: A Beginner's Guide
• Modèle:En Hassler Whitney, Geometric Integration Theory