论文部分内容阅读
<正> 假设X和Y是Banach空间,SX和DY。又设T:S×D→S,g:S×D→R,G:S×D×R→R及f:S→R,其中R是实数域。若把S看作状态空间,D看作决策空间,动态规划问题被化为解下面的泛函方程问题:其中x∈S。 R. Baskaran和P. V. Subrahmanyam在[1]中首先建立一个不动点定理,试图用该不动点定理研究方程(1)的解的存在性与唯一性。他们给出了如下的定理(即[1]中定理3.1):