[論文レビュー] 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次元リーマン多様体上に、内部で与えられた$Q$-曲率を実現し、境界で$T$-曲率と平均曲率を零とする共形計量の存在を研究する。臨界点の無限大におけるMorse理論の非コンパクトな変分的設定への拡張と、境界重み付き重心の分析を通じて、共振$Q$-曲率問題の可解性に関するPoincaré-Hopf型の基準を確立する。

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-曲率方程式に関連する変分問題におけるコンパクト性の欠如を克服するため、無限大における臨界点の分析を精緻化する。
• 境界重み付き重心空間を用いてEuler-Lagrange汎関数の下水平集合の位相を特徴づけ、Morse理論的解析を可能にする。
• 境界重み付き重心空間の位相に基づいて、共振$Q$-曲率問題の可解性に関するPoincaré-Hopf型の基準を導出する。

提案手法

• Bahriの無限大における臨界点の枠組みを用い、Q-曲率方程式に関連する非コンパクトな変分問題における発散挙動を解析する。
• ブロー・アップ解析を実施し、内部および境界点に集中する解について、Harnack型不等式とバブル分解を用いて精密な漸近的推定を得る。
• 有限次元還元を用いて、無限大付近に擬勾配ベクトル場を構成し、エネルギー集中の極限における汎関数の位相を研究可能にする。
• 境界重み付き重心空間$B_k^\partial(M)$を導入し、そのホモロジー群とオイラー特徴標数を計算することで、極めて負の下水平集合の位相を捉える。
• スペクトル系列と代数的位相的技法を用い、$B_k^\partial(M)$の位相と無限大における臨界点のモース指数との関係を関係づける。
• 無限大近傍におけるEuler-Lagrange汎関数およびその勾配の展開を用い、質量$\alpha_i$、集中パラメータ$\lambda_i$、負のパラメータ$\beta_r$を含む明示的な誤差項を導出する。

実験結果

リサーチクエスチョン

• RQ1 境界をもつ4次元多様体上の共振$Q$-曲率問題が、境界で$T$-曲率と平均曲率が零となる解を有するための位相的条件は何か？
• RQ2 4次元共形曲率方程式に由来する非コンパクトな変分問題に対して、Morse理論をどのように拡張できるか？
• RQ3 境界重み付き重心は、$Q$-曲率汎関数の下水平集合の位相を記述する上で果たす役割は何か？
• RQ4 無限大における臨界点は、汎関数の下水平集合間の位相的差をどのように規定するか？
• RQ5 境界重み付き重心空間のオイラー特徴標数と$Q$-曲率問題の可解性との明確な関係は何か？

主な発見

• 本稿は、境界重み付き重心空間の位相と可解性を結びつけるPoincaré-Hopf型の基準を確立し、解の存在を示す。
• 境界重み付き重心空間$B_k^\partial(M)$のオイラー特徴標数が計算され、Morse理論的解析における重要な不変量であることが示された。
• $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)$のホモロジー群の非自明性と関連づけられ、本稿ではこの空間の位相的条件のもとで解の存在結果を証明した。