辽宁师范大学数学学院，辽宁 大连

收稿日期：2022年4月25日；录用日期：2022年5月19日；发布日期：2022年5月27日

摘要

本文主要研究复矩阵的复对称问题。通过将2 × 2复矩阵转化为上三角矩阵，研究上三角矩阵的共轭算子，再根据原复矩阵酉等价于上三角矩阵以及它的每一个位置去构造共轭算子，使得这个复矩阵关于此共轭算子是复对称的，进而证明出任意2 × 2复矩阵都是复对称的。

关键词

复矩阵，共轭算子，复对称算子

Complex Symmetries of Complex Matrices

Siyi Jia, Sitong Liu^*, Ran Li

School of Mathematics, Liaoning Normal University, Dalian Liaoning

Received: Apr. 25^th, 2022; accepted: May 19^th, 2022; published: May 27^th, 2022

ABSTRACT

In this paper, complex symmetry of complex matrices is studied. By transforming 2 × 2 complex matrix into upper triangular matrix, the conjugate operator of the upper triangular matrix is studied, and then the conjugate operator is constructed according to the unitary equivalent of the original complex matrix to the upper triangular matrix and every position of it, so that the complex matrix is complex symmetric with respect to the conjugate operator, and then it is proved that any 2 × 2 complex matrix is complex symmetric.

Keywords:Complex Matrix, Conjugate Operator, Complex Symmetric Operator

Copyright © 2022 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

矩阵理论和积分方程的研究推动了线性算子理论的发展。算子理论中的许多重要思想和概念都在矩阵分析中有它的“影子”或参照物。比如Hilbert空间上自伴算子的概念就源于实对称矩阵的概念。再比如Toeplitz算子就源于有限维矩阵中斜对角线元素均相同的矩阵。2006年，Garcia和Putinar [1] [2] 将复对称矩阵的概念抽象出来，推广到Hilbert空间上，引入了复对称算子的概念。

对于任意的Hilbert空间H， $B\left(H\right)$ 表示H上的所有有界线性算子。H上的共轭算子一般记为C，满足

1) 共轭线性，即 $C\left(\lambda f\right)=\bar{\lambda }cf,\forall f\in H,\lambda \in ℂ$。

2) 对和运算，即 $C^2=I$。

3) 反等距，即 $\langle Cf,Cg\rangle =\langle g,f\rangle ,\forall f,g\in H$。

若对 $\forall T\in B\left(H\right)$，存在共轭算子C，使得 $CTC=T^{*}$，则T叫做C-对称算子。所有的C-对称算子称为复对称算子。

到目前为止，关于复对称算子的结构理论已经得到了许多让人印象深刻的结果，甚至在量子力学当中也有非常深刻的应用。例如计算或估计复对称算子的范数有助于对量子力学系统中薛丁格算子的研究。而计算复对称算子的范数就要依赖于复对称算子的豫解集。2008年，Tener [3] 刻画了什么时候3阶方阵酉等价于一个复对称算子。后来，Balayan和Garcia [4] 运用特征值的结构去描述了有限维矩阵酉等价于一个复对称矩阵的条件。同年，Garcia [4] 专门研究了有限维复对称矩阵的特征值和特征空间的结构。2011年Garcia，Poore，Wyse和Tener [5] [6] 运用新的方法去刻画了方阵酉等价于一个复对称算子的条件。后来Garcia和Wogen [7] 证明了一个部分等距算子什么时候是一个复对称算子。与复对称算子很相像的就是复斜对称算子，即若对 $\forall T\in B\left(H\right)$，存在共轭算子C，使得 $CTC=T^{*}$，则T叫作复斜对称算子。复斜对称算子在算子理论也有重要的应用。2012年在参考文献 [8] 中，中国学者李春光对复对称算子的逼近和特殊算子类的复对称性进行研究。2021年在参考文献 [9] 中，中国学者陈泳研究探讨Bergman空间上一类H-Toeplitz算子关于给定复共轭 $C_{\alpha }$ 的复对称性。

