一般二次规划的一种分解算法

提出了求解一般二次规划问题的一种分解迭代算法.算法的主要思想是对问题的Hessian矩阵G进行正则分裂,即G=N H并且满足N-H是正定的.在每次迭代中用一个易于求解的矩阵N代替G进行计算.在矩阵G是正定的条件下,算法具有线性收敛性质,产生的迭代点列收敛到原问题的最优解.当矩阵G不正定时,算法产生的点列收敛到问题的稳定点.     

自治系统的周期解

考虑自治系统: dx_i/dt=f_i(X_1,X_2,…,X_n)(i=1,2,…,n)(1)其中右端函数满足解的存在与唯一性定理条件。定义1 相空间的点y称为点x_0的ω极限点,如果存在时间序列{t_n}当n→+∞,t_n→+∞且y=lim x(t_n,x_0)。n→∞定义2 给定环面体G的截面S(在n—1维超平面上)称为G的拟截割,如果对任意~x∈S,有S_x?S,x∈S_x和δ=δ(x)>0,使得φ((-δ,δ),S_x)为R·中包含x的开集,这里φ(t,P)为方程(1)满足初值x(0)=P的解。     

一类二阶线性变系数微分方程解法的探讨

二阶线性变系数微分方程大量出现在工程科学中,尽管这类方程求精确解困难,但实际问题往往有需要求解.对于二阶微分方程A(x)y″+B(x)y′+C(x)y=f (x),根据判别式Δ=A(x)φ′(x)+A(x)φ2(x)+B(x)φ(x)+C(x),将该方程化成新形式.当Δ=0时,该方程化为可解的一阶方程;当Δ≠0时,该方程化为新的二阶线性变系数微分方程,再探求其解法.     

Φ-强单调半连续映象的Browder变分不等式解的Ishikawa迭代算法

在Hilbert空间H中, 在T:H→H有界, Φ-强单调和半连续条件下,利用次微分(a)φ算子的性质,将求变分不等式〈Tu-f,y-u〉≥φ(u)-φ(y),(A)y∈X的解转化成求集值Φ-强伪压缩映象的不动点,得到Browder变分不等式〈Tu-f,y-u〉≥φ(u)-φ(y),(A)y∈H的带有误差的Ishikawa迭代算法,在适当假设下证明了该迭代算法强收敛于不等式的唯一解.本文结果改进和推广了文献中部分已知的结果.     

一类四阶两点常微分边值问题解的存在唯一性

对于四阶两点常微分方程边值问题y( 4) =f ( x,y) ,y( a) =y( b) =y"( a) =y"( b) =0 ,其中 f ( x,y) :[a,b]× R→R连续 ,且满足 L ipschits条件 ,给出在 Banach压缩映象原理下的解的存在唯一性 ,并通过对 C[a,b]的范数的改造 ,给出最优结果 .     

一类Hammerstein型积分方程的解

利用变分方法,在Hilbert空间中,研究了一类带正定核的Hammerstein型积分方程φ(x)=∫ck(x,y)f(y,φ(y))dy=Aφ解的存在性问题,通过对涅梅茨基算子fφ=f(x,φ(x))加条件,利用它的拟可加性,证明了泛函Φ(ψ)=1/2‖ψ‖ 2-ψ(Hψ)具有强制性,根据已有结论证明了泛函临界点的存...     

四阶常微分方程两点边值问题解的存在唯一性

讨论四阶两点常微分方程边值问题 y(4) =f(x ,y ,y′) ,边界条件的解的存在唯一性 ,其中 f :[a ,b]×R×R→R 连续 ,相应的边界条件为 :y(a) =y(b) =y″(a) =y″(b) =0 ;y(a) =y(b) =y″(a) =y (b) =0 ;y(a) =y′(b) =y″(a) =y″(b) =0 ;y(a) =y′(b) =y″(a) =y (b) =0 .在假设函数 f(x ,y ,y′) 满足相应的Lipschitz条件下通过构造 X =C1[a,b] 中的范数给出了四阶两点常微分方程边值问题解的存在唯一性结论     

复合函数求导数法则的证明的改进

设y=f(u),u=φ(x),u在x_0可微分;u_0=φ(x_0),y在u_0可微分,则复合函数y=f(φ(x))在x_0可微分,而且(1) dy/dx|_(x=x_0)=f′(u_0)·φ′(x_0)。这个复合函数求导数法则的证明,在通常的数学分析教科书上,有如下两种: 〔证法一〕给x从x_0起取增量△x(≠0),则相应地函数u从u_0起得增量△u,y从f(φ(x_0))起得增量△y。因为f′(u_0)存在,所以当△u≠0时,令α=△y/△u-f′(u_0),就有limα=0,而且 △u→0     

线性规划的一个新的多项式算法——Karmarkar方法

假设我们已经知道: (Ⅰ)问题有最优解,且最小值为零 (Ⅱ)x=a,y=g是问题的一个可行解,且满足a>0,g>0定义: 作1,2节中的投影变换: 问题就可化为如下的Karmarkar标准型:求满足是问题的一个可行解。现在,让我们考虑形式稍广些的问题     

严格伪压缩映像隐迭代格式逼近公共不动点的几何结果

设K是Hilbert空间E中非空闭凸集,Ti:K→K是具不动点集F(Ti)的严格伪压缩映像,且F=∩1≤i≤NF(Ti)≠φ,i=1,2,3,…,N.对x0∈K与{αn}(∈)[0,1],隐迭代格式{xn}定义为xn=αnxn-1+(1-αn)Tnxn,n≥1.这里Tn=TnmodN,如果{xn}收敛于Ti的公共不动点p∈F,i=1,2,3,...,N,且xn≠p,则对任意y∈F,有lim supn→+∞(y-p,xn-p/‖xn-p‖)≤0.称这一几何结果为逼近不动点的钝角原理.     

