[论文解读] Feller evolution families and parabolic equations with form-bounded vector fields

Damir Kinzebulatov|arXiv (Cornell University)|Jul 18, 2014

Nonlinear Partial Differential Equations参考文献 8被引用 4

一句话总结

本文证明了在 $ (0,\infty) \times \mathbb{R}^d $ 上，$ d \geq 3 $，对于具有时间依赖向量场 $ b $ 的抛物方程 $ \partial_t u - \Delta u + b(t,x)\cdot\nabla u = 0 $ 的弱解，若 $ b $ 属于抛物形式有界类 $ \mathbf{F}_{\beta,\mathcal{P}} $，则其生成一个 Feller 进化族。证明依赖于 $ L^p $-梯度先验估计与迭代的 $ L^p \to L^\infty $ 收敛论证，表明解算子保持正性、$ L^\infty $-压缩性且强连续，因此确定了一个允许临界阶奇点的 Feller 过程。

ABSTRACT

We show that the weak solutions of parabolic equation $\partial_t u - Δu + b(t,x) \cdot abla u=0$, $(t,x) \in (0,\infty) imes \mathbb R^d$, $d \geqslant 3$, for $b(t,x)$ in a wide class of time-dependent vector fields capturing critical order singularities, constitute a Feller evolution family and, thus, determine a Feller process. Our proof uses an a priori estimate on the $L^p$-norm of the gradient of solution in terms of the $L^q$-norm of the gradient of initial function, and an iterative procedure that moves the problem of convergence in $L^\infty$ to $L^p$.

研究动机与目标

• 建立抛物方程 $ \partial_t u - \Delta u + b(t,x)\cdot\nabla u = 0 $ 在 $ d \geq 3 $ 条件下，其柯西问题解的 Feller 进化族的存在性。
• 刻画一类广泛的时间依赖向量场 $ b $，具体为抛物形式有界类 $ \mathbf{F}_{\beta,\mathcal{P}} $，使得解算子构成 Feller 进化族。
• 证明解算子保持正性且具有 $ L^\infty $-压缩性，从而确保其关联过程为 Feller 过程。
• 将允许的漂移类扩展至超出 $ L^q L^p $ 范围（其中 $ \frac{d}{p} + \frac{2}{q} \leq 1 $），允许临界阶奇点，如 $ |x|^{-2} $ 与 $ |t-t_0|^{-1} \log^{-1-\varepsilon} $。

提出的方法

• 通过形式有界条件 $ \mathbf{BC} $，推导出解的梯度的 $ L^p $-范数估计，其以初始数据梯度的 $ L^p $-范数为基准。
• 应用迭代过程，将收敛性从 $ L^p $ 传递至 $ L^\infty $，利用解算子的 $ L^\infty $-压缩性。
• 使用加权截断函数 $ \theta_\delta $ 与能量型估计，控制紧集上 $ \nabla u_m $ 的 $ L^2 $-范数，确保在 $ L^2 $ 中的弱相对紧性。
• 通过在逼近解 $ u_m $ 的积分恒等式中取极限，建立弱解性质，依赖于 $ b_m \to b $ 在 $ L^2_{\text{loc}} $ 中的收敛性与 $ \nabla u_m $ 的弱紧性。
• 利用 Strichartz 不等式的精确形式与 Hardy 不等式，验证如 $ x|x|^{-2} $ 的向量场属于 $ \mathbf{F}_{\beta,\mathcal{P}} $，并给出显式 $ \beta $。
• 通过 $ L^p $-能量方法证明关键估计 (8)，通过在 $ \nu $ 上优化，确保梯度能量项系数为正。

实验结果

研究问题

• RQ1 当 $ b $ 属于抛物形式有界类 $ \mathbf{F}_{\beta,\mathcal{P}} $ 时，抛物方程 $ \partial_t u - \Delta u + b(t,x)\cdot\nabla u = 0 $ 的解算子是否能构成 Feller 进化族？
• RQ2 时间依赖向量场 $ b $ 的最大类是什么，包括具有临界阶奇点的情形，使得其关联的 Feller 过程存在？
• RQ3 当漂移 $ b $ 不是有界或经典意义下的局部可积时，如何控制解的 $ L^\infty $-范数？
• RQ4 形式有界条件 $ \mathbf{BC} $ 中的参数 $ \beta $ 在确保解的存在性与正则性方面起什么作用？

主要发现

• 在 $ b \in \mathbf{F}_{\beta,\mathcal{P}} $ 条件下，抛物方程的弱解在 $ C_\infty(\mathbb{R}^d) $ 上生成一个 Feller 进化族 $ (U(t,s)) $，满足强连续性、正性保持性与 $ L^\infty $-压缩性。
• 解算子 $ U(t,s) $ 是 $ C_\infty(\mathbb{R}^d) $ 上的有界线性算子，且映射 $ (t,s) \mapsto U(t,s) $ 是强连续的。
• 解的梯度 $ u $ 属于 $ L^2_{\text{loc}}((0,\infty) \times \mathbb{R}^d) $，确保了局部正则性与弱解结构。
• 类 $ \mathbf{F}_{\beta,\mathcal{P}} $ 包含具有 $ |x|^{-2} $ 型奇点的向量场（如 $ x|x|^{-2} $），其对应 $ \beta = \left( \frac{2}{d-2} \right)^2 $，以及 $ |t-t_0|^{-1} \log^{-1-\varepsilon} $ 奇点（$ \varepsilon > 0 $）。
• 证明表明 $ \|U(t,s)f\|_\infty \leq \|f\|_\infty $，且当 $ f \geq 0 $ 时有 $ U(t,s)f \geq 0 $，从而确认了 Feller 性质。
• 迭代的 $ L^p \to L^\infty $ 论证结合 $ L^p $-梯度估计，使得即使在 $ b $ 具有临界奇点时，也能对解在 $ L^\infty $ 中实现控制。