pith. sign in

arxiv: 2606.01449 · v1 · pith:K6PGSNN4new · submitted 2026-05-31 · 🧮 math.AP

Harnack inequality for superposition operators of mixed fractional order

Souvik Bhowmick , Sekhar Ghosh , Vishvesh Kumar , R. Lakshmi This is my paper

Pith reviewed 2026-06-28 16:17 UTC · model grok-4.3

classification 🧮 math.AP
keywords Harnack inequalityHölder continuitysuperposition operatorsmixed fractional orderDe Giorgi-Nash-Moser theorynonlocal tail estimatesDirichlet problems
0
0 comments X

The pith

Weak solutions to Dirichlet problems for superposition operators of mixed fractional order are Hölder continuous and satisfy the Harnack inequality.

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

The paper proves Hölder continuity and the Harnack inequality for weak solutions of Dirichlet problems involving superposition operators of mixed fractional order. It extends the De Giorgi-Nash-Moser theory by defining a nonlocal superposition tail that controls the mixed-order nonlocal terms and closes the iteration. The results apply even when the operator reduces to the linear case and build on the authors' earlier work. Several supporting estimates are obtained first, including logarithmic bounds for supersolutions, local boundedness for subsolutions, a weak Harnack inequality, expansion of positivity, and tail estimates.

Core claim

By introducing a nonlocal superposition tail, the authors extend the De Giorgi-Nash-Moser theory to superposition operators of mixed fractional order and thereby establish that the associated weak solutions to the Dirichlet problem are Hölder continuous and satisfy the Harnack inequality.

What carries the argument

The nonlocal superposition tail, a new quantity that encodes the mixed fractional interactions and supplies the tail control needed for the iteration scheme.

If this is right

  • Weak supersolutions satisfy a logarithmic estimate.
  • Weak subsolutions are locally bounded.
  • A weak Harnack inequality holds for weak supersolutions.
  • Weak supersolutions exhibit expansion of positivity.
  • Weak solutions admit tail estimates.

Where Pith is reading between the lines

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

  • The tail construction may adapt to other nonlocal operators whose standard tails do not close the iteration.
  • The same regularity conclusions could hold for related mixed-order equations that lack an explicit superposition structure.
  • The intermediate estimates suggest that positivity and boundedness properties persist under the mixed fractional superposition.

Load-bearing premise

A nonlocal superposition tail can be constructed for these operators so that the De Giorgi-Nash-Moser iteration produces the claimed regularity.

What would settle it

A weak solution to one of the Dirichlet problems that is discontinuous or violates the Harnack inequality at some point.

read the original abstract

The main aim of this paper is to establish the H\"older continuity and the Harnack inequality for weak solutions to Dirichlet problems associated with superposition operators of mixed fractional order, thereby complementing our previous work \cite{BGKL2026}. To achieve this, we extend the De Giorgi--Nash--Moser theory to the framework of superposition operators by introducing a novel {\it nonlocal superposition tail}, which appears to be the first contribution of its kind in the literature. The obtained results are new even in the classical linear case $p=2$, thereby illustrating the broader applicability of the analytical techniques developed in this work. As intermediate steps toward the proof of the main results, we also establish a logarithmic estimate for weak supersolutions, local boundedness for weak subsolutions, a weak Harnack inequality for weak supersolutions, an expansion of positivity for weak supersolutions, and tail estimates for weak solutions.

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

1 major / 2 minor

Summary. The paper claims to establish the Hölder continuity and the Harnack inequality for weak solutions to Dirichlet problems associated with superposition operators of mixed fractional order. This is done by extending the De Giorgi--Nash--Moser theory via the introduction of a novel nonlocal superposition tail. As intermediate steps, the authors prove a logarithmic estimate for weak supersolutions, local boundedness for weak subsolutions, a weak Harnack inequality for weak supersolutions, an expansion of positivity for weak supersolutions, and tail estimates for weak solutions. The results are asserted to be new even in the classical linear case p=2 and to complement the authors' prior work.

Significance. If the nonlocal superposition tail is rigorously constructed and the iteration closes, the work would constitute a meaningful extension of regularity theory to mixed-order nonlocal superposition operators. The claim that the techniques yield new results even for p=2 indicates that the approach may have wider applicability beyond the mixed-order setting.

major comments (1)
  1. [Introduction and the section containing the definition of the tail] The definition and key properties of the nonlocal superposition tail (the device that is asserted to allow the De Giorgi--Nash--Moser iteration to close) must be stated explicitly, together with a verification that the tail estimates remain valid under the mixed-order superposition structure; this is load-bearing for the central claim.
minor comments (2)
  1. The precise functional setting (function spaces, notion of weak solution, and the precise form of the mixed fractional orders) should be recalled or referenced at the beginning of the main results section for readability.
  2. Ensure the bibliography entry for the cited prior work \{BGKL2026\} is complete and that all notation introduced in the intermediate estimates is consistent across sections.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the single major comment below.

read point-by-point responses

  1. Referee: [Introduction and the section containing the definition of the tail] The definition and key properties of the nonlocal superposition tail (the device that is asserted to allow the De Giorgi--Nash--Moser iteration to close) must be stated explicitly, together with a verification that the tail estimates remain valid under the mixed-order superposition structure; this is load-bearing for the central claim.

    Authors: We agree that the definition, key properties, and verification of the nonlocal superposition tail require more explicit treatment to make the argument fully transparent. In the revised manuscript we will expand the relevant section (currently containing the definition) to include: (i) a self-contained definition of the tail, (ii) a precise statement of its main properties, and (iii) a direct verification that the tail estimates continue to hold when the underlying operator is a mixed-order superposition. These additions will be placed immediately after the introduction of the tail and before the De Giorgi–Nash–Moser iteration is applied. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior complementary work; derivation chain remains independent

