Ensemble de schémas de discrétisation, d'algorithmes d'intégration temporelle et de pratiques d'implémentation utilisées pour calculer des solutions approchées de l'équation de Dirac sur ordinateur. Les approches courantes incluent différences finies en temps et espace, méthodes spectrales, schémas split-operator, intégrateurs de Crank–Nicolson, éléments finis et formulations de fermions sur réseau adaptées pour préserver la stabilité et des analogues discrets des courants conservés.

Principe

Discrétiser l'espace et le temps tout en conservant les propriétés essentielles de l'opérateur de Dirac : stabilité/unitarité de l'évolution temporelle, représentation fidèle de la relation de dispersion du continuum et évitement ou suppression contrôlée des artefacts de réseau (p. ex. doublement des fermions) par des opérateurs ou termes adéquats.

Démonstration

Simuler l'évolution temporelle d'un paquet d'onde de Dirac initialement localisé diffusant sur une marche de potentiel lisse à l'aide d'un code spectral split-operator ; observer le Zitterbewegung et l'interférence entre composantes d'énergie positive et négative ; étalonner les énergies liées en discrétisant les équations radiales de Dirac avec éléments finis.

Mauvaise application

Utiliser des discrétisations naïves par différences centrales en dimensions multiples sans traiter le doublement des fermions ou sans intégrateurs implicites/stables, produisant des modes spurious non physiques, une norme non conservée ou une instabilité numérique.

Conséquence

Permet l'étude quantitative de la diffusion relativiste dépendante du temps, du tunneling, des spectres d'états liés en géométries compliquées et la visualisation de phénomènes relativistes ; fournit des données pour la comparaison aux expériences et pour calibrer des approximations analytiques.

Inversion

Solution analytique ou simulation quantique sur un dispositif quantique tolérant aux fautes : la première fournit des formes closes, la seconde encode l'évolution dans un processeur quantique plutôt que sur maillages numériques classiques.

Limite

S'applique à la dynamique monoparticule de Dirac dans des champs externes spécifiés et aux approximations de fermions régularisés sur réseau ; exclut les processus exacts de QED nécessitant une renormalisation continue des champs d'interaction et les régimes où la production de particules domine sauf si des méthodes de théorie des champs sont incluses.

Tension sémantique

Tension entre la conservation stricte de l'unitarité et l'utilisation de discrétisations fortement localisées pour l'efficacité ; les choix favorisant l'efficacité (schémas explicites, mailles grossières) entrent souvent en conflit avec la nécessité de préserver les symétries du continuum ou les courants.

Synthèse

La simulation numérique de l'équation de Dirac comprend des choix de discrétisation et d'intégration visant à approcher la dynamique spinorielle continue sur un ordinateur tout en contrôlant les artefacts comme le doublement des fermions et en préservant la stabilité et, autant que possible, les quantités conservées.