复对称算子提出的十几年来，随着越来越多的研究者对复对称算子算子本身及复对称算子在实际中应用等研究的深入，人们不再单纯地研究复对称算子本身性质，而是衍生出很多与复对称算子相关的课题，例如：与复对称算子具有结构相似的算子的研究。近来，复对称算子与其他特殊算子结合的相关研究也吸引了学者们的注意，H. Caleb，M. C. Thaddeus，T. Derek在文章 [10] 中对双正规复对称算子进行了研究。

本文为了研究复矩阵的复对称问题，首先根据引理1将问题简化，即将2 × 2复矩阵转化为上三角矩阵，进一步探讨两种特定形式矩阵的共轭算子。而对于上三角矩阵，我们可以根据引理2，3将其进一步简化，得到了两种情况下的共轭算子。最后，由原复矩阵酉等价于上三角矩阵，得到2 × 2复矩阵的两种复对称算子。

2. 2 × 2复矩阵是复对称的

引理1 [11]：2 × 2复矩阵都酉等价于上三角矩阵。

引理2：形如

$\left(\begin{array}{cc}1& \alpha \\ 0& 0\end{array}\right)$

的矩阵是C-对称的，其中

$C\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{{\text{e}}^{2i\theta }}{\sqrt{1+r^2}}& \frac{r\cdot {\text{e}}^{i\theta }}{\sqrt{1+r^2}}\\ \frac{r\cdot {\text{e}}^{i\theta }}{\sqrt{1+r^2}}& -\frac{1}{\sqrt{1+r^2}}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right),$ (1)

$\alpha =r\cdot {\text{e}}^{i\theta }\in ℂ$，$r\in ℝ$ 表示 $\alpha$ 的模， $\theta$ 表示 $\alpha$ 的幅角。

证明：设

$D=\left(\begin{array}{cc}1& \alpha \\ 0& 0\end{array}\right),$

对于矩阵D，令 $U=\left(\begin{array}{cc}{\text{e}}^{-i\theta }& 0\\ 0& 1\end{array}\right)$，使得 $UD{U}^{*}=G$，其中

$G=\left(\begin{array}{cc}1& r\\ 0& 0\end{array}\right).$

因此形如 $\left(\begin{array}{cc}1& \alpha \\ 0& 0\end{array}\right)$ 的复矩阵都酉等价于实矩阵 $\left(\begin{array}{cc}1& \left|\alpha \right|\\ 0& 0\end{array}\right)$。

令

$C_0\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{1}{\sqrt{1+r^2}}& \frac{r}{\sqrt{1+r^2}}\\ \frac{r}{\sqrt{1+r^2}}& -\frac{1}{\sqrt{1+r^2}}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right),$ (2)

显然 $C_0$ 是共轭算子。

因此

$\begin{array}{c}{C}_{0}G{C}_0\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=C_{0}G\left(\begin{array}{cc}\frac{1}{\sqrt{1+r^2}}& \frac{r}{\sqrt{1+r^2}}\\ \frac{r}{\sqrt{1+r^2}}& -\frac{1}{\sqrt{1+r^2}}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right)\\ =C_0\left(\begin{array}{cc}\sqrt{1+r^2}& 0\\ 0& 0\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right)=\left(\begin{array}{cc}1& r\\ 0& 0\end{array}\right)\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)\\ =\left(\begin{array}{c}{z}_1+r{z}_2\\ 0\end{array}\right)=G^{*}\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right).\end{array}$

即 $C_{0}G{C}_0=G^{*}$。从而G是C₀-对称的。

令

$C\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=U^{*}{C}_{0}U\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{{\text{e}}^{2i\theta }}{\sqrt{1+r^2}}& \frac{r\cdot {\text{e}}^{i\theta }}{\sqrt{1+r^2}}\\ \frac{r\cdot {\text{e}}^{i\theta }}{\sqrt{1+r^2}}& -\frac{1}{\sqrt{1+r^2}}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right)$

