Small-time estimates for a real moment problem with two-term Weyl spectral law

这篇论文《具有两项韦伊谱律的实矩问题的短时估计》（Short-Time Estimates for a Real Moment Problem with Two-Term Weyl Spectral Law）由 Rémi Buffe 和 Alessandro Duca 撰写，主要研究了在特定谱渐近条件下，实指数矩问题的可解性及其控制成本估计，并将这些结果应用于抛物型方程的零可控性和双线性控制问题。

以下是对该论文的详细技术总结：

1. 研究背景与问题定义

核心问题：
论文关注的是实矩问题（Moment Problem）的可解性。给定一个希尔伯特空间 $H = L^2(0, T; \mathbb{R})$ 和一个由递增正实数序列 $(\lambda_k)_{k \in \mathbb{N}^*}$ 生成的实指数族 $\xi_k(t) = e^{\lambda_k t}$。
问题在于：对于给定的序列 $(x_k) \subset \mathbb{R}$，是否存在控制函数 $u \in L^2(0, T)$ 使得：
$$\int_0^T e^{\lambda_k t} u(t) dt = x_k, \quad \forall k \in \mathbb{N}^*$$
并且，作者旨在给出控制成本（即 $u$ 的 $L^2$ 范数）关于时间 $T$ 的显式估计，特别是当 $T \to 0$ 时的行为。

谱序列假设：
序列 $(\lambda_k)$ 满足两项韦伊渐近律（Two-term Weyl asymptotic law）：
$$c_{W,1} \Gamma^a - c_{W,2} \Gamma^b \le N_\lambda(\Gamma) \le c_{W,1} \Gamma^a + c_{W,2} \Gamma^b$$
其中 $N_\lambda(\Gamma)$ 是计数函数，参数满足 $1/2 \le a < 5/8$ 和 $0 < b < 1/2$。
此外，序列还需满足一个非均匀的谱隙条件（Spectral Gap）：
$$\lambda_{k+1} - \lambda_k \ge \exp(-c_w \lambda_k^{1/2})$$
关键创新点： 该研究不要求谱序列满足传统的“块均匀间距”条件（uniform block-spacing condition），即允许谱在局部有任意大的聚集（condensation），只要满足上述渐近律和弱间隙条件即可。

2. 方法论

论文采用了一套结合矩方法（Moment Method）与Lebeau-Robbiano 策略的混合方法：

1. 双正交族的存在性与估计（Biorthogonal Families）：

   • 利用 [26] 中的结果，构造与指数族 $\{e^{\lambda_k t}\}$ 双正交的函数族 $\{\sigma_k\}$。
   • 通过引入辅助谱序列 $\nu_k$（对高频部分进行截断和重排），将原问题转化为满足特定块间隙条件的序列问题。
   • 证明了在满足两项韦伊律和弱间隙条件下，双正交族的 $L^2$ 范数具有形如 $\exp(C \lambda_k^{1/2} \Lambda^{1/2-\epsilon} + \dots)$ 的估计。

2. Lebeau-Robbiano 方法（Lebeau-Robbiano Method）：

   • 这是一种处理抛物型方程可控性的经典策略。
   • 步骤一（低频控制）： 在有限维子空间（由低频特征函数张成）上，利用矩方法构造控制，控制成本依赖于截断频率 $\Lambda$。
   • 步骤二（高频耗散）： 利用抛物方程（如热方程）的固有耗散性质，使得高频分量在极短时间内自然衰减。
   • 步骤三（迭代与优化）： 通过优化截断频率 $\Lambda$ 与时间 $T$ 的关系，将部分可控性推广到全空间，并得到最终的控制成本估计。

3. 双线性控制的局部精确可控性：

   • 利用线性系统的零可控性结果，结合线性化技术和不动点定理，推导双线性系统对特征解（eigensolutions）的局部精确可控性。

3. 主要结果

3.1 矩问题的可解性与成本估计 (Theorem 1.1)

