On K-peak solutions for the Yamabe equation on product manifolds

该论文证明了在特定条件下，当乘积流形 $(M\times X, g+\epsilon^2 h)$ 中的参数 $\epsilon$ 充分小时，次临界 Yamabe 方程存在 $K$ 峰正解，从而推广了前人结果并展示了该方程正解的多重性。

要点

这篇论文听起来充满了高深的数学符号和术语，但如果我们把它想象成一个**“宇宙建筑”**的故事，就会变得非常有趣。

简单来说，这篇文章是在研究如何在一个**“由两个世界拼接而成”的复杂空间里，找到一种特殊的“完美形状”（数学家称之为Yamabe 方程的解**）。

让我们用几个生动的比喻来拆解它：

1. 背景：两个世界的拼接

想象你有两个完全不同的世界：

• 世界 A (M)：这是一个形状复杂、地形起伏的大陆（比如像地球表面，有高山有低谷）。
• 世界 B (X)：这是一个非常完美、光滑的球体，它的“弯曲度”（曲率）是恒定的，像是一个完美的肥皂泡。

现在，数学家想做一个实验：把世界 B 变得非常非常小（就像把肥皂泡缩小成尘埃），然后把它“粘”在世界 A 的每一个点上。

• 这就形成了一个巨大的混合体：世界 A 是骨架，上面密密麻麻地长满了微小的世界 B。
• 在这个混合体上，有一个参数 $\epsilon$（读作“艾普西隆”），它代表那个微小世界 B 的大小。$\epsilon$ 越小，B 就越小，整个结构就越接近世界 A 本身。

2. 目标：寻找“完美的平衡点”

在这个混合体上，数学家想找到一个**“完美的温度分布”**（或者叫“标量曲率”）。

• 这就好比你想给这个混合体加热，希望它每一处的温度都完全一样（常数曲率）。
• 在数学上，这对应着一个著名的方程（Yamabe 方程）。
• 核心问题：在这个复杂的混合体上，除了那个显而易见的“均匀温度”外，是否还存在其他特殊的温度分布？特别是，是否存在那种**“有多个热点”**（K-peak，即 K 个峰值）的分布？

3. 以前的发现与现在的突破

• 以前的研究：如果世界 A 的“地形”（曲率）有高低起伏，且某些特定的数学常数不为零，人们已经知道，那些“热点”会聚集在世界 A 曲率最高的地方（就像水往低处流，但这里是“热”往曲率极值处聚）。
• 这篇论文的突破：作者发现，如果世界 A 的曲率是完全平坦均匀的（常数），或者那个特定的数学常数恰好是零，那么以前的方法就失效了。这时候，“热点”该往哪里跑呢？
  • 这就好比在一个完全平坦的操场上，你找不到“山顶”来聚集热量，那热量会怎么分布？
  • 作者发现，这时候“热点”不再看曲率，而是看一个更复杂的**“地形函数” $\Phi$**。这个函数不仅看高度，还看地面的“扭曲程度”（黎曼曲率张量）和“拉伸程度”（里奇曲率）。

4. 核心故事：如何制造“多峰”？

作者使用了一种叫做**“李雅普诺夫 - 施密特约化”（Lyapunov-Schmidt reduction）的高级技巧。我们可以把它想象成“搭积木”**：

1. 制造原型：先在数学的“理想空间”（欧几里得空间）里造出一个完美的“热球”（解 $U$），它中间很热，边缘迅速冷却。
2. 复制粘贴：在世界 A 上选 K 个特定的点（$\xi_1, \xi_2, ...$），把 K 个这样的“热球”缩小（因为 $\epsilon$ 很小），分别放在这 K 个点上。
3. 微调：这时候，这 K 个热球互相之间会有干扰，而且世界 A 的复杂地形也会干扰它们。这就像在平地上放了几个气球，它们会互相挤压变形。
4. 寻找平衡：作者证明了，只要这 K 个点选得对（选在函数 $\Phi$ 的“稳定临界点”上），并且它们之间的距离足够远（相对于 $\epsilon$ 来说），你就可以通过微调，把这团混乱的“热气球”修正成一个完美的、数学上严格成立的**“多峰解”**。

5. 结论：我们发现了什么？

这篇论文证明了：

• 即使在一个曲率恒定的平坦世界里，只要那个特定的数学常数 $\beta$ 为零，或者世界本身是平坦的，我们依然可以制造出**任意数量（K 个）**的“热点”解。
• 这些热点的位置不是随意的，它们必须聚集在由世界 A 的几何结构（曲率张量等）决定的特殊点上。
• 这就像是在一个看似平坦的操场上，如果你能感知到极其微小的地面纹理（曲率张量），你就能在这些纹理的“稳定点”上种出 K 朵完美的花。

