Boundary Harnack estimates of optimal order for kinetic Fokker-Planck equations
Pith reviewed 2026-06-27 15:28 UTC · model grok-4.3
The pith
Near grazing boundaries, quotients of solutions to kinetic Fokker-Planck equations attain at most C^{3/2} regularity when data are smooth and C^{1,1} without sources.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For kinetic Fokker-Planck equations with absorbing incoming boundaries, the quotient of two positive solutions is C^{3/2} near the grazing set whenever the domain and data are sufficiently smooth, and C^{1,1} in the absence of source terms; both exponents are optimal.
What carries the argument
Boundary Harnack principle localized to the grazing set of the kinetic Fokker-Planck operator, which controls the ratio of solutions by tracking the interaction between transport and diffusion at the boundary.
If this is right
- Regularity theory for kinetic equations must incorporate the grazing set as a locus of reduced smoothness rather than treating the boundary uniformly.
- Existence and uniqueness results that rely on classical boundary Harnack must be adjusted to the kinetic scaling.
- Numerical schemes for kinetic Fokker-Planck problems near boundaries should resolve at most C^{3/2} or C^{1,1} behavior to achieve optimal convergence.
Where Pith is reading between the lines
- The same limitation on quotient regularity is likely to appear in other hypoelliptic kinetic models whose principal part combines first-order transport with second-order diffusion in velocity.
- Extensions to non-absorbing or reflecting boundaries would require a separate analysis of how the grazing set interacts with the boundary condition.
- The optimal exponents may determine the precise rate at which solutions approach equilibrium in bounded domains.
Load-bearing premise
The incoming boundary is absorbing and the analysis is restricted to the grazing set where the transport velocity is tangent to the boundary.
What would settle it
An explicit pair of positive solutions whose ratio is C^2 (or smoother) near a grazing point would falsify the claimed upper bound on regularity.
read the original abstract
We establish higher order boundary Harnack estimates for solutions to kinetic Fokker-Planck equations with absorbing incoming boundaries. Unlike classical elliptic and parabolic equations with Dirichlet data, we show that the quotient of two solutions for kinetic equations is not $C^{\infty}$ up to the boundary. Instead, we develop a general theory showing that, near the grazing set, the quotient of two solutions is $C^{3/2}$ if the domain and data are sufficiently smooth, and $C^{1,1}$ in the absence of source terms. These exponents are optimal.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes higher-order boundary Harnack estimates for kinetic Fokker-Planck equations subject to absorbing incoming boundary conditions. Near the grazing set, the quotient of two positive solutions is shown to belong to C^{3/2} when the domain and data are sufficiently smooth, and to C^{1,1} in the absence of source terms; both exponents are asserted to be optimal, in contrast to the C^infty regularity known for classical elliptic and parabolic Dirichlet problems.
Significance. If the central claims hold, the work supplies the first sharp description of the limited boundary regularity induced by the grazing set for hypoelliptic kinetic operators. The explicit optimality statements and the distinction between the smooth-data and source-free cases constitute a concrete advance over existing boundary Schauder theory for kinetic equations.
major comments (2)
- [Abstract / setup] Abstract and setup: the claimed C^{3/2} and C^{1,1} exponents are stated only under absorbing incoming boundary conditions. The grazing-set analysis relies on this choice to control incoming characteristics; the manuscript does not address whether the same exponents remain optimal (or whether higher regularity is possible) when the boundary condition is altered.
- [Abstract] Abstract: the optimality of the exponents is asserted, yet the available text supplies no explicit counter-example construction, scaling argument, or barrier function that demonstrates sharpness. Without such a verification step the optimality claim cannot be assessed from the given material.
minor comments (1)
- Notation for the kinetic Fokker-Planck operator and the precise definition of the grazing set should be recalled at the beginning of the introduction for readers outside the immediate subfield.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We respond point-by-point to the major comments below.
read point-by-point responses
-
Referee: [Abstract / setup] Abstract and setup: the claimed C^{3/2} and C^{1,1} exponents are stated only under absorbing incoming boundary conditions. The grazing-set analysis relies on this choice to control incoming characteristics; the manuscript does not address whether the same exponents remain optimal (or whether higher regularity is possible) when the boundary condition is altered.
Authors: The manuscript is devoted exclusively to absorbing incoming boundary conditions, which constitute the natural setting for kinetic Fokker-Planck equations in which the grazing set limits boundary regularity. Our estimates rely on the ability to control incoming characteristics under this boundary condition. We make no claim that the same exponents are optimal (or that higher regularity holds) for other boundary conditions. To clarify the scope, we will add an explicit statement in the abstract and introduction noting that the results apply only to absorbing incoming boundaries. revision: partial
-
Referee: [Abstract] Abstract: the optimality of the exponents is asserted, yet the available text supplies no explicit counter-example construction, scaling argument, or barrier function that demonstrates sharpness. Without such a verification step the optimality claim cannot be assessed from the given material.
Authors: We agree that an explicit verification strengthens the optimality claim. The full manuscript contains scaling considerations near the grazing set that indicate sharpness, but we will revise the text to include a dedicated paragraph with a concrete scaling argument and a barrier function demonstrating that the exponents C^{3/2} and C^{1,1} cannot be improved in general. revision: yes
- Whether the same exponents remain optimal (or higher regularity is attainable) under boundary conditions other than absorbing incoming conditions, as this case was not analyzed in the manuscript.
Circularity Check
No circularity: self-contained PDE analysis with independent proof structure.
full rationale
The paper establishes boundary Harnack estimates via direct analysis of the kinetic Fokker-Planck operator under absorbing incoming boundaries, deriving the C^{3/2} and C^{1,1} regularity of solution quotients near the grazing set from the hypoelliptic structure and boundary behavior. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided abstract or setup. Optimality claims are external to the derivation (via explicit constructions or counterexamples) and do not reduce to the inputs by construction. The absorbing boundary condition is an explicit assumption, not a hidden tautology. This is a standard self-contained mathematical proof paper.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
, TITLE =
Pagani, C. , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , FJOURNAL =. 1975 , NUMBER =
1975
-
[2]
Pagani, C. and Talenti, G. , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 1971 , PAGES =. doi:10.1007/BF02415041 , URL =
-
[3]
Baouendi, M. S. and Grisvard, P. , TITLE =. J. Functional Analysis , FJOURNAL =. 1968 , PAGES =. doi:10.1016/0022-1236(68)90012-8 , URL =
-
[4]
Marshall, T. W. and Watson, E. J. , TITLE =. J. Phys. A , FJOURNAL =. 1985 , NUMBER =
1985
-
[5]
Beals, R. and Protopopescu, V. , TITLE =. J. Statist. Phys. , FJOURNAL =. 1983 , NUMBER =. doi:10.1007/BF01008957 , URL =
-
[6]
Burschka, M. A. and Titulaer, U. M. , TITLE =. J. Statist. Phys. , FJOURNAL =. 1981 , NUMBER =. doi:10.1007/BF01010804 , URL =
-
[7]
McKean, Jr., H. P. , TITLE =. J. Math. Kyoto Univ. , FJOURNAL =. 1963 , PAGES =. doi:10.1215/kjm/1250524936 , URL =
-
[8]
, TITLE =
Goldman, M. , TITLE =. Ann. Math. Statist. , FJOURNAL =. 1971 , PAGES =
1971
-
[9]
Sinai, Y. G. , TITLE =. Teoret. Mat. Fiz. , FJOURNAL =. 1992 , NUMBER =. doi:10.1007/BF01036528 , URL =
-
[10]
and Watanabe, S
Isozaki, Y. and Watanabe, S. , TITLE =. Proc. Japan Acad. Ser. A Math. Sci. , FJOURNAL =. 1994 , NUMBER =
1994
-
[11]
Groeneboom, P. and Jongbloed, G. and Wellner, J. , TITLE =. Ann. Probab. , FJOURNAL =. 1999 , NUMBER =. doi:10.1214/aop/1022677447 , URL =
-
[12]
Karabash, I. M. , TITLE =. Spectral theory in inner product spaces and applications , SERIES =. 2009 , ISBN =. doi:10.1007/978-3-7643-8911-6\_9 , URL =
-
[13]
Hou, M. , TITLE =. J. Differential Equations , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.jde.2025.113794 , URL =
-
[14]
Optimal regularity for kinetic Fokker-Planck equations in domains. arXiv:2505.11943 , doi =
-
[15]
Sharp regularity near the grazing set for kinetic Fokker-Planck equations. arXiv:2603.04121 , doi =
-
[16]
Explicit and sharp two-sided estimates for the killed Langevin process. arXiv e-prints , keywords =. doi:10.48550/arXiv.2209.02378 , archivePrefix =. 2209.02378 , primaryClass =
-
[17]
Guo, Y. and Hwang, H. and Jang, J. and Ouyang, Z. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00205-020-01496-5 , URL =
-
[18]
Dong, H. and Guo, Y. and Yastrzhembskiy, T. , TITLE =. Kinet. Relat. Models , FJOURNAL =. 2022 , NUMBER =. doi:10.3934/krm.2022003 , URL =
-
[19]
, TITLE =
Zhu, Y. , TITLE =. Ann. H. Lebesgue , FJOURNAL =. 2024 , PAGES =
2024
-
[20]
Mischler, S. , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2010 , NUMBER =. doi:10.24033/asens.2132 , URL =
-
[21]
Villani, C. , TITLE =. Handbook of mathematical fluid dynamics,. 2002 , ISBN =. doi:10.1016/S1874-5792(02)80004-0 , URL =
-
[22]
Desvillettes, L. and Villani, C. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2001 , NUMBER =. doi:10.1002/1097-0312(200101)54:1<1::AID-CPA1>3.0.CO;2-Q , URL =
-
[23]
Desvillettes, L. and Villani, C. , TITLE =. Invent. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00222-004-0389-9 , URL =
-
[24]
Guillen, N. and Silvestre, L. , TITLE =. Acta Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.4310/acta.2025.v234.n2.a2 , URL =
-
[25]
, TITLE =
Silvestre, L. , TITLE =. Ars Inven. Anal. , FJOURNAL =. 2022 , PAGES =
2022
-
[26]
Imbert, C. and Silvestre, L. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/jams/986 , URL =
-
[27]
Imbert, C. and Silvestre, L. , TITLE =. Anal. PDE , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/apde.2021.14.171 , URL =
-
[28]
Imbert, C. and Silvestre, L. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2020 , NUMBER =. doi:10.4171/jems/928 , URL =
-
[29]
Henderson, C. and Snelson, S. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00205-019-01465-7 , URL =
-
[30]
and Imbert, C
Golse, F. and Imbert, C. and Mouhot, C. and Vasseur, A. , TITLE =. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , FJOURNAL =. 2019 , NUMBER =
2019
-
[31]
Cameron, S. and Silvestre, L. and Snelson, S. , TITLE =. Ann. Inst. H. Poincar\'e. 2018 , NUMBER =. doi:10.1016/j.anihpc.2017.07.001 , URL =
-
[32]
Imbert, C. and Mouhot, C. , TITLE =. Ann. H. Lebesgue , FJOURNAL =. 2021 , PAGES =. doi:10.5802/ahl.75 , URL =
-
[33]
Guo, Y. and Kim, C. and Tonon, D. and Trescases, A. , TITLE =. Invent. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00222-016-0670-8 , URL =
-
[34]
and Snelson, S
Henderson, C. and Snelson, S. and Tarfulea, A. , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2025 , NUMBER =
2025
-
[35]
Fern\'andez-Real, X. and Ros-Oton, X. and Weidner, M. , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00220-025-05356-9 , URL =
-
[36]
Imbert, C. and Silvestre, L. and Villani, C. , title =. Inventiones mathematicae , year =. doi:10.1007/s00222-025-01376-3 , url =
-
[37]
Hwang, H. and Jang, J. and Vel\'azquez, J. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00205-014-0758-5 , URL =
-
[38]
Hwang, H. and Jang, J. and Jung, J. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2015 , NUMBER =. doi:10.1512/iumj.2015.64.5679 , URL =
-
[39]
Hwang, H. and Jang, J. and Jung, J. , TITLE =. SIAM J. Math. Anal. , FJOURNAL =. 2018 , NUMBER =. doi:10.1137/16M1109928 , URL =
-
[40]
Sharp boundary regularity properties for hypoelliptic kinetic equations. arXiv:2509.02536 , doi =
-
[41]
A kinetic Nash inequality and precise boundary behavior of the kinetic Fokker-Planck equation. arXiv:2407.08785 , doi =
-
[42]
Avelin, B. and Hou, M. , TITLE =. Potential Anal. , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s11118-025-10242-z , URL =
-
[43]
Fall, M. and Ros-Oton, X. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2022 , NUMBER =. doi:10.1016/j.jfa.2022.109523 , URL =
-
[44]
Ros-Oton, X. and Serra, J. , TITLE =. Duke Math. J. , FJOURNAL =. 2016 , NUMBER =. doi:10.1215/00127094-3476700 , URL =
-
[45]
Albritton, D. and Armstrong, S. and Mourrat, J.-C. and Novack, M. , TITLE =. Anal. PDE , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/apde.2024.17.1953 , URL =
-
[46]
Kim, K. and Lee, H.-S. and Nowak, S. , title = ". arXiv:2502.09366 , archivePrefix =. 2502.09366 , primaryClass =
-
[47]
and Stegun, I
Abramowitz, M. and Stegun, I. , TITLE =. 1964 , PAGES =
1964
-
[48]
NIST Digital Library of Mathematical Functions
-
[49]
Hypoelliptic Regularization in the Obstacle Problem for the Kolmogorov Operator. arXiv e-prints , keywords =. doi:10.48550/arXiv.2501.14146 , archivePrefix =. 2501.14146 , primaryClass =
-
[50]
Cinti, C. and Nystr\"om, K. and Polidoro, S. , TITLE =. Ann. Mat. Pura Appl. (4) , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s10231-010-0172-z , URL =
-
[51]
and Nystr\"om, K
Cinti, C. and Nystr\"om, K. and Polidoro, S. , TITLE =. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , FJOURNAL =. 2013 , NUMBER =
2013
-
[52]
Litsg. The. J. Funct. Anal. , FJOURNAL =. 2021 , NUMBER =. doi:10.1016/j.jfa.2021.109226 , URL =
-
[53]
Potential theory for a class of strongly degenerate parabolic operators of
Litsg. Potential theory for a class of strongly degenerate parabolic operators of. J. Math. Pures Appl. (9) , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.matpur.2021.11.004 , URL =
-
[54]
Nystr\"om, K. and Polidoro, S. , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 2016 , NUMBER =. doi:10.1016/j.matpur.2016.02.007 , URL =
-
[55]
Nystr\"om, K. , TITLE =. Anal. PDE , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/apde.2017.10.1709 , URL =
-
[56]
Litsg. On the fine properties of parabolic measures associated to strongly degenerate parabolic operators of. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2021.107833 , URL =
-
[57]
Abatangelo, N. and Ros-Oton, X. , TITLE =. Adv. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.aim.2019.106931 , URL =
-
[58]
Terracini, S. and Tortone, G. and Vita, S. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00205-024-01973-1 , URL =
-
[59]
Torres-Latorre, C. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00205-024-02017-4 , URL =
-
[60]
Ros-Oton, X. and Torres-Latorre, C. , TITLE =. J. Differential Equations , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.jde.2021.04.012 , URL =
-
[61]
De Silva, D. and Savin, O. , TITLE =. J. Differential Equations , FJOURNAL =. 2020 , NUMBER =. doi:10.1016/j.jde.2020.02.004 , URL =
-
[62]
Allen, M. and Shahgholian, H. , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00205-019-01415-3 , URL =
-
[63]
Bass, R. F. and Burdzy, K. , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1994 , NUMBER =. doi:10.1112/jlms/50.1.157 , URL =
-
[64]
Kukuljan, T. , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2022 , NUMBER =. doi:10.3934/dcds.2021207 , URL =
-
[65]
De Silva, D. and Savin, O. , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2015 , NUMBER =. doi:10.3934/dcds.2015.35.6155 , URL =
-
[66]
Caffarelli, L. and Fabes, E. and Mortola, S. and Salsa, S. , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 1981 , NUMBER =. doi:10.1512/iumj.1981.30.30049 , URL =
-
[67]
Ba\ nuelos, R. and Bass, R. F. and Burdzy, K. , TITLE =. Duke Math. J. , FJOURNAL =. 1991 , NUMBER =. doi:10.1215/S0012-7094-91-06408-2 , URL =
-
[68]
Athanasopoulos, I. and Caffarelli, L. and Salsa, S. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1996 , NUMBER =. doi:10.2307/2118531 , URL =
-
[69]
Jeon, S. and Vita, S. , TITLE =. J. Differential Equations , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.jde.2024.08.059 , URL =
-
[70]
Kemper, J. T. , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1972 , PAGES =. doi:10.1002/cpa.3160250303 , URL =
-
[71]
Zhang, C. , TITLE =. Nonlinear Anal. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.na.2023.113471 , URL =
-
[72]
Dahlberg, B. , TITLE =. Arch. Rational Mech. Anal. , FJOURNAL =. 1977 , NUMBER =. doi:10.1007/BF00280445 , URL =
-
[73]
Banerjee, A. and Garofalo, N. , TITLE =. J. Differential Equations , FJOURNAL =. 2016 , NUMBER =. doi:10.1016/j.jde.2015.09.044 , URL =
-
[74]
Guerand, J. and Mouhot, C. , TITLE =. J. \'Ec. polytech. Math. , FJOURNAL =. 2022 , PAGES =. doi:10.5802/jep.203 , URL =
-
[75]
Quantitative Schauder estimates for hypoelliptic equations. arXiv e-prints , keywords =. doi:10.48550/arXiv.2305.00463 , archivePrefix =. 2305.00463 , primaryClass =
-
[76]
Frentz, M. and Nystr\"om, K. and Pascucci, A. and Polidoro, S. , TITLE =. Math. Ann. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00208-009-0456-z , URL =
-
[77]
Pascucci, A. and Polidoro, S. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2006 , NUMBER =. doi:10.1090/S0002-9947-06-04050-5 , URL =
-
[78]
Pascucci, A. and Polidoro, S. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2004 , NUMBER =. doi:10.1090/S0002-9947-04-03407-5 , URL =
-
[79]
Kolmogoroff, A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1934 , NUMBER =. doi:10.2307/1968123 , URL =
-
[80]
Wang, W. and Zhang, L. , TITLE =. Sci. China Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s11425-021-2098-0 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.