Partial regularity in nonlocal systems II
Pith reviewed 2026-05-15 20:13 UTC · model grok-4.3
The pith
Solutions to nonlinear nonlocal systems of order 2s>1 are C^{1,α} for α<2s-1 outside a closed singular set of Hausdorff dimension less than n-2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Solutions to nonlinear nonlocal systems of order 2s>1 in R^n are C^{1,α}, for every α <2s-1, outside a closed singular set whose Hausdorff dimension is less than n-2, and which is empty when n=2.
What carries the argument
Partial regularity scheme based on excess decay estimates adapted to the nonlocal integral structure.
If this is right
- Solutions are differentiable almost everywhere.
- The singular set has zero Lebesgue measure.
- Full regularity holds automatically in two dimensions.
- The Holder exponent can approach but not reach 2s-1.
- Results apply to vector-valued solutions in systems.
Where Pith is reading between the lines
- Techniques from this work could be adapted to prove similar results for other classes of nonlocal operators.
- The dimension bound n-2 suggests that the singular set behaves like in local elliptic systems.
- Adaptive numerical methods for nonlocal equations could exploit the smallness of the singular set to reduce computational cost.
Load-bearing premise
The growth, ellipticity and integrability assumptions on the nonlinearity and the nonlocal kernel are satisfied so that the partial regularity method applies.
What would settle it
Construction of a solution to a nonlinear nonlocal system whose gradient fails to be Holder continuous with exponent 2s-1 on a set whose Hausdorff dimension is n-2 or larger.
read the original abstract
Solutions to nonlinear nonlocal systems of order $2s>1$ in $\mathbb{R}^n$ are $C^{1,\alpha}$, for every $\alpha <2s-1$, outside a closed singular set whose Hausdorff dimension is less than $n-2$, and which is empty when $n=2$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves a partial regularity result for weak solutions u to nonlinear nonlocal systems of order 2s > 1 in R^n. Under structural assumptions on the nonlinearity (uniform ellipticity and p-growth) and on the measurable symmetric kernel (integrability conditions compatible with the fractional order), the solutions are shown to be C^{1,α} for every α < 2s-1 outside a closed singular set Σ whose Hausdorff dimension satisfies dim_H(Σ) < n-2; moreover Σ is empty when n=2. The argument proceeds via an excess-decay estimate followed by a dimension-reduction procedure.
Significance. If the technical steps hold, the result supplies an essentially optimal Hölder exponent on the gradient together with a sharp bound on the singular set that matches the classical local case. It extends the partial-regularity theory developed for nonlocal equations to systems and constitutes a natural sequel to the authors' earlier work on the scalar or linear case. The combination of excess decay with dimension reduction in the nonlocal setting is technically nontrivial and, once verified, would be a useful reference for further regularity questions in nonlocal systems.
major comments (2)
- [§4, Lemma 4.3] §4, Lemma 4.3 (excess decay): the iteration constant θ depends on the ellipticity ratio λ/Λ and on the integrability exponent of the kernel; the proof does not explicitly track how this dependence deteriorates when 2s ↓ 1, which is load-bearing for the subsequent dimension-reduction argument that yields dim_H(Σ) < n-2.
- [§5.2, Proposition 5.4] §5.2, Proposition 5.4 (dimension reduction): the blow-up procedure assumes that the rescaled kernels converge in a suitable weak sense, but the compactness argument only controls L^1_loc convergence; it is not clear whether this is sufficient to pass to the limit in the nonlocal term when the test functions are merely C^{1,α}.
minor comments (3)
- [Theorem 1.1] The statement of the main theorem (Theorem 1.1) lists the structural hypotheses only by reference to (1.3)–(1.6); a short self-contained paragraph recalling the precise growth, ellipticity, and kernel conditions would improve readability.
- [Lemma 3.2] In the proof of the Caccioppoli inequality (Lemma 3.2), the cutoff function η is chosen with support in B_r; the resulting error term involving the tail of the kernel is estimated by C r^{-2s} ∫_{R^n} |u|^2, but the constant C is not shown to be independent of the center of the ball, which could affect the covering argument later.
- [§4] Notation: the symbol E(r) is used both for the excess and for the averaged energy; a distinct symbol for the excess would avoid confusion in §4.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major point below and have revised the manuscript to incorporate clarifications and additional details where appropriate.
read point-by-point responses
-
Referee: [§4, Lemma 4.3] §4, Lemma 4.3 (excess decay): the iteration constant θ depends on the ellipticity ratio λ/Λ and on the integrability exponent of the kernel; the proof does not explicitly track how this dependence deteriorates when 2s ↓ 1, which is load-bearing for the subsequent dimension-reduction argument that yields dim_H(Σ) < n-2.
Authors: We agree that an explicit tracking of the dependence of θ improves the presentation. In the revised proof of Lemma 4.3 we now record that θ = 1 − c(λ/Λ, ν, s), where ν denotes the kernel integrability exponent and c > 0 is bounded away from zero uniformly for all s ≥ 1 + δ with δ > 0 fixed (the constants arising from the Caccioppoli-type inequality and the hole-filling argument remain controlled under the standing structural assumptions). This uniform lower bound on c is sufficient for the subsequent dimension-reduction argument, which is performed for each fixed s > 1/2. A short paragraph has been added after the statement of the lemma to make this dependence transparent. revision: yes
-
Referee: [§5.2, Proposition 5.4] §5.2, Proposition 5.4 (dimension reduction): the blow-up procedure assumes that the rescaled kernels converge in a suitable weak sense, but the compactness argument only controls L^1_loc convergence; it is not clear whether this is sufficient to pass to the limit in the nonlocal term when the test functions are merely C^{1,α}.
Authors: We thank the referee for highlighting the need for a precise justification of the limit passage. Under the given integrability assumptions on the kernel, L^1_loc convergence is indeed sufficient: the difference of the nonlocal forms applied to a C^{1,α} test function φ (with α < 2s − 1) can be bounded by an integral that vanishes by the dominated-convergence theorem, using the uniform integrability of the rescaled kernels and the Hölder continuity of ∇φ. To make this step fully rigorous we have inserted a short auxiliary lemma (now Lemma 5.5) that quantifies the convergence of the nonlocal bilinear form under L^1_loc kernel convergence and C^{1,α} test functions; the proof of Proposition 5.4 has been updated to invoke this lemma. revision: yes
Circularity Check
No significant circularity in derivation chain
full rationale
The paper establishes partial regularity for nonlinear nonlocal systems via standard excess-decay estimates, Campanato iteration, and dimension-reduction arguments under explicit structural hypotheses on the nonlinearity (uniform ellipticity and growth) and kernel (measurability, symmetry, integrability). No step reduces by construction to its own inputs: the C^{1,α} conclusion and singular-set dimension bound are obtained from quantitative decay lemmas that are proved directly from the given assumptions, without self-definition or renaming of fitted quantities. Self-citations to prior work (including Part I) supply background lemmas but are not load-bearing for the core estimates, which remain independently verifiable from the stated hypotheses. The result is therefore self-contained against external analytic benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The nonlinearity and kernel satisfy the usual structural assumptions (growth conditions, ellipticity, and suitable integrability) that permit application of partial regularity techniques.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorems 1.2–1.5: C^{1,α} regularity outside singular set of dim ≤ n−2 via ε-regularity on affine excess E_w(ℓ;x,ϱ) and higher differentiability W^{s,2}→W^{s+δ0,2}
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Nonlocal linearization around translation-invariant B(x−y) systems (1.16)–(1.18) and s-harmonic approximation (Lemma 2.12)
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
-
[1]
R.F. Bass, M. Kassmann, Harnack inequalities for non-local operators of variable order.Trans. Am. Math. Soc.357, 837-850 (2005)
work page 2005
-
[2]
L. Behn, L. Diening, S. Nowak, T. Scharle, The De Giorgi method for local and nonlocal systems.J. Lond. Math. Soc. (II)112, Article 70237, 27 p. (2025)
work page 2025
-
[3]
V. Bögelein, F. Duzaar, N. Liao, G. Molica Bisci, R. Servadei, Regularity for the fractionalp-Laplace equation,J. Funct. Anal.. 289, 111078 (2025)
work page 2025
-
[4]
L.Brasco, E.Lindgren, HigherSobolevregularityforthefractionalp-Laplaceequationinthesuperquadratic case.Adv. Math.304, 300-354, (2017)
work page 2017
- [5]
-
[6]
S.-S. Byun, K. Kim, D. Kumar, Regularity results for a class of nonlocal double phase equations with VMO coefficients.Publ. Mat.68, 507-544 (2024)
work page 2024
-
[7]
L. Caffarelli, L. Silvestre, An extension problem related to the fractional Laplacian.Comm. PDE32, 1245-1260 (2007)
work page 2007
-
[8]
Campanato, Proprietà di una famiglia di spazi funzionali.Ann
S. Campanato, Proprietà di una famiglia di spazi funzionali.Ann. Sc. Norm. Super. Pisa, Sci. Fis. Mat. (III)18, 137-160 (1964)
work page 1964
-
[9]
Campanato, Equazioni ellittiche del II ordine e spaziL2,λ.Ann
S. Campanato, Equazioni ellittiche del II ordine e spaziL2,λ.Ann. Mat. Pura Appl. (IV)69, 321-381 (1965)
work page 1965
-
[10]
Campanato,Sistemi ellittici in forma divergenza
S. Campanato,Sistemi ellittici in forma divergenza. Regolarità all’interno, Pubblicazioni della Classe di Scienze: Quaderni. Pisa: Scuola Normale Superiore, 1980
work page 1980
- [11]
-
[12]
C. De Filippis, G. Mingione, Interpolative gap bounds for nonautonomous integrals.Anal. Math. Phys. 11,117, 39 p. (2021)
work page 2021
-
[13]
C. De Filippis, G. Mingione, The sharp growth rate in nonuniformly elliptic Schauder theory.Duke Math. J.174, 1775-1848 (2025)
work page 2025
-
[14]
C. De Filippis, G. Mingione, S. Nowak, Partial regularity in nonlocal systems I.Preprint(2025). arXiv:2501.08405
-
[15]
De Giorgi, Frontiere orientate di misura minima.Seminario Mat
E. De Giorgi, Frontiere orientate di misura minima.Seminario Mat. Scu. Normale Sup. Pisa, 1960-61
work page 1960
-
[16]
A. Di Castro, T. Kuusi, G. Palatucci, Local behavior of fractionalp-minimizers.Ann. I. H. Poincaré - AN 33, 1279-1299 (2016)
work page 2016
-
[17]
L. Diening, K. Kim, H. Lee, S. Nowak, Nonlinear nonlocal potential theory at the gradient level.J. Europ. Math. Soc., (2025), doi 10.4171/JEMS/1706
-
[18]
L. Diening, B. Stroffolini, A. Verde, Theφ-harmonic approximation lemma and the regularity ofφ-harmonic maps.J. Diff. Equ.253, 1943-1958 (2012)
work page 1943
-
[19]
E. Di Nezza, G. Palatucci, E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces.Bull. Sci. Math.136, 521-573 (2012). PARTIAL REGULARITY IN NONLOCAL SYSTEMS II 51
work page 2012
- [20]
- [21]
-
[22]
X. Fernández-Real, X. Ros-Oton,Integro-differential elliptic equations.Progress in Mathematics 350. Birkhäuser. xvi, 395 p. (2024)
work page 2024
- [23]
-
[24]
M. Giaquinta,Multiple integrals in the calculus of variations and nonlinear elliptic systems.Annals of Mathematics Studies 105 (1983)
work page 1983
-
[25]
M. Giaquinta, L. Martinazzi,An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs. Edizioni della Normale (2012)
work page 2012
-
[26]
E. Giusti, Precisazione delle funzioniH1,p e singolarità delle soluzioni deboli di sistemi ellittici non lineari. Boll. Unione Mat. Ital. (IV)2, 71-76 (1969)
work page 1969
-
[27]
Giusti,Direct methods in the Calculus of Variations.Singapore: World Scientific
E. Giusti,Direct methods in the Calculus of Variations.Singapore: World Scientific. vii, 403 p. (2003)
work page 2003
- [28]
-
[29]
J. Korvenpää, T. Kuusi, G. Palatucci, The obstacle problem for nonlinear integro-differential operators. Calc. Var.55:63 (2016)
work page 2016
- [30]
- [31]
- [32]
- [33]
-
[34]
J. Kristensen, G. Mingione, The singular set ofω-minima.Arch. Ration. Mech. Anal.177, 93-114 (2005)
work page 2005
-
[35]
Marcellini, Approximation of quasiconvex functions, and lower semicontinuity of multiple integrals
P. Marcellini, Approximation of quasiconvex functions, and lower semicontinuity of multiple integrals. Manuscr. Math.51, 1-28 (1985)
work page 1985
- [36]
- [37]
-
[38]
Mingione, The singular set of solutions to non-differentiable elliptic systems.Arch
G. Mingione, The singular set of solutions to non-differentiable elliptic systems.Arch. Ration. Mech. Anal. 166, 287-301 (2003)
work page 2003
-
[39]
Mingione, Singularities of minima: a walk on the wild side of the calculus of variations.J
G. Mingione, Singularities of minima: a walk on the wild side of the calculus of variations.J. Glob. Optim. 40, 209-223 (2008)
work page 2008
-
[40]
Morrey, Partial regularity results for non-linear elliptic systems.J
C.B. Morrey, Partial regularity results for non-linear elliptic systems.J. Math. Mech.17, 649-670 (1968)
work page 1968
- [41]
-
[42]
J. Nečas, Example of an irregular solution to a nonlinear elliptic system with analytic coefficients and conditions for regularityTheory of nonlinear operators(Proc. Fourth Internat. Summer School, Acad. Sci., Berlin, 1975), pp. 197–206
work page 1975
-
[43]
Roberts, A regularity theory for intrinsic minimising fractional harmonic maps.Calc
J.A. Roberts, A regularity theory for intrinsic minimising fractional harmonic maps.Calc. Var.57:109 (2018)
work page 2018
-
[44]
X. Ros-Oton, J. Serra, Regularity theory for general stable operators,J. Diff. Equ.260 (2016), 8675-8715
work page 2016
-
[45]
Schikorra, Integro-differential harmonic maps into spheres.Comm
A. Schikorra, Integro-differential harmonic maps into spheres.Comm. PDE40, 506-539 (2015)
work page 2015
-
[46]
Schikorra,ε-regularity for systems involving non-local, antisymmetric operators.Calc
A. Schikorra,ε-regularity for systems involving non-local, antisymmetric operators.Calc. Var.54, 3531- 3570 (2015)
work page 2015
-
[47]
Schikorra, Nonlinear commutators for the fractionalp-Laplacian and applications.Math
A. Schikorra, Nonlinear commutators for the fractionalp-Laplacian and applications.Math. Ann.366, 695-720 (2016)
work page 2016
-
[48]
Schneider, Traces of Besov and Triebel-Lizorkin spaces on domains.Math
C. Schneider, Traces of Besov and Triebel-Lizorkin spaces on domains.Math. Nachr.284, 572-586 (2011)
work page 2011
- [49]
-
[50]
Triebel,Interpolation theory, function spaces, differential operators
H. Triebel,Interpolation theory, function spaces, differential operators. Johann Ambrosius Barth, Heidel- berg, 1995
work page 1995
-
[51]
Triebel,Theory of function spaces III
H. Triebel,Theory of function spaces III. Birkhäuser Verlag, Basel, 2006
work page 2006
-
[52]
Triebel,Theory of function spaces IV
H. Triebel,Theory of function spaces IV. Birkhäuser/Springer, 2020
work page 2020
-
[53]
Uhlenbeck, Regularity for a class of nonlinear elliptic systems.Acta Math.138, 219-240 (1977)
K. Uhlenbeck, Regularity for a class of nonlinear elliptic systems.Acta Math.138, 219-240 (1977). 52 DE FILIPPIS, MINGIONE, AND NOWAK Cristiana De Filippis, Dipartimento SMFI, Università di Parma, Parco Area delle Scienze 53/A, 43124 Parma, Italy Email address:cristiana.defilippis@unipr.it Giuseppe Mingione, Dipartimento SMFI, Università di Parma, Parco A...
work page 1977
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.