APP下载

无限维Hilbert空间上一类算子方程的解

2021-05-18杨凯凡

关键词:算子矩阵向量

杨凯凡

(陕西理工大学 数学与计算机科学学院,陕西 汉中 723001)

H

是无限维Hilbert空间,

B

(

H

)表示

H

上的有界线性算子的全体.论文在无限维Hilbert空间上研究非线性算子方程的正算子解问题,其中

A

,

Q

B

(

H

),

Q

>0,

X

B

(

H

)中的未知算子且

t

>1是给定的正整数.近年来,形如

X

+

A

X

A

=

Q

X

-

A

X

-

A

=

I

等的矩阵方程受到许多学者的关注和研究.前人大多数是利用矩阵论的相关知识,特别是围绕矩阵的秩展开研究,在有限维空间上,给出这类方程有正定矩阵解的一些条件. 论文在无限维Hilbert空间上,结合算子论的相关知识,给出了方程(1)有正算子解的一些必要条件和充分条件.

X

-

A

X

-

A

=

Q

(1)

1 预备知识

对于

A

B

(

H

),‖

A

‖,

A

,

ω

(

A

),

γ

(

A

)分别表示算子

A

的范数、伴随算子、数值域半径及谱半径. 如果对任意

x

H

, 都有(

Ax

,

x

)≥0,则称

A

为正算子,记为

A

≥0((

x

,

y

)表示

x

,

y

的内积).若

T

,

S

B

(

H

),

T

S

是指算子

T

-

S

为正算子.

引理1

T

B

(

H

). 若

T

是正规的,则

ω

(

T

)=

γ

(

T

)=‖

T

‖.

引理2

P

,

Q

是正算子,且

P

>

Q

. 如果

PQ

=

QP

, 则对任意实数

t

>1,有

P

>

Q

.

对于

B

(

H

)上的正算子, 有:(1) 若

P

Q

>0 , 则

P

Q

.设

A

B

(

H

) 上的正算子,则

A

≤‖

A

I

.(2) 设

A

,

B

B

(

H

)是自伴算子且满足

A

B

, 则对任意

T

B

(

H

),有

T

AT

T

BT

.

命题

A

B

(

H

)是正规算子,则由

A

生成的

C

*-代数是可交换的.

2 主要结论及其证明

定理1

若算子方程 (1)有正算子解

X

, 则(1)

γ

(

A

+

A

)<‖2

X

-

Q

‖;(2)

γ

(

A

-

A

)<‖2

X

-

Q

‖;

证明

(1) 显然

A

X

-

A

≥0,所以由方程(1)可知

X

=

A

X

-

A

+

Q

Q

t

>1,所以

X

X

,因此

X

-

A

X

-

A

-

A

-

A

X

-

A

X

-

A

-

A

-

A

=2

X

-(

X

+

A

X

-

A

+

A

+

A

)=2

X

-(

X

+

A

)*

X

-(

X

+

A

)≤2

X

,所以

A

+

A

Q

-2

X

.同理

X

-

A

X

-

A

+

A

+

A

X

-

A

X

-

A

+

A

+

A

=2

X

-(

X

+

A

X

-

A

-

A

-

A

)=2

X

-(

X

-

A

)*

X

-(

X

-

A

)≤2

X

,

从而,有

Q

-2

X

A

+

A

≤2

X

-

Q

γ

(

A

+

A

)≤‖2

X

-

Q

‖.(2) 若

X

-

A

X

-

A

=

Q

有正算子解

X

, 则

X

-(i

A

)

X

-(i

A

)=

Q

也有正算子解

X

,其中i表示虚数单位.由该定理中的结论(1)可知

γ

((i

A

)+(i

A

))≤‖2

X

-

Q

‖ ,即

γ

(

A

-

A

)≤‖2

X

-

Q

‖.(3) 若

X

-

A

X

-

A

=

Q

有正算子解

X

, 则

X

-(ei

A

)

X

-(ei

A

)=

Q

也有正算子解

X

,其中

θ

∈[-π,π].由结论(1)可知

