詹華稅, 袁洪君
(1. 廈門(mén)理工學(xué)院 應(yīng)用數(shù)學(xué)學(xué)院, 福建 廈門(mén) 361024; 2. 吉林大學(xué) 數(shù)學(xué)學(xué)院, 長(zhǎng)春 130012)
考慮具有變指數(shù)的退化拋物方程
(1)
解的存在唯一性問(wèn)題, 其中:ρ(x)=dist(x,?Ω)是距離函數(shù),Ω∈N是C2上具有光滑邊界?Ω的有界區(qū)域;α>0是常數(shù);是Lipschitz函數(shù);a(s)是一個(gè)嚴(yán)格單調(diào)上升的連續(xù)函數(shù). 當(dāng)a(s)=s,α=0時(shí), 關(guān)于方程(1)解的存在唯一性研究已有很多結(jié)果[1-5]. 當(dāng)α>0時(shí),ρα|x∈?Ω=0, 方程(1)在邊界上退化, 于是除了初始條件
u|t=0=u0(x),x∈Ω
(2)
和齊次邊界條件
u(x,t)=0, (x,t)∈?Ω×(0,T)
(3)
外, 有時(shí)可用局部邊界條件
u(x,t)=0, (x,t)∈Σp×(0,T)
(4)
代替條件(3), 這里Σp??Ω或Σp=?, 即不用邊界條件可得到方程(1)解的唯一性. 文獻(xiàn)[6-10]分別在上述條件及不同的邊界條件下討論了方程(1)解的唯一性問(wèn)題.
定義1如果
(5)
且初值條件在
意義上成立, 并且u在跡意義下滿足部分邊界條件(4), 則稱u(x,t)為方程(1)的具有初始邊界條件(2),(4)的弱解.
定理1如果b(s)是Lipschitz函數(shù),u(x,t)和v(x,t)分別是方程(1)具有不同初值u0(x),v0(x)的兩個(gè)弱解, 假設(shè)α (6) p+-p-<1, (7) 則 (8) 定理2設(shè)u(x,t)和v(x,t)分別是方程(1)具有不同初值u0(x),v0(x)的兩個(gè)弱解, 當(dāng)α>p+-1時(shí), 假設(shè)g(x),p(x)滿足 |g(x)ρ-α/p(x)|≤c, (9) 及|bi(u)-bi(v)|≤c|A(u)-A(v)|, 則對(duì)任意的t∈[0,T), 有 下面證明定理1. 與空間區(qū)域的直徑比較, 設(shè)λ是一個(gè)足夠小的正數(shù), 令 (10) 其中Ωλ={x∈Ω:ρ(x)α/p(x)>λ}. 選擇Sn(φ(a(u)-a(v)))作為檢驗(yàn)函數(shù), 則 首先, 有 (12) (13) 此外, 利用文獻(xiàn)[8]的方法可以證明 (16) 再次, 下式顯然成立: (17) 最后, 在式(11)中先令λ→0, 再令n→∞. 由式(12)~(17), 可得 利用Gronwall不等式, 有 定理1得證. 選擇χ[τ,s](a(u)-a(v))φ作為檢驗(yàn)函數(shù). 這里對(duì)于任意固定的s,τ∈(0,T),χ[τ,s]是[τ,s]上的特征函數(shù),φ(x)由式(10)定義. 記Qτs=Ω×[τ,s], 則有 首先, 因?yàn)閨ρxi|≤|ρ|=1, 所以 由α>p+-1及式(19)得 (20) 其次, 有 再利用條件(9)及|bi(u)-bi(v)|≤c|A(u)-A(v)|, 可推出 其中, 根據(jù)引理1中3), 式(22)中的p1=p+或p-,q1=max{q(x)}或min{q(x)}. 對(duì)q(x)≥2和q(x)<2兩種情形分別討論, 由式(23)易知, 存在常數(shù)l<1, 使得 (23) 成立. 此外, 顯然有 (24) 于是, 只要在式(18)中令λ→0, 則由式(19)~(24), 可得 由式(25), 利用文獻(xiàn)[14]推廣的Gronwall不等式, 可得 所以由τ的任意性, 有 證畢.2 主要結(jié)果的證明
2.1 定理1的證明
2.2 定理2的證明