« Analyse vectorielle/Analyse vectorielle complexe » : différence entre les versions

Contenu supprimé Contenu ajouté
m Lien vers formulaire
Modification : typographie française
Ligne 11 :
Dans certains cas, on est amené à considérer des champs sous la forme de solutions harmoniques, qui sont commodes en notation complexe. En effet, toute fonction « suffisamment régulière » peut être décomposée en somme de telles solutions, d'après le théorème de Fourier. Les outils d'analyse vectorielle s'adaptent à cette description.
 
Pour l'exemple, nous traiterons ici le cas très général du champ électrique '''<math>\overrightarrow E'''</math>.
 
== Notations et rappels ==
Ligne 17 :
Nous allons introduire les notations que nous utiliserons dans ce chapitre, à des fins simplificatrices. On suppose que le champ électrique est de la forme :
 
:<math>\mathbfoverrightarrow E = \begin{pmatrix} E_{0,x} \cos (\omega t - k_xx+ \phi_x) \\ E_{0,y} \cos (\omega t - k_yy+ \phi_y) \\ E_{0,z} \cos (\omega t - k_zz + \phi_z) \end{pmatrix}</math>
 
Avec ''E<sub>i</sub>'' des amplitudes de champs, <math>\omega</math> la pulsation de l'onde, '''<math> \overrightarrow k''' = (''k<sub>x</sub>k_x, k<sub>y</sub>k_y, k<sub>zk_z)</submath>'') le vecteur d'onde (dont la norme est le nombre d'onde ''k'') et ''ϕΦ<sub>i</sub>'' des éventuels déphasages. On rappelle que ''k'' est défini par ''k² = ω²/c²''.
 
On introduit la notation complexe :
 
:<math>\mathcal E = \begin{pmatrix} E_{0,x} e^{i (\omega t - k_xx+ \phi_x)} \\ E_{0,y} e^{i (\omega t - k_yy + \phi_y)} \\ E_{0,z} e^{i(\omega t - k_zz + \phi_z)} \end{pmatrix}</math>
 
De sorte que le champ électrique véritable est la partie réelle de ce « vecteur complexe » :
 
:<math>\mathbfoverrightarrow E = \Re ( \mathcal E )</math>
 
On peut réécrire :
 
:<math>\mathcal E = \begin{pmatrix} E_{0,x} e^{i \phi_x} \\ E_{0,y} e^{i \phi_y} \\ E_{0,z} e^{i \phi_z} \end{pmatrix} e^{i (\omega t - \mathbfoverrightarrow k \cdot \mathbfoverrightarrow r)} = \mathcal E_0 e^{i (\omega t - \mathbfoverrightarrow k \cdot \mathbfoverrightarrow r)}</math>
 
Il est important à ce stade de noter que la quantité <math>\mathcal E_0</math> n'est pas élémentaire : il s'agit d'un vecteur dont les coordonnées sont des nombres complexes.
Ligne 40 :
 
On admet ici que le vecteur formel nabla prend dans l'espace de Fourier la forme suivante :
:<math>\nabla = -i \mathbfoverrightarrow k</math>
 
On retrouve ainsi les expressions des opérateurs vectoriels :
 
* Divergence : <math>\mathrm{div} = - i \mathbf k \cdot</math>
* RotationnelDivergence : <math>\mathbfmathrm{rotdiv} = - i \mathbfoverrightarrow k \timescdot</math>
 
* Laplacien : <math>\Delta = - k^2</math>
* DivergenceRotationnel : <math>\overrightarrow{\mathrm{divrot}} = - i \mathbfoverrightarrow k \cdotwedge</math>
 
* Laplacien : <math>\Delta = - k^2 \!</math>
 
== Exemples ==
 
=== Exemple simple (relation de structure) ===
 
Commençons par un exemple simple. Supposons que le champ se propage selon la seule direction ''x'' dans le vide, alors d'après l'équation de Maxwell-Gauss :
 
:<math>\mathrm{div} \, \mathbfoverrightarrow E = 0</math>.
 
Avec ce qui précède, la divergence du champ électrique est la partie réelle de :
 
:<math>\begin{align} -i k\mathbfoverrightarrow e_x \cdot \mathcal E_0 e^{i(\omega t - k \mathbfoverrightarrow r \cdot \mathbfoverrightarrow e_x)} & = -ik e^{i(\omega t - kx)} \left( \mathbfoverrightarrow e_x \cdot \mathcal E_0 \right) \end{align}</math>.
 
Ainsi, on a :
 
:<math>\Re \left( \mathbfoverrightarrow e_x \cdot \mathcal E \right) = \mathbfoverrightarrow e_x \cdot \mathbfoverrightarrow E = 0</math>.
 
C'est-à-dire qu'à tout instant, le champ électrique est orthogonal à sa direction de propagation (cela est évident du point de vue des invariances, mais il est toujours bon de le vérifier).
 
=== Exemple moins simple (nombre d'onde) ===
 
Intéressons-nous plutôt à l'équation de propagation du champ électrique. En effet, on sait que, dans le vide :
 
:<math>\Delta \mathbfoverrightarrow E - \frac{1}{c^2} \frac{\partial^2 \mathbfoverrightarrow E}{\partial t^2} = 0</math>.
 
Réécrivons cela à la lumière des outils développés dans ce chapitre :
 
<math>\frac{\partial^2 \mathbf E}{\partial t^2} = \Re \left( -\omega^2 \mathcal E \right)</math>
:<math>\Deltafrac{\partial^2 \mathbfoverrightarrow E}{\partial t^2} = \Re \left( -k\omega^2 \mathcal E \right) </math> ;
 
:<math>\frac{\partial^2Delta \mathbfoverrightarrow E}{\partial t^2} = \Re \left( -\omegak^2 \mathcal E \right) </math>.
 
On a ainsi :
<math>\begin{align} -k^2 \mathcal E + \frac{1}{c^2} \omega^2 \mathcal E & = & 0 \\ -k^2 + \frac{\omega^2}{c^2} & = & 0 \\ k^2 & = & \frac{\omega^2}{c^2} \end{align}</math>
 
:<math>\begin{align} -k^2 \mathcal E + \frac{1}{c^2} \omega^2 \mathcal E & = & 0 \\ -k^2 + \frac{\omega^2}{c^2} & = & 0 \\ k^2 & = & \frac{\omega^2}{c^2} \end{align}</math>.
On retrouve la définition de ''k'' = ||'''k'''||, ce qui est rassurant.
 
On retrouve la définition de ''<math>k'' =\| \overrightarrow ||'''k'''| \|</math>, ce qui est rassurant.
 
{{Bas de page