总结

这就好比你在一个巨大的、看似平坦的舞台上（世界 M），想安排 K 个聚光灯（峰值解）。

• 以前大家以为，聚光灯只能照在舞台上有“凸起”的地方。
• 但这篇论文发现，即使舞台是平的，或者某些条件特殊，只要你能算出一个复杂的“隐形地图”（函数 $\Phi$），你就能在这个地图上找到 K 个完美的位置，把聚光灯打上去，而且这些光点会保持完美的平衡，不会互相干扰。

一句话概括：这篇论文解决了在特定几何条件下，如何在复杂的乘积空间上构造出任意多个“热点”解的难题，填补了之前数学研究的空白。

技术摘要

论文技术总结：乘积流形上 Yamabe 方程的 K-峰解

1. 研究背景与问题定义

• Yamabe 问题：核心在于寻找给定共形类中具有常数量曲率的度量。对于闭流形 $(M^n, g)$，若共形度量 $\tilde{g} = u^{\frac{4}{n-2}}g$ 具有常数量曲率，则函数 $u$ 必须满足 Yamabe 方程：
  $$-a_n \Delta_g u + s_g u = \lambda u^{p_n-1}$$
  其中 $a_n = \frac{4(n-1)}{n-2}$，$p_n = \frac{2n}{n-2}$。
• 唯一性与多重性：虽然 Yamabe 问题的解的存在性已解决，但在某些情况下（特别是当原始度量具有正数量曲率时），共形类中可能存在多个具有常数量曲率的度量。
• 具体研究对象：
  • 考虑两个闭流形 $(M^n, g)$ 和 $(X^m, h)$，其中 $m, n > 2$，且 $(X, h)$ 具有常正数量曲率。
  • 研究一族乘积流形 $(M \times X, g + \epsilon^2 h)$，其中 $\epsilon > 0$ 是一个小参数。
  • 目标方程是定义在该乘积流形上的次临界 Yamabe 方程：
    $$-\epsilon^2 \Delta u + (1 + c \epsilon^2 s_g) u = u^q$$
    其中 $N = n+m$，$q = \frac{N+2}{N-2}$，$c = \frac{N-2}{4(N-1)}$，$s_g$ 是 $M$ 上的数量曲率。
• 核心问题：在什么条件下，该方程存在具有 $K$ 个峰值（$K$-peak）的正解？这些峰值集中在 $M$ 上的特定位置。

2. 方法论：Lyapunov-Schmidt 降维法

作者采用了经典的 Lyapunov-Schmidt 降维法（Lyapunov-Schmidt reduction），结合变分法，将无限维的偏微分方程问题转化为有限维的优化问题。主要步骤如下：

1. 构造近似解：

   • 利用 $\mathbb{R}^n$ 中极限方程 $-\Delta U + U = U^{p-1}$ 的唯一径向对称正解 $U$（Kwong 解）。
   • 定义 $U_\epsilon(x) = U(x/\epsilon)$。
   • 在 $M$ 上构造单峰近似解 $W_{\epsilon, \xi}$，它是 $U_\epsilon$ 通过指数映射 $\exp_\xi$ 截断后的形式。
   • 构造 $K$ 峰近似解 $W_{\epsilon, \bar{\xi}} = \sum_{i=1}^K W_{\epsilon, \xi_i}$，其中 $\xi_i$ 是 $M$ 上的中心点。

2. 二阶修正：

   • 为了消除近似解的误差，引入二阶修正项 $\epsilon^2 V_{\epsilon, \xi}$。
   • $V_{\epsilon, \xi}$ 是线性算子 $L_0 = -\Delta + 1 - (p-1)U^{p-2}$ 的方程的解，该方程的右端项涉及 $M$ 的几何量（Ricci 曲率、数量曲率及其导数）。
   • 定义改进的近似解 $Y_{\epsilon, \bar{\xi}} = \sum (W_{\epsilon, \xi_i} + \epsilon^2 V_{\epsilon, \xi_i})$。

3. 能量泛函展开：

   • 定义能量泛函 $J_\epsilon(u)$。
   • 将 $J_\epsilon(Y_{\epsilon, \bar{\xi}} + \phi)$ 在 $\phi=0$ 附近展开，其中 $\phi$ 属于正交补空间 $K^\perp_{\epsilon, \bar{\xi}}$。
   • 通过精细的渐近分析（展开至 $\epsilon^4$ 阶），得到约化能量泛函 $\bar{J}_\epsilon(\bar{\xi})$ 的表达式。

