广义多值拟变分包含解的两步迭代

本文引入并研究了Hilbert空间中的一类广义多值拟变分包含问题.借助预解算子技巧构造了一个新的两步迭代算法来逼近广义多值拟变分包含的解,并且证明了其解的存在性以及迭代算法生成的迭代序列的收敛性.     

H-单调映象的广义Fuzzy隐拟变分包含

引入了一类H-单调映象的广义Fuzzy隐拟变分包含问题,利用文[1]中H-单调映象的预解算子技巧研究了这类变分包含解的迭代算法逼近,证明了其解的存在性以及由算法生成的迭代序列的收敛性。     

求解多项式规划的一个全局最优化算法

提出一个求解带箱子约束的一般多项式规划问题的全局最优化算法, 该算法包含两个阶段, 在第一个阶段, 利用局部最优化算法找到一个局部最优解. 在第二阶段, 利用一个在单位球上致密的向量序列, 将多元多项式转化为一元多项式, 通过求解一元多项式的根, 找到一个比当前局部最优解更好的点作为初始点, 回到第一个 阶段, 从而得到一个更好的局部最优解, 通过两个阶段的循环最终找到问题的全局最优解, 并给出了算法收敛性分析. 最后, 数值结果表明了算法是有效的.     

不等式约束最优化无严格互补条件下的快速收敛序列线性方程组算法

本文讨论无严格互补性的非线性不等式约束最优化问题,建立了一个新的序列线性方程组算法。算法每次迭代只需解一个线性方程组或计算一次广义梯度投影,并不要求Lagrange函数的近似Hessian阵正定。在较弱的假设下,证明了算法的整体收敛性、强收敛性、超线性收敛性及二次收敛速度。还对算法进行了有效的数值试验。     

等熵气体动力学方程组Lax-Friedrichs格式的收敛性(Ⅰ)

§1引言 如所周知,Lax-Friedrichs格式是P.D.Lax对拟线性双曲型守恒律方程组提出的一种有限差分格式。若得到了其相应的差分逼近解的收敛性,这格式不仅提供了证明:整体广义解存在性的一种理想途径,而且能方便有效地直接用来进行整体解的数值计算。在单个守恒律方程情形,O.Oleinik,C.Conway and J.Smoller等证明了这一格式的收敛性,并得到了整体广义解的存在性。然而,对双曲型方程组,特别是气体动力学方程组,Lax-Friedrichs格式的收敛性一直没有什么结果。     

求解含平衡约束数学规划的熵函数法

提出求解含平衡约束数学规划问题(简记为MPEC问题)的熵函数法，在将原问题等价改写为单层非光滑优化问题的基础上，通过熵函数逼近，给出求解MPEC问题的序列光滑优化方法，证明了熵函数逼近问题解的存在性和算法的全局收敛性，数值算例表明了算法的有效性。     

一类非线性边界条件的抛物型方程组的周期解的数值解法

本文研究了一类具有非线性边界条件的反应一扩散一对流方程组的周期解的数值解法，利用上下解作为初始迭代，把求方程组的Jacobi方法和Gauss—Seidel方法和上下解方法结合起来，得到了迭代序列的单调收敛性和方法的收敛性，对方法的稳定性也作了论述。     

Banach空间中的广义Hη增生算子及其在变分包含中的应用

在Banach空间中,引入和研究了新的广义H-η-增生算子,对广义m-增生算子与H-η-单调算子提供了一个统一的框架．还定义了广义H-η-增生算子相应的预解算子,并且证明了其Lipschitz连续性．作为应用,考虑了涉及广义H-η-增生算子的一类变分包含问题的可解性．利用预解算子方法,构造了一个求解变分包含的迭代算法．在适当假设下,证明了变分包含解的存在性和由算法生成的迭代序列的收敛性．     

渐近Φ-拟伪压缩型集值变分包含解的迭代逼近

在实自反Banach空间中,引入并研究一类新的渐近Ф-拟伪压缩型集值变分包含问题,证明了这类变分包含解的唯一性,并在没有序列{t_n}或{s_n}有界的条件下,建立了渐近Ф-拟伪压缩型集值变分包含解的具随机混合误差的Ishikawa迭代序列的强收敛性定理,从而改进和推广了一些已知的结果.     

向前型分段连续微分方程的数值解

本文讨论了向前型分段连续微分方程Euler-Maclaurin方法的收敛性和稳定性,给出了Euler-Maclaurin方法的稳定条件,证明了方法的收敛阶是2n+2,并且得到了数值解稳定区域包含解析解稳定区域的条件,最后给出了一些数值例子用以验证本文结论的正确性.     

The Entropy Condition for Implicit TVD Schemes

A class of implicit trapezoidal TVD schemes is proven to satisfy a discrete convex entropy inequality and the solution sequence of such implicit trapezoidal schemes converges to the physically relevant solution for genuinely nonlinear scalar conservation laws. The results are extended for a class of generalized implicit one-leg TVD schemes.     

ON THE CELL ENTROPY INEQUALITY FOR THE FULLY DISCRETE RELAXING SCHEMES

