Outils mathématiques pour la physique (PCSI)/Champs (ou fonctions) scalaire et vectoriel(le) de l'espace, différentielle d'un champ de deux variables

**Champs (ou fonctions) scalaire et vectoriel(le) de l'espace, différentielle d'un champ de deux variables**
Leçon : Outils mathématiques pour la physique (PCSI)

Chapitre n^o 13
Chap. préc. :	Suites arithmétique et géométrique
Chap. suiv. :	Théorème de Taylor-Young et développements limités d'une fonction d'une variable au voisinage d'une de ses valeurs

En raison de limitations techniques, la typographie souhaitable du titre, « Outils mathématiques pour la physique (PCSI) : Champs (ou fonctions) scalaire et vectoriel(le) de l'espace, différentielle d'un champ de deux variables
Outils mathématiques pour la physique (PCSI)/Champs (ou fonctions) scalaire et vectoriel(le) de l'espace, différentielle d'un champ de deux variables », n'a pu être restituée correctement ci-dessus.

Sommaire

1 Notion d'espace
2 Champ (ou fonction) scalaire de l'espace
3 Champ (ou fonction) vectoriel(le) de l'espace
4 Notes et références

Notion d'espace[modifier | modifier le wikicode]

......Dans ce chapitre on entendra par « espace », que l'on notera $\;{\mathcal {E}}$ , l'« ensemble des positions que peut occuper un solide de petite dimension assimilable à un point » ; cet espace est :

« affine », c'est-à-dire tel qu'on peut y définir le parallélisme et la notion de barycentre et
« euclidien », c'est-à-dire que la « direction de l'espace affine » ^[1] est un espace $\;\mathbb {R} -{\text{vectoriel}}\;$ ^[2] dans lequel on définit un produit scalaire permettant de déterminer la distance entre deux points de l'espace affine (égale à la norme du vecteur associé au bipoint) et l'angle entre deux bipoints (se déterminant à l'aide du produit scalaire des vecteurs associés aux bipoints).

Champ (ou fonction) scalaire de l'espace[modifier | modifier le wikicode]

Définition intrinsèque d'un champ (ou d'une fonction) scalaire de l'espace[modifier | modifier le wikicode]

Définition

......Soit un point

\;M\;

de l'espace

\;{\mathcal {E}}

, on définit un champ (ou une fonction) scalaire

\;f\;

de

\;M\;

selon :

\;M\;{\overset {f}{\rightarrow }}\;f(M)\in \mathbb {R} ,\;\forall \;M\in {\mathcal {E}}\;

^[3].

Définition d'un champ (ou d'une fonction) scalaire de l'espace dans lequel on a choisi une base cartésienne pour repérer les points[modifier | modifier le wikicode]

......Soit une base fixe de l'« espace physique » ^[4] notée $\;\left\lbrace {\vec {u}}_{x},\;{\vec {u}}_{y},\;{\vec {u}}_{z}\right\rbrace \;$ et appelée « cartésienne » ;

......tout point $\;M\;$ est alors caractérisé par un triplet de réels correspondant à ses coordonnées $\;(x,\,y,\,z)\;$ tel que, $\;O\;$ étant un point fixe de $\;{\mathcal {E}}\;$ choisi comme origine du repérage, $\;{\overrightarrow {OM}}=x\,{\vec {u}}_{x}+y\,{\vec {u}}_{x}+z\,{\vec {u}}_{z}$ .

Définition

......Soit un point

\;M\;

de l'espace

\;{\mathcal {E}}\;

de coordonnées

\;(x,\,y,\,z)

, on définit un champ (ou une fonction) scalaire

\;f\;

de

\;M\;

selon :

\;(x,\,y,\,z)\;{\overset {f}{\rightarrow }}\;f(x,\,y,\,z)\in \mathbb {R} ,\;\forall \;(x,\,y,\,z)\in \mathbb {R} ^{3}\;

^[5].

......Un champ (ou une fonction) scalaire de l'espace s'identifie à une fonction scalaire des trois coordonnées du point de l'espace.

Exemples de champ (ou fonction) scalaire de l'espace[modifier | modifier le wikicode]

Pression atmosphérique ou température en tout point de l'espace ;
énergies diverses : potentielle de pesanteur, cinétique, mécanique …

Caractérisation de la variation du champ (ou de la fonction) scalaire de l'espace[modifier | modifier le wikicode]

