陳 熠， 石巖月

(中國(guó)海洋大學(xué)數(shù)學(xué)科學(xué)學(xué)院， 山東 青島 266100)

誘導(dǎo)的Toeplitz算子的約化子空間。此函數(shù)的解析部分和非解析部分均有變量z,w出現(xiàn)，不是變量可分離的，所以不能直接運(yùn)用上述文獻(xiàn)中的方法，我們的思路是結(jié)合文獻(xiàn)[4-5,8-9]中的方法。在本文中我們沿用文獻(xiàn)[4]中的記號(hào)，通篇均設(shè)

對(duì)任意(a,b)∈Ω，令

Ω1={(a,b)∈Ω|s≠t}；Ω2={(a,b)∈Ω|s=t}，

應(yīng)用上述約化子空間的結(jié)論，我們還得到了Tφ生成的馮諾依曼代數(shù)的換位代數(shù)的結(jié)構(gòu)。

1 預(yù)備

設(shè)T是Hilbert空間上的有界線性算子，M是一個(gè)閉線性子空間，若TM?M,T*M?M，則稱M是T的約化子空間；若不存在T的非零的約化子空間真含于M，則稱M是T的極小約化子空間。

Φ(u,n)=

(1)

λa,b,n,m=Φ(s,n)+Φ(t,m);

Δ(n,m)={(n′,m′):(n′,m′)～a,b(n,m)}。

(2)

首先，我們給出(1)式的一些基本性質(zhì)。

引理1 令Φ(x,n)如(1)式定義，其中x∈[0,1],n∈Z+，則下面結(jié)論成立：

(Ⅰ)當(dāng)n≥2時(shí)，Φ(x,n)關(guān)于變量x和變量n分別嚴(yán)格單調(diào)遞減；Φ(x,0)關(guān)于變量x嚴(yán)格單調(diào)遞減，且Φ(x,1)關(guān)于變量x嚴(yán)格單調(diào)遞增；

(Ⅱ)當(dāng)n≥2時(shí)，Φ(x,n)-Φ(x,1)關(guān)于變量x在[0,1]上嚴(yán)格遞減；

(Ⅲ)Φ(x,0)-Φ(x,1)關(guān)于變量x在[0,1]上嚴(yán)格單調(diào)遞減；

(Ⅳ)Φ(x,0)<0<Φ(x,n),n≥2；

(Ⅴ)Φ(s,n)≠Φ(s,m),n,m∈Z+且n≠m；

(Ⅵ)Φ(s,x+1)-Φ(s,x)關(guān)于變量x≥2嚴(yán)格遞增；

(Ⅶ)Φ(s,n)+Φ(t,2)>0,Φ(s,2)+Φ(t,n)>0,s,t∈(0,1]∩Q。

證明 (Ⅰ) 當(dāng)n≥2時(shí)，利用下面等式容易證得結(jié)論：

當(dāng)n=1時(shí)，經(jīng)計(jì)算可得

當(dāng)n=0時(shí)，經(jīng)計(jì)算可得

(Ⅱ) 經(jīng)過化簡(jiǎn)可得

f(x)=Φ(x,n)-Φ(x,1)=

從而f(x)嚴(yán)格遞減。

(Ⅲ) 代入(1)式并化簡(jiǎn)可得

Φ(x,0)-Φ(x,1)=

從而不難驗(yàn)證，這個(gè)函數(shù)嚴(yán)格單調(diào)遞減。

(Ⅳ) 根據(jù)定義可以直接驗(yàn)證。

(Ⅴ) 根據(jù)定義可以直接驗(yàn)證下列成立：

(a)若n,m≥2，由(Ⅰ)知Φ(s,n)≠Φ(s,m)。

(b)若n=0,m≥2或n≥2,m=0，由(Ⅳ)知Φ(s,n)≠Φ(s,m)。

(c)若n=0,m=1或n=1,m=0，由Φ(s,0)=Φ(s,1)得

F(s)=(s+1)2(s+2)+2s(s+2)(s+3)-

(2s+1)(s+3)(s+1)=0。

于是F是一個(gè)整系數(shù)多項(xiàng)式并且最高項(xiàng)的系數(shù)為1。從而F(s)=0的根都是整數(shù)，而

s,t∈(0,1]∩Q，且F(1)≠0。

所以Φ(s,0)≠Φ(s,1)在(0,1]上成立。

(d)若n=1,m≥2或n≥2,m=1，則有Φ(s,1)=Φ(s,m)或Φ(s,1)=Φ(s,n)。代入具體的表達(dá)式并進(jìn)行化簡(jiǎn)，與上面(c)的證明類似，利用整系數(shù)多項(xiàng)式的性質(zhì)與s∈(0,1]∩Q可得矛盾。

