On the Yamabe flow in a bounded domain

Technical Summary: On the Yamabe Flow in a Bounded Domain

Problem Statement
This paper investigates the dynamical behaviors of solutions to the Yamabe flow within a bounded domain $\Omega \subset \mathbb{R}^N$ ($N \ge 3$). The specific equation under consideration is the semilinear parabolic problem:
$$\begin{cases} \frac{\partial}{\partial t} u^p = \Delta u + u^p, & \text{in } \Omega \times (0, T), \\ u(x, 0) = u_0(x), & \text{in } \Omega, \\ u = 0, & \text{on } \partial\Omega \times (0, T), \end{cases}$$
where $p = 2^* - 1 = \frac{N+2}{N-2}$. The authors note that this problem is geometrically equivalent to the Yamabe flow on the $N$-dimensional sphere via stereographic projection and physically related to the fast diffusion equation ($0 < m < 1$) under a specific transformation. A primary focus is the "finite extinction phenomenon," where solutions vanish identically after a finite time, contrasting with the asymptotic decay of linear heat equations.

Methodology
The authors employ the modified potential well method, an extension of the classical potential well theory originally proposed by Payne and Sattinger and later refined by Liu et al. The methodology involves:

1. Functional Analysis: Defining energy functionals $E(u)$ and Nehari functionals $D(u)$ on the Sobolev space $X = H^1_0(\Omega)$.
2. Classification of Initial Data: Constructing stable sets ($W$) and unstable sets ($V$) based on the sign of the Nehari functional and the depth of the potential well $d$. The authors introduce a parameter $\delta$ to define modified functionals $D_\delta(u)$ and corresponding sets $W_\delta, V_\delta$ to handle various energy levels.
3. Local Existence and Regularity: Establishing the existence of weak solutions via approximation schemes (using regularized nonlinearities $\phi_k$) and proving higher regularity (classical solutions for $t > 0$) using bootstrap arguments and $L^q$ estimates.
4. Asymptotic Analysis: Utilizing Palais-Smale sequences to analyze the relationship between long-time behavior and steady states, and deriving the Pohozaev identity to establish nonexistence results.

Key Contributions and Results

• Local Existence and Regularity: The paper establishes the local existence of weak solutions for initial data $u_0 \in H^1_0(\Omega)$. Furthermore, it proves that for initial data in the stable set, solutions become classical for any $t > 0$ and possess global regularity.

• Low Energy Regime ($E(u_0) < d$):

  • Stable Set ($D(u_0) > 0$): Solutions exist globally and undergo finite-time extinction. The authors derive an explicit decay rate showing the solution vanishes at a specific time $t^*$.
  • Unstable Set ($D(u_0) < 0$): Solutions exist globally but exhibit infinite-time blow-up, meaning the integral of the $L^{p+1}$ norm diverges as $t \to \infty$.

• Critical Energy Regime ($E(u_0) = d$):

  • If $D(u_0) \ge 0$, global solutions exist. If $D(u_0) > 0$, the solution undergoes finite-time extinction.
  • If $D(u_0) < 0$, the solution exists globally but undergoes infinite-time blow-up.

• High Energy Regime ($E(u_0) > d$):

  • The authors identify specific conditions on the initial data (involving the norms $\|u_0\|_{p+1}$ and the sets $N_+$ and $N_-$) that guarantee either global existence with asymptotic decay to zero or finite-time blow-up.
  • Notably, for certain high-energy initial data, the solution may either blow up in finite time or converge asymptotically over infinite time, distinguishing this behavior from standard semilinear parabolic equations where high energy often implies finite-time blow-up.

• Asymptotic Behavior and Steady States:

  • The paper analyzes the $\omega$-limit set of global solutions. It demonstrates that if a global solution is uniformly bounded, its limit set contains a stationary solution of the associated elliptic equation $-\Delta u = u^p$.
  • Using the concentration-compactness principle (referencing Struwe), the authors describe the decomposition of solutions that do not converge strongly, showing they decompose into a steady state and a finite number of "bubbles" (standard solutions on $\mathbb{R}^N$) that escape to the boundary or infinity.

• Nonexistence Results:

  • The authors derive the Pohozaev identity for the equation.
  • They prove a nonexistence theorem for strictly star-shaped domains: if a solution satisfies a specific integral inequality involving the Pohozaev identity, the solution must be identically zero.

Significance and Claims
The paper claims to provide new insights into the Yamabe flow in bounded domains by extending the potential well method to this specific geometric context. The primary significance lies in the classification of dynamical behaviors based on initial energy and the Nehari functional:

1. Extinction vs. Blow-up: Unlike previous studies on semilinear parabolic equations where stable sets typically lead to asymptotic decay to zero, this work demonstrates that for the Yamabe flow, solutions in the stable set can extinguish in finite time.
2. Infinite-Time Blow-up: The paper identifies a regime where solutions in the unstable set do not blow up in finite time but rather exhibit infinite-time blow-up, a phenomenon distinct from the finite-time blow-up often associated with unstable initial data in other contexts.
3. High-Energy Dynamics: The study clarifies the complex behavior of high-energy solutions, showing that they can either decay to zero or blow up, depending on the specific geometry of the initial data relative to the Nehari manifold.

The authors position these results as a refinement of existing potential well theory, specifically tailored to the critical exponent and the geometric nature of the Yamabe flow, offering a comprehensive picture of global existence, extinction, and blow-up phenomena.