[论文解读] Square function/non-tangential maximal function estimates and the dirichlet problem for non-symmetric elliptic operators

Steve Hofmann, Carlos E. Kenig+2 more|arXiv (Cornell University)|Feb 11, 2012

Advanced Harmonic Analysis Research参考文献 14被引用 5

一句话总结

本文通过 $\epsilon$-可逼近性与平方函数/非切向极大函数技术，建立了上半空间中非对称、非散度型椭圆方程解的 $S<N$ 和 $N<S$ 估计。关键结果是 $L$-调和测度关于面积测度属于 $A_\infty$ 类，这意味着在维度 $n \geq 2$ 时，$L^p$ Dirichlet 问题对某个 $p<\infty$ 可解，扩展了此前仅在 $n=1$ 时成立的结果。证明依赖于停止时间论证、Carleson 测度估计以及调和测度的 Radon-Nikodym 导数的反向 Hölder 不等式。

ABSTRACT

We consider divergence form elliptic operators L = - div A(x) abla, defined in the half space R^{n+1}_+, n \geq 2, where the coefficient matrix A(x) is bounded, measurable, uniformly elliptic, t-independent, and not necessarily symmetric. We establish square function/non-tangential maximal function estimates for solutions of the homogeneous equation Lu = 0, and we then combine these estimates with the method of "ε-approximability" to show that L-harmonic measure is absolutely continuous with respect to surface measure (i.e., n-dimensional Lebesgue measure) on the boundary, in a scale-invariant sense: more precisely, that it belongs to the class A_\infty with respect to surface measure (equivalently, that the Dirichlet problem is solvable with data in L^p, for some p &lt; \infty). Previously, these results had been known only in the case n = 1.

研究动机与目标

• 将非对称椭圆算子的 $L^p$ Dirichlet 问题可解性理论推广至维度 $n \geq 2$，此前该结果仅在 $n=1$ 时成立。
• 为方程 $Lu=0$ 的解建立平方函数 $S(u)$ 与非切向极大函数 $N_*(u)$ 之间的局部与全局 $L^p$ 估计。
• 证明 $L$-调和测度关于面积测度属于 $A_\infty$ 类，从而保证尺度不变的绝对连续性。
• 发展并应用 $\epsilon$-可逼近性方法，将平方函数估计与调和测度的 $A_\infty$ 性质联系起来。

提出的方法

• 通过 $\nabla u$ 的垂直平方函数分解建立 $S<N$ 估计，将问题约化为控制锥形区域中梯度的有界性。
• 利用 '好-$\lambda$' 不等式将 $\nabla u$ 的平方函数与非切向极大函数 $N_*$ 联系起来，从而实现对大 $p$ 的 $L^p$ 估计。
• 通过停止时间构造将区域分解为 dyadic 方块，区分 '蓝色' 矩形（振荡小）与 '红色' 矩形（振荡大）以实现逼近。
• 构造函数 $\varphi_1$，使其在蓝色矩形上逼近 $u$，误差 $\leq \epsilon/5$，利用 $u$ 的有界性与 Carleson 测度估计。
• 在红色矩形上通过定义 $\varphi_2 = u$ 对 $\varphi_1$ 进行校正，并通过在加宽锥形区域上的 $L^2$ 与 $L^1$ 估计，证明 $\varphi_2$ 的梯度受 Carleson 测度控制。
• 利用 $\nabla u \cdot \chi_{\mathcal{R}}$ 是 Carleson 测度，且 $\varphi_2$ 的跳跃受面积测度控制的事实，得出 $u$ 可被光滑函数 $\epsilon$-逼近。

实验结果

研究问题

• RQ1 能否在维度 $n \geq 2$ 时，为非对称、$t$-无关的椭圆算子建立 $S<N$ 与 $N<S$ 估计？
• RQ2 $\epsilon$-可逼近性方法能否推广至非对称算子，以证明调和测度的 $A_\infty$ 性质？
• RQ3 当系数矩阵 $A(x)$ 为非对称且 $t$-无关时，$L^p$ Dirichlet 问题是否对某个 $p<\infty$ 可解？
• RQ4 能否以尺度不变的方式建立此类算子调和测度的 $A_\infty$ 性质？
• RQ5 平方函数与非切向极大函数在刻画非对称算子 Dirichlet 问题可解性方面起什么作用？

主要发现

• 本文为上半空间 $\mathbb{R}^{n+1}_+$ 中非对称算子 $Lu=0$ 的解建立了 $S<N$ 估计，此前该结果在非对称算子中尚属未知。
• 证明了局部 $N<S$ 估计，扩展了全局结果，支持尺度不变分析。
• 成功将 $\epsilon$-可逼近性方法应用于非对称算子，将平方函数估计与调和测度的 $A_\infty$ 性质联系起来。
• 证明了 $L$-调和测度关于面积测度属于 $A_\infty$ 类，从而推出 $L^p$ Dirichlet 问题对某个 $p<\infty$ 可解。
• Radon-Nikodym 导数 $k = d\omega/dx$ 的反向 Hölder 不等式在立方体上一致成立，其指数 $q>1$ 依赖于 $A_\infty$ 常数。
• 验证了 $\nabla u \cdot \chi_{\mathcal{R}}$ 的 Carleson 测度条件，其常数依赖于 $\lambda$、$n$ 与 $A$ 的 $L^\infty$ 范数，从而确保了 $u$ 的 $\epsilon$-可逼近性。