[论文解读] Series expansions in Fréchet spaces and their duals; construction of Fréchet frames

Stevan Pilipović, Diana T. Stoeva|arXiv (Cornell University)|Sep 26, 2008

Mathematical Analysis and Transform Methods参考文献 16被引用 10

一句话总结

本文引入了弗雷chet空间 $X_F = \cap_{s\in\mathbb{N}_0} X_s$ 及其对偶空间的弗雷chet框架与预弗雷chet框架，建立了元素 $X_F$ 及其对偶空间中元素可由系数序列属于 $\Theta_F = \cap_{s\in\mathbb{N}_0} \Theta_s$ 进行级数展开的条件。主要贡献在于提出一种构造方法，可构建嵌套序列 $\{X_s\}$ 与 $\{\Theta_s\}$，使得给定的 $\Theta_0$-框架在 $X_0$ 上成为关于 $\Theta_F$ 的紧致预弗雷chet框架，从而在巴拿赫空间的投影极限中实现稳定重构。

ABSTRACT

Frames for Fréchet spaces $X_F$ with respect to Fréchet sequence spaces $Θ_F$ are studied and conditions, implying series expansions in $X_F$ and $X_F^*$, are determined. If $\{g_i\}$ is a $Θ_0$-frame for $X_0$, we construct a sequence $\{X_s\}_{s\in {\mathbb N}_0}$, $X_s\subset X_{s-1}$, $s\in {\mathbb N}$, for given $Θ_F$, respectively a sequence $\{Θ_s\}_{s\in {\mathbb N}_0}$, $Θ_s\subset Θ_{s-1}$, $s\in {\mathbb N}$, for given $X_F$, so that $\{g_i\}$ is a pre-$F$-frame (or $F$-frame) for $X_F$ with respect to $Θ_F$ under different assumptions given on $X_0$, $Θ_0$, $Θ_F$ or $X_0$, $Θ_0$, $X_F$.

研究动机与目标

• 为弗雷chet空间 $X_F = \cap_s X_s$ 及其对偶空间发展框架理论，将巴拿赫框架理论推广至非赋范空间。
• 确定序列 $\{g_i\}_{i=1}^\infty \subset X_F^*$ 满足何种条件时，对所有 $f \in X_F$ 有级数展开 $f = \sum_i g_i(f) f_i$，且对所有 $g \in X_F^*$ 有 $g = \sum_i g(f_i) g_i$。
• 构造嵌套序列 $\{X_s\}$ 与 $\{\Theta_s\}$，使得 $X_0$ 上的 $\Theta_0$-框架成为关于 $\Theta_F$ 的预弗雷chet或弗雷chet框架。
• 为测试函数空间及其对偶空间（如 $\mathcal{S}$ 与 $\mathcal{S}'$）提供框架展开的框架，通过投影极限实现。

提出的方法

• 针对弗雷chet序列空间 $\Theta_F$ 定义 $X_F$ 的预弗雷chet框架与弗雷chet框架，推广巴拿赫框架理论。
• 利用巴拿赫空间 $X_s \supset X_{s+1}$ 与序列空间 $\Theta_s \supset \Theta_{s+1}$ 的投影极限结构，定义 $X_F = \cap_s X_s$ 与 $\Theta_F = \cap_s \Theta_s$。
• 构造辅助序列 $\{z_i\}$ 与权值 $\{a_{i,s}\}$，使得 $\|f\|_s^2 = \sum_i a_{i,s}^2 |\langle f, e_i\rangle_0|^2$，将范数与系数序列关联。
• 建立系数集上的条件 $\mathcal{A}_1'$、$\mathcal{A}_2'$ 与 $\mathcal{A}_3'$，以确保极限下框架算子有界且可逆。
• 证明若 $\{g_i\}$ 是 $X_0$ 上的 $\Theta_0$-框架，且 $\{X_s\}$、$\{\Theta_s\}$ 构造得当，则 $\{g_i|_{X_F}\}$ 是关于 $\Theta_F$ 的紧致预弗雷chet框架。
• 利用 $X_F$ 与 $X_F^*$ 之间的对偶性，通过相同的系数序列导出对偶框架展开。

实验结果

研究问题

• RQ1 在何种条件下，$X_0$ 上的 $\Theta_0$-框架可扩展为投影极限 $X_F = \cap_s X_s$ 上的预弗雷chet框架？
• RQ2 给定 $X_0$ 上的 $\Theta_0$-框架，能否构造一列递减的巴拿赫序列空间 $\{\Theta_s\}$，使得该框架对每个 $X_s$ 仍为 $\Theta_s$-框架？
• RQ3 能否构造一列递减的巴拿赫空间 $\{X_s\}$，使得给定的 $\Theta_0$-框架对每个 $X_s$ 均为 $\Theta_s$-框架，从而在 $X_F$ 上形成弗雷chet框架？
• RQ4 何种条件可确保系数序列空间 $\Theta_F = \cap_s \Theta_s$ 支持通过极限下的框架算子实现稳定重构？

主要发现

• 若嵌套结构 $\{X_s\}$ 与 $\{\Theta_s\}$ 构造得当，则 $X_0$ 上的 $\Theta_0$-框架可扩展为关于 $\Theta_F = \cap_s \Theta_s$ 的紧致预弗雷chet框架。
• 预弗雷chet框架的框架算子有界且可逆，其算子范数不超过 1，从而在 $X_F$ 中确保稳定重构。
• 该构造保证 $X_F$ 在每个 $X_s$ 中稠密，且 $\Theta_F$ 在每个 $\Theta_s$ 中稠密，保持投影极限的拓扑结构。
• 对偶框架展开 $g = \sum_i g(f_i) g_i$ 对所有 $g \in X_F^*$ 成立，确认了弗雷chet框架下的对偶性。
• 该方法显式构造了权值 $a_{i,s}$ 与向量 $z_i$，使得 $\|f\|_s^2 = \sum_i a_{i,s}^2 |g_{i+1}(f)|^2$，将范数与系数序列关联。
• 本文为 $F$-有界投影的开放问题提供了构造性解法，表明在所构造条件下，紧致预弗雷chet框架存在此类投影。