Table of Contents
Fetching ...

The nonlinear fast diffusion equation on smooth metric measure spaces: Hamilton-Souplet-Zhang estimates and a Ricci-Perelman super flow

Ali Taheri, Vahideh Vahidifar

TL;DR

This work analyzes the nonlinear fast diffusion equation $\partial_t u - \Delta_f u^p = \mathscr N(t,x,u)$ on smooth metric measure spaces, allowing time-dependent metrics and potentials and coupling to Bakry–Émery curvature ${\mathscr Ric}^m_f(g)$. It develops two families of Hamilton–Souplet–Zhang gradient estimates for positive solutions in the fast-diffusion range $0<p<1$, each tied to a different pressure-transform $v$ and evolution operator $\mathscr L$, and both yielding local and global forms. A key novelty is integrating a Ricci–Perelman type super-flow for the evolving geometry, yielding additional gradient bounds and parabolic Liouville-type results, along with characterizations of ancient solutions. The results demonstrate that the maximal exponent range for the gradient estimates is robust to the geometric evolution and curvature bounds, linking nonlinear diffusion, geometric analysis, and Liouville-type rigidity in a unified framework.

Abstract

This article presents new gradient estimates for positive solutions to the nonlinear fast diffusion equation on smooth metric measure spaces, involving the $f$-Laplacian. The gradient estimates of interest are mainly of Hamilton-Souplet-Zhang or elliptic type and are proved using different set of methods and techniques. Various implications notably to parabolic Liouville type results and characterisation of ancient solutions are given. The problem is considered in the general setting where the metric and potential evolve under a super flow involving the Bakry-Émery $m$-Ricci curvature tensor. The remarkable interplay between geometry, nonlinearity, and evolution -- and their intricate roles in the estimates and the maximum exponent range of fast diffusion -- is at the core of the investigation.

The nonlinear fast diffusion equation on smooth metric measure spaces: Hamilton-Souplet-Zhang estimates and a Ricci-Perelman super flow

TL;DR

This work analyzes the nonlinear fast diffusion equation on smooth metric measure spaces, allowing time-dependent metrics and potentials and coupling to Bakry–Émery curvature . It develops two families of Hamilton–Souplet–Zhang gradient estimates for positive solutions in the fast-diffusion range , each tied to a different pressure-transform and evolution operator , and both yielding local and global forms. A key novelty is integrating a Ricci–Perelman type super-flow for the evolving geometry, yielding additional gradient bounds and parabolic Liouville-type results, along with characterizations of ancient solutions. The results demonstrate that the maximal exponent range for the gradient estimates is robust to the geometric evolution and curvature bounds, linking nonlinear diffusion, geometric analysis, and Liouville-type rigidity in a unified framework.

Abstract

This article presents new gradient estimates for positive solutions to the nonlinear fast diffusion equation on smooth metric measure spaces, involving the -Laplacian. The gradient estimates of interest are mainly of Hamilton-Souplet-Zhang or elliptic type and are proved using different set of methods and techniques. Various implications notably to parabolic Liouville type results and characterisation of ancient solutions are given. The problem is considered in the general setting where the metric and potential evolve under a super flow involving the Bakry-Émery -Ricci curvature tensor. The remarkable interplay between geometry, nonlinearity, and evolution -- and their intricate roles in the estimates and the maximum exponent range of fast diffusion -- is at the core of the investigation.

Paper Structure

This paper contains 11 sections, 23 theorems, 131 equations.

Key Result

Theorem 2.1

Let $(M, g, d\mu)$ be a complete smooth metric measure space with $d\mu=e^{-f} dv_g$. Assume the metric and potential are time dependent, of class $\mathscr{C}^2$ and that for suitable constants $k, h \ge 0$ and $m \ge n$ satisfy ${\mathscr Ric}_f^m (g) \ge -(m-1)k g$, $\partial_t g \ge -2hg$ in the

Theorems & Definitions (43)

  • Theorem 2.1
  • Remark 2.2
  • Theorem 2.3
  • Theorem 2.4
  • Theorem 2.5
  • Lemma 3.1
  • proof
  • Lemma 3.2
  • proof
  • Lemma 3.3
  • ...and 33 more