[论文解读] Optimal velocity averaging in a degenerate elliptic setting

Martin Lazar, Darko Mitrović|arXiv (Cornell University)|Oct 16, 2013

Advanced Mathematical Modeling in Engineering参考文献 11被引用 3

一句话总结

本文通过适配的 H-分布框架，建立了具有粗糙系数和分数阶导数的退化椭圆方程解序列的最优速度平均。在非退化条件下，证明了在 $L^p$ 空间中 $p \geq 2$ 的平均量的强预紧性，将结果扩展至抛物型和分数阶时间导数方程，并建立了 H-测度与 H-分布之间的联系。

ABSTRACT

Assume that $(u_n)$ is a sequence of solutions to heterogeneous equations with rough coefficients and fractional derivatives, weakly converging to zero in ${ m L}^p(\R^{d+m})$, with $p>1$. We prove that the sequence of averaged quantities $(\int ho(\my) u_n(\mx,\my) d\my)$ is strongly precompact in $\Ljl\Rd$ for any $ ho\in \Cc{\R^m}$, provided that restrictive non-degeneracy conditions are satisfied. These are fulfilled for elliptic, parabolic, fractional convection-diffusion equations, as well as for parabolic equations with a fractional time derivative. The main tool that we are using is an adapted version of H-distributions. As a consequence of the introduced methods, we obtain an optimal velocity averaging result in the $\LL p$, $p\geq 2$, framework under the standard non-degeneracy conditions, as well as a connection between the H-measures and the H-distributions.

研究动机与目标

• 建立具有粗糙系数的退化椭圆方程解在 $L^p$ 空间中速度平均量的强预紧性。
• 将速度平均结果推广至具有分数阶导数和分数阶时间导数的方程。
• 发展并应用适配的 H-分布框架，以处理退化和非椭圆设定。
• 在速度平均的背景下，建立 H-测度与 H-分布之间的联系。
• 在标准非退化条件下，实现 $L^p$ 框架下 $p \geq 2$ 的最优正则性结果。

提出的方法

• 将 H-分布方法适配于具有粗糙系数的退化椭圆与抛物型方程。
• 以 $u_n$ 在 $L^p(\mathbb{R}^{d+m})$ 中弱收敛于零（$p > 1$）作为基础假设。
• 对快速变量 $\my$ 应用测试函数 $\rho \in C_c(\mathbb{R}^m)$，对 $u_n$ 进行平均，得到 $\int \rho(\my) u_n(\mx, \my) \, d\my$。
• 在非退化条件下，建立平均序列在 $L^p(\mathbb{R}^d)$ 中的预紧性。
• 通过平均算子的结构，推导 H-测度与 H-分布之间的联系。
• 将框架扩展至包含分数阶导数和时间分数阶抛物型方程。

实验结果

研究问题

• RQ1 在何种条件下，速度平均序列 $\int \rho(\my) u_n(\mx, \my) \, d\my$ 在 $L^p(\mathbb{R}^d)$ 中 $p \geq 2$ 时是预紧的？
• RQ2 H-分布方法如何被适配以处理具有粗糙系数的退化椭圆与抛物型方程？
• RQ3 何种非退化条件可确保在 $L^p$ 框架下 $p \geq 2$ 时实现最优速度平均？
• RQ4 在速度平均的背景下，H-测度与 H-分布之间有何关系？
• RQ5 该框架能否扩展至具有分数阶时间导数或空间导数的方程？

主要发现

• 在指定的非退化条件下，对任意 $\rho \in C_c(\mathbb{R}^m)$，序列 $\int \rho(\my) u_n(\mx, \my) \, d\my$ 在 $L^p(\mathbb{R}^d)$ 中是强预紧的。
• 在 $L^p$ 框架下 $p \geq 2$ 时实现了最优速度平均，其正则性结果与标准非退化假设下的最优已知结果一致。
• 该方法适用于椭圆型、抛物型以及含分数阶导数的对流-扩散方程，包括具有分数阶时间导数的方程。
• 通过平均过程，建立了 H-测度与 H-分布之间严谨的联系。
• 适配的 H-分布框架成功处理了经典方法失效的退化与粗糙系数设定。
• 结果在不同类型方程中均具有鲁棒性，包括具有非局部或分数阶算子的方程。