16.08.2013 Views

PHOTONIQUE POUR LES LASERS À CASCADE QUANTIQUE ...

PHOTONIQUE POUR LES LASERS À CASCADE QUANTIQUE ...

PHOTONIQUE POUR LES LASERS À CASCADE QUANTIQUE ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

tel-00740111, version 1 - 9 Oct 2012<br />

CHAPITRE 7 . CRISTAUX <strong>PHOTONIQUE</strong>S, THÉORIE ET MODÉLISATION<br />

Ce réseau réciproque est aussi un réseau de Bravais, et ses vecteurs<br />

primitifs sont donnés par :<br />

b1 = 2π<br />

a2 ∧ a3<br />

a1 · ( a2 ∧ a3)<br />

(7.11)<br />

où ai sont les vecteurs primitifs du réseau direct. Les deux autres vecteurs<br />

primitifs b2 et b3 sont obtenus en faisant une permutation circulaire des<br />

indices 1, 2 et 3 dans l’équation 7.11.<br />

La maille primitive de Wigner-Seitz du réseau réciproque est généralement<br />

appelée première zone de Brillouin.<br />

Théorème de Bloch<br />

Dans un cristal photonique la constante diélectrique ɛ(r) est périodique,<br />

on peut alors définir un réseau de Bravais tel que :<br />

ɛ(r + R) = ɛ(r) (7.12)<br />

pour tout vecteur R du réseau de Bravais.<br />

Pour démontrer le théorème de Bloch, il faut introduire un opérateur<br />

translation T R :<br />

T R f(r) = f(r + R) (7.13)<br />

L’hamiltonien Θ étant périodique il commute avec l’opérateur translation<br />

: 11<br />

[T R , Θ] = 0 (7.14)<br />

Or d’après les théorèmes de la mécanique quantique, si deux opérateurs<br />

commutent, un vecteur propre de l’un sera vecteur propre de l’autre<br />

[44], ainsi un champ H solution de l’équation de propagation sera aussi<br />

vecteur propre de l’opérateur translation :<br />

Θ <br />

ω<br />

2 H = H<br />

c<br />

(7.15)<br />

T R H = c R H<br />

où c R est la valeur propre associée à l’opérateur translation du vecteur R.<br />

D’après la définition des opérateurs translations, on a :<br />

T R1+ R2 = T R1 T R2<br />

(7.16)<br />

11 Pour montrer que les opérateurs commutent, il suffit de montrer que l’opérateur translation<br />

commute avec ∇. Pour cela il faut vérifier que l’opérateur translation commute avec<br />

l’opérateur dérivée : ∂<br />

∂x TRf(x) = ∂<br />

∂x f(x + R) = f ′ (x + R) = TR ∂<br />

∂x f(x)<br />

145

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!