ON A CELL ENTROPY INEQUALITY OF THE RELAXING SCHEMES FOR SCALAR CONSERVATION LAWS

1.IntroductionIn[1],JinandXinconstructedaclassofthelocalrelaxationapproximation--TheRelaxingSchemesforsystemsofnonlinearcollservationlawsorsinglenonlinearconservationlawson,dofi(u)~ ;ac~0,(1l)otMoxil=1zwithinitialdatau(0,x)~"o(x),x~(xl,...,-cd),byusingtheideaofthelocalrelaxationapproximation[1--4].Theschemeisobtainedinthefollowingway:firstalinearhyperbolicsystemwithastiffsourcetermisconstructedtoapproximatetheoriginalsystem(1.1)withasmalldissipativecorrection;Then,thenewlinearhyperbolicsyste…     

THE RELAXING SCHEMES FOR HAMILION-JACOBI EQUATIONS

1. IntroductionWe are illterested in the numerical approximation of viscosity solution of the following lirstorder Hamilton-Jacobi eqllationopt + H(&.,, rk..' ...) gb'.) - 0' (1'1)with initial data ac(~, 0) = ado(x). It is well known that the solutions to problem (1.1) typicallyare continuous (typically they are locally Lipschitz continuous) but with discoatinuous derivatives, even though the initial data ado E Coo. The nonuniqueness of such solutions to (1.1) alsonecessitates the introducti…     

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 CENTRAL RELAXING SCHEMES I:SINGLE CONSERVATION LAWS

1. IntroductionIn [6], Jin and adn constructed a class of uPWind relaxing schemes for nonlinearconservation lawswith initial data u(0, x) ~ "o(x), x ~ (xl, ...t -cd), by using the idea of the local relaxation approximation [2,3,6,10].The relaxing scheme is obtained in the following way: A linear hyperbolic systemwith a stiff source term is first constructed to approximate the original equation (1.1)with a small dissipative correction. Then this linear hyperbolic system is solved easilyby und…     

ON THE CONVERGENCE OF IMPLICIT DIFFERENCE SCHEMES FOR HYPERBOLIC CONSERVATION LAWS

1. IntroductionWe are are interested in the fOllowing Cauchy problem for scalar conservation lawswhere the initial data uo E BV(R) and the flux function f 6 C'(n).It is well known that this problem may not always have a smooth global solution even ifthe i…     

THE PHYSICAL ENTROPY OF SINGLE CONSERVATION LAWS

1.IntroductionAsthesimplestrepresentationofgeneralconservationlaws,thesingleconservationlawswithonespacevariablehavebeenthoroughlydiscussed.Inthecasesthatthefluxfunctionisconvexorconcave,P.D.LaxobtainedageneralexpressionofthesolutionsforCauchyproblems[2];inordertoguaranteetheuniquenessofthesolution,O.A.OlejnikpresentedherfamousE--conditionwhichcanbeappliedtogeneralconservationlawswithonespacevariablel4];TheLax'sconceptsofentropyfunctionsandrelatedinequalityalsocanbeusedinthisspecialcase[3]…     

关于离散Karamata不等式及其应用

本文获得了著名Karamata不等式的离散形式，利用这个结果推广了Newton不等式，应用推广的Newton不等式将张景中和杨路在[1]所得的几何不等式加以推广。     

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

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

ON THE EXPLICIT COMPACT SCHEMES II: EXTENSION OF THE STCE/CE METHOD ON NONSTAGGERED GRIDS ON THE EXPLICIT COMPACT SCHEMES II: EXTENSION OF THE STCE/CE METHOD ON NONSTAGGERED GRIDS

1. IntroductionTills paper is interested in the genuinely nonlinear conserVation lawswith initial data u(0, x) = "o(x), x = (x', ...l x').It is well known that the above problem may not always have a smooth global solutinn even if the initial data no is adequately smooth[6]. Thus, we consider its weaksolutinn so that the Problem (1.1) Ililght have a global solution allowing discontinuities(e.g. shock wave.etc.). Moreover, the elltrOPy conditinn should be deposed inorder to single out a phyS…     

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...     

求解变分不等式问题的一个递推算法的一个注

本文改进了[3]中的一个基本不等式和原算法，从而提高了数值计算的效率,而且在新算法的收敛性分析中去掉了变分不等式问题的单调性条件．     

ON THE CENTRAL RELAXING SCHEME Ⅱ: SYSTEMS OF HYPERBOLIC CONSERVATION LAWS

1. IntroductionWe are interested in construction of the central reltalng sChemes for system of noIilinearhyperbolic conservation lawswith initial data U(0, x) = Uo(x), x = (x1 ? ...! xd), based on the local relaJxation approkimationof Eq.(1.1) [2, 3, 6, 8, 9, 12].To i11ustrate the basic idea of the relaalng schemes, for the sake of simplicity in the presentation, we restrict our attention to onedimensional scalar conservaioll lawsFirst, introduce a linear hyperbollc system with a stiff sourc…     

一个刚性守恒律方程组的全隐式差分方法

