[論文レビュー] Fractional Harmonic Maps into Manifolds in odd dimension n>1

Francesca Da Lio|arXiv (Cornell University)|Nov 1, 2013

Advanced Mathematical Physics Problems参考文献 10被引用数 12

ひとこと要約

本稿は、$n > 1$ が奇数であるとき、$\mathbb{R}^n$ からコンパクトな滑らかな多様体 $N \subset \mathbb{R}^m$ への $n/2$-調和写像の局所 Hölder 継続性および高次の正則性を確立する。Euler-Lagrange 方程式から導かれる非局所的シュレーディンガー型系（反対称ポテンシャル付き）を分析し、Lorentz 空間における鋭い共対推移推移推定を証明することで、著者らはすべての $p \geq 1$ に対して $\Delta^{n/4}u \in L^p_{\text{loc}}$ を示し、これにより $u \in C^{0,\alpha}_{\text{loc}}(\mathbb{R}^n, N)$ が得られる。さらにブートストラップにより $C^\infty$ 正則性が得られる。

ABSTRACT

ISSN:0944-2669

研究の動機と目的

• 奇数 $n > 1$ に対して、$\mathbb{R}^m$ のコンパクト部分多様体への $n/2$-調和写像の正則性を確立すること。
• $n=1$ の場合に既に知られていた $1/2$-調和写像の正則性理論を、より高い奇数次元へ拡張すること。
• $n/2$-調和写像を特徴付ける非局所的シュレーディンガー系（反対称ポテンシャル付き）を導出し、その解析を行うこと。
• 非局所作用素 $T_n$ に対して、Lorentz 空間 $L^{(2,1)}$ および $\dot{W}^{-n/2,(2,1)}$ における鋭い共対推定を証明すること。
• 非局所系の次亜臨界性を確立し、$C^\infty$ 正則性へのブートストラップ議論を可能にすること。

提案手法

• Euler-Lagrange 方程式を $( -\Delta )^{n/2} u \land \nu(u) = 0$ として $\mathcal{D}'(\mathbb{R}^n)$ 内で導出する。
• $v = (P_T(-\Delta)^{n/4}u, P_N(-\Delta)^{n/4}u)$ に作用する反対称ポテンシャル $\Omega \in L^2(\mathbb{R}^n, \mathfrak{so}(2m))$ を持つ非局所的シュレーディンガー系に再定式化する。
• 射影と分数階ラプラシアンの相互作用から生じる非線形性を捉えるために、共対作用素 $T_n(Q, u)$ を導入する。
• 一般化された Hölder 不等式および Lorentz 空間の埋め込みを用いて、$\|T_n^*(Q, u)\|_{\dot{W}^{-n/2,(2,1)}} \lesssim \|Q\|_{\dot{H}^{n/2}} \|u\|_{\dot{H}^{n/2}}$ という主要な推定を証明する。
• Lorentz 空間の理論と補間を用いて、系における剰余項 $\tilde{\Omega}_1$ および $\tilde{\Omega}_2$ を制御する。
• 摂動論法と次亜臨界性の結果（定理 1.5）を適用し、$\Delta^{n/4}u$ の $L^p_{\text{loc}}$ 可積分性を導出し、Hölder 継続性に至る。

実験結果

リサーチクエスチョン

• RQ1 $1/2$-調和写像の正則性理論を、奇数次元 $n > 1$ における $n/2$-調和写像へ拡張可能か？
• RQ2 Euler-Lagrange 方程式の構造は何か？ そして、それを解ける非局所系に再定式化できるか？
• RQ3 非局所フレームワークにおいて、多様体制約から生じる非線形性を制御するために必要な共対推定は何か？
• RQ4 反対称ポテンシャル付き非局所的シュレーディンガー系は、奇数次元で次亜臨界的か？ これによりブートストラップによる正則性が可能か？
• RQ5 $\Delta^{n/4}u$ の $L^p_{\text{loc}}$ 可積分性を確立し、$u$ の局所 Hölder 継続性を示せるか？

主な発見

• 臨界な $n/2$-調和写像 $u \in \dot{H}^{n/2}(\mathbb{R}^n, N)$ は、すべての $p \geq 1$ に対して $\Delta^{n/4}u \in L^p_{\text{loc}}(\mathbb{R}^n)$ を満たし、これによりある $\alpha \in (0,1)$ に対して $u \in C^{0,\alpha}_{\text{loc}}(\mathbb{R}^n, N)$ が成り立つ。
• 非局所的シュレーディンガー系 $(-\Delta)^{n/4}v = \Omega v + \tilde{\Omega}_1 v + \tilde{\Omega}_2$ が導出され、$\tilde{\Omega}_1 \in L^{(2,1)}$ および $\tilde{\Omega}_2 \in \dot{W}^{-n/2,(2,\infty)}$ である。
• 共対推定 $\|T_n^*(Q, u)\|_{\dot{W}^{-n/2,(2,1)}} \lesssim \|Q\|_{\dot{H}^{n/2}} \|u\|_{\dot{H}^{n/2}}$ が証明され、これは鋭く、$n=1$ の場合から高次元の奇数次元へ拡張されたものである。
• 剰余項 $\tilde{\Omega}_1$ および $\tilde{\Omega}_2$ は、Lorentz 空間における正則性と補償を用いて制御され、$T_n^*$ の双対推定に依存する。
• 系の次亜臨界性（定理 1.5）により、$\Delta^{n/4}u$ の $L^p_{\text{loc}}$ 可積分性が保証され、これが Hölder 継続性の鍵となる。
• 楕円的ブートストラップ議論により、$u$ の $C^\infty$ 正則性が得られ、すなわち $u \in C^\infty(\mathbb{R}^n, N)$ である。