......Pour caractériser la variation du champ (ou fonction) scalaire $\;f\;$ de l'espace physique $\;{\mathcal {E}}$ , on peut utiliser le repérage du point générique $\;M\;$ dans $\;{\mathcal {E}}\;$ en définissant une base cartésienne $\;\left\lbrace {\vec {u}}_{x},\,{\vec {u}}_{y},\,{\vec {u}}_{z}\right\rbrace \;$ de l'espace vectoriel associé à $\;{\mathcal {E}}\;$ » ^[6], $\;M\;$ ayant alors pour coordonnées $\;(x,\,y,\,z)\;$ et le champ (ou fonction) scalaire $\;f(M)\;$ s'identifiant avec la fonction scalaire des trois coordonnées de $\;M$ , $\;f(x,\,y,\,z)$ , ces coordonnées étant indépendantes dans la mesure où $\;M\;$ est libre dans $\;{\mathcal {E}}\;$ soit $\;f(M)=f(x,\,y,\,z)$ ;

......la variation de $\;f(M)\;$ peut être déterminée :

à l'aide des signes des dérivées partielles de $\;f\;$ par rapport aux coordonnées de $\;M\;$ [voir « dérivées partielles » du chapitre $6$ de la leçon « Outils mathématiques pour la physique (PCSI) »] ou
à l'aide du signe de la différentielle de $\;f\;$ relativement aux signes des éléments différentiels des coordonnées de $\;M\;$ [voir « différentielle d'une fonction scalaire de plusieurs variables indépendantes » du chapitre $6$ de la leçon « Outils mathématiques pour la physique (PCSI) »].

......Nous traiterons cette caractérisation sur un exemple : comment varie la température $\;T(M)\;$ dans l'espace $\;{\mathcal {E}}\;$ ?

Caractérisation par signe des dérivées partielles[modifier | modifier le wikicode]

......Supposons connu le champ scalaire $\;T(M)=T(x,\,y,\,z)\;$ c'est-à-dire égal à la fonction des coordonnées cartésiennes de $\;M$ , nous nous proposons de connaître la variation de $\;T\;$ relativement à $\;x\;$ sans faire varier $\;y\;$ et $\;z\;$ ^[7], nous aurons alors les variations suivantes :

$\;T\nearrow \;$ quand $\;x\nearrow \;$ à $\;y\;$ et $\;z\;$ constants si $\;\left({\dfrac {\partial T}{\partial x}}\right)_{\!\!y,\,z}>0$ ,
$\;T\searrow \;$ quand $\;x\nearrow \;$ à $\;y\;$ et $\;z\;$ constants si $\;\left({\dfrac {\partial T}{\partial x}}\right)_{\!\!y,\,z}<0\;$ et
$\;T\;$ reste stationnaire quand $\;x\;$ varie à $\;y\;$ et $\;z\;$ constants si $\;\left({\dfrac {\partial T}{\partial x}}\right)_{\!\!y,\,z}=0$ .

......L'inconvénient de cette méthode est qu'elle n'autorise que la variation d'une coordonnée à la fois.

Caractérisation par signe de la différentielle[modifier | modifier le wikicode]

......Supposons connu le champ scalaire $\;T(M)=T(x,\,y,\,z)\;$ c'est-à-dire égal à la fonction des coordonnées cartésiennes de $\;M$ , nous nous proposons de connaître la variation de $\;T\;$ le long de la droite $\;\left\lbrace {\begin{array}{l}x+y=1\\z=2\end{array}}\right.\;$ ^[8] ;
......pour cela nous évaluons $\;dT\;$ dans le contexte de la variation de $\;M\;$ à savoir $\;\left\lbrace {\begin{array}{l}dx+dy=0\\dz=0\end{array}}\right.\;$ à partir du point $\;(x_{0},\;y_{0}=1-x_{0},\;z_{0}=1)\;$ soit $\;dT=\left({\dfrac {\partial T}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})\,dx+\left({\dfrac {\partial T}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})\,dy+{\cancel {\left({\dfrac {\partial T}{\partial z}}\right)_{\!\!x,\,y}(x_{0},\,y_{0},\,z_{0})\,dz}}\;$ ou, en remplaçant $\;dy\;$ par $\;-dx\;$ pour satisfaire à la courbe suivie, $\;dT=\left[\left({\dfrac {\partial T}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})-\left({\dfrac {\partial T}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})\right]dx\;$ d'où :

