[论文解读] 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

一句话总结

本文引入了在 Hardy 空间 $H^2$ 上的斜 H-Toeplitz 算子，作为一类通过加权移位、投影、乘法和翻转算子复合定义的新有界线性算子。主要贡献在于一个刻画结果：$H^2$ 上的算子是斜 H-Toeplitz 算子当且仅当其矩阵表示为斜 H-Toeplitz 矩阵，同时建立了自伴性、紧性和共正规性的附加条件。

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.

研究动机与目标

• 在 Hardy 空间 $H^2$ 上引入并定义斜 H-Toeplitz 算子类，作为 H-Toeplitz 算子和斜 Toeplitz 算子的推广。
• 通过其矩阵表示对斜 H-Toeplitz 算子进行刻画，建立算子为斜 H-Toeplitz 算子的充要条件。
• 研究这些算子的谱性质和结构性质，如自伴性、紧性和共正规性。
• 确定斜 Toeplitz 算子和斜 Hankel 算子与斜 H-Toeplitz 算子重合的条件。

提出的方法

• 将 $H^2$ 上的斜 H-Toeplitz 算子 $V_{\theta}$ 定义为 $V_{\theta}(f) = W P M_{\theta} K(f)$，其中 $W$、$P$、$M_{\theta}$ 和 $K$ 分别为加权移位、投影、乘法和翻转算子。
• 利用 $L^2$ 的标准正交基 $\{e_n\}$ 推导 $V_{\theta}$ 的矩阵表示，表明该矩阵为斜 H-Toeplitz 矩阵。
• 通过分析基向量上的作用并利用 $L^2$-范数恒等式，证明符号到算子的对应关系 $\theta \mapsto V_{\theta}$ 是单射。
• 应用酉变换和等距变换 $U$、$C_{z^k}$ 和 $M_{z^k}$，推导出刻画算子结构的交换关系。
• 利用 $H_{\theta}$ 和 $B_{\theta}$ 的矩阵元素，推导出 $\theta$ 的傅里叶系数 $a_n$ 的递推关系，进而得出系数衰减和正交性条件。
• 通过分析所得的系数约束和范数行为，证明 $V_{\theta}$ 的自伴性、紧性或共正规性。

实验结果

研究问题

• RQ1 在 $H^2$ 上的有界线性算子何时为斜 H-Toeplitz 算子？其矩阵结构如何刻画？
• RQ2 在何种条件下，斜 Hankel 算子与斜 H-Toeplitz 算子重合？
• RQ3 $\theta \in L^\infty$ 的符号需满足何种充要条件，才能使 $V_{\theta}$ 为自伴、紧或共正规算子？
• RQ4 符号映射 $\theta \mapsto V_{\theta}$ 的单射性如何与 $\theta$ 的傅里叶系数相关？
• RQ5 当 $V_{\theta}$ 为斜 H-Toeplitz 算子时，$\theta$ 会引出何种正交性条件？

主要发现

• $H^2$ 上的算子是斜 H-Toeplitz 算子当且仅当其矩阵表示为斜 H-Toeplitz 矩阵。
• 符号到算子的映射 $\theta \mapsto V_{\theta}$ 是单射，即不同的符号对应不同的算子。
• 若 $V_{\theta}$ 为自伴算子，则 $\theta$ 的傅里叶系数 $a_n$ 满足 $a_n = \overline{a_{-n}}$ 且对所有 $n \geq 0$ 有 $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$ 成立，故 $a_n = 0$ 对 $n \geq 3$。
• 斜 Hankel 算子 $L_{\theta}$ 为斜 H-Toeplitz 算子当且仅当 $\theta \in (z + z^3 H^\infty)^\perp$，即 $\theta$ 与形如 $z + z^3 \psi$（$\psi \in H^\infty$）的函数正交，这导致 $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$。