Champ vectoriel

Infos
Un exemple de champ de vecteurs, de la forme (-y, x) Autre exemple Le flux d'air autour d'un avion est un champ tridimensionnel, ici visualisé par les bulles qui suivent les lignes de courant. En mathématiques, un champ de vecteurs ou champ vectoriel est une fonction qui associe un vecteur à chaque point d'un espace euclidien ou plus généralement d'une variété différentielle. Les champs de vecteurs sont souvent utilisés en physique, pour modéli
Champ vectoriel

Un exemple de champ de vecteurs, de la forme (-y, x) Autre exemple Le flux d'air autour d'un avion est un champ tridimensionnel, ici visualisé par les bulles qui suivent les lignes de courant. En mathématiques, un champ de vecteurs ou champ vectoriel est une fonction qui associe un vecteur à chaque point d'un espace euclidien ou plus généralement d'une variété différentielle. Les champs de vecteurs sont souvent utilisés en physique, pour modéliser par exemple la vitesse et la direction d'un fluide en mouvement dans l'espace, ou la valeur et la direction d'une force, comme la force magnétique ou gravitationnelle, qui évoluent points par points.

Notion mathématique

Soit E un espace vectoriel euclidien et U un ouvert de E. Un champ de vecteurs de classe de régularité C^k sur U est une application F de classe C^k de U dans E, définie par ses n fonctions composantes : :F : \beginx_1\\\vdots\\x_n\end \longmapsto \begin F_1(x_1, \dots, x_n)\\ \vdots\\ F_n(x_1, \dots, x_n)\end Exemples :
- les vecteurs du repère mobile des coordonnées polaires ;
- le vecteur position.

Champ de gradient

Un champ de vecteurs X est appelé champ de gradient quand il existe une fonction f telle qu'en tout point, X est le gradient de f. On dit encore que X dérive du potentiel f. Dans ce cas, les différents potentiels diffèrent d'une constante. Dans le plan, si le champ de vecteurs X dérive d'un potentiel f, les lignes de niveau de f, courbes sur lesquelles f est égale à une constante, sont appelées courbes équipotentielles pour le champ de vecteurs. En tout point où le champ est non nul, il est normal aux courbes équipotentielles. Si le champ de vecteurs est tracé sur un ouvert de l'espace à trois dimensions, on parle de même de surfaces équipotentielles. Plus généralement, en dimension quelconque, on a affaire à des hypersurfaces équipotentielles, auxquelles le champ de vecteurs est normal. Dans l'espace à trois dimensions, un champ de gradient a toujours un rotationnel nul. La réciproque fait intervenir la topologie de l'ouvert U : si U est simplement connexe, un champ de vecteurs est un champ de gradient si et seulement si son rotationnnel est nul.

Circulation le long d'un chemin

La notion de circulation est utilisée notamment en physique pour le calcul du travail d'une force. Soit \gamma un chemin tracé sur l'ouvert U, c'est-à-dire un arc paramétré de dans U, de classe \mathcal C^1. La circulation du champ de vecteurs X le long de \gamma est :\int_\gamma\langle X\mid\mathrm dl\rangle = \int_a^b x'(t) X(x(t))\mathrm dt Cette valeur est invariante par changement de paramétrage. Si le champ dérive d'un gradient f, la circulation ne dépend que des extrémités du chemin :\int_\gamma \langle \nabla f|\mathrm dl\rangle =f(\gamma(b))-f(\gamma(a)) Elle est notamment nulle sur tout lacet (chemin fermé).

Dualité avec les formes différentielles

Une forme différentielle de degré un et de classe \mathcal C^k sur U est un champ de formes linéaires, c'est-à-dire une application \mathcal C^k de U dans le dual E
-
de E. Cette notion a une parenté forte avec celle de champ de vecteurs. En effet, l'espace étant euclidien, le produit scalaire permet de définir un isomorphisme entre E et son dual. Si X est un champ de vecteurs sur U, on peut lui associer la forme différentielle définie en chaque point par :L(x)=\langle\cdot|X(x)\rangle\qquad \text\qquad \forall Y \in E, \; L(x)(Y)=\langle Y|X(x)\rangle et cette association est une bijection entre champs de vecteurs et formes différentielles d'ordre 1. En conséquence l'analogie entre les théorèmes concernant formes différentielles et champs de vecteurs n'est pas surprenante : voici un tableau de correspondance. Remarque : on peut étendre la notion de rotationnel à des dimensions autres que 3.

Courbes intégrales d'un champ de vecteurs, lignes de champ

