pith. sign in

arxiv: 2605.18711 · v1 · pith:2Y3N7DC7new · submitted 2026-05-18 · 🧮 math.AP

Boundary regularity for general elliptic operators of order 2s

Florian Grube , Xavier Ros-Oton This is my paper

Pith reviewed 2026-05-20 08:17 UTC · model grok-4.3

classification 🧮 math.AP
keywords boundary regularitynonlocal elliptic operatorsLévy operatorsFourier symbolDini conditionfractional LaplacianC^s regularity
0
0 comments X

The pith

Symmetric Lévy operators with Fourier symbol comparable to |ξ|^{2s} achieve optimal C^s boundary regularity under a C^1-Dini domain condition.

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

This paper proves that solutions to Lu = f with bounded f are C^s up to the boundary for the widest class of linear translation-invariant nonlocal elliptic operators of order 2s. These are exactly the symmetric Lévy operators whose Fourier symbol A satisfies c|ξ|^{2s} ≲ A(ξ) ≲ C|ξ|^{2s}. Earlier proofs handled only homogeneous kernels or kernels comparable to the fractional Laplacian separately. The new argument treats both families at once and works in domains whose boundary obeys a C^1-Dini condition. Readers care because this regularity controls how nonlocal diffusion solutions approach the edge of a domain when the precise jump law is known only up to scaling.

Core claim

We establish optimal C^s boundary regularity for the most general class of linear and translation-invariant nonlocal elliptic operators of order 2s. Namely, we consider symmetric Lévy operators whose Fourier symbol satisfies A(ξ) ≍ |ξ|^{2s} in R^d. This holds in domains satisfying a C^1-Dini-type condition, extending previous results that required either homogeneity of the kernel or comparability to the fractional Laplacian.

What carries the argument

The Fourier symbol condition A(ξ) ≍ |ξ|^{2s} for symmetric Lévy operators, which replaces separate assumptions on kernel homogeneity or fractional-Laplacian comparability and allows a single proof to reach the boundary.

If this is right

  • The same boundary regularity holds for both homogeneous and non-homogeneous kernels under one argument.
  • Regularity statements now cover a strictly larger family of nonlocal operators than before.
  • Boundary behavior of solutions is determined by the high-frequency growth of the symbol rather than finer kernel details.

Where Pith is reading between the lines

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

  • The result indicates that boundary Hölder continuity depends mainly on the symbol's growth at infinity.
  • Similar techniques might apply to time-dependent or quasilinear versions of the same operators.
  • Numerical methods for nonlocal equations could use the precise C^s modulus near the boundary for error estimates.

Load-bearing premise

The domain must satisfy a C^1 condition on its boundary whose modulus of continuity for the normal satisfies a Dini integrability requirement.

What would settle it

Exhibit a domain violating the C^1-Dini condition together with a bounded f such that some solution u of Lu = f fails to be C^s at a boundary point.

Figures

Figures reproduced from arXiv: 2605.18711 by Florian Grube, Xavier Ros-Oton.

Figure 1
Figure 1. Figure 1: Dyadic linear approximation of the boundary in the proof of Theorem 4.4. 1.3. Outline. The article is structured as follows. In Section 2, we establish the necessary mathematical framework, introduce the notation, function spaces, geometric assumptions, and solution concepts used in this article, and collect and provide some preliminary results. Our research begins with a series of results in one dimension… view at source ↗
read the original abstract

We establish optimal $C^s$ boundary regularity for the most general class of (linear and translation invariant) nonlocal elliptic operator of order $2s$. Namely, we consider L\'evy operators that are symmetric and its Fourier symbol satisfies $\mathcal{A}(\xi)\asymp |\xi|^{2s}$ in $\mathbb{R}^d$. This was only known when the kernel of the operator (or L\'evy measure) is either homogeneous or comparable to that of the fractional Laplacian, with different proofs in each case. Our new proofs extend both at the same time, and work in a very general class of domains, under a $C^1$-Dini-type condition.

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 / 2 minor

Summary. The manuscript establishes optimal C^s boundary regularity for solutions to equations driven by the most general class of symmetric, translation-invariant Lévy operators of order 2s whose Fourier symbol satisfies A(ξ) ≍ |ξ|^{2s}. The result holds in domains satisfying a C^1-Dini-type geometric condition and supplies a unified argument that simultaneously extends the homogeneous-kernel case and the case of kernels comparable to the fractional Laplacian.

Significance. If the proofs are correct, the work is significant: it removes the need for separate treatments of two previously distinct kernel classes and thereby enlarges the scope of optimal boundary regularity results for nonlocal elliptic equations. The single proof strategy and the explicit conditioning on the C^1-Dini assumption are clear strengths.

minor comments (2)
  1. The C^1-Dini condition is stated after the abstract; repeating its precise formulation in the statement of the main theorem (or in a dedicated subsection of the introduction) would improve readability.
  2. Notation for the Lévy measure and the symbol A(ξ) should be introduced once in a preliminary section and then used consistently; occasional redefinitions interrupt the flow.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of its contributions, and the recommendation for minor revision. We are pleased that the unified proof strategy and the C^1-Dini domain condition were viewed as strengths.

