[論文レビュー] A class of curvature type equations

Pengfei Guan, Xiangwen Zhang|arXiv (Cornell University)|Sep 9, 2019

Geometric Analysis and Curvature Flows参考文献 40被引用数 16

ひとこと要約

本稿は、球面 $\mathbb{S}^n$ 上の完全非線形曲率方程式の一般クラスに対して、$\mathcal{G}$-不変で適切な解の存在を確立し、Christoffel-Minkowski問題およびヘシアン型問題を拡張する。不変性および非退化性の仮定の下で度数論と事前推定を用い、データに依存する一様な境界を有する $C^{m+2,\gamma}$ 型の正則性を証明するが、非斉次方程式に対する定数ランク定理が欠落しているため、凸性は完全に回復されない。

ABSTRACT

In this paper, we study the solvability of a general class of fully nonlinear curvature equations, which can be viewed as generalizations of the equations for Christoffel-Minkowski problem in convex geometry. We will also study the Dirichlet problem of the corresponding degenerate equations as an extension of the equations studied by Krylov.

研究の動機と目的

• 球面 $\mathbb{S}^n$ 上で、Christoffel-Minkowski問題およびヘシアン問題を一般化する完全非線形曲率方程式の一般クラスの可解性を確立すること。
• Krylovの退化方程式に関する結果を、このクラスの境界値問題を分析することによって拡張すること。
• 特に自己同型群不変性の役割に注目し、対称性および非退化性条件の下で適切な解の存在を調査すること。
• 非斉次曲率方程式に対する定数ランク定理の欠落が凸性回復のギャップを生じさせることを特定し、その影響を解明すること。

提案手法

• 固定点を持たない自己同型群 $\mathcal{G}$ を持つ $\mathbb{S}^n$ 上で、$\mathcal{G}$-不変性を用いた度数論により解の存在を証明する。
• 事前推定を適用し、障害関数 $\Psi$ を用いた $C^2$ 推定と、ヘシアン構造を制御するためのキーレムマを含む。
• 第二階微分を制御するためのテスト関数 $\Phi = \sum G^{ii} \lambda_i$ を用い、初等対称関数 $\sigma_k$ の構造を活用する。
• $\|\alpha\|_{C^{m,1}}$、$\|\alpha_\ell\|_{C^{m,1}}$、および $\inf \alpha_\ell$ に依存する一様な $C^{m+2,\gamma}$ 界を導出することで、正則性を保証する。
• 対称2次テンソル $\chi(x)$ を含む方程式へ枠組みを一般化し、$\tilde{H} = \mathrm{tr}\chi + H$ を組み込むことで $C^2$ 推定を修正する。
• 3次元特異ラグランジュ型方程式の特殊ケースを、$\tilde{\lambda} = \lambda + \tilde{c}(x)I_n$ を用いたヘシアンのシフトにより主形式に還元し、$\alpha(x)$ の符号制約を緩和可能にする。

実験結果

リサーチクエスチョン

• RQ1 一般曲率方程式 $\sigma_k(W_u) + \alpha(x)\sigma_{k-1}(W_u) = \sum_{\ell=0}^{k-2} \alpha_\ell(x)\sigma_\ell(W_u)$ が $\mathbb{S}^n$ 上で解をもつための条件は何か？
• RQ2 特に特異ラグランジュ幾何から生じる場合に、$\alpha(x) \geq 0$ を要求しないでも解の存在を確立できるか？
• RQ3 完全非線形曲率方程式の度数論による存在証明において、群不変性が果たす役割は何か？
• RQ4 なぜこの種の非斉次方程式に対して定数ランク定理が利用できないのか、そしてそのことが解の凸性に与える影響は何か？
• RQ5 初等対称関数および曲率作用素の構造をどのように活用して、一様な $C^{m+2,\gamma}$ 推定を導出できるか？

主な発見

• 本稿は、提示された不変性および非退化性条件の下で、曲率方程式に対する $\mathcal{G}$-不変解 $u \in C^{m+2,\gamma}(\mathbb{S}^n)$ の存在を証明する。
• 一様な $C^{m+2,\gamma}$ 界が確立される：$\|u\|_{C^{m+2,\gamma}} \leq C$ であり、$C$ は $\inf \alpha_\ell$、$\|\alpha_\ell\|_{C^{m,1}}$、および $\|\alpha\|_{C^{m,1}}$ のみに依存する。
• 解は $\lambda(W_u) \in \Gamma_{k-1}$ を満たす意味で適切であるが、$\Gamma_n$ に属するとは限らないため、凸性は保証されない。
• 非退化性仮定 $\alpha_\ell(x) > 0$ により、固有値が $\partial\Gamma_{k-1}$ に近づくのを防ぎ、右辺が有界に保たれることを保証する。
• 背景テンソル $\chi(x)$ を含む方程式に対しても、修正されたテスト関数を用いることで、$C^2$ 推定の枠組みが保存される。
• 3次元特異ラグランジュ型方程式では、ヘシアンの変換により $\alpha(x)$ の符号制約を緩和可能であり、$\gamma(x) \leq 0$ の場合でも可解性が保証される。