pith. sign in

arxiv: 2602.00581 · v3 · submitted 2026-01-31 · 🧮 math.AP · math.FA

Gaffney's Inequality and the Closed Range Property of the De Rham Complex in Unbounded Domains

Dirk Pauly , Marcus Waurick This is my paper

Pith reviewed 2026-05-16 09:12 UTC · model grok-4.3

classification 🧮 math.AP math.FA
keywords closed rangede Rham complexGaffney inequalityrot operatorunbounded domainsMaxwell equationsspectral gapPoincaré estimate
0
0 comments X

The pith

The rot-operator has closed range in L2 if and only if the domain is bounded in two directions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the classical Poincaré estimate for the gradient, which holds when a domain is bounded in one direction, extends to the rot-operator only when the domain is bounded in two directions. This provides a full characterization of closed range properties for every operator in the primal and dual de Rham complex, indexed by the number of bounded directions. The results yield a spectral gap near zero for the Maxwell operator. They therefore guarantee exponential stability for solutions of Maxwell's equations when conductivity damping is present. The arguments rest on Gaffney's inequality holding on the unbounded domains and remaining valid after bi-Lipschitz changes of coordinates.

Core claim

We provide closed range results for the rot-operator, if and only if Ω is bounded in two directions. Along the way, we characterise closed range results for all the differential operators of the primal and dual de Rham complex in terms of directions of boundedness of the underlying domain. As a main application, one obtains the existence of a spectral gap near the 0 of the Maxwell operator allowing for exponential stability results for solutions of Maxwell's equations with sufficient damping in the conductivity.

What carries the argument

Gaffney's inequality on unbounded domains, which transfers closed-range statements to the rot-operator precisely when the domain is bounded in two directions and is preserved under bi-Lipschitz maps.

If this is right

  • The Maxwell operator admits a spectral gap near zero on domains bounded in two directions.
  • Damped Maxwell equations on such domains possess exponentially decaying solutions.
  • The rot-operator with mixed boundary conditions has closed range even on some domains bounded in only one direction.
  • Closed-range statements for all de Rham operators are stable under bi-Lipschitz coordinate changes.
  • The same direction-counting criterion classifies closed range for the full set of primal and dual operators.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same counting of bounded directions may classify closed range for other elliptic complexes on partially unbounded domains.
  • The bi-Lipschitz stability technique could be applied to weighted or variable-coefficient versions of the same operators.
  • One could test whether the two-direction threshold persists for domains with less regular boundaries than Lipschitz.

Load-bearing premise

Gaffney's inequality holds on the unbounded domains and remains valid under bi-Lipschitz transformations.

What would settle it

An explicit example of a domain bounded in exactly two directions on which the range of the rot-operator fails to be closed in L2, or a domain bounded in fewer than two directions on which the range is closed.

Figures

Figures reproduced from arXiv: 2602.00581 by Dirk Pauly, Marcus Waurick.

Figure 1
Figure 1. Figure 1: plots of the L-shaped pipe and the half snail shell from GeoGebra.org Example 6.5 (infinite growing half snail shell). Let Φ : Q → Ω = Φ(Q) with Q := (1, ∞) × [PITH_FULL_IMAGE:figures/full_fig_p023_1.png] view at source ↗
read the original abstract