Circularity Check

0 steps flagged

No significant circularity; new proof under explicit geometric hypothesis

full rationale

The manuscript presents an independent proof extending known boundary regularity results from homogeneous kernels and fractional-Laplacian-comparable kernels to the general symmetric Lévy case with symbol A(ξ) ≍ |ξ|^{2s}. The central claim is explicitly conditioned on a C¹-Dini-type domain condition stated after the abstract; no load-bearing step reduces by construction to a fitted parameter, self-citation chain, or renamed input. The argument is self-contained against external benchmarks and does not invoke uniqueness theorems or ansatzes from the authors' prior work as the sole justification for the result.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a regularity theorem in analysis. It relies on standard properties of Fourier transforms and on the definition of symmetric Lévy operators; no free parameters or new postulated entities appear in the abstract.

axioms (1)
  • domain assumption Fourier multiplier A(ξ) satisfies A(ξ) ≍ |ξ|^{2s} for a symmetric Lévy operator
    This is the defining hypothesis on the operator class; it is stated in the abstract.

pith-pipeline@v0.9.0 · 5635 in / 1256 out tokens · 27074 ms · 2026-05-20T08:17:08.242509+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We establish optimal C^s boundary regularity for the most general class of (linear and translation invariant) nonlocal elliptic operator of order 2s. Namely, we consider Lévy operators that are symmetric and its Fourier symbol satisfies A(ξ) ≍ |ξ|^{2s} in R^d.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Using the properties of L, we can show that its symbol A can be factored as A = A+ A−, where A+ (resp. A−) is analytic and has no zeroes in the upper (resp. lower) half plane. This is called a Wiener-Hopf factorization.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages

  1. [1]

    Abels, G

    H. Abels, G. Grubb, Fractional-order operators on nonsmooth domains, J. Lond. Math. Soc. 107 (2023), 1297-1350

    work page 2023

  2. [2]

    Bass, Regularity results for stable-like operators, J

    R. Bass, Regularity results for stable-like operators, J. Funct. Anal. 257 (2009), 2693-2722

    work page 2009

  3. [3]

    R. Bass, D. Levin, Harnack inequalities for jump processes, Potential Anal. 17 (2002), 375-382

    work page 2002

  4. [4]

    R. Bass, D. Levin, Transition probabilities for symmetric jump processes, Trans. Amer. Math. Soc. 354 (2002), 2933-2953

    work page 2002

  5. [5]

    Bertoin, Lévy processes, Cambridge Tracts in Mathematics 121 (1996)

    J. Bertoin, Lévy processes, Cambridge Tracts in Mathematics 121 (1996)

    work page 1996

  6. [6]

    Bogdan, T

    K. Bogdan, T. Grzywny, and M. Ryznar, Barriers, exit time and survival probability for unimodal Lévy processes, Probab. Theory Related Fields 162 (2015), 155-198

    work page 2015

  7. [7]

    Bogdan, T

    K. Bogdan, T. Kulczycki, and M. Kwasnicki, Estimates and structure of -harmonic functions, Probab. Theory Relat. Fields 140 (2008), 345-381

    work page 2008

  8. [8]

    Caffarelli, L

    L. Caffarelli, L. Silvestre, Regularity theory for fully nonlinear integro-differential equations, Comm. Pure Appl. Math. 62 (2009), 597-638

    work page 2009

  9. [9]

    Caffarelli, L

    L. Caffarelli, L. Silvestre, The Evans-Krylov theorem for nonlocal fully nonlinear equations, Ann. of Math. 174 (2011), 1163-1187

    work page 2011

  10. [10]

    Caffarelli, L

    L. Caffarelli, L. Silvestre, Regularity results for nonlocal equations by approximation, Arch. Ration. Mech. Anal. 200 (2011), 59-88

    work page 2011

  11. [11]

    Z.-Q. Chen, P. Kim, R. Song, Heat kernel estimates for the Dirichlet fractional Laplacian, J. Eur. Math. Soc. 12 (2010), 1307-1329

    work page 2010

  12. [12]

    Z.-Q. Chen, R. Song, Estimates on Green functions and Poisson kernels for symmetric stable processes, Math. Ann. 312 (1998), 465-501

    work page 1998

  13. [13]

    Cho and R

    S. Cho and R. Song, Abnormal boundary decay for stable operators, arXiv:2510.03961, 2026

    work page arXiv 2026

  14. [14]

    J. B. Conway, Functions of one complex variable, Graduate Texts in Mathematics 11 (1978)

    work page 1978

  15. [15]

    Dipierro, X

    S. Dipierro, X. Ros-Oton, J. Serra, E. Valdinoci, Non-symmetric stable operators: regularity theory and integration by parts, Adv. Math. 401 (2022), 108321, 100pag

    work page 2022

  16. [16]

    B. Dyda, M. Kassmann, Regularity estimates for elliptic nonlocal operators, Anal. PDE 13 (2020), 317-370

    work page 2020

  17. [17]

    E. B. Dynkin, Markov processes. Vols. I, II, Die Grundlehren der mathematischen Wissenschaften 121, 122 (1965)

    work page 1965

  18. [18]

    G. I. Eskin, Boundary value problems for elliptic pseudodifferential equations, Translations of Mathematical Monographs 52 (1981)

    work page 1981

  19. [19]

    Fern\'andez-Real, X

    X. Fern\'andez-Real, X. Ros-Oton, Schauder and Cordes-Nirenberg estimates for nonlocal elliptic equations with singular kernels, Proc. London Math. Soc. 129 (2024)

    work page 2024

  20. [20]

    Fernández-Real and X

    X. Fernández-Real and X. Ros-Oton, Integro-Differential Elliptic Equations, Progress in Mathematics 350 (2024)

    work page 2024

  21. [21]

    R. K. Getoor, First passage times for symmetric stable processes in space, Trans. Amer. Math. Soc. 101 (1961), 75-90

    work page 1961

  22. [22]

    Grubb, Fractional Laplacians on domains, a development of H\"ormander's theory of -transmission pseudodifferential operators, Adv

    G. Grubb, Fractional Laplacians on domains, a development of H\"ormander's theory of -transmission pseudodifferential operators, Adv. Math. 268 (2015), 478-528

    work page 2015

  23. [23]

    Grubb, Fourier methods for fractional-order operators, Proceedings of the RIMS Symposium ``Harmonic Analysis and Nonlinear Partial Differential equations'', 2022

    G. Grubb, Fourier methods for fractional-order operators, Proceedings of the RIMS Symposium ``Harmonic Analysis and Nonlinear Partial Differential equations'', 2022

    work page 2022

  24. [24]

    Grube , Boundary regularity and Hopf lemma for nondegenerate stable operators, arXiv:2410.00829, 2024

    F. Grube , Boundary regularity and Hopf lemma for nondegenerate stable operators, arXiv:2410.00829, 2024

    work page arXiv 2024

  25. [25]

    Grube, The inhomogeneous fractional dirichlet problem, arXiv:2510.01055, 2025

    F. Grube, The inhomogeneous fractional dirichlet problem, arXiv:2510.01055, 2025

    work page arXiv 2025

  26. [26]

    Grzywny and M

    T. Grzywny and M. Ryznar, Potential theory of one-dimensional geometric stable processes, Colloq. Math. 129 (2012), 7-40

    work page 2012

  27. [27]

    Grafakos, Classical Fourier Analysis, Graduate Texts in Mathematics 249 (2014)

    L. Grafakos, Classical Fourier Analysis, Graduate Texts in Mathematics 249 (2014)

    work page 2014

  28. [28]

    Kassmann, A priori estimates for integro-differential operators with measurable kernels, Calc

    M. Kassmann, A priori estimates for integro-differential operators with measurable kernels, Calc. Var. Partial Differential Equations 34 (2009), 1-21

    work page 2009

  29. [29]

    Kassmann, M

    M. Kassmann, M. Weidner, The parabolic H arnack inequality for nonlocal equations , Duke Math. J., 173 (2024), 3413-3451

    work page 2024

  30. [30]

    O. A. Ladyzhenskaya and N. N. Ural'tseva, Estimates on the boundary of a domain for the first derivatives of functions satisfying an elliptic or parabolic inequality, Proc. Steklov Inst. Math. 179 (1989), 109-135

    work page 1989

  31. [31]

    N. S. Landkof, Foundations of Modern Potential Theory, Springer, New York, 1972

    work page 1972

  32. [32]

    Ros-Oton and J

    X. Ros-Oton and J. Serra, The Dirichlet problem for the fractional Laplacian: regularity up to the boundary, J. Math. Pures Appl. 101 (2014), 275-302

    work page 2014

  33. [33]

    Ros-Oton, J

    X. Ros-Oton, J. Serra, Boundary regularity for fully nonlinear integro-differential equations, Duke Math. J. 165 (2016), 2079-2154

    work page 2016

  34. [34]

    Ros-Oton and J

    X. Ros-Oton and J. Serra, Regularity theory for general stable operators, J. Differential Equations 260 (2016), 8675-8715

    work page 2016

  35. [35]

    Ros-Oton and M

    X. Ros-Oton and M. Weidner, Optimal regularity for nonlocal elliptic equations and free boundary problems, arXiv:2403.07793, (2024)

    work page arXiv 2024

  36. [36]

    Silvestre, H\"older estimates for solutions of integro differential equations like the fractional Laplacian, Indiana Univ

    L. Silvestre, H\"older estimates for solutions of integro differential equations like the fractional Laplacian, Indiana Univ. Math. J. 55 (2006), 1155-1174

    work page 2006

  37. [37]

    E. M. Stein and R. Shakarchi, Complex analysis, Princeton Lectures in Analysis 2 (2003)

    work page 2003

  38. [38]

    Svinger and M

    P. Svinger and M. Weidner, Dirichlet heat kernel estimates for parabolic nonlocal equations, arXiv:2512.01919, (2025)

    work page arXiv 2025