Optimal stability of complement value problems for p-L\'evy operators
Pith reviewed 2026-05-14 19:46 UTC · model grok-4.3
The pith
Solutions to p-Lévy integro-differential equations converge strongly to local p-Laplacian limits in the optimal Sobolev norm as the nonlocality parameter s approaches 1 from below.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish the optimal convergence of solutions to integro-differential equations (IDEs) governed by symmetric integrodifferential p-Lévy operators, 1 < p < ∞, in the presence of nonlocal Dirichlet or Neumann boundary conditions. For the fractional p-Laplacian (-Δ)^s_p u_s = f_s in Ω ⊂ ℝ^d augmented with Dirichlet or Neumann data g_s, then under suitable assumptions on Ω, f_s and g_s, (u_s)_s strongly converges as s → 1^- with ||u_s - u_1||_{W^{s,p}(Ω)} → 0. We also show that the nonlocal trace spaces converge, in an appropriate sense, to the local trace space.
What carries the argument
Strong convergence of solutions in the s-dependent fractional Sobolev space W^{s,p}(Ω) as s → 1^-, together with the convergence of the associated nonlocal trace spaces to the local trace space.
If this is right
- The limit u_1 satisfies the local p-Laplace equation with the limiting boundary conditions obtained from g_s.
- The same optimal convergence holds for both nonlocal Dirichlet problems and nonlocal Neumann problems.
- Variational formulations of the nonlocal problems pass to the local limit under the stated convergence.
- Boundary conditions encoded in the nonlocal trace spaces remain consistent with classical traces in the limit.
Where Pith is reading between the lines
- The stability result supplies a template for proving similar optimal convergence for other families of nonlocal operators that possess comparable trace-space properties.
- Numerical schemes built on fractional operators could be equipped with explicit error bounds that vanish as s → 1, aiding approximation of local PDEs.
- The trace-space convergence suggests that the framework may extend to time-dependent or nonlinear nonlocal problems whose local limits are already well understood.
Load-bearing premise
Suitable assumptions on the domain Ω, the right-hand sides f_s, and the boundary data g_s that allow the nonlocal-to-local passage.
What would settle it
A concrete counterexample consisting of a domain Ω and sequences f_s, g_s such that the corresponding solutions satisfy ||u_s - u_1||_{W^{s,p}(Ω)} does not tend to zero as s → 1^- would disprove the claimed optimal convergence.
read the original abstract
We establish the optimal convergence of solutions to integro-differential equations (IDEs) governed by symmetric integrodifferential $p$-L\'evy operators, $1 < p < \infty$, in the presence of nonlocal Dirichlet or Neumann boundary conditions. For illustrative purposes, consider the particular case of the (fractional) $p$-Laplacian $(-\Delta)^s_p$ with $0 < s \le 1$. If $(-\Delta)^s_p u_s = f_s $ in $\Omega \subset \mathbb{R}^d,$ augmented with a Dirichlet or Neumann data $g_s$ then under suitable assumptions on $\Omega$, $f_s$ and $g_s$, we show that $(u_s)_s$ strongly converges as $s \to 1^-$ in the the optimal, that is, $\|u_s - u_1\|_{W^{s,p}(\Omega)} \to 0$. \smallskip Another subsequent goal underpinning our approach is the robustness of the nonlocal trace spaces; specifically, we also show that the nonlocal trace spaces converge, in an appropriate sense, to the local trace space.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes optimal strong convergence of solutions u_s to the local limit u_1 in the W^{s,p}(Ω) norm as s → 1^- for integro-differential equations driven by symmetric p-Lévy operators (including the fractional p-Laplacian) subject to nonlocal Dirichlet or Neumann data. Under suitable assumptions on the domain Ω, right-hand sides f_s and boundary data g_s, the solutions converge strongly; a secondary result shows that the nonlocal trace spaces converge in an appropriate sense to the local trace space.
Significance. If the estimates hold, the result supplies a precise stability statement for the nonlocal-to-local passage in the natural fractional Sobolev spaces, which is useful for both theoretical analysis and numerical approximation of p-Lévy models. The trace-space robustness result strengthens the foundation for passing to the limit in boundary-value problems and avoids ad-hoc restrictions on the data.
major comments (2)
- [§3, Theorem 3.2] §3, Theorem 3.2: the proof that ||u_s - u_1||_{W^{s,p}(Ω)} → 0 relies on a uniform bound for the nonlocal seminorm; it is not clear whether the constant remains independent of s when the right-hand side f_s only converges weakly in L^p, which would be needed to close the argument for the full norm.
- [§4.1, Eq. (4.3)] §4.1, Eq. (4.3): the passage from the nonlocal trace operator to the local Dirichlet trace appears to use a density argument that assumes g_s belongs to a space stronger than the trace space itself; this restriction should be relaxed or justified explicitly if the result is to hold for merely continuous boundary data.
minor comments (3)
- [Abstract] Abstract: the phrase 'in the the optimal' contains a repeated article and should be corrected.
- [§2] Notation: the general symmetric p-Lévy kernel is introduced only in §2; a brief reminder of its relation to the fractional p-Laplacian would improve readability for readers entering at the illustrative example.
- [Introduction] The statement that the trace-space convergence occurs 'in an appropriate sense' is repeated in the abstract and introduction without a precise topology; a single sentence defining the metric or weak-* convergence would remove ambiguity.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment point by point below, providing clarifications and indicating the revisions made.
read point-by-point responses
-
Referee: [§3, Theorem 3.2] §3, Theorem 3.2: the proof that ||u_s - u_1||_{W^{s,p}(Ω)} → 0 relies on a uniform bound for the nonlocal seminorm; it is not clear whether the constant remains independent of s when the right-hand side f_s only converges weakly in L^p, which would be needed to close the argument for the full norm.
Authors: We thank the referee for this observation. In the proof of Theorem 3.2 the uniform bound on the nonlocal seminorm follows from the weak convergence of f_s to f_1 in L^p(Ω) together with the uniform coercivity of the family of symmetric p-Lévy operators as s → 1^-. The coercivity constant is controlled by the limiting local p-Laplacian problem and is therefore independent of s; the weak convergence of the right-hand side is sufficient because the energy identity passes to the limit by lower semicontinuity. We have added a short remark immediately after the proof that explicitly records this s-independence, thereby closing the argument for strong convergence in the full W^{s,p}(Ω) norm. revision: yes
-
Referee: [§4.1, Eq. (4.3)] §4.1, Eq. (4.3): the passage from the nonlocal trace operator to the local Dirichlet trace appears to use a density argument that assumes g_s belongs to a space stronger than the trace space itself; this restriction should be relaxed or justified explicitly if the result is to hold for merely continuous boundary data.
Authors: We agree that the justification in Section 4.1 should be made fully explicit for continuous boundary data. The density argument proceeds by first establishing the result for smooth g_s (which are dense in C(∂Ω) with respect to the uniform norm) and then passing to the limit by continuity of the nonlocal trace operator. Because the uniform norm controls the trace-space norm on the boundary, the convergence extends directly to merely continuous g_s without requiring any stronger integrability or differentiability. We have revised the paragraph containing Eq. (4.3) to include this explicit approximation step, removing any implicit restriction on the regularity of g_s. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper establishes a convergence result for solutions u_s of nonlocal p-Lévy equations to the local limit u_1 as s→1^−, measured in the W^{s,p}(Ω) norm, under assumptions on the domain and data. This is a standard limit theorem relying on analytic estimates for the nonlocal-to-local passage and trace-space robustness. No equations, parameters, or self-citations in the provided text reduce the claimed convergence to a tautology, a fitted input, or a self-referential definition. The derivation chain is self-contained against external estimates and does not exhibit any of the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Suitable assumptions on Ω, f_s and g_s
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
Fuensanta Andreu-Vaillo, Jos´ e M. Maz´ on, Julio D. Rossi, and J. Juli´ an Toledo-Melero.Nonlocal diffusion problems , volume 165 of Mathematical Surveys and Monographs . American Mathemat- ical Society, Providence, RI; Real Sociedad Matem´ atica Espa˜ nola, Madrid, 2010
work page 2010
-
[4]
Bourgain-Bre zis-Mironescu domains
Kaushik Bal, Kaushik Mohanta, and Prosenjit Roy. Bourgain-Bre zis-Mironescu domains. Non- linear Analysis, 199:111928, 10, 2020
work page 2020
-
[5]
Jos´ e C. Bellido and Alejandro Ortega. A restricted nonlocal ope rator bridging together the Lapla- cian and the fractional Laplacian. Calc. Var. Partial Differential Equations , 60(2):Paper No. 71, 29, 2021
work page 2021
-
[6]
Jos´ e C. Bellido and Alejandro Ortega. Spectral stability for the peridynamic fractional p- Laplacian. Appl. Math. Optim. , 84(suppl. 1):S253–S276, 2021
work page 2021
-
[7]
Another look at Sobolev spaces
Jean Bourgain, Ha ¨ ım Brezis, and Petru Mironescu. Another look at Sobolev spaces. In Optimal control and partial differential equations , pages 439–455. IOS, Amsterdam, 2001. Optimal control and partial differential equations: IOS, Amsterdam
work page 2001
-
[8]
Franck Boyer and Pierre Fabrie. Mathematical tools for the study of the incompressible Navi er- Stokes equations and related models , volume 183 of Applied Mathematical Sciences. Springer, New York, 2013
work page 2013
-
[9]
Stability of v ariational eigenvalues for the fractional p-Laplacian
Lorenzo Brasco, Enea Parini, and Marco Squassina. Stability of v ariational eigenvalues for the fractional p-Laplacian. Discrete Contin. Dyn. Syst. , 36(4):1813–1845, 2016
work page 2016
-
[10]
How to recognize constant functions
Ha ¨ ım Brezis. How to recognize constant functions. connectio ns with sobolev spaces. Russian Mathematical Surveys , 57(4):693, 2002
work page 2002
-
[11]
Claudia Bucur and Marco Squassina. An asymptotic expansion fo r the fractional p-Laplacian and for gradient-dependent nonlocal operators. Commun. Contemp. Math. , 24(4):Paper No. 2150021, 34, 2022
work page 2022
-
[12]
Convergence rates of the f ractional to the local Dirichlet problem
Leon Bungert and F´ elix del Teso. Convergence rates of the f ractional to the local Dirichlet problem. J. Differential Equations , 463:Paper No. 114173, 34, 2026. 47
work page 2026
-
[13]
Ignacio Ceresa Dussel and Juli´ an Fern´ andez Bonder. A Bour gain-Brezis-Mironescu formula for anisotropic fractional Sobolev spaces and applications to anisotro pic fractional differential equa- tions. J. Math. Anal. Appl. , 519(2):Paper No. 126805, 25, 2023
work page 2023
-
[14]
A Bourgain- Brezis-Mironescu formula accounting for nonlocal antisymmetric exchange interactions
Elisa Davoli, Giovanni Di Fratta, and Rossella Giorgio. A Bourgain- Brezis-Mironescu formula accounting for nonlocal antisymmetric exchange interactions. SIAM J. Math. Anal. , 56(6):6995– 7013, 2024
work page 2024
-
[15]
Sharp condit ions for the validity of the Bourgain-Brezis-Mironescu formula, 2023
Elisa Davoli, Giovanni Di Fratta, and Valerio Pagliari. Sharp condit ions for the validity of the Bourgain-Brezis-Mironescu formula, 2023
work page 2023
-
[16]
Leandro M. Del Pezzo and Ariel M. Salort. The first non-zero N eumann p-fractional eigenvalue. Nonlinear Anal., 118:130–143, 2015
work page 2015
-
[17]
F´ elix Del Teso, David G´ omez-Castro, and Juan Luis V´ azquez. Three representations of the frac- tional p-Laplacian: semigroup, extension and Balakrishnan formulas. Fract. Calc. Appl. Anal. , 24(4):966–1002, 2021
work page 2021
-
[18]
A mean value formula for the va riational p-Laplacian
F´ elix Del Teso and Erik Lindgren. A mean value formula for the va riational p-Laplacian. NoDEA Nonlinear Differential Equations Appl. , 28(3):Paper No. 27, 33, 2021
work page 2021
-
[19]
Irene Drelichman and Ricardo G. Dur´ an. The Bourgain-Br´ ezis -Mironescu formula in arbitrary bounded domains. Proc. Amer. Math. Soc. , 150(2):701–708, 2022
work page 2022
-
[20]
Function spaces and extension results for nonlocal Dirich- let problems
Bart/suppress lomiej Dyda and Moritz Kassmann. Function spaces and extension results for nonlocal Dirich- let problems. J. Funct. Anal. , 277(11):108134, 22, 2019
work page 2019
-
[21]
The Dirichlet problem for the logarithmic p- Laplacian
Bart/suppress lomiej Dyda, Sven Jarohs, and Firoj Sk. The Dirichlet problem for the logarithmic p- Laplacian. Transactions of the American Mathematical Society , 2025
work page 2025
-
[22]
Stability of so lutions for nonlocal problems
Bonder Julian Fern´ andez and Ariel Martin Salort. Stability of so lutions for nonlocal problems. Nonlinear Anal., 200:112080, 13, 2020
work page 2020
-
[23]
Nonlocal Gagliardo-Nirenberg-Sobolev type inequ ality
Guy Foghem. Nonlocal Gagliardo-Nirenberg-Sobolev type inequ ality. Commun. Math. Sci. , 23(1):55–83, 2025
work page 2025
-
[24]
Stability of complement value problems for p-L´ evy operators.Nonlinear Differ
Guy Foghem. Stability of complement value problems for p-L´ evy operators.Nonlinear Differ. Equ. Appl.(NoDEA) , 32(1):1–106, 2025
work page 2025
-
[25]
Robust interpolation inequalities via chebyshev-ty pe inequalities
Guy Foghem. Robust interpolation inequalities via chebyshev-ty pe inequalities. Forthcoming preprint, 2026
work page 2026
-
[26]
A general framework for no nlocal Neumann problems
Guy Foghem and Moritz Kassmann. A general framework for no nlocal Neumann problems. Com- mun. Math. Sci. , 22(1):15–66, 2024
work page 2024
-
[27]
L2-Theory for nonlocal operators on domains
Guy Fabrice Foghem Gounoue. L2-Theory for nonlocal operators on domains . PhD thesis, Biele- feld University, https://doi.org/10.4119/unibi/2946033, 2020
-
[28]
A remake of Bourgain-Brezis-Mir onescu characterization of Sobolev spaces
Guy Fabrice Foghem Gounoue. A remake of Bourgain-Brezis-Mir onescu characterization of Sobolev spaces. Partial Diff. Equ. and Appl. , 4(2):36, 2023
work page 2023
-
[29]
Mosco convergence of nonlo- cal to local quadratic forms
Guy Fabrice Foghem Gounoue, Moritz Kassmann, and Paul Voigt . Mosco convergence of nonlo- cal to local quadratic forms. Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Metho ds, 193(111504):22, 2020. Nonlocal and Fractional Phenomena
work page 2020
-
[30]
Caratterizzazioni delle tracce sulla frontiera re lative ad alcune classi di funzioni in n variabili
Emilio Gagliardo. Caratterizzazioni delle tracce sulla frontiera re lative ad alcune classi di funzioni in n variabili. Rend. Sem. Mat. Univ. Padova , 27:284–305, 1957
work page 1957
-
[31]
Sharp conditions for the bbm formula and asymptotics of heat content-type energies
Luca Gennaioli and Giorgio Stefani. Sharp conditions for the bbm formula and asymptotics of heat content-type energies. Arch. Ration. Mech. Anal. , 250(1), January 2026
work page 2026
-
[32]
Integro-Differential Operators on Bounded Domains
Florian Grube. Integro-Differential Operators on Bounded Domains . PhD thesis, Dissertation, (Bielefeld University), https://doi.org/10.4119/unibi/3005241, 2025
-
[33]
Robust nonlocal trace spa ces and Neumann problems
Florian Grube and Thorben Hensiek. Robust nonlocal trace spa ces and Neumann problems. Nonlinear Anal., 241:113481, 35, 2024
work page 2024
-
[34]
Robust nonlocal trace and extension theorems
Florian Grube and Moritz Kassmann. Robust nonlocal trace and extension theorems. Analysis & PDE , 18(10):2367–2414, nov 2025
work page 2025
-
[35]
Measure density and extendability of Sobolev functions
Piotr Haj/suppress l asz, Pekka Koskela, and Heli Tuominen. Measure density and extendability of Sobolev functions. Rev. Mat. Iberoam. , 24(2):645–669, 2008. 48
work page 2008
-
[36]
Sobolev embeddings, extensions and measure density condition
Piotr Haj/suppress l asz, Pekka Koskela, and Heli Tuominen. Sobolev embeddings, extensions and measure density condition. J. Funct. Anal. , 254(5):1217–1234, 2008
work page 2008
-
[37]
The divergence theorem and nonlocal counterparts
Solveig Hepp and Moritz Kassmann. The divergence theorem and nonlocal counterparts. Bull. London Math. Soc. , 55(6):1–23, 2023
work page 2023
-
[38]
A class of integral equations a nd approximation of p-Laplace equations
Hitoshi Ishii and Gou Nakamura. A class of integral equations a nd approximation of p-Laplace equations. Calc. Var. Partial Differential Equations , 37(3-4):485–522, 2010
work page 2010
-
[39]
Differentiabilit y of the nonlocal-to-local transi- tion in fractional Poisson problems
Sven Jarohs, Alberto Salda˜ na, and Tobias Weth. Differentiabilit y of the nonlocal-to-local transi- tion in fractional Poisson problems. Potential Anal. , 63(1):77–99, 2025
work page 2025
-
[40]
Characterizat ions of anisotropic high order Sobolev spaces
Nguyen Lam, Ali Maalaoui, and Andrea Pinamonti. Characterizat ions of anisotropic high order Sobolev spaces. Asymptot. Anal. , 113(4):239–260, 2019
work page 2019
-
[41]
Notes on limits of Sobolev spaces and the continuity o f interpolation scales
Mario Milman. Notes on limits of Sobolev spaces and the continuity o f interpolation scales. Trans. Amer. Math. Soc. , 357(9):3425–3442, 2005
work page 2005
-
[42]
Petru Mironescu. Note on Gagliardo’s theorem “tr W 1, 1 = L1”. Ann. Univ. Buchar. Math. Ser. , 6(LXIV)(1):99–103, 2015
work page 2015
-
[43]
The role of the Hardy type inequalities in the th eory of function spaces
Petru Mironescu. The role of the Hardy type inequalities in the th eory of function spaces. Rev. Roumaine Math. Pures Appl. , 63(4):447–525, 2018
work page 2018
-
[44]
Traces of weighted Sobo lev spaces
Petru Mironescu and Emmanuel Russ. Traces of weighted Sobo lev spaces. Old and new. Nonlinear Anal., 119:354–381, 2015
work page 2015
-
[45]
New characteri- zations of magnetic Sobolev spaces
Hoai-Minh Nguyen, Andrea Pinamonti, Marco Squassina, and Eug enio Vecchi. New characteri- zations of magnetic Sobolev spaces. Adv. Nonlinear Anal. , 7(2):227–245, 2018
work page 2018
-
[46]
A counterexample connected with Gagliardo’s tra ce theorem
Jaak Peetre. A counterexample connected with Gagliardo’s tra ce theorem. Comment. Math. Spec. Issue, 2:277–282, 1979
work page 1979
-
[47]
Sobolev spaces in several variables in L1-type norms are not isomorphic to Banach lattices
Aleksander Pe/suppress lczy´ nski and Micha/suppress l Wojciechowski. Sobolev spaces in several variables in L1-type norms are not isomorphic to Banach lattices. Ark. Mat. , 40(2):363–382, 2002
work page 2002
-
[48]
Augusto C. Ponce. An estimate in the spirit of Poincar´ e’s inequa lity. J. Eur. Math. Soc. (JEMS) , 6(1):1–15, 2004
work page 2004
-
[49]
Augusto C. Ponce. A new approach to Sobolev spaces and conn ections to Γ-convergence. Calc. Var. Partial Differential Equations , 19(3):229–255, 2004
work page 2004
-
[50]
Augusto C. Ponce and Daniel Spector. On formulae decoupling t he total variation of BV functions. Nonlinear Anal., 154:241–257, 2017
work page 2017
-
[51]
Ariel Martin Salort and Eugenio Vecchi. On the mixed local-nonloca l H´ enon equation.Differential Integral Equations, 35(11-12):795–818, 2022
work page 2022
-
[52]
James M. Scott and Qiang Du. Nonlocal problems with local bound ary conditions II: Green’s identities and regularity of solutions. SIAM J. Math. Anal. , 57(1):404–451, 2025
work page 2025
-
[53]
Paul Voigt. Nonlocal operators on domains . PhD thesis, Bielefeld University, https://pub.uni-bielefeld.de/record/2913363, 2017
-
[54]
The fractional Neumann and Robin type boun dary conditions for the regional fractional p-Laplacian
Mahamadi Warma. The fractional Neumann and Robin type boun dary conditions for the regional fractional p-Laplacian. NoDEA Nonlinear Differential Equations Appl. , 23(1):Art. 1, 46, 2016
work page 2016
-
[55]
Energy methods for nonsymmetric nonlocal operators
Marvin Weidner. Energy methods for nonsymmetric nonlocal operators . PhD thesis, Bielefeld University, https://doi.org/10.4119/unibi/2965387, 2022
-
[56]
Fractional Sobolev extension and imbedding
Yuan Zhou. Fractional Sobolev extension and imbedding. Trans. Amer. Math. Soc. , 367(2):959– 979, 2015
work page 2015
-
[57]
Vladimir A. Zorich. Mathematical analysis. II . Universitext. Springer, Heidelberg, second, from russian edition, 2016. Brandenburgische Technische Universit ¨at Cottbus–Senftenberg, F akult¨at 1: MINT F achgebiet Mathe- matik, Platz der Deutschen Einheit 1, 03046 Cottbus, German y. ORCID Email address : guy.foghem[at]b-tu.de 49
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.