[论文解读] Layer potentials and boundary value problems for elliptic equations with complex $L^{\infty}$ coefficients satisfying the small Carleson measure norm condition

Steve Hofmann, Svitlana Mayboroda+1 more|arXiv (Cornell University)|Nov 1, 2013

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

一句话总结

本文在系数矩阵的纵向变化满足小 Carleson 范数条件的前提下，建立了上半空间中形式为散度型的椭圆方程在复 $L^∞$ 系数下的层势的有界性与可逆性。它证明了在 $L^p$、BMO 和 Hölder 空间中 Dirichlet、Neumann 和 Regulary 问题的适定性，通过从 $t$-无关算子出发的摄动理论，将经典结果推广至粗糙、非光滑系数的情形。

ABSTRACT

We consider divergence form elliptic equations $Lu:= abla\cdot(A abla u)=0$ in the half space $\mathbb{R}^{n+1}_+ :=\{(x,t)\in \mathbb{R}^n imes(0,\infty)\}$, whose coefficient matrix $A$ is complex elliptic, bounded and measurable. In addition, we suppose that $A$ satisfies some additional regularity in the direction transverse to the boundary, namely that the discrepancy $A(x,t) -A(x,0)$ satisfies a Carleson measure condition of Fefferman-Kenig-Pipher type, with small Carleson norm. Under these conditions, we establish a full range of boundedness results for double and single layer potentials in $L^p$, Hardy, Sobolev, BMO and Hölder spaces. Furthermore, we prove solvability of the Dirichlet problem for $L$, with data in $L^p(\mathbb{R}^n)$, $BMO(\mathbb{R}^n)$, and $C^α(\mathbb{R}^n)$, and solvability of the Neumann and Regularity problems, with data in the spaces $L^p(\mathbb{R}^n)/H^p(\mathbb{R}^n)$ and $L^p_1(\mathbb{R}^n)/H^{1,p}(\mathbb{R}^n)$ respectively, with the appropriate restrictions on indices, assuming invertibility of layer potentials in for the $t$-independent operator $L_0:= - abla\cdot(A(\cdot,0) abla)$.

研究动机与目标

• 为满足纵向方向上小 Carleson 测度条件的复、有界、可测系数的椭圆算子，发展层势的完整理论。
• 为这类算子在 $L^p$、BMO 和 Hölder 空间中建立 Dirichlet、Neumann 和 Regulary 问题的适定性。
• 通过基于层势可逆性的摄动理论，将解的存在性结果从 $t$-无关算子推广至变系数算子。
• 统一并推广先前关于粗糙系数椭圆方程边界值问题的研究成果，特别是在非光滑、复值系数矩阵的背景下。

提出的方法

• 作者在差值 $A(x,t) - A(x,0)$ 上引入了一个小 Carleson 测度条件，通过 Carleson 方体 $R_Q = Q \times (0, \ell(Q))$ 和半范数 $\varepsilon_0$ 进行量化。
• 推导出三个主要估计：$\nabla L^{-1} \nabla$ 的平方函数有界性，以及通过 Kato 型平方函数估计得到的 $\nabla L^{-1} \frac{1}{t}$ 和 $\nabla L^{-1} \nabla$ 的 tent 空间有界性。
• 该理论依赖于 $t$-无关算子 $L_0 = -\nabla \cdot (A(x,0)\nabla)$ 的层势可逆性，作为基础情形。
• 他们使用非切向极大函数 $N_*^\beta u$ 和改进的非切向极大函数 $\widetilde{\mathcal{N}}^\beta u$ 来控制解和迹的行为。
• 唯一性和可解性的证明依赖于 Green 函数的积分估计，以及 tent 空间和 Hardy-Sobolev 空间中的插值不等式。
• 分析结合了调和分析、位势论以及奇异积分算子在 $L^p$ 有界性方面的技术，特别是涉及 Carleson 测度和层势算子的背景。

实验结果

研究问题

• RQ1 在何种条件下，对于具有复 $L^\infty$ 系数的椭圆方程，层势在 $L^p$、Hardy、BMO 和 Hölder 空间中是有界的？
• RQ2 对 $A(x,t) - A(x,0)$ 的小 Carleson 范数条件如何影响 Dirichlet、Neumann 和 Regulary 问题的可解性？
• RQ3 层势对 $t$-无关算子 $L_0 = -\nabla \cdot (A(x,0)\nabla)$ 的可逆性在确保变系数算子 $L$ 的可解性中起什么作用？
• RQ4 在相同的 Carleson 条件下，边界值问题的适定性是否可从 $L^p$ 扩展到 BMO 和 $C^\alpha$ 空间？
• RQ5 在何种程度上，可通过 tent 空间和平方函数技术，将粗糙系数下层势理论在不同函数空间中统一起来？

主要发现

• 在 $A(x,t) - A(x,0)$ 的小 Carleson 范数条件下，双层势和单层势在 $L^p$、Hardy、BMO 和 Hölder 空间中均有界，其界依赖于 $\varepsilon_0$。
• 当 $t$-无关算子 $L_0$ 的层势可逆时，Dirichlet 问题在数据属于 $L^p(\mathbb{R}^n)$、$BMO(\mathbb{R}^n)$ 和 $C^\alpha(\mathbb{R}^n)$ 时是适定的。
• 在相同的可逆性和小性假设下，Neumann 问题在 $L^p/H^p$ 空间中适定，Regularity 问题在 $L^p_1/H^{1,p}$ 空间中适定。
• 通过迹的消失和非切向极大函数的控制，建立了 Regulary 问题 $(R)_{H^p}$ 解的唯一性，从而在零数据条件下推出 $u \equiv 0$。
• 对于 $p < 1$，唯一性证明依赖于插值和 $L^q$-有界性，其中 $q = \frac{p(n+1)}{n} > 1$，表明 $\rho$ 和 $\epsilon$ 的衰减迫使 $u \equiv 0$ 当 $\rho \to \infty$ 且 $\epsilon \to 0$ 时。
• 当 $\frac{1}{2}I + \widetilde{\mathcal{K}}$ 和 $\mathcal{S}_{t=0}$ 在 $H^p$ 上双射时，Neumann 问题 $(N)_{H^p}$ 唯一可解，这意味着 $u_0 \equiv 0$，从而 $u \equiv 0$ 模常数。