(Ⅵ)將(1)式代入Φ(s,x+1)-Φ(s,x)，求導(dǎo)即可證得。

接下來(lái)，我們給出等價(jià)關(guān)系的一些基本性質(zhì)。在不產(chǎn)生歧義的情況下，我們將(n,m)～a,b(p,q)簡(jiǎn)記為(n,m)～(p,q)。由前面給出定義知(n,p)～(m,p)當(dāng)且僅當(dāng)Φ(s,n)=Φ(s,m)。由引理1(Ⅰ)，于是我們?nèi)菀椎玫较旅娼Y(jié)論。

引理2如果(a,b)∈Ω，n≠m，并且n,m≥2，那么有(n,p)(m,p),?p∈Z+。

引理3 如果(a,b)∈Ω1并且n∈Z+(〗1}，則(n,1)(1,n)。

證明 假設(shè)(n,1)～(1,n)，則

Φ(s,n)+Φ(t,1)=Φ(s,1)+Φ(t,n)。

(3)

當(dāng)n≥2時(shí)，由(3)式和引理1(Ⅱ)知s=t。當(dāng)n=0時(shí)，由(3)式和引理1(Ⅲ)知s=t。這與(a,b)∈Ω1矛盾，所以(n,1)(1,n)。

記CardA為有限A中元素的個(gè)數(shù)，當(dāng)A為空集時(shí)，CardA=0。下面我們對(duì)Δ(n,m)進(jìn)行估計(jì)。

引理4 如果(a,b)∈Ω1，則CardΔ(0,0)≤3，且下面結(jié)論成立：

(Ⅰ)若(k,l)～(0,0)且(k,l)≠(0,0)，則

(k,l)∈{(1,1)}∪{(1,n):n≥3}∪{(n,1):n≥3}；

(Ⅱ)若CardΔ(0,0)=3，則

Δ(0,0)={(0,0),(1,m),(n,1)}，

其中n,m≥3,m≠n。

證明 根據(jù)定義容易驗(yàn)證

由引理1(Ⅳ)、(Ⅴ)和引理3可得下面結(jié)論：

(c) (n,1)(m,1),(1,n)(1,m),n,m∈Z+,n≠m;

(d) (1,n)(n,1),n≥2；

故我們證得所需結(jié)論。

接下來(lái)，我們考慮當(dāng)(a,b)∈Ω2時(shí)等價(jià)類的性質(zhì)。

引理5 如果(a,b)∈Ω2和m≠n，則

(m+1,n)(n+1,m)。

證明 假設(shè)(m+1,n)～(n+1,m)，則

Φ(s,m+1)+Φ(s,n)=Φ(s,n+1)+Φ(s,m)。

(4)

當(dāng)n,m≥2時(shí)，由引理1(Ⅵ)知m=n，這與題設(shè)矛盾。當(dāng)n,m滿足以下情況時(shí)，

(a)n≥2,m=1；(b)n≥2,m=0；(c)n=1,m=0。

分別將(1)式代入(4)式，逐一進(jìn)行化簡(jiǎn)，均可轉(zhuǎn)換為首項(xiàng)系數(shù)為1或2的一個(gè)整系數(shù)多項(xiàng)式等于零的情況，利用此類多項(xiàng)式零點(diǎn)的性質(zhì)以及s∈(0,1]∩Q均會(huì)產(chǎn)生矛盾。具體的，當(dāng)首項(xiàng)系數(shù)為1時(shí)，s的取值只能是1，當(dāng)首項(xiàng)系數(shù)為2時(shí)，s∈{1/2,1}，而這些數(shù)代入(4)式均不成立，所以假設(shè)不成立。

引理6 若(a,b)∈Ω2，則Δ(0,0)={(0,0)}。

證明 設(shè)(n,m)～(0,0)，則

Φ(s,n)+Φ(s,m)=Φ(s,0)+Φ(s,0)。

(5)

由引理1(Ⅳ)可知n,m必滿足以下4種情況：

(Ⅰ)n≥2,m=1或m≥2,n=1；

(Ⅱ)n=1,m=1；

(Ⅲ)n=1,m=0或n=0,m=1；

(Ⅳ)n=0,m=0。

將(1)式分別按情況(Ⅰ)、(Ⅱ)和(Ⅲ)代入(5)式并進(jìn)行化簡(jiǎn)，可將新等式轉(zhuǎn)換為一個(gè)首項(xiàng)系數(shù)為1的整系數(shù)多項(xiàng)式Fi(s),i=1,2,3。再利用s∈(0,1]∩Q且Fi(1)≠0，以及整系數(shù)多項(xiàng)式零點(diǎn)的性質(zhì)，可知(5)式無(wú)解。所以只有情況(Ⅳ)成立，即(n,m)=(0,0)。

證畢。

利用類似的方法，我們還可以得到下面結(jié)論：

