[论文解读] Invariant measure for the Schrödinger equation on the real line

Federico Cacciafesta, Anne-Sophie de Suzzoni|arXiv (Cornell University)|May 20, 2014

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

一句话总结

该论文针对实轴上具有衰减相互作用势 $\chi$ 的三次非聚焦Schrödinger方程，通过有限维逼近和一种新颖的拓扑 $X^{-1/2-}$，构造了一个不变的Gibbs测度，以应对拉普拉斯算子在 $\mathbb{R}$ 上缺乏谱隙的问题。关键结果是在不包含 $L^2$ 的支撑上实现全局适定性与测度不变性，方法包括截断技术与低正则性设定下的弱收敛论证。

ABSTRACT

In this paper, we build a Gibbs measure for the cubic defocusing Schrödinger equation on the real line with a decreasing interaction potential, in the sense that the non linearity $|u|^2u$ is multiplied by a function $χ$ which we assume integrable and smooth enough. We prove that this equation is globally well-posed in the support of this measure and that the measure is invariant under the flow of the equation. What is more, the support of the measure (the set of initial data) is disjoint from $L^2$.

研究动机与目标

• 为实轴上具有衰减相互作用势 $\chi$ 的三次非聚焦Schrödinger方程构造一个不变Gibbs测度。
• 解决 $\mathbb{R}$ 上拉普拉斯算子缺乏谱隙的问题，该问题使得以往工作中依赖的特征函数分解方法失效。
• 在所构造测度的支撑上证明该方程的全局适定性。
• 即使支撑位于 $L^2$ 之外，也证明该测度在方程流下保持不变。
• 定义一种合适的弱拓扑（$X^{-1/2-}$），以确保线性流的连续性，并支持弱收敛论证。

提出的方法

• 将测度的高斯部分 $\mu$ 构造为涉及权重 $1/\sqrt{1+n^2}$ 的伊藤积分的随机变量的分布，对应于算子 $1-\Delta$。
• 将完整的Gibbs测度 $\rho$ 定义为 $d\rho = e^{-H_p(u)} d\mu(u)$，其中 $H_p(u) = \frac{1}{2}\int |u|^4$ 为势能。
• 使用测度的有限维逼近 $\rho_k$，并证明其在有限维流 $\psi_k(t)$ 下的不变性。
• 通过一族范数 $\|f\|_{\sigma_n} = \|\langle t\rangle^{-2}\langle x\rangle^{-2}(1-\Delta)^{\sigma_n/2}f\|_{L^2_{t,x}}$（其中 $\sigma_n = -1/2 - 1/n$）引入拓扑 $X^{-1/2-}$，以确保线性流的连续性。
• 应用光滑截断与有限传播速度估计（通过核衰减获得），以控制初始数据对局部区域的影响。
• 利用 $\rho_k$ 对 $\rho$ 的弱收敛性以及流的连续性，证明 $\rho$ 在完整流 $\psi(t)$ 下的不变性。

实验结果

研究问题

• RQ1 能否在无束缚势的情况下，为实轴上的三次非聚焦Schrödinger方程构造一个不变Gibbs测度？
• RQ2 当测度的支撑位于 $L^2$ 之外时，是否仍能确保全局适定性与测度不变性？
• RQ3 如何在包含测度支撑的空间上定义合适的拓扑，以确保线性流的连续性？
• RQ4 能否利用有限维逼近与弱收敛，证明极限测度在完整非线性流下的不变性？
• RQ5 在缺乏谱隙的条件下，有限传播速度在控制局部初始数据影响方面起到什么作用？

主要发现

• 所构造的Gibbs测度 $\rho$ 在具有衰减势 $\chi$ 的三次非聚焦Schrödinger方程流下保持不变。
• 测度 $\rho$ 的支撑与 $L^2$ 不相交，即 $\rho(L^2) = 0$，这是与有界区域上先前结果的关键区别。
• 通过逼近与一致收敛论证，在 $\rho$ 的支撑上建立了方程的全局适定性。
• 测度 $\rho$ 作为有限维逼近 $\rho_k$ 的弱极限获得，而 $\rho_k$ 在其对应的有限维流下是不变的。
• $X^{-1/2-}$ 拓扑在确保线性流的连续性以及支持弱收敛论证中起着关键作用。
• 有限传播速度估计被用于控制初始数据远处部分的影响，从而允许在逼近过程中使用截断。