1. IntroductionThis paPer is interested in studies of the cell eatroPy ineqallty for two classes of the fullydiscrete relaxin schemes aPprchating the fOlfowing scalar consendion lawwith dritial data u(0, x) = bo(x), x = (x1, ...) xd).lt is wen knOWn that the above cauchy problem (1.1) may not ahas have a smooth globalsollltion even thOugh the initial data uo is smoOth [8, 9]. Thus, we consider its weak solutiOn sothat the prObem (1.1) ndght hav a global solution allOwing disconinulies (e.g…     

双曲型方程组差分格式与熵条件

其中u=u(x,t),f=f(u),φ=φ(x)是M维向量函数。拟线性双曲方程存在击波现象,既使初始值无限光滑,也会出现间断解。(1)与(2)的弱解一般而言是不唯一的,满足熵条件的弱解是有物理意义的广义解。 双曲型方程求数值解时,需要考察所得数值解满足熵条件的问题。Lax和Wendroff曾证明,当网格步长△_t,△_x趋于零时,若守恒型差分格式的解几乎处处有界收敛到函数     

Low dissipative entropy stable schemes using third order WENO and TVD reconstructions

A low dissipative framework is given to construct high order entropy stable flux by addition of suitable numerical diffusion operator into entropy conservative flux. The framework is robust in the sense that it allows the use of high order reconstructions which satisfy the sign property only across the discontinuities. The third order weighted essentially non-oscillatory (WENO) interpolations and high order total variation diminishing (TVD) reconstructions are shown to satisfy the sign property across discontinuities. Third order accurate entropy stable schemes are constructed by using third order WENO and high order TVD reconstructions procedures in the diffusion operator. These schemes are efficient and less diffusive since the diffusion is actuated only in the sign stability region of the used reconstruction which includes discontinuities. Numerical results with constructed schemes for various test problems are given which show the third order accuracy and less dissipative nature of the schemes.     

双曲型守恒律方程的熵稳定格式的一些讨论

本文讨论双曲型守恒律方程的熵稳定格式.对于给定的熵对,格式所满足的熵条件中的数值熵通量是不唯一的.Tadmor的充分条件可以唯一地确定标量方程的熵守恒通量,但不能唯一确定方程组的熵守恒通量,却可以给出方程组的空间一阶精度的熵守恒格式.也讨论了在熵守恒通量上添加数值粘性得到的显式熵稳定格式需要满足的条件及常见的时间离散对熵守恒和熵稳定的影响.     

关于有限马氏链相对熵密度和随机条件熵的一类极限定理

本文引进有限非齐次马链随机条件熵的概念，研究这个概念与相对熵密度的关系，并通过数列的绝对平均收敛的概念给出了有限非齐次马氏链的相对频率，相对熵密度和平均随机条件熵ａ．ｅ收敛于常数及有限非齐次马氏链熵率存在的条件。     

A ESTIMATE OF THE RATE OF ENTROPY DISSIPATION OF HIGH RESOLUTION MUSCL TYPE GODUNOV SCHEMES

1.IntroductionLetusconsidertheCauchyproblemsfornonlinearhyperbolicscalarconservationlaws:wheref:W~WisLipschitzcontinuousfunctions,andtheinitialdata"o(x)isagivenfunctioninLI(R)nLoo(R).Asitiswell--known,thisproblemingeneraldoesnotadmitsmoothsolution,so...     

流体力学方程组的总熵增量小的守恒型差分格式(续)

近年来,国外许多学者对求解双曲守恒律组的高分辨率、高精度差分格式进行了深入的研究.例如MUSCL方法、TVD格式、PPM方法、各种限流的方法以及ENO格式等等.将这些方法应用于流体力学方程组,其数值实践的结果表明,在消除波后振荡、提高激波间断分辨率、提高计算精度等方面有明显的效果.在设计这些计算格式时,通常都是研究单个标量方程的计算格式,再推广到方程组的情形.同时,或者对数值解的总变差提出某种要求(不增或基本不增),或者采用修正数值流措施,或者采用插值或重构的方法,在网格内部用线性分布和更高阶的分布取代Godunov方法中的常数分布,以及处理相应的小范围的解的算法.     

ON ENTROPY CONDITIONS OF HIGH RESOLUTION SCHEMES FOR SCALAR CONSERVATION LAWS

1. IntroductionLet us consider the Cauchy problems for nonlinear hroerbolic scalar cO~ion laws:where the function f(u) E C'(R) and the hatal data ho E BV(R). As is well lmown, thisProblem in general does not ~ smooth solution, so that weak solution in the sense ofdistributions must be considered. Moreover, an elitropy condition must be added in order toensure the ~s of the weak solutions.The research of numerical methods for solving the equation (1.1) has been developed rapidlyin this deca…     

On the convergence of high resolution methods with multiple time scales for hyperbolic conservation laws

A class of finite volume methods based on standard high resolution schemes, but which allows spatially varying time steps, is described and analyzed. A maximum principle and the TVD property are verified for general advective flux, extending the previous theoretical work on local time stepping methods. Moreover, an entropy condition is verified which, with sufficient limiting, guarantees convergence to the entropy solution for convex flux.