动态规划中一类泛函方程的存在定理

动态规划中,有这样一类泛函方程求解问题(见[1]、[2])。现叙述如下: 设X,Y是Banach空间,S(?)X是状态空间。D(?)Y是决策空间,用x、y分别表示状态向量和决策向量,又设R为实数域,T:S×D→S,g:S×D→R,G:S×D×R→R.决策过程的返回函数f:S→R满足下面的泛函方程: 问当g,G和T满足什么条件时,方程(1)有解。 Bbakata-Mitra用Browder不动点定理研究了方程(1)解的存在性,得到了下述存     

带有非局部条件分数阶差分方程解的存在性和唯一性

主要考虑如下分数阶差分方程△^vy(t)=-f(t+v-1,y(t+v-1))在非局部条件y(v-2)=ψ(y),y(v+b)=ψ(y)下的边值问题(BVP),其中t∈[0,b],f:[v-1,v,…,v+b-1]_(N_(v-1))×R→R,f为连续函数,(?),ψ∈C(v-2,v+b])→R,1相似文献   

依赖于一阶导数的二阶脉冲微分方程边值问题的正解(英)

本文研究一类二阶脉冲微分方程：■的正解存在性．其中,0＜η＜1,0＜α＜1,f：[0,1]×[0,∞)×R→[0,∞),I_i：[0,∞)×R→R,J_i：[0,∞)×R→R,(i=1,2,…,k)均为连续函数．本文所用方法是文献[5]推广的Krasnoselskii不动点定理,此定理为解决依赖于一阶导数的边值问题提供了理论依据．基于此定理,获得了问题正解存在性定理．特别地,我们获得此类问题的Green函数,使问题的解决更直观和简单．     

一类泛函方程迭代解法的收敛速度

Bellman在研究多阶段决策过程时,提出一类泛函方程的存在定理和算法。后来,这一类问题被Bhakta-Mitra推广成更一般的形式,得到下面的主要结果。定理(Bhakta-Mitra)设X,Y是Banach空间。SX是状态空间,DY是决策空间,又设T:S×D→S,g:S×D→R,G:S×D×R→R,其中R=(-∞,∞)。假设下面条件成立: (i)g和G是有界的 (ii) 其中函数是单调不减的,右连续的,且, 则泛函方程     

单调减凝聚映象的不动点定理

郭大钧[1]和[4]给出了单调减全连续映象的不动点定理,并用于核物理中一个非线性积分方程的求解。本文把它拓广到凝聚映象,从而拓广了[1]和[4]的结果。 定理 设E是Banach空间,P是E中一个正规锥,A:P→P是单调减凝聚映象。那末(i)A在P中至少有一个不动点x~*,θ≤x~*≤Aθ;(ⅱ)A~2在P中的不动点唯一时,A在P中的不动点唯一并且对任何x_0∈P作迭代序列     

非连续的增算子的不动点定理及其对含间断项的非线性方程的应用

<正> 本文是作者工作[1]的继续. 关于增算子的不动点定理,在数学的许多领域,特别是在非线性微分方程和非线性积分方程中,有着广泛的应用(见[2][3]L4][5][6]).设E是Banach空间,P是E中的锥,D=[u_o,ν_o]是E中的序区间,A:D→E是增算子,满足u_o≤Au_o,Au_o≤ν_o.关于增算子的三个有代表性的结论是:     

Banach空间一类非线性微分积分方程的整体解

该文研究 Banach空间中一类非线性 Volterra型微分积分方程在无穷区间 R 上的耦合最小最大拟解及解的整体存在性 .利用单调迭代方法及 Monch不动点定理 ,给出了该类方程耦合最小最大拟解及解的整体存在性定理 ,改进、推广了 [1 - 2 ]中的相应结果     

关于压缩映射的一点注记

B.Ray 1974年在[1]中证明了下列定理: 定理 设X是完备的距离空间,T_1:X→X,T_2:X→X是两个映射.若存在h∈(0,1),使 d(T_1x,T_2y)≤hd(x,y),x,y∈X,(1)则T_1和T_2必有公共不动点。     

2—距离空间中三个等价的不动点定理

自Gahler于1963年引入2-距离空间理论以来,国内外一些学者研究了该空间上的不动点定理,这方面的成果在[2]中作了系统的介绍。本文首先给出2-距离空间中一个压缩型映象的不动点定理,并由它导出另两个不动点定理。这两个定理分别是通常距离空间中D.W.Boyd and J.S.Wong不动点定理和J.Dugundji and A.Granas不动点定理的推广。最后,我们还证明上述三个不动点定理的等价性。     

