[论文解读] Exponential stability of slowly decaying solutions to the kinetic Fokker-Planck equation

S. Mischler, Clément Mouhot|arXiv (Cornell University)|Dec 23, 2014

Numerical methods in inverse problems参考文献 20被引用 4

一句话总结

本文通过一种新颖的抽象方法，将谱间隙估计从一个巴拿赫空间推广到其他空间，建立了在环面上或带有约束势的全空间中，与动能福克-普朗克方程相关的半群的指数衰减估计。关键贡献是一种基于分解的方法，可在较弱的扰动和正则性条件下，将衰减率从参考空间传递到更大或更小的空间，从而在勒贝格空间、负索伯列夫空间和 Wasserstein $W_1$ 范数下获得精确的谱间隙估计。

ABSTRACT

The aim of the present paper is twofold:(1) We carry on with developing an abstract method for deriving decay estimates on the semigroup associated to non-symmetric operators in Banach spaces as introduced in [10]. We extend the method so as to consider the shrinkage of the functional space. Roughly speaking, we consider a class of operators writing as a dissipative part plus a mild perturbation, and we prove that if the associated semigroup satisfies a decay estimate in some reference space then it satisfies the same decay estimate in another-smaller or larger-Banach space under the condition that a certain iterate of the "mild perturba- tion" part of the operator combined with the dissipative part of the semigroup maps the larger space to the smaller space in a bounded way. The cornerstone of our approach is a factorization argument, reminiscent of the Dyson series.(2) We apply this method to the kinetic Fokker-Planck equation when the spatial domain is either the torus with periodic boundary conditions, or the whole space with a confinement potential. We then obtain spectral gap es- timates for the associated semigroup for various metrics, including Lebesgue norms, negative Sobolev norms, and the Monge-Kantorovich-Wasserstein distance W\_1.

研究动机与目标

• 开发一个通用的抽象框架，用于在受控扰动下，将半群的衰减估计从一个巴拿赫空间传递到另一个巴拿赫空间。
• 将基于次可积性的谱间隙估计从 $L^2$ 或 $H^1$ 空间推广到更大的函数空间，如勒贝格空间和负索伯列夫空间。
• 在周期性和势能约束两种设定下，为动能福克-普朗克方程建立精确的指数衰减率。
• 通过加权范数和微分不等式，对预解算子在无穷远处的衰减增益提供定量估计。
• 通过受狄森级数启发的分解技术，统一并推广先前关于动能方程谱间隙的结果。

提出的方法

• 提出一种基于分解的方法，通过将生成元分解为耗散部分与弱扰动之和，分析不同巴拿赫空间中半群的衰减行为。
• 应用谱映射定理和预解算子估计，基于某种换位子型正则性条件，将较大空间 $\mathcal{E}$ 中半群的衰减性质与较小的稠密子空间 $E$ 中的性质联系起来。
• 在势能约束情形下，采用加权范数 $W(x,v) = a|x|^{\beta/3} + b|v|^2 + 2c|x|^{\beta/6 - 1}(x \cdot v)$，其中 $c < \sqrt{ab}$，以控制无穷远处的衰减。
• 推导 $\|f\|_{L^2(W\mu^{-1})}^2$ 随时间演化的微分不等式，从而获得衰减增益的定量估计：$\|f\|_{L^2(W^2\mu^{-1})}^2 \lesssim \|\mathcal{L}f\|_{L^2(\mu^{-1})}^2 + \|f\|_{L^2(\mu^{-1})}^2$。
• 在周期性情形下，利用加强的 Poincaré 不等式获得速度矩的衰减，避免依赖全局次椭圆性或正则性假设。
• 将该方法应用于动能福克-普朗克算子 $\mathcal{L} = \mathcal{A} + \mathcal{B}$，其中 $\mathcal{B} - a$ 是次耗散的，$\mathcal{A}$ 有界，从而确保在各种范数下实现指数衰减。

实验结果

研究问题

• RQ1 在算子满足弱扰动和正则性条件时，能否将参考巴拿赫空间 $E$ 中导出的谱间隙估计扩展到更大的空间 $\mathcal{E}$？
• RQ2 当非对称算子可分解为耗散部分与有界扰动之和时，如何将半群在某一函数空间中的衰减估计传递到另一函数空间？
• RQ3 在不依赖解的正则性假设的前提下，应满足何种条件，才能对动能福克-普朗克算子预解算子在无穷远处的衰减增益进行量化？
• RQ4 能否在周期性和势能约束两种设定下，为动能福克-普朗克方程在勒贝格空间、负索伯列夫空间和 $W_1$ 范数下建立指数衰减率？
• RQ5 加权函数 $W(x,v)$ 的选择如何影响预解算子范数下定量衰减估计的推导？

主要发现

• 本文在环面上建立了基于 $L^2(\mu^{-1})$ 范数的动能福克-普朗克方程半群的指数衰减，衰减率由谱间隙估计控制。
• 在势能约束情形下，该方法给出了在无穷远处的衰减增益的定量估计：$\|f\|_{L^2(W^2\mu^{-1})}^2 \lesssim \|\mathcal{L}f\|_{L^2(\mu^{-1})}^2 + \|f\|_{L^2(\mu^{-1})}^2$，从而能够控制高阶矩行为。
• 谱间隙从 $L^2(\mu^{-1})$ 扩展到勒贝格空间 $L^p$（$p \in [1,\infty]$）、负索伯列夫范数以及 Monge-Kantorovich-Wasserstein 距离 $W_1$，并给出了显式的衰减率。
• 在周期性情形下，该方法依赖于速度方向的加强 Poincaré 不等式，得到 $\|f\|_{L^2((1+|v|^2)\mu^{-1})}^2 \lesssim \|\mathcal{L}f\|_{L^2(\mu^{-1})}^2 + \|f\|_{L^2(\mu^{-1})}^2$。
• 该抽象框架确保：若半群在参考空间 $E$ 中指数衰减，则在任何更大的或更小的巴拿赫空间 $\mathcal{E}$ 中也实现指数衰减，前提是该扰动的某次迭代有界地将 $\mathcal{E}$ 映射到 $E$。
• 该方法避免了分数阶导数带来的技术复杂性，且无需对解施加正则性假设，因此具有强鲁棒性，并可广泛应用于各类动能方程。