[论文解读] Supnorm estimates for $\bar\partial$ on product domains in $\mathbb{C}^n$

Martino Fassina, Yifei Pan|arXiv (Cornell University)|Mar 25, 2019

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

一句话总结

本文在 $\mathbb{C}^n$ 中的乘积域上，利用单变量复分析技巧，构造了 $\bar\partial$-方程的显式积分解算子。当数据 $f$ 属于 $C^{n-1,\alpha}(\Omega)$ 时，建立了解的尖锐 $L^\infty$（本质上是 $L^\infty$）估计，证明了解算子 $\mathbf{T}$ 满足 $\|\mathbf{T}f\|_{L^\infty(\Omega)} \leq C\|f\|_{L^\infty(\Omega)}$，其中常数 $C$ 与 $f$ 无关。该结果将 Henkin 的工作推广至高维，并适用于具有 $C^{1,\alpha}$ 边界的广义乘积域。

ABSTRACT

Let $Ω\subset\mathbb{C}^n$ be a product of one-dimensional open bounded domains with $C^{1,α}$ boundary, where $0

研究动机与目标

• 建立 $\mathbb{C}^n$ 中乘积域上 $\bar\partial$-方程解的统一 $L^\infty$ 估计。
• 将 Henkin 的 $L^\infty$ 估计从双圆盘推广至具有 $C^{1,\alpha}$ 边界的广义乘积域。
• 仅使用单变量复分析技巧，构造解算子 $\mathbf{T}$ 的显式积分公式。
• 定义一个更广义的解算子 $\widetilde{\mathbf{T}}$，使其能将 $\mathbf{T}$ 扩展至更弱正则性的数据，如连续形式。

提出的方法

• 解算子 $\mathbf{T}$ 被构造为一系列切片算子 $T^k$ 的和，每个 $T^k$ 通过柯西-庞佩乌公式在单变量中求解 $\partial_{\bar{z}_k} T^k f = f$。
• 该构造依赖于单变量理论：对每个 $k$，有 $T^k f(z) = -\frac{1}{2\pi i} \int_{D_k} \frac{f(z_1,\dots,\zeta_k,\dots,z_n)}{\zeta_k - z_k} d\bar{\zeta}_k \wedge d\zeta_k$。
• 证明利用了数据 $f_j \in C^{n-1,\alpha}(\Omega)$ 的赫尔德连续性，并应用单变量 $C^{m,\alpha}$ 正则性理论，以确保 $\mathbf{T}f \in C^{1,\alpha}(\Omega)$。
• 一个关键技术步骤是通过迭代积分和边界项表达解，将问题转化为估计核为 $|\zeta - z|^{-\alpha}$（$\alpha < 2$）的奇异积分。
• 作者推导出 $\mathbf{T}f$ 的新公式，通过在边界 $\partial D_j$ 上的积分表达解，避免了对 $f_j$ 的导数依赖，使用核 $g_z^{k,i_1\dots i_s}$。
• 通过多指标求和，定义了扩展算子 $\widetilde{\mathbf{T}}$，使得可通过边界积分替代 $f_j$ 的导数，从而为 $C^0(\overline{\Omega})$ 数据提供解。

实验结果

研究问题

• RQ1 能否在具有 $C^{1,\alpha}$ 边界的 $\mathbb{C}^n$ 中乘积域上，为 $\bar\partial u = f$ 建立统一的 $L^\infty$ 估计？
• RQ2 能否仅使用单变量复分析技巧构造显式的解算子 $\mathbf{T}$？
• RQ3 当 $f$ 属于 $C^{n-1,\alpha}(\Omega)$ 时，解 $\mathbf{T}f$ 的正则性如何？
• RQ4 能否将解算子扩展至更弱正则性的数据（如连续的 $(0,1)$-形式），同时保持 $L^\infty$ 估计？
• RQ5 在乘积域上，对单变量解算子进行迭代应用时，$L^\infty$ 估计的行为如何？

主要发现

• 当 $f$ 是分量属于 $C^{n-1,\alpha}(\Omega)$ 的 $\bar\partial$-闭 $(0,1)$-形式时，解算子 $\mathbf{T}$ 满足统一的 $L^\infty$ 估计 $\|\mathbf{T}f\|_{L^\infty(\Omega)} \leq C\|f\|_{L^\infty(\Omega)}$，其中常数 $C$ 与 $f$ 无关。
• 解 $\mathbf{T}f$ 属于 $C^{1,\alpha}(\Omega)$，确保了解及其一阶导数的赫尔德连续性。
• 解算子 $\mathbf{T}$ 的构造完全依赖于单变量积分算子 $T^k$，无需使用多复变函数中的 $\bar\partial$ 理论。
• 定义了一个新算子 $\widetilde{\mathbf{T}}$，它将 $\mathbf{T}$ 扩展至 $C^0(\overline{\Omega})$ 数据，通过边界积分替代 $f_j$ 的导数。
• 对于满足 $f_j \in C^{n-1,\alpha}(\Omega)$ 的 $\bar\partial$-闭形式，扩展算子 $\widetilde{\mathbf{T}}$ 与 $\mathbf{T}$ 一致，即在 $\Omega$ 中有 $\widetilde{\mathbf{T}}f = \mathbf{T}f$。
• 证明建立了核为 $|\zeta - z|^{-\alpha}$（$\alpha < 2$）的奇异积分算子的统一有界性，这对 $L^\infty$ 估计至关重要。