|
下面的引理为这两种情况提供了关键论点。引理3.5。设G:[0,∞) → [0, ∞) 是在[0,a)和G上正的Lipschitz连续函数≡ [a]上的0,∞) 对于a>0。那么Volterra积分方程的唯一连续解f(t)=Ztk(t- s) G(f(s))数据统计0≤ f(t)≤ a代表所有t≥ 0.证明。G的非负性意味着f≥ 假设t>0的存在使得f(t)>a。通过f的连续性,存在满足f(t)=a和f(s)>a的0<t<t∈ (t,t)。来自G≡ [a]上的0,∞), 我们有ZTTK(t- s) G(f(s))ds=0。因为G是非负的,k是递减的,所以0<f(t)- f(t)=Zttk(t- s) G(f(s))ds+Ztk(t- s)- k(t- s)G(f(s))ds=Ztk(t- s)- k(t- s)G(f(s))ds≤ 0,这是一个矛盾。因此,f满足0≤ f(t)≤ a代表所有t≥ 0提案3.6。在(C)的情况下,(2.9)的解f是非负且有界的,并且全局存在。8 STEFAN GERHOLD、CHRISTOPH GERSTENECKER、ARPAD PINTERProof。修复u∈ R使得c(u)>0,e(u)<0和e(u)≥ 0。请注意,它们的内部质量为0≤ e=e- cc<eimplies a:=-e-√e> 0。此外,从(2.10)可以看出,a是G的最小正根。定义非线性“气体”G(w):=(G(w),0≤ w≤ a、 0,w>a。那么,G是从e开始的非负Lipschitz连续函数-e> 0。因此,引理3.5得出的唯一连续解f(t)=Ztk(t- s) \'G(\'f(s))D以0为界≤\'f(t)≤ a代表所有t≥ 0。由于[0,a]上的“G=G”,函数“f”求解原始Volterra积分方程“f(t)=Ztk(t- s) G(\'f(s))d,从解的唯一性,我们得到f=\'f。提案3.7。在(D)的情况下,(2.9)的解f是非正且有界的,并且全局存在。证据修复u∈ R使得c(u)≤ 0,相当于u∈ [0, 1]. 注意e=e-cc>e>0表示:=√e-e> 0。此外,从(2.10)可以看出,a是G的最小正根。
|