[論文レビュー] A fully nonlinear version of the Yamabe problem on locally conformally flat manifolds with umbilic boundary

Yanyan Li, Luc Nguyen|ArXiv.org|Nov 17, 2009

Nonlinear Partial Differential Equations参考文献 49被引用数 3

ひとこと要約

この論文は、コンpactで局所的に共形平坦なリーマン多様体に、縁が脐型である場合に、完全非線形ヤマベ型問題の解の存在を示している。これは、シュタウテンテンソルの完全非線形対称関数 $f$ によって定義される定数 $k$-曲率を持つ共形計量の存在を、錐 $\Gamma$ と関数 $f$ に対する自然な幾何学的・解析的条件のもとで示すものである。主な結果は、位相的次数理論と事前推定を用いた、関連する完全非線形偏微分方程式系の可解性であり、古典的ヤマベ問題を完全非線形および境界付き設定に拡張するものである。

ABSTRACT

In this paper we establish existence and compactness of solutions to a general fully nonlinear version of the Yamabe problem on locally conformally flat Riemannian manifolds with umbilic boundary.

研究の動機と目的

• 境界付き多様体における古典的ヤマベ問題を、完全非線形設定に拡張すること。特に、局所的に共形平坦で、境界が脐型である多様体に対して。
• シュタウテンテンソルの完全非線形対称関数 $f$ によって定義される定数 $k$-曲率を持つ共形計量の存在を、$f$ と錐 $\Gamma$ に対する自然な条件のもとで確立すること。
• 位相的次数理論と事前推定を用いて、ノイマン型境界条件を伴う関連する完全非線形偏微分方程式系の可解性を証明すること。

提案手法

• シュタウテンテンソルと、凸錐 $\Gamma$ 上で定義された対称関数 $f$ を含む完全非線形ヤマベ問題を、偏微分方程式系として定式化する。ここで $\Gamma$ は特定の正の性質と凹性条件を満たす。
• レーラ・シュアウダー次数理論を用いて、元の作用素とより単純な作用素との間のホモトピーを構築することで、解の存在を証明する。
• 最大値原理と傾斜性の議論を用いて、解のための事前 $C^{4,\alpha}$ 推定を確立し、解集合のコンパクト性を保証する。
• 陰関数定理と連続性法を用いて、次数が非ゼロであることを示し、解の存在を示す。
• 関数 $f$ が一次同次かつ凹であることを用いて、必要な楕円型性と境界条件が満たされることを保証する。
• 一般的な幾何学的仮定のもとで解の存在を保証するため、錐 $\Gamma$ の滑らかで正の定義関数を構成する。

実験結果

リサーチクエスチョン

• RQ1 シュタウテンテンソルの完全非線形対称関数 $f$ を用いて曲率が指定される場合、局所的に共形平坦な多様体に脐型境界を持つ完全非線形ヤマベ問題は解をもつか。
• RQ2 正の性質、凹性、同次性を含む、$f$ と $\Gamma$ に対する自然な幾何学的・解析的条件のもとで、解の存在は確立可能か。
• RQ3 ノイマン型境界条件を伴う関連する偏微分方程式系の可解性を保証するために、錐 $\Gamma$ と関数 $f$ が果たす役割は何か。
• RQ4 事前 $L^\infty$ 界が存在しない状況において、ホモトピーとコンパクト性の議論を用いた次数論的アプローチが、解の存在をどのように保証するか。
• RQ5 古典的ヤマベ問題の可解性は、境界付き多様体、特に境界が脐型で多様体が局所的に共形平坦である場合に、完全非線形設定へと拡張可能か。

主な発見

• 論文は、$f$ が滑らかで正、各変数に関して厳密に増加し、$\partial\Gamma$ で消失し、$\sum \partial f / \partial \lambda_k \geq \delta > 0$ を満たすという仮定の下で、コンパクトで局所的に共形平坦なリーマン多様体に脐型境界を持つ完全非線形ヤマベ問題の解の存在を証明している。
• 条件 (3)–(9) を満たす任意の $f$ に対して解が存在し、特に $f = \sigma_k^{1/k}$ が $\Gamma_k$ 上で成り立つ場合（これは $k$-曲率問題に対応する）を含む。
• 関連する非線形作用素のレーラ・シュアウダー次数が非ゼロであり、元の問題とより単純な問題を結ぶホモトピーの議論により、少なくとも1つの解が存在することが示される。
• 最大値原理と傾斜性の議論を用いて、事前 $C^{4,\alpha}$ 推定が確立され、解集合のコンパクト性と次数の適切な定義が保証される。
• 次数は $(-1)^{\dim E^{-}(A_1)}$ として計算され、ここで $A_1$ は線形化作用素である。この符号は非ゼロであり、解の存在が確認される。
• 結果として、古典的ヤマベ問題が完全非線形および境界付き設定に拡張され、自然な幾何学的・解析的条件下で完全な存在理論が確立される。