Weighted $L^2$ theory for the Euclidean Dirac operator in higher dimensions

Published 6 Apr 2026 in math.CV and math.AP | (2604.04504v2)

Abstract: We study weighted $L^{2}$ solvability for the Euclidean Dirac operator in dimensions $n\ge 3$. We prove that, on the exterior domain $\mathbb{R}^{{n}\setminus\overline{B(0,1)}$} with logarithmic weight $\varphi=n\log|x|$, no higher-dimensional analogue of the two-dimensional Hörmander estimate can be controlled solely by $Δ\varphi$; we then establish weighted solvability for the weights $|x|^{m}$ with $m\neq 0$, for the quadratic weight $x_{1}^{2}$, and for sufficiently small anisotropic perturbations of the Gaussian weight, with sharp constant $1/4$ in the Gaussian case. The obstruction arises because, in dimensions $n\ge 3$, the classical weighted identity is coercive only under a structural relation between $Δ\varphi$ and $|\nabla\varphi|^{2}$, a condition that excludes the Gaussian weight and many polynomial weights. The method is based on a weighted identity for the conjugated unknown $U:=ue^{{-\varphi/2}$,} together with suitable scalar and Clifford-valued multipliers; this identity yields the required coercive estimates and also gives weighted $L^{2}$ solvability for the Poisson equation through the factorization $Δ=-D^{2}$.

Abstract PDF Upgrade to Chat

Authors (2)

Summary

The paper shows that classical L² coercivity results valid in two dimensions fail in higher dimensions due to the inability of Δφ alone to control solvability.
A novel weighted identity using Clifford algebra techniques is introduced to recover sharp existence estimates for weights like the Gaussian and anisotropic quadratics.
The derived methodology extends to the Poisson equation, with explicit constants that have significant implications for spectral theory and applications in mathematical physics.

Weighted $L^2$ Theory for the Euclidean Dirac Operator in Higher Dimensions

Introduction and Context

The paper "Weighted $L^2$ theory for the Euclidean Dirac operator in higher dimensions" (2604.04504) addresses the solvability of the Dirac equation $Du = f$ in weighted $L^2$ spaces on $\mathbb{R}^n$ , especially for $n \geq 3$ , where $D$ denotes the Euclidean Dirac operator within the Clifford algebra framework. The classical impetus is Hörmander's $L^2$ theory for the $\bar\partial$ -operator, which has deep implications in complex analysis and partial differential equations, and its generalization to Dirac-type operators is nontrivial due to the algebraic structure and higher-order interactions intrinsic to Clifford analysis.

The two-dimensional analogue, and its weighted $L^2$ theory, are more tractable; in particular, in $L^2$ 0 any subharmonic weight $L^2$ 1 yields a coercive estimate controlled by $L^2$ 2. However, this property is not preserved in higher dimensions. The paper investigates the underlying obstructions to such generalizations, develops sharp a priori identities, and establishes positive weighted solvability results for significant classes of weights, including the Gaussian and anisotropic quadratics.

Coercivity and Subharmonicity: Higher-dimensional Obstruction

A central result is the demonstration that the classical two-dimensional principle that the Laplacian of the weight $L^2$ 3 controls weighted $L^2$ 4 solvability for $L^2$ 5 fails in dimensions $L^2$ 6. Specifically, the authors construct an explicit family of weighted problems on the exterior domain $L^2$ 7 with the logarithmic weight $L^2$ 8, and show that, despite $L^2$ 9, there is no uniform estimate for

$Du = f$ 0

contradicting any naive higher-dimensional generalization of the Hörmander $Du = f$ 1 estimate. The divergence of the solution norm is tied inherently to the lack of a coercivity relation involving only $Du = f$ 2, and the necessity for additional structural conditions involving $Du = f$ 3.

This obstruction is quantified by explicit asymptotics for radial test functions. The minimal-norm solutions exhibit norm growth that outpaces any bound controlled by the Laplacian. Thus, in higher dimensions, the solvability of $Du = f$ 4 demands weights satisfying stronger coercivity conditions, specifically of the type

$Du = f$ 5

with $Du = f$ 6, as required by the classical Bochner identity generalizations for the Dirac operator in Clifford analysis.

