[论文解读] Exponential Riesz bases of subspaces and divided differences

Sergei Avdonin, С. А. Иванов|ArXiv.org|Mar 26, 2001

Stability and Controllability of Differential Equations参考文献 9被引用 13

一句话总结

本文将 D. Ullrich 关于差商指数 Riesz 基的结果推广到谱点分组为任意大小簇（所有簇点均靠近整数）的指数函数族。关键贡献是通过 Gram 矩阵及其逆矩阵的均匀有界性，对指数差商的 Riesz 基进行了完整刻画，确保了谱点聚类下的稳定性。

ABSTRACT

Linear combinations of exponentials $e^{iλ_kt}$ in the case where the distance between some points $λ_k$ tends to zero are studied. D. Ullrich has proved the basis property of the divided differences of exponentials in the case when the groups consist of equal number of points all of them are close enough to integers. We have generalized this result for groups with arbitrary number of close points and obtained a full description of Riesz bases of exponential divided differences. The application to a control problem is presented.

研究动机与目标

• 将 D. Ullrich 关于等大小簇的指数 Riesz 基差商结果推广至任意簇大小。
• 在谱点被分组为靠近整数的簇时，对 $ L^2(0,T) $ 中指数差商的 Riesz 基提供完整刻画。
• 在谱点聚类存在的情况下，建立广义差商（GDD）族 Gram 矩阵及其逆矩阵的均匀有界性。
• 将 Pavlov 关于子空间 Riesz 基的方法推广至非均匀簇大小的情形，确保谱点扰动下的稳定性。

提出的方法

• 作者为谱点 $ \Lambda^{(p)} $ 聚类（靠近整数）的指数函数族定义广义差商（GDD）。
• 他们利用生成函数理论和 Helson–Szegő 条件，将 $ L^2(0,T) $ 中的 Riesz 基刻画为正交投影 $ P_T $ 有界的条件。
• 核心方法是通过紧致性与反证法，证明所有簇中 Gram 矩阵 $ \Gamma_p $ 及其逆矩阵 $ \Gamma_p^{-1} $ 的均匀有界性。
• 证明依赖于：当谱点发生小扰动时，GDD 保持线性无关且一致有界，此结论通过连续性与极限论证得出。
• 他们建立：逆 Gram 矩阵的范数被 $ \delta_p^{-2(n-1)} $ 控制，其中 $ \delta_p $ 为簇 $ p $ 中点之间的最小距离，$ n $ 为簇的大小。
• 通过取极限，将分析扩展至多重点（重复谱值）情形，确保 GDD 与 Gram 矩阵在参数上的连续性。

实验结果

研究问题

• RQ1 当谱点被分组为任意大小簇（靠近整数）时，指数差商族在 $ L^2(0,T) $ 中形成 Riesz 基的条件是什么？
• RQ2 如何在簇大小不同时，统一刻画 Riesz 基性质，特别是在分离条件失效时？
• RQ3 Gram 矩阵及其逆矩阵对簇大小和簇内最小间距的依赖关系如何？
• RQ4 在谱点聚类存在的情况下，能否将正交投影 $ P_T $ 的有界性与 GDD 的 Gram 矩阵及其逆矩阵的均匀有界性联系起来？
• RQ5 广义差商在谱点扰动下如何表现？什么确保了其在极限下的线性无关性？

主要发现

• 当且仅当所有簇中 Gram 矩阵 $ \Gamma_p $ 及其逆矩阵 $ \Gamma_p^{-1} $ 均均匀有界时，与聚类谱点相关的广义差商（GDD）族在 $ L^2(0,T) $ 中构成 Riesz 基。
• 逆 Gram 矩阵 $ \Gamma_p^{-1} $ 的范数被 $ \delta_p^{-2(n-1)} $ 控制，其中 $ \delta_p $ 为簇 $ p $ 中不同点之间的最小距离，$ n $ 为簇中点的个数。
• 若谱点位于固定条带 $ S $ 内，且在每个簇内均匀分离，则 Gram 矩阵 $ \Gamma_p $ 及其逆矩阵在 $ p $ 上一致有界。
• 证明表明：在扰动下，线性无关 GDD 的极限仍保持线性无关，从而确保了 Riesz 基性质在小谱扰动下的稳定性。
• 该结果将 Ullrich 早期关于等大小簇的工作推广至任意簇大小，提供了指数差商 Riesz 基的完整刻画。
• 分析证实：指数子空间的 Riesz 基性质等价于 Gram 矩阵及其逆矩阵的均匀有界性，将 Pavlov 框架推广至非均匀簇结构。