Ultracontractivity of Heat semigroups in $\mathrm{L}^{2}\left( \Omega \right)$ with non-local Robin boundary conditions using Nash's inequality

技术摘要：具有非局部 Robin 边界条件的热半群的超收缩性

问题陈述
本文研究了定义在有界 Lipschitz 区域 $\Omega \subset \mathbb{R}^d$（$d > 2$）上的二阶抛物方程解半群的超收缩性。该方程由下式给出：
$$\frac{\partial u}{\partial t} - \text{div}(A\nabla u) = 0$$
服从广义 Robin 边界条件：
$$\nu \cdot A\nabla u + Bu = 0 \quad \text{on } \partial\Omega$$
其中，$A$ 是一致椭圆矩阵值函数，$B$ 是作用于 $L^2(\partial\Omega)$ 上的线性算子。本文解决的主要挑战是：当 $B$ 是一个可能不保持解的正性的有界算子时，建立超收缩性（即半群以特定的时间衰减率将 $L^2(\Omega)$ 映射到 $L^\infty(\Omega)$ 的性质）。

背景与动机
本工作受 [1]（Glück 和 Mui）中近期结果的启发，该结果在假设 $B$ 在 $L^1(\partial\Omega)$ 和 $L^\infty(\partial\Omega)$ 上均有界作用的条件下建立了超收缩性。作者指出，$L^1$ 上的条件主要用于促进涉及构造的正算子 $B_2$ 的控制论证。本文旨在通过避免控制技巧，转而直接在 Sobolev 空间 $H^1(\Omega)$ 上利用 Nash 不等式，从而对更广泛的算子 $B$ 类实现相同的超收缩性结果。

方法论
证明策略依赖于涉及半双线性形式、$C_0$-半群和插值不等式的泛函分析技术。方法论步骤如下：

1. 通过半双线性形式表述：
   问题在 $L^2(\Omega)$ 上使用定义域为 $H^1(\Omega)$ 的半双线性形式 $a_B$ 进行表述：
   $$a_B(u, v) = \int_\Omega A\nabla u \cdot \nabla v \, dx + \int_{\partial\Omega} B\gamma(u)\gamma(v) \, d\sigma$$
   由于 $a_B$ 可能不是耗散的（因为 $B$ 可能破坏正性），作者通过添加常数项 $\|B\|$ 引入辅助形式 $\tilde{a}_B$ 以确保耗散性。这使得能够生成 $C_0$-半群 $e^{-t\tilde{L}_B}$，并通过关系式 $e^{-tL_B} = e^{t\|B\|}e^{-t\tilde{L}_B}$ 恢复原始半群 $e^{-tL_B}$。

2. 伴随半群的正则性：
   关键步骤是建立伴随半群 $e^{-tL_B^*}$ 从 $L^1(\Omega)$ 到 $L^2(\Omega)$ 的连续性。这要求 $B$ 是 $L^\infty(\partial\Omega)$ 上的有界算子。利用 [2] 中关于 $L^\infty$-收缩性的结果以及 Hahn-Banach 延拓定理，作者证明了如果 $B \in \mathcal{L}(L^2(\partial\Omega))$ 在 $L^\infty(\partial\Omega)$ 上有界作用，那么 $e^{-tL_B^*}$ 可延拓为 $L^1(\Omega)$ 上的有界算子。

3. Nash 不等式的应用：
   论证的核心利用了 $H^1(\Omega)$ 上的 Nash 不等式，该不等式关联了 $L^2$、$L^1$ 和梯度范数：
   $$\|u\|_{L^2}^{2+4/d} \leq C_d \|u\|_{L^1}^{4/d} \|\nabla u\|_{L^2}^2$$
   通过对偶问题解的 $L^2$-范数演化应用该不等式，作者导出了一个微分不等式。求解该不等式得出了作用于 $L^1$ 数据的伴随半群的 $L^2$-范数的衰减估计：
   $$\|e^{-t\tilde{L}_B^*} u\|_{L^2} \leq C \exp(t\|B\|_{L^\infty \to L^\infty}) t^{-d/4} \|u\|_{L^1}$$

4. 对偶论证：
   最后，采用了对偶论证。由于伴随半群连续地将 $L^1$ 映射到 $L^2$，原始半群以相同的范数界连续地将 $L^2$ 映射到 $L^\infty$。

主要结果
主要定理（定理 3.1）指出，如果 $\Omega$ 是有界 Lipschitz 区域，$A$ 是一致椭圆的，且 $B \in \mathcal{L}(L^2(\partial\Omega))$ 在 $L^\infty(\partial\Omega)$ 上有界作用，则半群 $(e^{-tL_B})_{t \geq 0}$ 是超收缩的。具体而言，对于任意 $u \in L^2(\Omega)$ 和 $t > 0$：
$$\|e^{-tL_B} u\|_{L^\infty(\Omega)} \leq C \exp\left(t(\|B\|_{L^\infty \to L^\infty} + \|B\|)\right) t^{-d/4} \|u\|_{L^2(\Omega)}$$
该结果对 $t \in (0, 1]$ 成立（并通过调整常数推广至所有 $t>0$）。

意义与主张
本文声称其主要贡献是提供了一种替代证明，用于具有广义 Robin 边界条件的热半群的超收缩性，该证明放宽了对边界算子 $B$ 的假设。

• 条件的放宽： 与 [1] 中要求 $B$ 在 $L^1(\partial\Omega)$ 和 $L^\infty(\partial\Omega)$ 上均有界作用以利用控制论证的方法不同，本文仅要求 $B$ 在 $L^\infty(\partial\Omega)$ 上有界（此外还需在 $L^2(\partial\Omega)$ 上有界）。
• 方法论的转变： 作者证明了可以直接利用 Nash 不等式建立超收缩性，而无需构造控制正算子。
• 影响： 作者指出，由于 [1] 中的超收缩性结果是其主要结果（即最终正性，见 [1] 定理 1.4）的唯一先决条件，因此该超收缩性定理的推广自动将最终正性结果的有效性扩展到了这一更广泛的算子 $B$ 类。

本文保持了谦逊的语调，将结果呈现为利用既定分析工具（Nash 不等式和对偶性）对现有理论的改进，而非提出新的物理应用或实验框架。