Pith. sign in

REVIEW 3 cited by

Optimal regularity for kinetic Fokker-Planck equations in domains

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2505.11943 v1 pith:DZ54I2TV submitted 2025-05-17 math.AP

classification math.AP
keywords solutionscdotdomainsequationsfokker-planckgrazingkineticomega
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We study the smoothness of solutions to linear kinetic Fokker-Planck equations in domains $\Omega\subset \mathbb{R}^n$ with specular reflection condition, including Kolmogorov's equation $\partial_t f +v\cdot\nabla_x f-\Delta_v f=h$. Our main results establish the following: - Solutions are always $C^\infty$ in $t,v,x$ away from the grazing set $\{x\in\partial\Omega,\ v\cdot n_x=0\}$. - They are $C^{4,1}_{\text{kin}}$ up to the grazing set. - This regularity is optimal, i.e. we show that that they are in general not $C^5_{\text{kin}}$. These results show for the first time that solutions are classical up to boundary, i.e. $C^1_{t,x}$ and $C^2_v$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Sharp kinetic trace theory

    math.AP 2026-07 accept novelty 8.0 of 10

    Natural kinetic traces hold on half-spaces unrestricted, fail for unrestricted Gaussian when p<2 on every bounded C^{1,1} domain, and for bounded velocities are sharp exactly at boundary regularity α_p=1/(p+1).

  2. Kinetic Fokker-Planck equations with Maxwell boundary conditions

    math.AP 2026-07 conditional novelty 8.0 of 10

    For every α∈(0,1), solutions to the kinetic Fokker-Planck equation with Maxwell boundary conditions are C^{3/π·arccos(α/2)−1} up to the grazing set, and this exponent is optimal.

  3. $C^{\infty}$ Regularity for the free boundary of one-phase Fractional Laplacian problem

    math.AP 2025-08 conditional novelty 7.0 of 10

    Flat free boundaries in the one-phase fractional Laplacian problem are C∞, not merely C^{1,α}.

Pith tools