则 $CDC=D^{*}$，则D是C-对称的。

证毕。

引理3：形如

$\left(\begin{array}{cc}0& \beta \\ 0& 0\end{array}\right)$

的矩阵是C-对称的，其中 $\beta \in ℂ$，

$C\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$ (3)

证明：令

$D=\left(\begin{array}{cc}0& \beta \\ 0& 0\end{array}\right)$

对于矩阵D，令

$C\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

显然C是共轭算子。

因此

$CDC\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=CD\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right)=C\left(\begin{array}{cc}0& \beta \\ 0& 0\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right)=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{c}\beta \overline{z_1}\\ 0\end{array}\right)=\left(\begin{array}{c}0\\ \beta \overline{z_1}\end{array}\right)=D^{*}\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right),$

即 $CDC=D^{*}$，从而D是C对称的。

证毕。

有了引理1至引理3，下面我们给出本文重要定理。

定理4：对于2 × 2复矩阵 $A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$，令 $m=\frac{a-d+\sqrt{{\left(a-d\right)}^2+4bc}}{2c}$。

1) 当 $\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)\ne 0$ 时，A是C₁-对称的，其中

$C_1\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{m^2{\text{e}}^{2i\theta }-2mr{\text{e}}^{i\theta }-1}{\left({\left|m\right|}^2+1\right)\sqrt{1+a^2}}& \frac{m{\text{e}}^{2i\theta }+\bar{m}+\left({\left|m\right|}^2-1\right)r{\text{e}}^{i\theta }}{\left({\left|m\right|}^2+1\right)\sqrt{1+a^2}}\\ \frac{m{\text{e}}^{2i\theta }+\bar{m}+\left({\left|m\right|}^2-1\right)r{\text{e}}^{i\theta }}{\left({\left|m\right|}^2+1\right)\sqrt{1+a^2}}& \frac{2\bar{m}r{\text{e}}^{i\theta }-{\bar{m}}^2+{\text{e}}^{2i\theta }}{\left({\left|m\right|}^2+1\right)\sqrt{1+a^2}}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$ (4)

2) 当 $\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)=0$ 时，A是C₂-对称的，其中

$C_2\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{2\bar{m}}{{\left|m\right|}^2+1}& \frac{{\left|m\right|}^2-1}{{\left|m\right|}^2+1}\\ \frac{{\left|m\right|}^2-1}{{\left|m\right|}^2+1}& \frac{-2m}{{\left|m\right|}^2+1}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$ (5)

证明：由引理1，可将复矩阵A酉等价为上三角矩阵B。由参考文献 [11]，存在酉矩阵

$U=\left(\begin{array}{cc}\frac{m}{\sqrt{{\left|m\right|}^2+1}}& -\frac{1}{\sqrt{{\left|m\right|}^2+1}}\\ \frac{1}{\sqrt{{\left|m\right|}^2+1}}& \frac{\bar{m}}{\sqrt{{\left|m\right|}^2+1}}\end{array}\right),$ (6)

使得

$U^{*}AU=\left(\begin{array}{cc}\frac{{\left|m\right|}^{2}a+mc+\bar{m}b+d}{{\left|m\right|}^2+1}& \frac{-\bar{m}a-c+{\left(\bar{m}\right)}^{2}b+\bar{m}d}{{\left|m\right|}^2+1}\\ 0& \frac{a-cm-b\bar{m}+d{\left|m\right|}^2}{{\left|m\right|}^2+1}\end{array}\right)=B.$ (7)

对于矩阵B，将矩阵B分解