引理7 若(a,b)∈Ω2，則Δ(0,1)={(0,1)，(1,0)}。

證明 顯然只需證明Δ(1，0)?{(0,1)，(1,0)}。假設(shè)(n,m)～(1,0)且(n,m)?{(1,0),(0,1)}。于是

Φ(s,n)+Φ(s,m)=Φ(s,0)+Φ(s,1)。

(6)

繼續(xù)分情況進(jìn)行討論：

(Ⅰ)m∈{0，1}或n∈{0，1},利用引理1(Ⅴ)容易驗(yàn)證上面關(guān)于s的方程在(0,1]∩Q上無(wú)解。

(Ⅱ)m,n≥2，將(1)式代入(6)式并進(jìn)行化簡(jiǎn)得

對(duì)上面等式進(jìn)行通分并化簡(jiǎn)，可以轉(zhuǎn)化為整系數(shù)多項(xiàng)式F(s)=0，且其首項(xiàng)系數(shù)為1。所以F(s)=0的在(0,1]上的有理根只可能為1，代入(6)式得

當(dāng)n=2(或m=2)時(shí)，

當(dāng)n=3(或m=3)時(shí)，m(或n)無(wú)整數(shù)解。

綜上，三種情況均產(chǎn)生矛盾，所以假設(shè)不成立。

引理8 當(dāng)(a,b)∈Ω2，n≥3時(shí)，(n,0)不在下面集合中，

{Δ(n+3,0),Δ(n+2,1),Δ(n-2,2),Δ(n+1,2),Δ(n,3),Δ(n-3,0),Δ(n-1,1)}。

2 Tφ的約化子空間

首先，我們約定一些記號(hào)：

En=span{za+(n-r)kwb+rl:r≤n,r∈Z+};

(7)

然后，給出一個(gè)后面證明中經(jīng)常用到的性質(zhì)。

λa,b,n,m〈Aza+nkwb+ml,za′+pkwb′+ql〉=

〈ATza+nkwb+ml,za′+pkwb′+ql〉=

〈Aza+nkwb+ml,Tza′+pkwb′+ql〉=

再由λa,b,n,m均為實(shí)數(shù)知結(jié)論成立。

接下來(lái)，我們考慮當(dāng)(a,b)∈Ω1時(shí)[zawb]的性質(zhì)。

定理1若(a,b)∈Ω1，則[zawb]=La,b。

證明 顯然，zawb∈[zawb]。由引理3知，(1，0)(0，1)利用

可得za+kwb，zawb+l∈[zawb]，因此E1?[zawb]。由

可得za+2kwb-zawb+2l∈[zawb]，再由

Tφzawb=za+2kwb+zawb+2l∈[zawb]，

可得

za+2kwb，zawb+2l∈[zawb]，

從而za+kwb+l∈[zawb]，因此E2?[zawb]。

下面我們用數(shù)學(xué)歸納法證明Ei?[zawb]。假設(shè)Ei?[zawb](3≤i≤n)，下證En+1?[zawb]。

對(duì)任意0≤m≤n，由計(jì)算可知

za+(n-m+1)kwb+ml+za+(n-m)kwb+(m+1)l+

其中α=χ(n-m-2)，β=χ(m-2)。又因?yàn)?/p>

za+(n-m-2)kwb+ml,za+(n-m)kwb+(m-2)l∈En-2?[zawb],

所以

hm=za+(n-m+1)kwb+ml+za+(n-m)kwb+(m+1)l∈[zawb]。

進(jìn)一步存在λm,λm+1∈C，使得

Thm=λmza+(n-m+1)kwb+ml+λm+1za+(n-m)k·wb+(m+1)l∈[zawb]。

若對(duì)任意1≤m≤n-1均有λm=λm+1，則

(n,1)～(n-1,2)～…～(1,n)，

這與引理3矛盾。所以至少存在一個(gè)1≤i0≤n-1，使得λi0≠λi0+1，從而

za+(n-i0+1)kwb+i0l,za+(n-i0)kwb+(i0+1)l∈[zawb],

利用hi0-1,hi0+1∈[zawb]，我們可以得到

za+(n-i0+2)kwb+(i0-1)l,za+(n-i0-1)kwb+(i0+2)l∈[zawb],

重復(fù)上述步驟，容易證得

za+(n-j+1)kwb+jl∈[zawb],0≤j≤n+1。

于是Ei?[zawb]。進(jìn)而La,b?[zawb]。顯然，[zawb]?La,b成立，所以[zawb]=La,b。

定理2若(a,b)∈Ω1，則La,b是極小的。

證明 設(shè)M?[zawb]為Tφ的一個(gè)約化子空間，若M⊥zawb，則M⊥[zawb]，于是M=0；若M⊥/zawb，則PMzawb≠0，由引理4和引理9，不妨設(shè)

