无限时滞抽象泛函微分方程的广义解

利用强连续算子半群理论,在满足基本公理的抽象相空间中,研究一类具无限时滞的抽象泛函微分方程的广义解的存在唯一性.     

C半群的一些性质

引入C半群新的条件:(A1)存在θ∈(π/2,π]使得,(1)对每一个t∈[0,T],ρ(A(t))(>){λ:∣argλ∣<θ} U {0}l,(2)存在常数M使得∣∣ R(λ,A(t))c ∣∣≤MI/∣λ∣,λ∈∑,t∈[0,T].(A2)对于任意λ∈∑,t的算子值函数R(λ,A(t))C,t∈[0,T]依算子拓扑连续可微,且存在常数墨和ρ∈(0,1]使得∣(e)/(et)R(λ,A(t))C ∣∣≤K1/∣λ∣p,λ∈∑,t∈[0,T].在该条件下证明了C半群的有界性.