[论文解读] A general method of weights in the d-bar-Neumann problem

Tran Vu Khanh|arXiv (Cornell University)|Jan 28, 2010

Numerical methods in inverse problems参考文献 21被引用 14

一句话总结

本文引入一个通用框架，即 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性质，以统一并推广在 $q$-拟凸或 $q$-拟凹区域上的 $\bar{\partial}$-Neumann 问题中的关键估计。通过定义涉及函数 $f$ 和算子 $\mathcal{M}$ 的加权估计，该方法将次椭圆、超对数、紧致性以及次椭圆乘子估计作为特例恢复，为解的正则性和全局行为提供了统一的方法。

ABSTRACT

This thesis deals with Partial Differential Equations in Several Complex Variables and especially focuses on a general estimate for the $\bar\partial$-Neumann problem on a domain which is $q$-pseudoconvex or $q$-pseudoconcave at a boundary point $z_0$. Generalizing Property ($P$) by \cite{C84}, we define Property $(f\T-\M\T-P)^k$ at $z_0$. This property yields the estimate {(f\T-\M)^k} \qquad o{f(Λ)\mathcal M u}^2\le c( o{\bar\partial u}^2+ o{\bar\partial^*u}^2+ o{u}^2)+C_\M o{u}^2_{-1} for any $u\in C^\infty_c(U\cap \barΩ)^k\cap \T{Dom}(\dib^*)$ where $U$ is a neighborhood of $z_0$. We want to point out that under a suitable choice of $f$ and $\M$, $(f\T-\M)^k$ is the subelliptic, superlogarithmic, compactness and subelliptic multiplier estimate. The thesis also aims at exhibiting some relevant classes of domains which enjoy Property $(f\T-\M\T-P)^k$ and at discussing recent literature on the $\bar\partial$-Neumann problem in the framework of this property.

研究动机与目标

• 开发一种通用的加权方法，以统一并扩展 $\bar{\partial}$-Neumann 问题中已知的 $L^2$ 估计。
• 在 $q$-拟凸或 $q$-拟凹区域的边界点处定义并分析 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性质。
• 证明该通用估计涵盖并推广了次椭圆、超对数、紧致性和次椭圆乘子估计。
• 识别满足 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性质的区域类，例如满足 $Z(k)$、解耦或正规坐标区域的区域。
• 建立全局正则性结果，包括构造一个反例表明即使紧致性不成立，全局正则性仍可成立，从而改进 Krantz 和 Straube 的先前工作。

提出的方法

• 在边界点 $z_0$ 处引入 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性质，推广 Catlin 的性质 (P)（见 [C84]）。
• 定义加权估计 $\|f(\Lambda)\mathcal{M}u\|^{2} \leq c(\|\bar{\partial}u\|^{2} + \|\bar{\partial}^{*}u\|^{2} + \|u\|^{2}) + C_{\mathcal{M}}\|u\|^{2}_{-1}$，其中 $u \in C^{\infty}_{c}(U \cap \bar{\Omega})^{k} \cap \text{Dom}(\bar{\partial}^{*})$，$U$ 是 $z_0$ 的一个邻域。
• 利用微局部分析将 $\bar{\partial}$-Neumann 系统与其切向对应物联系起来，基于 Kohn 在 [K86, K02] 中的技术。
• 结合 Kohn 和 Catlin 的方法，通过一参数族的截断函数推导出 $H_s$ 估计，从而实现对正则性增益的控制。
• 将 $H_s$ 估计应用于证明全局正则性结果，表明即使紧致性不成立，正则性仍可成立。
• 分析 Bergman 度量的行为以及 $f$ 关于到边界距离 $\delta(z)$ 的增长，将几何条件与分析估计联系起来。

实验结果

研究问题

• RQ1 能否开发一个单一的统一框架，以涵盖 $\bar{\partial}$-Neumann 问题中的次椭圆、超对数、紧致性和次椭圆乘子估计？
• RQ2 在边界点处，区域的哪些几何与分析条件可确保 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性质成立？
• RQ3 $\bar{\partial}$-Neumann 算子的全局正则性是否意味着紧致性，或者正则性是否可能在无紧致性时仍成立？
• RQ4 从 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 框架导出的 $H_s$ 估计如何与解的正则性相关？
• RQ5 哪些类别的区域——例如解耦或正规坐标区域——满足 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性质？

主要发现

• $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 估计推广并统一了已知的 $L^2$ 估计，包括次椭圆、超对数、紧致性和次椭圆乘子估计。
• 对于合适的 $f$ 和 $\mathcal{M}$ 选择，$(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 估计可退化为每种经典估计，证明了其普遍性。
• 从 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 估计推导出带有一参数族截断函数的 $H_s$ 估计，从而实现了全局正则性结果的证明。
• 构造了一个反例，表明即使紧致性估计不成立，全局正则性仍可成立，从而改进了 Krantz [Kr88] 的早期结果。
• $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性质在满足 $Z(k)$、解耦区域和正规坐标区域中成立，且对后者建立了最优的次椭圆估计。
• 在 $(f\text{-}{\mathcal{M}}\text{-}P)^{k}$ 性质下，Bergman 度量满足下界 $B(z,X) \geq |X| \frac{f}{\log}(\delta^{-1+\eta}(z))$，将几何控制与分析估计联系起来。