PMzawb=a00zawb+a11za+kwb+l+

an1za+nkwb+l+a1mza+kwb+ml，

式中a00≠0，n,m≥3，n≠m且a11與an1不同時(shí)非零，且a11與a1m不同時(shí)非零。下面我將證明這些系數(shù)中只有第一項(xiàng)系數(shù)a00≠0，這說明zawb∈M，[zawb]?M，結(jié)論得證。

情況1若a11=0，則

一方面，

a00(za+kwb+zawb+l)+an1(za+(n+1)kwb+l+

za+nkwb+2l)+a1m(za+2kwb+ml+za+kwb+(m+1)l)+

b1za+(n-2)kwb+l+b2za+kwb+(m-2)l。

若an1≠0，則b1≠0。另一方面，

(n+1,1),(n-2,1)∈Δ(0,1)∪Δ(1,0)。

由引理1(Ⅴ)知(n+1,1)(0,1)，(n-2,1)(0,1)，所以

(n+1,1)～(1,0)，(n-2,1)～(1,0)，

這又與(n+1,1)(n-2,1)產(chǎn)生矛盾。于是an1=0。同理可證a1m=0。

情況2若a11≠0，由引理1(Ⅴ)知an1=a1m=0，

a00(za+kwb+zawb+l)+a11(za+2kwb+l+za+kwb+2l)∈

EΔ(0,1)∨EΔ(1,0)。

如情況1可得(2,1)～(1,0)且(1,2)～(0,1) ，即：

Φ(s,2)+Φ(t,1)=Φ(s,1)+Φ(t,0)；

Φ(s,0)+Φ(t,1)=Φ(s,1)+Φ(t,2)。

但是

Φ(s,2)-Φ(s,0)>0>Φ(t,0)-Φ(t,2),

產(chǎn)生矛盾。定理得證。

最后，我們考慮(a,b)∈Ω2時(shí)的性質(zhì)。

因?yàn)?/p>

za+(r-j+1)kwb+jl+za+jkwb+(r-j+1)l+

za+(r-j)kwb+(j+1)l+za+(j+1)kwb+(r-j)l+b(z,w)，

其中0≤j≤r,

(za+(r-j-2)kwb+jl+za+jkwb+(r-j-2)l)+

za+(j-2)kwb+(r-j)l)∈Er-2,

所以

za+(r-j+1)kwb+jl+za+jkwb+(r-j+1)l+

za+(r-j)kwb+(j+1)l+za+(j+1)kwb+(r-j)l∈[zawb]。

當(dāng)r-j=j時(shí)，有

za+(r-j+1)kwb+jl+za+jkwb+(r-j+1)l∈[zawb]；

當(dāng)r-j≠j時(shí)，由引理5，有

za+(r-j+1)kwb+jl+za+jkwb+(r-j+1)l∈[zawb]。

3 極小約化子空間之間的酉等價(jià)

在本節(jié)，我們考慮極小約化子空間之間的酉等價(jià)。設(shè)M1和M2為Tφ的約化子空間，若存在酉算子U:M1→M2，使得UTφ=TφU，則稱M1與M2酉等價(jià)。同引理9的證明類似可得

(8)

由于后面證明中將多次利用(8)式,我們需要先深入討論算子T的特征值λa,b,n,m的性質(zhì)。

引理10設(shè)(a,b),(a′,b′)∈Ω1且(s,t)≠(s′,t′),(s,t)≠(t′,s′)，則下列敘述成立：

(Ⅰ) 當(dāng)λa,b,0,0=λa′,b′,0,0時(shí)，λa,b,1,0,λa,b,0,1?{λa′,b′,1,0,λa′,b′,0,1}；

(Ⅱ) 當(dāng)λa,b,n,1=λa′,b′,0,0，n≥2時(shí)，λa,b,n,0?{λa′,b′,2,0,λa′,b′,0,2}；

(Ⅲ) 當(dāng)λa,b,n,0=λa′,b′,0,0，n≥2時(shí)，λa,b,n,1?{λa′,b′,1,0,λa′,b′,0,1}；

(Ⅳ)λa,b,0,0?{λa′,b′,2,0,λa′,b′,0,2}。

證明 (Ⅰ)假設(shè)λa,b,1,0=λa′,b′,1,0，由于λa,b,0,0=λa′,b′,0,0，于是分別代入(2)式并且兩式相減可得

Φ(s,1)-Φ(s,0)=Φ(s′,1)-Φ(s′,0)，

由引理1(Ⅲ)可得s=s′，代入

Φ(s,0)+Φ(t,0)=Φ(s′,0)+Φ(t′,0)

