[論文レビュー] Homogeneous Solutions of Fully Nonlinear Elliptic Equations in Four Dimensions

Nikolaï Nadirashvili, Serge Vlăduţ|arXiv (Cornell University)|Jan 4, 2012

Nonlinear Partial Differential Equations参考文献 21被引用数 9

ひとこと要約

本稿は、4次元において、一様強楕円型完全非線形楕円型方程式に対して、非自明な同次的2次解が存在しないことを証明している。任意の such な実解析的解は、二次多項式に限られる。証明は、球面の微分幾何学、ヘッシアン行列から導かれる3次形式、および解析的集合における位相的議論を用いて、与えられた対称性および楕円性の制約下では非退化な3次形式が存在し得ないことを示す。

ABSTRACT

We prove that there is no nontrivial homogeneous order 2 solutions of fully nonlinear uniformly elliptic equations in dimension 4.

研究の動機と目的

• 4次元における一様強楕円型完全非線形方程式に対して、非自明な同次的2次解が存在するか否かという未解決問題を解消すること。
• 特に低次元における完全非線形楕円型偏微分方程式の特異解の理解を拡張すること。
• 従来の研究で示された最小次元（5、12、24）とのギャップを埋めること。
• 4次元において、1次関数に対するアレクサンドロフの定理の類似が2次関数に拡張されないが、非二次的解が存在しないことを示すこと。

提案手法

• \mathbb{R}^4 \setminus \{0\} 上の同次的2次関数 u を分析し、u が実解析的でかつ一様強楕円型 F に対して F(D^2u) = 0 を満たすものとする。
• ヘッシアン行列 D^2u を3次元球面 \mathbb{S}^3 に制限して得られる3次形式 \mathfrak{C}^y の対称性と解析性を検討する。
• A_y = \{ (a,b) \in \mathbb{S}^3 \times \mathbb{S}^3 \mid a \times b \subset A_y \} という集合の構造を用いて、可能な次元および射影を分類する。
• 制限関数 v' に最大値原理を適用し、勾配が非一致点で最大値を取る場合、関数は線形でなければならないことを示す。
• 実解析的集合における位相的および解析的議論を用いる：連結成分は有限個、勾配のランクが低い場合に3次形式が消える。
• 3次形式 \mathfrak{C}^y が \mathbb{S}^3 の2次元部分集合上で微分が退化している場合、その形式は恒等的に消えることを示すことで、問題を帰着させる。

実験結果

リサーチクエスチョン

• RQ1 4次元における一様強楕円型完全非線形楕円型方程式に対して、非自明な同次的2次解が存在するか？
• RQ2 1次同次的解に対する古典的アレクサンドロフの定理が、4次元において2次に拡張可能か？
• RQ3 4次元がこのような解が存在可能な最小次元であるか、それとも除外されるか？
• RQ4 一様強楕円性および実解析性が、同次的2次解のヘッシアンの構造にどのような制約を課えるか？
• RQ5 ヘッシアンから導かれる3次形式が対称性および解析性の制約下で消える場合、4次元において非二次的同次的解が存在可能か？

主な発見

• \mathbb{R}^4 \setminus \{0\} において、一様強楕円型完全非線形楕円型方程式に対して、非自明な同次的2次実解析的解は存在しない。
• 任意の such 解は二次多項式に限られ、4次元では特異的または滑らかでない同次的解は存在しない。
• ヘッシアンの関連する3次形式 \mathfrak{C}^y は、対称性および解析性の制約により、球面 \mathbb{S}^3 上で恒等的に消える。
• a \times b \subset A_y を満たすペア (a,b) の集合 A_y は有限個の連結成分を持ち、各成分においてヘッシアンは定数である。
• \mathbb{S}^3 の3次元部分集合上で3次形式の勾配のランクが2以下であるとき、関数 u_e は線形でなければならない。これは u が二次でない限り矛盾を引き起こす。
• 本証明により、5、12、24次元における既知の例と4次元におけるその欠如とのギャップが埋められ、非二次的解が存在可能な最小次元は5であることが示された。