[論文レビュー] The Obata equation with Robin boundary condition

Xuezhang Chen, Mijia Lai+1 more|arXiv (Cornell University)|Jan 8, 2019

Nonlinear Partial Differential Equations参考文献 8被引用数 4

ひとこと要約

本稿は、リーマン多様体上のロビン境界条件を満たすオバタ方程式を考察し、ロビンパラメータ $ a $ の符号に応じて、定数でない解が球面領域だけでなく、他のコンパクト多様体に対しても存在することを証明する。主な結果として、$ a > 0 $ の場合、多様体は球面領域に等長であることが示される剛性定理を確立し、境界成分は関数の臨界点構造および次元に応じて一般化されたクラッファーリングトーラスまたは球面に等長である。

ABSTRACT

We study the Obata equation with Robin boundary condition $\frac{\partial f}{\partial ν}+af=0$ on manifolds with boundary, where $a \in \mathbb{R}\setminus\{0\}$. Dirichlet and Neumann boundary conditions were previously studied by Reilly \cite{R}, Escobar \cite{Es} and Xia \cite{X}. Compared with their results, the sign of $a$ plays an important role here. The new discovery shows besides spherical domains, there are other manifolds for both $a>0$ and $a<0$. We also consider the Obata equation with non-vanishing Neumann condition $\frac{\partial f}{\partial ν}=1$.

研究の動機と目的

• ロビン境界条件の下でのオバタの剛性定理を拡張し、従来のディリクレおよびノイマン条件への結果を一般化すること。
• ロビン境界条件の下で非定数解を有するコンパクトリーマン多様体のクラスを特定すること。
• ロビンパラメータ $ a $ が非ゼロである場合の境界および多様体の幾何構造を特徴づけること、特に $ a > 0 $ と $ a < 0 $ を区別すること。
• 解 $ f $ の境界上における臨界点の数と多様体の位相的構造（被覆写像や接合構成）との関係を確立すること。
• ロビン境界条件におけるリヒネロヴィッチ型固有値推定値の等号成立の場合を、剛性結果を用いて特徴づけること。

提案手法

• ロビン条件 $ \frac{\partial f}{\partial \nu} + a f = 0 $（$ a \neq 0 $）の下で、境界を有するコンパクト多様体上でのオバタ方程式 $ \nabla^2 f + f g = 0 $ を分析する。
• 境界近傍での正規測地線座標を用いて、計量および関数 $ f $ の漸近展開を導出し、高次項を再帰的に表現する。
• 径方向変数 $ r $ における形式的べき級数展開の手法を適用し、初期データ $ f_0, f_1 $ および曲率項によって定まる係数を用いる。
• 関数のテイラー係数および計量成分 $ \bar{g}_k $ の再帰的方程式を、接続係数および曲率テンソルの構造を用いて導出する。
• 境界上でのディリクレおよびノイマンデータが一致する二つの多様体を滑らかに接合するためのグリーニング定理を確立し、境界データが同一であれば、一つの解が接合可能であれば、滑らかに接合可能であることを示す。
• 非ゼロのノイマンデータが稠密部分集合上で与えられることで、漸近的展開の一意性が保証され、滑らかな接合が可能になる。

実験結果

リサーチクエスチョン

• RQ1 どのコンパクトリーマン多様体がロビン境界条件の下でオバタ方程式の非定数解を有するか？
• RQ2 ロビンパラメータ $ a $ の符号が、多様体およびその境界の可能な幾何構造にどのように影響するか？
• RQ3 ロビン境界条件におけるリヒネロヴィッチ型固有値推定値の等号成立は、オバタ方程式を用いて特徴づけられるか？
• RQ4 解 $ f $ の内部最大点の数が、多様体の被覆構造に果たす役割は何か？
• RQ5 境界上でのディリクレおよびノイマンデータが一致する二つの多様体が、境界に沿っていつ滑らかに接合可能か？

主な発見

• $ a > 0 $ の場合、非定数解を有する任意のコンパクト多様体 $ (M,g) $ は、定数断面曲率 $ 1 $ を持つ、すなわち $ \mathrm{sec}_g \equiv 1 $ である。
• $ f|_{\partial M} $ が定数であれば、境界は連結で、$ T^{n-1}(\theta) $ に等長であり、$ (M,g) $ は $ \mathbb{S}^n $ 内の半径 $ \pi/2 - \theta $ の測地的球に等長である。
• $ f|_{\partial M} $ が定数でなく、すべての境界成分が $ m(S) < n-2 $ を満たす場合、$ (M,g) $ は $ \mathbb{S}^n \setminus \bigsqcup_{i=1}^l D^{m_i}(\theta) $ に等長であり、$ m_i < n-2 $ である。
• ある境界成分が $ m(S) = n-2 $ を満たす場合、多様体は $ \mathbb{S}^n \setminus D^{n-2}(\theta) $ の $ k $ 重等長被覆である。ここで $ k $ は $ f $ の内部最大点の数に等しい。
• $ n = 2 $ の場合、各境界曲線は、一定の測地的曲率 $ -\cot\theta $ を持ち、長さは $ 2\pi k \sin\theta $ である。ここで $ k $ はその成分上での $ f $ の最大点の数である。
• ロビン境界条件におけるレン＝シュウのリヒネロヴィッチ型固有値推定値の等号成立は、剛性結果によって特徴づけられる：等号が成り立つのは、$ (M,g) $ が上記の球面領域に等長である場合に限る。