[论文解读] On a J-polar decomposition of a bounded operator and matrix representations of J-symmetric, J-skew-symmetric operators

Sergey M‎. ‎Zagorodnyuk|ArXiv.org|Oct 14, 2009

Spectral Theory in Mathematical Physics参考文献 4被引用 6

一句话总结

本文为配备共轭算子 $ J $ 的希尔伯特空间上有界线性算子建立了 $ J $-极分解，将经典极分解推广至 $ J $-对称与 $ J $-反对称算子。它刻画了零集 $ H_{J;0} = \{x \in H : [x,x]_J = 0\} $，证明其为闭的、无内点的稠密子空间，并在其中构造了标准正交基，从而实现了 $ J $-对称与 $ J $-反对称算子的矩阵表示。

ABSTRACT

In this work a possibility of a decomposition of a bounded operator which acts in a Hilbert space $H$ as a product of a J-unitary and a J-self-adjoint operators is studied, $J$ is a conjugation (an antilinear involution). Decompositions of J-unitary and unitary operators which are analogous to decompositions in the finite-dimensional case are obtained. A possibility of a matrix representation for J-symmetric, J-skew-symmetric operators is studied. Also, some simple properties of J-symmetric, J-antisymmetric, J-isometric operators are obtained, a structure of a null set for a J-form is studied.

研究动机与目标

• 发展希尔伯特空间上有界线性算子的 $ J $-极分解，其形式与经典极分解类似。
• 利用与共轭算子 $ J $ 对应的基，研究 $ J $-对称与 $ J $-反对称算子的矩阵表示。
• 刻画 $ J $-零集 $ H_{J;0} = \{x \in H : [x,x]_J = 0\} $ 的结构，特别是其拓扑与代数性质。
• 证明 $ H_{J;0} $ 是闭的、无内点的稠密子空间，并存在满足 $ [x,x]_J = 0 $ 的标准正交基。

提出的方法

• 通过满足 $ J^2 = E $ 且 $ (Jx,Jy) = \overline{(x,y)} $ 的共轭算子 $ J $，定义 $ J $-形式 $[x,y]_J := (x, Jy)$。
• 通过条件 $ [Ax,y]_J = [x,Ay]_J $ 与 $ [Ax,y]_J = -[x,Ay]_J $ 分别引入 $ J $-对称与 $ J $-反对称算子。
• 构造 $ J $-标准正交基 $ \mathcal{F} = \{f_k\}_{k \in \mathbb{Z}_+} $，使得对 $ x = \sum x_k f_k $，有 $ Jx = \sum \overline{x_k} f_k $。
• 将 $ J $-零集 $ H_{J;0} $ 定义为 $ J $-范数为零的向量集合：$ [x,x]_J = 0 $，并分析其拓扑与代数结构。
• 利用范数连续性与反证法，证明 $ H_{J;0} $ 是闭的，对数乘与 $ J $ 不变，且无内点。
• 在 $ H_{J;0} $ 内构造标准正交基 $ \{f_{2k,2k+1}^\pm\}_{k \in \mathbb{Z}_+} $，并证明其张成整个空间 $ H $。

实验结果

研究问题

• RQ1 $ J $-零集 $ H_{J;0} = \{x \in H : [x,x]_J = 0\} $ 的结构是什么？它与共轭算子 $ J $ 的关系如何？
• RQ2 能否为配备共轭算子 $ J $ 的希尔伯特空间上有界线性算子建立类似于经典极分解的 $ J $-极分解？
• RQ3 $ J $-对称与 $ J $-反对称算子的谱性质如何与其在 $ J $-标准正交基下的矩阵表示相关联？
• RQ4 $ J $-零集 $ H_{J;0} $ 是否在希尔伯特空间中稠密？它是否允许存在一组零 $ J $-范数的向量的标准正交基？
• RQ5 $ H_{J;0} $ 在 $ J $、数乘与线性组合作用下具有哪些不变性与闭包性质？

主要发现

• $ J $-零集 $ H_{J;0} $ 是希尔伯特空间 $ H $ 的闭子空间，对数乘与共轭算子 $ J $ 不变。
• 该集合不含内点，即其拓扑内部为空，此结论通过范数连续性与反证法证明。
• $ H_{J;0} $ 在 $ H $ 中稠密，因其包含一个标准正交基 $ \{f_{2k,2k+1}^\pm\}_{k \in \mathbb{Z}_+} $，该基张成整个空间。
• 显式构造了 $ H_{J;0} $ 中的一组标准正交基：$ f_{k,l}^\pm = \frac{1}{\sqrt{2}}(f_k \pm i f_l) $，其中 $ k=2m, l=2m+1 $，且满足 $ [f_{k,l}^\pm, f_{k,l}^\pm]_J = 0 $。
• $ J $-零集具有如下刻画：$ H_{J;0} = \{x = x_R + i x_I : x_R, x_I \in H_R, \|x_R\| = \|x_I\|, (x_R, x_I) = 0\} $，其中 $ H_R $ 为在 $ J $-标准正交基下具有实系数的向量集合。
• 已为有界算子建立 $ J $-极分解，该分解推广了经典极分解，并实现了 $ J $-对称与 $ J $-反对称算子在 $ J $-标准正交基下的矩阵表示。