一类变分不等式问题的区域分解法

考虑第二类变分不等式离散问题的区域分解法.将变分不等式问题转化为等价的优化问题,针对该优化问题,给出了加性区域分解算法,最后证明了算法的收敛性.     

带非线性滑移边界条件的Stokes方程的一种并行有限元算法

在完全区域分解法的基础上,提出一种解带非线性滑移边界条件的Stokes方程的并行有限元算法.由于这类边界具有次微分性,故其弱变分形式是第二类变分不等式.并行有限元近似解的最优误差估计将通过理论分析得到.最后,数值结果验证了算法的高效性.     

混合变分不等式和非扩张映射解的迭代算法

引入和研究了一类更一般的混合变分不等式,这类混合变分不等式问题包含了许多已知的变分不等式、相补问题等作为特例.利用广义Wiener-Hopf方程技巧给出了一个求解这类混合变分不等式问题解集合和非扩张映射不动点集合公共元素的迭代算法,并在算子是松弛强制和Lipschitzian连续的条件下证明了该算法的收敛性.所得结果可以看作是一种新的和对已有一些结论的推广和改进.     

二次半定规划问题的改进投影收缩算法

针对求解二次半定规划问题时收敛速度缓慢,且由于二次半定规划的对偶问题的最优条件与变分不等式的投影方程等价,则可将原问题转化为求解变分不等式问题.从一个新的角度提出了求解变分不等式问题的投影收缩算法,进而解决了该二次半定规划问题.该算法通过引入一个辅助方向来进行改进,利用两次投影的方法降低了对算子的要求,进而达到更好的收敛效果.并在算子单调的条件下给出了算法的收敛性分析和证明.     

广义非凸变分不等式解的存在性和多步迭代投影算法

在Hilbert空间中引入广义非凸变分不等式问题,利用变分不等式和不动点问题的等价关系,给出了求解变分不等式的多步迭代投影算法.在适当的条件下证明了该算法的收敛性.     

求解双目标规划的近似邻近外梯度算法

为解决双目标规划问题的常规解法受预先设定的权重的影响,而影响其结果准确性的问题,提出了双目标规划问题的近似邻近外梯度算法.结果表明:将双目标规划问题等价变形为变分不等式,在求解变分不等式子问题的基础之上,用半空间投影构造迭代步,避开了对权重的设定,证明了算法的全局收敛性.实例分析进一步验证算法的可行性与有效性.     

解变分不等式的一种投影算法

文【1]在有限维欧式空间Rn中提出了一种解经典变分不等式的投影算法。本文通过引入F（x）来构造超平面，对该算法进行了推广。并证明了该算法生成的无穷序列{x}收敛到变分不等式的一个解。     

求解混合似变分不等式的一个四步迭代算法

研究了经典变分不等式的一种重要推广形式,即混合似变分不等式;利用混合似变分不等式与不动点问题和预解方程这一等价关系,提出了一个求解混合似变分不等式的四步迭代算法;证明了该算法在算子T伪单调连续的条件下收敛;结果推广和改进了先前的求解变分不等式算法.     

广义变分不等式解存在的条件

考虑广义变分不等式问题,通过对广义变分不等式的K-K-T方程构造组合同伦方程,给出了同伦路径存在的条件,从而得到了无界区域上广义变分不等式有解的条件.     

半正定单调变分不等式CPC算法的O(1/t)收敛率

半正定单调变分不等式CPC算法只需要计算迭代点的函数值,可以解决一类没有显式表达式的半正定单调变分不等式问题.最近A.Nemirovski(SIAM J Optimiz,2005,15:229-251.)给出的prox-类算法的计算复杂性分析表明了外梯度算法在满足单调Lipschitz-连续时具有O(1/t)的收敛率;随后相关文献在一定的条件下给出了投影收缩算法、交替方向法和Douglas-Rachford法的计算复杂性分析.受到上述计算复杂性工作的启发,利用半正定单调变分不等式的基本性质和柯西施瓦兹不等式,在一定的假设条件下,给出了半正定单调变分不等式CPC算法O(1/t)收敛率的证明.     

具有无流边界p(x)-Laplace方程解的存在性

利用山路引理和喷泉定理容易得到当p(x)-Laplace方程有|u|p(x)-2u项时,方程解的存在性和多解性;当方程没有|u|p(x)-2u时,问题变得比较困难,利用最小作用原理得到无流边界p(x)-Laplace方程解的存在性,其中无流边界指的是{u=c,x∈Ω;∫Ω|▽u|p(x)-2(u/η)ds=0.     

关于福克-普朗克方程的解

本文讨论了福克-普朗克方程的两种基本解法,即本征函数展开和路径积分方法.建立了福克-普朗克方程与薛定谔方程以及与经典动力学方程之间的联系.给出了c_1(x)=x、c_2(x)=1,以及c_1(x)=x+x~3、c_2(x)=x~4情况下福克-普朗克方程的精确解.     

S型随机微分方程

本文讨论S型方程解在空间SI中的存在与唯一性问题,证明S型方程具有按常规方式确定其样本解的特性。此外,讨论S型方程转化成自伴方程(狭义方程)问题。最后,作为特例,给出互伴线性方程解在S积分意义下的表示。     

一类泛函微分方程具有p周期解的条件及周期解表达式

利用周期解的配成恰当微分方程产生法, 给出泛函微分方程x(t)=-λf ［x²(t)+x²(t-1)+α］x(t-1)(α,λ∈R, λ>0)具有4/(4k+1)周期解x（t）的条件及一种表达式.     

一类二阶常微分方程解的渐近性态

给出了方程x..+A(t)x.+B(t) =0所有解有界的一个充分条件与零解全局渐近稳定的一个充分条件 ,并进一步给出了方程x..+A(t)x.+B(t)x =e(t)存在唯一稳定周期解的一个充分条件。     

卡尔曼—布西滤波的精细积分

数值计算是卡尔曼－布西滤波不可缺少的一个方面,通常总是分解为黎卡提微分方程的离线积分以及在线执行的状估计ｘ（ｔ）变系数微分方程组求解。     

丢番图方程y(y+1)(y+2)(y+3)=n~2 x(x+1)(x+2)(x+3)解的研究

设n1是正整数,利用Pell方程的正整数解的一组恒等式和高次丢番图方程的结果,研究了丢番图方程y(y+1)(y+2)(y+3)=n~2x(x+1)(x+2)(x+3)的正整数解(x,y),分别在2|/n,3|x的情形下和n不同素因数的个数不超过2的情形下,证明了该方程没有正整数解(x,y).     

二阶非线性泛函微分方程周期解的存在性

用重合度理论研究二阶非线性泛函微分方程 x″(t)+f(x(t))x′(t)+g(x(t-τ(t)))=p(t)的周期解存在性, 得出了该方程存在T（T>0）周期解的两个充分性定理.     

Lienard型方程周期解的存在性

讨论了一类广义Lienard型方程xe f1(x)x^. f2(x)x^.2 f3(x)x^.3 g(x)=0，给出了一些充分条件以保证其任何非平凡解为振荡的，而且证明了周期解的存在性。     

常微分方程解的存在唯一性定理的推广

推广了一阶微分方程dx/dt=F(t,x)初值问题解的存在唯一性定理,在F(t,x)满足Holder条件下,利用压缩映射原理证明了微分方程解的存在唯一性.