$\;T\nearrow \;$ quand $\;x\nearrow \;$ le long de $\;\left\lbrace {\begin{array}{l}x+y=1\\z=2\end{array}}\right.\;$ si $\;dT>0\;$ ou si $\;\left({\dfrac {\partial T}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})>\left({\dfrac {\partial T}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})$ ,
$\;T\searrow \;$ quand $\;x\nearrow \;$ le long de $\;\left\lbrace {\begin{array}{l}x+y=1\\z=2\end{array}}\right.\;$ si $\;dT<0\;$ ou si $\;\left({\dfrac {\partial T}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})<\left({\dfrac {\partial T}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})\;$ et
$\;T\;$ reste stationnaire quand $\;x\;$ varie le long de $\;\left\lbrace {\begin{array}{l}x+y=1\\z=2\end{array}}\right.\;$ si $\;dT=0\;$ ou si $\;\left({\dfrac {\partial T}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})=\left({\dfrac {\partial T}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})$ .

Commentaire final[modifier | modifier le wikicode]

......La méthode la plus complète pour déterminer la variation d'un champ scalaire de l'espace est donc de procéder par évaluation de sa différentielle mais
......la méthode la plus rapide, quand on souhaite uniquement des variations parallèlement aux axes de coordonnées cartésiennes est de procéder par calcul des dérivées partielles ;
......nous introduirons la notion de « gradient de champ scalaire » dans le chap. $18$ de la leçon « Outils mathématiques pour la physique (PCSI) » qui donnera une version plus compacte de ces deux méthodes dans le paragraphe « caractérisation de la variation d'une fonction scalaire ».

Champ (ou fonction) vectoriel(le) de l'espace[modifier | modifier le wikicode]

Définition intrinsèque d'un champ (ou d'une fonction) vectoriel(le) de l'espace[modifier | modifier le wikicode]

Définition

...... Soit un point

\;M\;

de l'espace

\;{\mathcal {E}}

, on définit un champ (ou une fonction) vectoriel(le)

\;{\vec {f}}\;

de

\;M\;

selon :

\;M\;{\overset {\vec {f}}{\rightarrow }}\;{\vec {f}}(M)\in {\mathcal {V}},\;\forall \;M\in {\mathcal {E}}\;

^[3], où

\;{\mathcal {V}}\;

est un espace

\;\mathbb {R} -{\text{vectoriel}}\;

^[9].

Définition d'un champ (ou d'une fonction) vectoriel(le) de l'espace dans lequel on a choisi une base cartésienne pour repérer les points[modifier | modifier le wikicode]

......Soit une base fixe de l'« espace physique » ^[4] notée $\;\left\lbrace {\vec {u}}_{x},\;{\vec {u}}_{y},\;{\vec {u}}_{z}\right\rbrace \;$ et appelée « cartésienne » ;

......tout point $\;M\;$ est alors caractérisé par un triplet de réels correspondant à ses coordonnées $\;(x,\,y,\,z)\;$ tel que, $\;O\;$ étant un point fixe de $\;{\mathcal {E}}\;$ choisi comme origine du repérage, $\;{\overrightarrow {OM}}=x\,{\vec {u}}_{x}+y\,{\vec {u}}_{x}+z\,{\vec {u}}_{z}$ .

Définition

...... Soit un point

\;M\;

de l'espace

\;{\mathcal {E}}\;

de coordonnées

\;(x,\,y,\,z)

, on définit un champ (ou une fonction) vectoriel(le)

\;{\vec {f}}\;

de

\;M\;

selon

\;(x,\,y,\,z)\;{\overset {\vec {f}}{\rightarrow }}\;{\vec {f}}(x,\,y,\,z)\in {\mathcal {V}},\;\forall \;(x,\,y,\,z)\in \mathbb {R} ^{3}\;

^[5],

\;{\mathcal {V}}\;

étant l'« espace vectoriel image » ;

......usuellement

\;{\mathcal {V}}\subseteq \mathbb {R} ^{3}\;

permet de définir les composantes de

\;{\vec {f}}(x,\,y,\,z)\;

dans la même base cartésienne selon

\;{\vec {f}}(x,\,y,\,z)=f_{x}(x,\,y,\,z)\,{\vec {u}}_{x}+f_{y}(x,\,y,\,z)\,{\vec {u}}_{x}+f_{z}(x,\,y,\,z)\,{\vec {u}}_{z}

,

......la définition du champ (ou fonction) vectoriel(le) de l'espace étant alors équivalente à la définition des trois champs (ou fonctions) scalaires de l'espace correspondant à ses composantes

