The dynamical behavior of the discontinuous Galerkin method and related difference schemes

We study the dynamical behavior of the discontinuous Galerkin finite element method for initial value problems in ordinary differential equations. We make two different assumptions which guarantee that the continuous problem defines a dissipative dynamical system. We show that, under certain conditions, the discontinuous Galerkin approximation also defines a dissipative dynamical system and we study the approximation properties of the associated discrete dynamical system. We also study the behavior of difference schemes obtained by applying a quadrature formula to the integrals defining the discontinuous Galerkin approximation and construct two kinds of discrete finite element approximations that share the dissipativity properties of the original method.

     

Convergence of approximate attractors for a fully discrete system for reaction-diffusion equations

The reaction-diffusion equations are approximated by a fully discrete system: a Legendre-Galerkin approximation for the space variables and a semi-implicit scheme for the time integration. The stability and the convergence of the fully discrete system are established. It is also shown that, under a restriction on the space dimension and the growth rate of the nonlinear term, the approximate attractors of the discrete finite dimensional dynamical systems converge to the attractor of the original infinite dimensional dynamical systems. An error estimate of optimal order is derived as well without any further regularity assumption.     

带有多项式非线性项的高维反应扩散方程有限差分格式的长时间行为

本文考虑了一类带有多项式非线性项的高维反应扩散方程．建立了一个全离散的有限差分格式,并证明了差分解的存在唯一性．分析了由差分格式生成的离散系统的动力性质,在对差分解先验估计的基础上得到了离散动力系统的整体吸引子的存在性．最后证明了差分格式的长时间稳定性和收敛性．     

一类三维抛物型方程有限差分逼近的长时间性态

1引言 抛物型方程是一类十分重要的方程,它出现在很多数学物理问题中,对这类方程的研究已有大量工作,如[10-12]等.随着无穷维动力系统研究的深入,人们越来越关心系统的长时间性态,而追踪系统长时间性态很大程度上依赖数值计算.     

Homogenization for semilinear hyperbolic systems with oscillatory data

The behavior of multi-dimensional discrete Boltzmann systems with highly oscillatory data is studied. Homogenized equations for the mean solutions are obtained. Uniform convergence of the oscillatory solutions of the discrete Boltzmann equations to the solutions of the corresponding homogenized equations is established. Moreover, we find that the weak limits of the oscillatory solutions for a model of Broadwell type are not continuous functions of the discrete velocities. Generalization of the above results to problems with multiple-scale initial data is also established.     

Dynamics in numerics: on two different finite difference schemes for ODEs

We compare two finite difference schemes for Kolmogorov type of ordinary differential equations: Euler's scheme (a derivative approximation scheme) and an integral approximation (IA) scheme, from the view point of dynamical systems. Among the topics we investigate are equilibria and their stability, periodic orbits and their stability, and topological chaos of these two resulting nonlinear discrete dynamical systems.     

Coarsening in one dimension: invariant and asymptotic states

We study a coarsening process of one-dimensional cell complexes. We show that if cell boundaries move with velocities proportional to the difference in size of neighboring cells, then the average cell size grows at a prescribed exponential rate and the Poisson distribution is precisely invariant for the distribution of the whole process, rescaled in space by its average growth rate. We present numerical evidence toward the following universality conjecture: starting from any finite mean stationary renewal process, the system when rescaled by e ^?2t converges to a Poisson point process. For a limited case, this makes precise what has been observed previously in experiments and simulations, and lays the foundation for a theory of universal asymptotic states of dynamical cell complexes.     

LONG-TIME BEHAVIOR OF FINITE DIFFERENCE SOLUTIONS OF THREE-DIMENSIONAL NONLINEAR SCHRODINGER EQUATION WITH WEAKLY DAMPED

The three-dimensional nonlinear SchrSdinger equation with weakly damped that possesses a global attractor are considered. The dynamical properties of the discrete dynamical system which generate by a class of finite difference scheme are analysed. The existence of global attractor is proved for the discrete dynamical system.     

Attractors for Fully Discrete Finite Difference Scheme of Dissipative Zakharov Equations

A fully discrete finite difference scheme for dissipative Zakharov equations is analyzed. On the basis of a series of the time-uniform priori estimates of the difference solutions, the stability of the difference scheme and the error bounds of optimal order of the difference solutions are obtained in L²×H¹×H² over a finite time interval (0, T]. Finally, the existence of a global attractor is proved for a discrete dynamical system associated with the fully discrete finite difference scheme.     

Functional relations in lattice statistical mechanics, enumerative combinatorics, and discrete dynamical systems

We recall some non-trivial, non-linear functional relations appearing in various domains of mathematics and physics, such as lattice statistical mechanics, quantum mechanics, or enumerative combinatorics. We focus, more particularly, on the analyticity properties of the solutions of these functional relations. We then consider discrete dynamical systems corresponding to birational transformations. The rational expressions for dynamical zeta functions obtained for a particular two-dimensional birational mapping, depending on two parameters, are recalled, as well as some non-trivial functional relations satisfied by these dynamical zeta functions. We finally give some functional equations corresponding to some singled out orbits of this two-dimensional birational mapping for particular values of the two parameters. This example shows that functional equations associated with curves, for real values of the variables, are actually compatible with a chaotic dynamical system.     

Stability Analysis for Discrete Biological Models Using Algebraic Methods

This paper is concerned with stability analysis of biological networks modeled as discrete and finite dynamical systems. We show how to use algebraic methods based on quantifier elimination, real solution classification and discriminant varieties to detect steady states and to analyze their stability and bifurcations for discrete dynamical systems. For finite dynamical systems, methods based on Gr?bner bases and triangular sets are applied to detect steady states. The feasibility of our approach is demonstrated by the analysis of stability and bifurcations of several discrete biological models using implementations of algebraic methods.     

