[论文解读] On the Strichartz estimates for orthonormal systems of initial data with regularity

Neal Bez, Younghun Hong+3 more|arXiv (Cornell University)|Aug 18, 2017

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

一句话总结

本文为齐次Sobolev空间 $\dot{H}^s$ 中正交初始数据系建立了尖锐的Strichartz型估计，其中 $s \in (0, \frac{d}{2})$，并确定了 $\ell^\alpha$ 求和指数 $\alpha$ 的最优值，作为 $p$、$q$ 和 $s$ 的函数。研究发现，临界情形出现在 $ (p,q) = \left(\frac{d+1}{d-2s}, \frac{d(d+1)}{(d-1)(d-2s)}\right) $，此时频率局部化估计在 $\alpha = p$ 时成立，但非局部化估计在此值处失效，凸显了该框架与经典情形之间的关键差异。

ABSTRACT

The classical Strichartz estimates for the free Schrödinger propagator have recently been substantially generalised to estimates of the form \[ \bigg\|\sum_jλ_j|e^{itΔ}f_j|^2\bigg\|_{L^p_tL^q_x}\lesssim\|λ\|_{\ell^α} \] for orthonormal systems $(f_j)_j$ of initial data in $L^2$, firstly in work of Frank--Lewin--Lieb--Seiringer and later by Frank--Sabin. The primary objective is identifying the largest possible $α$ as a function of $p$ and $q$, and in contrast to the classical case, for such estimates the critical case turns out to be $(p,q) = (\frac{d+1}{d},\frac{d+1}{d-1})$. We consider the case of orthonormal systems $(f_j)_j$ in the homogeneous Sobolev spaces $\dot{H}^s$ for $s \in (0,\frac{d}{2})$ and we establish the sharp value of $α$ as a function of $p$, $q$ and $s$, except possibly an endpoint in certain cases, at which we establish some weak-type estimates. Furthermore, at the critical case $(p,q) = (\frac{d+1}{d-2s},\frac{d(d+1)}{(d-1)(d-2s)})$ for general $s$, we show the veracity of the desired estimates when $α= p$ if we consider frequency localised estimates, and the failure of the (non-localised) estimates when $α= p$; this exhibits the difficulty of upgrading from frequency localised estimates in this context, again in contrast to the classical setting.

研究动机与目标

• 将经典的Strichartz估计推广至齐次Sobolev空间 $\dot{H}^s$ 中正交初始数据系，其中 $s \in (0, \frac{d}{2})$。
• 确定在 $\ell^\alpha$ 中使估计 $ \left\| \sum_j \lambda_j |e^{it\Delta}f_j|^2 \right\|_{L^p_t L^q_x} \lesssim \|\lambda\|_{\ell^\alpha} $ 成立的求和指数 $\alpha$ 的最优值。
• 分析临界指数 $ (p,q) = \left(\frac{d+1}{d-2s}, \frac{d(d+1)}{(d-1)(d-2s)}\right) $ 处的行为，特别是频率局部化与非局部化估计之间的差异。
• 在可能无法完全达到最优 $\alpha$ 值的潜在端点处建立弱型估计。

提出的方法

• 作者采用半经典极限方法，将Schrödinger传播算子的Strichartz估计与动能输运方程解的平均速度估计联系起来。
• 应用插值技术，包括实插值以及Lorentz空间和弱Lorentz空间的使用，以推导中间指数处的估计。
• 关键步骤是通过 dyadic Littlewood-Paley 投影 $P_k$ 实现频率局部化，从而控制 $|e^{it\Delta}P_k |D|^{-s}f_j|^2$ 的 $L^q_x$ 范数。
• 证明利用了经典Strichartz估计的尖锐性，并通过对偶性和加权范数不等式将其推广。
• 通过类比命题2.2中的方法，使用空间范数替代时空范数，建立了在端点处的弱型估计。
• 分析中包含一个变换，将谐振子传播算子 $e^{-itH}$ 与自由Schrödinger传播算子 $e^{it\Delta}$ 联系起来，从而将结果扩展至谐振子情形。

实验结果

研究问题

• RQ1 当初始数据 $f_j$ 在 $\dot{H}^s$ 中正交，且 $s \in (0, \frac{d}{2})$ 时，Strichartz型估计的最优 $\ell^\alpha$ 求和指数 $\alpha$ 是什么？
• RQ2 当初始数据属于 $\dot{H}^s$ 而非 $L^2$ 时，估计的尖锐性如何变化？
• RQ3 在临界指数 $ (p,q) = \left(\frac{d+1}{d-2s}, \frac{d(d+1)}{(d-1)(d-2s)}\right) $ 处，特别是当 $\alpha = p$ 时，估计的成立性如何？
• RQ4 为何在非局部化情形下，当 $\alpha = p$ 时估计会失效，尽管在频率局部化下仍成立？
• RQ5 能否使用相同的 $\ell^\alpha$ 框架将经典Schrödinger算子的Strichartz估计推广至 $\dot{H}^s$ 中的正交系统？

主要发现

• 对于 $\dot{H}^s$ 中的正交系统，估计 $ \left\| \sum_j \lambda_j |e^{it\Delta}f_j|^2 \right\|_{L^p_t L^q_x} \lesssim \|\lambda\|_{\ell^\alpha} $ 的最优 $\alpha$ 值被确定为 $p$、$q$ 和 $s$ 的函数，端点除外。
• 在临界指数 $ (p,q) = \left(\frac{d+1}{d-2s}, \frac{d(d+1)}{(d-1)(d-2s)}\right) $ 处，当采用频率局部化时，$\alpha = p$ 时估计成立，但在非局部化情形下，$\alpha = p$ 时估计失效。
• 在临界点处，非局部化估计在 $\alpha = p$ 时的失效揭示了在此正交系统框架下，从频率局部化估计升级为全局估计的根本困难。
• 在可能无法完全达到最优 $\alpha$ 值的潜在端点处，建立了弱型估计。
• 作者通过与Schrödinger传播算子及速度平均 $\rho F$ 的联系，推导出动能输运方程的加权Strichartz估计，证明在适当条件下有 $ \left\| \int_{\mathbb{R}^d} f(x-tv,v) |v|^{-2s} dv \right\|_{L^p_t L^q_x} \lesssim \|f\|_{L^\alpha} $。
• 类似估计被推广至谐振子Schrödinger方程，表明对于 $L^2$ 中的正交系统，相同的 $\ell^\alpha$ 估计成立，其证明依赖于将 $e^{-itH}$ 与 $e^{it\Delta}$ 联系起来的核变换。