李寶麟,王轉(zhuǎn)紅
(西北師范大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,甘肅 蘭州 730070)
Kurzweil[1]于1957年提出的廣義常微分方程理論在處理常微分方程、脈沖微分方程、滯后型泛函微分方程及拓?fù)鋭?dòng)力系統(tǒng)等問(wèn)題時(shí)有重要作用,已被許多作者進(jìn)行深入廣泛的研究,并取得了一些新的成果[2-4].以下區(qū)別于文獻(xiàn)[5],沒(méi)有利用常數(shù)變易公式而利用Kurzweil-Stieltjes積分理論和正則函數(shù)的性質(zhì),討論了無(wú)限滯后脈沖測(cè)度泛函微分方程
解對(duì)參數(shù)的連續(xù)依賴(lài)性,所得結(jié)果是對(duì)文獻(xiàn)[5–6]已有結(jié)果的推廣.
方程(1)等價(jià)于積分方程
其中G:O×[t0,t0+σ]→Rn關(guān)于第一個(gè)變量是線性的,f:[t0,t0+σ]→Rn.符號(hào)yt:(-∞,0]→Rn,yt(τ)=y(t+φ),φ∈(-∞,0]表示滯后的長(zhǎng)度,λ0∈R,ρ>0,Λ ={λ0∈R:‖λ-λ0‖<ρ}.為了證明主要的結(jié)果,先引入相關(guān)的定義和引理及一些符號(hào)的說(shuō)明.
L(Rn)表示由所有n×n階實(shí)矩陣構(gòu)成的集合,J?R是一個(gè)有限或無(wú)限的區(qū)間,‖·‖表示L(Rn)上的算子范數(shù).對(duì)區(qū)間[a,b]的任何精細(xì)分劃P,使得a=s0<s1<···<si+1=b,若則函數(shù) A(t)在 [a,b]上是有界變差的,BV([a,b],L(Rn))表示所有有界變差函數(shù)構(gòu)成的全體.G*([a,b],L(Rn))表示所有正則函數(shù)A(t):[a,b]→L(Rn)的全體.
設(shè)O?G*((-∞,t0+σ],Rn)是一個(gè)開(kāi)集且具有以下性質(zhì)(延拓性質(zhì)):如果y=y(t),t∈[t0,t0+σ]及∈[t0,t0+σ],那么(t)∈O且
顯然,當(dāng)y∈O?G*((-∞,t0+σ],Rn)時(shí),對(duì)任意的t∈[t0,t0+σ]都有xt∈G*([-r,0],Rn).
定義2.1設(shè)G:Ω→Rn,Ω?O×[t0,t0+σ].稱(chēng)函數(shù)x:[α,β]→Rn為Kurzweil廣義常微分方程
在區(qū)間 [α,β]上的一個(gè)解是指對(duì)所有的t∈[α,β],(x(t),t)∈G,有
成立,其中右端積分是函數(shù)U(τ,t)=G(x(τ),t)在[s1,s2]上的Kurzweil積分.當(dāng)(3)式中的G(x,t)=A(t)x+g(t)時(shí),稱(chēng)為Kurzweil廣義線性常微分
引理2.2[2]設(shè)A∈BV([a,b],L(Rn)),g∈G*([a,b],Rn),稱(chēng)x:[a,b]→Rn為廣義線性微分方程
滿足初始條件x(t0)=x0∈X在區(qū)間[a,b]上的解,是指對(duì)任意的t∈[a,b],有
且x∈G*([a,b],Rn).
引理2.3[5]若g,gn∈G*([a,b],Rn),A,Ak∈BV([a,b],L(Rn)),對(duì)每個(gè)k∈N且
即y0為方程(17)的解,從而定理得證.
注定理3.1主要是對(duì)無(wú)限滯后脈沖測(cè)度微分方程解對(duì)參數(shù)的連續(xù)依賴(lài)性結(jié)果的證明,其結(jié)果是文[5–6]中相應(yīng)結(jié)果的推廣.當(dāng)然,我們也可借助Φ-有界變差函數(shù)理論與Kurzweil方程理論建立方程(2)的Φ-有界變差解對(duì)參數(shù)的連續(xù)依賴(lài)性定理.