Weighted Identities and Existence Theory

To address this gap, the authors derive a new weighted identity for the conjugated unknown $Du = f$ 7, utilizing Clifford and scalar multipliers tailored to the analytic and algebraic context. This yields a general identity that, for suitable choices of multipliers $Du = f$ 8, uncouples the loss of coercivity and restores positive weighted $Du = f$ 9 control for specific classes of weights.

Radial Weights and Gaussian Case

For radial weights $L^2$ 0, $L^2$ 1, the paper establishes

$L^2$ 2

valid for $L^2$ 3 and all $L^2$ 4. For the Gaussian weight $L^2$ 5, the $L^2$ 6-norm of the solution is controlled by the data norm with a sharp constant,

$L^2$ 7

and the sharpness is proved by testing on explicit solutions. This is a strong, nontrivial result: the Gaussian weight is subharmonic but fails the classical $L^2$ 8 condition for $L^2$ 9, yet the new identity recovers solvability with explicit constants.

Quadratic and Anisotropic Perturbations

For single quadratic weights, $\mathbb{R}^n$ 0, the methods generalize, producing the estimate

$\mathbb{R}^n$ 1

demonstrating the stability of weighted $\mathbb{R}^n$ 2 solvability under such weights.

The analysis also extends to anisotropic quadratic weights, $\mathbb{R}^n$ 3, with $\mathbb{R}^n$ 4 small, establishing uniform estimates with constants depending on the perturbation parameter, and confirming the robustness of the approach for small deviations from the isotropic Gaussian case.

Laplacian (Poisson Equation) Consequence

Via the factorization $\mathbb{R}^n$ 5, all the above estimates for the Dirac equation yield corresponding $\mathbb{R}^n$ 6 solvability results for the weighted Poisson equation. For example, for the Gaussian case,

$\mathbb{R}^n$ 7

for solutions to $\mathbb{R}^n$ 8, with the constant arising from double application of the sharp Dirac bound.

Technical Contributions and Methods

The proofs are based on a careful analysis of the Clifford algebraic structure, exploiting both commutativity properties and specific multiplier identities to control non-coercive terms that cannot be handled by subharmonicity alone. The authors use Kelvin transformations for the characterization of monogenic null spaces and explicit Laurent series to verify minimality and orthogonality properties of solutions. They also provide structure theorems for the functional calculus in the weighted framework, and construct all estimates in a form compatible with the density and domain-of-operator subtleties involved in $\mathbb{R}^n$ 9 spaces of Clifford-valued functions.

The general weighted identity is

$n \geq 3$ 0

with remaining terms expressed as explicit integrals involving derivatives of $n \geq 3$ 1 and the multipliers. The specific choice of $n \geq 3$ 2 for each weight class is what enables the derivation of the sharp constants and effective a priori estimates.

Implications and Future Directions

From a theoretical standpoint, these results clarify the structure of weighted solvability for first-order Dirac systems in higher dimensions, emphasizing the necessity of structural relations beyond subharmonicity. The approach supplies new tools for the analysis of Dirac and Poisson equations in settings where standard $n \geq 3$ 3 methods fail, and the explicit constants pave the way for further developments, such as precise spectral theory and stochastic analysis in Clifford bundles.

On a practical level, the findings are relevant for mathematical physics (e.g., quantum fields on weighted spaces, Clifford-valued harmonic analysis), as well as geometric analysis on non-standard weighted spaces or exterior domains.

Natural research directions include:

Extension to Dirac-type operators on manifolds with variable metrics and more general weights.
Extension and sharpness of estimates for more general, potentially non-polynomial, weights.
Connections to Carleman estimates, unique continuation, and applications in inverse problems.

Conclusion

The paper rigorously demonstrates the limitations of classical subharmonic-weight $n \geq 3$ 4 theory for Dirac operators in dimensions $n \geq 3$ 5, establishes the exact nature of the coercivity obstacles, and constructs a refined weighted $n \geq 3$ 6 existence theory with sharp constants for significant weight classes, including the Gaussian. The methodology blends Clifford-algebraic identities, carefully chosen multipliers, and explicit computations, providing both foundational insight and practical solvability results relevant for analysis and geometry in higher-dimensional Clifford settings.