Harnack inequalities for kinetic integral equations
Francesca Anceschi,Giampiero Palatucci,Mirco Piccinini
2024-08-13
Abstract:We deal with the following wide class of kinetic equations, $$ \big[\partial_t \,+\, v\cdot\nabla_x \big] f \, = \, L_v f. $$ Above, the diffusion term $L_v$ is an integro-differential operator, whose nonnegative kernel is of fractional order $s\in(0,1)$ having merely measurable coefficients.
Firstly, we obtain a general $L^\infty$-interpolation inequality with a natural nonlocal tail term in velocity, in turn giving local boundedness even for weak subsolutions $f$ without any sign assumption. This is a veritable novelty, being boundedness usually assumed apriori in such a setting. Then, provided that their nonlocal tail in velocity is $(2\!+\!\varepsilon)$-summable along the transport variables, we prove a general Strong Harnack inequality, which in the simpler case of globally nonnegative weak solutions $f$ reads as follows $$ \sup_{Q^-} f \ \leq \ c\,\inf_{Q^+} f \,+ \, c\,\| {\textrm {Tail}} (f)\|_{L^{2+\varepsilon}_{t,x}}\,, $$ where $Q^{\pm}$ are suitable slanted cylinders. This is the first strong Harnack inequality for kinetic integral equations under the aforementioned tail summability assumption, which is in fact naturally implied in literature, e.g., from the usual mass density boundedness (as for the Boltzmann equation without cut-off), and in clear accordance with the very recent surprising counterexample by Kassmann and Weidner; see <a class="link-https" data-arxiv-id="2405.05223" href="https://arxiv.org/abs/2405.05223">arXiv:2405.05223</a>.
A new standalone result, a Besicovitch-type covering argument for very general kinetic geometries, independent on the involved equation is also needed, stated and proved.
Analysis of PDEs