Stationary periodic solutions to Nonlinear Dirac equations with non-coercive potentials

1. Il Problema

L'articolo si occupa dell'esistenza di soluzioni periodiche stazionarie per l'equazione di Dirac non lineare in uno spazio-tempo $R^{1+3}$, con particolare attenzione alle soluzioni definite su un toro tridimensionale $T^3 = R^3/\Gamma$ (dove $\Gamma$ è un reticolo).

L'equazione di partenza è:
$$\sum_{\mu=0}^3 i\gamma^\mu \partial_\mu \Psi - m\Psi + \gamma_0 \nabla F(\Psi) = 0$$
dove $\Psi$ è un campo di spinori, $m>0$ è la massa e $F$ è un potenziale di auto-interazione non lineare.
Le soluzioni cercate sono del tipo "stazionario" (o solitarie): $\Psi(t, \vec{x}) = e^{-iat}\psi(\vec{x})$, che soddisfano condizioni di periodicità spaziale $\psi(\vec{x} + \tau) = \psi(\vec{x})$ per ogni $\tau \in \Gamma$.

La sfida principale risiede nella natura del termine non lineare $F(\Psi)$. A differenza di molti studi precedenti che assumono una coercività globale (dove $F$ cresce sufficientemente velocemente in tutte le direzioni), qui $F$ è non coerciva. In particolare, modelli fisici rilevanti come il modello di Soler o accoppiamenti simmetrici tra nucleoni e leptoni portano a non linearità della forma $F(\psi) = \frac{1}{2}G(\bar{\psi}\psi)$ o combinazioni di termini come $|\bar{\psi}\psi|^\alpha + b|\bar{\psi}\gamma_5\psi|^\beta$.
In questi casi, il funzionale d'azione associato non soddisfa la condizione di Palais-Smale (PS), rendendo impossibile l'applicazione diretta dei metodi variazionali classici per trovare punti critici non banali. Inoltre, la compattazione sul toro è più complessa rispetto allo spazio euclideo $R^3$ a causa della mancanza di un'identità di Pohozaev globale e di strutture di collegamento (linking) semplici nello spazio di Fourier.

2. Metodologia

Gli autori adottano un approccio variazionale perturbativo, articolato in diverse fasi chiave:

• Struttura Variazionale e Spazi di Lavoro:
  L'equazione ridotta per la parte spaziale $\psi$ è vista come l'equazione di Eulero-Lagrange di un funzionale $J$ definito sullo spazio di Sobolev frazionario $H^{1/2}(T^3, \mathbb{C}^4)$. A causa della natura indefinita dell'operatore di Dirac, lo spazio viene decomposto ortogonalmente in sottospazi positivi e negativi ($H^{1/2}_+ \oplus H^{1/2}_-$) basati sullo spettro dell'operatore fisico $D = \mathcal{D} + m\gamma_0$.

• Metodo di Perturbazione Coerciva:
  Per superare la mancanza della condizione (PS), gli introducono un termine di perturbazione coerciva. Definendo un funzionale perturbato:
  $$J_\varepsilon(\psi) = J(\psi) - \varepsilon \int_{T^3} |\psi|^{\alpha_2} \, dvol$$
  con $\varepsilon \in (0, 1]$. Questo termine aggiuntivo garantisce che il funzionale $J_\varepsilon$ soddisfi la condizione di Palais-Smale, permettendo di trovare soluzioni critiche per ogni $\varepsilon > 0$.

• Struttura di Linking (Collegamento):
  Gli autori costruiscono una struttura di "linking" locale uniforme rispetto a $\varepsilon$. Sfruttando le proprietà spettrali dell'operatore di Dirac sul toro (in particolare la presenza di spinori costanti nel nucleo dell'operatore geometrico $\mathcal{D}$), definiscono insiemi di dimensione infinita che separano i livelli del funzionale.
  Utilizzano il flusso del gradiente negativo e la teoria del grado di Leray-Schauder generalizzato (Z2-degree) di Smale per dimostrare l'esistenza di un livello minimax critico $\Lambda_1(\varepsilon)$ per ogni $\varepsilon$.

