(Equation de Maxwell-Faraday) (2.1)
D
H J
t
c
V =
c
(Equation de Maxwell-Ampre) (2.2)
0 B V =
(Equation de Maxwell-Gauss) (2.3)
D V =
(Equation de conservation du flux magntique) (2.4)
5
o E
la densit du
dplacement lectrique, H
le champ magntique, J
c
V + =
c
(2.6)
0
( , )
( , ) ( ) 0
E r t
H r t r
t
c c
c
V =
c
(2.7)
0 ( , ) H r t V =
(2.8)
0 ( ) ( , ) r E r t c
(
V =
(2.9)
Comme les quations de Maxwell sont linaires, il est possible de sparer la
dpendance temporelle de la dpendance spatiale et chercher des solutions de type
harmonique telles que :
6
( , ) ( )
i t
H r t H r e
e
=
et
( , ) ( )
i t
E r t E r e
e
=
(2.10)
Linsertion des modes harmoniques ci-dessus dans les quations de Maxwell (2.6) - (2.9)
donne les deux relations :
0
0 ( ) ( ) E r i H r e V =
(2.11)
0
0 ( ) ( ) ( ) H r i r E r ec c V + =
(2.12)
et conduit aux conditions suivantes :
0 ( ) H r V =
et
0 ( ) ( ) r E r c
(
V =
(2.13)
En partant des quations (2.11) et (2.12), et en employant la relation
0 0
1/ c c = ,
on peut liminer le champ ( ) E r
et obtenir une quation aux valeurs propres pour ( ) H r
:
2
1
( ) ( )
( )
H r H r
r c
e
c
| |
| |
V V =
| |
\ .
\ .
(2.14)
Avec les deux quations de divergence (2.13), cette quation nous fournit toutes les
informations sur le comportement de ( ) H r
.
2.1- Analogie Schrdinger-Maxwell
Un photon qui se propage dans un cristal photonique est l'quivalent d'un lectron dans
un semi-conducteur, cette analogie lectron photon dcoule de la similitude entre l' quation
de Schrdinger rgissant la propagation des lectrons dans un matriau caractris par un
potentiel lectrostatique priodique et les quations de Maxwell utilises pour dcrire la
propagation d'une onde lectromagntique dans un matriau caractris par sa constante
dilectrique priodique. L'quation de Schrdinger en rgime stationnaire pour la fonction
d'onde d'un lectron dans un potentiel V s'crit :
( )
2
2
2
( ) ( ) ( )
m
r U V r r V + = +
(2.15)
7
Nous avons vu qu'en rgime linaire l'quation de propagation d'une onde
lectromagntique monochromatique dans un matriau avec ( ) r c
tait :
2
( ) ( ) ( ) H r r H r
c
e
c
| |
(
V V =
|
\ .
(2.16)
Dans ce cas, l'quation de la fonction d'onde d'un lectron de masse m dans un
potentiel V (quation 2.15) est analogue l'quation d'onde lectromagntique dans un milieu
dilectrique ( ) r c
(quation 2.16).
Les quations (2.15) et (2.16) sont deux quations aux valeurs propres. L'quation
(2.16) dfinit les valeurs possibles de la frquence d'une onde se propageant dans le matriau
en l'absence d'excitation extrieure et les amplitudes des champs associs. Lquation (2.15)
dfinit les valeurs possibles de l'nergie d'un lectron se propageant librement dans un
potentiel et les fonctions d'onde associes. L'nergie de l'lectron et la frquence de l'onde
lectromagntique sont les valeurs propres, dictes respectivement par le potentiel et la
constante dilectrique.
En identifiant le membre gauche de l'quation matresse (2.14) comme un operateur
Oagissant sur ( ) H r
, on arrive :
2
1
( ) ( ) ,
( )
H r H r
c r
e
c
| |
| |
O = O = V V
| |
\ .
\ .
(2.18)
2.2- Diffrences et similarits
Lquation de propagation lectromagntique est vectorielle alors que lquation de
Schrdinger est scalaire. Il sagit dquations linaires aux drives partielles du deuxime
ordre. En ce qui concerne la drive temporelle de lquation de Schrdinger, elle est limite
lordre 1 alors quelle atteint lordre 2 pour lquation de propagation de Maxwell. Les
lectrons sont des fermions. Ils ont un spin demi-entier et suivent la loi de rpartition de
Fermi. Les photons sont des bosons, ils suivent la loi de rpartition de Bose-Einstein. Dans ce
cas il peut y avoir plusieurs particules dans le mme tat quantique, et tendent naturellement
se regrouper dans le mme tat. Leur spin est entier. Les photons ninteragissent pas entre eux
et leur nergie ne peut pas tre modifie. Ils peuvent tre absorbs ou mis, sinon ils
conservent leurs frquences.
8
Electron (Schrdinger) Photon (Maxwell)
Priodicit
Puits de potentiel lectrique carr
Constant dilectrique priodique
Champ
( , ) ( )exp( / ) r t r iEt =
( , ) ( )exp( ) H r t H r i t e =
Grandeur
caractristique
( ) V r
( ) E r
Oprateur
Hermitien
2 2
( )
2
H V r
m
V
= +
( ) r c
| |
O = V V
|
\ .
Equation aux
valeurs propres
H E =
2
( ) ( ) H r H r
c
e
| |
O =
|
\ .
3- Mthodes de simulation
3.1- Implmentation de la mthode FDTD
On reprend les quations de Maxwell-Faraday et de Maxwell-Ampre dans le domaine
temporel sous leur forme diffrentielle [6] :
B
E M
t
c
= V
c
et
D
H J
t
c
= V
c
(3.1)
avec J E o =
,
*
M H o =
,
o est la conductivit lectrique,
*
o est la rsistivit magntique.
Dans un matriau linaire, isotrope et non dispersif, les champs B
et H
dune part et
D
et E
c
(
c c
=
(
c c c
c
c c
(
=
(
c c c
c
( c c
=
(
c c c
et
1
1
1
y
x z
x
y
x z
y
y
z x
z
H
E H
J
t y z
E
H H
J
t z x
H
E H
J
t x y
c
c
c
c
(
c c
=
(
c c c
c
c c
(
=
(
c c c
c
( c c
=
(
c c c
(3.3)
Lide principale de lalgorithme de la FDTD est de discrtiser les quations (3.3)
dans leur forme diffrentielle et de les remplacer par un jeu dquations aux diffrences finies.
Il sagit dune mthode de numrisation qui permet de passer de lexpression analytique de
lquation une approximation numrique. Cette mthode peut sappliquer toute drive
partielle, du premier ou second ordre (dveloppement en srie de Taylor).
3.1.1- Discrtisation des quations de Maxwell
Une discrtisation spatiale et temporelle aux diffrences finies est effectue pour la
rsolution des deux sous systmes (3.3). La discrtisation des oprateurs de drivation utilise
un schma centr des diffrences finies, avec une formulation dont la diminution de moiti du
pas de discrtisation rduit de 25% les erreurs dvaluation des oprateurs de drivation.
Figure 3.1 : Cellule de YEE
Les paralllpipdes ou mailles lmentaires (voir la figure 3.1) constituent le volume
de calcul. Afin de le reprsenter selon le schma FDTD, on doit construire un maillage pour la
structure tudi. Prcisons que dans le volume de calcul, sont toujours prsents un nud
magntique entre quatre nuds lectriques et un nud lectrique entre quatre nuds
magntiques. Ainsi la drive centre est utilise pour toutes les drives spatiales prsentes
dans les quations de Maxwell. Pour reprsenter le volume de calcul, il est ncessaire de
construire un maillage.
10
Dans le cas dun maillage rgulier, les drives spatiales sont values dans les trois
directions Ox, Oy, Oz avec des incrments constants : dx, dy, dz, appels pas spatiaux. Ces
derniers sont choisis par lutilisateur et dpendent de la plus petite longueur donde prsente
dans la bande de frquence danalyse et de la gomtrie de la structure tudier.
Pour le cas dune discrtisation temporelle uniforme, avec un pas dchantillonnage dt,
le champ lectrique sera calcul pour des multiples impairs de dt/2, et le champ magntique
pour les multiples pairs de dt/2 comme le montre la figure 3-2 :
Figure 3-2 : Calcul de H linstant ndt et calcul de E linstant (n+1/2)dt
3.1.2- Equations de Maxwell aux diffrences centres
En utilisant le principe des diffrences finies centres et les notations de Kane Yee [7],
pour une fonction
, ,
( , , , )
n
i j k
u i x j y k z n t u A A A A = o i, j, k, n sont des entiers, la drive
temporelle de u au point (i, j, k) sexprime alors simplement :
1/ 2 1/ 2
, , , ,
2
( , , , ) ( )
n n
i j k i j k
u u
u
i x j y k z n t O t
t t
+
c
( A A A A = + A
c A
(3.4)
de mme que ses drives spatiales linstant nt :
1/ 2, , 1/ 2, , 2
, 1/ 2, , 1/ 2,
2
, , 1/2 , , 1/2 2
( , , , ) ( )
( , , , ) ( )
( , , , ) ( )
n n
i j k i j k
n n
i j k i j k
n n
i j k i j k
u u
u
i x j y k z n t O x
x x
u u
u
i x j y k z n t O y
y y
u u
u
i x j y k z n t O z
z z
+
+
+
c
(
A A A A = + A
c A
c
( A A A A = + A
c A
c
(
A A A A = + A
c A
(3.5)
En appliquant le principe des diffrences finies centres avec ces notations, une
approximation numrique du systme des quations diffrentielles couples (3.3) peuvent
maintenant tre obtenus :
11
, 1, 1/ 2 , , 1/ 2
1/ 2 1/ 2
, 1/2, 1/ 2 , 1/ 2, 1/ 2 , 1/ 2, 1 , 1/2,
, 1/2, 1/ 2
, 1/2, 1/ 2
, 1/ 2, 1/ 2
1
n n
z z
i j k i j k
n n
n n
y y
x x
i j k i j k i j k i j k
i j k
n
i j k x
i j k
H H
y
H H
E E
t z
E
c
o
+ + +
+
+ + + + + + +
+ +
+ +
+ +
(
(
A
(
(
(
=
(
A A
(
(
(
(
(
(3.6)
1/ 2, 1, 1 1/ 2, 1,
1/2 1/2
1/ 2, 1, 1/ 2 1/2, 1, 1/2 , 1, 1/2 1, 1, 1/2
1/ 2, 1, 1/2
1/2, 1, 1/2
1/ 2, 1, 1/ 2
1
n n
x x
i j k i j k
n n
n n
y y
z z
i j k i j k i j k i j k
i j k
n
i j k y
i j k
H H
z
E E
H H
t x
E
c
o
+ + +
+
+ + + + + + + +
+ +
+ +
+ +
(
(
A (
(
(
=
(
A A
(
(
(
(
(3.7)
, 1/2, 1 1, 1/2, 1
1/2 1/ 2
1/2, 1/2, 1 1/ 2, 1/ 2, 1 1/2, 1, 1 1/ 2, , 1
1/2, 1/2, 1
1/ 2, 1/ 2, 1
1/ 2, 1/ 2, 1
1
n n
y y
i j k i j k
n n n n
z z x x
i j k i j k i j k i j k
i j k
n
i j k z
i j k
H H
x
E E H H
t y
E
c
o
+ + + +
+
+ + + + + + +
+ +
+ +
+ +
(
(
(
A
(
(
=
(
A A
(
(
(
(
(3.8)
1/ 2 1/2
1/ 2, 1, 3/2 1/ 2, 1, 1/ 2
1 1/2 1/ 2
1/2, 1, 1 1/ 2, 1, 1 1/2, 1, 1 1/2, 1/2, 1
1/ 2, 1, 1
1/ 2
*
1/ 2, 1, 1
1/2, 1, 1
1
n n
y y
i j k i j k
n n n n
x x z z
i j k i j k i j k i j k
i j k
n
i j k x
i j k
E E
z
H H E E
t y
H
c
o
+ +
+ + + +
+ + +
+ + + + + + + +
+ +
+
+ +
+ +
(
(
(
A
(
(
=
(
A A
(
(
(
(
(3.9)
1/ 2 1/ 2
1/ 2, 1/ 2, 1 1/2, 1/2, 1
1
1/2 1/2
, 1/ 2, 1 , 1/ 2, 1 , 1/ 2, 3/2 , 1/2, 1/ 2
, 1/ 2, 1
1/ 2
*
, 1/2, 1
, 1/2, 1
1
n n
z z
i j k i j k
n n
n n
y y
x x
i j k i j k i j k i j k
i j k
n
i j k y
i j k
E E
x
H H
E E
t z
H
c
o
+ +
+ + + + +
+
+ +
+ + + + + + + +
+ +
+
+ +
+ +
(
(
A (
(
(
=
(
A A
(
(
(
(
(3.10)
12
1/ 2 1/ 2
, 3/2, 1/ 2 , 1/2, 1/ 2
1/2 1/ 2
1
, 1, 1/ 2 , 1, 1/2 1/2, 1, 1/2 1/ 2, 1, 1/ 2
, 1, 1/2
1/ 2
*
, 1, 1/ 2
, 1, 1/2
1
n n
x x
i j k i j k
n n
n n
y y
z z
i j k i j k i j k i j k
i j k
n
i j k z
i j k
E E
y
E E
H H
t x
H
c
o
+ +
+ + + +
+ +
+
+ + + + + + + + +
+ +
+
+ +
+ +
(
(
A (
(
= (
A A
(
(
(
(
(
(3.11)
3.1.3- Critres de convergence et de stabilit de lalgorithme
La convergence du schma numrique est assure si la vitesse de propagation
numrique de londe dans la grille est finie et suprieure ou gale la vitesse de phase de
londe relle. Lapplication de cette contrainte implique une relation entre les pas de
discrtisation temporelle et spatiale donns par la condition de Courant-Friedrichs-Lewy [8]:
max Num P
h
V V
t
= >
A
Soit
max
1
P
V t
h
A
s (3.12)
o h reprsente lincrment spatial et t lincrment temporel, V
Pmax
reprsente la vitesse de
phase maximale de londe dans le volume de calcul. Dans le cas gnral, pour un maillage
cartsien en 3D, cette condition devient :
( ) ( ) ( )
max 2 2 2
1
1 1 1
P
t
V
x y z
A s
+ +
A A A
(3.13)
3.1.4- Conditions dabsorption aux limites
Les quations de Maxwell sont rsolues dans un domaine de calcul dont les
dimensions sont ncessairement finies. Toutefois certaines simulations numriques
demandent des conditions despace libre. Il faut donc soit agrandir le domaine de calcul de
telle sorte que les ondes rflchissantes ne perturbent pas les rsultats, soit appliquer des
conditions particulires sur les frontires afin dobtenir un domaine non born. La premire
solution est restrictive, elle va demander beaucoup trop de place mmoire dfavorisant ainsi le
temps de calcul, par contre la deuxime est la plus avantageuse.
3.1.5- Couches parfaitement adaptes PML
Ces conditions aux limites sont certainement les conditions dabsorption les plus
performantes aujourdhui. Elles permettent de descendre des rflexions en amplitude de
13
lordre de 10
-5
, sur une trs large gamme de frquences. La technique PML (Perfectly
Matched Layers) [9] repose sur le principe dadaptation dimpdance linterface entre deux
milieux de mme indice mais dont lun est absorbant avec des conductivits lectrique o et
magntiques
*
o non nulles (voir figure 3-2). Cette condition dadaptation scrit :
*
0
o o
c
=
Figure 3-2 : Principe de fonctionnement dune PML
Londe arrivant du milieu incident nest pas rflchie vers celui-ci et se trouve
attnue dans le milieu absorbant. Mais dans ce cas, ladaptation dimpdance nest possible
qu incidence normale, des rflexions parasites linterface apparaissent dans le cas o
londe arrive incidence oblique. Pour y remdier, Berenger [14] a propos un milieu
absorbant artificiellement biaxe. Labsorption est non nulle suivant la normale linterface
entre les deux milieux et elle est nulle suivant laxe parallle linterface.
3.1.6- Implmentation des milieux dispersifs
La mthode ADE (Auxiliary Differential Equation) [10] est base sur les proprits
dinversion de la transforme de Fourier entre les domaines spectral et temporel. Ces mmes
proprits permettent dtablir les quivalences suivantes :
1 1
2
n n
E E E
j E
t t
e
+
c
=
c A
et
( )
2 1 1
2
2 2
2
n n n
E E E E
E
t
t
e
+
c +
=
c
A
(3.14)
Considrons le modle de dispersion de Debye:
0
0
1
s
j t
c c
c c c
e
| |
= +
|
+
\ .
(3.15)
En replaant (3.15) dans la relation ( ) ( ) ( ) D E e c e e = , un peu dalgbre suivi dune
formulation aux diffrences finies permet dobtenir pour la composante lectrique suivant x :
1 1
1 2 3
n n n n
x x x x
E a D a D a E
+ +
= + + (3.16)
avec
0
1
0
2
2
s
t t
a
t t c c
A +
=
+ A
,
0
2
0
2
2
s
t t
a
t t c c
A
=
+ A
et
3
0
2
2
s
s
t t
a
t t
c
c c
A
=
+ A
14
La mthode ADE permet dobtenir une relation entre D
et E
et E
(3.17)
Par consquent, les quations de Maxwell travers lquation de Helmholtz sont
reprsentes dans le domaine frquentiel et transformes en un problme aux valeurs propres
dont la rsolution permet dobtenir les relations de dispersion.
3.2.2- Structure de bandes des cristaux photoniques unidimensionnels
Afin d'obtenir la relation de dispersion, il est ncessaire de rsoudre le problme au x
valeurs propres formul pour l'quation de Helmholtz l'intrieur de la structure priodique
infinie. Pour un cristal photonique une dimension, lquation (3.17) devient:
2
( ) ( ) H x H x
c
e
| |
O =
|
\ .
,
1
( ) x x x c
c c
O =
c c
(3.18)
Etant donne la priodicit de la constante dilectrique, on peut appliquer le thorme
de Bloch [11] lquation (3.18) pour dvelopper le champ H
(3.24)
En tenant compte de la relation G G G
' '''
= + et en faisant la projection sur la base
exp( ( ) ) j k G x + , on obtient lquation matresse dun cristal photonique unidimensionnel :
2
, ,
2
( )[( ) ( )] ( ) ( ) 0
k n k n
G
G G k G k G h G h G
c
e
_
'
' ' '
+ + + =
(3.25)
16
Lquation (3.25) reprsente un systme linaire de dimension infinie et les
informations sur la distribution de constante dilectrique l' intrieur de la structure
photonique sont fournies sous forme de coefficients de Fourier. L'oprateur diffrentiel dans
l'quation (3.25) est prsent sous forme dune matrice dont l'lment peut tre dtermin
partir de l'expression suivante :
,
( )(( ) ( ))
G G
G G k G k G u _
'
' '
= + +
(3.26)
Lensemble de solutions du systme d'quations (3.25) est alors lensemble des valeurs
propres de l'oprateur diffrentiel matriciel dont la forme est comme suit:
1 1 2 1 1
1 2 2 2 2
1 2
N
N
N N N N
G G G G G G
G G G G G G
G G G G G G
u u u
u u u
u
u u u
' ' '
' ' '
' ' '
=
(3.27)
La particularit principale de cette matrice est qu'elle est hermitienne.
La solution du problme aux valeurs propres pour un cristal photonique
unidimensionnel est gnralement reprsente sous forme de structure de bandes : en
abscisses, le vecteur donde k, en ordonnes la frquence normalise / 2 a c e t .
Figure 3-3 : structure de bandes dun cristal photonique 1D
Les frquences propres du cristal photonique commencent partir de la frquence
nulle un point k = 0. Plus haut sur l'axe de frquences la bande interdite photonique (PBG)
apparat. Le cristal photonique n'a pas des tats propres dans cette bande.
17
3.2.3 -Algorithme de la mthode PWE
Le processus entier de calcul effectu, pour un cristal photonique unidimensionnel,
peut tre dcrit par les oprations suivantes :
Figure 3-4 : processus de calcul dans la mthode des ondes planes
3.2.4- Structure de bandes des cristaux photoniques 2D et 3D
Dans une structure photonique 3D, la variation de la constante dilectrique est
priodique dans toutes les directions possibles. En suivant les mmes tapes, une quation aux
valeurs propres est obtenue :
{ }
2
,
2 , ,
( )( ) ( ) ( ) ( )
k n
k n k n
G
G G k G k G H G H G
c
e
_
'
' ' '
+ + =
(3.28)
Cette quation reprsente lquation matresse dun cristal photonique 3D et ses
solutions reprsentent les tats propres de cette structure.
Lquation (3.28) reprsente un systme linaire de dimension infinie car il y a une
infinit de vecteurs G
(3.29)
o G
et G
'