[论文解读] The Dirichlet problem in Lipschitz domains for higher order elliptic systems with rough coefficients

Vladimir Maz’ya, Marius Mitrea+1 more|ArXiv.org|Jan 31, 2007

Advanced Harmonic Analysis Research参考文献 16被引用 6

一句话总结

本文在 Lipschitz 域中建立了关于系数局部均值振荡与边界单位法向量的精确条件，证明了高阶椭圆系统在散度形式下的 Dirichlet 问题在加权 Sobolev 空间中有解，且边界数据属于 Besov 空间时是适定的。关键结果表明，若系数与法向量属于 VMO（消失的均值振荡），则解算子为同构映射，从而为具有粗糙复系数的任意阶系统提供了完整且最优的可解性准则。

ABSTRACT

We study the Dirichlet problem in Lipschitz domains and with boundary data in Besov spaces, for divergence form strongly elliptic systems of arbitrary order, with bounded, complex-valued coefficients. Our main result gives a sharp condition on the local mean oscillations of the coefficients of the differential operator and the unit normal to the boundary (which is automatically satisfied if these functions belong to space VMO) guaranteeing that the solution operator associated with this problem is an isomorphism.

研究动机与目标

• 在 Lipschitz 域中，为具有复值、有界可测系数的高阶强椭圆系统建立 Dirichlet 问题的适定性。
• 刻画确保解算子在加权 Sobolev 空间与 Besov 空间之间为同构映射的最优正则性条件，包括系数与边界几何的影响。
• 解决关于边界几何与系数振荡在高阶系统可解性中作用的长期悬而未决的猜想。
• 将边界值问题的理论扩展至系数与域边界光滑性要求最低的情形。
• 以均值振荡条件为框架，提供一个完整且精确的适定性准则，特别关注系数与单位法向量属于 VMO 的情形。

提出的方法

• 分析采用加权 Sobolev 空间 $ W^{m,a}_p(\rho) $，其中 $ \rho(X) = \text{dist}(X,\partial\Omega) $，该空间允许解在边界附近具有奇性行为。
• 通过 Lipschitz 边界上的迹与延拓算子理论研究解算子，边界数据属于 Besov 空间 $ B^s_p(\partial\Omega) $，其中 $ s = 1 - a - 1/p $。
• 关键技术工具是使用 Whitney 型延拓与迹算子，通过 $ i^k \sum_{|\alpha|=k} \frac{k!}{\alpha!} \nu^\alpha \text{Tr}[D^\alpha \mathcal{U}] $ 定义迭代法向导数 $ \partial^k/\partial\nu^k $。
• 主要结果依赖于对系数矩阵 $ A_{\alpha\beta} $ 与单位法向量 $ \nu $ 局部均值振荡的精确条件，该条件被证明是同构映射的必要且充分条件。
• 证明利用了 $ L_p $-最大正则估计与 Besov 与 Sobolev 空间尺度上的插值技术，结合 Lipschitz 域的内在几何结构。
• 作者构造了类参数型论证，并利用 Lipschitz 曲面上奇异积分的理论，控制解在边界附近的性质。

实验结果

研究问题

• RQ1 在系数与边界几何满足何种条件时，高阶椭圆系统在散度形式下于 Lipschitz 域中、边界数据属于 Besov 空间时，其 Dirichlet 问题是适定的？
• RQ2 确保解算子为同构映射的系数与单位法向量的最优正则性条件是什么？
• RQ3 适定性准则是否具有精确性，即当均值振荡条件不成立时，可解性是否必然失败？
• RQ4 Lipschitz 域的几何结构，特别是其 Lipschitz 常数，如何影响问题的可解性？
• RQ5 系数与法向量属于 VMO（消失的均值振荡）的条件是否对解算子为同构映射而言既必要又充分？

主要发现

• 若系数 $ A_{\alpha\beta} $ 与单位法向量 $ \nu $ 的局部均值振荡足够小，则 Dirichlet 问题的解算子是加权 Sobolev 空间 $ W^{m,a}_p(\Omega) $ 与 Besov 空间 $ B^s_p(\partial\Omega) $ 之间的同构映射。
• 对均值振荡的精确条件独立于 $ p \in (1,\infty) $ 与 $ s \in (0,1) $ 的具体取值，且当 $ A_{\alpha\beta} $ 与 $ \nu $ 的振荡趋近于零时达到最优。
• 当系数与单位法向量属于 VMO 时，解算子为同构映射，证实了 Auscher 与 Qafsaoui 关于几何与系数正则性作用的猜想。
• 在有界 Lipschitz 常数与强椭圆性条件下，当 $ A_{\alpha\beta} $ 与 $ \nu $ 到 VMO 的距离趋于零时，适定性准则覆盖了整个参数范围 $ (s, 1/p) \in (0,1) \times (0,1) $。
• 即使对于二阶系统（$ m=1 $）且系数为常数的情形，该结果仍为新成果，提供了以均值振荡为框架的完整且精确的可解性条件。
• 本文构造了一个反例，表明若系数梯度属于弱-$ L_n $ 但不属于 $ W^1_n $，则当 $ p $ 接近 2 时，解可能不属于 $ W^m_p $，从而说明了该条件的精确性。