The classical Poincar\'e estimate establishes closedness of the range of the gradient in unweighted $L^2(\Omega)$-spaces as long as $\Omega\subseteq\mathbb{R}^3$ is contained in a slab, that is, $\Omega$ is bounded in one direction. Here, as a main observation, we provide closed range results for the $\operatorname{rot}$-operator, if (and only if) $\Omega$ is bounded in two directions. Along the way, we characterise closed range results for all the differential operators of the primal and dual de Rham complex in terms of directions of boundedness of the underlying domain. As a main application, one obtains the existence of a spectral gap near the $0$ of the Maxwell operator allowing for exponential stability results for solutions of Maxwell's equations with sufficient damping in the conductivity. Our results are based on the validity of Gaffney's (in)equality and the transition of the same to unbounded (simple) domains as well as on the stability of closed range results under bi-Lipschitz regular transformations. The latter technique is well-known and detailed in the appendix; for the results concerning Gaffney's estimate, we shall provide accessible, simple proofs using mere standard results. Moreover, we shall present non-trivial examples and a closed range result for $\operatorname{rot}$ with mixed boundary conditions on a set bounded in one direction only.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript claims that for domains Ω ⊆ ℝ³, the rot (curl) operator has closed range in the unweighted L² de Rham complex if and only if Ω is bounded in exactly two coordinate directions. It gives a complete characterization of closed-range properties for the gradient, curl, and divergence operators (primal and dual complexes) in terms of the number of bounded directions. The proofs rest on establishing Gaffney’s inequality on the relevant unbounded domains via standard results and on the stability of closed-range statements under bi-Lipschitz transformations (detailed in the appendix). A spectral-gap consequence for the Maxwell operator is derived, together with non-trivial examples and a closed-range statement for rot under mixed boundary conditions on a domain bounded in only one direction.

Significance. If the central claims hold, the work supplies a sharp, direction-based classification of when the de Rham complex is closed in L² on unbounded domains, extending the classical Poincaré estimate (one bounded direction for grad) in a natural way. The Maxwell-application yields a concrete spectral gap near zero that implies exponential stability for damped Maxwell systems; this is of direct interest to both mathematical electromagnetism and the analysis of unbounded-domain PDEs. The explicit, accessible proofs of Gaffney’s inequality on the model unbounded domains constitute a useful technical contribution.

minor comments (3)
  1. [§3] §3 (or wherever the main Gaffney proof appears): the reduction to standard results is stated as “accessible,” but a one-sentence pointer to the precise lemma or theorem invoked (e.g., the version of Gaffney on Lipschitz domains) would help readers verify the extension to the unbounded case without consulting external references.
  2. [§5] The mixed-boundary-condition example (mentioned in the abstract and presumably in §5) is presented as an exception to the “only if” direction; a short remark clarifying why the mixed conditions allow closed range on a one-direction-bounded domain would remove any apparent tension with the main iff statement.
  3. [Throughout] Notation: the paper uses both “rot” and “curl”; a single consistent symbol throughout the de Rham diagrams would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our manuscript, as well as for the recommendation of minor revision. We agree with the overall assessment of the results on closed-range properties for the de Rham complex and the Maxwell spectral-gap application.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper derives its closed-range characterizations for the de Rham operators (including rot) from the validity of Gaffney's inequality, which it proves directly using standard results, together with the stability of closed-range properties under bi-Lipschitz transformations, which is treated as a well-known technique and detailed explicitly in the appendix. No load-bearing step reduces by construction to a fitted input, self-definition, or self-citation chain; the direction-of-boundedness equivalences are obtained as consequences of these independent foundations rather than by renaming or smuggling ansatzes. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Paper rests on standard domain regularity and known inequalities rather than new fitted constants or invented entities.

axioms (2)
  • domain assumption Gaffney's inequality holds and transfers to the unbounded domains under consideration
    Invoked as the basis for closed-range proofs
  • domain assumption Domains admit bi-Lipschitz transformations preserving the relevant function spaces
    Used to extend results from simple to general domains

