[论文解读] Sectorial forms and degenerate differential operators

Wolfgang Arendt, Tom Ter Elst|arXiv (Cornell University)|Dec 20, 2008

Spectral Theory in Mathematical Physics参考文献 21被引用 73

一句话总结

该论文通过引入一种新颖的框架，将半群理论扩展至非闭合的扇形形式，使得可以直接从这类形式生成全纯 $C_0$-半群。其核心贡献是一个广义生成定理，消除了标准的闭包性假设，从而可直接处理退化微分算子，包括具有罗宾（Robin）、温茨尔（Wentzell）及狄利克雷-诺伊曼（Dirichlet-to-Neumann）边界条件的算子，即使在粗糙区域或系数消失的情况下亦成立。

ABSTRACT

If $a$ is a densely defined sectorial form in a Hilbert space which is possibly not closable, then we associate in a natural way a holomorphic semigroup generator with $a$. This allows us to remove in several theorems of semigroup theory the assumption that the form is closed or symmetric. Many examples are provided, ranging from complex sectorial differential operators, to Dirichlet-to-Neumann operators and operators with Robin or Wentzell boundary conditions.

研究动机与目标

• 消除在形式方法中生成全 holomorphic 半群时对闭包性的标准假设。
• 将扇形形式理论广义化，以包含具有复可测系数的退化及非对称微分算子。
• 为罗宾、温茨尔及狄利克雷-诺伊曼边界条件提供统一的处理框架，通过非单射嵌入 $j$ 实现。
• 为由退化椭圆算子生成的半群建立次马尔可夫性与局部性性质。
• 在不依赖先前正则性假设的前提下，直接、内在地处理利普希茨区域上的迹算子与边界条件。

提出的方法

• 在稠密子空间 $D(a) \subset H$ 上定义一个扇形形式 $a$，不强制要求其闭包性，且满足 $a(u) - \gamma\|u\|^2 \in \Sigma_\theta$，其中 $\theta < \pi/2$。
• 通过极限过程构造算子 $A$：$x \in D(A)$ 且 $Ax = f$ 当且仅当存在序列 $u_n \in D(a)$，使得 $u_n \to x$ 在 $H$ 中收敛，$\operatorname{Re}a(u_n)$ 有界，且对所有 $v \in D(a)$，有 $a(u_n, v) \to (f, v)_H$。
• 采用广义形式方法，结合可能非单射的嵌入 $j: V \to H$，处理完整情形，将经典结果推广至非单射设置。
• 证明 $-A$ 在 $\Sigma_{\pi/2 - \theta}$ 的内部生成一个全 holomorphic $C_0$-半群，即使 $a$ 不是闭合的。
• 将该理论应用于具有复可测系数的退化椭圆算子，证明达维斯–加夫尼（Davies–Gaffney）型估计与局部性。
• 通过同一框架实现迹的存在性与边界条件（如罗宾、温茨尔）的实现，即使在粗糙区域上，亦利用非单射的 $j$-映射。

实验结果

研究问题

• RQ1 是否可从非闭合的扇形形式中生成全 holomorphic 半群，从而消除形式方法中的标准闭包性假设？
• RQ2 如何在形式方法框架内处理具有消失或复系数的退化椭圆算子？
• RQ3 是否可直接通过扇形形式构造狄利克雷-诺伊曼算子，而无需假设区域的光滑性？
• RQ4 在何种条件下，由退化算子生成的半群是次马尔可夫的或保持正性？
• RQ5 是否可在此形式理论框架下，严格定义并实现罗宾与温茨尔边界条件的迹算子？

主要发现

• 即使形式 $a$ 不是闭合的，通过极限条件定义的算子 $A$ 仍为良定，且 $-A$ 在 $\Sigma_{\pi/2 - \theta}$ 上生成一个全 holomorphic $C_0$-半群。
• 该理论可直接应用于具有复可测系数的退化椭圆算子，即使系数在区域部分消失，亦能确保在 $L_2(\Omega)$ 上生成半群。
• 证明了达维斯–加夫尼型估计，确立了半群的局部性及在实系数诺伊曼条件下常数函数的不变性。
• 对于利普希茨区域上的罗宾边界条件，该框架确保在 $L_2(\partial\Omega, \sigma)$ 中存在唯一的迹，且生成元在 $L_2(\Omega)$ 上生成全 holomorphic 半群。
• 在利普希茨区域上，狄利克雷-诺伊曼算子在 $L_p(\partial\Omega)$ 上生成一个次马尔可夫半群，其构造通过非单射的 $j$-映射实现。
• 给出了粗糙区域上迹存在性的新且简洁的证明，且在退化系数下亦能完整处理温茨尔边界条件。