On the Yamabe flow in a bounded domain

技术摘要：有界区域内的 Yamabe 流

问题陈述
本文研究了有界区域 $\Omega \subset \mathbb{R}^N$ ($N \ge 3$) 内 Yamabe 流解的动力学行为。所考虑的具体方程为如下半线性抛物型问题：
$$\begin{cases} \frac{\partial}{\partial t} u^p = \Delta u + u^p, & \text{在 } \Omega \times (0, T) \text{ 内}, \\ u(x, 0) = u_0(x), & \text{在 } \Omega \text{ 内}, \\ u = 0, & \text{在 } \partial\Omega \times (0, T) \text{ 上}, \end{cases}$$
其中 $p = 2^* - 1 = \frac{N+2}{N-2}$。作者指出，通过立体投影，该问题在几何上等价于 $N$ 维球面上的 Yamabe 流，并且在物理上与特定变换下的快速扩散方程（$0 < m < 1$）相关。研究的一个主要焦点是“有限时间消亡现象”（finite extinction phenomenon），即解在有限时间内完全消失，这与线性热方程的渐近衰减形成对比。

研究方法
作者采用了修正势阱法（modified potential well method），这是对 Payne 和 Sattinger 最初提出并由 Liu 等人进一步完善的经典势阱理论的扩展。该方法包括：

1. 泛函分析：在 Sobolev 空间 $X = H^1_0(\Omega)$ 上定义能量泛函 $E(u)$ 和 Nehari 泛函 $D(u)$。
2. 初始数据的分类：基于 Nehari 泛函的符号以及势阱深度 $d$，构建稳定集（$W$）和不稳定集（$V$）。作者引入参数 $\delta$ 来定义修正后的泛函 $D_\delta(u)$ 以及相应的集合 $W_\delta, V_\delta$，以处理不同的能量水平。
3. 局部存在性与正则性：通过近似方案（使用正则化非线性项 $\phi_k$）建立弱解的存在性，并利用 Bootstrap 论证和 $L^q$ 估计证明其高阶正则性（对于 $t > 0$ 为经典解）。
4. 渐近分析：利用 Palais-Smale 序列分析长时间行为与稳态之间的关系，并推导 Pohozaev 恒等式以建立非存在性结果。

主要贡献与结果

• 局部存在性与正则性：本文确立了初始数据 $u_0 \in H^1_0(\Omega)$ 的弱解局部存在性。此外，证明了对于处于稳定集中的初始数据，解对于任何 $t > 0$ 均为经典解，并具有全局正则性。

• 低能量状态 ($E(u_0) < d$)：

  • 稳定集 ($D(u_0) > 0$)：解全局存在并经历有限时间消亡。作者推导出了一个显式的衰减率，表明解会在特定的时间 $t^*$ 消失。
  • 不稳定集 ($D(u_0) < 0$)：解全局存在但表现出无限时间爆破（infinite-time blow-up），即当 $t \to \infty$ 时，$L^{p+1}$ 范数的积分发散。

• 临界能量状态 ($E(u_0) = d$)：

  • 若 $D(u_0) \ge 0$，则存在全局解。若 $D(u_0) > 0$，解经历有限时间消亡。
  • 若 $D(u_0) < 0$，解全局存在但经历无限时间爆破。

• 高能量状态 ($E(u_0) > d$)：

  • 作者确定了关于初始数据（涉及范数 $\|u_0\|_{p+1}$ 以及集合 $N_+$ 和 $N_-$）的特定条件，这些条件保证了要么是趋于零的全局存在，要么是有限时间爆破。
  • 值得注意的是，对于某些高能量初始数据，解可能在有限时间内爆破，也可能在无限时间内渐近收敛，这区别于标准半线性抛物型方程中高能量通常意味着有限时间爆破的情况。

• 渐近行为与稳态：

  • 本文分析了全局解的 $\omega$-极限集。研究表明，如果一个全局解是一致有界的，其极限集包含相关椭圆方程 $-\Delta u = u^p$ 的一个平稳解。
  • 利用集中紧性原理（引用 Struwe），作者描述了不发生强收敛的解的分解情况，表明它们分解为一个稳态和若干个向边界或无穷远漂移的“气泡”（$\mathbb{R}^N$ 上的标准解）。

• 非存在性结果：

  • 作者推导了该方程的 Pohozaev 恒等式。
  • 他们证明了一个针对严格星形区域的非存在定理：如果一个解满足涉及 Pohozaev 恒等式的特定积分不等式，则该解必须恒等于零。

意义与主张
本文声称通过将势阱理论扩展到这一特定的几何背景下，为有界区域内的 Yamabe 流提供了新的见解。其主要意义在于基于初始能量和 Nehari 泛函对动力学行为进行的分类：

1. 消亡 vs. 爆破：不同于以往关于半线性抛物型方程的研究（其中稳定集通常导致向零的渐近衰减），这项工作证明了对于 Yamabe 流，稳定集中的解可以在有限时间内消亡。
2. 无限时间爆破：本文识别了一种情形，即处于不稳定集中的解不会在有限时间内爆破，而是表现出无限时间爆破，这种现象与在其他语境下通常与不稳定初始数据相关的有限时间爆破截然不同。
3. 高能动力学：研究阐明了高能解的复杂行为，表明它们可能趋于零或发生爆破，这取决于初始数据的几何特征相对于 Nehari 流形的具体位置。

作者将这些结果定位为对现有势阱理论的精细化，特别是针对临界指数和 Yamabe 流的几何特性进行了定制，从而为全局存在、消亡和爆破现象提供了全面的图景。