Regularity of superposition operators of mixed fractional order
Pith reviewed 2026-05-19 15:46 UTC · model grok-4.3
pith:FP3AG7DG Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{FP3AG7DG}
Prints a linked pith:FP3AG7DG badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
The pith
Weak solutions to mixed local-nonlocal fractional superposition operators are locally Hölder continuous.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We extend the De Giorgi--Nash--Moser theory to superposition operators of mixed fractional operators. In particular, we establish the Caccioppoli-type inequality with tail for weak subsolutions, local boundedness of weak subsolutions, local Hölder continuity of weak solutions, the weak Harnack inequality for weak supersolutions, and the lower semicontinuity of weak supersolutions. Furthermore, we prove the expansion of positivity, a preliminary Harnack inequality, and the upper semicontinuity of weak subsolutions. Our results apply to both fixed-sign and sign-changing solutions involving mixed local--nonlocal superposition fractional operators.
What carries the argument
The mixed local-nonlocal superposition fractional operator under kernel and ellipticity conditions that support Caccioppoli estimates with tails and De Giorgi-Nash-Moser iteration.
If this is right
- Weak subsolutions are locally bounded.
- Weak supersolutions are lower semicontinuous.
- Weak subsolutions are upper semicontinuous.
- Expansion of positivity yields a preliminary Harnack inequality.
- The same conclusions hold in the linear case p=2.
Where Pith is reading between the lines
- The established regularity may support existence proofs for boundary-value problems with these mixed operators.
- The iteration techniques could transfer to other hybrid local-nonlocal models arising in applications.
- Numerical approximation schemes for such equations can assume the guaranteed continuity and boundedness properties.
Load-bearing premise
The kernel conditions, ellipticity constants, and precise form of the superposition allow the De Giorgi-Nash-Moser iteration to run without further restrictions on solution sign or support.
What would settle it
A concrete kernel and superposition satisfying the paper's structural assumptions for which a weak solution fails to be locally Hölder continuous or violates the weak Harnack inequality.
read the original abstract
We extend the De Giorgi--Nash--Moser theory to superposition operators of mixed fractional operators. In particular, we investigate several regularity properties for this class of operators. We establish the Caccioppoli-type inequality with tail for weak subsolutions, local boundedness of weak subsolutions, local H\"older continuity of weak solutions, the weak Harnack inequality for weak supersolutions, and the lower semicontinuity of weak supersolutions. Furthermore, we prove the expansion of positivity, a preliminary Harnack inequality, and the upper semicontinuity of weak subsolutions. Our results apply to both fixed-sign and sign-changing solutions involving mixed local--nonlocal superposition fractional operators. Notably, the results are new even in the classical linear case $p=2$, demonstrating the broader applicability of the techniques developed in this work.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends the De Giorgi-Nash-Moser theory to superposition operators of mixed local-nonlocal fractional order. It establishes a Caccioppoli-type inequality with tail for weak subsolutions, local boundedness of weak subsolutions, local Hölder continuity of weak solutions, the weak Harnack inequality for weak supersolutions, lower semicontinuity of weak supersolutions, expansion of positivity, a preliminary Harnack inequality, and upper semicontinuity of weak subsolutions. The results are claimed to hold for both fixed-sign and sign-changing solutions without additional sign or support restrictions, and are asserted to be new even in the linear case p=2.
Significance. If the technical details are verified, the work would meaningfully broaden the scope of regularity theory by accommodating nonlinear superpositions and mixed local-nonlocal operators while retaining the full suite of De Giorgi-Nash-Moser conclusions for sign-changing solutions. This could facilitate analysis of a wider class of fractional PDEs arising in applications.
major comments (1)
- The central claim that the stated kernel conditions and ellipticity constants suffice for the full iteration (including expansion of positivity) for sign-changing weak solutions rests on controlling opposite-sign contributions in the nonlocal tail. The abstract asserts this holds without extra restrictions, yet the interaction between the local and nonlocal parts under nonlinear superposition may produce cross terms not absorbed by the standard estimates; this point is load-bearing for the sign-changing case and requires explicit verification in the relevant iteration step.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive feedback on our manuscript extending De Giorgi-Nash-Moser theory to mixed fractional superposition operators. We address the major comment below.
read point-by-point responses
-
Referee: The central claim that the stated kernel conditions and ellipticity constants suffice for the full iteration (including expansion of positivity) for sign-changing weak solutions rests on controlling opposite-sign contributions in the nonlocal tail. The abstract asserts this holds without extra restrictions, yet the interaction between the local and nonlocal parts under nonlinear superposition may produce cross terms not absorbed by the standard estimates; this point is load-bearing for the sign-changing case and requires explicit verification in the relevant iteration step.
Authors: We appreciate the referee highlighting this key aspect. In the expansion of positivity (Theorem 5.1 and the iteration in Section 5), the nonlocal tail is split according to the sign of the test function and the solution. Opposite-sign contributions are controlled directly by the tail integral and the ellipticity constants, while cross terms generated by the nonlinear superposition are absorbed using the inequality |a + b|^p ≤ 2^{p-1}(|a|^p + |b|^p) together with the local coercivity term and the fractional Poincaré inequality. The kernel assumptions (K1)–(K3) ensure the nonlocal part remains subordinate, so no additional sign or support restrictions are required. To make the absorption explicit, we have added a clarifying remark immediately after the statement of Lemma 5.2. revision: partial
Circularity Check
No circularity: derivation extends established De Giorgi-Nash-Moser theory under stated structural assumptions
full rationale
The paper derives Caccioppoli-type inequalities with tail, local boundedness, Hölder continuity, weak Harnack inequality, expansion of positivity, and semicontinuity results for weak solutions of mixed local-nonlocal superposition fractional operators. These follow from kernel conditions, ellipticity constants, and the superposition structure applied to both fixed-sign and sign-changing solutions. No equation or step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the claims for sign-changing cases are carried by the same assumptions that close the iteration, without renaming known results or smuggling ansatzes. The work is self-contained against external benchmarks in the classical theory.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The mixed local-nonlocal superposition operator satisfies suitable ellipticity and growth conditions that permit the De Giorgi-Nash-Moser iteration.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We establish the Caccioppoli-type inequality with tail for weak subsolutions, local boundedness of weak subsolutions, local Hölder continuity of weak solutions, the weak Harnack inequality for weak supersolutions, and the expansion of positivity
-
IndisputableMonolith/Foundation/AbsoluteFloorClosure.leanabsolute_floor_iff_bare_distinguishability unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
the nonlocal superposition tail ... Tail(u;x0,r) = [∫_{(0,1)} C_{N,s,p} r^{sp} (∫_{R^N∖B_r} |u(y)|^{p-1}/|y-x0|^{N+sp} dy) dμ(s)]^{1/(p-1)}
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]
D. G. Afonso, R. Bartolo, and G. M. Bisci. Multiple solutions to asymptotically linear problems driven by superposition operators.J. Math. Anal. Appl., 553(1):1–14, Article No. 129846, 2026
work page 2026
- [2]
- [3]
-
[4]
S. Bhowmick, S. Ghosh, and V. Kumar. Infinitely many solutions for nonlinear superposition operators of mixed fractional order involving critical exponent.Discrete Contin. Dyn. Syst.-S, pages 1–24, doi– 10.3934/dcdss.2026089, 2026
-
[5]
S. Bhowmick, S. Ghosh, and V. Kumar. Superlinear problems involving nonlinear superposi- tion operators of mixed fractional order.Proc. Roy. Soc. Edinburgh Sect. A, pages 1–26, doi– 10.1017/prm.2026.10124, 2026
-
[6]
S. Bhowmick, S. Ghosh, V. Kumar, and R. Lakshmi. Harnack inequality for superposition operators of mixed fractional order.In preparation, 2026
work page 2026
-
[7]
S. Biagi, S. Dipierro, E. Valdinoci, and E. Vecchi. On a Sobolev critical problem for the superposition of a local and nonlocal operator with the “wrong sign”.preprint arXiv:2601.07521, pages 1–14, 2026
-
[8]
G. M. Bisci, P. Malanchini, and S. Secchi. Existence of local minimizers for a critical problem involving a superposition operator of mixed fractional order.Bull. Math. Sci., 15(3):1–14, Paper No. 2550015, 2025
work page 2025
-
[9]
V. B¨ ogelein, F. Duzaar, and N. Liao. On the H¨ older regularity of signed solutions to a doubly nonlinear equation.J. Funct. Anal., 281(9):1–58, Paper No. 109173, 2021
work page 2021
-
[10]
S. Byun and K. Song. Mixed local and nonlocal equations with measure data.Calc. Var. Partial Differential Equations, 62(1):1–35, Article No.14, 2023
work page 2023
-
[11]
M. Cozzi. Regularity results and Harnack inequalities for minimizers and solutions of nonlocal prob- lems: a unified approach via fractional De Giorgi classes.J. Funct. Anal., 272(11):4762–4837, 2017
work page 2017
-
[12]
C. De Filippis and G. Mingione. Gradient regularity in mixed local and nonlocal problems.Math. Ann., 388(1):261–328, 2024
work page 2024
- [13]
-
[14]
A. Di Castro, T. Kuusi, and G. Palatucci. Nonlocal Harnack inequalities.J. Funct. Anal., 267(6):1807– 1836, 2014
work page 2014
-
[15]
A. Di Castro, T. Kuusi, and G. Palatucci. Local behavior of fractionalp-minimizers.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 33(5):1279–1299, 2016
work page 2016
-
[16]
E. Di Nezza, G. Palatucci, and E. Valdinoci. Hitchhiker’s guide to the fractional Sobolev spaces.Bull. Math. Sci., 136(5):521–573, 2012
work page 2012
-
[17]
DiBenedetto.Degenerate Parabolic Equations
E. DiBenedetto.Degenerate Parabolic Equations. Springer Science & Business Media, 2012
work page 2012
-
[18]
M. Ding, Y. Fang, and C. Zhang. Local behavior of the mixed local and nonlocal problems with nonstandard growth.J. Lond. Math. Soc. (2), 109(6):1–34, Paper No. e12947, 2024
work page 2024
-
[19]
S. Dipierro, S. Jarohs, and E Valdinoci. On a class of (non) local superposition operators of arbitrary order.arXiv preprint arXiv:2510.08345, pages 1–62, 2025
-
[20]
S. Dipierro, E. P. Lippi, C. Sportelli, and E. Valdinoci. Optimal embedding results for fractional Sobolev spaces.preprint arXiv:2411.12245, pages 1–32, 2024
-
[21]
S. Dipierro, E. P. Lippi, C. Sportelli, and E. Valdinoci. A general theory for the (s, p)-superposition of nonlinear fractional operators.Nonlinear Anal. Real World Appl., 82:1–24, Paper No. 104251, 2025. 42 SOUVIK BHOWMICK, SEKHAR GHOSH, VISHVESH KUMAR, AND R. LAKSHMI
work page 2025
-
[22]
S. Dipierro, E. P. Lippi, C. Sportelli, and E. Valdinoci. Logistic diffusion equations governed by the superposition of operators of mixed fractional order.Ann. Mat. Pura Appl. (1923), 205(2):539–589, 2026
work page 1923
-
[23]
S. Dipierro, E. P. Lippi, C. Sportelli, and E. Valdinoci. Maximum principles and spectral analysis for the superposition of operators of fractional order.La Matematica, 5:1–31, Article No. 35, 2026
work page 2026
-
[24]
S. Dipierro, E. P. Lippi, C. Sportelli, and E. Valdinoci. Nonlocal eigenvalue problems and superposition operators.preprint arXiv:2602.18035, pages 1–32, 2026
-
[25]
S. Dipierro, K. Perera, C. Sportelli, and E. Valdinoci. An existence theory for superposition operators of mixed order subject to jumping nonlinearities.Nonlinearity, 37(5):1–27, Paper No. 055018, 2024
work page 2024
-
[26]
S. Dipierro, K. Perera, C. Sportelli, and E. Valdinoci. An existence theory for nonlinear superposition operators of mixed fractional order.Commun. Contemp. Math., 27(8):1–29, Paper No. 2550005, 2025
work page 2025
-
[27]
S. Dipierro, X. Ros-Oton, J. Serra, and E. Valdinoci. Non-symmetric stable operators: regularity theory and integration by parts.Adv. Math., 401:1–100, Paper No. 108321, 2022
work page 2022
-
[28]
S. Dipierro, O. Savin, and E. Valdinoci. All functions are locallys-harmonic up to a small error.J. Eur. Math. Soc. (JEMS), 19(4):957–966, 2017
work page 2017
-
[29]
S. Dipierro and E. Valdinoci. Description of an ecological niche for a mixed local/nonlocal dispersal: an evolution equation and a new Neumann condition arising from the superposition of Brownian and L´ evy processes.Phys. A, 575:1–20, Article no. 126052, 2021
work page 2021
-
[30]
B. Dyda and M. Kassmann. Regularity estimates for elliptic nonlocal operators.Anal. PDE, 13(2):317– 370, 2020
work page 2020
-
[31]
L. C. Evans.Partial Differential Equations: Second Edition, volume 19 of Graduate Studies in Math- ematics. American Mathematical Society, Providence, RI, 749 pp., 2010
work page 2010
-
[32]
M. Foondun. Heat kernel estimates and Harnack inequalities for some Dirichlet forms with non-local part.Electron. J. Probab., 14(11):314–340, 2009
work page 2009
-
[33]
P. Garain and J. Kinnunen. On the regularity theory for mixed local and nonlocal quasilinear elliptic equations.Trans. Amer. Math. Soc., 375(8):5393–5423, 2022
work page 2022
-
[34]
P. Garain and E. Lindgren. Higher H¨ older regularity for mixed local and nonlocal degenerate elliptic equations.Calc. Var. Partial Differential Equations, 62(2):1–36, Paper No. 67, 2023
work page 2023
-
[35]
D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order. Springer-Verlag, Berlin, 2001
work page 2001
- [36]
- [37]
-
[38]
J. Kinnunen and N. Shanmugalingam. Regularity of quasi-minimizers on metric spaces.Manuscripta Math., 105(3):401–423, 2001
work page 2001
-
[39]
N. Liao. Regularity of weak supersolutions to elliptic and parabolic equations: lower semicontinuity and pointwise behavior.J. Math. Pures Appl., 147:179–204, 2021
work page 2021
-
[40]
Lindqvist.Notes on the stationaryp-Laplace equation
P. Lindqvist.Notes on the stationaryp-Laplace equation. SpringerBriefs in Mathematics. Springer, Cham, 2019
work page 2019
-
[41]
E. P. Lippi and C. Sportelli. Ground state solution for the Choquard equation under the superposition of operators of mixed fractional order.Fract. Calc. Appl. Anal., 29(2):708–742, 2026
work page 2026
-
[42]
J. Mal´ y and W. P. Ziemer.Fine regularity of solutions of elliptic partial differential equations, vol- ume 51 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1997
work page 1997
-
[43]
J. Moser. On Harnack’s theorem for elliptic differential equations.Comm. Pure Appl. Math., 14:577– 591, 1961
work page 1961
-
[44]
J. Nash. Continuity of solutions of parabolic and elliptic equations.Amer. J. Math., 80:931–954, 1958
work page 1958
- [45]
-
[46]
K. Perera and C. Sportelli. A multiplicity result for critical elliptic problems involving differences of local and nonlocal operators.Topol. Methods Nonlinear Anal., 63(2):1–15, 2024. REGULARITY OF SUPERPOSITION OPERATORS 43 (Souvik Bhowmick)Department of Mathematics, National Institute of Technology Cali- cut, Kozhikode, Kerala, India - 673601 Email add...
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.