4. 有限维问题求解：

   • 利用隐函数定理，证明存在唯一的 $\phi_{\epsilon, \bar{\xi}} \in K^\perp$ 使得正交投影方程成立。
   • 原方程的解的存在性转化为寻找约化能量泛函 $\bar{J}_\epsilon(\bar{\xi})$ 的临界点。

3. 关键贡献与理论突破

本文的主要贡献在于解决了前人工作 [18] 中未覆盖的剩余情形，特别是当维数常数 $\beta = 0$ 或 $M$ 上的数量曲率 $s_g$ 为常数时。

• 引入新的功能量 $\Phi(\xi)$：
  在以往的研究中（当 $\beta \neq 0$ 且 $s_g$ 非常数时），峰值位置由 $s_g$ 的临界点决定。但在本文研究的特殊情形下（$\beta=0$ 或 $s_g$ 常数），$s_g$ 不再主导峰值位置。
  作者推导出了一个新的功能量 $\Phi: M \to \mathbb{R}$，其表达式为：
  $$\Phi(\xi) := \frac{1}{120(n+2)} \left( -c_8 \Delta_g s_g(\xi) + c_6 \|\text{Ric}_\xi\|^2 - 3c_1 \|R_\xi\|^2 \right) + c_7 s_g(\xi)^2 + c_9 s_g(\xi)$$
  其中 $c_i$ 是依赖于维数 $m, n$ 的常数，$R_\xi$ 是曲率张量，$\text{Ric}_\xi$ 是 Ricci 曲率。

• 峰值位置的确定：
  证明了当 $\beta=0$ 或 $s_g$ 为常数时，$K$-峰解的峰值位置 $\xi_i$ 收敛于功能量 $\Phi(\xi)$ 的孤立稳定临界点（isolated stable critical point）。

  • 特别地，如果 $(M, g)$ 是 Einstein 流形但非常曲率，解将集中在 $\|R_\xi\|$ 的 $C^1$ 稳定临界点附近。

• 能量展开的精细计算：
  作者详细计算了能量泛函展开中的 $\epsilon^4$ 阶项，揭示了曲率张量（Ricci 和 Riemann）的高阶项如何影响解的分布，这是以往文献中未充分探讨的。

4. 主要结果 (Theorem 1.1)

定理 1.1：
假设 $\beta = 0$ 或 $s_g$ 为常数。设 $\xi_0$ 是功能量 $\Phi(\xi)$ 的一个孤立的局部 $C^1$ 稳定临界点。
则对于任意正整数 $K$，存在 $\epsilon_0 > 0$，使得对于所有 $\epsilon \in (0, \epsilon_0)$，存在 $K$ 个点 $\xi^\epsilon_1, \dots, \xi^\epsilon_K \in M$，满足：

1. 峰值分离：当 $\epsilon \to 0$ 时，$\frac{d_g(\xi^\epsilon_i, \xi^\epsilon_j)}{\epsilon} \to \infty$（峰值彼此远离）。
2. 收敛性：$\xi^\epsilon_i \to \xi_0$（所有峰值都聚集在 $\xi_0$ 附近）。
3. 存在性：方程 (3) 存在一个正解 $u_\epsilon$，且满足：
   $$\| u_\epsilon - \sum_{i=1}^K W_{\epsilon, \xi^\epsilon_i} \|_\epsilon \to 0$$

5. 意义与影响

1. 完善理论体系：填补了乘积流形上 Yamabe 方程多重解存在性理论的空白，特别是处理了 $\beta=0$ 和常数量曲率这两个特殊但重要的几何情形。
2. 几何与拓扑的深层联系：结果表明，在特定几何条件下，Yamabe 方程解的分布不再仅仅由标量曲率决定，而是由更复杂的几何不变量（如 Ricci 曲率范数、Riemann 曲率张量范数及其拉普拉斯算子）所控制。这揭示了共形几何中更深层次的相互作用。
3. 构造多重解的新范例：为在共形类中构造具有任意数量峰值的正解提供了具体的构造方法和存在性证明，丰富了 Yamabe 问题多重解的研究案例。
4. 技术示范：展示了如何在复杂的乘积流形背景下，结合 Lyapunov-Schmidt 降维法和高阶渐近展开来处理非线性椭圆方程，为类似问题的研究提供了技术范本。

总结：该论文通过精细的变分分析和几何展开，证明了在乘积流形上，当特定维数常数消失或背景几何具有高度对称性（常数量曲率）时，Yamabe 方程的 $K$-峰解依然存在，且其位置由包含曲率张量高阶项的新功能量 $\Phi$ 的临界点决定。这一结果极大地扩展了我们对 Yamabe 方程多重解几何结构的理解。