γ

((ei

A

)+(ei

A

))≤‖2

X

-

Q

‖,而(ei

A

)+(ei

A

)对所有的

θ

∈[-π,π]都是自伴的,所以

ω

((ei

A

)+(ei

A

))≤‖2

X

-

Q

‖,因此对任意的

θ

∈[-π,π]及单位向量

x

,都有(|((ei

A

)+(ei

A

))

x

,

x

)|≤‖2

X

-

Q

‖.另一方面,对

H

上的单位向量

x

,存在

θ

(

x

),使得ei()(

Ax

,

x

)≥0,因此|(((ei()

A

)+(ei()

A

))

x

,

x

)|=((ei()

A

)

x

,

x

)+((ei()

A

)

x

,

x

)=2(ei()

Ax

,

x

)≤‖2

X

-

Q

‖.而对

H

上的单位向量

x

,总有|(

Ax

,

x

)|=|(ei()

Ax

,

x

)|,

不管是设计单位、制造单位、使用单位,还是检验单位,都应秉着认真负责的态度来对待工作,将责任落到实处,这样才能避免压力容器事故的发生。

定理2

若算子方程 (1)有正算子解

X

, 则‖

A

‖<‖

X

-

Q

‖‖

X

.

证明

由方程

X

-

A

X

-

A

=

Q

,可得

根据Douglas 值域包含定理, 存在单位算子

C

B

(

H

)(其中‖

C

‖=1),使得

因此

所以

AA

<‖

X

-

Q

X

.由此可得‖

A

‖<‖

X

-

Q

‖‖

X

.

定理3

若算子方程 (1)有正算子解

X

, 则‖

X

‖=‖

Q

‖的充要条件是

A

不是下有界的.

证明

由定理1及正算子的性质知,若方程由正算子解

X

,则

X

Q

,‖

X

‖≥‖

Q

‖.必要性.设‖

X

‖=‖

Q

‖,而

X

Q

都是正算子(记‖

Q

‖=

b

),所以

ω

(

X

)=

γ

(

X

)=‖

X

‖=

b

,(

Xx

,

x

)=((

A

X

-

A

+

Q

)

x

,

x

)=(

Qx

,

x

)+(

A

X

-

Ax

,

x

),从而(A

X

-

Ax

,

x

)→0.

由引理3知

从而

Ax

→0,因此

A

不是下有界的.充分性.反证法:假设‖

X

‖>‖

Q

‖=

b

,则

X

-

bI

是可逆的.因此存在常数

δ

,使得对于任意向量

x

H

,有((

X

-

bI

)

x

,

x

)≥

δ

x

‖.由

X

=

A

X

-

A

+

Q

,结合

Q

≤‖

Q

I

=

bI

可得, 对任意向量

x

H

,有

证明

构造正算子序列

(2)

根据迭代序列(2),

X

在由

A

Q

生成的

C

*-代数中,且

A

是正规的,由命题1知, 对任意的

n

=0,1,2,…,有

AX

=

X

A

,

X

+1

X

=

X

X

+1

且显然

X

Q

,所以,有

Q

=

X

X

X

=

Q

+

A

Q

-

A

逐次类推可得

Q

=

X

X

X

≤…≤

X

X

X

=

Q

+

A

Q

-

A

.

(3)

Q

X

Q

+

A

Q

-

A

.记‖

Q

+

A

Q

-

A

‖=

a

,‖

Q

‖=

b

,则

b

≤‖

X

‖≤

a

,所以

(4)

(5)

逐次类推可得

所以,有

结合(4)式可得

X

2+1-

X

2‖≤

b

-2

A

‖2

a

-1

X

2-

X

2-1‖.

猜你喜欢

算子矩阵向量
向量的分解
Domestication or Foreignization:A Cultural Choice
多项式理论在矩阵求逆中的应用
QK空间上的叠加算子
向量垂直在解析几何中的应用
向量五种“变身” 玩转圆锥曲线
矩阵
矩阵
矩阵
逼近论中的收敛性估计