[论文解读] Elliptic Partial Differential Equations with Complex Coefficients

Ariel Barton|ArXiv.org|Nov 13, 2009

Advanced Harmonic Analysis Research参考文献 23被引用 8

一句话总结

该论文在 R² 中的 Lipschitz 域上建立了具有复杂、坐标依赖系数的椭圆 PDE 解的存在性与有界性。通过将实系数算子的小虚部作为扰动，证明了 Dirichlet、Neumann 和正则性问题在 p 接近 1 时的 L^p 中适定，且在 H¹、BMO 和 L^∞ 中受控范数下适定，通过层势和 Green 函数估计将经典结果推广至复系数。

ABSTRACT

In this paper we investigate elliptic partial differential equations on Lipschitz domains in the plane whose coefficient matrices have small (but possibly nonzero) imaginary parts and depend only on one of the two coordinates. We show that for Dirichlet boundary data in L^p for p large enough, solutions exist and are controlled by the L^p-norm of the boundary data. Similarly, for Neumann boundary data in L^q, or for Dirichlet boundary data whose tangential derivative is in L^q (regularity boundary data), for q small enough, we show that solutions exist and are controlled by the L^q-norm of the boundary data. We prove similar results for Neumann or regularity boundary data in the Hardy space H^1, and for bounded or BMO Dirichlet boundary data. Finally, we show some converses: if the solutions are controlled in some sense, then Dirichlet, Neumann, or regularity boundary data must exist.

研究动机与目标

• 将椭圆 PDE 的适定性结果从实系数矩阵推广至具有小虚部的复系数矩阵。
• 为 Dirichlet、Neumann 和正则性问题在 L^p、H¹、BMO 和 L^∞ 中建立解的有界性。
• 证明当系数矩阵是实的、一致椭圆矩阵的小扰动时，解受边界数据的 L^p-范数控制。
• 证明逆命题：若解在某些范数下受控，则边界数据必须属于相应的函数空间。

提出的方法

• 使用层势及其在 L^p 和 H¹ 空间上的有界性，分析 Lipschitz 域上 div(A∇u)=0 的解。
• 应用 Calderón-Zygmund 理论和 BMO 估计，控制梯度的非切向极大函数。
• 采用 Green 函数估计和非切向极大函数界，控制 ∥ν·A∇G_X∥_{L¹} 在边界附近的性质。
• 依赖扰动论证：若 A₀ 为实矩阵且适定，则 A 在 L^∞ 范数下接近 A₀ 时，其在 p 接近 1 的 L^p 中也适定。
• 使用连续性方法和插值，将有界性从 L² 推广至 L^p 和 H¹。
• 应用转置和对偶技术，将 Neumann 问题和正则性问题与 Dirichlet 问题联系起来。

实验结果

研究问题

• RQ1 在系数矩阵 A 满足何种条件时，Lipschitz 域上 div(A∇u)=0 的 Dirichlet 问题的解受边界数据的 L^p-范数控制？
• RQ2 当 A 是实矩阵的小复扰动时，能否从 Dirichlet 问题的适定性推导出 Neumann 和正则性问题的适定性？
• RQ3 当 A 具有小虚部时，哪些函数空间（如 H¹、BMO、L^∞）允许 Dirichlet、Neumann 和正则性问题有适定解？
• RQ4 当 A 为复系数且仅依赖于一个变量时，层势在 Lipschitz 域上的行为如何？
• RQ5 逆命题成立吗：若解在某些范数下受控，则边界数据是否必须属于特定函数空间？

主要发现

• 对于具有小虚部的复系数矩阵 A，Dirichlet、Neumann 和正则性问题在 p 接近 1 的 L^p 中适定，且估计仅依赖于 λ、Λ 和区域的 Lipschitz 常数。
• 若 A 是实矩阵的小 L^∞-扰动，则 Neumann 和正则性问题的解存在，且受边界数据的 L^q-范数控制（q 足够小）。
• 当边界数据属于 H¹ 时，解存在且在满足 N(∇u)∈L¹ 的函数中唯一，且满足 ∥N(∇u)∥_{L¹}≤C∥f∥_{H¹}。
• L^∞ 和 BMO 边界数据问题适定，解受边界数据的 L^∞-或 BMO-范数控制。
• 存在逆命题：若解在 L^p 或 L¹ 中受控，则边界数据必须属于 L^p 或 H¹。
• Green 函数满足 ∥ν·A∇G_X∥_{L¹(∂V)}≤C 对 X 接近边界时一致成立，从而保证最大值原理估计。