De Giorgi-Nash-Moser theory for kinetic equations with nonlocal diffusions
Pith reviewed 2026-05-25 08:49 UTC · model grok-4.3
The pith
A p-summable nonlocal tail in velocity suffices for local L²-L^∞ estimates and strong Harnack inequalities in kinetic integral equations.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under the assumption that the nonlocal tail in velocity of weak solutions is p-summable along the drift variables, local L²-L^∞ estimates hold for kinetic integral equations, along with a corresponding strong Harnack inequality. This extends the classical De Giorgi-Nash-Moser theory to nonlocal hypoelliptic equations arising in kinetic theory. The condition is compatible with typical regimes in the Boltzmann equation and with known counterexamples to stronger assumptions.
What carries the argument
The p-summable nonlocal tail condition in the velocity variables along the drift directions, which controls the far-field contributions in the integral formulation.
If this is right
- Local L²-L^∞ estimates hold for weak solutions satisfying the tail condition.
- A strong Harnack inequality follows for positive solutions.
- A geometric characterization of the Harnack inequality is obtained.
- The results apply to the Boltzmann equation without cutoff under bounded mass density.
Where Pith is reading between the lines
- The tail condition may be adaptable to other hypoelliptic settings with partial nonlocal diffusion.
- Similar summability assumptions could replace stronger boundedness requirements in broader kinetic regularity theory.
- Further work might test whether the geometric Harnack characterization extends to time-dependent or higher-order cases.
Load-bearing premise
The nonlocal tail in velocity of weak solutions is p-summable along the drift variables.
What would settle it
A weak solution satisfying the p-summable tail condition but failing to obey the local L²-L^∞ estimate or strong Harnack inequality would disprove the claim.
Figures
read the original abstract
We extend the De Giorgi-Nash-Moser theory to a class of nonlocal hypoelliptic equations arising naturally in kinetic theory, in which a first-order transport operator is coupled with an elliptic nonlocal operator involving fractional derivatives only in part of the variables. Under the sole assumption that the nonlocal tail in velocity of weak solutions is $p$-summable along the drift variables, we prove a local $L^2$-$L^\infty$ estimate for kinetic integral equations and a corresponding strong Harnack inequality. The tail condition is satisfied in standard kinetic regimes considered in the literature, for instance under the usual boundedness of the mass density in the Boltzmann equation without cut-off, and it is consistent with the recent counterexample by Kassmann and Weidner (Adv. Math. 2024). These estimates further lead to a geometric characterization of the Harnack inequality, in the spirit of the seminal work of Aronson and Serrin (Arch. Ration. Mech. Anal. 1967) for the local parabolic counterpart.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends the De Giorgi-Nash-Moser theory to nonlocal hypoelliptic kinetic equations coupling a first-order transport operator with an elliptic nonlocal operator acting via fractional derivatives in only part of the variables. Under the sole assumption that the nonlocal tail in velocity of weak solutions is p-summable along the drift variables, the authors establish a local L²-L^∞ estimate for kinetic integral equations together with a corresponding strong Harnack inequality; they further obtain a geometric characterization of the Harnack inequality. The tail condition is verified to hold in standard kinetic regimes (e.g., bounded mass density for the Boltzmann equation without cutoff) and to be consistent with the Kassmann-Weidner counterexample.
Significance. If the central estimates hold, the work supplies a natural extension of De Giorgi-Nash-Moser techniques to a hypoelliptic nonlocal setting that arises directly in kinetic theory. The identification of a single, verifiable tail assumption as sufficient for the L²-L^∞ bound and strong Harnack inequality, together with the geometric characterization in the spirit of Aronson-Serrin, would constitute a substantive advance with potential applications to regularity questions for the Boltzmann equation without cutoff.
major comments (2)
- [§3, Theorem 3.1] §3, Theorem 3.1: the statement that the p-summable tail condition is the 'sole assumption' requires explicit verification that no additional structural hypotheses on the kernel or the drift coefficients are tacitly used in the iteration; the proof sketch in §4 appears to invoke a uniform ellipticity constant that is not listed among the standing assumptions.
- [§5.2, Lemma 5.4] §5.2, Lemma 5.4: the passage from the weak formulation to the Caccioppoli-type inequality for the truncated solution relies on a cutoff function whose support properties are not shown to be compatible with the hypoelliptic scaling; this step is load-bearing for the subsequent Moser iteration and needs a quantitative estimate.
minor comments (2)
- [Definition 2.3] Notation for the nonlocal tail (Definition 2.3) uses the same symbol T_p for both the full-space and the drift-restricted versions; a subscript or superscript would improve readability.
- [Theorem 6.1] The statement of the geometric characterization (Theorem 6.1) would benefit from an explicit comparison with the Aronson-Serrin condition in the local parabolic case.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive comments on our manuscript. The points raised are helpful for clarifying the assumptions and strengthening the technical details. We address each major comment below.
read point-by-point responses
-
Referee: [§3, Theorem 3.1] §3, Theorem 3.1: the statement that the p-summable tail condition is the 'sole assumption' requires explicit verification that no additional structural hypotheses on the kernel or the drift coefficients are tacitly used in the iteration; the proof sketch in §4 appears to invoke a uniform ellipticity constant that is not listed among the standing assumptions.
Authors: We agree that the phrasing 'sole assumption' in the abstract and Theorem 3.1 could be misleading without explicit cross-reference. The kernel satisfies the standard structural conditions (symmetry, lower and upper bounds with ellipticity constant λ > 0, and the fractional order s) listed in Assumption 2.1; the drift coefficients are bounded and measurable as stated in Section 2. These are independent of the tail condition and are used throughout the iteration in §4. We will revise the statement of Theorem 3.1 to list all standing assumptions explicitly and add a short remark after the theorem clarifying that the ellipticity constant λ enters the constants in the L²-L^∞ estimate but is not part of the tail hypothesis. No other tacit structural hypotheses are employed. revision: partial
-
Referee: [§5.2, Lemma 5.4] §5.2, Lemma 5.4: the passage from the weak formulation to the Caccioppoli-type inequality for the truncated solution relies on a cutoff function whose support properties are not shown to be compatible with the hypoelliptic scaling; this step is load-bearing for the subsequent Moser iteration and needs a quantitative estimate.
Authors: We acknowledge that the compatibility of the cutoff with the hypoelliptic scaling requires a more quantitative treatment. The cutoff is constructed with support inside a kinetic cylinder respecting the anisotropic scaling (parabolic in (x,t) and linear transport in v). We will add an explicit estimate in the revised Lemma 5.4 showing that the commutator terms arising from the cutoff are bounded by C(λ,s,p) times the L² norm of the solution plus a controlled tail contribution, with the constant independent of the truncation level. This quantitative bound will be inserted before the Moser iteration step. revision: yes
Circularity Check
No significant circularity; derivation self-contained from external tail assumption
full rationale
The paper's central claim is that the stated p-summable nonlocal tail condition (an input assumption on weak solutions) is sufficient to derive the L2-L∞ estimate and Harnack inequality via standard functional-analytic methods for the indicated kinetic nonlocal equations. No load-bearing step reduces the result to a fit, self-definition, or self-citation chain; the tail condition is presented as independent and verified against external examples (Boltzmann, Kassmann-Weidner). The derivation chain is therefore not equivalent to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Weak solutions are defined in appropriate function spaces allowing the nonlocal tail to be measured
- standard math Standard properties of fractional integral operators and hypoelliptic transport hold
Reference graph
Works this paper leans on
- [1]
-
[2]
F. Anceschi, H. Dietert, J. Guerand, A. Loher, C. Mouhot, A. Rebucci: Poincar´ e inequality and quantitative De Giorgi method for hypoelliptic operators. Preprint (2024). Available at arXiv:2401:12 194v2
work page 2024
-
[3]
F. Anceschi, M. Eleuteri, S. Polidoro: A geometric statement of the Harnack inequality for a degenerate Kolmogorov equation with rough coefficients Comm. Cont. Math. 21 (2019). Art. 1850057
work page 2019
-
[4]
F. Anceschi, G. Palatucci, M. Piccinini: Nonlocal Harnack inequalities for kinetic integral equations with rough coefficients. Preprint (2025)
work page 2025
-
[5]
F. Anceschi, M. Piccinini: Boundedness estimates for nonlinear nonlocal kinetic Kolmogorov-Fokker- Planck equations. Preprint (2024). Available at arXiv:2301.06334v2
-
[6]
F. Anceschi, S. Polidoro: A survey on the classical theory for Kolmogorov equation. Le Matematiche LXXV (2020), no. 1, 221–258
work page 2020
-
[7]
F. Anceschi, S. Polidoro, A. Rebucci: Harnack inequality and asymptotic lower bounds for the rela- tivistic Fokker-Planck operator. J. Evol. Equ. 24 (2024), Art. 93
work page 2024
-
[8]
F. Anceschi, A. Rebucci: A note on the weak regularity theory for degenerate Kolmogorov equations. J. Differ. Equ. 341 (2022), 538–588
work page 2022
-
[9]
D. G. Aronson, J. Serrin: Local behavior of solutions of quasilinear parabolic equations. Arch. Rational Mech. Anal. 25 (1967), 81–122
work page 1967
-
[10]
Bouchut: Hypoelliptic regularity in kinetic equations
F. Bouchut: Hypoelliptic regularity in kinetic equations. J. Math. Pures Appl. 81 (2002), no. 11, 1135–1159
work page 2002
-
[11]
S.-S. Byun, H. Kim, J. Ok: Local H¨ older continuity for fractional nonlocal equations with general growth. Math. Ann. 387 (2023), no. 1-2, 807–846
work page 2023
-
[12]
L. A. Caffarelli, Y. Sire: On some pointwise inequalities involving nonlocal operators . Appl. Numer. Harmon. Anal., Birkh¨ auser/Springer, Cham, 2017, 1-18
work page 2017
- [13]
-
[14]
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 (2017), no. 11, 4762– 4837
work page 2017
-
[15]
D´ avila: Comparison principles for nonlocal Hamilton-Jacobi equations
G. D´ avila: Comparison principles for nonlocal Hamilton-Jacobi equations. Discr. Cont. Dyn. Systems 42 (2022), No. 9, 4471–4488
work page 2022
-
[16]
G. D´ avila, A. Quaas, E. Topp: Harnack inequality and its application to nonlocal eigenvalue problems in unbounded domains. Preprint (2019). Available at arXiv:1909.02624
-
[17]
C. De Filippis, G. Palatucci: H¨ older regularity for nonlocal double phase equations J. Differential Equations 267 (2019), 547–586
work page 2019
-
[18]
A. Di Castro, T. Kuusi, G. Palatucci: Nonlocal Harnack inequalities. J. Funct. Anal. 267 (2014), no. 6, 1807–1836
work page 2014
-
[19]
A. Di Castro, T. Kuusi, G. Palatucci: Local behavior of fractional p-minimizers. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire33 (2016), 1279–1299
work page 2016
-
[20]
L. Diening, K. Kim, H-S Lee, S. Nowak: Nonlinear nonlocal potential theory at the gradient level. J. Eur. Math. Soc. (JEMS) , to appear
-
[21]
L. Diening, K. Kim, H-S Lee, S. Nowak: Gradient estimates for parabolic nonlinear nonlocal equations. Calc. Var. Partial Differential Equations 64, 98 (2025). KINETIC INTEGRAL EQUATIONS 35
work page 2025
- [22]
-
[23]
E. Di Nezza, G. Palatucci, E. Valdinoci: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136 (2012), 521–573
work page 2012
-
[24]
H. Dong, T. Yastrzhembskiy: Global Lp estimates for kinetic Kolmogorov-Fokker-Planck equations in nondivergence form. Arch. Rational Mech. Anal. 245 (2022), 501–564
work page 2022
-
[25]
X. Fern´ andez-Real, X. Ros-Oton: Integro-Differential Elliptic Equations . Progress in Mathematics, Birkhauser, 2024
work page 2024
-
[26]
X. Fern´ andez-Real, X. Ros-Oton, M. Weidner: Regularity for the Boltzmann equation conditional to pressure and moment bounds. Available at arXiv:2408.03067
-
[27]
G. B. Folland: Subelliptic estimates and function spaces on nilpotent Lie groups. Ark. Math. 13 (1975), 161–207
work page 1975
-
[28]
Goffi: Transport equations with nonlocal diffusion and applications to Hamilton-Jacobi equations
A. Goffi: Transport equations with nonlocal diffusion and applications to Hamilton-Jacobi equations. J. Evol. Eq. 21 (2021), 4261–4317
work page 2021
- [29]
-
[30]
Grube: Pointwise estimates of the fundamental solution to the fractional Kolmogorov equation
F. Grube: Pointwise estimates of the fundamental solution to the fractional Kolmogorov equation. Prerpint (2024). Available at arXiv:2411.00687
-
[31]
J. Guerand, C. Imbert: Log-transform and the weak Harnack inequality for kinetic Fokker-Planck equations. J. Inst. Math. Jussieu 22 (2023), no. 6, 2749–2774
work page 2023
-
[32]
J. Guerand, C. Imbert, C. Mouhot: Gehring’s Lemma for kinetic Fokker-Planck equations. Available at arXiv:2410.04933
-
[33]
J. Guerand, C. Mouhot: Quantitative De Giorgi methods in kinetic theory. J. ´Ec. polytech. Math. 9 (2022), 1159–1181
work page 2022
- [34]
-
[35]
Z. Hao, X. Peng, X. Zhang: H¨ ormander’s Hypoelliptic Theorem for Nonlocal Operators. J. Theor. Probability 34 (2021), 1870–1916
work page 2021
- [36]
- [37]
- [38]
- [39]
-
[40]
Julin: Generalized Harnack Inequality for Nonhomogeneous Elliptic Equations
V. Julin: Generalized Harnack Inequality for Nonhomogeneous Elliptic Equations. Arch. Rational Mech. Anal. 216 (2015), 673–702
work page 2015
-
[41]
Kassmann: The classical Harnack inequality fails for nonlocal operators
M. Kassmann: The classical Harnack inequality fails for nonlocal operators. SFB 611-preprint 360 (2007). Available at https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.454.223
work page 2007
-
[42]
Kassmann: A priori estimates for integro-differential operators with measurable kernels
M. Kassmann: A priori estimates for integro-differential operators with measurable kernels. Calc. Var. Partial Differential Equations 34 (2009), 11–21
work page 2009
-
[43]
Kassmann: Harnack inequalities and H¨ older regularity estimates for nonlocal op- erator revisited
M. Kassmann: Harnack inequalities and H¨ older regularity estimates for nonlocal op- erator revisited. SFB 11015-preprint (2011). Available at https://sfb701.math.uni-biele feld.de/preprints/sfb11015.pdf
work page 2011
-
[44]
M. Kassmann, M. Weidner: Nonlocal operators related to nonsymmetric forms II: Harnack inequalities. Anal. PDE 17 (2024), no. 9, 3189–3249
work page 2024
-
[45]
M. Kassmann, M. Weidner: The parabolic Harnack inequality for nonlocal equations. Duke Math. J. 173 (2024), no. 17, 3413–3451. 36 F. ANCESCHI, G. PALATUCCI, AND M. PICCININI
work page 2024
-
[46]
M. Kassmann, M. Weidner: The Harnack inequality fails for nonlocal kinetic equations. Adv. Math. 459 (2024), Art. 110030
work page 2024
- [47]
- [48]
-
[49]
J. Korvenp¨ a¨ a, T. Kuusi, G. Palatucci: The obstacle problem for nonlinear integro-differential operators. Calc. Var. Partial Differential Equations 55 (2016), no. 3, Art. 63
work page 2016
-
[50]
J. Korvenp¨ a¨ a, T. Kuusi, G. Palatucci: Fractional superharmonic functions and the Perron method for nonlinear integro-differential equations. Math. Ann. 369 (2017), no. 3-4, 1443–1489
work page 2017
- [51]
- [52]
-
[53]
Liao: H¨ older regularity for parabolic fractional p-Laplacian
N. Liao: H¨ older regularity for parabolic fractional p-Laplacian. Calc. Var. Partial Differential Equa- tions 63 (2024), Art. 22
work page 2024
-
[54]
Liao: On the modulus of continuity of solutions to nonlocal parabolic equations
N. Liao: On the modulus of continuity of solutions to nonlocal parabolic equations. To appear in J. London Math. Soc. (2024). DOI:10.1112/jlms.12985
-
[55]
Loher: Quantitative De Giorgi methods in kinetic theory for non-local operators
A. Loher: Quantitative De Giorgi methods in kinetic theory for non-local operators. J. Funct. Anal. 286 (2024), no. 6, Art. 110312
work page 2024
-
[56]
Loher: Semi-local behaviour of non-local hypoelliptic equations: divergence form
A. Loher: Semi-local behaviour of non-local hypoelliptic equations: divergence form. Available at arXiv:2404.05612v3 (2024)
-
[57]
Mouhot: De Giorgi-Nash-Moser and H¨ ormander theories: new interplays
C. Mouhot: De Giorgi-Nash-Moser and H¨ ormander theories: new interplays. In Proceedings of the International Congress of Mathematicians-Rio de Janeiro 2018 V ol. III (2018), 2467–2493
work page 2018
-
[58]
Nowak: Higher H¨ older regularity for nonlocal equations with irregular kernel
S. Nowak: Higher H¨ older regularity for nonlocal equations with irregular kernel. Calc. Var. Partial Differential Equations 60 (2021), no. 1, Art. 24
work page 2021
- [59]
-
[60]
A. Pascucci, S. Polidoro: The Moser’s iterative method for a class of ultraparabolic equations. Comm. Cont. Math. 6 (2004), no. 3, 395–417
work page 2004
-
[61]
Polidoro: A global lower bound for the fundamental solution of Kolmogorov-Fokker-Planck equa- tions
S. Polidoro: A global lower bound for the fundamental solution of Kolmogorov-Fokker-Planck equa- tions. Arch. Rational Mech. Anal. 137 (1997), no. 4, 321–340
work page 1997
- [62]
-
[63]
L. Silvestre: H¨ older estimates for solutions of integro-differential equations like the fractional Laplace. Indiana Univ. Math. J. 55 (2006), no. 3, 1155–1174
work page 2006
-
[64]
Silvestre: A New Regularization Mechanism for the Boltzmann Equation Without Cut-Off
L. Silvestre: A New Regularization Mechanism for the Boltzmann Equation Without Cut-Off. Com- mun. Math. Phys. 348 (2016), 69–100
work page 2016
-
[65]
L. F. Stokols: H¨ older continuity for a family of nonlocal hypoelliptic kinetic equations. SIAM J. Math. Anal. 51 (2019), no. 6, 4815–4847
work page 2019
-
[66]
W. Wang, L. Zhang: The Cαregularity of weak solutions of ultraparabolic equations. Discrete Contin. Dyn. Syst. 29 (2011), no. 3, 1261–1275
work page 2011
-
[67]
Y. Zhu: Velocity averaging and H¨ older regularity for kinetic Fokker-Planck equations with general transport operators and rough coefficients. SIAM J. Math. Anal. 53 (2021), no. 3, 2746–2775. KINETIC INTEGRAL EQUATIONS 37 Francesca Anceschi, Dipartimento di Ingegneria Industriale e Scienze Matematiche, Univer- sit`a Politecnica delle Marche, Via Brecce B...
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.