$\begin{array}{c}B=\left(\begin{array}{cc}\frac{\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)}{{\left|m\right|}^2+1}& \frac{-\bar{m}a-c+{\left(\bar{m}\right)}^{2}b+\bar{m}d}{{\left|m\right|}^2+1}\\ 0& 0\end{array}\right)\\ +\left(\begin{array}{cc}\frac{a-cm-b\bar{m}+d{\left|m\right|}^2}{{\left|m\right|}^2+1}& 0\\ 0& \frac{a-cm-b\bar{m}+d{\left|m\right|}^2}{{\left|m\right|}^2+1}\end{array}\right),\end{array}$

令

$\begin{array}{c}D=\left(\begin{array}{cc}\frac{\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)}{{\left|m\right|}^2+1}& \frac{-\bar{m}a-c+{\left(\bar{m}\right)}^{2}b+\bar{m}d}{{\left|m\right|}^2+1}\\ 0& 0\end{array}\right)\\ =\{\begin{array}{c}\frac{\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)}{{\left|m\right|}^2+1}{D}_1,\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)\ne 0\\ D_2,\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)=0\end{array}\end{array}$

其中

$D_1=\left(\begin{array}{cc}1& \frac{-\bar{m}a-c+{\left(\bar{m}\right)}^{2}b+\bar{m}d}{\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)}\\ 0& 0\end{array}\right),$

$D_2=\left(\begin{array}{cc}0& \frac{-\bar{m}a-c+{\left(\bar{m}\right)}^{2}b+\bar{m}d}{{\left|m\right|}^2+1}\\ 0& 0\end{array}\right).$

则

$B=D+\frac{a-cm-b\bar{m}+d{\left|m\right|}^2}{{\left|m\right|}^2+1}I,$ (8)

当 $\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)\ne 0$ 时，由引理2有， $D_1$ 是 $C^{\prime }$ -对称的，其中

$C^{\prime }\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{{\text{e}}^{2i\theta }}{\sqrt{1+r^2}}& \frac{r\cdot {\text{e}}^{i\theta }}{\sqrt{1+r^2}}\\ \frac{r\cdot {\text{e}}^{i\theta }}{\sqrt{1+r^2}}& -\frac{1}{\sqrt{1+r^2}}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

因此B也是 $C^{\prime }$ -对称的。故A是 $U{C}^{\prime }{U}^{*}$ -对称的。令 $C_1=U{C}^{\prime }{U}^{*}$，则

$C_{{}_1}\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=U{C}^{\prime }{U}^{*}\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{m^2{\text{e}}^{2i\theta }-2mr{\text{e}}^{i\theta }-1}{\left({\left|m\right|}^2+1\right)\sqrt{1+a^2}}& \frac{m{\text{e}}^{2i\theta }+\bar{m}+\left({\left|m\right|}^2-1\right)r{\text{e}}^{i\theta }}{\left({\left|m\right|}^2+1\right)\sqrt{1+a^2}}\\ \frac{m{e}^{2i\theta }+\bar{m}+\left({\left|m\right|}^2-1\right)r{\text{e}}^{i\theta }}{\left({\left|m\right|}^2+1\right)\sqrt{1+a^2}}& \frac{2\bar{m}r{\text{e}}^{i\theta }-{\bar{m}}^2+{\text{e}}^{2i\theta }}{\left({\left|m\right|}^2+1\right)\sqrt{1+a^2}}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

因此A是C₁-对称的。

当 $\left(a-d\right){\left|m\right|}^2+2cm+2b\bar{m}-\left(a-d\right)\ne 0$ 时，由引理3， $D_2$ 是 $C^{″}$ -对称的，其中

$C^{″}\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

因此B也是 $C^{″}$ -对称的。故A是 $U{C}^{″}{U}^{*}$ 对称的。令 $C_2=U{C}^{″}{U}^{*}$，则有

$C_2\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=U{C}^{″}{U}^{*}\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{2\bar{m}}{{\left|m\right|}^2+1}& \frac{{\left|m\right|}^2-1}{{\left|m\right|}^2+1}\\ \frac{{\left|m\right|}^2-1}{{\left|m\right|}^2+1}& \frac{-2m}{{\left|m\right|}^2+1}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

