[論文レビュー] Slant H-Toeplitz Operators on the Hardy space

A. Gupta, Shivam Kumar Singh|arXiv (Cornell University)|Jan 12, 2018

Holomorphic and Operator Theory参考文献 4被引用数 3

ひとこと要約

本稿では、重み付きシフト、射影、乗算、反転作用素の合成を介して定義される、ヒルバート空間 $H^2$ 上の新しい有界線形作用素としてのスラント H-トーペリッツ作用素を導入する。主な貢献は、$H^2$ 上の作用素がスラント H-トーペリッツ作用素であるための必要十分条件を示すもので、その行列表現がスラント H-トーペリッツ行列であることに帰着される。さらに、自己随伴性、コンパクト性、および準正規性に関する追加条件も確立されている。

ABSTRACT

The notion of slant H-Toeplitz operator $V_ϕ$ on the Hardy space $H^2$ is introduced and its characterizations are obtained. We have shown that an operator on the space $H^2$ is slant H-Toeplitz if and only if its matrix is a slant H-Toeplitz matrix. In addition the conditions under which slant Toeplitz and slant Hankel operators become slant H-Toeplitz operators are also obtained.

研究の動機と目的

• スラント H-トーペリッツ作用素のクラスを、H-トーペリッツ作用素およびスラント トーペリッツ作用素の一般化として、$H^2$ 上に導入・定義すること。
• 作用素の行列表現に基づいてスラント H-トーペリッツ作用素を特徴づけ、作用素がスラント H-トーペリッツ作用素であるための必要十分条件を確立すること。
• これらの作用素のスペクトル的および構造的性質、たとえば自己随伴性、コンパクト性、および準正規性を調査すること。
• スラント トーペリッツ作用素およびスラント ハンケル作用素がスラント H-トーペリッツ作用素と一致する条件を特定すること。

提案手法

• 作用素 $W$, $P$, $M_{ heta}$, $K$ をそれぞれ重み付きシフト、射影、乗算、反転作用素とする。$H^2$ 上のスラント H-トーペリッツ作用素 $V_{ heta}$ を $V_{ heta}(f) = W P M_{ heta} K(f)$ として定義する。
• $L^2$ の正規直交基底 $\{e_n\}$ を用いて $V_{ heta}$ の行列表現を導出し、その行列がスラント H-トーペリッツ行列であることを示す。
• 基底ベクトルへの作用の解析と $L^2$-ノルム恒等式の利用により、記号から作用素への対応 $\theta \mapsto V_{ heta}$ が単射であることを確立する。
• ユニタリ変換および等長変換 $U$, $C_{z^k}$, $M_{z^k}$ を適用し、作用素構造を特徴付ける可換関係を導出する。
• $H_{ heta}$ および $B_{ heta}$ の行列成分を用いて、$\theta$ のフーリエ係数 $a_n$ に対する再帰的関係を導出し、係数の減衰および直交性条件に到達する。
• 得られた係数制約およびノルムの挙動を解析することで、$V_{ heta}$ が自己随伴、コンパクト、または準正規であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有界線形作用素が $H^2$ 上でスラント H-トーペリッツ作用素であるのはいつか？ その行列構造はどのように特徴づけられるか？
• RQ2 スラント ハンケル作用素がスラント H-トーペリッツ作用素と一致するのはどのような条件下か？
• RQ3 $\theta \in L^\infty$ の符号について、$V_{\theta}$ が自己随伴、コンパクト、または準正規であるための必要十分条件は何か？
• RQ4 $\theta \mapsto V_{\theta}$ の写像の単射性は、$\theta$ のフーリエ係数とどのように関係するか？
• RQ5 スラント H-トーペリッツ作用素であるとき、$\theta$ にどのような直交性条件が生じるか？

主な発見

• 作用素が $H^2$ 上でスラント H-トーペリッツ作用素であるための必要十分条件は、その行列表現がスラント H-トーペリッツ行列であることである。
• 記号から作用素への写像 $\theta \mapsto V_{\theta}$ は単射であり、異なる記号は異なる作用素を生成する。
• もし $V_{\theta}$ が自己随伴であれば、$\theta$ のフーリエ係数 $a_n$ はすべての $n \geq 0$ に対して $a_n = \overline{a_{-n}}$ および $a_{2n+1} = 0$ を満たし、これは $\theta$ が単位円上で偶関数かつ実数であることを意味する。
• もし $V_{\theta}$ がコンパクトであれば、$|n| \to \infty$ のとき $a_n \to 0$ であり、さらに制約からすべての $n \geq 0$ に対して $a_{2n+1} = 0$ が得られ、$a_n = 0$ ($n \geq 3$) となる。
• スラント ハンケル作用素 $L_{\theta}$ がスラント H-トーペリッツ作用素であるのは、$\theta \in (z + z^3 H^\infty)^\perp$ のときに限る。これは、$\psi \in H^\infty$ に対して $\theta$ が $z + z^3 \psi$ と直交することを意味し、$a_1 = a_n$ ($n \geq 3$) および $a_n \to 0$ を導く。その結果、$a_n = 0$ ($n \geq 3$) となり、$\theta = \sum_{n=-\infty}^0 a_n z^n + a_2 z^2$ となる。