[论文解读] Prescribing a fourth order conformal invariant on the standard sphere, Part II: blow-up analysis and applications

Zindine Djadli, Andrea Malchiodi+1 more|ArXiv.org|Apr 8, 2001

Geometric Analysis and Curvature Flows参考文献 25被引用 70

一句话总结

本文针对标准球面 $S^n$（$n \geq 5$）上的四阶共形不变方程进行了精细的爆破分析，涉及临界Sobolev指数。通过在维数5和6中建立尖锐的先验估计，该文在 $S^5$ 中利用连续性方法证明了解的存在性，而在 $S^6$ 中当指标条件不成立时则通过度理论证明了解的存在性，从而解决了共形几何中长期存在的问题。

ABSTRACT

In this paper we perform a fine blow-up analysis for a fourth order elliptic equation involving critical Sobolev exponent, related to the prescription of some conformal invariant on the standard sphere. We derive from this analysis some a priori estimates in dimension 5 and 6. On the five dimensionl sphere these a priori estimates combined with the perturbation result of Part I allow us to obtain some existence results. On the six dimensional sphere we prove the existence of at least one solution when an associated index is different from zero.

研究动机与目标

• 通过爆破分析，为 $S^n$（$n \geq 5$）上具有临界指数的四阶椭圆方程的解建立先验 $L^\infty$ 估计。
• 通过精细的渐近分析，推导出在 $S^n$ 上预定四阶共形不变问题的紧致性与存在性结果。
• 通过分析爆破轮廓，将第一部分的摄动存在性结果推广至低维中的非摄动区域。
• 在 $S^5$ 中，通过连续性方法证明解的存在性，前提是预定函数在 $C^2$-范数下接近常数。
• 在 $S^6$ 中，当关联的拓扑度非零时，利用度理论论证与爆破控制证明解的存在性。

提出的方法

• 对 $S^n$ 上四阶方程 $P^n_h u = \frac{n-4}{2} f u^{\frac{n+4}{n-4}}$ 的次临界逼近进行爆破分析，利用立体投影将其转移到 $\mathbb{R}^n$。
• 定义解序列的孤立爆破点与孤立简单爆破点，并通过缩放与加权 $L^\infty$ 估计分析其渐近行为。
• 在 $\mathbb{R}^n$ 上应用Pohozaev型恒等式，推导出约束爆破轮廓并控制解的增长的积分恒等式。
• 应用椭圆组的最大值原理，控制爆破轮廓中各分量间的相互作用，从而导出一致有界性。
• 利用双调和函数的Bôcher型表示定理，对孤立爆破点附近的解的奇性行为进行分类。
• 将爆破估计与 $L^p$ 和 $L^\infty$ 插值结合，导出缩放后解的一致 $L^\infty$ 估计，从而获得先验估计。

实验结果

研究问题

• RQ1 四阶共形方程在 $S^n$ 上具有临界指数的解的精确爆破轮廓是什么？
• RQ2 在维数5和6中，即使在缺乏小量假设的条件下，能否为解建立先验 $L^\infty$ 估计？
• RQ3 在 $S^5$ 中，连续性方法在何种条件下可为预定四阶不变问题提供解？
• RQ4 当摄动方法失效时，如何应用拓扑度理论证明在 $S^6$ 中解的存在性？
• RQ5 与共形不变量相关的指标公式在决定 $S^6$ 中解的存在性时起什么作用？

主要发现

• 在维数5中，作者为次临界逼近的解建立了 $L^\infty$ 先验估计，使得连续性方法可用于证明当 $f$ 在 $C^2$-范数下足够接近常数时解的存在性。
• 在维数6中，当关联映射 $G$ 的度非零时，证明了至少存在一个解，从而提供了一个非摄动的存在性准则。
• 爆破分析表明，次临界逼近中孤立爆破点必须表现出特定渐近行为，且缩放后的解收敛于标准的泡状解。
• 作者在 $\mathbb{R}^n$ 上导出了一个Pohozaev型恒等式，用于控制能量与通量项，这对排除非物理爆破轮廓至关重要。
• 证明了缩放后解的 $L^\infty$ 估计在爆破参数下一致，若发生爆破则导致矛盾，从而证明了紧致性。
• 证明依赖于精细的 $L^p$-估计，并在 $L^p$ 与 $L^\infty$ 范数之间进行插值，同时对非线性项在爆破点附近的支集进行严格控制。