[论文解读] The resonant boundary $Q$-curvature problem and boundary-weighted barycenters

Mohameden Ould Ahmedou, Sadok Kallel+1 more|arXiv (Cornell University)|Apr 13, 2016

Nonlinear Partial Differential Equations参考文献 35被引用 5

一句话总结

本文研究了在具有边界的紧致4维黎曼流形上，存在具有零 $T$-曲率和平均曲率的共形度量，同时在内部实现给定 $Q$-曲率的问题。通过将莫尔斯理论推广至非紧变分设置，利用无穷远处的临界点及边界加权质心的分析，作者建立了共振 $Q$-曲率问题可解性的庞加莱-霍普夫型判据。

ABSTRACT

Given a compact four-dimensional Riemannian manifold $(M, g)$ with boundary, we study the problem of existence of Riemannian metrics on $M$ conformal to $g$ with prescribed $Q$-curvature in the interior $\mathring{M}$ of $M$, and zero $T$-curvature and mean curvature on the boundary $\partial M$ of $M$. This geometric problem is equivalent to solving a fourth-order elliptic boundary value problem (BVP) involving the Paneitz operator with boundary conditions of Chang-Qing and Neumann operators. The corresponding BVP has a variational formulation but the corresponding variational problem, in the case under study, is not compact. To overcome such a difficulty we perform a systematic study, à la Bahri, of the so called {\it critical points at infinity}, compute their Morse indices, determine their contribution to the difference of topology between the sublevel sets of associated Euler-Lagrange functional and hence extend the full Morse Theory to this noncompact variational problem. To establish Morse inequalities we were led to investigate from the topological viewpoint the space of boundary-weighted barycenters of the underlying manifold, which arise in the description of the topology of very negative sublevel sets of the related functional. As an application of our approach we derive various existence results and provide a Poincaré-Hopf type criterium for the prescribed $Q$-curvature problem on compact four dimensional Riemannian manifolds with boundary.

研究动机与目标

• 研究在具有边界的4维紧致黎曼流形上，存在内部给定 $Q$-曲率、边界上零 $T$-曲率与平均曲率的共形度量的问题。
• 通过精细分析无穷远处的临界点，克服与 $Q$-曲率方程相关的变分问题中缺乏紧致性的问题。
• 利用边界加权质心空间描述欧拉-拉格朗日泛函的下水平集的拓扑，实现莫尔斯理论分析。
• 基于边界加权质心空间的拓扑，推导出共振 $Q$-曲率问题可解性的庞加莱-霍普夫型判据。

提出的方法

• 应用巴赫里的无穷远处临界点框架，分析与 $Q$-曲率方程相关的非紧变分问题中的爆破行为。
• 进行爆破分析，利用哈纳克型不等式与泡分解，推导出在内部与边界点处集中解的精细渐近估计。
• 通过有限维约化构造无穷远处附近的伪梯度向量场，从而研究能量集中极限下泛函的拓扑性质。
• 引入并研究边界加权质心空间 $B_k^\partial(M)$，通过计算其同调与欧拉示性数，捕捉极负下水平集的拓扑结构。
• 利用谱序列与代数拓扑方法，将 $B_k^\partial(M)$ 的拓扑与无穷远处临界点的莫尔斯指标联系起来。
• 在无穷远处展开欧拉-拉格朗日泛函及其梯度，显式给出涉及质量 $\alpha_i$、集中参数 $\lambda_i$ 与负性参数 $\beta_r$ 的误差项。

实验结果

研究问题

• RQ1 在4维具有边界的流形上，共振 $Q$-曲率问题在边界上具有零 $T$-曲率与平均曲率时，其解存在的拓扑条件是什么？
• RQ2 如何将莫尔斯理论推广至由四阶共形曲率方程产生的非紧变分问题？
• RQ3 边界加权质心在描述 $Q$-曲率泛函下水平集的拓扑结构中起什么作用？
• RQ4 无穷远处的临界点如何导致泛函下水平集之间拓扑差异？
• RQ5 边界加权质心空间的欧拉示性数与 $Q$-曲率问题可解性之间的确切关系是什么？

主要发现

• 本文建立了共振 $Q$-曲率问题解存在的庞加莱-霍普夫型判据，将边界加权质心空间的拓扑与可解性联系起来。
• 计算了边界加权质心空间 $B_k^\partial(M)$ 的欧拉示性数，并证明其是莫尔斯理论分析中的关键不变量。
• 通过谱序列分析了 $B_k^\partial(M)$ 的同调，其中商空间 $\overline{B}_q^p$ 在滤子结构中起核心作用。
• 推导出梯度与能量的显式展开，表明泛函在集中参数 $\lambda_j$ 与位置 $a_j$ 方向上的梯度依赖于权函数 $\mathcal{F}_j^A$ 的法向导数及涉及 $\tau_j$ 的校正项。
• 分析表明，无穷远处临界点的莫尔斯指标由 $B_k^\partial(M)$ 的拓扑决定，特别是通过欧拉示性数与同调群。
• 解的存在性与 $B_k^\partial(M)$ 的同调非平凡性相关联，本文在该空间的拓扑条件成立时证明了解的存在性。