Convergence and asymptotic stability of Galerkin methods for a partial differential equation with piecewise constant argument

The paper deals with the convergence and asymptotic stability of Galerkin methods for a partial differential equation with piecewise constant argument. The optimal convergence orders are obtained for the semidiscrete and full discrete (backward Euler) methods respectively. Both the discrete solutions are proved to be asymptotically stable under the condition that the analytical solution is asymptotically stable.     

ASYMPTOTIC BEHAVIOR OF SOLUTIONS FOR A CLASS OF DELAY DIFFERENCE EQUATION

We propose a class of delay difference equation with piecewise constant nonlinearity. Such a delay difference equation can be regarded as the discrete analog of a differential equation. The convergence of solutions and the existence of asymptotically stable periodic solutions are investigated for such a class of difference equation.     

Convergence and periodicity of solutions for a discrete-time network model of two neurons

Considered is a class of difference systems with McCulloch-Pitts nonlinearity, which includes the discrete version of an artificial neural network of two neurons with piecewise constant argument. Some interesting results are obtained for the convergence and periodicity of solutions of the systems. Most importantly, multiple periodic solutions exist. Our results have potential applications in neural networks.     

Defect correction and Galerkin's method for second-order boundary value problems

The defect correction technique, based on the Galerkin finite element method, is analyzed as a procedure to obtain highly accurate numerical solutions to second-order elliptic boundary value problems. The basic solutions, defined over a rectangular region Ω, are computed using continuous piecewise bilinear polynomials on rectangles. These solutions are O(h²) accurate globally in the second-order discrete Sobolev norm. Corrections to these basic solutions are obtained using higher-order piecewise polynomials (Lagrange polynomials or splines) to form defects. An O(h²) improvement is gained on the first correction. The lack of regularity of the discrete problems (beyond the second-order Sobolev norm) makes it impossible to retain this order of improvement, but for problems satisfying certain periodicity conditions, straightforward arbitrary accuracy is obtained, since these problems possess high-order regularity. © 1992 John Wiley & Sons, Inc.     

Recovery Type a Posteriori Error Estimates of Fully Discrete Finite Element Methods for General Convex Parabolic Optimal Control Problems

This paper is concerned with recovery type a posteriori error estimates of fully discrete finite element approximation for general convex parabolic optimal control problems with pointwise control constraints. The time discretization is based on the backward Euler method. The state and the adjoint state are approximated by piecewise linear functions and the control is approximated by piecewise constant functions. We derive the superconvergence properties of finite element solutions. By using the superconvergence results, we obtain recovery type a posteriori error estimates. Some numerical examples are presented to verify the theoretical results.     

离散系统Lyapunov第二方法的一些问题

本文讨论线性时不变离散系统Lyapunov方程解集的几何性质以及分段线性离散系统的稳定性,得出每个子系统都是稳定的分段线性离散系统渐近稳定的一些充分条件,并把这些结果应用于二阶分段线性系统.     

非定常线性化Navier-Stokes方程的非协调流线扩散有限元法分析

对非定常线性化Navier-Stokes方程提出了非协调流线扩散有限元方法．用向后Euler格式离散时间,用流线扩散法处理扩散项带来的非稳定性．速度采用不连续的分片线性逼近,压力采用分片常数逼近．得到了离散解的存在唯一性以及在一定范数意义下离散解的稳定性和误差估计．     

一类二元离散神经网络模型的渐近性

本文考虑的是一类具有分段常数非线性时滞差分系统,该系统可作为二元人工神经网络模型的离散形式,本文得到了系统解的渐近性的一些结果。     

On the Galerkin finite element approximations to multi-dimensional differential and integro-differential parabolic equations

The maximum norm error estimates of the Galerkin finite element approximations to the solutions of differential and integro-differential multi-dimensional parabolic problems are considered. Our method is based on the use of the discrete version of the elliptic-Sobolev inequality and some operator representations of the finite element solutions. The results of the present paper lead to the error estimates of optimal or almost optimal order for the case of simplicial Lagrangian piecewise polynomial elements.     

A finite element convergence analysis for 3D Stokes equations in case of variational crimes

We investigate a finite element discretization of the Stokes equations with nonstandard boundary conditions, defined in a bounded three-dimensional domain with a curved, piecewise smooth boundary. For tetrahedral triangulations of this domain we prove, under general assumptions on the discrete problem and without any additional regularity assumptions on the weak solution, that the discrete solutions converge to the weak solution. Examples of appropriate finite element spaces are given.     

A type of new posteriori error estimators for stokes problems

1. IntroductionIn the numerical approximation of PDE, it is often very importals to detect regionswhere the accuracy of the numerical solution is degraded by local singularities of the solutionof the continuous problem such as the singularity near the re-entrant corller. An obviousremedy is to refine the discretization in the critical regions, i.e., to place more gridpointswhere the solution is less regular. The question is how to identify these regions automdticallyand how to determine a goo…     

On a discrete approximation of the Hamilton-Jacobi equation of dynamic programming

An approximation of the Hamilton-Jacobi-Bellman equation connected with the infinite horizon optimal control problem with discount is proposed. The approximate solutions are shown to converge uniformly to the viscosity solution, in the sense of Crandall-Lions, of the original problem. Moreover, the approximate solutions are interpreted as value functions of some discrete time control problem. This allows to construct by dynamic programming a minimizing sequence of piecewise constant controls.     