\;(x,\,y,\,z)\left\lbrace {\begin{array}{l}{\overset {f_{x}}{\rightarrow }}\;f_{x}(x,\,y,\,z)\in \mathbb {R} \\{\overset {f_{y}}{\rightarrow }}\;f_{y}(x,\,y,\,z)\in \mathbb {R} \\{\overset {f_{z}}{\rightarrow }}\;f_{z}(x,\,y,\,z)\in \mathbb {R} \end{array}}\right.\!\!,\,\forall \,(x,\,y,\,z)\in \mathbb {R} ^{3}\;

^[5].

......Un champ (ou une fonction) vectoriel(le) de l'espace s'identifie aux trois fonctions scalaires des trois coordonnées du point de l'espace correspondant aux trois composantes du champ (ou fonction) vectoriel(le) ^[10].

Exemples de champ (ou fonction) vectoriel(le) de l'espace[modifier | modifier le wikicode]

Champ de pesanteur en tout point de l'espace ou autres champs, électrique, magnétique …
vecteur position du point $\;M\;$ de l'espace $\;{\overrightarrow {OM}}$ , vecteur vitesse, vecteur accélération …

Caractérisation de la variation du champ (ou de la fonction) vectoriel(le) de l'espace[modifier | modifier le wikicode]

......Pour caractériser la variation du champ (ou fonction) vectoriel(le) $\;{\vec {f}}\;$ de l'espace physique $\;{\mathcal {E}}\;$ on peut utiliser le repérage du point générique $\;M\;$ dans $\;{\mathcal {E}}\;$ en définissant une base cartésienne $\;\left\lbrace {\vec {u}}_{x},\,{\vec {u}}_{y},\,{\vec {u}}_{z}\right\rbrace \;$ de l'espace vectoriel associé à $\;{\mathcal {E}}\;$ ^[6], $\;M\;$ ayant alors pour coordonnées $\;(x,\,y,\,z)\;$ et le champ (ou fonction) vectoriel(le) $\;{\vec {f}}(M)\;$ s'identifiant aux trois fonctions scalaires des trois coordonnées du point de l'espace correspondant aux trois composantes du champ (ou fonction) vectoriel(le), $\;M\left\lbrace {\begin{array}{l}{\overset {f_{x}}{\rightarrow }}\;f_{x}(M)\in \mathbb {R} \\{\overset {f_{y}}{\rightarrow }}\;f_{y}(M)\in \mathbb {R} \\{\overset {f_{z}}{\rightarrow }}\;f_{z}(M)\in \mathbb {R} \end{array}}\right.,\;\forall \;M\in {\mathcal {E}}$ ;

......ainsi pour étudier la variation du champ (ou fonction) vectoriel(le) $\;{\vec {f}}\;$ de l'espace physique $\;{\mathcal {E}}$ , peut-on se contenter d'étudier séparément les variations des trois champs (ou fonctions) scalaires s'identifiant aux trois composantes cartésiennes de $\;{\vec {f}}\;$ à savoir :

......étude des variations de $\;\left\lbrace {\begin{array}{c}f_{x}(M),\\f_{y}(M),\\f_{z}(M)\end{array}}\right.\;$ par la méthode des dérivées partielles ou de la différentielle …

Écriture de la différentielle du champ (ou de la fonction) vectoriel(le) de l'espace, une base cartésienne de ce dernier ayant été choisie[modifier | modifier le wikicode]

......Préliminaire : Les quelques règles de calcul de la différentielle d'une fonction scalaire vue au chap. $6$ dans le paragraphe « règles de calcul de différentielle » de la leçon « Outils mathématiques pour la physique (PCSI) » restent applicables pour le calcul de la différentielle d'une fonction vectorielle.

......Comme $\;{\vec {f}}(M)=f_{x}(M)\,{\vec {u}}_{x}+f_{y}(M)\,{\vec {u}}_{y}+f_{z}(M)\,{\vec {u}}_{z}\;$ avec $\;\left\lbrace {\vec {u}}_{x},\,{\vec {u}}_{y},\,{\vec {u}}_{z}\right\rbrace \;$ base cartésienne de l'espace vectoriel associé à $\;{\mathcal {E}}\;$ ^[6], sa différenciation $-$ compte-tenu du fait que les vecteurs de base sont constants $-$ conduit à

