[论文解读] Kinetic maximal $L^2$-regularity for the (fractional) Kolmogorov equation

Lukas Niebel, Rico Zacher|arXiv (Cornell University)|Jun 20, 2020

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

一句话总结

该论文为分数阶柯尔莫哥洛夫方程建立了带时间权重的动能最大 $L^2$-正则性，刻画了在各向异性索伯列夫空间中的解正则性。证明了解在位置 $x$ 上获得 $\frac{\beta}{\beta+1}$ 个导数，并在 $(0,T)\times\mathbb{R}^{2n}$ 上实现瞬时 $C^\infty$ 平滑，即使初始数据正则性有限亦然。

ABSTRACT

We introduce the notion of kinetic maximal $L^2$-regularity with temporal weights for the (fractional) Kolmogorov equation. In particular, we determine the function spaces for the inhomogeneity and the initial value which characterize the regularity of solutions to the fractional Kolmogorov equation in terms of fractional anisotropic Sobolev spaces. It is shown that solutions of the homogeneous (fractional) Kolmogorov equation define a semi-flow in a suitable function space and the property of instantaneous regularization is investigated.

研究动机与目标

• 在时间权重存在的情况下，为（分数阶）柯尔莫哥洛夫方程建立精确的 $L^2$-正则性理论。
• 刻画确保在各向异性索伯列夫空间中实现最大 $L^2$-正则性的非齐次项与初始数据的函数空间。
• 研究解中瞬时正则化现象，特别是速度 $v$ 到位置 $x$ 的正则性传递。
• 将已知的正则性传递结果（如布须特定理）推广至带时间权重的 $L^2$-框架。
• 证明齐次方程的解在 $t=0$ 之后立即实现空间与时间上的 $C^\infty$ 正则性，即使初始数据正则性有限。

提出的方法

• 引入一种新的带时间权重 $t^{1-\mu}$（$\mu \in (\frac{1}{2},1]$）的动能最大 $L^2$-正则性概念。
• 定义解空间 $\mathcal{T}_\mu((0,T);X)$ 与 $L^2_\mu((0,T);X)$，以纳入对时间导数与速度导数的时间加权估计。
• 利用同构映射 $\Phi_\mu(u)(t) = t^{1-\mu}u(t)$，将已知的无权重 $L^2$-估计从无权重情形转移到加权情形。
• 应用半群理论与谱乘子理论分析柯尔莫哥洛夫算子 $\partial_t + v\cdot\nabla_x + (-\Delta_v)^{\beta/2}$。
• 通过结合加权估计、插值与等度连续性论证，证明在 $x$ 方向获得 $\frac{\beta^2}{2(\beta+1)}$ 个额外正则性。
• 通过连续的时间平移迭代正则性增益，证明在 $(0,T)\times\mathbb{R}^{2n}$ 上实现 $C^\infty$ 平滑。

实验结果

研究问题

• RQ1 哪些函数空间中的非齐次项与初始数据可确保带时间权重的分数阶柯尔莫哥洛夫方程实现最大 $L^2$-正则性？
• RQ2 从速度正则性中，分数阶柯尔莫哥洛夫方程在位置变量 $x$ 上最多可获得多少正则性？
• RQ3 齐次分数阶柯尔莫哥洛夫方程的解是否能在 $t=0$ 之后立即实现 $C^\infty$ 正则性？
• RQ4 从 $v$ 到 $x$ 的正则性传递是否反映在初始数据在 $x$ 方向的正则性上？
• RQ5 时间权重如何改善正则性估计，并促成瞬时平滑性的证明？

主要发现

• 解空间 $\mathcal{T}_\mu((0,T);L^2)\cap L^2_\mu((0,T);X_\beta^1)\cap L^2_{1-\beta}((0,T);\dot{H}_x^\beta)$ 连续嵌入到 $C((0,T];H^{\beta/2}(\mathbb{R}^{2n}))$。
• 解在位置变量 $x$ 上获得 $\frac{\beta}{\beta+1}$ 个导数，与已知结果一致，但现处于全局加权 $L^2$-框架中。
• 齐次方程的解对任意 $T>0$ 属于 $C^\infty((0,T)\times\mathbb{R}^{2n})$，即使初始数据正则性有限。
• $x$ 方向正则性的增益等价于初始数据在 $x$ 方向的正则性，而 $v$ 方向的正则性则对应于初始数据在 $x$ 与 $v$ 的联合正则性。
• 时间权重 $t^{1-\mu}$（$\mu > \frac{1}{2}$）通过时间平移的迭代正则性增益，使得 $C^\infty$ 平滑性得以证明。
• 该结果将布须特定理推广至加权 $L^2$-框架，表明若 $u \in \mathcal{T}_\mu((0,T);L^2)\cap L^2_\mu((0,T);H_v^r)$，则 $u \in L^2_\mu((0,T);H_x^{r/(r+1)})$。