[Paper Review] Asymptotic behaviour for the Heat Equation in Hyperbolic Space

Juan Luís Vázquez|arXiv (Cornell University)|Nov 22, 2018

Cosmology and Gravitation Theories4 citations

TL;DR

This paper establishes the long-time asymptotic behavior of the heat equation in hyperbolic space $ℝ^n$, $n>1$, showing that radially symmetric solutions converge to a 1D Gaussian profile after correction for a constant-speed outward drift due to negative curvature. Without radial symmetry, such convergence fails, even for compactly supported, nonnegative $L^1$ data.

ABSTRACT

Following the classical result of long-time asymptotic convergence towards the Gaussian kernel that holds true for integrable solutions of the Heat Equation posed in the Euclidean Space $\mathbb{R}^n$, we examine the question of long-time behaviour of the Heat Equation in the Hyperbolic Space $\mathbb{H}^n$, $n>1$, also for integrable solutions. We show that the typical convergence proof towards the fundamental solution works in the class of radially symmetric solutions. We also prove the more precise result that says that this limit behaviour is exactly described by the 1D Euclidean kernel, but only after correction of a remarkable outward drift with constant speed produced by the geometry. Finally, we find that such fine convergence results are false for general nonnegative solutions with integrable initial data.

Motivation & Objective

• To determine whether the classical Euclidean heat equation asymptotic convergence to the Gaussian kernel extends to hyperbolic space $\mathbb{H}^n$, $n>1$.
• To analyze how negative curvature affects the long-time behavior of solutions, particularly through geometric drift effects.
• To establish conditions under which convergence to the fundamental solution holds, and to identify when it fails.
• To investigate the role of radial symmetry and horospheric solutions in shaping the asymptotic dynamics.
• To construct counterexamples demonstrating the failure of $L^1$ convergence for general nonnegative $L^1$ initial data in $\mathbb{H}^3$.

Proposed method

• Use of radial symmetry and geodesic polar coordinates to reduce the PDE to a 1D problem on $[0,\infty)$ with a radial Laplacian involving $\sinh^{n-1}(r)$.
• Analysis of the heat kernel's large-time behavior via mass concentration and the concept of a 'mass line' $r(t) = (n-1)t$, indicating constant-speed drift.
• Application of Harnack inequalities and comparison principles to bound solutions from above and below by the fundamental solution on expanding sets.
• Use of interpolation and $L^p$ estimates to derive convergence rates in all $L^p$ norms for $1 < p < \infty$.
• Construction of explicit counterexamples in $\mathbb{H}^3$ using horospheric solutions and time-shifted data to disprove general $L^1$ convergence.
• Leveraging known results on symmetric spaces of non-compact type and the work of Anker and Ostellari on heat kernel estimates for generalization prospects.

Experimental results

Research questions

• RQ1 Does the classical $L^1$ convergence to the Gaussian kernel in $\mathbb{R}^n$ extend to solutions of the heat equation in $\mathbb{H}^n$?
• RQ2 How does negative curvature induce a constant-speed drift in the asymptotic behavior of solutions?
• RQ3 To what extent does radial symmetry ensure convergence to the fundamental solution in $\mathbb{H}^n$?
• RQ4 Why does $L^1$ convergence fail for general non-radial, nonnegative $L^1$ initial data in $\mathbb{H}^3$?
• RQ5 Can the asymptotic behavior of the heat kernel in $\mathbb{H}^n$ be described as a 1D Euclidean profile with a drift correction?

Key findings

• For radially symmetric initial data in $L^1(\mathbb{H}^n)$, the solution converges in $L^1(\mathbb{H}^n)$ to the fundamental solution $P_t(x)$ as $t \to \infty$.
• The convergence rate in $L^\infty(\mathbb{H}^n)$ is $O(t^{-3/2}e^{-\lambda_1 t})$ with $\lambda_1 = (n-1)^2/4$, matching the decay of the heat kernel.
• The asymptotic profile is equivalent to the 1D Gaussian kernel after correction by a drift of speed $c = n-1$, i.e., $u(x,t) \approx M G_t(x - (n-1)t)$ in radial coordinates.
• In $\mathbb{H}^3$, $L^1$ convergence to $M P_t(x)$ fails for general nonnegative $L^1$ data, even if compactly supported, due to geometric spreading effects.
• The failure is demonstrated via explicit counterexamples using horospheric solutions and time-shifted data, showing mass escapes to infinity with constant speed.
• The analysis reveals a 'mass line' $r(t) = (n-1)t$ along which the mass concentrates, explaining the drift and the breakdown of standard convergence in non-radial cases.