\;d\!\left({\vec {f}}\right)(M)=df_{x}(M)\,{\vec {u}}_{x}+df_{y}(M)\,{\vec {u}}_{y}+df_{z}(M)\,{\vec {u}}_{z}\;

ou encore

\;{\begin{aligned}d\!\left({\vec {f}}\right)(M)=&\left[\left({\dfrac {\partial f_{x}}{\partial x}}\right)_{\!\!y,\,z}(M)\,dx+\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!\!x,\,z}(M)\,dy+\left({\dfrac {\partial f_{x}}{\partial z}}\right)_{\!\!x,\,y}(M)\,dz\right]{\vec {u}}_{x}+\cdots \\\ &\cdots \left[\left({\dfrac {\partial f_{y}}{\partial x}}\right)_{\!\!y,\,z}(M)\,dx+\left({\dfrac {\partial f_{y}}{\partial y}}\right)_{\!\!x,\,z}(M)\,dy+\left({\dfrac {\partial f_{y}}{\partial z}}\right)_{\!\!x,\,y}(M)\,dz\right]{\vec {u}}_{y}+\cdots \\\ &\cdots \left[\left({\dfrac {\partial f_{z}}{\partial x}}\right)_{\!\!y,\,z}(M)\,dx+\left({\dfrac {\partial f_{z}}{\partial y}}\right)_{\!\!x,\,z}(M)\,dy+\left({\dfrac {\partial f_{z}}{\partial z}}\right)_{\!\!x,\,y}(M)\,dz\right]{\vec {u}}_{z}\end{aligned}}\;

.

Explicitation de la variation du champ (ou de la fonction) vectoriel(le) de l'espace par l'étude des dérivées partielles de ses composantes cartésiennes[modifier | modifier le wikicode]

......Une base cartésienne $\;\left\lbrace {\vec {u}}_{x}\,,\,{\vec {u}}_{y}\,,\,{\vec {u}}_{z}\right\rbrace \;$ étant choisie, la variation de la fonction vectorielle $\;{\vec {f}}\;\left(f_{x}\,,\,f_{y}\,,\,f_{z}\right)\;$ à partir d'un point $\;M_{0}\;$ $\left(x_{0}\,,\,y_{0}\,,\,z_{0}\right)\;$ de l'espace $\;{\mathcal {E}}\;$ revient à l'étude de la variation de chaque composante cartésienne de $\;{\vec {f}}$ , à savoir $\;f_{x}$ , $\;f_{y}\;$ et $\;f_{z}\;$ en fonction de chacune des coordonnées de $\;M$ , à savoir $\;x$ , $\;y\;$ et $\;z$ , c'est-à-dire l'étude du signe des neuf dérivées partielles des composantes cartésiennes de $\;{\vec {f}}$ ;

......par exemple l'étude de la variation de $\;f_{x}(M)\;$ à partir de $\;M_{0}\;$ relativement à $\;y\;$ est la suivante ^[11] :

$\;f_{x}(M)\nearrow \;$ quand $\;y\nearrow \;$ à $\;x\;$ et $\;z\;$ restant figés si $\;\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!x,\,z}(M_{0})\;$ est $\;>0$ ,
$\;f_{x}(M)\searrow \;$ quand $\;y\nearrow \;$ à $\;x\;$ et $\;z\;$ restant figés si $\;\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!x,\,z}(M_{0})\;$ est $\;<0$ ,
$\;f_{x}(M)\;$ reste stationnaire quand $\;y\;$ varie à $\;x\;$ et $\;z\;$ restant figés si $\;\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!x,\,z}(M_{0})\;$ est $\;=0$ .

Explicitation de la variation du champ (ou de la fonction) vectoriel(le) de l'espace par l'étude de la différentielle de ses composantes cartésiennes[modifier | modifier le wikicode]

......Une base cartésienne $\;\left\lbrace {\vec {u}}_{x}\,,\,{\vec {u}}_{y}\,,\,{\vec {u}}_{z}\right\rbrace \;$ étant choisie, la variation de la fonction vectorielle $\;{\vec {f}}\;\left(f_{x}\,,\,f_{y}\,,\,f_{z}\right)\;$ à partir d'un point $\;M_{0}\;$ $\left(x_{0}\,,\,y_{0}\,,\,z_{0}\right)\;$ de l'espace $\;{\mathcal {E}}\;$ peut être faite par l'étude de la variation de la différentielle de chaque composante cartésienne de $\;{\vec {f}}$ , à savoir les différentielles $\;df_{x}$ , $\;df_{y}\;$ et $\;df_{z}\;$ explicitées en fonction des coordonnées de $\;M$ , c'est-à-dire l'étude du signe des trois différentielles des composantes cartésiennes de $\;{\vec {f}}$ ;

