从 Laplacian 输运到 Dirichlet-to-Neumann (Gibbs) 半群

本文简述了\textit{Dirichlet-to-Neumann}算子$\Lambda_{\gamma,\partial\Omega}$及其相应半群的一些基本性质，其动机源于各向异性介质（$\gamma \neq I$）中的 Laplacian 输运以及具有动力学边界条件的椭圆系统。为说明这些概念和性质，我们使用了显式构造的\textit{Lax 半群}。我们证明，对于一般光滑有界凸域$\Omega \subset \mathbb{R}^d$，Hilbert 空间$L^2(\partial \Omega)$中相应的{Dirichlet-to-Neumann}半群$\left\{U(t):= e^{-t \Lambda_{\gamma,\partial\Omega}}\right\}_{t\geq0}$对任意$t>0$均属于\textit{迹范数}von Neumann-Schatten 理想。这意味着它实际上是一个\textit{即时 Gibbs}半群。最近，Emamirad 和 Laadnani 构造了一个\textit{Trotter-Kato-Chernoff}乘积型逼近族$\left\{(V_{\gamma, \partial\Omega}(t/n))^n \right\}_{n \geq 1}$，当$n\to\infty$时\textit{强}收敛于半群$U(t)$。本文最后讨论了关于\textit{Emamirad-Laadnani 逼近}在{\textit{迹范数}}拓扑中收敛性的一个猜想。