因此A是C₂-对称的。

证毕。

例5：矩阵 $A=\left(\begin{array}{cc}1& 2i\\ 3i& 4\end{array}\right)$ 为C-对称矩阵，其中

$C\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{3\sqrt{3}}{5\sqrt{5}}\cdot \frac{-15+5\sqrt{15}i}{12}& \frac{3\sqrt{3}}{5\sqrt{5}}\cdot \frac{5\sqrt{15}+15i}{36}\\ \frac{3\sqrt{3}}{5\sqrt{5}}\cdot \frac{5\sqrt{15}+15i}{36}& \frac{3\sqrt{3}}{5\sqrt{5}}\cdot \frac{-15+5\sqrt{15i}}{12}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

证明：由矩阵A可以计算出

$m=\frac{a-d+\sqrt{{\left(a-d\right)}^2+4bc}}{2c}=\frac{3i+\sqrt{15}}{6}.$

因为 $\left(1-4\right)\times {\left|\frac{3i+\sqrt{15}}{6}\right|}^2+2\times 3i\times \frac{3i+\sqrt{15}}{6}+2\times 2i\times \frac{\sqrt{15}-3i}{6}-\left(1-4\right)=\frac{5}{3}\sqrt{15}i\ne 0$，所以由定理4(1)，矩阵

A是C-对称的，其中

$C\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}\frac{3\sqrt{3}}{5\sqrt{5}}\cdot \frac{-15+5\sqrt{15}i}{12}& \frac{3\sqrt{3}}{5\sqrt{5}}\cdot \frac{5\sqrt{15}+15i}{36}\\ \frac{3\sqrt{3}}{5\sqrt{5}}\cdot \frac{5\sqrt{15}+15i}{36}& \frac{3\sqrt{3}}{5\sqrt{5}}\cdot \frac{-15+5\sqrt{15i}}{12}\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

例6：矩阵 $B=\left(\begin{array}{cc}2& i\\ i& 0\end{array}\right)$ 为C-对称矩阵，其中

$C\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}i& 0\\ 0& i\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

证明：由矩阵B可以计算出

$m=\frac{a-d+\sqrt{{\left(a-d\right)}^2+4bc}}{2c}=-i.$

因为 $\left(2-0\right)\times {\left|-i\right|}^2+2\times i\times \left(-i\right)+2\times i\times i-\left(2-0\right)=0$，所以由定理4(2)，矩阵B是C-对称的，其中

$C\left(\begin{array}{c}{z}_1\\ z_2\end{array}\right)=\left(\begin{array}{cc}i& 0\\ 0& i\end{array}\right)\left(\begin{array}{c}\overline{z_1}\\ \overline{z_2}\end{array}\right).$

3. 结论

本文以2 × 2复矩阵为例，研究了复矩阵的复对称性。利用3条引理可以将其化成上三角矩阵，得到了两种情况下的共轭算子，然后根据原复矩阵与上三角矩阵的酉等价关系，得到2 × 2复矩阵的两种复对称算子，从而证明了任意2 × 2复矩阵都是复对称的。最后，给出了两个仿真例子说明了本文方法的有效性。

致谢

感谢老师在本次论文完成过程中对我们的悉心帮助，从选题到细节修改都离不开老师的付出。在本次研究过程中，增强了我们的逻辑思维能力并且激发了我们对数学本质的思考。本篇论文的完成离不开团队成员的合作，今后的学习过程中我们会以科学严谨的态度对待每一个数学问题。

基金项目

辽宁省教育厅青年项目LQ2019017。

文章引用

贾思怡,刘思彤,李 然. 复矩阵的复对称性
Complex Symmetries of Complex Matrices[J]. 应用数学进展, 2022, 11(05): 2919-2926. https://doi.org/10.12677/AAM.2022.115310

参考文献