技术摘要：逆生成元问题及其相关问题的解

1. 问题陈述

本文探讨了关于希尔伯特空间 $H$ 上 $C_0$-半群生成元 $A$ 的三个密切相关的开放问题：

1. 逆生成元问题（The Inverse Generator Problem）： 由 deLaubenfels 提出，该问题询问：若 $A$ 生成一个具有稠密值域的有界 $C_0$-半群，那么逆算子 $A^{-1}$（定义在 $A$ 的稠密值域上）是否也生成一个有界的 $C_0$-半群？虽然对于扇形算子（sectorial operators）和收缩半群（contractive semigroups）已存在正向结果，但在希尔伯特空间上的一般情况仍是一个开放问题。以往在希尔伯特空间上的反例要么涉及无界原半群，要么仅建立了对数增长界限。
2. 凯莱变换（Cayley Transforms）的幂有界性： 对于有界 $C_0$-半群生成元 $A$，凯莱变换定义为 $C_h(A) = (I + \frac{h}{2}A)(I - \frac{h}{2}A)^{-1}$。已知这些变换满足普通的 Kreiss 判别条件。问题在于它们是否必然是“强” Kreiss 有界的，或者是否是幂有界的（即 $\sup_m \|C_h(A)^m\| < \infty$）。
3. Crank–Nicolson 格式的稳定性： 该格式通过 $u_{k+1} = C_h(A)u_k$ 来近似求解 $u' = Au$。稳定性要求凯莱变换的幂次是一致有界的。虽然该格式对于收缩半群或解析半群是稳定的，但对于希尔伯特空间上的一般有界生成元，其稳定性仍是一个开放问题。

2. 研究方法

作者通过将无限维问题归约为有限维构造，构建了显式的反例。核心方法论包括：

• 有限维反例： 定理 1.1 确立了存在一列可逆且可对角化的矩阵 $(A_n)_{n \ge 1} \in M_{2n}(\mathbb{C})$，这些矩阵具有特定的谱性质和范数性质。
• 受控无条件性的显式基底： 该构造依赖于源自 Ansorena 研究的 $\mathbb{C}^{2n}$ 的显式基底 $(z_j)_{j=1}^{2n}$。这些基底具有一致有界的偏和投影，但其无条件常数随 $n^\alpha$ 增长（其中 $\alpha \in (0, 1)$ 为选定值）。
• Schauder 乘子： 矩阵 $A_n$ 被定义为相对于这些基底的 Schauder 乘子。其特征值 $(\lambda_k)$ 被选自模长呈双指数衰减的序列，具体为 $\lambda_k = (-1 + i y_k)^{-1}$，其中 $y_k$ 是递归定义的整数序列（$y_{k+1} = y_k^2 + 1$）。
• 无限维扩展： 无限维算子通过这些有限维块的直和（或直积分）来构造。这使得作者能够将有限维块的增长特性转移到无限维设置中，同时保持生成元的性质。

3. 核心贡献与结果

逆生成元问题

本文为希尔伯特空间上的逆生成元问题提供了否定性解答。

• 强稳定情形： 存在一个具有稠密值域的有界算子 $A$，它生成一个强稳定 $C_0$-半群，但 $A^{-1}$ 并不生成任何 $C_0$-半群。
• 指数稳定情形： 存在一个指数稳定生成元 $A$（满足 $0 \in \rho(A)$），使得由 $A^{-1}$ 生成的半群是无界的。具体而言，其增长至少为双对数增长：
  $$\|e^{tA^{-1}}\| \gtrsim (\log \log(t + e^e))^\alpha$$
  这与已知对于指数稳定生成元的对数上界 $\|e^{tA^{-1}}\| \lesssim \log(e+t)$ 形成了对比。

幂有界性与 Kreiss 条件

本文证明了对于半群生成元的凯莱变换，普通的 Kreiss 条件并不意味着强 Kreiss 有界性或幂有界性。

• 对于任何 $\alpha \in (0, 1)$，都存在生成元使得其凯莱变换 $C_h(A)$ 满足一致常数的普通 Kreiss 条件，但不是强 Kreiss 有界的。
• 凯莱变换的幂次满足下界：
  $$\|C_h(A)^m\| \gtrsim (\log \log(m/h + e^e))^\alpha$$
  这解决了关于一般希尔伯特空间估计中对数增长因子最优性的开放问题。

Crank–Nicolson 格式的稳定性

因此，研究表明对于希尔伯特空间上的一般有界生成元，Crank–Nicolson 格式在算子范数意义下是不稳定的。

• 长期不稳定性： 对于任何固定的步长 $h$，近似误差随时间 $t \to \infty$ 而无界增长。
• 网格加密不稳定性： 对于任何固定的最终时间 $T$，近似误差随步长 $h \to 0$（即当步数 $m \to \infty$ 时）而无界增长。
• 这种发散阶数为 $(\log \log m)^\alpha$。

4. 意义与主张

作者声称其结果为上述三个问题提供了明确的否定回答。

• 最优性： 由于存在指数 $\alpha < 1$，普通 Kreiss 常数与强 Kreiss 常数之间的维度相关分离被证明在本质上是优化的（至多损失一个任意小的幂次）。
• 与既往结果的对比： 本研究强调，以往在希尔伯特空间上的正向结果依赖于特定的结构假设（收缩性、解析性或扇形性），而这些假设在所构造的反例中并不成立。
• 数值含义： Crank–Nicolson 格式的不稳定性意味着，对于一般的希尔伯特空间上的 $C_0$-半群，不能仅凭生成元的有界性来保证收敛性；由于该格式对于某些初始向量可能失效，因此需要初始数据的正则性才能保证收敛。

文章总结道，这种“双对数”增长是这些反例的一个基本特征，其产生于特征值的双指数衰减与底层基底的无条件常数之间特定的相互作用。