[论文解读] $L^p$-mapping properties for Schrödinger operators in open sets of $\mathbb R ^d$

Tsukasa Iwabuchi, Tokio Matsuyama+1 more|arXiv (Cornell University)|Feb 26, 2016

Advanced Mathematical Physics Problems参考文献 4被引用 3

一句话总结

本文在任意开集 $\Omega \subset \mathbb{R}^d$（$d \geq 3$）上建立了Schrödinger算子 $H_V = -\Delta + V$ 的函数演算的 $L^p$-有界性，其中 $V$ 属于Kato类 $K_d(\Omega)$ 且其负部满足小量条件。通过谱理论和热核的点态估计，证明了对于所有 $1 \leq p \leq \infty$ 和 $\theta > 0$，以及任意快速递减函数 $\varphi \in \mathscr{S}(\mathbb{R})$，$\varphi(\theta H_V)$ 在 $L^p(\Omega)$ 上一致有界，将经典乘子结果推广至具有奇异势的Schrödinger算子。

ABSTRACT

Let $H_V=-Δ+V$ be a Schrödinger operator on an arbitrary open set $Ω$ of $\mathbb R^d$, where $d \geq 3$, and $Δ$ is the Dirichlet Laplacian and the potential $V$ belongs to the Kato class on $Ω$. The purpose of this paper is to show $L^p$-boundedness of an operator $φ(H_V)$ for any rapidly decreasing function $φ$ on $\mathbb R$. $φ(H_V)$ is defined by the spectral theorem. As a by-product, $L^p$-$L^q$-estimates for $φ(H_V)$ are also obtained.

研究动机与目标

• 在任意开集 $\Omega \subset \mathbb{R}^d$（$d \geq 3$）上建立Schrödinger算子 $H_V$ 的函数演算 $\varphi(H_V)$ 的 $L^p$-有界性，其中 $V$ 属于Kato类。
• 通过谱理论将经典的 $L^p$-乘子结果推广至具有奇异势的Schrödinger算子。
• 证明 $\varphi(\theta H_V)$ 在 $L^p(\Omega)$ 上对所有 $\theta > 0$ 和 $1 \leq p \leq \infty$ 一致有界，确保其在缩放下保持稳定。
• 为利用函数演算定义与 $H_V$ 相关的Besov空间提供基础。

提出的方法

• 利用谱定理定义 $\varphi(H_V)$，其中 $\varphi \in \mathscr{S}(\mathbb{R})$，即快速递减函数空间。
• 施加假设A：$V = V_+ - V_-$，且 $V_\pm \in K_d(\Omega)$，并满足 $\|V_- olimits_{K_d(\Omega)} < \frac{\pi^{d/2}}{\Gamma(d/2 - 1)}$，以保证 $H_V$ 的自伴性与非负性。
• 采用由 D’Ancona 和 Pierfelice 推导出的 $d \geq 3$ 时热核 $e^{-tH_V}$ 的点态估计，这些估计对 $L^p$-映射估计至关重要。
• 应用交换子演算与迭代交换子公式 $\mathrm{Ad}^{k+1}(e^{-itR_{V,\theta}}) = -i\int_0^t \sum \Gamma(k_1,k_2,k_3) \mathrm{Ad}^{k_1}(e^{-isR_{V,\theta}}) \mathrm{Ad}^{k_2+1}(R_{V,\theta}) \mathrm{Ad}^{k_3}(e^{-i(t-s)R_{V,\theta}}) \, ds$ 以控制正则性与衰减性。
• 通过光滑紧支函数逼近与分布收敛性，验证涉及 $\mathrm{Ad}^1(R_{V,\theta})$ 和预解式 $R_{V,\theta}$ 的恒等式。

实验结果

研究问题

• RQ1 当 $H_V = -\Delta + V$ 且 $V$ 属于开集 $\Omega \subset \mathbb{R}^d$（$d \geq 3$）上的Kato类时，函数演算 $\varphi(H_V)$ 是否可有界地延拓至 $L^p(\Omega)$（$1 \leq p \leq \infty$）？
• RQ2 对于快速递减函数 $\varphi$，$\varphi(\theta H_V)$ 的 $L^p$-算子范数是否在 $\theta > 0$ 上一致有界？
• RQ3 对 $V_-$ 的Kato范数条件在保证 $\varphi(H_V)$ 在 $L^p$ 上有界性方面起何作用？
• RQ4 在 $\mathbb{R}^d$（$d \geq 3$）上，热核 $e^{-tH_V}$ 的点态估计如何促进 $\varphi(H_V)$ 的 $L^p$-映射性质？
• RQ5 Schrödinger算子 $H_V$ 的谱函数演算是否可用于定义并研究由 $H_V$ 生成的Besov空间？

主要发现

• 在满足假设A的条件下，对所有 $1 \leq p \leq \infty$ 和 $\varphi \in \mathscr{S}(\mathbb{R})$，算子 $\varphi(H_V)$ 在 $L^p(\Omega)$ 上有界。
• $\varphi(\theta H_V)$ 的 $L^p$-算子范数在 $\theta > 0$ 上一致有界，其界仅依赖于 $d$ 和 $\varphi$，而不依赖于 $\theta$。
• $L^p$-有界性结果推广了经典在 $\mathbb{R}^d$ 上的傅里叶乘子定理，将其扩展至Kato类势的Schrödinger算子。
• 证明的关键在于 $d \geq 3$ 时 $H_V$ 的热核点态估计，这些估计在低维情形下不可用。
• $\varphi(H_V)$ 的 $L^p$-有界性使得能够构造由 $H_V$ 生成的Besov空间，因为函数演算在 $L^p$ 上表现良好。
• 该结果是精确的，即 $\|V_- olimits_{K_d(\Omega)}$ 的小量条件是保证 $H_V$ 自伴性与函数演算有界性的必要条件。