Courbes intégrales pour l'équation du pendule simple dans l'espace des phases (y, y') Au champ de vecteurs X tracé sur l'ouvert U, on peut associer l'équation différentielle \gamma ' = X(\gamma). Les fonctions solutions sont les arcs paramétrés \gamma de classe \mathcal C^1 sur un intervalle I et tels que :\forall x \in I, \qquad \gamma '(x) = X(\gamma(x)) C'est-à-dire que le vecteur dérivé en chaque point est donné par le champ en ce point. Les solutions maximales de cette équation différentielle sont appelées courbes intégrales du champ de vecteurs. Elles sont tangentes en chaque point au champ de vecteurs. Dans le cas d'un champ de gradient, elles sont donc orthogonales aux lignes ou surfaces de niveau. Le théorème de Cauchy-Lipschitz assure l'existence et l'unicité d'une solution maximale pour chaque couple de conditions initiales (t0, x0). Il s'appliquerait même si le champ était seulement une fonction lipschitzienne.

Champ de vecteurs sur une variété différentielle

Par définition, un champ de vecteurs sur une variété différentielle est une section du fibré tangent de cette variété. Un tel champ est décrit au voisinage de chacun de ses points réguliers, par le théorème du redressement : il existe une carte locale dans laquelle le champ se lit comme le champ « premier vecteur de coordonnées ». Si la variété est compacte, les lignes de champ sont définies sur ℝ entier.

Applications en physique ondulatoire

Une équation différentielle ayant comme solution des champs de vecteurs (qui représentent, par exemple la propagation des ondes), est dite linéaire si toute combinaison linéaire à coefficients constants de solutions est une solution. Cette propriété est caractéristique d'un espace vectoriel dont chaque point correspond à une solution. Un ensemble de solutions ne différant que par un facteur de proportionalité réel est représenté par un rayon, c’est-à-dire une droite passant par l'origine. En acoustique et en optique, un tel rayon est appelé mode. Si on peut définir l'orthogonalité de des solutions appartenant à deux modes, on peut définir l'orthogonalité des modes. En acoustique et en électromagnétisme, deux solutions sont orthogonales si la somme des énergies de chaque solution est égale à l'énergie de la somme des solutions. L'équation différentielle d'une onde peut conduire à des solutions dont l'énergie décroît avec le temps, ou à des ondes "conservatives", dont l'énergie ne dépend pas du temps. Dans ce dernier cas, on peut normer les solutions, par exemple, en électromagnétisme, on peut poser qu'une mode monochromatique correspond à un vecteur unité si son énergie est le produit de la constante de Planck par la fréquence f de l'onde. On obtient alors un repère orthonormé de l'espace des modes. On peut chercher à absorber une onde, par exemple un bruit gênant. A cet effet, on peut utiliser des "absorbeurs actifs" constitués par des haut parleurs et une électronique générant des ondes localement en opposition de phase avec l'onde gênante. Mais générer exactement une onde complexe est irréalisable, et l'expérience comme la théorie montrent qu'on peut seulement atténuer l'onde gênante. Heureusement, en acoustique, les ondes ne sont pas conservatives et le bruit s'éteint. Mais les équations de Maxwell dans le vide régissent des ondes électromagnétiques conservatives, de sorte qu'une onde émise par un atome ne peut pas être annulée par les ondes émises par d'autres atomes; en conséquence, il subsiste des ondes résiduelles dites "champ du point zéro", car elles existent dans un corps noir à 0 K. Planck a commis une erreur de calcul en déterminant l'amplitude des ondes résiduelles, mais il a présenté à l'Académie de Berlin, en 1916, une communication qui en donnait l'énergie moyenne hf/2. Remarquons que le champ électromagnétique dans un mode donné ne dépend que d'un paramètre réel, appelé amplitude, de sorte qu'il est impossible de distinguer un champ du point zéro de tout autre champ.

Voir aussi

-Fonction de plusieurs variables
-Analyse vectorielle
-Champ équiprojectif, Champ scalaire, Champ tensoriel, Champ incompressible (ou champ solénoïdal)
-Torseur
-Pseudovecteur Catégorie:Champ de vecteurs Catégorie:analyse vectorielle Catégorie:Systèmes dynamiques cs:Vektorové pole de:Vektorfeld en:Vector field es:Campo vectorial he:שדה וקטורי it:Campo vettoriale ja:ベクトル場 ko:벡터장 nl:Vectorveld pl:Pole wektorowe pt:Campo vetorial ru:Векторное поле sk:Vektorové pole sv:Vektorfält uk:Векторне поле zh:向量場
Sujets connexes
Académie de Berlin   Acoustique   Analyse vectorielle   Application linéaire   Application lipschitzienne   Champ scalaire   Champ tensoriel   Champ équiprojectif   Classe de régularité   Combinaison linéaire   Constante de Planck   Coordonnées polaires   Dérivée extérieure   Espace des phases   Espace dual   Espace euclidien   Espace vectoriel   Espace vectoriel euclidien   Fibré tangent   Fonction de plusieurs variables   Forme différentielle de degré un   Forme linéaire   Fréquence   Gradient   Lacet   Ligne de niveau   Loi universelle de la gravitation   Mathématiques   Max Planck   Mécanique des fluides   Ondes   Optique   Orthogonalité   Paramétrage   Pendule simple   Physique   Potentiel   Produit scalaire   Pseudovecteur   Rotationnel   Théorème de Cauchy-Lipschitz   Théorème du redressement   Topologie   Torseur   Travail d'une force   Variété différentielle   Vecteur   Vecteur position  
#
Accident de Beaune   Amélie Mauresmo   Anisocytose   C3H6O   CA Paris   Carole Richert   Catherinettes   Chaleur massique   Championnat de Tunisie de football D2   Classement mondial des entreprises leader par secteur   Col du Bonhomme (Vosges)   De viris illustribus (Lhomond)   Dolcett   EGP  
^