可得Φ(t,0)=Φ(t′,0)，由引理1(Ⅰ)可得t=t′，矛盾。類似可證λa,b,0,1≠λa′,b′,0,1,λa,b,0,1≠λa′,b′,1,0,λa,b,1,0≠λa′,b′,0,1。

(Ⅲ)假設(shè)λa,b,n,1=λa′,b′,1,0，由于λa,b,n,0=λa′,b′,0,0，于是分別代入(2)式并且兩式相減可得

Φ(t,1)-Φ(t,0)=Φ(s′,1)-Φ(s′,0)，

由引理1(Ⅲ)可得t=s′，代入

Φ(s,n)+Φ(t,0)=Φ(s′,0)+Φ(t′,0)，

得Φ(s,n)=Φ(t′,0)，然而Φ(s,n)>0,Φ(t′,0)<0，矛盾。

類似可證λa,b,n,1≠λa′,b′,0,1。

(Ⅳ)由引理1(Ⅶ)和(Ⅳ)有λa′,b′,2,0>0,λa′,b′,0,2>0，λa,b,0,0<0，所以λa,b,0,0?{λa′,b′,2,0,λa′,b′,0,2}。

引理11設(shè)(a,b),(a′,b′)∈Ω2，則下列敘述成立：

(Ⅰ)當(dāng)λa′,b′,0,0=λa,b,1,1時(shí)，λa′,b′,2,0≠λa,b,1,0；

(Ⅱ) 當(dāng)λa,b,0,1=λa′,b′,0,0時(shí)，λa,b,0,0?{λa′,b′,2,0,λa′,b′,0,2}；

(Ⅲ)λa,b,0,0=λa′,b′,0,0當(dāng)且僅當(dāng)(a,b)=(a′,b′)。

證明 (Ⅰ)、(Ⅱ)證明方法與引理10(Ⅱ)類似。

(Ⅲ) 因?yàn)?a,b),(a′,b′)∈Ω2，λa,b,0,0=λa′,b′,0,0，代入(2)式可得Φ(s,0)=Φ(s′,0)，由引理1(Ⅰ)可得s=s′，因此(a,b)=(a′,b′)。

引理12設(shè)(a′,b′)∈Ω1,(a,b)∈Ω2，n≥2，則下列敘述成立：

(Ⅰ) 當(dāng)λa′,b′,0,0=λa,b,1,1時(shí)，λa,b,1,0?{λa′,b′,2,0,λa′,b′,0,2}；

(Ⅱ) 當(dāng)λa′,b′,0,0=λa,b,n,1時(shí)，λa,b,n,0?{λa′,b′,2,0,λa′,b′,0,2}；

(Ⅲ)當(dāng)λa′,b′,0,0=λa,b,0,0時(shí)，λa,b,0,1?{λa′,b′,1,0,λa′,b′,0,1}。

證明 (Ⅰ)和(Ⅱ)證明方法與引理10(Ⅱ)類似。(Ⅲ)證明方法與引理10(Ⅰ)類似，最后可得s′=t′，從而矛盾。

引理13設(shè)(a,b)∈Ω2，則下列敘述成立：

(Ⅰ)當(dāng)n>m≥3時(shí)，(n+1,m)?{Δ(n-2,m),Δ(n,m-2)}，(n,m-2)?{Δ(n-2,m),Δ(n,m+1)}；

(Ⅱ)當(dāng)n≥2,m=1時(shí)，(n+1,1)?{Δ(n-2,1),Δ(n,2)}，(n,2)(n-2,1)；

(Ⅲ)當(dāng)n≥2,m=0時(shí)(n+1,0)?{Δ(n-2,0),Δ(n,1)}，(n-2,0)(n,1)。

證明 這里只證明當(dāng)n≥4時(shí)(n,m-2)(n-2,m)，可通過求導(dǎo)的方法得出當(dāng)n≥4時(shí)f(x)=Φ(x,n-2)-Φ(x,n)在x∈[0,1]上嚴(yán)格遞減，所以若(n,m-2)～(n-2,m)，則n=m，矛盾。其余結(jié)論可結(jié)合引理1，或者利用首項(xiàng)系數(shù)為1或2的整系數(shù)多項(xiàng)式零點(diǎn)的性質(zhì)以及s∈(0,1]∩Q證得。

命題1當(dāng)(a,b),(a′,b′)∈Ω1且(a,b)≠(a′,b′)時(shí)，La,b與La′,b′酉等價(jià)當(dāng)且僅當(dāng)(s,t)=(t′,s′)。

證明 充分性：若 (s,t)=(t′,s′)，如下定義

U:La,b→La′,b′,Uza+nkwb+ml=za′+mkwb′+nl。

可以驗(yàn)證U是一個(gè)酉算子，并且

UTφza+nkwb+ml=

TφUza+nkwb+ml。

