[論文レビュー] Partial analyticity and nodal sets for nonlinear elliptic systems

Herbert Koch, Nikolaï Nadirashvili|arXiv (Cornell University)|Jun 20, 2015

Navier-Stokes equation solutions参考文献 3被引用数 7

ひとこと要約

本稿では、空間変数の部分集合において解析的である非線形楕円型系の解について、部分的解析性を確立する。解がその変数において正則に拡張可能であることを、小さな非線形性と正則性の条件下で証明する。主な結果は、解が一様に部分的解析的であることであり、2次元のオイラー流線および表面張力有無の水波への応用を含む。

ABSTRACT

We study partial analyticity of solutions to elliptic systems and analyticity of level sets of solutions to nonlinear elliptic systems. We consider several applications, including analyticity of flow lines for bounded stationary solutions to the 2-d Euler equation, and analyticity of water waves with and without surface tension.

研究の動機と目的

• 楕円型系の古典的解析性結果を、空間変数の部分集合でのみ解析的である場合に一般化すること。
• 非線形楕円型系の解が、全系が解析的でない場合でも空間変数の一部のグループにおいて正則である条件を確立すること。
• 部分的解析性の結果を、幾何的・物理的問題に応用すること。特に、2次元オイラー方程式の流れ線および水波を対象とする。
• 適切な正則性および小刻みさの条件下で、解のノード集合および等高面が実解析的であることを証明すること。
• 境界値問題、特に表面張力付き水波の問題に対して、精密な正則性推定を用いて理論を拡張すること。

提案手法

• 部分的解析性の概念を導入：解は空間変数の部分集合 $x' \in \mathbb{R}^{n_1}$ において正則であるが、残りの $x'' \in \mathbb{R}^{n_2}$ への依存性は $C^{0,1}$ に限られる。
• 定数係数系の摂動枠組みを用い、非線形項の $C^{0,1}$ および $L^\infty$ ノルムにおける小ささを仮定する。
• 複素化技術を適用：$F^j_k$ および $f_k$ が $x'$ に関して正則であることを利用し、解を $x'$ の実領域の複素近傍に拡張する。
• 事前推定およびコーシー積分公式を用いて、正則拡張の存在および一意性を確立する。
• デ・ジョルジ–ナッシュ–モーザーの Hölder 正則性を用い、微分の $C^s$ 正則性を導出し、さらなる解析的拡張を可能にする。
• 境界正則性理論（補題 6.3 を用いて）を適用し、表面張力付き水波問題にまで結果を拡張。水平変数における正則依存性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非線形楕円型系の解が、全系が完全に解析的でない場合でも、空間変数の部分集合において解析的である条件は何か？
• RQ2 非定数係数系であっても、定数係数系に近い場合には、部分的解析性の結果を拡張できるか？
• RQ3 部分的解析性は、解のノード集合および等高面の構造にどのように影響を与えるか？
• RQ4 この理論は、2次元オイラー流や表面張力付き水波といった物理系に応用可能か？
• RQ5 境界条件および表面張力は、解の部分的解析性を保つ役割を果たすか？

主な発見

• 空間変数 $x'$ の部分集合において解析的である非線形楕円型系の解は、一様に部分的解析的であり、$\delta(1-|x|^2)^3$ のサイズの複素近傍に正則に拡張可能である。
• 解 $u$ は複素領域に正則拡張 $u^\mathbb{C}$ を持ち、$\|u^\mathbb{C} - (\bar{u} + b(x + iy'))\|_{\sup} < 2\varepsilon$ を満たす。
• 部分的解析性により、微分の定量的評価が得られる：$|\partial^\alpha D_x u(x)| \leq c|\alpha|! R^{-|\alpha|}$ で、$R = \delta(1-|x|^2)^3/2$。
• 2次元オイラー方程式では、有界な定常解の流れ線が、速度場の部分的解析性により実解析的であることが示される。
• 表面張力有無にかかわらず、水波は水平変数において実解析的である。これは、速度場が所定の小ささおよび正則性条件を満たすからである。
• 表面張力付き水波の境界値問題においても、部分的解析性が保たれる。補題 6.3 を用い、法線微分の $C^s_*$ 正則性と解の正則拡張が保証される。