杜潤梅, 陳博遠, 梅海婷

(長春工業(yè)大學 數(shù)學與統(tǒng)計學院， 吉林 長春 130012)

0 引 言

偏微分方程來源于物理、化學、生物、天文學等學科,由于它具有廣泛的應(yīng)用背景,一直是備受學者關(guān)注的研究領(lǐng)域。拋物方程是偏微分方程的基本方程之一,可以用來描述反映擴散模型、熱量傳播模型等,拋物方程組可以用來描述生物種群模型。在實際問題中,退化的拋物方程能更好地模擬實際問題,因而吸引了越來越多學者的關(guān)注.文獻[1-4]研究了在邊界退化拋物方程的能控性,文獻[5-7]研究了在邊界退化拋物方程組的能控性。具體來說,文獻[5]研究了退化拋物方程組

ut-(xαux)x+c(x,t)u=g+hχD, (x,t)∈QT,

vt-(xαvx)x+d(x,t)v=uχD, (x,t)∈QT,

的初邊值問題的零能控性,其中0<α<2,QT=(0,1)×(0,T),c,d∈L∞(QT),D=(a,b)是(0,1)上的非空真子集,χD是D上的特征函數(shù),g∈L2(QT),h是控制函數(shù)。文獻[6]研究了退化拋物方程組

ut-(xαux)x+C11(x,t)u+C12(x,t)v=hχD,

(x,t)∈QT,

vt-(xαvx)x+C21(x,t)u+C22(x,t)v=0,

(x,t)∈QT,

的初邊值問題的零能控性,其中0<α<2,C11,C12,C21,C22∈L∞(QT),h是控制函數(shù)。文獻[7]研究了n個方程,m個控制函數(shù)的退化拋物方程組的能控性。文中研究如下退化拋物方程組的初邊值問題的零能控性:

ut-(xαux)x+C11(x,t)u+C12(x,t)v=g+hχD,

(x,t)∈QT,

(1)

vt-(xαvx)x+C21(x,t)u+C22(x,t)v=0,

(x,t)∈QT,

(2)

u(0,t)=u(1,t)=v(0,t)=v(1,t)=0,

t∈(0,T),

(3)

u(x,0)=u0(x),

v(x,0)=v0(x),x∈(0,1),

(4)

其中0<α<1,C11,C12,C21,C22∈L∞(QT),u0,v0∈L2(0,1),g∈L2(QT),h是控制函數(shù)。

假設(shè)存在a1,b1,μ>0滿足a≤a1

(5)

定義Hilbert空間

其中

eM(t)=exp(Mt-4)。

文中主要結(jié)果有如下定理。

定理1存在一個正數(shù)M=M(D,T)，使得當g∈L2(eM(T-t)),u0,v0∈L2(0,1)時,存在h∈L2(QT),問題(1)～(4)的解滿足

u(x,T)=v(x,T)=0。

眾所周知, 問題(1)～(4)的零能控性等價于其對偶系統(tǒng)的可觀測性。因此，文中主要證明對偶系統(tǒng)的能觀不等式。

1 退化拋物方程的適定性及Carleman估計

關(guān)于退化拋物方程的適定性及Carleman估計, 考慮方程

wt+(xαwx)x+c(x,t)w=F,

(x,t)∈QT,

(6)

w(0,t)=w(1,t)=0,t∈(0,T),

(7)

w(x,T)=wT(x),x∈(0,1),

(8)

其中,c∈L∞(QT),F∈L2(QT)。

定義

由半群理論, 可以得到問題(6)～(8)的適定性。

引理1[1]令F∈L2(QT)對于wT∈L2(0,1),問題(6)～(8)存在一個唯一解

H1(0,T;L2(0,1))。

注1由引理1可得問題(1)～(4)的適定性。

定義

Ψ1(x)=x2-α-2,

Ψ2(x)=e2rξ(0)-erξ(x),x∈[0,1],

Ψ(x)=ζ(x)Ψ1(x)-(1-ζ(x))Ψ2(x),

φ(x,t)=θ(t)Ψ(x),x∈[0,1]。

有如下Carleman估計。

引理2[1]存在兩個正常數(shù)C,S0,使得對所有s≥S0和問題(6)～(8)的解w,有

其中M(s)是依賴于s的常數(shù)。

2 對偶系統(tǒng)的Carleman估計

問題(1)～(4)的對偶系統(tǒng)

yt+(xαyx)x-C11(x,t)y-C21(x,t)z=0,

(x,t)∈QT,

(9)

zt+(xαzx)x-C12(x,t)y-C22(x,t)z=0,

(x,t)∈QT,

(10)

y(0,t)=y(1,t)=z(0,t)=z(1,t)=0,

t∈(0,T),

(11)

y(x,T)=yT(x),

z(x,T)=zT(x),x∈(0,1),

(12)

其中yT,zT∈L2(0,1)。

命題1存在兩個正常數(shù)C,S1,使得對所有s≥S1和式(9)～式(12)的解(y,z),有

s3θ3x2-αz2)e2sφdxdt≤

證明 由引理2,存在C1,C2和S1,使得對所有s≥S1,有

(13)

(14)

設(shè)P(x,t)=z(x,t)e2sφ,(x,t)∈QT,由z(0,t)=0,可得P(0,t)=0，

(15)

由φ定義：

?QTz2e2sφdxdt≤

取s充分大,使

有

則有

?QTz2e2sφdxdt≤

(16)

同理,若取s充分大,使

則有

?QTy2e2sφdxdt≤

(17)

由式(13)、(14)、(16)、(17), 可得當

時，

定理2存在s和C,使得

0≤ζ1(x)≤1, 0

ζ1(x)=1,x∈O,

ζ1(x)=0,x∈(0,1)(a2,b2),

且

其中

注意到

和邊界條件式(11), 分部積分可得

I1+I2+I3+I4。

(18)

I1=0。

(19)

由H?lder不等式，

(20)

其中δ1待確定,C(δ1)是與δ1有關(guān)的常數(shù)。

(21)

由命題1及ζ1(x)=1,x∈O,有

(22)

(23)

綜合式(21)～式(23)和式(5)，有

由命題1, 可得定理2。

3 能觀不等式

定理3存在充分大的M>0和C>0,使得式(9)～式(12)的解滿足

證明 在式(9)兩邊乘yt,式(10)兩邊乘zt,相加并在(0,1)上積分,得

(24)

類似于式(15)的證明,有

(25)

(26)

因此, 由式(24)～式(26),

即

故,由定理2,

(27)

由式(25)～式(27),

(28)

(29)

(30)

由式(30)和定理2

(31)

由式(28)、 式(29)、 式(31)可得

由于對偶問題的能觀性等價于原問題的零能控性,定理1得證。