[论文解读] Estimates $ L^{r}-L^{s}$ for solutions of the $\\bar \\partial $ equation in strictly pseudo convex domains in ${\\mathbb{C}}^{n}.$

Éric Amar|arXiv (Cornell University)|Dec 26, 2013

Analytic and geometric function theory参考文献 5被引用 3

一句话总结

该论文通过使用阶为 $ \alpha $ 的Carleson测度和下位性引理，建立了在 $ \mathbb{C}^n $ 中严格强伪凸域上 $ \bar\partial $ 方程解的精确 $ L^r $-$ L^s $ 估计。证明了当 $ \omega \in L^r_{(p,q)}(\Omega) $ 且 $ 1 \leq r < 2(n+1) $ 时，存在解 $ u \in L^s_{(p,q-1)}(\Omega) $ 满足 $ \|u\|_s \lesssim \|ω\|_r $，其中 $ \frac{1}{s} = \frac{1}{r} - \frac{1}{2(n+1)} $，并将这些结果推广至 $ r \geq 2(n+1) $ 时的BMO空间和各向异性Lipschitz空间。该方法提供了一个统一的框架，推广了Krantz与Ma-Vassiliadou的先前结果。

ABSTRACT

We prove estimates for solutions of the $\\bar \\partial u=\\omega $ equation in a strictly pseudo convex domain $ \\Omega $ in ${\\mathbb{C}}^{n}.$ For instance if the $ (p,q)$ current $\\omega $ has its coefficients in $L^{r}(\\Omega )$ with $1\\leq r&lt;2(n+1)$ then there is a solution $u$ in $L^{s}(\\Omega )$ with $\\ \\frac{1}{s}=\\frac{1}{r}-\\frac{1}{2(n+1)}.$ We also have $BMO$ and Lipschitz estimates for $r\\geq 2(n+1).$ These results were already done by S. Krantz in the case of $(0,1)$ forms and just for the $L^{r}-L^{s}$ part by L. Ma and S. Vassiliadou for general $(p,q)$ forms. To get the complete result we propose another approach, based on Carleson measures of order $\\alpha $ and on the subordination lemma.

研究动机与目标

• 将S. Krantz对 $ (0,1) $ 型形式的 $ L^r $-$ L^s $ 估计推广至严格强伪凸域中的一般 $ (p,q) $ 型形式。
• 在 $ r \geq 2(n+1) $ 时建立BMO空间与各向异性Lipschitz空间的端点估计，超越基于 $ L^r $ 的界。
• 提出一种基于阶为 $ \alpha $ 的Carleson测度与下位性引理的新证明策略，提供比以往方法更统一、更清晰的框架。
• 将已知结果（包括Romanov-Henkin对 $ r = \infty $ 的 $ \frac{1}{2} $-Hölder正则性）作为新框架的特例恢复并加强。

提出的方法

• 该方法采用文献[4]中引入的阶为 $ \alpha $ 的Carleson测度，分析 $ \bar\partial $ 方程解的正则性。
• 应用文献[5]中的下位性引理，将关联域 $ \Omega' \subset \mathbb{C}^{n+1} $ 的边界上的 $ L^s $ 可积性转移回原域 $ \Omega \subset \mathbb{C}^n $。
• 通过将 $ \omega $ 提升至 $ \partial\Omega' $ 上的 $ \omega' $，在 $ L^s $ 中求解 $ \bar\partial_b u' = \omega' $，然后沿 $ w $-纤维积分，恢复原域中的 $ u $。
• 关键估计源于关系式 $ \frac{1}{s} = 1 - \alpha $，其中 $ \alpha = \frac{1}{r'} + \frac{1}{2(n+1)} $，从而推出 $ \frac{1}{s} = \frac{1}{r} - \frac{1}{2(n+1)} $。
• 当 $ r = 2(n+1) $ 时，该方法得到 $ u \in BMO $；当 $ r > 2(n+1) $ 时，得到 $ u \in \Gamma^\beta $，其中 $ \beta = 1 - \frac{2(n+1)}{r} $，利用文献[4]与[6]中关于边界正则性的定理。
• 证明了解算子关于 $ \omega $ 是线性的，从而确保所有情形下的有界性。

实验结果

研究问题

• RQ1 能否将严格强伪凸域上 $ \bar\partial $ 解的 $ L^r $-$ L^s $ 估计从 $ (0,1) $ 型形式推广至一般 $ (p,q) $ 型形式，并实现最优端点行为？
• RQ2 对于 $ \omega \in L^r_{(p,q)}(\Omega) $，$ \bar\partial\omega = 0 $，且 $ 1 \leq r < 2(n+1) $，使得 $ \|u\|_{L^s} \lesssim \|\omega\|_{L^r} $ 成立的最优 $ s $ 是什么？
• RQ3 当 $ r \geq 2(n+1) $ 时，如何建立 $ \bar\partial $ 解在BMO与各向异性Lipschitz空间中的正则性估计，特别是 $ r = 2(n+1) $ 与 $ r > 2(n+1) $ 的情形？
• RQ4 基于阶为 $ \alpha $ 的Carleson测度与下位性引理的统一框架，能否为已知的 $ L^r $-$ L^s $ 估计（包括Krantz与Ma-Vassiliadou的结果）提供更简洁的证明？

主要发现

• 当 $ 1 \leq r < 2(n+1) $ 时，$ \bar\partial u = \omega $ 的解 $ u $ 满足 $ \|u\|_{L^s} \lesssim \|\omega\|_{L^r} $，其中 $ \frac{1}{s} = \frac{1}{r} - \frac{1}{2(n+1)} $，实现了 $ s $ 的最优端点。
• 当 $ r = 2(n+1) $ 时，解 $ u $ 属于BMO空间，且 $ \|u\|_{BMO} \lesssim \|\omega\|_{L^{2(n+1)}} $，将正则性拓展至 $ L^s $ 之外。
• 当 $ r = 1 $ 时，解 $ u $ 属于Lorentz空间 $ L^{s,\infty} $，其中 $ \frac{1}{s} = 1 - \frac{1}{2(n+1)} $，为可积数据提供了弱型估计。
• 当 $ r > 2(n+1) $ 时，解 $ u $ 属于各向异性Lipschitz空间 $ \Gamma^\beta $，其中 $ \beta = 1 - \frac{2(n+1)}{r} $，且 $ \|u\|_{\Gamma^\beta} \lesssim \|\omega\|_{L^r} $，捕捉了更高阶的正则性。
• 解算子关于 $ \omega $ 是线性的，确保了所有 $ r \geq 1 $ 情形下的有界性与一致性，且结果推广并加强了Krantz与Ma-Vassiliadou的先前工作。
• 基于阶为 $ \alpha $ 的Carleson测度与下位性引理的方法，提供了比以往方法更统一、更清晰的证明策略，尤其适用于 $ (p,q) $ 型形式。