[論文レビュー] Unconditional convergence and invertibility of multipliers

Diana T. Stoeva, Péter Balázs|arXiv (Cornell University)|Nov 14, 2009

Mathematical Analysis and Transform Methods参考文献 25被引用数 28

ひとこと要約

本稿は、ヒルバート空間における多重化演算子（解析、記号による乗算、再合成からなる演算子）の絶対収束性と可逆性を調査する。解析および再合成の系列と記号に基づき、これらの性質の十分かつ必要十分条件を確立し、可逆性が成立する場合には明示的な逆演算子の公式を提示する。特にリーズ基底の場合の完全な特徴付けを行う。

ABSTRACT

In the present paper the unconditional convergence and the invertibility of multipliers is investigated. Multipliers are operators created by (frame-like) analysis, multiplication by a fixed symbol, and resynthesis. Sufficient and/or necessary conditions for unconditional convergence and invertibility are determined depending on the properties of the analysis and synthesis sequences, as well as the symbol. Examples which show that the given assertions cover different classes of multipliers are given. If a multiplier is invertible, a formula for the inverse operator is determined. The case when one of the sequences is a Riesz basis is completely characterized.

研究の動機と目的

• ヒルバート空間における多重化演算子の絶対収束性についての十分かつ必要十分条件を特定すること。
• 解析および再合成の系列と記号の性質に基づいて多重化演算子の可逆性を特徴づけること。
• 可逆性が成立する場合に、逆演算子の明示的公式を導出すること。
• 片方の系列がリーズ基底である場合の可逆性を完全に特徴づけること。
• 反例および具体例を用いて理論的境界の鋭さと条件の独立性を示すこと。

提案手法

• ヒルバート空間 $ \mathcal{H} $ 内の系列 $ (\theta_k), (\rho_k) $ および記号系列 $ (m_k) $ を用いた形 $ M_{(m_n),( heta_n),( ho_n)}f = \nsum m_k \nlangle f, \theta_k \n angle \rho_k $ の多重化演算子を分析する。
• フレーム理論およびベッセル系列の性質を用いて収束性および可逆性の条件を導出する。
• スペクトル理論および作用素イデアル（特にシュタインのコンパクト作用素に関する研究）を応用する。
• 双対フレームおよびリーズ基底理論を用いて逆演算子の公式を導出し、特に標準双対の場合を重点的に扱う。
• ベッセル不等式およびノルム推定を用いて、$ m\Psi - \Phi^d $, $ \Psi - \Phi $, および関連系列に対する条件を検証する。
• 反例および構成的例を用いて、理論的境界の独立性および鋭さを示す。

実験結果

リサーチクエスチョン

• RQ1 系列 $ (\phi_n) $, $ (\psi_n) $ および記号 $ (m_n) $ にどのような条件下で、多重化演算子 $ M_{(m_n),(φ_n),(ψ_n)} $ が絶対収束するか？
• RQ2 多重化演算子 $ M_{(m_n),(φ_n),(ψ_n)} $ がいつ可逆であり、その逆演算子の明示的形は何か？
• RQ3 系列の性質（例えばベッセル性、過剰性、リーズ基底性）は、多重化演算子の可逆性にどのように影響するか？
• RQ4 可逆性の条件は互いに独立している可能性があるか？その証明はどのように行われるか？
• RQ5 可逆性基準の鋭さ境界は何か？具体例を用いてその妥当性をどのように検証するか？

主な発見

• 系列 $ (\phi_n) $ および $ (\psi_n) $ がリーズ基底であり、$ (m_n) $ が半正規化されている場合、多重化演算子 $ M_{(m_n),(φ_n),(ψ_n)} $ は可逆であり、その逆演算子は $ M_{(1/m_n),(ψ_n^d),(φ_n^d)} $ で与えられる。ここで $ \phi_n^d, \psi_n^d $ は標準双対を表す。
• 系列 $ (\phi_n) $ がフレームであり、$ (m_n) $ が正かつ半正規化されている場合、多重化演算子 $ M_{(m_n),(φ_n),(φ_n)} $ は、新たなフレームのフレーム作用素に対応するため可逆である。
• $ (m_n) \in c_0 $ であり、$ (\phi_n), (\psi_n) $ がともにベッセル系列である場合、多重化演算子はコンパクトであり、無限次元ヒルバート空間上では可逆でない。
• 命題 4.8 は、比 $ \sup|m_n|/\inf|m_n| $ および $ \Psi - \Phi $ のベッセル境界に基づく可逆性の十分条件を提示し、$ A_\Phi^{opt} $, $ B_\Phi^{opt} $, および $ B_{\Psi-\Phi}^{opt} $ を含む明示的境界を導出する。
• 命題 4.10 は、$ m\Psi - \Phi^d $ がノルムが $ \leq 1/B^{opt}_\Phi $ 以下のベッセル系列である場合の可逆性の十分条件を示し、この条件は命題 4.8 および 4.9 とは独立している。
• 例 5.6–5.11 は、命題 4.8, 4.9, 4.10 の条件が互いに独立しており、境界が鋭いことを示している。反例により、条件を満たさない場合に可逆性が成立しないことが確認されている。