Asymptotic average solutions for second order hypoelliptic PDEs
Alessia E. Kogoj
TL;DR
The paper develops a framework for asymptotic average solutions of second-order hypoelliptic operators with nonnegative characteristic form by introducing ${\mathcal{L}}$-balls via a fundamental solution $\Gamma$ and a Poisson–Jensen representation. It proves that the Newtonian-type potentials $u_f(x)=\int \Gamma(x,y) f(y)\,dy$ solve the Poisson problem in the asymptotic sense, via a Pizzetti-type theorem that links local averages to the forcing term $f$; moreover, for compactly supported data, these asymptotic-average solutions align with weak (distributional) solutions, underscoring a robust bridge between mean-value formulas and distribution theory in a broad hypoelliptic setting. The work also establishes structural properties of ${\mathcal{L}}$-balls and provides a representation framework that unifies classical, weak, and asymptotic notions of solvability. By extending Pizzetti-type characterizations to operators including those on Carnot groups and Kolmogorov-type ultraparabolic operators, the results offer a solid solvability paradigm for Poisson problems in a wide range of geometric and analytical contexts.
Abstract
Following an analogous procedure with that used in \cite{kogoj_lanconelli_pizzetti}, in turn inspired by a 1909 paper by Pizzetti \cite{pizzetti}, we introduce the notion of {\it asymptotic average solutions} for hypoelliptic linear partial differential operators with non-negative characteristic form. This notion makes every Poisson equation $\elle u(x)=-f(x)$ with continuous data $f$ pointwise solvable.