......par exemple l'étude de la variation de $\;f_{x}(M)\;$ à partir de $\;M_{0}\;$ le long de la droite $\;\left\lbrace {\begin{array}{l}x+y=1\\z=2\end{array}}\right.\;$ ^[8]^, ^[12] utilisant l'expression de la différentielle de $\;f_{x}(M)\;$ à savoir $\;df_{x}(M_{0})=\left[\left({\dfrac {\partial f_{x}}{\partial x}}\right)_{\!\!y,\,z}(M_{0})\,dx+\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!\!x,\,z}(M_{0})\,dy+\left({\dfrac {\partial f_{x}}{\partial z}}\right)_{\!\!x,\,y}(M_{0})\,dz\right]\;$ est la suivante ^[13] :

......pour cela nous évaluons $\;df_{x}\;$ dans le contexte de la variation de $\;M\;$ à savoir $\;\left\lbrace {\begin{array}{l}dx+dy=0\\dz=0\end{array}}\right.\;$ à partir du point $\;(x_{0},\;y_{0}=1-x_{0},\;z_{0}=1)\;$ soit $\;df_{x}=\left({\dfrac {\partial f_{x}}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})\,dx+\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})\,dy+{\cancel {\left({\dfrac {\partial f_{x}}{\partial z}}\right)_{\!\!x,\,y}(x_{0},\,y_{0},\,z_{0})\,dz}}\;$ ou, en remplaçant $\;dy\;$ par $\;-dx\;$ pour satisfaire à la courbe suivie, $\;df_{x}=\left[\left({\dfrac {\partial f_{x}}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})-\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})\right]dx\;$ d'où :

$\;f_{x}\nearrow \;$ quand $\;x\nearrow \;$ le long de $\;\left\lbrace {\begin{array}{l}x+y=1\\z=2\end{array}}\right.\;$ si $\;df_{x}>0\;$ ou si $\;\left({\dfrac {\partial f_{x}}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})>\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})$ ,
$\;f_{x}\searrow \;$ quand $\;x\nearrow \;$ le long de $\;\left\lbrace {\begin{array}{l}x+y=1\\z=2\end{array}}\right.\;$ si $\;df_{x}<0\;$ ou si $\;\left({\dfrac {\partial f_{x}}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})<\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})\;$ et
$\;f_{x}\;$ reste stationnaire quand $\;x\;$ varie le long de $\;\left\lbrace {\begin{array}{l}x+y=1\\z=2\end{array}}\right.\;$ si $\;df_{x}=0\;$ ou si $\;\left({\dfrac {\partial f_{x}}{\partial x}}\right)_{\!\!y,\,z}(x_{0},\,y_{0},\,z_{0})=\left({\dfrac {\partial f_{x}}{\partial y}}\right)_{\!\!x,\,z}(x_{0},\,y_{0},\,z_{0})$ .

Commentaire final[modifier | modifier le wikicode]

......La méthode la plus complète pour déterminer la variation d'un champ vectoriel de l'espace est donc de procéder par évaluation de la différentielle de ses composantes cartésiennes mais
......la méthode la plus rapide, quand on souhaite uniquement des variations parallèlement aux axes de coordonnées cartésiennes est de procéder par calcul des dérivées partielles de ses composantes cartésiennes ;
......existe-t-il, pour un champ vectoriel, une notion plus compacte comme l'est celle de « gradient » pour un champ scalaire ^[14] ?
......Pour cela, cette grandeur devrait avoir neuf composantes traduisant les variations des trois composantes suivant les trois dimensions et devrait posséder un « caractère de dérivation », au niveau de ce chapitre la réponse est donc « non » ^[15].

Notes et références[modifier | modifier le wikicode]