pith-pipeline@v0.9.0 · 5560 in / 1166 out tokens · 36465 ms · 2026-05-16T09:12:40.764031+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages

  1. [1]

    Alberti, M

    G. Alberti, M. Brown, M. Marletta, and I. Wood. Essential spectrum for Maxwell’s equations.Ann. Henri Poincar´ e, 20(5):1471–1499, 2019

    work page 2019

  2. [2]

    Amrouche, C

    C. Amrouche, C. Bernardi, M. Dauge, and V. Girault. Vector potentials in three-dimensional non-smooth domains.Math. Methods Appl. Sci., 21(9):823–864, 1998

    work page 1998

  3. [3]

    Bauer, D

    S. Bauer, D. Pauly, and M. Schomburg. The Maxwell compactness property in bounded weak Lipschitz domains with mixed boundary conditions.SIAM J. Math. Anal., 48(4):2912–2943, 2016. 24 DIRK PAULY AND MARCUS WAURICK

    work page 2016

  4. [4]

    Bauer, D

    S. Bauer, D. Pauly, and M. Schomburg. Weck’s selection theorem: The Maxwell compactness property for bounded weak Lipschitz domains with mixed boundary conditions in arbitrary dimensions.Maxwell’s Equa- tions: Analysis and Numerics (Radon Series on Computational and Applied Mathematics, De Gruyter), 24:77–104, 2019

    work page 2019

  5. [5]

    Costabel

    M. Costabel. A remark on the regularity of solutions of Maxwell’s equations on Lipschitz domains.Math. Methods Appl. Sci., 12(4):365–368, 1990

    work page 1990

  6. [6]

    Costabel

    M. Costabel. A coercive bilinear form for Maxwell’s equations.J. Math. Anal. Appl., 157(2):527–541, 1991

    work page 1991

  7. [7]

    Dohnal, M

    T. Dohnal, M. Ionescu-Tira, and M. Waurick. Well-posedness and exponential stability of nonlinear Maxwell equations for dispersive materials with interface.J. Differ. Equations, 383:24–77, 2024

    work page 2024

  8. [8]

    Girault and P.-A

    V. Girault and P.-A. Raviart.Finite Element Methods for Navier-Stokes Equations: Theory and Algorithms. Springer (Series in Computational Mathematics), Heidelberg, 1986

    work page 1986

  9. [9]

    Griepentrog, W

    J.A. Griepentrog, W. H¨ oppner, H.-C. Kaiser, and J. Rehberg. A bi-Lipschitz continuous, volume preserving map from the unit ball onto a cube.Note Mat., 28(1):177–193, 2008

    work page 2008

  10. [10]

    Grisvard.Elliptic Problems in Nonsmooth Domains

    P. Grisvard.Elliptic Problems in Nonsmooth Domains. Pitman (Advanced Publishing Program), Boston, 1985

    work page 1985

  11. [11]

    Jochmann

    F. Jochmann. A compactness result for vector fields with divergence and curl inL q(Ω) involving mixed bound- ary conditions.Appl. Anal., 66:189–203, 1997

    work page 1997

  12. [12]

    Leis.Initial Boundary Value Problems in Mathematical Physics

    R. Leis.Initial Boundary Value Problems in Mathematical Physics. Teubner, Stuttgart, 1986

    work page 1986

  13. [13]

    Monk.Finite element methods for Maxwell’s equations

    P. Monk.Finite element methods for Maxwell’s equations. Numer. Math. Sci. Comput. Oxford: Oxford Uni- versity Press, 2003

    work page 2003

  14. [14]

    Nikolai Nikolov and Pascal J. Thomas. Boundary regularity for the distance functions, and the eikonal equation. J. Geom. Anal., 35(8):8, 2025. Id/No 230

    work page 2025

  15. [15]

    D. Pauly. Low frequency asymptotics for time-harmonic generalized Maxwell equations in nonsmooth exterior domains.Adv. Math. Sci. Appl., 16(2):591–622, 2006

    work page 2006

  16. [16]

    D. Pauly. Generalized electro-magneto statics in nonsmooth exterior domains.Analysis (Munich), 27(4):425– 464, 2007

    work page 2007

  17. [17]

    D. Pauly. Complete low frequency asymptotics for time-harmonic generalized Maxwell equations in nonsmooth exterior domains.Asymptot. Anal., 60(3-4):125–184, 2008

    work page 2008

  18. [18]

    D. Pauly. Hodge-Helmholtz decompositions of weighted Sobolev spaces in irregular exterior domains with inhomogeneous and anisotropic media.Math. Methods Appl. Sci., 31:1509–1543, 2008

    work page 2008

  19. [19]

    D. Pauly. On polynomial and exponential decay of eigen-solutions to exterior boundary value problems for the generalized time-harmonic Maxwell system.Asymptot. Anal., 79(1-2):133–160, 2012

    work page 2012

  20. [20]

    D. Pauly. On Maxwell’s and Poincar´ e’s constants.Discrete Contin. Dyn. Syst. Ser. S, 8(3):607–618, 2015

    work page 2015

  21. [21]

    D. Pauly. On the Maxwell constants in 3D.Math. Methods Appl. Sci., 40(2):435–447, 2017

    work page 2017

  22. [22]

    D. Pauly. A global div-curl-lemma for mixed boundary conditions in weak Lipschitz domains and a correspond- ing generalizedA ∗ 0-A1-lemma in Hilbert spaces.Analysis (Munich), 39(2):33–58, 2019

    work page 2019

  23. [23]

    D. Pauly. On the Maxwell and Friedrichs/Poincar´ e constants in ND.Math. Z., 293(3-4):957–987, 2019

    work page 2019

  24. [24]

    D. Pauly. Solution theory, variational formulations, and functional a posteriori error estimates for general first order systems with applications to electro-magneto-statics and more.Numer. Funct. Anal. Optim., 41(1):16– 112, 2020

    work page 2020

  25. [25]

    Pauly and F

    D. Pauly and F. Osterbrink. Low frequency asymptotics and electro-magneto-statics for time-harmonic Maxwell’s equations in exterior weak Lipschitz domains with mixed boundary conditions.SIAM J. Math. Anal., 52(5):4971–5000, 2020

    work page 2020

  26. [26]

    Pauly and M

    D. Pauly and M. Schomburg. Hilbert complexes with mixed boundary conditions – Part 1: De Rham complex. Math. Methods Appl. Sci., 45(5):2465–2507, 2022

    work page 2022

  27. [27]

    Pauly and M

    D. Pauly and M. Waurick. The index of some mixed order Dirac-type operators and generalised Dirichlet- Neumann tensor fields.Math. Z., 301(2):1739–1819, 2022

    work page 2022

  28. [28]

    Pauly and W

    D. Pauly and W. Zulehner. The divDiv-complex and applications to biharmonic equations.Appl. Anal., 99(9):1579–1630, 2020

    work page 2020

  29. [29]

    Pauly and W

    D. Pauly and W. Zulehner. The elasticity complex: Compact embeddings and regular decompositions.Appl. Anal., 102(16):4393–4421, 2023

    work page 2023

  30. [30]

    R. Picard. On the boundary value problems of electro- and magnetostatics.Proc. Roy. Soc. Edinburgh Sect. A, 92:165–174, 1982

    work page 1982

  31. [31]

    R. Picard. An elementary proof for a compact imbedding result in generalized electromagnetic theory.Math. Z., 187:151–164, 1984

    work page 1984

  32. [32]

    R. Picard. On the low frequency asymptotics in electromagnetic theory.J. Reine Angew. Math., 354:50–73, 1984

    work page 1984

  33. [33]

    R. Picard. The low frequency limit for time-harmonic acoustic waves.Math. Methods Appl. Sci., 8:436–450, 1986

    work page 1986

  34. [34]

    Picard, N

    R. Picard, N. Weck, and K.-J. Witsch. Time-harmonic Maxwell equations in the exterior of perfectly conduct- ing, irregular obstacles.Analysis (Munich), 21:231–263, 2001

    work page 2001

  35. [35]

    A structural observation for linear material laws in classical mathematical physics.Math

    Rainer Picard. A structural observation for linear material laws in classical mathematical physics.Math. Methods Appl. Sci., 32(14):1768–1803, 2009

    work page 2009

  36. [36]

    Rainer Picard, Des McGhee, Sascha Trostorff, and Marcus Waurick.A primer for a secret shortcut to PDEs of mathematical physics. Front. Math. Cham: Springer, 2020. GAFFNEY’S INEQUALITY AND THE CLOSED RANGE PROPERTY 25

    work page 2020

  37. [37]

    J. Saranen. On an inequality of Friedrichs.Math. Scand., 51(2):310–322, 1982

    work page 1982

  38. [38]

    Saranen and K.-J

    J. Saranen and K.-J. Witsch. Exterior boundary value problems for elliptic equations.Ann. Acad. Sci. Fenn. Math., 8(1):3–42, 1983

    work page 1983

  39. [39]

    Seifert, S

    C. Seifert, S. Trostorff, and M. Waurick.Evolutionary equations. Picard’s theorem for partial differential equations, and applications, volume 287 ofOper. Theory: Adv. Appl.Cham: Birkh¨ auser, 2022

    work page 2022

  40. [40]

    Trostorff and M

    S. Trostorff and M. Waurick. A note on elliptic type boundary value problems with maximal monotone relations. Math. Nachr., 287(13):1545–1558, 2014

    work page 2014

  41. [41]

    M. Waurick. A functional analytic perspective to the div-curl lemma.J. Oper. Theory, 80(1):95–111, 2018

    work page 2018

  42. [42]

    M. Waurick. NonlocalH-convergence for topologically nontrivial domains.J. Funct. Anal., 288(3):49, 2025. Id/No 110710

    work page 2025

  43. [43]

    C. Weber. A local compactness theorem for Maxwell’s equations.Math. Methods Appl. Sci., 2:12–25, 1980

    work page 1980

  44. [44]

    N. Weck. Außenraumaufgaben in der Theorie station¨ arer Schwingungen inhomogener elastischer K¨ orper.Math. Z., 111:387–398, 1969

    work page 1969

  45. [45]

    N. Weck. Maxwell’s boundary value problems on Riemannian manifolds with nonsmooth boundaries.J. Math. Anal. Appl., 46:410–437, 1974

    work page 1974

  46. [46]

    Weck and K

    N. Weck and K. J. Witsch. Exterior Dirichlet problem for the reduced wave equation: Asymptotic analysis of low frequencies.Commun. Partial Differ. Equations, 16(2-3):173–195, 1991

    work page 1991

  47. [47]

    Weck and K.-J

    N. Weck and K.-J. Witsch. Complete low frequency analysis for the reduced wave equation with variable coefficients in three dimensions.Commun. Partial Differ. Equations, 17(9-10):1619–1663, 1992

    work page 1992

  48. [48]

    Weck and K

    N. Weck and K. J. Witsch. Exact low frequency analysis for a class of exterior boundary value problems for the reduced wave equation in two dimensions.J. Differ. Equations, 100(2):312–340, 1992

    work page 1992

  49. [49]

    Weck and K.-J

    N. Weck and K.-J. Witsch. Generalized spherical harmonics and exterior differentiation in weighted Sobolev spaces.Math. Methods Appl. Sci., 17(13):1017–1043, 1994

    work page 1994

  50. [50]

    Weck and K.-J

    N. Weck and K.-J. Witsch. Generalized linear elasticity in exterior domains. I: Radiation problems.Math. Methods Appl. Sci., 20(17):1469–1500, 1997

    work page 1997

  51. [51]

    Weck and K.-J

    N. Weck and K.-J. Witsch. Generalized linear elasticity in exterior domains. II: Low-frequency asymptotics. Math. Methods Appl. Sci., 20(17):1501–1530, 1997

    work page 1997

  52. [52]

    K.-J. Witsch. A remark on a compactness result in electromagnetic theory.Math. Methods Appl. Sci., 16:123– 129, 1993. AppendixA.The Lipschitz Transformation Theorem Let Θ⊆R 3 be open and let Φ∈C 0,1(R3,R 3) be such that its restriction to Θ, still denoted by Φ : Θ→Φ(Θ) =: Ω, is bi-Lipschitz, bounded, and regular, i.e., Φ∈C 0,1 bd (Θ, Ω) and Φ −1 ∈C 0,1 bd...

    work page 1993