Mixed-Parabolicity and Mixed-Liouville Property for Products of Riemannian Manifolds
arXiv:2606.28759
Abstract
Let and be the product of two geodesically complete Riemannian manifolds. In this paper, the authors first develop an anisotropic potential-theoretic framework adapted to the Green operator and the mixed-norm Lebesgue space , and then demonstrate that the classical equivalence among \emph{parabolicity}, \emph{Green function integrability}, and \emph{Liouville property} persists in this genuinely anisotropic setting. More precisely, the authors establish the following equivalence: is -parabolic if and only if the Green function fails to belong to , which is in turn equivalent to the -Liouville property, where denotes the conjugate exponent of . Under a weak radial Harnack-type inequality -- in particular, under Li--Yau heat kernel estimates, and hence for products of manifolds with nonnegative Ricci curvature -- these conditions are further equivalent to the divergence of the nonlinear mixed-potential for every nonzero nonnegative . A key feature of this anisotropic theory is its sensitivity to the geometry of each factor \(M_i\), rather than merely to that of the total manifold \(M\). In contrast to the isotropic case, where parabolicity and the classical Liouville property holds on \(\mathbb{R}^n\) precisely when \(n \le 2\), the anisotropic setting exhibits a refined threshold: the \(L^{p_2}(L^{p_1})\)-parabolicity and the \(L^{p_2'}(L^{p_1'})\)-Liouville property holds on \(\mathbb{R}^{n_1} \times \mathbb{R}^{n_2}\) if and only if This effective dimension captures the anisotropic interplay between the exponents \(p_1, p_2\) and the geometries of \(M_1, M_2\).
50 pages