↑ Représentant l'espace vectoriel auquel on associe l'ensemble des bipoints de l'espace affine.
↑ Les notions élémentaires des vecteurs de l'espace sont suffisants, il n'est pas, pour l'instant, utile de définir un espace vectoriel.
↑ ^3,0 et ^3,1 Ou à un sous-ensemble de $\;{\mathcal {E}}$ , le sous-ensemble correspondant au domaine de définition.
↑ ^4,0 et ^4,1 Plus exactement de l'espace vectoriel associé à l'espace affine (encore appelé « direction de l'espace affine »).
↑ ^5,0 ^5,1 et ^5,2 Ou à un sous-ensemble de $\;\mathbb {R} ^{3}$ , le sous-ensemble correspondant au domaine de définition.
↑ ^6,0 ^6,1 et ^6,2 Espace vectoriel encore appelé « direction de l'espace affine euclidien » $\;{\mathcal {E}}$ .
↑ La démarche serait la même pour déterminer la variation de $\;T\;$ relativement à $\;y\;$ sans faire varier $\;x\;$ et $\;z\;$ ou pour déterminer la variation de $\;T\;$ relativement à $\;z\;$ sans faire varier $\;x\;$ et $\;y$ .
↑ ^8,0 et ^8,1 Nous verrons ultérieurement dans le paragraphe « repérage d'une courbe dans l'espace » du chapitre $16$ de la leçon « Outils mathématiques pour la physique (PCSI) » qu'une équation cartésienne caractérisant une surface, la caractérisation d'une courbe nécessite deux équations cartésiennes, dans l'exemple cité $\;z=2\;$ est l'équation du plan horizontal de cote 2 et $\;x+y=1\;$ celle du plan vertical passant par le point $\;(0,\,1,\,0)$ , la courbe étant donc la droite horizontale intersection des deux plans.
↑ De dimension maximale trois.
↑ Usuellement on n'introduit pas les coordonnées du point en définissant les composantes mais on écrit $\;M\left\lbrace {\begin{array}{l}{\overset {f_{x}}{\rightarrow }}\;f_{x}(M)\in \mathbb {R} \\{\overset {f_{y}}{\rightarrow }}\;f_{y}(M)\in \mathbb {R} \\{\overset {f_{z}}{\rightarrow }}\;f_{z}(M)\in \mathbb {R} \end{array}}\right.,\;\forall \;M\in {\mathcal {E}}$ .
↑ La démarche serait la même pour l'étude de la variation de $\;f_{x}(M)\;$ à partir de $\;M_{0}\;$ relativement à $\;x\;$ ou relativement à $\;z\;$ ou pour l'étude de la variation de $\;f_{y}(M)\;$ ou de $\;f_{z}(M)\;$ relativement à chacune des coordonnées de $\;M$ .
↑ La démarche serait la même le long de n'importe quelle courbe passant par $\;M_{0}$ .
↑ La démarche serait la même pour l'étude de la variation de $\;f_{y}(M)\;$ ou de $\;f_{z}(M)\;$ utilisant l'expression des différentielles respectives $\;df_{y}(M_{0})=\left[\left({\dfrac {\partial f_{y}}{\partial x}}\right)_{\!\!y,\,z}(M_{0})\,dx+\left({\dfrac {\partial f_{y}}{\partial y}}\right)_{\!\!x,\,z}(M_{0})\,dy+\left({\dfrac {\partial f_{y}}{\partial z}}\right)_{\!\!x,\,y}(M_{0})\,dz\right]\;$ ou $\;df_{z}(M_{0})=\left[\left({\dfrac {\partial f_{z}}{\partial x}}\right)_{\!\!y,\,z}(M_{0})\,dx+\left({\dfrac {\partial f_{z}}{\partial y}}\right)_{\!\!x,\,z}(M_{0})\,dy+\left({\dfrac {\partial f_{z}}{\partial z}}\right)_{\!\!x,\,y}(M_{0})\,dz\right]$ .
↑ On rappelle que cette notion sera introduite dans le paragraphe « gradient de champ scalaire » du chapitre $18$ de la leçon « Outils mathématiques pour la physique (PCSI) ».
↑ À un niveau plus élevé que $\;BAC+1\;$ on peut introduire la dérivée d'une grandeur vectorielle par rapport à un autre grandeur vectorielle et celle-ci possède effectivement neuf composantes ; elle est représentable par une matrice carrée $\;3\times 3\;$ par exemple :
...en représentation cartésienne [introduite au chap. $16$ de la leçon « Outils mathématiques pour la physique (PCSI) »], avec $\;{\vec {f}}(M)=$ $f_{x}(M)\,{\vec {u}}_{x}+f_{y}(M)\,{\vec {u}}_{y}+f_{z}(M)\,{\vec {u}}_{z}\;$ et $\;{\vec {r}}(M)={\overrightarrow {OM}}=x\,{\vec {u}}_{x}+y\,{\vec {u}}_{y}+z\,{\vec {u}}_{z}\;$ on définit $\;\left({\dfrac {\partial {\vec {f}}}{\partial {\vec {r}}}}\right)=$ $\left(\!\!\!{\begin{array}{c}{\dfrac {\partial f_{x}}{\partial x}}\;\;\;{\dfrac {\partial f_{x}}{\partial y}}\;\;\;{\dfrac {\partial f_{x}}{\partial z}}\\{\dfrac {\partial f_{y}}{\partial x}}\;\;\;{\dfrac {\partial f_{y}}{\partial y}}\;\;\;{\dfrac {\partial f_{y}}{\partial z}}\\{\dfrac {\partial f_{z}}{\partial x}}\;\;\;{\dfrac {\partial f_{z}}{\partial y}}\;\;\;{\dfrac {\partial f_{z}}{\partial z}}\end{array}}\!\!\!\right)\;$ ${\Big [}$ l'ajout de parenthèses à la grandeur $\;{\dfrac {\partial {\vec {f}}}{\partial {\vec {r}}}}\;$ précisant qu'on adopte sa représentation matricielle] ;
...le produit de $\;\left({\dfrac {\partial {\vec {f}}}{\partial {\vec {r}}}}\right)\;$ avec la matrice colonne (ou matrice $\;3\times 1{\big )}\;$ $\;\left({\overrightarrow {dM}}\right)=\left(\!{\begin{array}{c}dx\\dy\\dz\end{array}}\!\right)\;$ [représentation matricielle du vecteur déplacement élémentaire défini dans le chap. $16$ de la leçon « Outils mathématiques pour la physique (PCSI) » et de composantes cartésiennes évaluées dans le même chapitre] donnant $\;\left({\dfrac {\partial {\vec {f}}}{\partial {\vec {r}}}}\right)\left({\overrightarrow {dM}}\right)=\left(\!{\begin{array}{c}{\dfrac {\partial f_{x}}{\partial x}}\,dx+{\dfrac {\partial f_{x}}{\partial y}}\,dy+{\dfrac {\partial f_{x}}{\partial z}}\,dz\\{\dfrac {\partial f_{y}}{\partial x}}\,dx+{\dfrac {\partial f_{y}}{\partial y}}\,dy+{\dfrac {\partial f_{y}}{\partial z}}\,dz\\{\dfrac {\partial f_{z}}{\partial x}}\,dx+{\dfrac {\partial f_{z}}{\partial y}}\,dy+{\dfrac {\partial f_{z}}{\partial z}}\,dz\end{array}}\!\right)=\left(\!{\begin{array}{c}df_{x}\\\\df_{y}\\\\df_{z}\end{array}}\!\right)\;$ soit encore $\;\left({\dfrac {\partial {\vec {f}}}{\partial {\vec {r}}}}\right)\left({\overrightarrow {dM}}\right)=\left(\!{\begin{array}{c}{\overrightarrow {\mathrm {grad} }}\left[f_{x}\right]\cdot {\overrightarrow {dM}}\\{\overrightarrow {\mathrm {grad} }}\left[f_{y}\right]\cdot {\overrightarrow {dM}}\\{\overrightarrow {\mathrm {grad} }}\left[f_{z}\right]\cdot {\overrightarrow {dM}}\end{array}}\!\right)$ ;
...les vecteurs de base cartésienne étant indépendants du point $\;M$ , le produit $\;\left({\dfrac {\partial {\vec {f}}}{\partial {\vec {r}}}}\right)\left({\overrightarrow {dM}}\right)=\left(\!{\begin{array}{c}df_{x}\\df_{y}\\df_{z}\end{array}}\!\right)\;$ est aussi la représentation matricielle de la différentielle de la fonction vectorielle $\;{\vec {f}}(M)\;$ c'est-à-dire $\;d{\vec {f}}=df_{x}\,{\vec {u}}_{x}+df_{y}\,{\vec {u}}_{y}+df_{z}\,{\vec {u}}_{z}$ ;
...ainsi l'étude de la variation de la fonction vectorielle $\;{\vec {f}}(M)\;$ revient à l'étude du signe des composantes de $\;\left({\dfrac {\partial {\vec {f}}}{\partial {\vec {r}}}}\right)$ , ce qui est une façon plus compacte de résumer le problème (mais qui nécessite néanmoins, dans la pratique, l'étude de neuf fonctions).