[论文解读] Elliptic differential equations with measurable coefficients

Doyoon Kim, Н. В. Крылов|ArXiv.org|Dec 22, 2005

Advanced Mathematical Modeling in Engineering参考文献 10被引用 4

一句话总结

该论文在系数在某一变量上可测且在其余变量上具有消失振荡均值（VMO）的条件下，建立了在索伯列夫空间 $W^2_p$ 中 $p \in (2,\infty)$ 的二阶非散度型椭圆方程的唯一可解性。关键贡献是利用精确函数技术提出了一种新的 $L_p$-估计，该估计蕴含了相关鞅问题的弱唯一性。

ABSTRACT

We prove the unique solvability of second order elliptic equations in non-divergence form in Sobolev spaces. The coefficients of the second order terms are measurable in one variable and VMO in other variables. From this result, we obtain the weak uniqueness of the martingale problem associated with the elliptic equations.

研究动机与目标

• 在 $p > 2$ 的条件下，建立非散度型二阶椭圆方程在索伯列夫空间 $W^2_p$ 中的唯一可解性。
• 通过允许系数 $a^{jk}$ 在一个变量上可测且在其余变量上为 VMO，放宽其正则性假设。
• 将椭圆方程的 $L_p$-理论扩展至超出一致连续或分段连续系数的范围。
• 利用可解性结果，证明与椭圆微分算子相关的鞅问题的弱唯一性。
• 发展一种 $L_p$-估计方法，避免使用积分表示和交换子，转而依赖于精确函数估计。

提出的方法

• 利用傅里叶变换推导出在某一变量上具有可测系数的方程的 $L_2$-估计。
• 应用由 Krylov 开创的精确函数技术，推导出 $p > 2$ 时的 $L_p$-估计，避免使用交换子方法。
• 引入振荡半范数 $\text{osc}_{x'}(a, Q_r(x))$，以量化在 $x'$ 变量上的 VMO 正则性。
• 通过 $a^{\#(x')}_{R} \to 0$ 当 $R \to 0$ 定义 VMO 类，并引入满足 $\omega(0) = 0$ 的连续模 $\omega(R)$。
• 利用 Fefferman-Stein 极大函数定理和霍尔德不等式，控制二阶导数的 $L_p$-范数。
• 建立一个关键不等式，涉及 $u_{x^j x^k}$ 的精确函数，从而导出在小球内满足 $\|u_{xx}\|_{L_p} \leq N\|L_0 u\|_{L_p}$ 的估计，前提是 $a^{\#(x')}_{R}$ 足够小。

实验结果

研究问题

• RQ1 在系数于某一变量上可测且在其余变量上为 VMO 的条件下，是否可以在 $W^2_p$ 中建立椭圆方程的唯一可解性？
• RQ2 非散度型方程的 $L_p$-理论是否可扩展至正则性有限的系数，超越一致连续性？
• RQ3 精确函数方法是否可有效应用于具有不连续系数的方程，而无需依赖交换子或积分表示？
• RQ4 何种系数条件可保证相关扩散过程的弱唯一性？
• RQ5 当系数仅在一个方向上可测时，某些变量上的 VMO 条件如何与 $L_p$-理论相互作用？

主要发现

• 在假设 2.1 和 2.2 成立的条件下，方程 (1.1) 在所有 $p \in (2,\infty)$ 下于 $W^2_p(\mathbb{R}^d)$ 中存在唯一解。
• 当 $a^{\#(x')}_{R}$ 足够小时，在小球内有 $L_p$-估计 $\|u_{xx}\|_{L_p} \leq N\|L_0 u\|_{L_p}$，其中 $p > 2$。
• 估计中的常数 $N$ 仅依赖于 $d$、$\delta$ 和 $p$，而不依赖于系数的其他信息，仅依赖于其 VMO 和强椭圆性质。
• 当 $p \geq d$ 时，$W^2_p$ 中的唯一可解性蕴含了与椭圆算子相关的鞅问题的弱唯一性。
• 该方法避免使用积分表示和交换子，转而依赖于精确函数和极大函数的逐点估计。
• 该结果包含了分段连续系数和 VMO 系数的特殊情况，并将已知理论扩展至更广泛的不连续系数类。