[论文解读] Sharp $L^p$ estimates for Schr\"odinger groups on spaces of homogeneous type

Piero DʼAncona, Fabio Nicola|arXiv (Cornell University)|Dec 5, 2016

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

一句话总结

本文在齐次度量空间上建立了Schrödinger群 $e^{-itL}$ 的精确 $L^p$ 估计，证明了形式为 $\|e^{-itL} \varphi(L)f\|_p \lesssim (1+|t|)^s\|f\|_p$ 的一致有界性，其中 $s = n|\frac{1}{2} - \frac{1}{p}|$，在热核 $e^{-tL}$ 满足温和的 $L^{p_0} \to L^{p_0'}$ 正则化与非对角线衰减假设下成立。该结果可推广至缩放算子 $\varphi(\theta L)$，且在 $\theta > 0$ 上保持一致，将经典估计推广至具有加倍维数 $n$ 的度量测度空间。

ABSTRACT

We prove an $L^{p}$ estimate $$ \|e^{-itL} \varphi(L)f\|_{p}\lesssim (1+|t|)^s\|f\|_p, \qquad t\in \mathbb{R}, \qquad s=n\left|\frac{1}{2}-\frac{1}{p} ight| $$ for the Schrodinger group generated by a semibounded, selfadjoint operator $L$ on a metric measure space $\mathcal{X}$ of homogeneous type (where $n$ is the doubling dimension of $\mathcal{X}$). The assumptions on $L$ are a mild $L^{p_{0}} o L^{p_{0}'}$ smoothing estimate and a mild $L^{2} o L^{2}$ off--diagonal estimate for the corresponding heat kernel $e^{-tL}$. The estimate is uniform for $ \varphi$ varying in bounded sets of $\mathscr{S}(\mathbb{R})$, or more generally of a suitable weighted Sobolev space. We also prove, under slightly stronger assumptions on $L$, that the estimate extends to $$ \|e^{-itL} \varphi( heta L)f\|_{p}\lesssim (1+ heta^{-1}|t|)^s\|f\|_p, \qquad heta>0, \quad t\in \mathbb{R}, $$ with uniformity also for $ heta$ varying in bounded subsets of $(0,+\infty)$. For nonnegative operators uniformity holds for all $ heta>0$.

研究动机与目标

• 在齐次度量空间上建立Schrödinger群 $e^{-itL}$ 的一致 $L^p$ 估计，将经典结果推广至一般度量测度空间。
• 刻画时间增长速率的最优性，由指数 $s = n|\frac{1}{2} - \frac{1}{p}|$ 表征，其中 $n$ 为加倍维数。
• 确保当 $\varphi$ 在施瓦茨空间 $\mathscr{S}(\mathbb{R})$ 的有界集或加权Sobolev空间中变化时，估计的一致性。
• 将估计推广至缩放算子 $\varphi(\theta L)$，在 $L$ 的稍强假设下证明对 $\theta > 0$ 的一致性。
• 将Schrödinger算子的 $L^p$ 估计从欧几里得空间推广至具有加倍测度的齐次度量空间类。

提出的方法

• 分析依赖于算子 $L$ 的温和 $L^{p_0} \to L^{p_0'}$ 正则化估计，以确保热核 $e^{-tL}$ 的足够正则性。
• 利用热核 $e^{-tL}$ 在 $L^2$ 中的非对角线衰减估计，控制核在对角线以外的空间衰减。
• 证明采用谱理论与泛函演算，通过自伴、下半有界的算子的谱定理应用算子 $\varphi(L)$。
• 关键技巧在于利用 $\varphi$ 的施瓦茨类性质，在频域中通过单位分解对时间演化 $e^{-itL}$ 进行分解。
• 通过加权Sobolev空间中的估计建立 $\varphi$ 的一致性，确保谱乘子扰动下的鲁棒性。
• 对于缩放版本 $\varphi(\theta L)$，方法通过尺度变换调整时间-尺度依赖性，得到估计 $(1 + \theta^{-1}|t|)^s$。

实验结果

研究问题

• RQ1 在齐次度量空间上，Schrödinger群 $e^{-itL}$ 的 $L^p$ 范数的最优时间增长速率是什么？
• RQ2 当 $\varphi$ 在 $\mathscr{S}(\mathbb{R})$ 的有界集中变化时，如何建立 $\varphi(L)$ 的一致 $L^p$ 估计？
• RQ3 能否将 $L^p$ 估计推广至具有 $\theta > 0$ 一致性的缩放算子 $\varphi(\theta L)$？
• RQ4 为确保Schrödinger群的精确 $L^p$ 估计，热核 $e^{-tL}$ 的最小假设条件是什么？
• RQ5 空间的加倍维数 $n$ 如何影响 $L^p$ 估计的最优性？

主要发现

• 本文建立了精确的 $L^p$ 估计 $\|e^{-itL} \varphi(L)f\|_p \lesssim (1+|t|)^s\|f\|_p$，其中 $s = n|\frac{1}{2} - \frac{1}{p}|$，$n$ 为空间的加倍维数。
• 该估计对 $\mathscr{S}(\mathbb{R})$ 中有界集内的 $\varphi$ 一致成立，且更一般地在适当的加权Sobolev空间中成立。
• 在稍强假设下，估计可推广至 $\|e^{-itL} \varphi(\theta L)f\|_p \lesssim (1 + \theta^{-1}|t|)^s\|f\|_p$，且对 $\theta > 0$ 保持一致。
• 对于非负算子，一致性可扩展至所有 $\theta > 0$，表明其在尺度变换下的鲁棒性。
• 该结果适用于任意下半有界、自伴算子 $L$ 在齐次度量空间上的情况，推广了欧几里得空间的结果。
• 关键假设为：温和的 $L^{p_0} \to L^{p_0'}$ 正则化估计与热核 $e^{-tL}$ 在 $L^2 \to L^2$ 中的非对角线衰减估计。