Indexes and Special Discretization Methods for Linear partial Differential Algebraic Equations

Linear partial differential algebraic equations (PDAEs) of the form Au _t(t, x) + Bu _xx(t, x) + Cu(t, x) = f(t, x) are studied where at least one of the matrices A, B R ^n×n is singular. For these systems we introduce a uniform differential time index and a differential space index. We show that in contrast to problems with regular matrices A and B the initial conditions and/or boundary conditions for problems with singular matrices A and B have to fulfill certain consistency conditions. Furthermore, two numerical methods for solving PDAEs are considered. In two theorems it is shown that there is a strong dependence of the order of convergence on these indexes. We present examples for the calculation of the order of convergence and give results of numerical calculations for several aspects encountered in the numerical solution of PDAEs.     

A monotone finite element scheme for convection-diffusion equations

A simple technique is given in this paper for the construction and analysis of a class of finite element discretizations for convection-diffusion problems in any spatial dimension by properly averaging the PDE coefficients on element edges. The resulting finite element stiffness matrix is an -matrix under some mild assumption for the underlying (generally unstructured) finite element grids. As a consequence the proposed edge-averaged finite element scheme is particularly interesting for the discretization of convection dominated problems. This scheme admits a simple variational formulation, it is easy to analyze, and it is also suitable for problems with a relatively smooth flux variable. Some simple numerical examples are given to demonstrate its effectiveness for convection dominated problems.

     

不同层显式格式及在微尺度热传导中的应用

基于指数拟合和牛顿插值多项式构造了用于数值计算偏微分方程的不同层显式格式,应用不同层显式格式可获得不同精度的数值计算结果,并将该算法应用于微结构热传导方程和薄膜强瞬态热传导方程中．     

Non-expansive Mappings and Iterative Methods in Uniformly Convex Banach Spaces

In this article, we will investigate the properties of iterative sequence for non-expansive mappings and present several strong and weak convergence results of successive approximations to fixed points of non-expansive mappings in uniformly convex Banach spaces. The results presented in this article generalize and improve various ones concerned with constructive techniques for the fixed points of non-expansive mappings.     

High order accurate,one-sided finite-difference approximations to concentration gradients at the boundaries,for the simulation of electrochemical reaction-diffusion problems in one-dimensional space geometry

Accurate calculation of concentration gradients at the boundaries is crucial in electrochemical kinetic simulations, owing to the frequent occurrence of gradient-dependent boundary conditions, and the importance of the gradient-dependent electric current. By using the information about higher spatial derivatives of the concentrations, contained in the time-dependent, kinetic reaction-diffusion partial differential equation(s) in one-dimensional space geometry, under appropriate assumptions it is possible to increase the accuracy orders of the conventional, one-sided n-point finite-difference formulae for the concentration gradients at the boundaries, without increasing n. In this way a new class of high order accurate gradient approximations is derived, and tested in simulations of potential-step chronoamperometric and current-step chronopotentiometric transients for the Reinert-Berg system. The new formulae possess advantages over the conventional gradient approximations. For example, they allow one to obtain a third order accuracy by using two space points only, or fourth order accuracy by using three points, and yet they yield smaller errors than the conventional four-point, or five-point formulae, respectively. Needing fewer points, for approximating the gradients with a given accuracy, simplifies also the solution of the linear algebraic equations arising from the application of implicit time integration schemes.     

Convergence rates of cascade algorithms

We consider solutions of a refinement equation of the form

where is a finitely supported sequence called the refinement mask. Associated with the mask is a linear operator defined on by . This paper is concerned with the convergence of the cascade algorithm associated with , i.e., the convergence of the sequence in the -norm.

Our main result gives estimates for the convergence rate of the cascade algorithm. Let be the normalized solution of the above refinement equation with the dilation matrix being isotropic. Suppose lies in the Lipschitz space , where 0$"> and . Under appropriate conditions on , the following estimate will be established:

where and is a constant. In particular, we confirm a conjecture of A. Ron on convergence of cascade algorithms.

     

Equilibrium schemes for scalar conservation laws with stiff sources

We consider a simple model case of stiff source terms in hyperbolic conservation laws, namely, the case of scalar conservation laws with a zeroth order source with low regularity. It is well known that a direct treatment of the source term by finite volume schemes gives unsatisfactory results for both the reduced CFL condition and refined meshes required because of the lack of accuracy on equilibrium states. The source term should be taken into account in the upwinding and discretized at the nodes of the grid. In order to solve numerically the problem, we introduce a so-called equilibrium schemes with the properties that (i) the maximum principle holds true; (ii) discrete entropy inequalities are satisfied; (iii) steady state solutions of the problem are maintained. One of the difficulties in studying the convergence is that there are no estimates for this problem. We therefore introduce a kinetic interpretation of upwinding taking into account the source terms. Based on the kinetic formulation we give a new convergence proof that only uses property (ii) in order to ensure desired compactness framework for a family of approximate solutions and that relies on minimal assumptions. The computational efficiency of our equilibrium schemes is demonstrated by numerical tests that show that, in comparison with an usual upwind scheme, the corresponding equilibrium version is far more accurate. Furthermore, numerical computations show that equilibrium schemes enable us to treat efficiently the sources with singularities and oscillating coefficients.

     

Hilbert schemes, polygraphs and the Macdonald positivity conjecture

We study the isospectral Hilbert scheme , defined as the reduced fiber product of with the Hilbert scheme of points in the plane , over the symmetric power . By a theorem of Fogarty, is smooth. We prove that is normal, Cohen-Macaulay and Gorenstein, and hence flat over . We derive two important consequences.

(1) We prove the strong form of the conjecture of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients . This establishes the Macdonald positivity conjecture, namely that .

(2) We show that the Hilbert scheme is isomorphic to the -Hilbert scheme of Nakamura, in such a way that is identified with the universal family over . From this point of view, describes the fiber of a character sheaf at a torus-fixed point of corresponding to .

The proofs rely on a study of certain subspace arrangements , called polygraphs, whose coordinate rings carry geometric information about . The key result is that is a free module over the polynomial ring in one set of coordinates on . This is proven by an intricate inductive argument based on elementary commutative algebra.

     

A new well‐balanced Hermite weighted essentially non‐oscillatory scheme for shallow water equations

Hermite weighted essentially non‐oscillatory (HWENO) methods were introduced in the literature, in the context of Euler equations for gas dynamics, to obtain high‐order accuracy schemes characterized by high compactness (e.g. Qiu and Shu, J. Comput. Phys. 2003; 193 :115). For example, classical fifth‐order weighted essentially non‐oscillatory (WENO) reconstructions are based on a five‐cell stencil whereas the corresponding HWENO reconstructions are based on a narrower three‐cell stencil. The compactness of the schemes allows easier treatment of the boundary conditions and of the internal interfaces. To obtain this compactness in HWENO schemes both the conservative variables and their first derivatives are evolved in time, whereas in the original WENO schemes only the conservative variables are evolved. In this work, an HWENO method is applied for the first time to the shallow water equations (SWEs), including the source term due to the bottom slope, to obtain a fourth‐order accurate well‐balanced compact scheme. Time integration is performed by a strong stability preserving the Runge–Kutta method, which is a five‐step and fourth‐order accurate method. Besides the classical SWE, the non‐homogeneous equations describing the time and space evolution of the conservative variable derivatives are considered here. An original, well‐balanced treatment of the source term involved in such equations is developed and tested. Several standard one‐dimensional test cases are used to verify the high‐order accuracy, the C‐property and the good resolution properties of the model. Copyright © 2010 John Wiley & Sons, Ltd.