动态规划中一类泛函方程解的存在性和逼近技巧.docx

JOURNALOFLANZHOUUNIVERSITY(NaturalSciences)动态规划中一类泛函方程解的①Ξ存在性和逼近技巧朱江李德生(兰州大学数学系,兰州730000)摘要在更为一般和较弱的条件下讨论了动态规划中一类泛函方程的存在性和逼近技巧,同时也改进和推广了已知文献中的相应结果.关键词泛函方程动态规划极大元中图法分类号O177191引言0动态规划方法是一种重要的最优化方法,在运筹学和数理经济中都有广泛的应用.本文将对动态规划中提出的一类较为一般的泛函方程f(x)=opt{u(x,y)+G(x,y,f(T(x,y)))},x∈Sy∈D(011)和泛函方程组f(x)=opt{u(x,y)+G(x,y,g(T(x,y)))},y∈Dx∈S,(012)g(x)=opt{v(x,y)+F(x,y,f(T(x,y)))},y∈D在更为一般和较弱的条件下讨论了解的存在性和逼近技巧.其中S是状态空间,D是决策空间.x,y分别表示状态和决策向量,T表示过程变换.f(x)和g(x)表示初始状态x的最优返回函数.opt表示上确界sup或下确界inf.而且在方程组(012)中,出现在第一个方程中的opt和出现在第二个方程中的opt可以是不一致的.即其中一个是上确界sup,而另一个可以是下确界inf.这种情形在已知的文献中还没有被讨论过.本文的结果也是对文2～4中相应结果的改进和推广.恒假设X和Y是拓扑空间,SX,D上所有有界实函数构成的集合.在Y.B(S)表SB(S)中定义偏序≤为:u1≤u2,当且仅当对任何x∈S,u1(x)≤u2(x).在B(S)中定义范数‘为:u=supfru(x)fr,则B(S)是一个有序Banach空间.x∈S主要定理与证明首先讨论方程(011)解的存在性和解的逼近技巧.1定理1设下列条件成立:Ξ收稿日期:1996203220.①国家自然科学基金和国家教委博士点基金资助.4期朱江等:动态规划中一类泛函方程解的存在性和逼近技巧21(i)存在一个非减映射Υ:R+→R+,使对任何t0,Υ(t+)t以及对任何s,t∈R有frG(x,y,s)-G(x,y,t)fr≤Υ(frs-tfr);(ii)u(‘,‘)及G(‘,‘,0)在S×D上有界.则方程(011)在B(s)中有唯一解u3,而且对任何u0∈B(S),迭代序列un(x)=opt{u(x,y)+G(x,y,un-1(T(x,y)))},x∈S,y∈Dn=1,2,,在B(S)中范数收敛于u3.证明在B(S)上定义算子Kf=w为w(x)=opt{u(x,y)+G(x,y,f(T(x,y)))},x∈S.y∈D由条件(i)有frG(x,y,t)fr≤frG(x,y,0)fr+Υ(frtfr)≤frG(x,y,0)fr+frtfr,因此有fru(x,y)+G(x,y,f(T(x,y)))fr≤fru(x,y)fr+frG(x,y,0)fr+frf(x,y)fr.(111)由条件(ii)和(111)式知K映B(S)到B(S).对任何f,g∈B(S),利用条件(i),经过较为细致的估计可证Kf-Kg≤Υ(f-g).(112)在文5定理3中取A=B=K,S=T=I(恒等映射),则显然A与S及B与T是相容映射,而且S连续.又设{xn},{yn}B(S),使得limML0,其中(xn,yn)=n→∞M(xn,yn)=max{d(Sxn,Tyn),d(Sxn,Axn),d(Tyn,Byn),d(Sxn,Byn)+d(Tyn,Axn)]/2}=max{xn-yn,xn-Kxn,yn-Kyn,xn-Kyn+yn-Kxn]/2}.由(112)及Υ是非减映射知d(Axn,Byn)=Kxn-Kyn≤Υ(xn-yn)≤Υ(M(xn,yn)),从而limd(Axn,Byn)≤limΥ(M(xn,yn))≤Υ(L+)L.所以文5定理3的结论知,K有唯n→∞n→∞一不动点u3.而且对任意的u0∈B(S),迭代序列un=Kun-1,n=1,2,在B(S)中收敛于u3.即方程(011)在B(S)中有唯一解u3.而且以任何一点u0∈B(S)为初始值的迭代序列都在B(S)中依范数收敛于唯一解u3,证毕.注1文3中定理2是本文定理1的特殊情形.另外文3定理2的条件(ii)可以推出本文定理1的条件(i).由此可见,文3定理2的条件(iii)及所采用的混合单调化函数F(x,y,s,t)也是不必要的.最后,讨论方程组(012)的解的存在性,若f,g∈B(S)满足方程组(012),则(f,g)叫做是方程组(012)的重合解.对任何f,g∈B(S)定义Ff,Gg为Ff(x)=opt{v(x,y)+F(x,y,f(T(x,y)))};y∈DGg(x)=opt{u(x,y)+G(x,y,g(T(x,y)))};x∈S.y∈D设下