[論文レビュー] 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の差分の指数的リース基底に関する結果を一般化し、スペクトル点が任意のサイズのクラスタにグループ化され、すべて整数に近い場合の指数関数族への拡張を試みる。主な貢献は、グラム行列およびその逆行列の一様有界性に基づく、差分の指数的リース基底の完全な特徴付けであり、これによりスペクトル点のクラスタリングに対する安定性が保証される。

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の等サイズクラスタに限定された指数的リース基底の結果を、任意のクラスタサイズへ拡張すること。
• スペクトル点が整数に近いクラスタにグループ化される場合の、$ L^2(0,T) $ における指数的差分のリース基底の完全な特徴付けを提供すること。
• スペクトル点がクラスタリングされている状況下での一般化された差分（GDD）の家族におけるグラム行列およびその逆行列の一様有界性を確立すること。
• パヴロフの部分空間のリース基底へのアプローチを、非一様なクラスタサイズの状況に一般化し、スペクトル点の摂動に対して安定性を保証すること。

提案手法

• 著者らは、スペクトル点 $ \Lambda^{(p)} $ が整数に近いクラスタにグループ化された指数関数族に対して、一般化された差分（GDD）を定義する。
• 生成関数の理論とヘルソン＝ツェゴ条件を用いて、$ L^2(0,T) $ におけるリース基底を特徴づけ、これと直交射影 $ P_T $ の有界性を関連付ける。
• 中心的な手法は、コンパクトネスと背理法を用いて、すべてのクラスタにわたるグラム行列 $ \Gamma_p $ 及びその逆行列 $ \Gamma_p^{-1} $ の一様有界性を証明することである。
• GDDがスペクトル点の小さな摂動のもとでも線形独立性を保ち、一様有界性を保つことの根拠として、連続性および極限の議論を用いる。
• 逆グラム行列のノルムが $ \delta_p^{-2(n-1)} $ で有界であることを示し、ここで $ \delta_p $ はクラスタ $ p $ 内の異なる点間の最小距離、$ n $ はクラスタサイズを表す。
• 重複するスペクトル値（複数点）の状況への拡張は、極限をとることで行い、パラメータに関するGDDおよびグラム行列の連続性を保証する。

実験結果

リサーチクエスチョン

• RQ1 スペクトル点が整数に近い任意サイズのクラスタにグループ化される場合、指数的差分の族が $ L^2(0,T) $ でリース基底をなすための条件は何か？
• RQ2 分離条件が成立しない場合を含め、サイズが異なるクラスタにわたる一様なリース基底性の特徴付けはどのように可能か？
• RQ3 グラム行列およびその逆行列は、クラスタサイズおよびクラスタ内最小間隔にどのように依存するか？
• RQ4 スペクトル点がクラスタリングされている状況下で、直交射影 $ P_T $ の有界性は、GDDのグラム行列の一様有界性とどのように関連するか？
• RQ5 スペクトル点の摂動に対して一般化された差分はどのように振る舞い、何が極限における線形独立性を保証するか？

主な発見

• スペクトル点がクラスタリングされている場合、関連する一般化された差分（GDD）の族が $ L^2(0,T) $ でリース基底をなすための必要十分条件は、すべてのクラスタにわたるグラム行列 $ \Gamma_p $ 及びその逆行列 $ \Gamma_p^{-1} $ が一様に有界であることである。
• 逆グラム行列 $ \Gamma_p^{-1} $ のノルムは $ \delta_p^{-2(n-1)} $ で有界であり、ここで $ \delta_p $ はクラスタ $ p $ 内の異なる点間の最小距離、$ n $ はクラスタ内の点数を表す。
• スペクトル点が固定された帯域 $ S $ にあり、各クラスタ内で一様に分離されている限り、グラム行列 $ \Gamma_p $ 及びその逆行列は $ p $ にわたって一様に有界である。
• 証明により、摂動下での線形独立なGDDの極限が線形独立性を保つことが示され、スペクトル点の小さな摂動に対してもリース基底性の安定性が保証される。
• 本結果は、Ullrichの以前の等サイズクラスタへの結果を任意のクラスタサイズへ一般化し、指数的差分のリース基底の完全な特徴付けを提供する。
• 解析により、指数関数の部分空間におけるリース基底性が、グラム行列およびその逆行列の一様有界性と同値であることが確認され、パヴロフの枠組みが非一様クラスタ構造へ拡張された。