[论文解读] 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

一句话总结

该论文为当关联的水平超曲面是凸的且为有限型时，建立了具有齐次椭圆微分 operator 的薛定谔方程解的 $L^p$-型估计。通过利用自由演化算子 $e^{itP(D)}$ 的 $L^p$-$L^q$ 估计，并应用分数阶积分半群理论，证明了当 $\beta > n_p + 1$ 时，$iP(D) + V$ 在 $L^p(\mathbb{R}^n)$ 上生成一个 $\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] 中定理所支持的振荡核衰减估计，克服先前依赖非零曲率方法的局限性。
• 在 $p \neq 2$ 的情形下，为可积势 $V$ 建立 $iP(D) + V$ 在 $L^p(\mathbb{R}^n)$ 上生成 $\beta$-重积分半群的条件，即使 $p \neq 2$ 亦成立。
• 通过放宽对 $n$、$m$ 和 $p$ 的条件，改进 [4] 中现有结果，包括允许 $p=1$ 和更小的 $s_j$-区间。

提出的方法

• 通过依赖于 [5] 中关于有限型超曲面的关键结果，利用 $e^{\pm iP}$ 的傅里叶逆变换的衰减估计，推导解算子 $e^{itP(D)}$ 的 $L^p$-$L^q$ 估计。
• 利用分数阶积分半群理论处理 $L^p(\mathbb{R}^n)$ 中 $p \neq 2$ 的柯西问题，此时经典 $C_0$-半群不再适用。
• 应用 Straub 的分数阶幂定义生成元的定义域，并以初始数据在分数阶幂定义域中的范数形式，推导解的 $L^p$-范数界。
• 在 $V$ 满足可积性条件时，建立 $L^p(\mathbb{R}^n)$ 上 $\beta$-重积分半群的生成性，其中 $\beta > n_p + 1$，且 $n_p = \max(0, n(1/2 - 1/p))$。
• 通过比较表明，新条件在 $p$、$s_j$ 和 $n$ 上严格弱于 [4]，尤其在 $p=1$ 和 $n \leq 3 + 4/(m-2)$ 时表现更优。

实验结果

研究问题

• RQ1 能否将薛定谔方程的 $L^p$-估计推广至水平超曲面为凸但存在高斯曲率消失点的齐次椭圆微分算子？
• RQ2 当薛定谔算子不生成 $C_0$-半群时，如何利用积分半群理论在 $L^p(\mathbb{R}^n)$（$p \neq 2$）中生成解？
• RQ3 势 $V$ 的最优可积性条件是什么，使得 $iP(D) + V$ 在 $L^p(\mathbb{R}^n)$ 上生成 $\beta$-重积分半群，且 $\beta > n_p + 1$？
• RQ4 新框架在哪些方面改进了 Balabane 和 Emami-Rad [4] 以及 Miyachi [12] 对于有限型凸超曲面的结果？

主要发现

• 当 $\Sigma = \{\xi \in \mathbb{R}^n \mid P(\xi) = 1\}$ 为凸的有限型超曲面时，即使在某些点高斯曲率为零，$e^{itP(D)}$ 的 $L^p$-$L^q$ 估计对所有 $t \neq 0$ 成立。
• 当 $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$-重积分半群，且 $\beta > n_p + 1$。
• 柯西问题的解 $u(t, \cdot)$ 满足 $\|u(t, \cdot)\|_{L^p} \leq C e^{\omega |t|} \| (\omega \pm iP(D) \pm V)^\beta u_0 \|_{L^p}$，其中 $u_0$ 属于分数阶幂的定义域，且 $\beta > n_p + 1$。
• 当 $1 \leq p \leq 3$，$n_p < m/2$，且 $V \in L^{p/|p-2|}(\mathbb{R}^n)$ 时，算子 $iP(D) + V$ 生成 $\beta$-重积分半群，且 $\beta > n_p + 1$。
• 结果改进了 [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$。