[论文解读] The Dirichlet-to-Neumann operator on $C(\partial Ω)$

Wolfgang Arendt, Tom Ter Elst|arXiv (Cornell University)|Jul 18, 2017

Advanced Mathematical Modeling in Engineering参考文献 18被引用 5

一句话总结

本文证明了，对于具有实系数的二阶对称散度型算子及 $ V \in L_\infty(\Omega) $ 的势能 $ V $，其关联的 Dirichlet-to-Neumann 算子 $ D_V $，即使 $ V $ 为负，只要 Dirichlet 问题保持唯一可解，其在 $ C(\partial\Omega) $ 上生成一个 $ C_0 $-半群。关键贡献在于证明了 $ D_V $ 在 $ C(\partial\Omega) $ 中部分算子的定义域在 $ C(\partial\Omega) $ 中是稠密的，从而确保了半群在连续函数上的强连续性，并通过抛物方法建立了第一特征函数的不可约性与严格正性。

ABSTRACT

Let $Ω\subset {\bf R}^d$ be an open bounded set with Lipschitz boundary $Γ$. Let $D_V$ be the Dirichlet-to-Neumann operator with respect to a purely second-order symmetric divergence form operator with real Lipschitz continuous coefficients and a positive potential $V$. We show that the semigroup generated by $-D_V$ leaves $C(Γ)$ invariant and that the restriction of this semigroup to $C(Γ)$ is a $C_0$-semigroup. We investigate positivity and spectral properties of this semigroup. We also present results where $V$ is allowed to be negative. Of independent interest is a new criterium for semigroups to have a continuous kernel.

研究动机与目标

• 证明由 $ -D_V $ 生成的半群，即带势能的 Dirichlet-to-Neumann 算子，即使 $ C(\partial\Omega) $ 不是自反空间，也在 $ C(\partial\Omega) $ 上生成一个 $ C_0 $-半群。
• 证明当系数仅为 Lipschitz 连续且 $ V \in L_\infty(\Omega) $ 时，$ D_V $ 在 $ C(\partial\Omega) $ 中部分算子的定义域在 $ C(\partial\Omega) $ 中是稠密的，且无需对 $ V $ 的符号施加限制。
• 刻画具有连续核的 $ L_2(K) $ 上的半群，并提供在 $ C(K) $ 上不可约性的判据，特别针对 Dirichlet-to-Neumann 算子与 Robin 算子。
• 证明在 $ \partial\Omega $ 不连通时，$ C(\partial\Omega) $ 上的不可约性仍蕴含第一特征函数的严格正性。

提出的方法

• 使用形式方法通过 $ (A+V)u = 0 $ 在 $ \Omega $ 中的弱解定义 Dirichlet-to-Neumann 算子 $ D_V $，其中 $ \text{Tr}\,u = \varphi $，且 $ D_V\varphi = \partial_\nu u $。
• 应用抽象半群理论，利用自伴性与正性，证明在 $ L_2(\partial\Omega) $ 上由 $ -D_V $ 生成的半群 $ S^V $ 具有连续核。
• 通过使用光滑数据的解构造逼近，并利用椭圆正则性，证明 $ D_V $ 在 $ C(\partial\Omega) $ 中部分算子的定义域是稠密的。
• 通过反证法证明 $ C(\partial\Omega) $ 上半群 $ T^V $ 的不可约性：假设存在一个真闭理想不变，将与第一特征函数的严格正性矛盾。
• 利用抛物演化推导出：对所有 $ t > 0 $，$ z \in \partial\Omega $，以及所有 $ \varphi \geq 0 $，$ \varphi \neq 0 $，有 $ (T^V_t \varphi)(z) > 0 $，依据强最大值原理。
• 应用抽象半群理论中的一个判据，若 $ S^V $ 在 $ L_2(\partial\Omega) $ 上不可约且第一特征函数严格为正，则 $ T^V $ 在 $ C(\partial\Omega) $ 上不可约。

实验结果

研究问题

• RQ1 即使 $ C(\partial\Omega) $ 不是自反空间，Dirichlet-to-Neumann 半群在 $ C(\partial\Omega) $ 上的限制是否仍构成 $ C_0 $-半群？
• RQ2 当系数为 Lipschitz 连续且 $ V \in L_\infty(\Omega) $ 时，即使 $ V $ 为负，$ D_V $ 在 $ C(\partial\Omega) $ 中部分算子的定义域是否在 $ C(\partial\Omega) $ 中稠密？
• RQ3 当 $ \partial\Omega $ 不连通时，能否建立 Dirichlet-to-Neumann 半群在 $ C(\partial\Omega) $ 上的不可约性？
• RQ4 在 $ \partial\Omega $ 不连通时，$ C(\partial\Omega) $ 上的不可约性是否仍蕴含第一特征函数的严格正性？
• RQ5 半群 $ S^V $ 在 $ L_2(\partial\Omega) $ 上是否可一致地延拓为 $ L_p(\partial\Omega) $ 上的 $ C_0 $-半群，其中 $ p \in [1,\infty) $？

主要发现

• 若系数 $ a_{kl} $ 为 Lipschitz 连续，则由 $ -D_V $ 生成的半群 $ S $ 在 $ C(\partial\Omega) $ 上的限制是 $ C_0 $-半群，如定理 5.3(c) 所示。
• 只要 Dirichlet 问题有唯一解，对所有 $ V \in L_\infty(\Omega) $，包括 $ V $ 为负的情况，$ D_V $ 在 $ C(\partial\Omega) $ 中部分算子的定义域在 $ C(\partial\Omega) $ 中是稠密的。
• $ C(\partial\Omega) $ 上的半群 $ T^V $ 是不可约的，即对任意非零 $ \varphi \in C(\partial\Omega) $，$ \varphi \geq 0 $，有 $ (T^V_t \varphi)(z) > 0 $ 对所有 $ t > 0 $ 和所有 $ z \in \partial\Omega $ 成立。
• 由于 $ T^V $ 在 $ C(\partial\Omega) $ 上不可约，$ D_V $ 的第一特征函数在 $ \partial\Omega $ 上严格为正，即使 $ \partial\Omega $ 不连通。
• $ L_2(\partial\Omega) $ 上的半群 $ S^V $ 是不可约的，且 $ \min\sigma(D_V) $ 是单特征值，如命题 7.4 所建立。
• $ L_2(\partial\Omega) $ 上的半群 $ S^V $ 可一致地延拓为所有 $ p \in [1,\infty) $ 的 $ L_p(\partial\Omega) $ 上的 $ C_0 $-半群，如推论 7.6 所示。