Shadowing and the Viability Kernel Algorithm

The aim of this paper is to derive estimates for the accuracy of the Viability Kernel Algorithm for systems which have shadowing properties. Recently developed shadowing results are applied in order to prove for a certain class of right hand sides that the algorithm has the same convergence properties as fully discretized numerical methods on a finite time interval.

[1]  Wolf-Jürgen Beyn,et al.  Numerical fixed grid methods for differential inclusions , 2007, Computing.

[2]  G. Grammel,et al.  Towards Fully Discretized Differential Inclusions , 2003 .

[3]  M. Dellnitz,et al.  A subdivision algorithm for the computation of unstable manifolds and global attractors , 1997 .

[4]  S. Pilyugin.  Shadowing in dynamical systems , 1999 .

[5]  J. Aubin,et al.  Existence of Solutions to Differential Inclusions , 1984 .

[6]  Noël Bonneuil,et al.  Making ecosystem models viable , 2003, Bulletin of mathematical biology.

[7]  Irena Lasiecka,et al.  Analysis and Optimization of Differential Systems , 2002, IFIP — The International Federation for Information Processing.

[8]  Patrick Saint-Pierre,et al.  Protected polymorphism in the two-locus haploid model with unpredictable fitnesses , 2000, Journal of mathematical biology.

[9]  J.-P. Aubin,et al.  A viability approach to Hamilton-Jacobi equations: application to concave highway traffic flux functions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[10]  Shadowing and inverse shadowing in set-valued dynamical systems. Contractive case , 2008 .

[11]  Patrick Saint-Pierre,et al.  Population viability in three trophic-level food chains , 2005, Appl. Math. Comput..

[12]  H. Frankowska,et al.  Viability Kernels of Differential Inclusions with Constraints: Algorithms and Applications , 1990 .

[13]  Vasile Glavan,et al.  On the dynamics of contracting relations , 2002, Analysis and Optimization of Differential Systems.

[14]  Thomas Bruckner,et al.  Climate System Modeling in the Framework of the Tolerable Windows Approach: The ICLIPS Climate Model , 2003 .

[15]  S. Reich,et al.  Fixed set iterations for relaxed Lipschitz multimaps , 2003 .

[16]  Patrick Saint-Pierre,et al.  Nonlinear Impulse Target Problems under State Constraint: A Numerical Analysis Based on Viability Theory , 2004 .

[17]  K. Palmer,et al.  Shadowing in Dynamical Systems: Theory and Applications , 2010 .

[18]  Kenneth J. Palmer,et al.  Shadowing in Dynamical Systems , 2000 .

[19]  Shadowing and inverse shadowing in set-valued dynamical systems. Hyperbolic case , 2008 .

[20]  Evelyn Sander,et al.  Hyperbolic sets for noninvertible maps and relations , 1999 .

[21]  Alexandre M. Bayen,et al.  Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation , 2007, HSCC.

[22]  T. Donchev,et al.  Stability and Euler Approximation of One-sided Lipschitz Differential Inclusions , 1998 .

[23]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[24]  P. Saint-Pierre.  Approximation of the viability kernel , 1994 .