[論文レビュー] The Cauchy problem for the energy-critical inhomogeneous nonlinear Schrödinger equation

Yoonjung Lee, Ihyeok Seo|arXiv (Cornell University)|Nov 4, 2019

Advanced Mathematical Physics Problems参考文献 29被引用数 7

ひとこと要約

本稿は、重み付き時空ノルムフレームワークを導入することで、$ H^1 $ 上でエネルギー臨界な非線形シュレーディンガー方程式の局所的・大域的適切性を確立する。$ \gamma $-シュレーディンガー適切ペアを導入し、重み付き $ H^{1,r}(|x|^{-r\gamma}) $ 空間における解の解析により、古典的ストリッカーツ推移の限界を克服し、$ \beta = (4-2\alpha)/(n-2) $ のエネルギー臨界的状況における未解決問題を解消する。

ABSTRACT

In this paper we study the Cauchy problem for the energy-critical inhomogeneous nonlinear Schrödinger equation $i\partial_{t}u+Δu=λ|x|^{-α}|u|^βu$ in $H^1$. The well-posedness theory in $H^1$ has been intensively studied in recent years, but the currently known approaches do not work for the critical case $β=(4-2α)/(n-2)$. It is still an open problem. The main contribution of this paper is to develop the theory in this case.

研究の動機と目的

• エネルギー臨界的非線形シュレーディンガー方程式（INLS）の未解決問題を、$ H^1 $ 上で $ \beta = (4-2\alpha)/(n-2) $ のとき解く。
• エネルギー臨界的状況における標準的ストリッカーツ法の失敗を克服するため、新しい重み付き時空フレームワークを導入する。
• 初期データが $ H^1 $ に属する場合の局所的適切性を、重みパラメータ $ \gamma $ に対する鋭い条件で確立する。
• 初期データの $ H^1 $ ノルムが小さい条件下で、エネルギー臨界的 INLS の大域的適切性と散乱を証明する。
• 非線形項に現れる特異性 $ |x|^{-\alpha} $ を取り扱うための強固な関数解析的フレームワークを、重み付きノルムを用いて構築する。

提案手法

• 非線形項に現れる $ |x|^{-\alpha} $ を制御するため、重み付き時空ノルム $ \|f\|_{L_t^q L_x^r(|x|^{-r\gamma})} $ を導入する。
• 正則性と減衰構造を捉えるために、重み付きソボレフノルム $ \|f\|_{H^{1,r}(|x|^{-r\gamma})} = \|f\|_{L^r(|x|^{-r\gamma})} + \|\nabla f\|_{L^r(|x|^{-r\gamma})} $ を定義する。
• 条件 $ \frac{2}{q} = n(\frac{1}{2} - \frac{1}{r}) + \gamma $、$ 0 < \gamma < 1 $、$ \frac{\gamma}{2} < \frac{1}{q} \leq \frac{1}{2} $ を満たす $ \gamma $-シュレーディンガー適切ペアを用いて、解空間を定義する。
• 完備距離空間 $ (X,d) $ 上での収縮写像法を適用し、$ X $ を $ C([0,T];H^1) \cap L^q([0,T];H^{1,r}(|x|^{-r\gamma})) $ にとる。
• 弱収束性と $ 1 < r < \infty $、$ r\gamma < n $ の下で $ H^{1,r}(|x|^{-r\gamma}) $ の弱収縮性を用いて、重み付き $ L^q_t H^{1,r}_x(|x|^{-r\gamma}) $ 空間における有界性と収束性を確立する。
• 積分表現における非線形項の減衰推移を用いて、解が漸近的に自由解と同様の振る舞いを示すことを証明することで、散乱を示す。

実験結果

リサーチクエスチョン

• RQ1 標準的ストリッカーツ法が失敗する状況において、$ \beta = (4-2\alpha)/(n-2) $ のエネルギー臨界的 INLS が $ H^1 $ 上で適切に定義可能かどうか。
• RQ2 エネルギー臨界的状況において、非線形項 $ |x|^{-\alpha}|u|^\beta u $ を制御するために必要な・十分な重み付き時空ノルムは何か。
• RQ3 重みパラメータ $ \gamma $ の選択が解空間の適切性と正則性に与える影響は何か。
• RQ4 この重み付きフレームワークを用いて、エネルギー臨界的 INLS に対して初期データが小さい場合の大域的適切性と散乱が達成可能かどうか。
• RQ5 重み付きノルムと弱収縮性の議論を用いて、解空間が完備かつ非線形フローに関して不変であることを示せるか。

主な発見

• エネルギー臨界的 INLS は $ n \geq 3 $、$ 0 < \alpha < \min\{2, n/2\} $、および $ \beta = (4-2\alpha)/(n-2) $ の下で、$ \frac{\alpha - \beta - 1}{\beta + 1} < \gamma < \min\left\{ \frac{n-2}{2}, \frac{\alpha}{\beta + 1} \right\} $ の条件下で $ H^1 $ 上で局所的適切性が確立される。
• 任意の $ \gamma $-シュレーディンガー適切ペア $ (q,r) $ に対して、解は $ u \in C([0,T];H^1) \cap L^q([0,T];H^{1,r}(|x|^{-r\gamma})) $ を満たし、$ T $ は初期データ $ u_0 $ に依存する。
• 初期データが小さい場合、大域的適切性が成立する：$ \|u_0\|_{H^1} $ が十分に小さいとき、$ C([0,\infty);H^1) \cap L^q([0,\infty);H^{1,r}(|x|^{-r\gamma})) $ 内に一意の大域的解が存在する。
• 解は $ H^1 $ 上で散乱する：ある $ \phi \in H^1 $ が存在して、$ \lim_{t \to \infty} \|u(t) - e^{it\Delta}\phi\|_{H^1} = 0 $ を満たす。これは自由解と同様の漸近的振る舞いを確認する。
• 解空間は距離 $ d(u,v) = \sup_t \|u-v\|_{L^2} + \|u-v\|_{L^q_t L^r_x(|x|^{-r\gamma})} $ に関して完備であり、収縮写像法によって解の存在と一意性が保証される。
• 初期データに対する連続的依存性が成り立つ：$ d(u,v) \lesssim \|u_0 - v_0\|_{H^1} $ が成り立ち、重み付きフレームワーク内での解写像の安定性が確認される。