[論文レビュー] Linearized theory for entire solutions of a singular Liouvillle equation

Manuel del Pino, Pierpaolo Esposito+1 more|arXiv (Cornell University)|Jun 29, 2010

Advanced Mathematical Modeling in Engineering参考文献 1被引用数 5

ひとこと要約

本稿は、重み $|z|^{2N}$ を持つ特異的リーマン面方程式の全平面で定義された有限エネルギー解に対する線形化作用素の核構造を確立する。漸近的解析と角変数におけるフーリエ型展開を用いて、有界解が $\frac{1-|z^{N+1}-c|^2}{1+|z^{N+1}-c|^2}$、$\frac{\operatorname{Re}(z^{N+1}-c)}{1+|z^{N+1}-c|^2}$、$\frac{\operatorname{Im}(z^{N+1}-c)}{1+|z^{N+1}-c|^2}$ を含む三つの明示的関数で張られることが証明され、$N=0$ の既知の結果が一般の $N\in\mathbb{N}$ に拡張される。

ABSTRACT

We discuss invertibility properties for entire finite-energy solutions of the regularized version of a singular Liouvillle equation.

研究の動機と目的

• 重み $|z|^{2N}$ を持つ特異的リーマン面方程式の全平面で定義された有限エネルギー解に関連する線形化作用素の核を同定すること。
• 角モードにおける漸近的解析を用いて、既知の $N=0$ の場合を一般の $N\in\mathbb{N}$ に拡張すること。
• 線形化方程式のすべての有界解が、$z^{N+1}-c$ を含む三つの明示的実数値関数で張られることを証明すること。
• スペクトル的および正則性的議論を用いて、$L^\infty(\mathbb{R}^2)$ における線形化作用素の可逆性を確立すること。

提案手法

• 導関数に $N$ 階の零点を持つ正則関数と特異的リーマン面方程式の解とを結ぶリーマン面の公式の使用。
• 関数 $f(z) = z^{N+1}(1+\tau z^k) - c$ の摂動を用いた一パラメータ族の解 $U_{\tau,k}$ の構成。
• Jacobi 場 $\phi_k = \partial_\tau U_{\tau,k}|_{\tau=0}$ を線形化作用素 $L(\phi) = \Delta\phi + \frac{8(N+1)^2|z|^{2N}}{(1+|z^{N+1}-c|^2)^2}\phi = 0$ の解として導出。
• 小 $\rho$ および $|z|$ が大きい場合における $\phi_k$ の角フーリエモードにおける漸近的展開を行い、標準的三角関数基底に収束することを示す。
• 部分積分および $L^2$-直交性の応用により、$\phi_0$ および $\phi_k^i$ ($k\geq1$, $i=1,2$) の線形包が、小 $\rho$ における $L^2(\partial B_\rho(0))$ で稠密であることを示す。
• 正則性理論および強い最大原理を用いて、境界球面上での点ごとの等式を全平面に拡張し、核の完全な表現を証明する。

実験結果

リサーチクエスチョン

• RQ1 重み $|z|^{2N}$ を持つ特異的リーマン面方程式の全平面で定義された有限エネルギー解に対する線形化作用素 $L$ の核の構造は何か？
• RQ2 線形化方程式の解は $|z|\to\infty$ においてどのように漸近的に振る舞うか？
• RQ3 核が有限個の明示的関数で張られるか。もしそうならば、どの関数か？
• RQ4 既知の $N=0$ の場合から $N$ が増加するに従い、核の構造はどのように変化するか？
• RQ5 $L^\infty(\mathbb{R}^2)$ において線形化作用素は可逆か？また、角フーリエモードはこの可逆性にどのように寄与するか？

主な発見

• 線形化作用素 $L$ の $L^\infty(\mathbb{R}^2)$ における核は、正確に三つの関数 $\frac{1-|z^{N+1}-c|^2}{1+|z^{N+1}-c|^2}$、$\frac{\operatorname{Re}(z^{N+1}-c)}{1+|z^{N+1}-c|^2}$、$\frac{\operatorname{Im}(z^{N+1}-c)}{1+|z^{N+1}-c|^2}$ の実数線形包に一致する。
• $|z|\to\infty$ のとき、展開における有界成分は $k=0$ および $k=N+1$ に限られ、他のすべてのフーリエ係数は消える。
• 無限遠における $\phi_k(z)$ の漸近的挙動は、$k \neq N+1$ に対して $\phi_k(z) \sim |z|^k \cos(k\theta)$ または $\sin(k\theta)$ となるが、これは係数が消えない限り発散する。
• $\phi_k^i$ との内積へのフーリエ係数の写像 $T$ は、$\|T - \mathrm{Id}\| \leq C\rho^{N+1}$ のため、小 $\rho$ で可逆であり、線形包の完全性が保証される。
• 解 $\phi$ は三つの基底関数の線形結合として一意に表現され、係数は $L^2$-直交性および無限遠での有界性によって定まる。
• 最終的な $\phi$ の表現は、$c = c_1 + i c_2$ に依存する三つの基底関数の実係数線形結合であり、核が3次元であることを確認する。