必要性：設(shè)(s,t)≠(t′,s′)，若存在滿足條件的酉算子U：La,b→La′,b′，只需證明

Uza+nkwb+ml⊥za′wb′,n,m∈Z+。

(9)

這與U是滿射矛盾。于是命題得證。

當(dāng)n,m≥2時(shí)，由引理1(Ⅳ)知λa,b,n,m>0>λa′,b′,0,0，由(8)式得(9)式成立。接下來(lái)我們考慮當(dāng)n∈{0,1}或m∈{0,1}時(shí)的情況。假設(shè)(9)式不成立，同上有λa,b,n,m=λa′,b′,0,0。由引理4，不妨設(shè)

Uza+nkwb+ml=c0za′wb′+c1za′+kwb′+l+

c2za′+pkwb′+l+c3za′+kwb′+ql,

(10)

其中c0≠0,p,q≥3且c1,c2不同時(shí)非零，c1,c3不同時(shí)非零。進(jìn)一步計(jì)算得

za+nkwb+l)=c0(za′+kwb′+za′wb′+l)+g(z,w)，

(11)

其中g(shù)(z,w)⊥{za′+kwb′,za′wb′+l}。

斷言1Uza+nkwb⊥za′wb′,n=0,1。

否則，由引理9知λa,b,n,0=λa′,b′,0,0。

當(dāng)n=0時(shí)，由引理10(Ⅰ)知λa′,b′,1,0?{λa,b,1,0,λa,b,0,1}，因此〈Uza+kwb,za′+kwb′〉=〈Uzawb+l,za′+kwb′〉=0，從而(11)式的左邊與za′+kwb′的內(nèi)積為零，但是其右邊

〈c0(za′+kwb′+za′wb′+l)+g(z,w)，za′+kwb′〉≠0，

產(chǎn)生矛盾。

當(dāng)n=1時(shí)，由假設(shè)得λa′,b′,0,0=λa,b,1,0，再由(10)式得

〈Uzawb,za′+2kwb′+za′wb′+2l〉,

所以λa,b,0,0∈{λa′,b′,0,2,λa′,b′,2,0}，這與引理10(Ⅳ)矛盾。

利用對(duì)稱性可證Uzawb+l⊥za′wb′。

斷言2Uza+nkwb⊥za′wb′,n≥2。

否則，我們有λa′,b′,0,0=λa,b,n,0。由引理1(Ⅶ)知n≥3。由引理10(Ⅲ)知

λa′,b′,1,0≠λa,b,n,1，λa′,b′,0,1≠λa,b,n,1。

所以Uza+nkwb+l⊥{za′+kwb′,za′wb′+l}。由(11)式得

c0〈za′+kwb′+za′wb′+l,h(z,w)〉，

(12)

其中h(z,w)∈{za′+kwb′,za′wb′+l}。同上分析得到

{λa′,b′,0,1,λa′,b′,1,0}={λa,b,n+1,0,λa,b,n-2,0}。

若λa′,b′,1,0=λa,b,n-2,0，由(12)式得

〈Uza+(n-2)kwb,za′+kwb′〉=

引理1(Ⅴ),(Ⅶ)表明(n,0)(n-3,0)，λa,b,n-2,2>0>λa′,b′,0,0，于是

〈UTφza+(n-2)kwb,za′wb′〉=

〈Uza+nkwb,za′wb′〉=c0||za′wb′||2。

同時(shí)

〈TφUza+(n-2)kwb,za′wb′〉=

〈Uza+(n-2)kwb,za′+kwb′+za′wb′+l〉=

n-2=2s′-s<2。

于是我們有n=3，2s′-s=1，λa′,b′,1,0=λa,b,1,0和λa′,b′,0,0=λa,b,3,0。但0<Φ(s,3)-Φ(s′,0)=Φ(s,1)-Φ(s′,1)。由f(x)=Φ(x,1)嚴(yán)格單調(diào)增知s>s′，從而容易驗(yàn)證s=2s-s>2s′-s>1，這與2s′-s=1矛盾。同理當(dāng)λa′,b′,0,1=λa,b,n-2,0時(shí)也產(chǎn)生矛盾。

利用引理10(Ⅲ)的對(duì)稱性得到當(dāng)λa,b,0,n=λa′,b′,0,0時(shí)，λa,b,1,n?{λa′,b′,0,1,λa′,b′,1,0},n≥2。再利用斷言1和斷言2的方法，類似的可以得到下面結(jié)論，這里不再敘述細(xì)節(jié)。

Uzawb+nl⊥za′wb′,U*za′wb′+nl⊥zawb,n≥0。

(13)

斷言3Uza+kwb+l⊥za′wb′。

否則，λa′,b′,0,0=λa,b,1,1。一方面由引理1(Ⅶ)得

〈U(zawb+2l+za+kwb+l),za′wb′〉=

