Imaginons un faisceau lumineux dans l'air traversant divers éléments linéaires tels que polariseurs, lames à retard, etc. Le formalisme de Jones vise principalement à décrire l'état de polarisation de ce faisceau au cours de son trajet.
Dans le formalisme de Jones, on étudie un champ qui, entre deux appareils, se propage dans une direction bien précise. On néglige complètement les réflexions : on s'assure bien sûr qu'il n'y a pas de réflexions multiples entre les différents appareils. On assimile le champ à une onde plane monochromatique ; pour simplifier les notations, on suppose généralement que cette onde se propage dans la direction des $z$ positifs. L'état du champ est donc complètement déterminé par le vecteur de Jones $$\boldsymbol{\phi} = \begin{bmatrix} \f{E}_x \\ \f{E}_y \end{bmatrix} = \begin{bmatrix} |\f{E}_x| \mkern 2mu e^{i \delta_x} \\ |\f{E}_y| \mkern 2mu e^{i \delta_y} \end{bmatrix}$$
Dans la lumière visible, le champ varie trop rapidement pour qu'on puisse mesurer sa phase : la seule chose qu'on peut mesurer, en fait, c'est une différence de phase¹. On rencontre donc très souvent des vecteurs de Jones définis à un facteur de phase près : $$\begin{array} {ll} \boldsymbol{\phi} = \begin{bmatrix} \mkern -20mu|\f{E}_x| \\ |\f{E}_y| \mkern 2mu e^{i \delta} \end{bmatrix}, & \delta=\delta_y-\delta_x. \end{array}$$ Il est aussi commun d'introduire un angle $\psi$ pour décrire
la grandeur relative de $|\f{E}_x|$ et $|\f{E}_y|$ : $$\begin{array} {ll} |\f{E}_x|=|\f{E}|\cos\psi, & |\f{E}_y|=|\f{E}|\sin\psi, \end{array}$$ ce qui donne au total $$\boldsymbol{\phi} = |\f{E}|\begin{bmatrix} \mkern -20mu\cos\psi \\ \sin\psi\mkern 2mu e^{i\delta} \end{bmatrix}. \tag 1$$ On peut ainsi voir un vecteur de Jones comme constitué de deux éléments distincts :
La nature du deuxième élément fait qu'il y a une similitude frappante entre la description de la polarisation d'un faisceau lumineux et la mécanique quantique d'un système avec une base de dimension deux.
¹ Souvent qualifiée de phase relative.
Il est bien connu en mécanique quantique qu'on peut identifier les rayons d'un espace d'Hilbert avec les projecteurs sur les sous-espace de dimension 1 qu'ils engendrent. La situation est analogue dans le formalisme de Jones : considérons la matrice de polarisation² $$\boldsymbol\sigma = \boldsymbol\phi \boldsymbol\phi^\dagger = \begin{bmatrix} |\f{E}_x|^2 & \f{E}_x \f{E}_y^* \\ \f{E}_x^* \f{E}_y & |\f{E}_y|^2 \end{bmatrix}. \tag 2$$ Lorsqu'on écrit $\boldsymbol\phi$ sous la forme (1), cette matrice devient $$\begin{split} \boldsymbol{\sigma} & = |\f{E}|^2 \begin{bmatrix} \cos^2 \psi & \cos\psi\sin\psi\mkern 2mu e^{-i\delta} \\ \cos\psi\sin\psi\mkern 2mu e^{i\delta} & \sin^2 \psi \end{bmatrix} \\ & = \dfrac{|\f{E}|^2} 2 \begin{bmatrix} 1+\cos(2 \psi) & \sin(2\psi)\mkern 2mu e^{-i\delta} \\ \sin(2\psi)\mkern 2mu e^{i\delta} & 1-\cos(2 \psi) \end{bmatrix}. \end{split} \tag 3$$
Tout comme pour les vecteurs de Jones, on peut voir les matrices de polarisation correspondantes comme constituées de deux éléments distincts :
² Dans la littérature, cette matrice porte souvent le nom de matrice de cohérence, appellation qualifiée de désuète par certains.
On a vu au chapitre I que, dans un milieu isotrope transparent, le champ électrique d'une onde plane décrit une ellipse centrée à l'origine (on peut voir la polarisation linéaire comme un cas particulier où l'ellipse est complètement aplatie). Nous voulons trouver des paramètres pour exprimer le vecteur de Jones correspondant de manière simple.
Tout d'abord, il est possible de faire tourner l'ellipse d'un angle $-\theta$ pour amener son grand axe sur l'axe des $x$. On aura alors $$\begin{bmatrix} E_x \\ E_y \end{bmatrix} = \begin{bmatrix} a \cos(\omega t-\varphi) \\ \pm b \sin(\omega t-\varphi) \end{bmatrix}~\Leftrightarrow~ \begin{bmatrix} \f{E}_x \\ \f{E}_y \end{bmatrix} = e^{i\varphi}\begin{bmatrix} a \\ \pm ib \end{bmatrix},$$ où $0 \le b \le a$ ; l'ellipse est parcourue dans le sens direct avec le signe + et dans le sens horaire avec le signe -. On peut alors introduire un angle $\epsilon$ (compris entre $-\pi/4$ et $\pi/4$) défini par $$\epsilon = \pm\atan(b/a),$$ ce qui donne $$\begin{bmatrix} \f{E}_x \\ \f{E}_y \end{bmatrix} = |\f{E}|e^{i\varphi} \begin{bmatrix} \cos\epsilon \\ i\sin\epsilon \end{bmatrix},$$ où $|\f{E}|=\sqrt{a^2+b^2}$. Finalement, il nous reste à faire tourner l'ellipse d'un angle $\theta$ pour la ramener à sa position initiale. Au total, on aura donc³ $$\begin{bmatrix} \f{E}_x \\ \f{E}_y \end{bmatrix} = |\f{E}|e^{i\varphi} \begin{bmatrix} \cos\theta\cos\epsilon-i\sin\theta\sin\epsilon \\ \sin\theta\cos\epsilon+i\cos\theta\sin\epsilon \end{bmatrix}. \tag 5$$ À noter que la polarisation est linéaire si $\epsilon=0$, circulaire gauche si $\epsilon = \pi/4$ et circulaire droite si $\epsilon = -\pi/4$.
L'animation à droite permet de visualiser le phénomène pour différentes valeurs de $\theta$ et de $\epsilon$.
Valeurs des paramètres en degrés :
ϵ = θ =
Si on veut calculer la matrice de polarisation de ce champ, on obtient $$\begin{split} |\f{E}_x|^2 & = |\f{E}|^2 (\cos^2\mkern -2mu \theta\mkern 4mu \cos^2\mkern -2mu \epsilon+\sin^2\mkern -2mu \theta\mkern 4mu \sin^2\mkern -2mu \epsilon) \\ & = |\f{E}|^2 \left[\dfrac 1 2 +\dfrac 1 2 \cos(2\theta)\cos(2\epsilon)\right], \end{split} \tag{6a}$$ $$\begin{split} |\f{E}_y|^2 & = |\f{E}|^2 (\sin^2\mkern -2mu \theta\mkern 4mu \cos^2\mkern -2mu \epsilon+\cos^2\mkern -2mu \theta\mkern 4mu \sin^2\mkern -2mu \epsilon) \\ & = |\f{E}|^2 \left[\dfrac 1 2 -\dfrac 1 2 \cos(2\theta)\cos(2\epsilon) \right] \end{split} \tag{6b}$$ et $$\mkern 12mu \begin{split} \f{E}_x \f{E}_y^* & = |\f{E}|^2 \left[\cos\theta\sin\theta(\cos^2\mkern -2mu \epsilon-\sin^2\mkern -2mu \epsilon)-i\cos\epsilon\sin\epsilon\right] \\ & = |\f{E}|^2 \left[\dfrac 1 2 \sin(2\theta)\cos(2\epsilon)-\dfrac i 2 \sin(2\epsilon)\right].~~~~~~~(6c)\end{split}$$
³ Voir la section 5.
Lorsqu'un faisceau traverse un élément linéaire, il est possible de relier les vecteurs de Jones à l'entrée et à la sortie par une relation matricielle4 : $$\boldsymbol\phi_{out} = \vec J \boldsymbol\phi_{in}. \tag 7$$ La matrice $\vec J$ porte le nom de matrice de Jones de l'élément. En ce qui concerne les matrices de polarisation, puisqu'on a $$\begin{array} {ll} \boldsymbol\sigma_{in} = \boldsymbol\phi_{in}\boldsymbol\phi_{in}^\dagger, & \boldsymbol\sigma_{out} = \boldsymbol\phi_{out}\boldsymbol\phi_{out}^\dagger, \end{array}$$ l'action des matrices de Jones sera donnée par $$\boldsymbol\sigma_{out}=\vec J \boldsymbol\sigma_{in}\vec{J}^\dagger. \tag 8$$
Nous donnons ici les matrices de Jones pour deux types communs d'éléments. Indiquons tout de suite qu'il s'agit de matrices « théoriques » pour des éléments idéalisés.
Un polariseur correspondant à un état de polarisation $\boldsymbol{\hat\phi}$ devrait idéalement avoir pour matrice de Jones $\vec J$ le projecteur correspondant : $$\vec J = \vec P(\boldsymbol{\hat\phi}) = \boldsymbol{\hat\phi} \boldsymbol{\hat\phi}^\dagger.$$ Les états de polarisation qu'on désire obtenir en pratique sont :
On notera que l'action d'un polariseur sur un vecteur de Jones $\boldsymbol{\psi}$ est donnée par $$\vec P(\boldsymbol{\hat\phi})\boldsymbol{\psi}=(\boldsymbol{\hat\phi}^\dagger\boldsymbol{\psi})\boldsymbol{\hat\phi}.$$ Par exemple, $$\vec P(\boldsymbol{\hat\phi}_\alpha)\boldsymbol{\hat\phi}_\theta=\cos(\alpha-\theta)\boldsymbol{\hat\phi}_\alpha.$$ Ceci conduit à la loi de Malus, qui dit que l'intensité du faisceau sortant est proportionnelle à $\cos^2(\alpha-\theta)$.
Une lame à retard est un élément dont la matrice de Jones a idéalement la forme $$\vec J = e^{i\varphi_1}\vec{P}_1+e^{i\varphi_2}\vec{P}_2,$$ où $$\begin{array} {ll} \vec{P}_1=\vec{P}(\boldsymbol{\hat\phi}_\alpha), & \vec{P}_2=\vec{P}(\boldsymbol{\hat\phi}_{\alpha\pm\pi/2}). \end{array}$$ Si $\varphi_1 \lt \varphi_2$, on dit que la direction correspondant à $\boldsymbol{\hat\phi}_\alpha$ est l'axe rapide et la direction perpendiculaire, l'axe lent. On écrit souvent la matrice de Jones d'une lame à retard sous la forme5 $$\vec J = e^{i\varphi_1}[\vec{P}_1+e^{i\delta\varphi}\vec{P}_2],$$ où $\delta\varphi=\varphi_2-\varphi_1$ est le retard, ou encore sous la forme5 $$\vec J = e^{i\bar\varphi}[e^{-i\delta\varphi/2}\vec{P}_1+e^{i\delta\varphi/2}\vec{P}_2],$$ où $\bar\varphi=(\varphi_1+\varphi_2)/2$.
On dit que la lame est une lame quart d'onde si on a un retard $\delta\varphi=\pi/2$ et une lame demi onde si $\delta\varphi=\pi$.
4 Si les vecteurs de Jones sont définis à un facteur de phase près, il en sera forcément de même pour la matrice $\vec J$.
5 Les facteurs de phase $e^{i\varphi_1}$ et $e^{i\bar\varphi}$ sont généralement omis (voir note 4).
L'action sur un vecteur de Jones d'une rotation d'un angle $\theta$ autour de l'axe des $z$ est donnée par la relation $$\boldsymbol\phi'=\vec R(\theta) \boldsymbol\phi,$$ où la matrice de rotation $\vec R(\theta)$ a la forme $$\vec R(\theta) = \begin{bmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{bmatrix}.$$
Si maintenant on a un élément dont la matrice de Jones est $\vec J$, que devient cette matrice si on fait tourner l'élément d'un angle $\theta$ ?
Pour répondre à la question, notons par $\boldsymbol\phi_{in}$ le champ à l'entrée et par $\boldsymbol\phi_{out}$ le champ à la sortie de l'élément qu'on a fait tourner. On peut obtenir $\boldsymbol\phi_{out}$ par la succession d'opérations suivantes :
On aura donc au total $$\boldsymbol\phi_{out} = \vec R(\theta)\vec J \vec R(-\theta)\boldsymbol\phi_{in},$$ c'est à dire que la matrice de Jones de l'élément après qu'on l'ait fait tourner sera $$\vec J' = \vec R(\theta)\vec J \vec R(-\theta).$$
Par exemple, pour un polariseur linéaire, on aura
$$\begin{split} \vec R(\theta)\vec P(\boldsymbol{\hat\phi}_\alpha) \vec R(-\theta)&=\vec R(\theta)\boldsymbol{\hat\phi}_\alpha \boldsymbol{\hat\phi}_\alpha^\dagger \vec R(\theta)^\t\\&= \boldsymbol{\hat\phi}_{\alpha+\theta} \boldsymbol{\hat\phi}_{\alpha+\theta}^\dagger = \vec P(\boldsymbol{\hat\phi}_{\alpha+\theta}). \end{split}$$On peut réécrire la loi de Malus de manière suivante : $$I \propto \dfrac 1 2 [1+\cos (2\alpha-2\theta)].$$ Cette formule peut être étendue au cas où c'est un champ de la forme (5) qu'on fait passer dans un polariseur linéaire incliné à un angle $\alpha$. Le résultat est, tout simplement, $$I \propto \dfrac 1 2 [1+\cos(2\epsilon)\cos (2\alpha-2\theta)].$$
Comme on l'a vu, lorsqu'on passe à la convention des opticiens, il faut prendre le conjugué complexe des polarisations. Cela veut dire que dans cette convention, les vecteurs de Jones et donc les matrices de polarisation et les matrices de Jones sont les conjugués complexes des quantités équivalentes dans la convention des physiciens : $$\begin{array} {lll} \boldsymbol\phi_{op} = \boldsymbol\phi^*, & \boldsymbol\sigma_{op} = \boldsymbol\sigma^*, & \vec J_{op}= \vec J^*. \end{array}$$ Ceci suppose bien sûr qu'on garde toutes les autres choses égales. Or, tout le monde n'a pas la même convention pour le signe du paramètre $\epsilon$ de la section 3 et $\boldsymbol\sigma(\theta, -\epsilon) = \boldsymbol\sigma^*(\theta, \epsilon)$. La prudence est donc de mise.
Il semble qu'il n'y ait qu'une seule contrainte pour qu'une matrice de Jones soit physiquement réalisable : pour des éléments formés de matériaux passifs, l'intensité du faisceau à la sortie ne peut pas être supérieure à l'intensité du faiseau à l'entrée. Puisque pour un vecteur de Jones $\boldsymbol\phi = \begin{bmatrix} E_x & E_y \end{bmatrix}^\t$ on a $$I \propto |E_x|^2+|E_y|^2= \lVert\boldsymbol\phi\rVert^2,$$ il faut donc avoir $$\boldsymbol\phi_{out} = \vec J \boldsymbol\phi_{in}~~\Rightarrow~~\lVert\boldsymbol\phi_{out}\rVert \le \lVert\boldsymbol\phi_{in}\rVert.$$ En termes de la matrice $\vec J$, ceci peut être exprimé comme $$\lVert\vec J\rVert \le 1,$$ où la norme $\lVert\vec J\rVert$ est définie par la formule $$\lVert\vec J\rVert = \sup_{\lVert\boldsymbol\phi\rVert \le 1} \lVert\vec J \boldsymbol\phi\rVert.$$
On verra à la page suivante comment cette conditon peut être exprimée de manière équivalente sous une forme simple.
On peut montrer que $\lVert\vec J^\dagger\rVert = \lVert\vec J\rVert$ et donc $\vec J$ est physiquement réalisable si et seulement si $\vec J^\dagger$ l'est.