pith. sign in

arxiv: 2602.18848 · v3 · submitted 2026-02-21 · 🧮 math.AP

Partial regularity in nonlocal systems II

Pith reviewed 2026-05-15 20:13 UTC · model grok-4.3

classification 🧮 math.AP
keywords partial regularitynonlocal systemsfractional ordersingular setHausdorff dimensionC1 alpha regularitynonlinear elliptic systems
0
0 comments X

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.

The paper establishes partial regularity for solutions to nonlinear nonlocal systems of fractional order 2s greater than 1. These solutions are continuously differentiable with Holder continuous derivatives of any exponent alpha less than 2s minus 1, except on a closed set whose Hausdorff dimension is strictly less than n minus 2. In two space dimensions the singular set is empty, yielding full regularity. This result extends classical partial regularity theory from local to nonlocal settings, which is relevant for models involving long-range interactions.

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

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

  • 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.

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

2 major / 3 minor

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)
  1. [§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.
  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)
  1. [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.
  2. [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.
  3. [§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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background from elliptic regularity theory and fractional Sobolev spaces; no free parameters or invented entities are visible from the abstract.

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.
    Inferred from the abstract's description of nonlinear nonlocal systems of order 2s>1.

pith-pipeline@v0.9.0 · 5332 in / 1255 out tokens · 36425 ms · 2026-05-15T20:13:55.336629+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.

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

53 extracted references · 53 canonical work pages

  1. [1]

    R.F. Bass, M. Kassmann, Harnack inequalities for non-local operators of variable order.Trans. Am. Math. Soc.357, 837-850 (2005)

  2. [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)

  3. [3]

    Bögelein, F

    V. Bögelein, F. Duzaar, N. Liao, G. Molica Bisci, R. Servadei, Regularity for the fractionalp-Laplace equation,J. Funct. Anal.. 289, 111078 (2025)

  4. [4]

    Math.304, 300-354, (2017)

    L.Brasco, E.Lindgren, HigherSobolevregularityforthefractionalp-Laplaceequationinthesuperquadratic case.Adv. Math.304, 300-354, (2017)

  5. [5]

    Brasco, E

    L. Brasco, E. Lindgren, A. Schikorra, Higher Hölder regularity for the fractionalp-Laplacian in the su- perquadratic case.Adv. Math.338, 782-846 (2018)

  6. [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)

  7. [7]

    Caffarelli, L

    L. Caffarelli, L. Silvestre, An extension problem related to the fractional Laplacian.Comm. PDE32, 1245-1260 (2007)

  8. [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)

  9. [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)

  10. [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

  11. [11]

    Da Lio, T

    F. Da Lio, T. Rivière, Three-term commutator estimates and the regularity of1/2-harmonic maps into spheres.Anal. PDE4, 149-190 (2011)

  12. [12]

    De Filippis, G

    C. De Filippis, G. Mingione, Interpolative gap bounds for nonautonomous integrals.Anal. Math. Phys. 11,117, 39 p. (2021)

  13. [13]

    De Filippis, G

    C. De Filippis, G. Mingione, The sharp growth rate in nonuniformly elliptic Schauder theory.Duke Math. J.174, 1775-1848 (2025)

  14. [14]

    De Filippis, G

    C. De Filippis, G. Mingione, S. Nowak, Partial regularity in nonlocal systems I.Preprint(2025). arXiv:2501.08405

  15. [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

  16. [16]

    Di Castro, T

    A. Di Castro, T. Kuusi, G. Palatucci, Local behavior of fractionalp-minimizers.Ann. I. H. Poincaré - AN 33, 1279-1299 (2016)

  17. [17]

    Diening, K

    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. [18]

    Diening, B

    L. Diening, B. Stroffolini, A. Verde, Theφ-harmonic approximation lemma and the regularity ofφ-harmonic maps.J. Diff. Equ.253, 1943-1958 (2012)

  19. [19]

    Di Nezza, G

    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

  20. [20]

    Duzaar, G

    F. Duzaar, G. Mingione, Harmonic type approximation lemmas.J. Math. Anal. Appl.352, 301-335 (2009)

  21. [21]

    Duzaar, K

    F. Duzaar, K. Steffen, Optimal interior and boundary regularity for almost minimizers to elliptic variational integrals.J. Reine Angew. Math. (Crelle J.)546, 73-138 (2002)

  22. [22]

    Fernández-Real, X

    X. Fernández-Real, X. Ros-Oton,Integro-differential elliptic equations.Progress in Mathematics 350. Birkhäuser. xvi, 395 p. (2024)

  23. [23]

    Garain, E

    P. Garain, E. Lindgren, Higher Hölder regularity for mixed local and nonlocal degenerate elliptic equations. Calc. Var.62:67 (2023)

  24. [24]

    Giaquinta,Multiple integrals in the calculus of variations and nonlinear elliptic systems.Annals of Mathematics Studies 105 (1983)

    M. Giaquinta,Multiple integrals in the calculus of variations and nonlinear elliptic systems.Annals of Mathematics Studies 105 (1983)

  25. [25]

    Giaquinta, L

    M. Giaquinta, L. Martinazzi,An introduction to the regularity theory for elliptic systems, harmonic maps and minimal graphs. Edizioni della Normale (2012)

  26. [26]

    Giusti, Precisazione delle funzioniH1,p e singolarità delle soluzioni deboli di sistemi ellittici non lineari

    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)

  27. [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)

  28. [28]

    Giusti, M

    E. Giusti, M. Miranda, Sulla regolarità delle soluzioni deboli di una classe di sistemi ellittici quasi-lineari. Arch. Ration. Mech. Anal.31, 173-184 (1968/69)

  29. [29]

    Korvenpää, T

    J. Korvenpää, T. Kuusi, G. Palatucci, The obstacle problem for nonlinear integro-differential operators. Calc. Var.55:63 (2016)

  30. [30]

    Kuusi, G

    T. Kuusi, G. Mingione, Guide to nonlinear potential estimates.Bull. Math. Sci.4, 1-82 (2014)

  31. [31]

    Kuusi, G

    T. Kuusi, G. Mingione, Y. Sire, Nonlocal equations with measure data.Comm. Math. Phys.337, 1317-1368 (2015)

  32. [32]

    Kuusi, G

    T. Kuusi, G. Mingione, Y. Sire, Nonlocal self-improving properties.Anal. PDE8, 57–114 (2015)

  33. [33]

    Kuusi, S

    T. Kuusi, S. Nowak, Y. Sire, Gradient regularity and first-order potential estimates for a class of nonlocal equations.Amer. J. Math.to appear

  34. [34]

    Kristensen, G

    J. Kristensen, G. Mingione, The singular set ofω-minima.Arch. Ration. Mech. Anal.177, 93-114 (2005)

  35. [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)

  36. [36]

    Millot, Y

    V. Millot, Y. Sire, On a fractional Ginzburg-Landau equation and 1/2-harmonic maps into spheres.Arch. Ration. Mech. Anal.215, 125-210 (2015)

  37. [37]

    Millot, M

    V. Millot, M. Pegon, A. Schikorra, Partial regularity for fractional harmonic maps into spheres.Arch. Ration. Mech. Anal.242, 747-825 (2021)

  38. [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)

  39. [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)

  40. [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)

  41. [41]

    Mooney, O

    C. Mooney, O. Savin, Some singular minimizers in low dimensions in the calculus of variations.Arch. Ration. Mech. Anal.221, 1-22 (2016)

  42. [42]

    Nečas, Example of an irregular solution to a nonlinear elliptic system with analytic coefficients and conditions for regularityTheory of nonlinear operators(Proc

    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

  43. [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)

  44. [44]

    Ros-Oton, J

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

  45. [45]

    Schikorra, Integro-differential harmonic maps into spheres.Comm

    A. Schikorra, Integro-differential harmonic maps into spheres.Comm. PDE40, 506-539 (2015)

  46. [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)

  47. [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)

  48. [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)

  49. [49]

    Sverák, X

    V. Sverák, X. Yan, Non-Lipschitz minimizers of smooth uniformly convex functionals.Proc. Natl. Acad. Sci. USA99, No. 24, 15269-15276 (2002)

  50. [50]

    Triebel,Interpolation theory, function spaces, differential operators

    H. Triebel,Interpolation theory, function spaces, differential operators. Johann Ambrosius Barth, Heidel- berg, 1995

  51. [51]

    Triebel,Theory of function spaces III

    H. Triebel,Theory of function spaces III. Birkhäuser Verlag, Basel, 2006

  52. [52]

    Triebel,Theory of function spaces IV

    H. Triebel,Theory of function spaces IV. Birkhäuser/Springer, 2020

  53. [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...