Mixed-Parabolicity and Mixed-Liouville Property for Products of Riemannian Manifolds

Abstract: Let $p_1,p_2\in(1,\infty)$ and $M=M_1\times M_2$ 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 $G<sup>M$ and the mixed-norm Lebesgue space $L<sup>{p_2}(L<sup>{p_1})(M)$, 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: $M$ is $L<sup>{p_2}(L<sup>{p_1})$-parabolic if and only if the Green function $G<sup>M(x;\,\cdot\,)$ fails to belong to $L^{{p_2&#39;}(L^{{p_1&#39;})(M}} \setminus B(x,\,r))$, which is in turn equivalent to the $L<sup>{p_2&#39;}(L<sup>{p_1&#39;})$-Liouville property, where $p_i&#39;$ denotes the conjugate exponent of $p_i$. 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 $\mathcal{G}<em>{p_1,p_2}(f)$ for every nonzero nonnegative $f\in {\mathcal C}_c<sup>\infty(M)$. 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 $$D</em>{\mathrm{eff}} := \frac{n_1}{p_1} + \frac{n_2}{p_2} \le 2.$$ This effective dimension $D_{\mathrm{eff}}$ captures the anisotropic interplay between the exponents (p_1, p_2) and the geometries of (M_1, M_2).

• The paper introduces a unified mixed-norm framework that generalizes classical potential theory to product Riemannian manifolds.
• It establishes the equivalence among L^p-parabolicity, Green function non-integrability, and Liouville properties via a novel effective dimension concept.
• The method utilizes anisotropic estimates and weak Harnack inequalities to derive sharp threshold criteria for manifold parabolicity and recurrence.

Mixed-Parabolicity and the Mixed-Liouville Property on Product Riemannian Manifolds

Overview and Context

The paper "Mixed-Parabolicity and Mixed-Liouville Property for Products of Riemannian Manifolds" (2606.28759) establishes a comprehensive anisotropic potential theory for Riemannian product manifolds, connecting parabolicity, Green function integrability, and Liouville-type properties within a mixed-norm framework. The classical theory, with well-understood equivalence between parabolicity, the absence of positive Green's functions, and the Liouville property, is generalized to the setting where $M = M_1 \times M_2$ is a product of two geodesically complete Riemannian manifolds and the function spaces involved are mixed-norm Lebesgue spaces, namely $L^{p_2}(L^{p_1})(M)$. The paper reveals how the geometry of each factor influences the global analytic and potential-theoretic properties through a new notion of effective dimension.

Main Results and Theoretical Innovations

Anisotropic Potential Theory and Mixed-Norm Spaces

The authors introduce a systematic framework for analyzing potential theory on Riemannian product manifolds using the mixed-norm Lebesgue spaces $L^{p_2}(L^{p_1})(M)$. Functions in these spaces control integrability differently in each factor, capturing anisotropic phenomena not visible in the isotropic (single-exponent) case. All classical notions---parabolicity, Green function integrability, and (generalized) Liouville properties—are redefined in terms of these mixed-norms and the associated capacities.

Main Equivalence Theorem

The central result asserts the following equivalences for $M = M_1 \times M_2$ and exponents $p_1, p_2 \in (1,\infty)$:

• $L^{p_2}(L^{p_1})$-parabolicity: Capacity for compact sets vanishes with respect to the mixed capacity associated to the Green operator.
• Green Function Integrability: The Green function $G^M(x;\cdot)$ is not in $L^{p_2'}(L^{p_1'})(M\setminus B(x,r))$ for any $x$ and $r>0$.
• $L^{p_2}(L^{p_1})(M)$0-Liouville Property: Any non-negative superharmonic function in $L^{p_2}(L^{p_1})(M)$1 is constant.
• Under a weak radial Harnack-type inequality (e.g., manifolds with non-negative Ricci curvature), these are also equivalent to the divergence of the nonlinear mixed-potential $L^{p_2}(L^{p_1})(M)$2 for every nontrivial non-negative $L^{p_2}(L^{p_1})(M)$3.

This theorem is demonstrated through a sophisticated extension of potential and capacity theory, using the duality and density properties of mixed-norm spaces and exploiting the product structure of the heat kernel and Green function.

Effective Dimension and the Anisotropic Threshold

A central phenomenon identified is that parabolicity and the Liouville property on product manifolds depend not on the total dimension, but on the effective dimension

$L^{p_2}(L^{p_1})(M)$4

where $L^{p_2}(L^{p_1})(M)$5 and $L^{p_2}(L^{p_1})(M)$6 denote the (possibly polynomial) volume growth exponents of $L^{p_2}(L^{p_1})(M)$7 and $L^{p_2}(L^{p_1})(M)$8. The critical threshold for parabolicity and the Liouville property is $L^{p_2}(L^{p_1})(M)$9, sharply generalizing the classical criterion $L^{p_2}(L^{p_1})(M)$0 for $L^{p_2}(L^{p_1})(M)$1-parabolicity in Euclidean space.

Concretely, for $L^{p_2}(L^{p_1})(M)$2,

$L^{p_2}(L^{p_1})(M)$3

highlighting the role of anisotropy in both geometry and integrability.

Nonlinear Potentials and Weak Harnack Inequalities

The use of the nonlinear mixed potential $L^{p_2}(L^{p_1})(M)$4 as a test for parabolicity is novel. The equivalence between blow-up of this potential for smooth compactly supported $L^{p_2}(L^{p_1})(M)$5 and mixed-parabolicity relies on establishing a weak radial Harnack-type inequality, which is verified under heat kernel Gaussian bounds (e.g., by the Li–Yau estimates in the presence of non-negative Ricci curvature). The approach extends classical links between capacity and potentials to the anisotropic, non-symmetric setting of product manifolds with mixed integrability.

Numerical and Structural Consequences

• Sharp Dimension Criteria: The established threshold $L^{p_2}(L^{p_1})(M)$6 is sharp and leads to explicit parabolicity/Liouville property criteria for products of Euclidean spaces and manifolds with polynomial volume growth.
• Singular/Threshold Cases: The framework allows the detection of regimes where mixed-parabolicity or Liouville property fails, even if each factor separately possesses the classical property. This demonstrates fundamentally new phenomena: for example, $L^{p_2}(L^{p_1})(M)$7 is parabolic, but $L^{p_2}(L^{p_1})(M)$8 fails to be mixed-parabolic for certain exponents.
• Explicit Volume Growth Conditions: Under non-negative Ricci curvature, parabolicity/recurrence admits necessary and sufficient conditions in terms of explicit mixed integral conditions on the volume growth functions of the factors, generalizing Grigor'yan–Varopoulos–Karp-type criteria.

Theoretical and Practical Implications

Generalizations

This work provides a structural generalization of potential theory on manifolds, demonstrating that the interplay of geometry and analytic integrability is inherently anisotropic in product spaces. The dependence of parabolicity/Liouville property on the geometry and the integrability exponent of each factor opens avenues for sharp results in the analysis of PDEs, probability theory (recurrence of Brownian motion), and geometric group theory (random walks on products).

Applications

Potential applications include:

• Nonlinear PDEs: The connection to nonlinear elliptic and parabolic equations with mixed derivatives and mixed-norm estimates.
• Harmonic Analysis: Extension of space–time Strichartz-type estimates and potential-theoretic inequalities in mixed-norm settings.
• Random Processes: Criteria for recurrence/transience for Brownian motion and related processes on products and inhomogeneous spaces.

Future Directions

• Extensions to More General Products and Foliations: The techniques may be extended to fiber bundles, warped products, and more general anisotropic structures, as well as to metric measure settings without smoothness.
• Endpoint Cases and Nonlinear Generalizations: Analysis of the limiting cases $L^{p_2}(L^{p_1})(M)$9 or $M = M_1 \times M_2$0 and connections to nonlinear potentials, as well as infinite-dimensional products.
• Operator Theory and Spectral Consequences: The relationship between the mixed-norm parabolicity criterion and the spectrum of associated elliptic and sub-elliptic operators on products.

Conclusion

This paper establishes a decisive and technically robust generalization of parabolicity and Liouville-type results from the classical, isotropic setting to Riemannian product manifolds equipped with mixed-norm structures. The introduction of the effective dimension $M = M_1 \times M_2$1 as the governing parameter for mixed-parabolicity and the associated Liouville property reveals new geometric-analytic thresholds and creates a powerful potential-theoretic toolkit for a wide spectrum of problems in analysis and geometry on noncompact manifolds (2606.28759).