对于满足上述假设的序列 $(\mu_k)$，若目标序列 $(x_k)$ 满足一定的衰减条件（由序列 $z_k$ 加权，且 $z_k$ 的下界为 $\exp(-C \mu_k^{1-\delta})$），则存在控制 $u$ 满足矩方程，且控制成本满足：
$$\|u\|_{L^2(0,T)} \le C \exp\left( \frac{C}{T^{\alpha_{\varepsilon, \delta}}} \right) \|zx\|_{\ell^2}$$
其中指数 $\alpha_{\varepsilon, \delta}$ 取决于谱参数 $a, b$ 和衰减参数 $\delta$。

• 意义： 即使谱序列存在非均匀的块聚集（即不满足传统的块间距条件），只要满足两项韦伊律，短时控制成本仍然是有限的（尽管随 $T \to 0$ 呈指数爆炸）。

3.2 抽象线性标量控制问题的零可控性 (Theorem 1.3)

对于由算子 $A$（特征值为 $\mu_k$）和控制算子 $B$ 定义的线性系统：
$$\xi'(t) + A\xi(t) + Bv(t) = 0$$
在控制算子 $B$ 满足类似矩问题中的非零性条件（$|\langle B, \phi_k \rangle| \ge \exp(-C \mu_k^{1-\delta})$）下，系统在任何 $T>0$ 时间内都是零可控的，且控制成本具有相同的指数估计形式。

3.3 双线性抛物方程的局部精确可控性 (Theorem 1.8)

对于双线性系统 $\psi' + A\psi + v(t)B\psi = 0$，证明了其具有短时局部精确可控性到特征解（Small-time local exact controllability to eigensolutions）。
这意味着，对于任意特征解 $\Phi_j(t) = e^{-\mu_j t}\phi_j$，只要初始状态 $\psi_0$ 足够接近 $\phi_j$，就可以通过控制 $v(t)$ 在任意短时间 $T$ 内将系统驱动到 $\Phi_j(T)$。

3.4 具体应用实例

• 高维区域上的分数阶双线性热方程： 论文展示了如何将理论应用于高维域上的双线性热方程。
• 矩形域上的双拉普拉斯算子（Bi-Laplace）： 构造了一个具体的例子（在矩形域上，边长比为代数无理数），其谱序列满足两项韦伊律但不满足均匀块间距条件。这证明了现有文献中基于均匀间距假设的结果无法覆盖此类情况，而本文的方法可以处理。

4. 关键贡献与意义

1. 放宽了谱假设： 传统文献（如 Fattorini, Russell, Lebeau-Robbiano 等）通常要求谱序列满足均匀间距或块均匀间距条件（Uniform Block Spacing）。本文证明了即使谱序列存在无界大小的聚集块（Unbounded block sizes），只要满足两项韦伊渐近律和弱指数间隙条件，短时可控性依然成立。
2. 显式控制成本估计： 提供了控制成本随时间 $T \to 0$ 变化的显式指数上界。这对于理解系统的“最小控制时间”（Minimal Control Time）至关重要。结果表明，在满足特定谱衰减条件下，最小控制时间为 0。
3. 凝聚指数（Condensation Index）为零： 论文证明了满足假设的谱序列其凝聚指数 $c(\mu) = 0$，这意味着不存在由谱凝聚引起的最小正控制时间障碍。
4. 扩展了双线性控制理论： 将双线性控制的局部精确可控性结果从一维或特定网络结构推广到了更一般的高维域和更复杂的谱结构（如双拉普拉斯算子）。

5. 总结

这篇文章通过改进矩方法中的双正交族估计，结合 Lebeau-Robbiano 策略，成功解决了一类具有复杂谱结构（两项韦伊律、非均匀聚集）的实矩问题。其核心突破在于证明了即使在没有均匀谱间距的情况下，只要谱分布符合特定的渐近规律，抛物型系统仍可在任意短时间内被控制。这一结果为高维空间、复杂几何域以及具有聚集谱的偏微分方程的可控性研究提供了新的理论工具和更广泛的适用范围。