Une condition initiale pour l'équation de Dirac est l'attribution d'un spineur de carré intégrable (donnée de Cauchy) sur une hypersurface espace‑like choisie qui, conjointement avec l'opérateur de Dirac et son domaine, détermine l'évolution espace–temps unique ultérieure du champ spineur sous une dynamique unitaire. Les données initiales appropriées appartiennent à des espaces de Sobolev ou du type L2 et doivent satisfaire toute contrainte ou condition de compatibilité imposée par des termes de frontière ou de couplage.

Principe

Fournir des données de Cauchy complètes sur une tranche espace‑like qui appartiennent au domaine de l'opérateur de Dirac auto‑adjoint (ou de son générateur d'évolution), de sorte que l'existence, l'unicité et la propagation unitaire découlent du caractère bien posé du système hyperbolique d'ordre un ; séparer les projections énergie‑positive/énergie‑négative lorsque cela est physiquement requis pour définir des états particule.

Démonstration

Spécifier un paquet d'onde gaussien spinoriel localisé à t = 0 avec une polarisation de spin et une distribution de moment choisies ; l'évoluer numériquement ou analytiquement à l'aide du propagateur unitaire exp(−iHt) pour observer la dispersion, la diffusion sur des potentiels et l'interférence entre secteurs d'énergie.

Mauvaise application

Ne spécifier qu'un sous‑ensemble de composantes du spineur ou des données incompatibles qui n'appartiennent pas au domaine de l'opérateur (p. ex. données discontinues à travers une frontière où la continuité est exigée) conduit à une évolution mal posée, à la non conservation de la norme ou à l'apparition de composantes spurious haute‑fréquence.

Conséquence

Une condition initiale valide produit une évolution temporelle unitaire unique, la conservation du courant de probabilité et des propriétés de diffusion et spectrales prévisibles ; elle constitue le point de départ pour le calcul des observables et des amplitudes de transition.

Inversion

Formulations de valeur au bord ou asymptotiques où les données sont prescrites à l'infini spatial ou sur des frontières passée et future plutôt que sur une seule hypersurface initiale ; il s'agit de classes de problèmes différentes (elliptiques versus hyperboliques).

Limite

Pertinente pour la dynamique monoparticule de Dirac et l'évolution de paquets d'ondes dans des champs externes prescrits avec des générateurs auto‑adjoints bien définis ; exclut les formulations de données initiales nécessitant un traitement de théorie quantique des champs complet de création/annihilation de particules ou des états initiaux hors de l'espace de Hilbert (distributions sans régularisation).

Tension sémantique

Tension entre l'intuition physique brute (prescrire seulement les « grandes » composantes) et l'exigence mathématique de fournir des données spinorielles complètes dans le domaine de l'opérateur ; la projection sur des sous‑espaces particule peut être utile mais doit être justifiée.

Synthèse

Une condition initiale de l'équation de Dirac est un spineur complet compatible avec l'espace de Hilbert, spécifié sur une hypersurface espace‑like, qui, combiné à un générateur de Dirac auto‑adjoint, produit une évolution unique et unitaire et un problème prédictif bien posé.