Single Parameter Dissipativity and Attractors in DiscreteTirne Asynchronous Systems ∗

Discrete time nonautonomous dynamical systems generated by nonautonomous difference equations are formulated as discrete time skew—product systems consisting of cocycle state mappings that are driven by discrete time autonomous dynamical systems. Forwards and pullback attractors are two possible generalizations of autonomous attractors to such systems. Their existence follows from appropriate forwards or pullback dissipativity conditions. For discrete time nonautonomous dynamical systems generated by asynchronous systems with frequency updating components such a dissipativity condition is usually known for a single starting parameter value of the driving system. Additional conditions that then ensure the existence of a forwards or pullback attractor for such an asynchronous system are investigated here     

Attractivity,multistability, and bifurcation in delayed Hopfieldʼs model with non-monotonic feedback

For a system of delayed neural networks of Hopfield type, we deal with the study of global attractivity, multistability, and bifurcations. In general, we do not assume monotonicity conditions in the activation functions. For some architectures of the network and for some families of activation functions, we get optimal results on global attractivity. Our approach relies on a link between a system of functional differential equations and a finite-dimensional discrete dynamical system. For it, we introduce the notion of strong attractor for a discrete dynamical system, which is more restrictive than the usual concept of attractor when the dimension of the system is higher than one. Our principal result shows that a strong attractor of a discrete map gives a globally attractive equilibrium of a corresponding system of delay differential equations. Our abstract setting is not limited to applications in systems of neural networks; we illustrate its use in an equation with distributed delay motivated by biological models. We also obtain some results for neural systems with variable coefficients.     

Optimal control existence results for general discrete systems

General existence theorems for discrete optimal control problems are derived. It is assumed that dynamical equations of the system, as well as all control and state constraints, depend on the finite history of the system. All results are formulated in a general way in regular topological spaces. To prove such theorems, some basic concepts and results of the theory of the so-called multivalued mappings are necessary which are briefly summarized. The imposed assumptions are general enough to be of practical interest. The reported results thus include and generalize all known cases which are met in the discrete optimal control theory. Practical importance of the obtained results is illustrated on the so-called multiproduct inventory problem which is treated in the detail. Using the derived results we are able to show that under usual assumptions the inventory problem has an optimal solution.     

Non-linear partial differential equations with discrete state-dependent delays in a metric space

We investigate a class of non-linear partial differential equations with discrete state-dependent delays. The existence and uniqueness of strong solutions for initial functions from a Banach space are proved. To get the well-posed initial value problem we restrict our study to a smaller metric space, construct the dynamical system and prove the existence of a compact global attractor.     

Attractor information for discrete dynamical systems by means of optimal discrete Galerkin bases

We introduce local adaptive discrete Galerkin bases as a basis set in order to obtain geometrical and topological information about attractors of discrete dynamical systems. The asymptotic behavior of these systems is described by the reconstruction of their attractors in a finite dimensional Euclidean space and by the attractor topological characteristics including the minimal embedding dimension and its local dimension. We evaluate numerically the applicability of our geometrical and topological results by examining two examples: a dissipative discrete system and a nonlinear discrete predator–prey model that includes several types of self-limitation on the prey.     

On the expressiveness and decidability of o-minimal hybrid systems

This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete components can be decoupled, and hence, the problem reduces in building a finite symbolic dynamical system for the continuous dynamics of each location. We show that this can be done for a quite general class of hybrid systems defined on o-minimal structures. In particular, we recover the main result of a paper by G. Lafferriere, G.J. Pappas, and S. Sastry, on o-minimal hybrid systems. We also provide an analysis and extension of results on decidability and complexity of problems and constructions related to o-minimal hybrid systems.     

双符号等长代换系统的序列熵

系统称为null的,如果对任意序列,它的序列熵为零.双符号等长代换及其对应的代换极小系统可分成三类:有限的、离散的和连续的.容易看出离散的代换极小系统是null的,Goodman证明了连续的代换极小系统不是null的.本文将完全刻画所有的双符号等长代换极小系统的序列墒.     

An Age-structured Mathematical Model for the Within Host Dynamics of Malaria and the Immune System

In the paper, we use a mathematical model to study the population dyna mics of replicating malaria parasites and their interaction with the immune cells within a human host. The model is formulated as a system of age-structured partial differential equations that are then integrated over age to obtain a system of nonlinear delay differential equations. Our model incorporates an intracellular time delay between the infection of the red blood cells by the merozoites that grow and replicate within the infected cells to produce new merozoites. The infected red blood cells burst approximately every 48 h releasing daughter parasites to renew the cycle. The dynamical processes of the parasites within the human host are subjected to pressures exerted by the human immunological responses. The system is then solved using a first-order, finite difference method to give a discrete system. Numerical simulations carried out to illustrate stability of the system reveal that the populations undergo damped oscillations that stabilise to steady states.      

LONG-TIME BEHAVIOR OF FINITE DIFFERENCE SOLUTIONS OF A NONLINEAR SCHRODINGER EQUATION WITH WEAKLY DAMPED

1. IntroductionThe nonlinear schr~r equation with weakly dampedwhere t = N, o > 0, together with appropriate boUndary and hatal condition, is ared inmany physical fields. The echtence of an attractor is one of the most boortant ~eristiCSfor a dissipative system. The long-tabs dynamics is completely determined by the attractorof the system. J.M. Ghidaglia[1] studied the lOng-the behavior of the nonlineaz Sequation (1.1) and proved the eAstence of a compact global attractor A in H'(n) which…