[論文レビュー] Sub-criticality of non-local Schrödinger systems with antisymmetric potentials and applications to half-harmonic maps

Francesca Da Lio, Tristan Rivière|arXiv (Cornell University)|Dec 11, 2010

Spectral Theory in Mathematical Physics参考文献 8被引用数 33

ひとこと要約

本稿は、1次元における非局所シュレーディンガー系の反対称ポテンシャルに対して、臨界的でない正則性を確立し、弱い $L^2$ 解がすべての $p < \infty$ に対して局所的に $L^p$ に属することを証明する。著者らは、新規の非局所ゲージ条件を用いて特別なゲージ変換を構成し、ベソフ空間およびハーディー空間における交換子評価を適用することで、改善された可積分性を導出し、最終的に境界のない $C^2$ コンactな多様体への半ハーモニック写像の $C^{0,\alpha}_{\text{loc}}$ 正則性を証明する。

ABSTRACT

We consider nonlocal linear Schrödinger-type critical systems of the type \begin{equation}\label{eqabstr} Δ^{1/4} v=Ω\, v~~~\mbox{in $\R\,.$} \ \end{equation} where $Ω$ is antisymmetric potential in $L^2(\R,so(m))$, $v$ is a ${\R}^m$ valued map and $Ω\, v$ denotes the matrix multiplication. We show that every solution $v\in L^2(\R,\R^m)$ of ec{eqabstr} is in fact in $L^p_{loc}(\R,\R^m)$, for every $2\le p

研究の動機と目的

• 1次元における反対称ポテンシャルを有する非局所シュレーディンガー系の臨界的でない正則性を確立すること。
• 局所系において観察された臨界的でない現象を、分数ラプラシアン $\Delta^{1/4}$ を含む非局所設定に拡張すること。
• 境界のないコンパクトな $C^2$ 多様体への弱い $1/2$-ハーモニック写像の局所 Hölder 正則性を証明すること。
• 反対称ポテンシャル $\Omega \in L^2(\mathbb{R}, \mathfrak{so}(m))$ を最適に統合する、$P \in \dot{H}^{1/2}(\mathbb{R}, SO(m))$ であるゲージ変換を構成すること。
• ベソフ空間およびハーディー空間における交換子評価を発展・適用し、変換後の系における非線形項を制御すること。

提案手法

• 非局所ゲージ条件を導入：$ \mathrm{Asymm}(P^{-1}\Delta^{1/4}P) = \Omega $、局所系で用いられるコーシー・ゲージに代わるものである。
• 小規模な $\varepsilon > 0$ に対して $\|\Omega\|_{L^2} < \varepsilon$ の下で、$\dot{H}^{1/2}$ 上の摂動的議論によりゲージ $P$ を構成し、$P$ が $\dot{H}^{1/2}$ で適切に定義され有界であることを保証する。
• ゲージ変換 $w = Pv$ を適用して、元の系 $\Delta^{1/4}v = \Omega v$ を、$\Delta^{1/4}w = -\mathrm{symm}(\Delta^{1/4}P P^{-1})w + N(P,v)$ という新しい系に変換する。ここで $N$ は双線形交換子項である。
• 周波数局在化と二重分解を用いて、$L^q$ およびハーディー空間 $\mathcal{H}^1$ における双線形交換子 $N(Q,v)$ の評価を行い、リーマン変換の有界性およびベソフ空間の性質に依存する。
• ベソフ空間 $B^{0}_{\infty,\infty}$ および $B^{0}_{1,1}$ における重要な評価を確立し、$\dot{H}^{1/2}(\mathbb{R}) \hookrightarrow BMO(\mathbb{R})$ の埋め込みを用いて、振動項を制御する。
• 作用素 $F^*$ の双対性を活用し、$\|\Delta^{1/4}(Qv) - \Delta^{1/4}\mathcal{R}(\mathcal{R}(Q)v)\|_{\mathcal{H}^1} \lesssim \|Q\|_{L^2}\|v\|_{\dot{H}^{1/2}}$ を評価することで、変換後の系における非線形性を制御する。

実験結果

リサーチクエスチョン

• RQ1 局所シュレーディンガー系における反対称ポテンシャルの臨界的でない正則性現象が、$\Delta^{1/4}$ を含む非局所系へと拡張可能か。
• RQ2 空間 $\mathbb{R}, \mathfrak{so}(m))$ に倣う反対称ポテンシャル $\Omega$ が、$\Delta^{1/4}v = \Omega v$ の解 $v \in L^2(\mathbb{R}, \mathbb{R}^m)$ に対して改善された可積分性を誘発するか。
• RQ3 変換後の系がより良い正則性を示すような、適切なゲージ変換 $P \in \dot{H}^{1/2}(\mathbb{R}, SO(m))$ を構成可能か。
• RQ4 ベソフ空間およびハーディー空間における交換子評価が、ゲージ変換に起因する非線形項の制御に果たす役割は何か。
• RQ5 この非局所ゲージ法を用いて、境界のないコンパクトな $C^2$ 多様体への弱い $1/2$-ハーモニック写像の正則性を確立可能か。

主な発見

• 非局所系 $\Delta^{1/4}v = \Omega v$ の弱解 $v \in L^2(\mathbb{R}, \mathbb{R}^m)$ で、$\Omega \in L^2(\mathbb{R}, \mathfrak{so}(m))$ を満たすものについて、すべての $1 \leq p < \infty$ に対して局所的に $L^p(\mathbb{R}, \mathbb{R}^m)$ に属する。これは、系が $L^2$ において事前に臨界的であるにもかかわらず、臨界的でない振る舞いを示している。
• $\|\Omega\|_{L^2} < \varepsilon$ の下で、$P \in \dot{H}^{1/2}(\mathbb{R}, SO(m))$ であるゲージ変換が存在し、$P^{-1}\Delta^{1/4}P - \Delta^{1/4}P^{-1}P = 2\Omega$ および $\|\Delta^{1/4}P\|_{L^2} \leq C\|\Omega\|_{L^2}$ を満たす。これにより、系がより正則な形に変換可能である。
• 双線形交換子 $N(Q,v) = \Delta^{1/4}(Qv) - Q\Delta^{1/4}v + \Delta^{1/4}Q\,v$ は、$L^2 \times \dot{H}^{1/2}$ から $\mathcal{H}^1$ への有界作用素であり、ノルムは $\|Q\|_{L^2}\|v\|_{\dot{H}^{1/2}}$ で制御可能である。これは正則性の伝播に不可欠である。
• 変換後の系 $\Delta^{1/4}w = -\mathrm{symm}(\Delta^{1/4}P P^{-1})w + N(P,v)$ は、改善された可積分性評価を可能とし、すべての $p < \infty$ に対して $w \in L^p_{\text{loc}}$ となる。ゆえに $v \in L^p_{\text{loc}}$ である。
• その結果、境界のない $C^2$ コンパクト多様体への弱い $1/2$-ハーモニック写像は、局所的に Hölder 継続的である、すなわち $C^{0,\alpha}_{\text{loc}}$ であることが示され、非局所設定における正則性問題が解決された。
• 証明は、ベソフ空間およびハーディー空間における新規の交換子評価に依拠しており、$\dot{H}^{1/2}(\mathbb{R}) \hookrightarrow BMO(\mathbb{R})$ の埋め込みおよび分数ラプラシアンに特化した非局所ゲージ条件を含む。