T.A.Burton定理的拓广

设r>0为一给定常数,C_n=C(〔-r,0〕,R~n).对φ∈C_n,定义‖φ‖=sup|φ(s)|,对任意给定常数H>0,记C~H_m考虑泛函微分方程(t)=F(t,x_t,y_t)(1)■(t)=G(t,x_t,y_t)其中F∈C(t, 0, 0)=0,G(t, 0, 0,)=0_0本文证明文的主要定理中,李雅普诺夫函数沿方程的解的导数关于状态变元(x,y)的定负性条件,可用李雅普诺夫函数沿方程的解的导数仅关于部分状态变元y的定负性条件代替.     

正定二次规划的一个区域分解算法

给出了一个求解正定二次规划的区域分解方法。首先证明了任何一个正定二次规划问题与一个有界区域上的正定二次规划问题是等价的。然后，依据一定的准则将有界区域分解成一系列的单纯形，通过求解每个单纯形上正定二次函数的最优解，迭代到原问题的最优解。该方法有很明显的优点：①求解单纯形上目标函数的最优解是一个无约束正定二次规划问题；②构造单纯形是通过求解线性规划问题得到。算例表明，本算法是有效的。     

关于方程x~2-1=y~n

1.设n是一个大于1的整数,显然方程(1)x~2-1=y~n有平凡解x=±1,y=0,而且在n为奇数时,还存在另一平凡解x=0,y=-1。如果有整数x≠0,y≠0能够适合方程(1),我们把他叫做(1)的非平凡解。已知在n=2时,方程(1)没有非平凡解;在n=3时只有一组非平凡解;x=3.y=y;在n=5,时,也没有非平凡解。一般的猜测是方程(1)的非平凡解只有上面所说的这一组。如果我们能够证明对于任何大于5的质数,(1)式都没有非平凡解存在,这个猜测就是正确的,在本文中,我们将用初等方法证明:     

关于方程x~3+y~3+z~3=xyz

关于三元三次型为零的有理数解问题,有过很多工作。但是即使对于(1) x~3+y~3+z~3=xyz,还不知道他是否有xyz≠0的有理数解。在本文中,我们将证明方程(1)和(2) (x~2+y~2+z~2)(x+y+z)=8xyz,(3) x~3+y~3+13z~3=7xyz都没有xyz≠0的有理数解。首先证明方程(1)没有xyz≠0的有理数解。方程(1)如果有有理数解,显然就有整数解。所以毫无损失的可以假设x,y,z都是整数,而且有(4) (x,y)=(y,z)=(z,x)=1.     

一类非线性泛函微分方程解的有界性

本文讨论连续函数空间 C 上的非线性泛函微分方程{d/(dt) X(t)=F(X_t)t≥0 X_0=φ∈C}的解的有界性。证明了当 F(φ)=-φ(0)G(φ),这里 G(φ)≠0对φ≠0,φ∈C 时,解 x(t,φ)具有性质:X(t,φ)≤φ(O)。     

带变号系数的半线性边值问题的非负解（英）

利用Schauder不动点定理和上下解方法 ,对边值问题 1p(t) (p(t) y′(t) ) +a(t) f(t,y(t) ) =0 ,limt→ 0 +p(t) y′(t) =0 =y(1)讨论非负解的存在性 .其中 p∈C1(0 ,1)且在 (0 ,1)上 p>0 ,f≥ 0 ,对固定的 y函数 f(t,y)关于t是单调递减的 ,对固定的t函数f(t,y)关于 y是单调递增的 ,a∈C(0 ,1) 可以改变其符号 .     

奇解与可分离变量方程的解

奇解是常微分方程基本理论中的一个很重要的问题,又是一个难题。关于它的讨论目前还很不深刻,特别是奇解与方程解的结构之间的关系没有涉及。本文讨论奇解与可分离变量方程的解的结构之间的关系。对可分离变量方程 dy/dx=f(x)g(y), (1)其中f(x),g(y)分别是x,y的连续可微函数,我们已知它的通解为 (此处假设g(y)≠0). (2)其中C为任意常数.若g(y_0)=0,则 y=y_0 (3)也是(1)的解。但若此解可由(2)中取常数C=C_0得到,则它就包含在通解(2)中。因此,(2)就是(1)的全部解的表达式。如果y=y_0不能由(2)中选取C而得到,则(2)和(3)都是(1)的解。这时,我们要问(2)和(3)是否包含了(1)的全部解? 经过探讨可以得出如下的结论:     

抛物型Monge-Ampère 方程广义解的存在惟一性

证明抛物型 Monge-Ampère方程第一初边值问题 -utdet uxx=f于 Q=Ω× ( 0 ,T] ,u=φ于 p Q广义解的存在惟一性 ,这里 Ω为Rn中的有界凸集 ,f 非负有界可测 ,φ( x,t) =ψ( x) A( t) x B( t) ,其中ψ( x)∈ C(Ω)凸 , x0 ∈ Ω ,φ( x0 ,t)∈ Cα( [0 ,T] )且关于 t∈ [0 ,T]单调递减     

非线性矩阵方程X-A*((X)-C)-n A=Q的正定解

研究了非线性矩阵方程X-A*((X)-C)-n A=Q的正定解,证明了该方程一定存在正定解,并给出了正定解的存在区间、存在唯一正定解的条件以及迭代求解方法.     

矩阵方程X+sum from i=1 to m (A_i~*XV~(-n)A_i=I)的正定解

研究了非线性矩阵方程X+sum from i=1 to m (A_i~*XV~(-n)A_i=I)存在正定解的充分和必要条件,得到了正定解的存在区间,给出了存在唯一解的充分条件,构造了求解的迭代方法.