Electromagnétisme, TD n˚1, corrigé Propagation et diffraction

Electromagnétisme, TD n˚1, corrigé
Propagation et diffraction
1 Rappel sur les ondes planes
Voir Polycopié, chapitre 1.
2 Pour aller un peu plus loin sur les ondes planes
1) On a (avec k= +ω/c) :
E(r, t) = ZE(ω) exp[i(kx −ωt)]dω
2π=Zf(ω)dω 2π(1)
E(r, t)est une grandeur physique réelle, on a donc E(−ω) = E(ω)∗. l’expression (1) devient :
E(r, t) = Z0
−∞
E(ω0) exp[i(k0x−ω0t)]dω0
2π+Z+∞
0
E(ω) exp[i(kx −ωt)]dω
2π
=Z0
+∞
E(−ω) exp[i(−kx +ωt)]−dω
2π+Z+∞
0
E(ω) exp[i(kx −ωt)]dω
2π
=Z+∞
0
2Re {E(ω) exp[i(kx −ωt)]}dω
2π(2)
Si l’on considère pour simplifier un champ scalaire, le terme sous l’intégrale peut se mettre sous
la forme 2|E(ω)|cos[kx −ωt +φ(ω)] où φ(ω)est la phase de E(ω).E(ω)apparaît comme une
amplitude complexe de l’onde plane.
2) Le champ électrique est E(r, t) = E0eycos(kx −ωt) = E0eyRe{exp[i(kx −ωt)]}. On peut
calculer le champ magnétique en utilisant Maxwell :
rotE =−∂B
∂t (3)
On peut utiliser l’expression complexe du champ, on a alors ik×E=iωBsoit B=E0
cezexp[i(kx−
ωt)]. Le champ magnétique est donc :
B=E0
cezcos(kx −ωt)(4)
1

On obtiendrait le même résultat en calculant le rotationnel de E0eycos(kx−ωt)puis en intégrant
sur le temps.
Le vecteur de Poynting se calcule facilement :
S=1
µ0
E2
0
cey×ezcos2(kx −ωt)(5)
=E2
0
2µ0cex[1 + cos 2(kx −ωt)] (6)
Le vecteur de Poynting traduit le flux d’énergie du champ électromagnétique au travers d’une
surface. La fréquence de vibration des champs électromagnétiques optiques est de l’ordre de 1014
à1015 Hz. Les détecteurs les plus rapides ont des bandes passantes de l’ordre de quelques GHz.
Les variations temporelles du flux d’énergie à 2ωsont donc éliminées à la détection. On calcule
donc toujours la valeur moyenne temporelle du vecteur de Poynting. On montre facilement que
cette valeur moyenne peut se calculer en utilisant les grandeurs complexes :
hSi=E2
0
2µ0cex=1 2µ0
Re (E×B∗)(7)
3 Transformation de Fourier et diffraction
X
Z
emax
L
a) Le champ pour z > 0peut s’écrire sous la forme d’un développement en ondes planes :
E(x, z) = Z+∞
−∞
˜
E(kx, z = 0) exp(ikxx+iγz)dkx
2π
avec γ= (ω2/c2−k2
x)1/2et Re(γ)>0, Im(γ)>0. L’amplitude des ondes planes constituant
E(x, z)est la transformée de Fourier de E(x, z)dans le plan z= 0 :
˜
E(kx, z = 0) = Z+∞
−∞
E(x, z = 0) exp(−ikxx)dx
Dans le cas d’une ouverture de largeur L>λ, où λ= 2πc/ω est la longueur d’onde du champ
incident, on peut en très bonne approximation supposer que le champ dans le plan z= 0 vaut
E0dans l’ouverture, et est nul dans le reste du plan. On a alors :
2

˜
E(kx, z = 0) = E0Z+L/2
−L/2
exp(−ikxx)dx =E0Lsinc(kxL/2)
où sinc(x) = sinx/x.
b) La plus grande partie de l’énergie diffractée est contenue dans le lobe central de la fonction
sinc. Le premier zéro de cette fonction (et donc la demi-largeur du lobe central) est donné par
kmax
xL/2 = π, soit kmax x= 2π/L. Pour les ondes propagatives (γréel), on a kx=ksin θoù
k=ω/c = 2π/λ. On obtient finalement l’ouverture angulaire du faisceau diffracté (dans le cas
Lλ) :
sin θmax 'θmax =λ
L
c) Le plus grand kxprésent dans la superposition d’onde plane de E(x, z)est le plus grand kx
pour lequel ˜ E(kx, z = 0) prend une valeur significative.
Supposons que E(x, z = 0) soit une fonction quelconque, de largeur ∆x(voir figure). On peut
donner une interpétation qualitative du calcul de sa transformée de Fourier ˜ E(kx, z = 0). Pour
faire ce calcul, on multiplie E(x, z = 0) par la fonction oscillante exp(−ikxx), puis on intègre.
Lorsque kx2π/∆x[cas (a) sur la figure], la fonction E(x, z = 0) reste pratiquement constante
d’une arche de la fonction oscillante à la suivante de signe opposé, de sorte que l’intégrale du
produit donne zéro. Au contraire, lorsque kx2π/∆x[cas (b) sur la figure], l’intégrale donne
une valeur finie. A quel moment a lieu la transition ? On peut dire qu’elle a lieu lorsqu’une arche
positive de la fonction oscillante compense exactement une arche négative sur la largeur ∆x[cas
(c) sur la figure], c’est-à-dire quand kx∆x'2π. Cette relation donne la plus grande valeur kmax
x
pour laquelle ˜ E(kx, z = 0) prend des valeurs appréciables.
6x
(c)
6x
(b)
6x
E(x,z=0)
(a)
Le raisonnement qui précède n’est valable que si la fonction étudiée n’a pas de variation forte à
l’intérieur de son support. Si la fonction a une variation sur une échelle plus petite que ∆x(par
exemple un pic de largeur l), on peut recommencer le raisonnement en prenant comme support
l. En fait, on peut montrer rigoureusement que kmax
x= 2π/l, où lest la plus petite échelle de
variation de E(x, z = 0). On a donc d’une façon générale :
∆xkmax
x≥2π
L’inégalité devient une égalité si ∆xest vraiment la plus petite échelle de variation de E(x, z = 0)
(et notamment si c’est la seule).
3

Cette relation est en fait une propriété générale de la transformation de Fourier. Les largeurs
d’une fonction et de sa transformée de Fourier sont toujours reliées par une relation de ce type.
Par exemple en mécanique quantique, on peut écrire la fonction d’onde Ψ(x)sous forme d’une
transformée de Fourier par rapport à la variable px= ¯hkx. On a donc une relation du type
∆x∆px≥h, qui est la relation d’incertitude de Heisenberg.
Dans le cas de l’ouverture diffractante de la question b), on a ∆x=Let kmax
x=ksin θmax. Le
champ E(x, z = 0) étant constant dans l’ouverture, Lest bien la plus petite échelle de variation
de E(x, z = 0), et on retrouve bien sin θmax 'θmax =λ/L.
4