[論文レビュー] On Φ-Schauder frames

Lalit Kumar Vashisht|Feb 25, 2013

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

ひとこと要約

本稿では、双対関数型がゼロから一様に離れていることと、すべてのフレームベクトルで値が1となる共通の汎関数Φが存在することを特徴とする、Banach空間におけるΦ-Schauderフレームを導入し、その性質を調査する。主な貢献は、SchauderフレームがΦ-Schauderフレームであるための必要十分条件の特定である。具体的には、固定された非ゼロベクトルによる摂動によって逆行Banachフレーム構造が得られないことと同値であり、フレーム幾何学と作用素論的双対性の深い関係を示している。

ABSTRACT

In this short note we introduce and study a particular type of Schauder frames, namely, Φ-Schauder frames.

研究の動機と目的

• 新しいSchauderフレームのクラス、すなわち双対関数型に一様な下界が存在し、すべてのnに対してΦ(xₙ) = 1を満たす共通の汎関数Φが存在するという特徴で定義されるΦ-Schauderフレームを、形式的に導入・定義すること。
• SchauderフレームがΦ-Schauderフレームであるための必要十分条件を確立すること。特に、摂動されたフレームベクトルに対して逆行Banachフレーム構造が存在しないことの非存在性に注目すること。
• Φ-Schauderフレームが有限個のBanach空間の積空間における構成に対して安定で、構造的性質を保つことの証明。具体的には、Banach空間の有限積においてこのクラスが保存されることを示すこと。
• Φ-SchauderフレームとタイプPの逆行Banachフレームとの関係を明確にすること。両者のクラスは同等ではなく、互いに含まず、一方が他方を含意しないこと。

提案手法

• Φ-Schauderフレームを、Banach空間EにおけるSchauderフレーム(xₙ, fₙ)として定義する。ここで、infₙ‖fₙ‖ > 0 であり、すべてのn ∈ ℕに対してΦ(xₙ) = 1を満たすΦ ∈ E* が存在する。
• 補題1.1を用いて、摂動されたフレームベクトルに消える非自明な汎関数の存在と、逆行Banachフレーム構造の非存在との関係を確立する。
• 十分条件を構成する：もしE*に対して({xₙ + z₀}, W)が逆行Banachフレームを形成するような再構成作用素Wが存在しないならば、(xₙ, fₙ)はΦ-Schauderフレームである。
• Φ(z₀) = -1を満たすz₀に対して、背理法を用いて条件が必要条件であることを証明する。逆行フレーム不等式を用いる。
• EとFの各々にフレームが存在する場合、E × Fの積空間上にΦ-Schauderフレームを構成する。構成法は、EとFのフレームを成分ごとに交互に配置する方法である。
• E* × F* への(E × F)* の標準的同一視を用い、構成された系がSchauderフレーム条件を満たし、Φ性質を引き継ぐことを確認する。

実験結果

リサーチクエスチョン

• RQ1 Banach空間におけるSchauderフレームがΦ-Schauderフレームであるための条件は何か？
• RQ2 摂動された系({xₙ + z₀}, W)に対して逆行Banachフレームが存在するかどうかと、Φ-Schauderフレーム性の間にはどのような関係があるか？
• RQ3 それぞれがΦ-Schauderフレームをもつ2つのBanach空間の積空間に、Φ-Schauderフレームを導入できるか？
• RQ4 Φ-SchauderフレームとタイプPの逆行Banachフレームとの間に非自明な関係は存在するか？
• RQ5 関連する逆行BanachフレームがタイプPでない場合でも、SchauderフレームがΦ-Schauderフレームであることは可能か？

主な発見

• Schauderフレーム(xₙ, fₙ)がΦ-Schauderフレームであるための必要十分条件は、E*に対して({xₙ + z₀}, W)が逆行Banachフレームを形成するような再構成作用素Wが存在しないことである。ただしz₀はEの非ゼロベクトルである。
• Φ-Schauderフレーム(xₙ, fₙ)であり、z₀ ∈ EがΦ(z₀) = -1を満たすならば、摂動された系({xₙ + z₀}, Θ₀)に対して逆行Banachフレーム構造は存在しない。
• EとFがそれぞれΦ-Schauderフレームをもつならば、ℓ¹-型またはℓ∞-型ノルムを備えた積空間E × Fは、成分ごとの交互配置による構成法によってΦ-Schauderフレームをもつ。
• Φ-Schauderフレームの関連する逆行Banachフレームは、必ずしもタイプPではない。例2.1(a)は、フレームがΦ-Schauderであるが、関連する逆行BanachフレームがタイプPでない反例を示している。
• タイプPの逆行Banachフレームをもつことは、元のSchauderフレームがΦ-Schauderフレームであることを意味しない。例2.1(b)は、SchauderフレームがタイプPの関連逆行Banachフレームをもつが、infₙ‖fₙ‖ = 0 であるためΦ-Schauder条件を満たさない反例を示している。
• フレームベクトルが全関数型である場合、Φ-Schauderフレームに付随する汎関数Φは一意的である。これは、{xₙ + z₀}に消える非自明な汎関数ϕからΦ = -ϕ/ϕ(z₀)を構成することで示される。