Une condition aux limites pour l'équation de Dirac est une prescription qui restreint les champs spinoriels autorisés sur la frontière d'un domaine spatial ou sur une hypersurface de sorte que l'opérateur de Dirac devienne auto‑adjoint (ou qu'une contrainte physique appropriée soit satisfaite) et que l'évolution dans le temps soit unitaire. Les conditions aux limites relient les composantes du spineur et leur flux normal pour assurer la conservation de la probabilité et un problème spectral bien posé.

Principe

Choisir des conditions aux limites qui rendent l'opérateur de Dirac auto‑adjoint (ou implémenter une extension auto‑adjointe) en imposant l'annulation de la composante normale du courant de probabilité ou en posant des relations linéaires entre composantes du spineur qui préservent l'hermiticité et les symétries (p. ex. conditions chirales ou du modèle MIT bag).

Démonstration

Imposer la condition aux limites MIT bag (1 + i n·γ)ψ = 0 sur la surface d'un domaine sphérique fini pour confiner des fermions et obtenir un spectre d'énergie discret ; exiger la continuité du spineur complet et la continuité du courant normal à travers une interface séparant des régions de potentiels externes différents pour modéliser la diffusion.

Mauvaise application

Forcer des composantes individuelles du spineur à s'annuler indépendamment à une frontière sans vérifier la conservation du courant ou l'auto‑adjointité peut produire des valeurs propres spurious, une évolution non unitaire ou des coefficients de réflexion physiquement incohérents.

Conséquence

Des conditions aux limites bien choisies conduisent à un opérateur de Dirac auto‑adjoint, à des spectres réels pour les problèmes stationnaires, à une évolution temporelle unitaire et à des propriétés de réflexion/transmission physiquement significatives pour les problèmes de diffusion.

Inversion

Conditions aux limites périodiques ou transparentes qui ne confinent pas mais modélisent des systèmes étendus ou ouverts ; différentes extensions auto‑adjointes correspondent à des comportements aux limites physiquement distincts plutôt qu'à un choix universel unique.

Limite

S'applique aux domaines spatiaux à frontières par morceaux régulières et aux hypersurfaces dans des champs de fond fixes ; exclut les situations présentant des anomalies de jauge nécessitant des degrés de liberté additionnels sur la frontière et les régimes où la création de particules à la frontière doit être traitée par la théorie quantique des champs complète.

Tension sémantique

Tension entre des prescriptions de bord locales motivées physiquement (p. ex. modèle du bag) et les classifications mathématiques complètes des extensions auto‑adjointes ; une condition simple physiquement peut ne pas être le choix auto‑adjoint le plus général pour le domaine de l'opérateur.

Synthèse

Une condition aux limites de l'équation de Dirac est une contrainte sur le comportement du spineur aux frontières du domaine choisie pour que l'opérateur de Dirac atteigne un domaine auto‑adjoint (ou une propriété physique appropriée), garantissant des valeurs propres réelles, des courants conservés et une évolution unitaire pour le problème posé.