[论文解读] Dirichlet problem in domains with lower dimensional boundaries

Joseph Feneuil, Svitlana Mayboroda+1 more|arXiv (Cornell University)|Oct 16, 2018

Advanced Harmonic Analysis Research参考文献 27被引用 10

一句话总结

本论文建立了在具有低维边界（如 $\mathbb{R}^n \setminus \mathbb{R}^d$，其中 $d < n-1$）的域中，针对具有复系数的二阶椭圆算子，其 $L^q$ 边界数据的狄利克雷问题的适定性。论文引入了一个退化椭圆算子，并在系数的 Carleson 范数较小的条件下，证明了对所有 $q > 1$ 的可解性，放宽了先前的假设，建立了新的局部 Moser 型估计与平方函数估计。

ABSTRACT

The present paper pioneers the study of the Dirichlet problem with $L^q$ boundary data for second order operators with complex coefficients in domains with lower dimensional boundaries, e.g., in $Ω:= \mathbb R^n \setminus \mathbb R^d$ with $d1$ provided that the coefficients satisfy the small Carleson norm condition. Even in the context of the classical case $d=n-1$, (the analogues of) our results are new. The conditions on the coefficients are more relaxed than the previously known ones (most notably, we do not impose any restrictions whatsoever on the first $n-1$ rows of the matrix of coefficients) and the results are more general. We establish local rather than global estimates between the square function and the non-tangential maximal function and, perhaps even more importantly, we establish new Moser-type estimates at the boundary and improve the interior ones.

研究动机与目标

• 研究具有复系数的二阶椭圆算子在具有低维边界（如 $\mathbb{R}^n \setminus \mathbb{R}^d$，其中 $d < n-1$）的域中狄利克雷问题的适定性。
• 将 $L^q$ 狄利克雷问题的理论拓展至边界具有更低 Hausdorff 维数的非经典共维数一边界情形。
• 通过取消对系数矩阵前 $n-1$ 行的限制，放宽系数条件，改进先前的假设。
• 建立平方函数与非切向极大函数之间的局部估计，并推导新的 Moser 型边界估计。

提出的方法

• 引入一个适配于低维边界结构的退化椭圆算子，确保适当的强制性与可解性。
• 利用 $q$-椭圆性条件推导能量估计与 Moser 型估计，尤其关注边界行为。
• 建立局部 $L^q$ 估计，比较平方函数 $S$ 与非切向极大函数 $N$，证明其局部满足 $S < N$ 与 $N < S$。
• 应用具有小范数的 Carleson 测度条件以控制振荡，并确保边界附近解的稳定性。
• 使用截断函数与加权测度对估计进行局部化，尤其在区域 $\mathbb{R}^n \setminus \mathbb{R}^d$ 内，其中权重依赖于 $|t|^{n-d-2}$。
• 借助 Kato 问题的解法与平方函数技术，处理复杂且非对称的系数。

实验结果

研究问题

• RQ1 在具有低维边界的域中，具有 $L^q$ 数据的狄利克雷问题是否对具有复系数的二阶椭圆算子是适定的？
• RQ2 系数矩阵需满足何种条件，才能在这些域中对所有 $q > 1$ 实现可解性？
• RQ3 在缺乏全局正则性的情况下，如何建立平方函数与非切向极大函数之间的局部估计？
• RQ4 在退化情形下，Moser 型估计能否在边界处得到改进？其与内部估计的关系如何？
• RQ5 所需的最小系数条件（如 Carleson 范数）是什么？与先前结果相比，该条件能否进一步放宽？

主要发现

• 在 $\mathbb{R}^n \setminus \mathbb{R}^d$ 域中，当 $d < n-1$ 时，只要系数矩阵满足小 Carleson 范数条件，狄利克雷问题对所有 $q > 1$ 均适定。
• 作者建立了局部 $L^q$ 估计 $S < N$ 与 $N < S$，这对证明全局可解性与唯一性至关重要。
• 在边界处导出了新的 Moser 型估计，改进了已知的内部估计，并实现了对低维边界附近点态行为的控制。
• 系数条件得到显著放宽：不再对系数矩阵的前 $n-1$ 行施加任何限制，与先前结果形成对比。
• 通过零迹条件与非切向极大函数控制，证明了唯一性，表明在 $L^q$ 意义下迹为零的解必几乎处处为零。
• 即使在经典情形 $d = n-1$（即边界为共维数一）下，结果亦为新发现，且系数假设较先前工作更为宽松。