|
修复f∈ C(R,R)和π:={tk}k∈N∈ Π([τ, ∞))对于某些τ∈ R、 例如,可以设置tk:=τ+k 对一些人来说 > 0、定义多边形Дπ∈ AC([τ,∞), R) 使用Дπ(τ):=ξ∈ R、 然后在每个间隔(tk,tk+1)上递归设置Дπ(t):=Дπ(tk)+(t- tk)f(tk,Дπ(tk))(2.44)注意到↓tk公司--→ 每k的Дπ(tk)∈ N、 以及∪k∈N(tk,tk+1)=(τ,∞). 对于IVP x=f(t,x),x(τ)=ξ,这样的路径Дπ将被称为前向Eulerπ-多边形。2空间不规则常微分方程的适定性在所有[τ,∞), 即使最大解决方案∈ C([τ,T*), R) 相关IVP的x=f(t,x),x(τ)=ξ在有限时间内爆炸,例如满足t*< 十、*:= 限制↑T*^1(t)=∞. 理论上,我们的前向Euler多边形Дπ不能在紧致的[τ,T]上爆炸,因为这将需要从π到[τ,T]的一系列时间点。实际上,Дπ当然可以超过计算机的最大值。现在,我们给出了问题1.2的前向Euler多边形的收敛结果。它的证明使用了函数f的连续模∈ F其中,在紧X上 R、 is definedw(R)=wf,X(R):=sup{| f(t,X)- f(t,x)|::(t,x)- (t,x)|<r,(ti,xi)∈ 十} 。(2.45)对于任何此类f和X,w的存在和极限w(r)r↓0--→ 0从f开始跟踪∈ C(R,R)。定理2.20(前向Euler收敛)。假设{fn}n∈N F和fn(τ,ξ)>0。Forpartitions{πn}n∈N Π([τ, ∞)), let^1n∈ AC([τ,∞), R) 为IVP x=fn(t,x),x(τ)=ξ,且设Д的前向Eulerπn多边形∈ C([τ,T),R)是IVP x=f(T,x),x(τ)=ξ的唯一最大解∈ (τ,T)和X∈ (Д(T),∞),kf公司- fnk[τ,T]×[ξ,X],kπnk[τ,T]n→∞----→ (0, 0) ==> k^1- Иnk[τ,T]n→∞----→ 0.(2.46)证明。与定理2.18中的IVP解不同,给定的多边形Дnneed不能像Д那样严格递增,实际上可能会违反引理2.6中的界限,例如。
|