We study the long-time behavior of small and large solutions to a broad class of nonlinear Dirac-type equations. Our results are classified in 1D massless and massive cases, 3D general and $n$ dimensional in generality. In the 1D massless case we prove that any globally defined solution converges to zero as time tends to infinity, within a spatial region expanding at a rate proportional to $ t \log^{-2} t$. This result holds without assumptions on the smallness of initial data or specific power of nonlinearity, ruling out the existence of standing breather-like or solitary wave structures in this regime. In the 1D massive case, solitary waves are known to exist. Introducing new virial identities adapted to the Dirac's distinctive algebra, we prove that there are ``holomorphic'' odd nonlinearities under which globally defined small odd solutions decay to zero on spatial compact sets as time tends to infinity. This result is extended to the 3D case under boundedness of the $H^1$ norm but without requiring the parity condition on the data, giving decay proofs for an important class of nonlinear Dirac models, and opening the door to the future use of virial identities to prove asymptotic stability of well-chosen Dirac solitary waves.
Finally, in higher dimensions $ n \geq 1$, we prove the $L^2$ decay for global solutions of nonlinear Dirac equations in the ``exterior light-cone'' region. This confirms the non-existence of breathers and other solutions propagating faster than the speed of light. Our proofs rely on carefully constructed weighted virial identities.
- Paper ID: 2503.05410
- Title: Decay of solutions of nonlinear Dirac equations
- Authors: Sebastian Herr, Christopher Maulén, Claudio Muñoz
- Classification: math.AP (Analysis of PDEs)
- Publication Date: October 13, 2025 (arXiv version v4)
- Paper Link: https://arxiv.org/abs/2503.05410
This paper investigates the long-time behavior of solutions to a broad class of nonlinear Dirac-type equations, encompassing both small and large solutions. The results are categorized according to the 1D massless and massive cases, the 3D general case, and the n-dimensional general case. In the 1D massless case, it is proven that any globally defined solution converges to zero as time approaches infinity, with convergence occurring within spatial regions expanding at the rate tlog−2t. This result requires no assumptions on the smallness of initial data or specific powers of the nonlinearity, thereby excluding the existence of standing wave breathers or solitary wave structures in this case. In the 1D massive case, solitary waves are known to exist. By introducing novel virial identities adapted to the special algebra of Dirac operators, it is shown that under certain "holomorphic" odd nonlinearities, globally defined small odd solutions decay to zero on compact spatial sets as time approaches infinity.
- Importance of Dirac equations: Nonlinear Dirac equations are among the most important models in relativistic quantum mechanics, describing self-interactions of Dirac fermions with significant applications in high-energy physics and condensed matter physics.
- Necessity of studying long-time behavior: Understanding the long-time asymptotic behavior of solutions to nonlinear partial differential equations is a central problem in mathematical physics, crucial for predicting the evolution of physical systems.
- Limitations of existing research:
- The energy functional lacks definite sign, making traditional energy methods difficult to apply directly
- The Hamiltonian is unbounded both above and below, reflecting the existence of particles and antiparticles
- Lack of effective decay estimation techniques applicable to Dirac equations
- Existence of breathers and solitary waves: Whether Dirac equations admit non-decaying structures analogous to breather solutions in nonlinear Schrödinger equations remains an important open problem.
- Universal decay in 1D massless case: Proves that any global solution converges to zero in the region I(t)=(−log2∣t∣∣t∣,log2∣t∣∣t∣) without restrictions on initial data size or nonlinearity powers.
- Novel virial identity technique: Introduces specialized virial identities for Dirac equations for the first time, avoiding traditional "squaring" techniques and performing estimates directly within the Dirac framework.
- Conditional decay in 1D massive case: Under "harmonic" odd nonlinearities satisfying Cauchy-Riemann-type conditions, proves local decay of small odd solutions.
- Extension to 3D case: Under H1 boundedness conditions without parity assumptions, establishes decay properties for an important class of Dirac models.
- L2 decay in exterior light cone regions for higher dimensions: For n-dimensional cases, proves L2 decay in the "exterior light cone" region Ijb(t)={x∈Rn∣∣xj∣≥(1+b)t}.
Study the long-time asymptotic behavior of nonlinear Dirac equations:
i∂tψ=Hψ+(m+V(x,ψ))βψ
where H=−iα⋅∇ is the Hamiltonian and V is a (possibly) nonlinear potential function.
For n-dimensional Dirac equations, construct modified charge functionals:
I=μ(t)1∫ϕ(λ(t)x+ρ(t))ψ∗(t,x)ψ(t,x)dx
Through careful selection of weight functions ϕ and parameters μ(t),λ(t),ρ(t), obtain the key virial identity:
Theorem 3.1: For ψ=u1+iu2,
dtdI=−μ2(t)μ′(t)∫ϕ(λ(t)x+ρ(t))[u1∗u1+u2∗u2]+other terms involving gradients and mass
For 1D systems:
i(∂tu+∂xu)+mv=∂uW1(u,uˉ,v,vˉ)i(∂tv−∂xv)+mu=∂vW2(u,uˉ,v,vˉ)
Construct functionals K=∫ϕ(λ(t)x)(∣u∣2+∣v∣2) and J=∫ϕ(λ(t)x)(∣u∣2−∣v∣2).
Lemma 3.2: In the massless case (m=0):
dtdK=∫ϕ′(∣u∣2−∣v∣2)
For 3D radial solutions, use partial wave decomposition to reduce the 4×4 complex system to a 2×2 system:
i∂tϕ1=(∂r+r2)ϕ2+mϕ1−W1i∂tϕ2=−∂rϕ1−mϕ2+W2
Construct four virial functionals K1,K~1,K2,K~2, selecting special weights ϕ=1+rr3/2.
- Direct Dirac estimates: Avoid traditional Klein-Gordon reduction techniques, working directly within the Dirac framework, which is technically more challenging but more fundamental.
- Careful selection of weight functions:
- 1D: ϕ(x)=tanh(x) for the massless case
- 3D: ϕ(r)=1+rr3/2 balancing various nonlinear terms
- Introduction of harmonic conditions: For the 1D massive case, introduce Cauchy-Riemann-type conditions:
∂aW2+∂cW1=∂bW2−∂dW1=0
etc., ensuring the preservation of odd solutions.
For any global solution (u,v) of the massless 1D Dirac equation,
limt→∞∥(u,v)(t)∥L2(I(t))=0
where I(t)=(−log2∣t∣∣t∣,log2∣t∣∣t∣).
For odd nonlinearities satisfying harmonic conditions, small global odd solutions satisfy:
limt→∞∥(ψ1,ψ2)(t)∥(L2∩L∞)(I)=0
for any compact interval I.
For 3D radial Dirac equations, under the condition ∥Wj∥≤C∣ϕ∣p (p≥3), small global solutions satisfy:
limt→∞∥ϕ(t)∥L2(B(0,R))=0
for any R>0.
For n-dimensional Dirac equations, any global L2 solution decays in the exterior light cone region:
limt→∞∫Ijb(t)ψ∗(t,x)ψ(t,x)dx=0
Through virial identities obtain key integrability:
∫0∞λ(t)1∫sech2(λ(t)x)(∣u∣2+∣v∣2)dxdt<∞
Utilize integrability to establish the existence of a sequence tn→∞ such that corresponding L2 norms tend to zero.
Lift sequential decay to continuous decay through precise virial estimates.
- 1D case: Use harmonic conditions to eliminate mixed terms
- 3D case: Employ Sobolev embedding and special properties of radial functions
- D'Ancona & Fanelli et al. established dispersive estimates for magnetic Dirac equations
- Kopylova proved weighted energy decay for 1D Dirac equations
- Escobedo & Vega: Well-posedness in 3D massive case
- Candy & Herr: Bilinear Fourier restriction methods
- Pelinovsky: Scattering theory for 1D case
- Known existence of standing waves in Soler models
- Variational methods by Merle et al. for construction
- Spectral stability studies by Boussaïd & Comech
- Universality in massless case: The 1D massless Dirac equation admits no non-decaying localized solutions, contrasting with Klein-Gordon equations.
- Effectiveness of virial method: The newly introduced virial identities provide powerful tools for studying Dirac equations.
- Dimensional effects: Decay properties improve in higher dimensions, consistent with general dispersive theory expectations.
- Restrictions in 1D massive case: Requires special harmonic conditions, excluding classical integrable models.
- Smallness assumption in 3D case: Solutions must be uniformly bounded and sufficiently small in H1∩L∞.
- Radial symmetry: 3D results apply only to partial wave subspaces.
- Asymptotic stability: Study asymptotic stability of Dirac solitary waves using virial methods.
- 2D case: Address more complex 2D Dirac systems.
- General non-radial case: Extend to non-radial 3D situations.
- Technical innovation: First systematic virial theory for Dirac equations, avoiding technical difficulties of traditional Klein-Gordon reduction.
- Strength of results: The 1D massless result requires no smallness assumptions, which is quite rare in nonlinear PDEs.
- Generality of methods: Virial techniques applicable to a broad class of Dirac-type models.
- Mathematical rigor: Proofs are complete and rigorous with careful handling of technical details.
- Scope of applications: Both 1D massive and 3D cases require additional technical assumptions, limiting applicability.
- Physical interpretation: Lack of clear physical motivation for technical assumptions such as harmonic conditions.
- Optimality: Unclear whether decay regions and decay rates are optimal.
- Theoretical contribution: Provides new analytical tools for nonlinear Dirac equation theory.
- Methodological value: Virial techniques may apply to other relativistic equations.
- Physical significance: Excludes breather existence in certain cases, relevant to understanding relativistic quantum field theory.
- Long-time dynamics in relativistic quantum mechanics
- Dirac material research in condensed matter physics
- Dispersive equation theory in mathematical physics
- Solitary wave stability analysis
The paper contains 49 references covering well-posedness theory for Dirac equations, solitary wave theory, dispersive estimates, and other related fields, providing a solid theoretical foundation for this research.