一个特征在某一零测集上线性退化的2×2双曲守恒律组粘性解的收敛性

其中u_o~ε(x),υ_o~ε(x)分别是u_o(x),υ_o(x)的磨光函数.当系统(1)的两个特征在全平面上线性退化时,Serrs在文献[3]中也证明了方程组(4)的粘性逼近解的收敛性.陈贵强考虑了系统(1)的一个特征真正非线性而另一特征在全平面上线性退化的情形,并对某些特殊的守恒律组证明了粘性逼近解的收敛性,但当系统(1)的一个特征真正非线性,另一特征仅部分线性退化时,研究由方程组(4)定义的粘性解的收敛性似乎十分困难.本文在假设(A1)～(A3)下,通过对Lax类型的行进熵波的深入分析,证明了方程组(4)的粘性逼近解的点点收敛性,从而建     

关于Brown运动增量收敛性的一个问题的回答

<正> 设W(t),0≤t<∞,是一标准化的Brown运动,并令logt=log(max(t,1)),log log t=log log(max(t,e)),对,>0。最近,Hanson与Russo在文献[1]中进一步发展了Csrg和Révész在文献[2]中所得到的关于Brown运动增量收敛性的重要成果,证明了如下结论。假设00,并且     

弱条件下Halley族迭代的收敛性

我们曾在Smale的点估计判据下得到整个Halley族迭代的收敛性定理。点估计判据假设被求零点的映照f在初始近似z_0的某个适当大的邻域内解析。按数值泛函文献的通常理解,这是强条件的假设,尽管这种假设对于实计算的复杂性研究有其特殊的需要。对于其迭代映照中涉及f的k阶导数(或差商)的迭代法,通常理解的弱条件是假设f在z_0的某个邻域有连续的k 1阶导数,就像Канторович关于Newton法的经典工作那样。弱条件下建立收敛性定理的最大困难是关于优映照正根存在的判定。由于优映照通常被选为多项式,所以在关于算法的理论中,这是一个已经被彻底解决的问题。但成功的收敛性定理要求把这种条件明快地表示出来,而不是只给出一种判定的算法。对照文献[6]的成功和文献[7]的差强人意,这是很明显的。长期以来,还没有能够在弱条件下建立Halley族迭代的收敛性定理,其困难就在于此。对原来意义的Halley法来说,已经建立不少弱条件下的收敛性定理,但不能令人信服地说哪个比哪个更好,其原因亦在于此。     

一类非线性Schrdinger方程的守恒差分格式

非线性Schr(?)dinger方程有广泛的应用,Ablowitz在1976年对iu_t=U_(?x)±2|u|~2u建立了差分格式,证明了收敛性和稳定性。郭柏灵在1979年对提出四点格式和六点格式,证明了在f(x)≥0,β>0时的收敛性和稳定性,但因有这个条件使结果不能适用于大量非线性Schr(?)dinger方程。     

球面稳定同伦群的一些乘积

设p≥5为一素数,R.Cohen已经证明b_kh_0表示一个次数为P的球面稳定同伦群的非零元素ζ_k。R.Cohen和R.Goers证明了h_k(?)h_0表示一个次数为p的非零元素η_k。 设D=(l_1,k,ε_1,ε_2,ε_3,ε_n)为一满足下列条件的六个非负整数所形成的集:     

一个解非线性方程组的延拓-区间算法

1979年Nickel提出了解非线性方程组的球形Newton算法,并证明了算法的全局收敛性。这一工作引起了人们的兴趣,而后,很多文章是利用他的思想证明原有区间算法的全局收敛性和构造新的区间算法。但是,这里所说的全局收敛性均是这样描述的:设某条件成立则初始区间上有方程组唯一解的充分必要条件是算法可无限进行下去,此时算法产生的序列     

随机足标序列的完全收敛性

Katz(1963)给出过完全收敛性的一个基本结果:对独立同分(iid)随机变量序列{x_n},E|x_1|’<∞(r≥1)且EX_1=μ的充要条件是:对任意的ε>0,     

向量变分不等式及其在多目标最优化中的应用

多目标最优化问题中一个重要的问题是怎样判断有效解之间的优劣,从而确定最好(满意)的有效解。处理这个问题的一个途径是在有效解集上定义一个效益函数,进而求解一个最优化问题。 本文提出了向量变分不等式,并证明了某种类型的向量变分不等式是多目标最优化问题解所应满足的必要条件。在某些凸性假设下,证明了向量变分不等式可以等价于通常意义下     

E_n的焦点量与一类Poincaré分枝

本文对含小参数ε的实平面n次系统■证明了同心圆的Poincaré分枝完全由焦点量决定,且由此产生的极限环的最大个数为M(n)——E_n细焦点的最高重次。本文还对E_2(ε)及缺二次项的三次系统E_3~((3))(ε)依次给出了由上述分枝产生3个及5个极限环的实例。     

双层优化问题的信赖域算法

基于无约束非光滑优化问题的信赖域算法,给出了一种求解下层为线性约束的强凸优化问题的双层优化问题信赖域算法,并证明了该算法的整体收敛性。     

无限维中Hamilton-Jacobi方程的平均化及应用