Optimal error estimates for an approximation of degenerate parabolic problems

A fully discrete scheme for a class of multidimensional degenerate parabolic equations is proposed. The discretization is given by $supoesup piecewise linear finite elements in space and backward differences in time (the smoothing procedure is avoided). Numerical integration is used; hence the proposed method is easy to implement. Optimal error estimates in energy norms are proved for the solutions.     

Superconvergence of splitting positive definite mixed finite element for parabolic optimal control problems

In this paper, we investigate the superconvergence of fully discrete splitting positive definite mixed finite element (MFE) methods for parabolic optimal control problems. For the space discretization, the state and co-state are approximated by the lowest order Raviart–Thomas MFE spaces and the control variable is approximated by piecewise constant functions. The time discretization of the state and co-state are based on finite difference methods. We derive the superconvergence between the projections of exact solutions and numerical solutions or the exact solutions and postprocessing numerical solutions for the control, state and co-state. A numerical example is provided to validate the theoretical results.     

Numerical approximations for a class of differential equations with time- and state-dependent delays

We establish limiting relations between solutions for a large class of functional differential equations with time- and state-dependent delays and solutions of appropriately selected sequences of approximating delay differential equations with piecewise constant arguments. The approximating equations, generated in the above process, lead naturally to discrete difference equations, well suited for computational purposes, and thus provide an approximation framework for simulation studies.     

An analysis of the Perona‐Malik scheme

We investigate how the Perona‐Malik scheme evolves piecewise smooth initial data in one dimension. By scaling a natural parameter that appears in the scheme in an appropriate way with respect to the grid size, we obtain a meaningful continuum limit. The resulting evolution can be seen as the gradient flow for an energy, just as the discrete evolutions are gradient flows for discrete energies. It involves, except at special isolated times, solving a system of heat equations coupled to each other through nonlinear boundary conditions. At the special times, the solutions experience gradient blowup; nevertheless, there is a natural continuation for the solutions beyond these singular times. © 2001 John Wiley & Sons, Inc.     

EXISTENCE OF POSITIVE PERIODIC SOLUTIONS TO A DISCRETE TIME NON-AUTONOMOUS COMPETING SYSTEM WITH FEEDBACK CONTROLS

In this paper,a class of discrete time non-autonomous competing system with feedback controls is considered. With the help of differential equations with piecewise constant arguments,we first propose a discrete model of a continuous non-autonomous competing system with feedback controls. Then,using the coincidence degree and the related continuation theorem as well as some priori estimations,a suficient condition for the existence of positive solutions to difference equations is obtained.     

Semi-Discrete and Fully Discrete Weak Galerkin Finite Element Methods for a Quasistatic Maxwell Viscoelastic Model

This paper considers weak Galerkin finite element approximations on polygonal/polyhedral meshes for a quasistatic Maxwell viscoelastic model. The spatial discretization uses piecewise polynomials of degree $k (k ≥ 1)$ for the stress approximation, degree $k+1$ for the velocity approximation, and degree $k$ for the numerical trace of velocity on the inter-element boundaries. The temporal discretization in the fully discrete method adopts a backward Euler difference scheme. We show the existence and uniqueness of the semi-discrete and fully discrete solutions, and derive optimal a priori error estimates. Numerical examples are provided to support the theoretical analysis.     

用CROUZEIX－RAVIART元解非自共轭椭圆型问题的重叠型区域分解算法

用ＣＲＯＵＺＥＩＸ－ＲＡＶＩＡＲＴ元解非自共轭椭圆型问题的重叠型区域分解算法顾金生（北京航空航天大学动力系）胡显承（清华大学应用数学系）ＯＶＥＲＬＡＰＰＩＮＧＤＯＭＡＩＮＤＥＣＯＭＰＯＳＩＴＩＯＮＭＥＴＨＯＤＦＯＲＮＯＮＳＥＬＦＡＤＪＯＩＮＴＥＬＬＩ...     

HOW TO PROVE THE DISCRETE RELIABILITY FOR NONCONFORMING FINITE ELEMENT METHODS

Optimal convergence rates of adaptive finite element methods are well understood in terms of the axioms of adaptivity.One key ingredient is the discrete reliability of a residualbased a posteriori error estimator,which controls the error of two discrete finite element solutions based on two nested triangulations.In the error analysis of nonconforming finite element methods,like the Crouzeix-Raviart or Morley finite element schemes,the difference of the piecewise derivatives of discontinuous approximations to the distributional gradients of global Sobolev functions plays a dominant role and is the object of this paper.The nonconforming interpolation operator,which comes natural with the definition of the aforementioned nonconforming finite element in the sense of Ciarlet,allows for stability and approximation properties that enable direct proofs of the reliability for the residual that monitors the equilibrium condition.The novel approach of this paper is the suggestion of a right-inverse of this interpolation operator in conforming piecewise polynomials to design a nonconforming approximation of a given coarse-grid approximation on a refined triangulation.The results of this paper allow for simple proofs of the discrete reliability in any space dimension and multiply connected domains on general shape-regular triangulations beyond newest-vertex bisection of simplices.Particular attention is on optimal constants in some standard discrete estimates listed in the appendices.