〈Uza+kwb+l,za′wb′〉≠0，

〈Uza+kwb,za′+2kwb′+za′wb′+2l〉≠0。

當(dāng)λa′,b′,0,2=λa,b,0,1，λa′,b′,2,0=λa,b,1,0時(shí)，

〈Uza+kwb,za′+2kwb′〉≠0。

由斷言2得

〈Uzawb,za′+4kwb′〉=〈zawb,U*za′+4kwb′〉= 0，

同理由斷言1得〈Uzawb,za′+kwb′〉=0，又因?yàn)棣薬,b,2,2>0>λa′,b′,0,0，所以〈Uzawb,za′+2kwb′+2l〉=0，進(jìn)而

產(chǎn)生矛盾。

利用輪換性，當(dāng)λa′,b′,2,0=λa,b,0,1，λa′,b′,0,2=λa,b,1,0時(shí)，同樣也會(huì)產(chǎn)生矛盾。斷言3得證。

斷言4Uza+nkwb+l⊥za′wb′,n≥2。

否則，我們有λa′,b′,0,0=λa,b,n,1，再結(jié)合斷言1,2可得

〈Uza+nkwb,za′+2kwb′+za′wb′+2l〉 =

〈Uza+nkwb+l,za′wb′〉≠0，

所以λa,b,n,0∈{λa′,b′,2,0,λa′,b′,0,2}，但這與引理10(Ⅱ)矛盾。

可利用引理10(Ⅱ)的對(duì)稱性得到當(dāng)λa,b,1,m=λa′,b′,0,0時(shí)，λa,b,0,m?{λa′,b′,0,2,λa′,b′,2,0}，類似斷言4的方法，可證得Uza+kwb+ml⊥za′wb′,m≥3。

綜上， 當(dāng)n<2或m<2時(shí)，(9)式成立，命題得證。

U(za+nkwb+ml-za+mkwb+nl)⊥(za′+kwb′-za′wb′+l),n>m≥0。

(14)

由引理7和引理9，不妨設(shè)

U(za+nkwb+ml-za+mlwb+nl)=c0(za′+kwb′-za′wb′+l),c0≠0,

則

U(f1(z,w)+f2(z,w)+f3(z,w)+f4(z,w))=

c0(za′+2kwb′-za′wb′+2l)，

(15)

其中

f1(z,w)=za+(n+1)kwb+ml-za+mkwb+(n+1)l,

f2(z,w)=za+nkwb+(m+1)l-za+(m+1)kwb+nl,

(Ⅱ) 當(dāng)n=1,m=0時(shí)，利用引理7，計(jì)算可得

其中

γ=〈U(za+kwb-zawb+l),za′+kwb′-za′wb′+l〉。

于是

U(za+nkwb+ml-za+mkwb+nl)⊥za′wb′,n>m≥0。

(16)

由引理6和引理9，假設(shè)

U(za+nkwb+ml-za+mkwb+nl)=c0za′wb′,c0≠0。

情況1當(dāng)n>m≥2時(shí)，λa,b,n,m>0>λa′,b′,0,0，這與λa,b,n,m=λa′,b′,0,0矛盾。

情況3當(dāng)n=1,m=0時(shí)，結(jié)合引理6和引理7得

γ=〈U(za+kwb-zawb+l),za′wb′〉。

再結(jié)合λa,b,1,0=λa′,b′,0,0可得方程組

經(jīng)過化簡(jiǎn)得2s3+10s2+13s+1=0，然而當(dāng)s∈(0,1]時(shí)，2s3+10s2+13s+1=s(2s2+10s+13)+1>1，產(chǎn)生矛盾。(16)式得證。

U(za+nkwb+ml-za+mkwb+nl)=

c0za′wb′+c1za′+kwb′+l+c2za′+qkwb′+l+c3za′+kwb′+pl，

其中c0≠0,p,q≥3且c1,c2不同時(shí)非零，c1,c3不同時(shí)非零。

情況1當(dāng)n>m≥2或n=2,m∈{0,1}時(shí)，

λa,b,n,m>0>λa′,b′,0,0，

這與λa,b,n,m=λa′,b′,0,0矛盾。

情況2當(dāng)n>2,m=0時(shí)，由引理1(Ⅴ)，(Ⅶ)知

λa′,b′,0,0?{λa′,b′,3,0,λa′,b′,2,1,λa′,b′,1,2,λa′,b′,0,3}，

再利用引理8和下面等式

(17)

產(chǎn)生矛盾。

情況3當(dāng)n=1,m=0，則

c0(za′+kwb′+za′wb′+l)+f(z,w),

其中f(z,w)⊥{za′+kwb′,za′wb′+l}，于是λa′,b′,0,1=λa′,b′,1,0=λa,b,2,0，這與引理3矛盾。