full rationale

The abstract cites prior work by the same authors only to position the current results as complementary extensions. The central innovation (nonlocal superposition tail enabling De Giorgi-Nash-Moser closure) and listed intermediate results (logarithmic estimates, local boundedness, weak Harnack, positivity expansion, tail estimates) are presented without reduction to fitted inputs or self-citation chains. No equation or step is shown to be equivalent to its inputs by construction. This is a standard minor self-reference that does not affect the load-bearing argument structure.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Central claim rests on the existence of weak solutions and the ability to define and control a new nonlocal superposition tail; no free parameters or invented physical entities are mentioned.

axioms (1)
  • standard math Standard properties of weak solutions in fractional Sobolev spaces and the validity of De Giorgi-Nash-Moser iteration under suitable tail control
    Invoked when extending the classical theory to the superposition setting.
invented entities (1)
  • nonlocal superposition tail no independent evidence
    purpose: Technical device to close the De Giorgi-Nash-Moser iteration for mixed-order superposition operators
    Introduced in the abstract as the key novel contribution enabling the main theorems.

pith-pipeline@v0.9.1-grok · 5694 in / 1247 out tokens · 29796 ms · 2026-06-28T16:17:20.801121+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

27 extracted references · 2 canonical work pages

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

    2026

  2. [2]

    Aikyn, S

    Y. Aikyn, S. Ghosh, V. Kumar, and M. Ruzhansky. Brezis-Nirenberg type problems associated with nonlinear superposition operators of mixed fractional order.arXiv preprint arXiv:2504.05105, pages 1–50, 2025

    arXiv 2025

  3. [3]

    Aikyn, S

    Y. Aikyn, S. Ghosh, V. Kumar, and M. Ruzhansky. Spectral analysis, maximum principles and shape optimization for nonlinear superposition operators of mixed fractional order.arXiv preprint arXiv:2511.02978, pages 1–53, 2025

    Pith/arXiv arXiv 2025

  4. [4]

    Bhowmick, S

    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

    work page doi:10.3934/dcdss.2026089 2026

  5. [5]

    Bhowmick, S

    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

    work page doi:10.1017/prm.2026.10124 2026

  6. [6]

    Bhowmick, S

    S. Bhowmick, S. Ghosh, V. Kumar, and R. Lakshmi. Regularity of superposition operators of mixed fractional order.preprint, arXiv:2605.15346v1, pages 1–43, 2026

    Pith/arXiv arXiv 2026

  7. [7]

    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), 2025

    2025

  8. [8]

    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

    2017

  9. [9]

    De Filippis and G

    C. De Filippis and G. Mingione. Gradient regularity in mixed local and nonlocal problems.Math. Ann., 388(1):261–328, 2024. HARNACK INEQUALITY OF SUPERPOSITION OPERATORS 27

    2024

  10. [10]

    Di Castro, T

    A. Di Castro, T. Kuusi, and G. Palatucci. Nonlocal harnack inequalities.J. Funct. Anal., 267(6):1807– 1836, 2014

    2014

  11. [11]

    Di Castro, T

    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

    2016

  12. [12]

    DiBenedetto.Degenerate Parabolic Equations

    E. DiBenedetto.Degenerate Parabolic Equations. Springer Science & Business Media, 2012

    2012

  13. [13]

    Dipierro, E

    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

    2025

  14. [14]

    Dipierro, E

    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

    1923

  15. [15]

    Dipierro, E

    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

    2026

  16. [16]

    Dipierro, E

    S. Dipierro, E. P. Lippi, C. Sportelli, and E. Valdinoci. Nonlocal eigenvalue problems and superposition operators.preprint arXiv:2602.18035, pages 1–32, 2026

    arXiv 2026

  17. [17]

    Dipierro, K

    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

    2024

  18. [18]

    Dipierro, K

    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

    2025

  19. [19]

    Dipierro and E

    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

    2021

  20. [20]

    L. C. Evans.Partial Differential Equations: Second Edition, volume 19 of Graduate Studies in Math- ematics. American Mathematical Society, Providence, RI, 749 pp., 2010

    2010

  21. [21]

    M. Foondun. Heat kernel estimates and Harnack inequalities for some Dirichlet forms with non-local part.Electron. J. Probab., 14:no. 11, 314–340, 2009

    2009

  22. [22]

    Garain and J

    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

    2022

  23. [23]

    Kassmann

    M. Kassmann. Harnack inequalities: an introduction.Bound. Value Probl., pages Art. ID 81415, 21, 2007

    2007

  24. [24]

    Kassmann

    M. Kassmann. A new formulation of Harnack’s inequality for nonlocal operators.C. R. Math. Acad. Sci. Paris, 349(11-12):637–640, 2011

    2011

  25. [25]

    Lindqvist.Notes on the stationaryp-Laplace equation

    P. Lindqvist.Notes on the stationaryp-Laplace equation. SpringerBriefs in Mathematics. Springer, Cham, 2019

    2019

  26. [26]

    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

    2026

  27. [27]

    Mal´ y and W

    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. (Souvik Bhowmick)Department of Mathematics, National Institute of Technology Cali- cut, Kozhikode, Kerala, India - 673601 Email address:souvikbhowmick291...

    1997