一个新的不动点定理

<正> 本文在作者工作[1]的基础上,利用Leray-Schauder度理论给出无穷维Banach空间中非线性全连续算子的一个新的不动点定理,此不动点定理把著名的锥拉伸和锥压缩不动点定理中的序关系换成了范数关系,从而具有特点.我们还举例说明了此不动点定理对于Hammerstein积分方程非零解存在性的应用.     

多目标数学规划的对偶性

<正> R.R.Egudo 和M.A.Hanson 在文[2]中讨论了如下一类多目标数学规划的对偶性其中f:R~n→R~k,g:R~n→R~m 是向量值函数,e=(1,1,…,1)~T ∈R~k,λ∈W~(++)={ω|ω_i>0,sum from i=1 to k ω_i=1}。文[2]对多目标非凸规划(VP)和(VD)关于真有效解给出了弱对偶和强对偶定理。本文将(VP)和(VD)推广为如下一类常闭凸锥约束的多目标数学规划问题     

弹性梁方程共振问题的几个多解存在定理

本研究弹性梁方程边值共振问题－d^4u/dx^4 πu g(x,u)=e(x)(0相似文献   

用椭圆描述的四阶边值问题的两参数非共振条件

该文讨论四阶常微分方程边值问题u(4)=f(t,u,u″),0≤t≤1,u(0)=u(1)=u″(0)=u″(1)=0解的存在性,其中f:[0,1]×R×R→R连续.文中提出了一个保证该问题解存在的两参数非共振条件,该条件是用椭圆描述的.     

一类组合算子方程的解

许多数学物理问题可以归结为在Banach空间E中求解组合算子方程其中T:E→E~*单调半连续,G:D(?)E→E~*全连续。文献中往往要求T是强单调的,于是T有连续逆,而(1)可化为全连续算子T~(-1)G的不动点问题。但在应用中需要考虑T     

关于二次函数迭代的一个定理的简证

对二次函数f(x)=x2 bx c进行n次迭代,得到f[n](x),其中f[1](x)=f(x).函数f(x)有无不动点(即方程f(x)=x有无实数根)对方程f[n](x)=x解的情况有何影响?文[1]、文[2]对此进行了探讨,得到一些颇有价值的结论.其中文[2]证明了下述结果:定理设f(x)=x2 bx c,Δ0=(b-1)2-4c,若方程f(x)=     

非单特征值的广义分歧定理

讨论了抽象算子方程F(λ,u)=0的局部分歧问题,其中F:R×X→Y是一个C2微分映射,λ是参数,X,Y为Banach空间.利用Lyapunov-Schmidt约化过程及偏导算子Fu(λ*,0)的有界线性广义逆,在dim N(Fu(λ*,0))≥codim R(Fu(λ*,0))=1的条件下,证明了一个广义跨越式分歧定理.当参数空间的维数等于值域余维数时,应用同样的方法又得到了多参数方程的抽象分歧定理.     

非单特征值的广义分歧定理

讨论了抽象算子方程F(λ,u)=0的局部分歧问题,其中F:R×X→Y是一个C~2微分映射,λ是参数,X,Y为Banach空间.利用Lyapunov-Schmidt约化过程及偏导算子F_u(λ~*,O)的有界线性广义逆,在dim N(F_u(λ~*,0))≥codim R(F_u(λ~*,O))=1的条件下,证明了一个广义跨越式分歧定理.当参数空间的维数等于值域余维数时,应用同样的方法又得到了多参数方程的抽象分歧定理.     

矩阵方程A×B=D的(R,S)-斜对称解

矩阵方程A×B=D是教学、理论研究和工程实践中常见的一种矩阵方程.给出了A×B=D具有(R,S)-斜对称矩阵解的充分必要条件,及其解存在条件下全体解集合Sx的表达式.此外,还讨论了任意给定矩阵(X)在仿射子空间Sx中的最优近似解,并给出了最优解的显示表达式.     

二阶常微分方程Neumann边值问题正解的全局分歧

本文考虑二阶常微分方程Neumann边值问题正解的存在性,其中f:[0,1]×R→R(R=(-∞,+∞))为连续函数.运用Dancer全局分歧定理建立了上述问题正解的全局分歧,并且获得了保证上述问题存在正解的若干最优充分条件.     

一类带导数项的非线性特征值问题正解的存在性

应用 Schauder不动点定理 ,证明了带导数项的非线性特征值问题 :　　 u″+λa( t) f ( u,u′) =0 ,0 0充分小 ,f :[0 ,∞ )× R→ R连续且 f( 0 ,0 ) >0 .