情況4當(dāng)n>2,m=1時(shí)，λa′,b′,0,0=λa,b,n,1。結(jié)合情況2和3的結(jié)論可得：

〈U(za+nkwb+l-za+kwb+nl),za′wb′〉=

〈U(za+nkwb-zawb+nl),za′+2kwb′+za′wb′+2l〉，

則λa′,b′,0,2=λa,b,n,0或λa′,b′,2,0=λa,b,n,0，這與引理3(Ⅱ)矛盾。

綜上，式(16)成立，命題得證。

U(za+nkwb+ml+za+mkwb+nl)⊥za′wb′,n≥m≥0。

(18)

顯然，由引理1(Ⅰ)，(Ⅳ)，(Ⅶ)和引理11(Ⅲ)知，當(dāng)n≥m≥2時(shí)或n=m=0或2∈{n,m}時(shí)，λa,b,n,m≠λa′,b′,0,0。其他情況時(shí)，假設(shè)

U(za+nkwb+ml+za+mkwb+nl)=c0za′wb′,c0≠0。

注意到，當(dāng)n>2,m∈{0,1}時(shí)，將(15)式左邊的減號(hào)換成加號(hào)，(15)式右邊換成c0(za′+kwb′+za′wb′+l)，利用引理13(Ⅱ),(Ⅲ)，與命題2的證明一致。于是為證明本命題，我們只需證明當(dāng)n,m∈{0,1}時(shí)結(jié)論也成立。

情況1當(dāng)n=m=1時(shí)，λa′,b′,0,0=λa,b,1,1，且λa,b,2,0>0>λa′,b′,0,0

可得

2〈Uza+kwb+l,za′wb′〉=

〈U(za+kwb+zawb+l),za′+2kwb′+za′wb′+2l〉≠0,

(19)

所以λa,b,1,0=λa′,b′,2,0，與引理11(Ⅰ)矛盾。

情況2當(dāng)n=1,m=0時(shí)，因?yàn)?/p>

〈U(zawb+l+za+kwb),za′wb′〉=

〈Uzawb,za′+2kwb′+za′wb′+2l〉≠0，

所以λa′,b′,2,0=λa,b,0,0，與λa′,b′,2,0>0>λa,b,0,0矛盾。

U(za+nkwb+ml+za+mkwb+nl)=

c0za′wb′+c1za′+kwb′+l+c2za′+qkwb′+l+c3za′+kwb′+pl,

其中c0≠0,p,q≥3且c1,c2不同時(shí)非零，c1,c3不同時(shí)非零。

情況1當(dāng)n=m=1時(shí)，λa′,b′,0,0=λa,b,1,1。同樣由(19)式知λa,b,1,0∈{λa′,b′,2,0,λa′,b′,0,2}，這與引理12(Ⅰ)矛盾。

情況2當(dāng)n>2,m=0時(shí)，將命題4的情況2中(17)式的減號(hào)換成加號(hào)，證明過程一致。

情況3當(dāng)n=m=0時(shí)，則λa′,b′,0,0=λa,b,0,0，結(jié)合引理1(Ⅶ)和情況2的結(jié)論，我們有：

〈UTφ(za+kwb+zawb+l),za′wb′〉=

〈U(za+kwb+zawb+l),za′+kwb′+za′wb′+l〉，

所以λa′,b′,1,0=λa,b,0,1或λa′,b′,0,1=λa,b,0,1，與引理12(Ⅲ)矛盾。

情況4當(dāng)n=1,m=0時(shí)，因?yàn)?/p>

〈U(zawb+l+za+kwb),za′wb′〉=

〈Uzawb，za′+2kwb′+za′wb′+2l〉，

所以λa,b,0,0∈{λa′,b′,2,0，λa′,b′,0,2}，這與下列不等式矛盾

λa′,b′,2,0>0,λa′,b′,0,2>0,λa,b,0,0<0。

情況5當(dāng)n>2,m=1時(shí)，λa′,b′,0,0=λa,b,n,1，結(jié)合情況1～4的結(jié)論可得

〈U(za+nkwb+l+za+kwb+nl),za′wb′〉=

〈U(za+nkwb+zawb+nl),za′+2kwb′+za′wb′+2l〉,

有λa′,b′,0,2=λa,b,n,0或λa′,b′,2,0=λa,b,n,0。與引理12(Ⅱ)矛盾。

a=m1k′-1,b=m2l′-1,a′=m2k′-1,

b′=m1l′-1,

其中σ=GCD(k,l),k=k′σ,l=l′σ,m1,m2∈[1,σ],m1≠m2。利用文獻(xiàn)[4]中的方法，我們可以得到下面定理：

*-同構(gòu)，其中m=(σ2-σ)/2,m′=kl-σ2+2σ。