用单纯算法求解三解定理

在不动点的计算中,人们越来越注意单纯算法,特别是各种基于Brouwer不动点原理的定理,都可以有相应的单纯算法.本文讨论三解定理的单纯算法.§1介绍三解定理,它是由Amann最早提出的;§2介绍用单纯算法计算Brouwer不动点;§ 3考虑Amann三解定理的计算方案.     

用不动点算法解非线性方程组的一种方法

1967年,Scarf第一次给出了Brouwer不动点定理的构造性证明。此后,形成了不动点算法或称单纯形算法,在经济数学,规划问题、两点边值问题以及非线性方程组数值解等方面得到了广泛的应用。     

几个组合引理的拓扑证明

Brouwer不动点定理的一种证明方法是利用Sperner引理,据此发展了计算不动点的各种算法.用组合方法处理连续映射的问题是组合拓扑学的基本思想.后来逐渐认识到可以沿相反方向进行,即用拓扑学的方法证明某些组合引理,例如Kuhn和Yoseloff。Brou-wer不动点定理和Sperner引理实际上是等价的. 本文利用拓扑学中的拓扑度理论和有关事实,证明几个组合引理,主要工具是分块线性映射的拓扑度.     

Brouwer不动点定理的等价形式

一.引言和预备知识 Brouwer不动点定理是非线性分析和拓扑学中之一基本定理。半个多世纪以来,人们给出其多种形式的推广和多方面的应用。但是在本文中我们将要证明,截至目前Brouwer不动点定理的许多重要推广都是与之相等价的,而且都等价于集合的紧性。作为这一结果的应用,我们顺便部分解答了Smart所提出的一个公开问题。     

Brouwer定理与均衡价格

本文详细论述了在一般均衡体系中均衡价格存在性定理与Brouwer不动点定理是等价的。即，均衡价格π ζ（π）≤0就是Brouwer定理中的不动点x^∧ f(x^∧)=x^∧并给出证明。这一等价性为计算均衡价格提供了坚实的理论依据，从而肯定了利用Brouwer定理寻找不动点的方法计算均衡价格的计算方法是可靠的。因此具有特别重要的实用意义。     

欧氏空间自映射不动点算法与Brouwer不动点定理

本文给出计算欧氏空间连续自映射不动点的一种单纯同伦算法,并得到计算收敛的一个充分条件。著名的Brouwer不动点定理是上述充分条件的一个直接推论。     

关于求解非线性耦合Schrdinger方程的Sonnier-Christov格式

该文对求解非线性耦合Schrdinger方程的Sonnier-Christov格式进行了数值分析,证明了格式关于L_2范数的稳定性和二阶收敛性,运用Brouwer不动点定理证明了差分解的存在唯一性,给出一个求解非线性差分方程组的迭代算法并证明了算法的收敛性,最后对双孤立波的碰撞进行了模拟.     

二维Brouwer不动点定理的改进

<正> Brouwer不动点定理是拓扑学中一个著名的定理.特别,二维Brouwer不动点定理断言:若f是单位闭圆盘到自身的连续映射,则f必有不动点.即存在z∈,使得f(z)=z. 原条件不变,本文用较初等的方法将二维Brouwer不动点定理的结论改进为:对任     

关于求解非线性耦合Schrodinger 方程的 Sonnier - Christov 格式

该文对求解非线性耦合Schrodinger方程的Sonnier-Christov格式进行了数值分析, 证明了格式关于L₂范数的稳定性和二阶收敛性, 运用Brouwer不动点定理证明了差分解的存在唯一性, 给出一个求解非线性差分方程组的迭代算法并证明了算法的收敛性, 最后对双孤立波的碰撞进行了模拟.     

某些高维非线性周期系统的周期解

本文用李雅普诺夫函数法和 Brouwer 不动点定理究研某些高维非线性周期系统的周期解问题,得到了一些存在唯一稳定周期解的充分条件。     

不动点与平衡点

介绍Brouwer不动点定理、Kakutani不动点定理与数理经济学中平衡点和博弈论中Nash平衡点存在性定理的等价性结果.     

不动点与平衡点

介绍Brouwer不动点定理、Kakutani不动点定理与数理经济学中平衡点和博弈论中Nash平衡点存在性定理的等价性结果.     

Leray-Schauder不动点定理的一个新证明

给出Leray-Schauder不动点定理的一个新证明.我们首先给出集值映射的焊接引理,利用集值映射的焊接引理和Kakutani不动点定理证明Leray-Schauder不动点定理,并证明Leray-Schauder不动点定理与Brouwer不动点定理等价.     

大变形网格上时间二阶精度扩散方程的保正格式

本文基于已有的连续扩散通量的两点非线性离散格式,构造了2D非稳态扩散方程大变形网格上的两层非线性有限体积格式.该格式利用Crank-Nicolson (C-N)方法的思想在时间方向获得了二阶精度.由于所得代数方程组的系数矩阵的转置是M矩阵,从而能够保持解的正性,并利用Brouwer不动点定理证明了格式解的存在性.数值实验结果表明,在较大时间步长下,该格式具有二阶计算精度.     

灵活单纯形算法

本文概述C.B.Garcia和W.I.Zangwill的灵活单纯形算法,论证算法的可行性,并对在优化问题中应用灵活单纯形算法的前景进行探讨。 1.引言自从Scarf首先利用Lemke、Lemke和Howson的互补原理来计算非线性映射不动点以来,许多求不动点或零点的算法出现了。例如:Merrill提出的重复开始算法,Kuhn和Mackinnon提出的“三明治”算法,Eaves提出的单纯同伦算法等等。     

集合值映射的连续选择和不动点定理

本文在值域为有限维空间的条件下,给出了一个刻画集合值映射有连续选择的条件,把有限维空间中的Brouwer不动点定理和其他定理推广到集合值映射,最后,在Banach空间中,给出了一个Schauder不动点定理的推广.     

一般化凸空间上的截口定理和变分不等式定理

摘要：本文利用Brouwer不动点定理或已知的KKM型定理，得到一般化凸空间上的截口定理．讨论了变分不等式解的存在性问题。对文中的相应结论进行了一般化和改进。     

非线性分数微分方程解的若干存在性结论

研究了非线性分数微分方程解的存在性,通过考察非线性项在无穷远处的增长或者非线性项在某个有界集上的“高度”获得了若干新的存在性结论,主要工具是Schauder不动点定理和Leray-Schauder不动点定理．     

乘积G—凸空间内的GB—优化映象的极大元及其应用（1）

引入和研究了一类新的映拓扑空间到不同广义凸空间的集值映象簇.利用连续单位分解定理和Brouwer不动点定理,在乘积广义凸空间的非紧设置下,对这类集值映象簇证明了极大元存在定理.这些定理改进,统一和推广了近期文献中许多重要结果.     

二阶非线性脉冲微分方程边界值问题

研究二阶非线性脉冲微分方程边界值问题(BVPI).构造了BVPI的Green函数,并将非线性的BVPI转化为不动点问题,利用Banach不动点定理和Lipschitz条件,证明了该非线性BVPI解的唯一性,最后证明了BVPI解的存在性定理.