本文研究无限维中带有快速变量的Hamilton-Jacobi方程在粘性解意义下的平均化。考虑某个Hilbert空间X上的Hamilton-Jacobi方程: 其中为连续映射;是周期为1的周期函数。从文献[1,2]知,在适当条件下(见第1节),方程(1)有唯一的粘性解V_ε(t,x)。本文用到粘性解的定义见文献[1～3]。满足 本文证明了,如果L_ε不依赖于ε(可依赖于R),则当ε→0~ 时,V_ε(t,x)的极限存在,且其极限V(t,x)是如下HJB方程的唯一粘性解:     

局部紧正则Locale的正则紧化

1980年,Banaschewski给出了locale的完全正则紧反射的刻划,并且证明了正则紧反射的存在性,在假设选择公理前提下locale的完全正则紧反射和正则紧反射是等价的,但如果不假设选择公理,则两个反射不等价,而locale的正则紧反射的具体刻划却很难给出。由于locale的最大正则紧化即locale的正则紧反射,因此一个自然的问题是locale自身满足什么样的格论条件存在最大的正则紧化?1984年,Johnstone给出了一     

s-相关GFR共轭梯度方法的全局收敛性

建立了ｓ－相关ＧＦＲ共轭梯度法,其中参数βｋ对于Ｆｌｅｔｃｈｅｒ－Ｒｅｅｖｅｓ参数βｋ＾ＦＲ的相关比,给出了两种（ｓ＝１,２）不同的上界估计。证明了两个一般性收敛性定理。由这两个定理分别推出了在若干种步长的选择策略下,ｓ－相关ＧＦＲ方法的全局收敛性。其中有几种步长策略的使用在共轭梯度法的研究文献中尚属首次。     

一类非线性波动方程组差分格式的理论分析

的初边值问题和周期初值问题的差分计算中的理论问题。其中向量φ=(ψ_1,ψ_2,…,ψ_L)~T为复值函数向量,未知函数X(x,t)为实值函数;μ,δ,ν均为实常数;在文献[1,2]中研究了该类三维非线性波动方程组的三维孤立子问题。在文献[3]中证明了这类非线性波动方程组光滑解的存在唯一性。本文对一维非线性波动方程组的初边值问题给出隐式差分格式,证明了该格式依C~1模的收敛性和稳定性,并由差分解的高阶差商的一致性估计得到了微分方程组广义解的存在性。对多维非线性波动方程组的周期     

懂科学才会爱科学

对全球40多个国家所做的一项研究分析证明了一个长久以来的假设。一个人越了解科学，就越倾向于支持科学探究。     

赋Orlicz范数的Orlicz空间的凸系数

以[Ｘ,‖·‖]记Ｂａｎａｃｈ空间,Ｘ的凸系数定义为:ε0(Ｘ)=ｓｕｐ{ε∈[0,2]:δＸ(ε)=0}.此处δＸ(ε)=ｉｎｆ{1-‖(ｘ+ｙ)/2‖:‖ｘ‖≤1,‖ｙ‖≤1,‖ｘ-ｙ‖≥ε}是Ｘ关于ε的凸性模,ε∈[0,2].凸系数表征空间单位球的总体凸性程度,在逼近论、控制论等众多学科中有重要应用.如所周知,ε0(Ｘ)=0等价于空间的一致凸;ε0(Ｘ)<2等价于空间的一致非方.由于Ｌｐ,ｌｐ(ｐ>1)是一致凸空间,其凸系数自然等于零.而Ｏｒｌｉｃｚ空间则不然.Ｈｕｄｚｉｋ等人[1]、王保祥等人[2]及崔云安[3]已对赋Ｌｕｘｅｍｂｕｒｇ范数的Ｏｒｌｉｃｚ空间的凸系…     

小区间中整数的最大素因子(Ⅰ)

Graham证明了:P(x,x~(1/2)>x~(0.662)(见J.London Math.Soc(2),24(1981),427—440).Jutila证明了P(x,x~(1/2+δ)>x~(2/3-δ)(ε,δ>0)(见J.Indian Math. Soc 37(1973),43—53)。Pintz改进为:P(x,     

内点方法的线性规划分解原则和算法(Ⅱ)

1 收敛性在适当的假设条件下,我们证明算法 A 收敛到问题(P)的最优解山、由文献[1]的第三节中的假设条件(i)—(iii)已经给出问题(P)解的若干信息.由(i)可见其存在有界的最优解,(ii)隐含着解是非退化的,(ii)—(iii)说明最优解只能在Ω的顶点上达到.设 x~*是问题(P)的最优解,由最优性条件可见必存在-y~*∈R使得对所有i∈以下各式成立:     

关于对角型不定方程sum from i=1 to n(a_ix_i~u)=0

文献[1]有一个猜想:m是正偶数,整数a,b,c满足(a±b±c)(a±b)(a±c)(b±c)≠0,u充分大且使q=um+1素,则不定方程ax~u+by~u= cz~u仅有平凡解.Granville证明了此猜想.本文在较少的条件下,对更一般的问题得到了更好的结论.定义 a_1,…,a_n是整数,ε_i∈{0,1,-1},若sum from i=1 to nε_ia_i=0当且仅当ε_i全为零,则称整数 a_1,…,a_n简单无关.定理 设m>1是整数,a_1,…,a_n简单无关,且     

四阶非线性Robin边值问题解的估计

非负且ad+cb>0.本文先构造(1)的形式解,然后将它化为适当Banach空间中的非线性算子方程,研究非线性算子Fre'chet导数在ε=0的奇性,并通过构造另一辅助算子去消除ε=0处的奇性,从而获得(1)的解的存在唯一性,并给出解在空间C~(4)[0,