[论文解读] Adjoint of Pair Frames

Abolhassan Fereydooni, Ahmad Safapour+1 more|arXiv (Cornell University)|Aug 9, 2012

Mathematical Analysis and Transform Methods参考文献 12被引用 3

一句话总结

本文将$(p,q)$-对框架的概念推广至巴拿赫空间中的$(\ell,\ell^*)$-对框架，并为巴拿赫空间的对偶空间引入了对偶（共轭）框架。本文建立了对偶框架存在的条件，证明了若$(G,F)$是巴拿赫空间$\mathrm{X}$上的$(\ell,\ell^*)$-对贝塞尔序列或框架，则$(F,G)$构成对偶空间$\mathrm{X^*}$上的相应对贝塞尔序列或框架，且在适当的算子条件下保持可逆性。

ABSTRACT

The concept of (p,q)-pair frames is generalized to (l,l^*)-pair frames. Adjoint (conjugate) of a pair frames for dual space of a Banach space is introduced and some conditions for the existence of adjoint (conjugate) of pair frames are presented.

研究动机与目标

• 将$(p,q)$-对框架的概念推广至自反巴拿赫空间中的$(\ell,\ell^*)$-对框架。
• 为巴拿赫空间对偶空间中的对框架定义并研究其对偶（共轭）框架。
• 建立对偶框架存在的条件，确保其保持贝塞尔序列和可逆性等框架性质。
• 通过伴随构造，探索巴拿赫空间中对框架与其在对偶空间中对应物之间的对偶关系。
• 将已知的关于Schauder框架、原子分解和巴拿赫框架的结果扩展至对框架及其对偶的语境。

提出的方法

• 通过有界线性算子$T: \ell \to \mathrm{X}$和分析算子$U_G: \mathrm{X} \to \mathbb{C}^\mathbb{I}$引入$(\ell,\ell^*)$-对贝塞尔序列和$(\ell,\ell^*)$-对框架的概念，其中$\ell$为巴拿赫序列空间。
• 通过合成算子$T^*$和分析算子$U_G^*$的对偶，定义对偶对框架，从而在对偶空间中构造新对$(\{W^*g_i\}, \{Vf_i\})$。
• 利用$\ell$与$\ell^*$之间的对偶性，特别是在$\ell$为BK空间或Schauder序列空间时，确保对偶空间的连续性和等距同构性。
• 应用无条件收敛与排列不变性的理论，处理对框架的无条件与一般情形。
• 采用算子理论工具，如有界性、可逆性及算子复合，以在伴随变换下保持框架性质。
• 依赖泛函分析中的既定结果，包括通过Riesz表示定理将$\ell^*$识别为$\ell$上泛函的系数序列空间$\ell^{\circledast}$。

实验结果

研究问题

• RQ1 在何种条件下，巴拿赫空间对偶空间中$(\ell,\ell^*)$-对框架的对偶存在？
• RQ2 能否通过伴随运算，利用巴拿赫空间$\mathrm{X}$中的对框架构造其对偶空间$\mathrm{X^*}$中的对应对框架？
• RQ3 贝塞尔序列和框架算子的性质在伴随构造下如何变换？
• RQ4 框架算子$S_{FG}$的可逆性与其实对偶$S^*_{TG}$的可逆性之间有何关系？
• RQ5 在何种情况下，Schauder框架或原子分解的对偶在对偶空间中仍保持为Schauder框架或原子分解？

主要发现

• 若$(G,F)$是巴拿赫空间$\mathrm{X}$上的$(\ell,\ell^*)$-对贝塞尔序列，则$(F,G)$是其对偶空间$\mathrm{X^*}$上的$(\ell^*,\ell)$-对贝塞尔序列，且框架算子$S_{FG}^*$有定义且有界。
• 通过有界算子$V, W$构造的对框架$(G,F)$的对偶$(\{W^*g_i\}, \{Vf_i\})$，若$V$和$W$可逆，则仍为对框架。
• 当$\ell$为Schauder序列空间（CB空间）或RCB空间时，其对偶$\ell^*$与$\ell^{\circledast}$等距同构，从而实现关键的自然识别，对对偶性至关重要。
• 若$T: \ell \to \mathrm{X}$为有界算子，且$(G,T)$是$\mathrm{X}$上的巴拿赫框架，则存在一族$H = \{h_i\} \subset \mathrm{X^*}$，使得$(H, T_G)$是$\mathrm{X^*}$上关于$\ell^*$的巴拿赫框架。
• $\mathrm{X}$上存在$(\ell,\ell^*)$-原子分解当且仅当其对偶对$(F,G)$在$\mathrm{X^*}$上形成$(\ell^*,\ell)$-原子分解，且在相同条件下成立。
• 对偶对框架保持无条件性：若$(G,F)$为无条件对框架，则$(F,G)$为$\mathrm{X^*}$上的无条件对框架，前提是$\ell$为无条件巴拿赫序列空间。