[論文レビュー] Convex Hypersurfaces and $L^p$ Estimates for Schrödinger Equations

Quan Zheng, Xiaohua Yao+1 more|ArXiv.org|Mar 19, 2004

Geometric Analysis and Curvature Flows参考文献 17被引用数 8

ひとこと要約

本稿は、関連するレベル超曲面が凸かつ有限型である場合、均一な楕円型作用素を有するシュレーディンガー方程式の解について、$L^p$-に基づく推定式を確立する。自由発展作用素 $e^{itP(D)}$ の $L^p$-$L^q$ 推定式と分数階積分群の理論を活用することで、$iP(D) + V$ が $L^p(\mathbb{R}^n)$ 上で $\beta > n_p + 1$ の $\beta$-回積分群を生成することを証明し、従来の結果を $p=1$ およびガウス曲率が消える可能性がある低次元の場合にまで拡張する。

ABSTRACT

This paper is concerned with Schrödinger equations whose principal operators are homogeneous elliptic. When the corresponding level hypersurface is convex, we show the $L^p$-$L^q$ estimate of solution operator in free case. This estimate, combining with the results of fractionally integrated groups, allows us to further obtain the $L^p$ estimate of solutions for the initial data belonging to a dense subset of $L^p$ in the case of integrable potentials.

研究の動機と目的

• 楕円型作用素のレベル超曲面が凸であるがガウス曲率が消える点を有する場合に、シュレーディンガー方程式の $L^p$-推定式を拡張すること。
• 非ゼロ曲率に依存する従来の手法の制限を克服し、[5] の定理を用いて振動核の減衰推定式を導入すること。
• 可積分なポテンシャル $V$ を有する $iP(D) + V$ が、$p \neq 2$ の場合でも $L^p(\mathbb{R}^n)$ 上で $\beta$-回積分群を生成することを確立すること。
• Balabane と Emami-Rad [4] の既存結果を、$n$, $m$, $p$ の条件を緩和することで改善し、$p=1$ およびポテンシャルの $s_j$-区間を小さくすることを可能にする。

提案手法

• 有限型超曲面に関する[5]の重要な結果に依拠し、$e^{\pm iP}$ の逆フーリエ変換の減衰推定式を用いて、解作用素 $e^{itP(D)}$ の $L^p$-$L^q$ 推定式を導出する。
• $p \neq 2$ の場合に古典的 $C_0$-半群が失敗する $L^p(\mathbb{R}^n)$ のコーシー問題を扱うために、分数階積分群の理論を用いる。
• Straub の分数階累乗を用いて生成子の定義域を定義し、初期データが分数階累乗の定義域にある場合の解の $L^p$-ノルムの境界を導出する。
• $V$ に可積分性条件を課す下で、$\beta > n_p + 1$ かつ $n_p = \max(0, n(1/2 - 1/p))$ のもとで、$L^p(\mathbb{R}^n)$ 上に $\beta$-回積分群が生成されることを確立する。
• [4] の結果と比較し、$p$, $s_j$, $n$ に関する新しい条件が、特に $p=1$ および $n \leq 3 + 4/(m-2)$ の場合に、[4] よりも厳密に弱いことを示す。

実験結果

リサーチクエスチョン

• RQ1 均一な楕円型作用素のレベル超曲面が凸であるがガウス曲率が消える点を有する場合、シュレーディンガー方程式の $L^p$-推定式を拡張することは可能か？
• RQ2 $p \neq 2$ の場合にシュレーディンガー作用素が $C_0$-半群を生成しないとき、積分群の理論をどのように用いて $L^p(\mathbb{R}^n)$ 上の解を生成できるか？
• RQ3 可積分なポテンシャル $V$ に対して、$iP(D) + V$ が $L^p(\mathbb{R}^n)$ 上で $\beta > n_p + 1$ の $\beta$-回積分群を生成するための最適な可積分性条件は何か？
• RQ4 新しい枠組みは、有限型凸超曲面に対して Balabane と Emami-Rad [4] や Miyachi [12] の結果をどのように改善するか？

主な発見

• レベル超曲面 $\Sigma = \{\xi \in \mathbb{R}^n \mid P(\xi) = 1\}$ が凸かつ有限型である場合、$t \neq 0$ に対して $e^{itP(D)}$ の $L^p$-$L^q$ 推定式が成り立つ。これは、ガウス曲率が一部の点で消える場合でも成立する。
• $1 \leq p < 2 + \tau'$ に対して、$V = V_1 + V_2$ で $V_j \in L^{s_j}(\mathbb{R}^n)$ かつ $s_j \in I'_p \cap (n/m, \infty]$ ならば、$iP(D) + V$ は $L^p(\mathbb{R}^n)$ 上で $\beta > n_p + 1$ の $\beta$-回積分群を生成する。
• コーシー問題の解 $u(t, \cdot)$ は、$\beta > n_p + 1$ で $\|u(t, \cdot)\|_{L^p} \leq C e^{\omega |t|} \| (\omega \pm iP(D) \pm V)^\beta u_0 \|_{L^p}$ を満たす。ここで $u_0$ は分数階累乗の定義域に属する。
• $1 \leq p \leq 3$, $n_p < m/2$, および $V \in L^{p/|p-2|}(\mathbb{R}^n)$ の場合、$iP(D) + V$ は $\beta > n_p + 1$ の $\beta$-回積分群を生成する。
• 従来の [4] の定理 2′ および定理 6 よりも、$p=1$ を許容し、$n > 3 + 4/(m-2)$ の制限を撤廃し、$s_j$-区間および $\beta$（整数ではなく実数）を小さくすることを可能にする。
• $I'_p(\tau_0) \cap (n/m, \infty] \neq \emptyset$ である条件は、$p > 2n/(n + 2m - 2)$ と同値であり、[4] の $p > 2c/(c+1)$ 条件よりも厳密に弱く、$n \leq 3 + 4/(m-2)$ のとき $p=1$ を許容する。