１．引言本文研究如下非线性刚性守恒律方程组的全隐式差分逼近． 方程（1．１）中的源项ｇ（ｕ,ｖ）定义为 ｇ（ｕ,ｖ）＝ｖ－（１－μ）ｆ（ｕ）,（１．２）其中ｆ是ｕ的一个给定函数,δ是一个小正参数,称为松弛时间,μ是参数．方程组（１．１）频繁出现于粘弹性力学中． 在零松弛时间限（δ→０）下,从（１．１）可得到如下方程组该方程组通常称为“平衡”模型,而方程组（１．１）称为“非平衡”模型． 文中将假设μ满足 ０＜ μ＜ １,（１．４）以便保证拟稳定性条件［１９,２０］和次特征条件［１１,２,３］： λ１≤λ＊…     

TWO-GRID DISCRETIZATION SCHEMES OF THE NONCONFORMING FEM FOR EIGENVALUE PROBLEMS

This paper extends the two-grid discretization scheme of the conforming finite elements proposed by Xu and Zhou （Math. Comput., 70 （2001）, pp.17-25） to the nonconforming finite elements for eigenvalue problems. In particular, two two-grid discretization schemes based on Rayleigh quotient technique are proposed. By using these new schemes, the solution of an eigenvalue problem on a fine mesh is reduced to that on a much coarser mesh together with the solution of a linear algebraic system on the fine mesh. The resulting solution still maintains an asymptotically optimal accuracy. Comparing with the two-grid discretization scheme of the conforming finite elements, the main advantages of our new schemes are twofold when the mesh size is small enough. First, the lower bounds of the exact eigenvalues in our two-grid discretization schemes can be obtained. Second, the first eigenvalue given by the new schemes has much better accuracy than that obtained by solving the eigenvalue problems on the fine mesh directly.     

SUPERCONVERGENCE OF GRADIENT RECOVERY SCHEMES ON GRADED MESHES FOR CORNER SINGULARITIES

For the linear finite element solution to the Poisson equation, we show that supercon- vergence exists for a type of graded meshes for corner singularities in polygonal domains. In particular, we prove that the L^2-projection from the piecewise constant field △↓UN to the continuous and piecewise linear finite element space gives a better approximation of △↓U in the Hi-norm. In contrast to the existing superconvergence results, we do not assume high regularity of the exact solution.     

一类时空二阶精度高分辨率MmB差分格式的构造及数值试验

1．引言考虑如下二维双曲型守恒律初值问题的数值解．H．M．Wu和S．L．Yang在文山中给出了MmB差分格式的定义如下：给定（．1）M差分格式定义．若则称格式（1．2）为MmB差分格式．这里BmB表示局部MaximumandminimumBounds．由定义可知，若差分格式（1．2）可写为形式且。＼P’三0，＞。：r’一1．则格式（1．4）为MmB差分格式．j＝l文山构造了二维双曲型守恒律的二类二阶精度的MmB差分格式，使构造二维高分辨格式有了新的突破，但他们是从标量线性双曲型守恒律出发，然后把结果推广到非线性情形．本文直接从二维非线性双曲型守恒律…     

关于Van der Corput不等式

本文给出Van der Corput一个不等式的改进:设 ,则我们有: 其中γ为Euler常数.若我们以(n+1)代替(A)中右边 ,则(A)为Van der Corput不等式,(A)的证明仍然用Van der Corput的方法。     

一类三维变动区域上的非线性抛物型方程之全离散有限元形式

1 引言 1986年,L.Cermak和M.Zlamal研究了半导体器件中杂质的重新分布,对具有活动边界的二维非线性扩散问题。给出在时间方向上是一阶精度的全离散有限元格式。证明了格式最优的H~1模和次最优的L~2模估计。1989年.P.Lesaint和R.Touzani对一维变动区域上的热传导方程。经过坐标变换,给出了在固定区域上的全离散有限元格式和最优的L~2模估计。1990年,梁国平和陈志明利用时空有限元,给出了变动区域上线性抛物型的方程的全离散变网格有限元格式。证明了最优的L~2收敛性。本文考虑了一类具有活动边界的三维     

带约束条件的离散Minimax问题的区间极大熵方法

给出了求解带约束条件Ｍｉｎｉｍａｘ问题的区间极大熵方法以及相关的算法,从数值例子来看,此算法是非常有效的。     

A FULLY DISCRETE IMPLICIT-EXPLICIT FINITE ELEMENT METHOD FOR SOLVING THE FITZHUGH-NAGUMO MODEL

This work develops a fully discrete implicit-explicit finite element scheme for a parabolic-ordinary system with a nonlinear reaction term which is known as the FitzHugh-Nagumo model from physiology. The first-order backward Euler discretization for the time derivative, and an implicit-explicit discretization for the nonlinear reaction term are employed for the model, with a simple linearization technique used to make the process of solving equations more efficient. The stability and convergence of the fully discrete implicit-explicit finite element method are proved, which shows that the FitzHugh-Nagumo model is accurately solved and the trajectory of potential transmission is obtained. The numerical results are also reported to verify the convergence results and the stability of the proposed method.