• Stime Uniformi e Passaggio al Limite:
  Il cuore tecnico del lavoro risiede nella dimostrazione che le soluzioni perturbate $\psi_\varepsilon$ sono uniformemente limitate in norme appropriate (specificamente in $L^3$ e $H^1$) quando $\varepsilon \to 0$.

  • Vengono utilizzate le ipotesi sulla non linearità (in particolare (F3) e (F5)) per ottenere stime a priori.
  • Viene impiegato un argomento per assurdo: si assume che la norma $L^3$ diverga e si scala la soluzione. Si dimostra che il limite della sequenza scalata soddisferebbe l'equazione di Dirac lineare sul piano (o sfera $S^3$ tramite proprietà conformi).
  • La contraddizione finale deriva dal fatto che non esistono spinori armonici non banali sulla sfera $S^3$ (un risultato noto derivante dalla formula di Lichnerowicz), il che implica che la sequenza non può divergere.

• Regolarità:
  Una volta ottenuta la convergenza forte di una sottoma a una soluzione limite $\psi_0$, si dimostra che questa soluzione è non banale e appartiene a $C^1$ (e più regolare se $F$ è liscia).

3. Contributi Chiave

1. Gestione della Non-Coercività: Il lavoro risolve il problema dell'esistenza di soluzioni periodiche per equazioni di Dirac con non linearità che non soddisfano la coercività globale, un caso che i metodi variazionali standard non riescono a trattare direttamente.
2. Adattamento al Torus: A differenza di studi precedenti su $R^3$ che sfruttano la simmetria radiale e l'identità di Pohozaev, questo lavoro sviluppa strategie specifiche per la geometria compatta del toro, dove tali strumenti non sono disponibili.
3. Stime Uniformi Robuste: La dimostrazione delle stime uniformi per le soluzioni perturbate, indipendentemente dal parametro $\varepsilon$, è un risultato tecnico significativo che permette il passaggio al limite.
4. Generalizzazione dei Modelli Fisici: Il risultato si applica a modelli fisici concreti (come il modello di Soler e accoppiamenti simmetrici) che erano rimasti aperti o parzialmente risolti in contesti periodici.

4. Risultati Principali

• Teorema 1.1: Sotto le ipotesi (F1)-(F5) sulla non linearità $F$ (che includono crescita sub-critica e condizioni di crescita super-quadratica), esiste una soluzione periodica non banale di classe $C^1$ per l'equazione di Dirac stazionaria sul toro tridimensionale.
• Proposizione 1.2: Il risultato si estende al caso in cui è presente un campo esterno scalare $M(x)$, purché soddisfi condizioni di positività e non oscillazione eccessiva ($0 < a \le a + M < m$).
• Le soluzioni ottenute sono ottenute come limiti di soluzioni di problemi perturbati, garantendo la loro esistenza anche quando il funzionale originale non soddisfa la condizione di compattezza.

5. Significato e Implicazioni

Questo lavoro è significativo per la fisica matematica e l'analisi non lineare per diversi motivi:

• Fisica Teorica: Fornisce una base rigorosa per l'esistenza di "onde stazionarie periodiche" (standing periodic waves) in modelli di campi fermionici su reticoli spaziali, rilevanti per la fisica della materia condensata e la teoria quantistica dei campi in spazi compattificati.
• Analisi Variazionale: Dimostra come combinare tecniche di perturbazione, teoria del grado topologico e analisi spettrale possa superare ostacoli classici legati alla mancanza di compattezza e coercività in problemi indefiniti.
• Apertura di Nuove Direzioni: Sebbene il lavoro dimostri l'esistenza di una soluzione, gli autori notano che la moltiplicità delle soluzioni (es. soluzioni multiple per simmetrie pari) rimane un problema aperto, suggerendo direzioni per ricerche future, specialmente in relazione al comportamento asintotico della velocità della luce ($c \to \infty$).

In sintesi, Zhang e Wu forniscono una prova robusta dell'esistenza di soluzioni periodiche per una classe importante di equazioni di Dirac non lineari, colmando un divario tra i modelli fisici realistici (non coercivi) e la teoria variazionale esistente su varietà compatte.