The Dynamics of Runge–Kutta Methods Julyan H

Total Page:16

File Type:pdf, Size:1020Kb

The Dynamics of Runge–Kutta Methods Julyan H The Dynamics of Runge±Kutta Methods Julyan H. E. Cartwright & Oreste Piro School of Mathematical Sciences Queen Mary and West®eld College University of London Mile End Road London E1 4NS U.K. The ®rst step in investigating the dynamics of a continuous-time system described by an ordinary differential equation is to integrate to obtain trajectories. In this paper, we attempt to elucidate the dy- namics of the most commonly used family of numerical integration schemes, Runge±Kutta methods, by the application of the techniques of dynamical systems theory to the maps produced in the numerical analysis. QMW preprint DYN #91-9, Int. J. Bifurcation and Chaos, 2, 427±449, 1992 ¡ A CONICET (Consejo Nacional de Investigaciones Cienti®cas y Tecnicas de Argentina) Fellow. Present address: Institut Nonlineaire de Nice, Universite de NiceÐSophia Antipo- lis, Parc Valrose, 06034 Nice Cedex, France. 1 1. Introduction UMERICAL solution of ordinary differential equations is the most important technique in continuous time dynamics. Since most or- N dinary differential equations are not soluble analytically, numeri- cal integration is the only way to obtain information about the trajectory. Many different methods have been proposed and used in an attempt to solve accurately various types of ordinary differential equations. However there are a handful of methods known and used universally (i.e., Runge± Kutta, Adams±Bashforth±Moulton and Backward Differentiation Formulae methods). All these discretize the differential system to produce a differ- ence equation or map. The methods obtain different maps from the same differential equation, but they have the same aim; that the dynamics of the map should correspond closely to the dynamics of the differential equa- tion. From the Runge±Kutta family of algorithms come arguably the most well-known and used methods for numerical integration (see, for example, Henrici [1962], Gear [1971], Lambert [1973], Stetter [1973], Chua & Lin [1975], Hall & Watt [1976], Butcher [1987], Press et al. [1988], Parker & Chua [1989], or Lambert [1991]). Thus we choose to look at Runge±Kutta methods to investigate what pitfalls there may be in the integration of nonlinear and chaotic systems. We examine here the initial-value problem; the conditions on the so- lution of the differential equation are all speci®ed at the start of the trajectoryÐthey are initial conditions. This is in contrast to other prob- lems where conditions are speci®ed both at the start and at the end of the trajectory, when we would have a (two-point) boundary-value problem. Problems involving ordinary differential equations can always be re- duced to a system of ®rst-order ordinary differential equations by intro- ducing new variables which are usually made to be derivatives of the origi- nal variables. Thus for generality, we consider the non-autonomous initial value problem ¢¡ £ ¤¦¥¨§ © © ¥ © §¦© ¥¨ £ 1 ¡ § ¥¨§¦© where represents . This can be either a single equation ¥¨§¦© !¥©#"$ ¥© or, more generally, a coupled system of equations " (often, we will have % ): ¡ " £ ¤¦¥¨§¦© &© '©)(*(*(+© 1 1 1 2 ¡ " £ ¤¦¥¨§¦© &© '©)(*(*(+© 2 2 1 2 . ¡ " " " £ ¤¦¥¨§¦© '© '©)(*()(,© ( 1 2 (2) The variable § often represents time. Almost all numerical methods for the initial value problem are addressed to solving it in the above form.1 1 1 0 We use the unorthodox notation -/. etc. to avoid any confusion with the iterates of a map. 2 ¡ £ ¤¦¥¨§¦© A non-autonomous system can always be transformed into ¡ £ ¤¦¥¨ § an autonomous system of dimension one higher by letting ¢¡/£ ¥ £ ¢¡ "£¡ "£¡ " 1 , so that we add the equation 1 1 to the system and 1 to the initial conditions. In this case, however, we will have unbounded "¢¡ ¥¤ ¦ §§¤ ¦ solutions since 1 as . This can be prevented for non- autonomous systems that are periodic in § by identifying planes of constant "¢¡ 1 separated by one period, so that the system is put onto a cylinder. We are usually interested in one of the two cases above: either an autonomous system, or a non-autonomous system that is periodic in § . In these cases, we can de®ne the concepts of the limit sets of the system and their associated basins of attraction which are so useful in dynamics. It is known that suf®cient conditions for a unique, continuous, dif- §/ ferentiable function ¥ to exist as a solution to this problem are that ¤¦¥¨§ © be de®ned and continuous and satisfy a Lipschitz condition in in ¨ £ © '© ¥¦ ©¦ " . The Lipschitz condition is that " § © ¤¦¥¨§ © © ¥ § © © ¥¨§ © ¥ © ( ¥ ¤ ¥ 3 Here is the Lipschitz constant which must exist for the condition to be satis®ed. We shall always assume that such a unique solution exists. Our aim is to investigate how well Runge±Kutta methods do at mod- elling ordinary differential equations by looking at the resulting maps as dynamical systems. Chaos in numerical analysis has been investigated before: the midpoint method in the papers by Yamaguti & Ushiki [1981] and Ushiki [1982], the Euler method by Gardini et al. [1987], the Eu- ler method and the Heun method by Peitgen & Richter [1986], and the Adams±Bashforth±Moulton methods in a paper by PruferÈ [1985]. These studies dealt with the chaotic dynamics of the maps produced in their own right, without relating them to the original differential equations. In recent papers by Iserles [1990] and Yee et al. [1991], the connection is examined between a map and the differential equation that it models. Other studies by Kloeden & Lorenz [1986], and Beyn [1987a; 1987b], con- centrate on showing how the limit sets of the map are related to those of the ordinary differential equations. Sauer & Yorke [1991] use shadowing theory to ®nd orbits of the map which are shadowed by trajectories of the differential equation. We bring together here all the strands in these different papers, and extend the examination of the connection between the map and the differ- ential equation from our viewpoint as dynamicists. This topic has begun to catch the awareness of the scienti®c community lately (see for example Stewart [1992]), and several of the papers we discuss appeared after the initial submission of this work; we have included comments on them in this revised version. 3 2. Derivation of Runge±Kutta methods ¡ ¡ ¢¡ £ ¥¨§ UNGE±KUTTA methods compute approximations to , ¡ ¡ £ £ § £ ¤£¦¥¨§ ¥ © with initial values 0 0 , where , , using the R Taylor series expansion ¡ ¡ ¡ ¡ £ £ £ £ £ §& § § £ ¥§ ¥ 1 2 1 1 ¡ 4 1 2 ! © £ ¤ so if we term ¤¦¥¨§ etc. : ¤ ¤ " 1 ¡ £ £§'¤ £ § §! £$ ¥%§& ( ¥ 1 2 £ £ 1 1 ¡ § § 5 " 1 # 1 2 ! § is a non-negative real constant called the step length of the method. ' To obtain a ' -stage Runge±Kutta method ( function evaluations per step) we let )* §/ © ¥ £§)(¦¥¨§ © £ ¡ 1 6 where , ¡102¡ )* ¦¥¨§ © §/ £ + © ¥ ( 7 ¡.- 1 / so that , ¡405¡ £ £§3+ © ¥ ¡ 1 ¡.- 8 1 / with ¡ " 1 , ¡ ¡ ¡ 0 0 £ ¤$67&§ £§' © £§ ¥ 8 8;:< - 9 8 1 9 £ and 1 0 for an explicit method, or , 02¡ ¡ ¡ 0 £ ¤ 7&§ £§' © £§ ¥ + 6 < 8 8 : 10 - 8 1 9 for an implicit method. For an explicit method, Eq.(9) can be solved for each 05¡ in turn, but for an implicit method, Eq.(10) requires the solution of a nonlinear system of 0=¡ s at each step. The set of explicit methods may ¡ £ ¥ 8 be regarded as a subset of the set of implicit methods with 0, >@? . Explicit methods are obviously more ef®cient to use, but we 9 shall see that implicit methods do have advantages in certain circumstances. For convenience, the coef®cients , , and of the Runge±Kutta method 9 can be written in the form of a Butcher array/ : B ¥ 11 /BA ¡ £DC © ()(*( £GC © ()(*( £GC 8 where 1 2 , 1 2 and B . E +FE +HE A A 9 / / / / 4 Runge±Kutta schemes are one-step or self-starting methods; they give ¡ 1 in terms of only, and thus they produce a one-dimensional map if they are dealing with a single differential equation. This may be con- trasted with other popular schemes (the Adams±Bashforth±Moulton and Backward Differentiation Formulae methods), which are multistep meth- ¡ ¡ ods; is given in terms of " 1 down to . Multistep methods give rise to multi-dimensional maps from single differential equations. A method is said to have order if is the largest integer for which * ¡ ¥ § £§/ ¥¨§ §)(¦¥¨§¦© ¥¨§/ §/ ¦£ ¥%§ ( ¥ 1 12 ¡ ¡ ¡ For a method of order , we wish to ®nd values for , 8 and with ¥%¥+© @£ 9 / 1 > so that Eq.(8) matches the ®rst 1 terms in Eq.(4). To © do this we Taylor expand Eq.(8) about ¥¨§ under the assumption that £ , so that all previous values are exact, and compare this with Eq.(4) in order to equate coef®cients. For example, the (unique) ®rst-order explicit method is the well-known Euler scheme £ £§'¤¦¥¨§ © ( ¥ ¡ 1 13 £ £ Let us derive an explicit method with ' 2, that is, a two-stage, second-order method. From Eq.(5) we have ¤ £ £§&¤ £ § £ ¥§ © ¥ 1 2 3 ¡ 1 § 14 2 so expanding this, ¢¡ £¡ ¤ ¤ £ £$§'¤ £ § £ ¤ ( ¥ £ ¥%§ 1 2 3 ¡ ¡ ¡ § 15 1 2 From Eq.(8), and assuming previous exactness, 0 0 £ £ § £§ ( ¥ ¡ 1 1 1 2 2 16 / / £ We can choose 1 0 so 0 £ ¤ § © £ ¤ © 1 ( ) (17) 0 0 £ ¤ § £§& © £$§ 2 ( 2 21 1) (18) ¡ 9 0 0 ¤ § © £§ £§& ¤ § © £§ £ ¥%§ £ 2 ¡ ( 21 1) 2 § ( 21 1) (19) ¡ ¡ 9 9 ¤ ¤ £ § ¤ £ ¥%§ ¤ £ §& © £ 2 ¡ ¡ § 2 21 (20) 9 and Eq.(16) becomes £¡ ¤¡ ¤ ¤ £§ ¤ £ ¥§ £ £ § ¤ £ § ¤ £§' ( ¥ 3 ¡ ¡ ¡ § 1 1 2 2 21 21 9 / / 5 We can now equate coef®cients in Eqs.(15) and (21) to give: §'¤ £ £ © [ ] : 1 2 1 (22) ¢¡ ¤ / / £ © § 2 1 ¡ § ¢¡ : (23) 2 2 2 / ¤¡ ¤ ¤ £ ( § 2 1 ¡ ¡ : (24) 2 21 2 9 / This is a system with three equations in four unknowns, so we can solve in terms of (say) 2 to give a one-parameter family of explicit two-stage, second-order Runge±Kutta/ methods: 0 0 C £ § ¥ £ £ © ¡ 1 1 2 1 2 2 (25) 0 E £ ¤ § © © / / 1 ( ) (26) § § 0 0 £ £ ¤ § £ © ( 2 1 (27) 2 2 2 2 / / £ Well-known second-order methods are obtained with 2 1 2, 3 4 and 1. £ When 2 0, the equation collapses to the ®rst-order / Euler method.
Recommended publications
  • Research on the Digitial Image Based on Hyper-Chaotic And
    Research on digital image watermark encryption based on hyperchaos Item Type Thesis or dissertation Authors Wu, Pianhui Publisher University of Derby Download date 27/09/2021 09:45:19 Link to Item http://hdl.handle.net/10545/305004 UNIVERSITY OF DERBY RESEARCH ON DIGITAL IMAGE WATERMARK ENCRYPTION BASED ON HYPERCHAOS Pianhui Wu Doctor of Philosophy 2013 RESEARCH ON DIGITAL IMAGE WATERMARK ENCRYPTION BASED ON HYPERCHAOS A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy By Pianhui Wu BSc. MSc. Faculty of Business, Computing and Law University of Derby May 2013 To my parents Acknowledgements I would like to thank sincerely Professor Zhengxu Zhao for his guidance, understanding, patience and most importantly, his friendship during my graduate studies at the University of Derby. His mentorship was paramount in providing a well-round experience consistent with my long-term career goals. I am grateful to many people in Faculty of Business, Computing and Law at the University of Derby for their support and help. I would also like to thank my parents, who have given me huge support and encouragement. Their advice is invaluable. An extra special recognition to my sister whose love and aid have made this thesis possible, and my time in Derby a colorful and wonderful experience. I Glossary AC Alternating Current AES Advanced Encryption Standard CCS Combination Coordinate Space CWT Continue Wavelet Transform BMP Bit Map DC Direct Current DCT Discrete Cosine Transform DWT Discrete Wavelet Transform
    [Show full text]
  • Bifurcations, Mode Locking, and Chaos in a Dissipative System
    The Bogdanov Map: Bifurcations, Mode Locking, and Chaos in a Dissipative System David K. Arrowsmith, School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road London E1 4NS, UK Julyan H. E. Cartwright, Departament de F´ısica Universitat de les Illes Balears 07071 Palma de Mallorca, Spain Alexis N. Lansbury, Department of Physics Brunel, The University of West London Uxbridge, Middlesex UB8 3PH, UK &ColinM.Place.∗ Int. J. Bifurcation and Chaos, 3,803–842,1993 We investigate the bifurcations and basins of attraction in the Bog- danov map, a planar quadratic map which is conjugate to the Henon´ area-preserving map in its conservative limit. It undergoesaHopf bifurcation as dissipation is added, and exhibits the panoply of mode locking, Arnold tongues, and chaos as an invariant circle grows out, finally to be destroyed in the homoclinic tangency of the manifolds of aremotesaddlepoint.TheBogdanovmapistheEulermapofatwo- dimensional system of ordinary differential equations firstconsidered by Bogdanov and Arnold in their study of the versal unfolding of the double-zero-eigenvalue singularity, and equivalently of avectorfield invariant under rotation of the plane by an angle 2π.Itisauseful system in which to observe the effect of dissipative perturbations on Hamiltonian structure. In addition, we argue that the Bogdanov map provides a good approximation to the dynamics of the Poincaremaps´ of periodically forced oscillators. ∗Formerly: Department of Mathematics, Westfield College, University of London, UK. 1 1. Introduction Tisnowwellknownthatthestudyofsystemsofordinarydifferential equations, which commonly arise in dynamical systems investigated in I many fields of science, can be aided by utilizing the surface-of-section technique of Poincaremaps.The´ Poincar´e or return map of a system of or- dinary differential equations reduces the dimension of the problem, replac- ing an n-dimensional set of ordinary differential equations with an (n 1)- dimensional set of difference equations.
    [Show full text]
  • Bibliography
    Bibliography [1] V.S. Afraimovich and L.P. Shil'nikov, Invariant tori, their break-down and stochasticity, Amer. Math. Soc. Transl, 149 (1991), 201{211, Originally published in: Methods of qualitative theory of diff. eqs., Gorky State Univ. (1983), pp. 3-26. [2] A. Agliari, G.-I. Bischi, R. Dieci, and L. Gardini, Global bifurcations of closed invariant curves in two-dimensional maps: a computer assisted study, Int. J. Bif. Chaos 15 (2005), 1285{1328. [3] E.L. Allgower and K. Georg, Numerical Continuation Methods: An Intro- duction, Springer-Verlag, Berlin, 1990. [4] V.I. Arnol'd, Loss of stability of self-induced oscillations near resonance, and versal deformations of equivariant vector fields, Funkcional. Anal. i Priloˇzen. 11 (1977), no. 2, 1{10, 95. [5] , Geometrical Methods in the Theory of Ordinary Differential Equations, Springer-Verlag, New-York, 1983. [6] V.I. Arnol'd, V.S. Afraimovich, Yu.S. Il'yashenko, and L.P. Shil'nikov, Bifurcation theory, Dynamical Systems V. Encyclopaedia of Mathematical Sciences (V.I. Arnol'd, ed.), Springer-Verlag, New York, 1994. [7] D.G. Aronson, M.A. Chory, G.R. Hall, and R.P. McGehee, Bifurcations from an invariant circle for two-parameter families of maps of the plane: A computer-assisted study, Comm. Math. Phys. 83 (1982), 303{354. [8] D. Arrowsmith and C. Place, An Introduction to Dynamical Systems, Cambridge University Press, Cambridge, 1990. [9] D.K. Arrowsmith, J.H.E. Cartwright, A.N. Lansbury, and C.M. Place, The Bogdanov map: bifurcations, mode locking, and chaos in a dissipative system, Int. J. Bif.
    [Show full text]
  • Stable Manifolds for Hybrid Maps: Implementation and Applications
    High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications Vincent Naudot ∗1, J.D. Mireles James y1, and Qiuying Lu z3 1Florida Atlantic University, Department of Mathematical Sciences, 777 Glades Road, 33431 Boca Raton, FL, USA 3Department of Mathematics, Zhejiang Sci-Tech University, Hangzhou, Zhejiang, 310018, CN March 29, 2016 Abstract In this work we study, from a numerical point of view, the (un)stable manifolds of a certain class of dynamical systems called hybrid maps. The dynamics of these systems are generated by a two stage procedure: the first stage is continuous time advection under a given vector field, the sec- ond stage is discrete time advection under a given diffeomorphism. Such hybrid systems model physical processes where a differential equation is occasionally kicked by a strong disturbance. We propose a numerical method for computing local (un)stable manifolds, which leads to high or- der polynomial parameterization of the embedding. The parameterization of the invariant manifold is not the graph of a function and can follow folds in the embedding. Moreover we obtain a representation of the dynamics on the manifold in terms of a simple conjugacy relation. We illustrate the utility of the method by studying a planar example system. 1 Introduction Stable and unstable manifolds associated with hyperbolic invariant sets are fun- damental objects of study in dynamical systems theory [1]. In addition to describing the motion of orbits near invariant sets, intersections between stable and unstable manifolds provide global information about movement between ∗Email: [email protected] yJ.M.J partially supported by NSF grant DMS - 1318172 Email: [email protected] zL.
    [Show full text]
  • Width of the Homoclinic Zone in the Parameter Space for Quadratic Maps V
    This article was downloaded by: [Florida Atlantic University] On: 21 March 2012, At: 13:05 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered office: Mortimer House, 37-41 Mortimer Street, London W1T 3JH, UK Experimental Mathematics Publication details, including instructions for authors and subscription information: http://www.tandfonline.com/loi/uexm20 Width of the Homoclinic Zone in the Parameter Space for Quadratic Maps V. Gelfreich a & V. Naudot a a Mathematics Institute, University of Warwick, Coventry CV4 7AL, UK Available online: 30 Jan 2011 To cite this article: V. Gelfreich & V. Naudot (2009): Width of the Homoclinic Zone in the Parameter Space for Quadratic Maps, Experimental Mathematics, 18:4, 409-427 To link to this article: http://dx.doi.org/10.1080/10586458.2009.10129058 PLEASE SCROLL DOWN FOR ARTICLE Full terms and conditions of use: http://www.tandfonline.com/page/terms-and-conditions This article may be used for research, teaching, and private study purposes. Any substantial or systematic reproduction, redistribution, reselling, loan, sub-licensing, systematic supply, or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to date. The accuracy of any instructions, formulae, and drug doses should be independently verified with primary sources. The publisher shall not be liable for any loss, actions, claims, proceedings, demand, or costs or damages whatsoever or howsoever caused arising directly or indirectly in connection with or arising out of the use of this material.
    [Show full text]
  • The Simplest Map with Three-Frequency Quasi-Periodicity and Quasi-Periodic Bifurcations
    July 30, 2016 12:29 WSPC/S0218-1274 1630019 International Journal of Bifurcation and Chaos, Vol. 26, No. 8 (2016) 1630019 (12 pages) c World Scientific Publishing Company DOI: 10.1142/S0218127416300196 The Simplest Map with Three-Frequency Quasi-Periodicity and Quasi-Periodic Bifurcations Alexander P. Kuznetsov∗ and Yuliya V. Sedova† Kotel’nikov’s Institute of Radio-Engineering and Electronics of RAS, Saratov Branch, Zelenaya 38, Saratov 410019, Russian Federation ∗[email protected][email protected] Received February 16, 2016 We propose a new three-dimensional map that demonstrates the two- and three-frequency quasi- periodicity. For this map, all basic quasi-periodic bifurcations are possible. The study was real- ized by using Lyapunov charts completed by plots of Lyapunov exponents, phase portraits and bifurcation trees illustrating the quasi-periodic bifurcations. The features of the three-parameter structure associated with quasi-periodic Hopf bifurcation are discussed. The comparison with nonautonomous model is carried out. Keywords: Quasi-periodic oscillations; quasi-periodic bifurcations; torus map. 1. Introduction The basic ones are the next three bifurcations: Quasi-periodic oscillations are widespread in nature • the saddle-node bifurcation. Collision of stable and technology [Blekhman, 1988; Landa, 1996; and unstable tori leads to the abrupt birth of Pikovsky et al., 2001; Anishchenko et al., 2007a]. higher-dimensional torus. Examples of quasi-periodic behavior are found in • the quasi-periodic Hopf bifurcation. Torus of Int. J. Bifurcation Chaos 2016.26. Downloaded from www.worldscientific.com electronics [Glazier & Libchaber, 1988], neurody- higher dimension is born softly. by NANYANG TECHNOLOGICAL UNIVERSITY on 08/08/16. For personal use only.
    [Show full text]
  • The Dynamical Properties of Modified of Bogdanov Map
    Journal of Al-Qadisiyah for Computer Science and Mathematics Vol. 13(2) 2021 , pp Math. 14–21 14 The Dynamical Properties of Modified of Bogdanov Map (1) (2) Wafaa H. Al-Hilli , Rehab Amer Kamel Department of Mathematics, College of Education University of AL-Qadisiyah, Iraq,[email protected] Department of Mathematics, College of Education for pure Sciences, University of Babylon,Iraq, Email: [email protected] A R T I C L E I N F O A B S T R A C T Article history: In the work, we study the general properties of modified of the Received: 26 /03/2021 Bogdanov map in the form Fa,m,k . Rrevised form: 05 /04/2021 푥 푥 + 푦 Accepted : 15 /04/2021 ( ) = ( ) 푦 푦 + 푎푦 + 푘 푐표푠푥 − 푘푥 + 푚푥푦 Available online: 07 /05/2021 Keywords: We prove it has sensitive dependence on initial conditions and positive Lyapunov exponent with some conditions . So we give estimate of Sensitive dependence on topological entropy of modified Bogdanov map . initial conditions, Lyapunov exponent, MSC. 41A25; 41A35; 41A36. Topological entropy. DOI : https://doi.org/10.29304/jqcm.2021.13.2.790 _________________________________________________________________________________________________________________________________________________________________________ 1. Introduction Chaos theory is a branch of mathematics concern with studying the properties of deterministic systems that depend on their behavior on a set of elementary conditions, making their study somewhat complex using traditional mathematical tools. Mathematicians use chaos theory to model these systems in ways Different in order to arrive at a specific mathematical description of it and its behavior depending on all possible initial conditions. The Bogdanov map provides a good approximation to the dynamics of the Poincaré map of periodically forced oscillators, first considered by Bogdanov [5].
    [Show full text]
  • Bogdanov Map for Modelling a Phase-Conjugated Ring Resonator
    entropy Article Bogdanov Map for Modelling a Phase-Conjugated Ring Resonator Vicente Aboites 1,* , David Liceaga 2, Rider Jaimes-Reátegui 3 and Juan Hugo García-López 3 1 Centro de Investigaciones en Óptica, Loma del Bosque 115, 37150 León, Mexico 2 División de Ciencias e Ingenierías, Universidad de Guanajuato, Loma del Bosque 107, 37150 León, Mexico; [email protected] 3 Centro Universitario de los Lagos, Universidad de Guadalajara, Enrique Diaz de León 1144, Paseos de la Montaña, Lagos de Moreno, 47460 Jalisco, Mexico; [email protected] (R.J.-R.); [email protected] (J.H.G.-L.) * Correspondence: [email protected]; Tel.: +52-4774414200 Received: 24 October 2018; Accepted: 4 December 2018; Published: 10 April 2019 Abstract: In this paper, we propose using paraxial matrix optics to describe a ring-phase conjugated resonator that includes an intracavity chaos-generating element; this allows the system to behave in phase space as a Bogdanov Map. Explicit expressions for the intracavity chaos-generating matrix elements were obtained. Furthermore, computer calculations for several parameter configurations were made; rich dynamic behavior among periodic orbits high periodicity and chaos were observed through bifurcation diagrams. These results confirm the direct dependence between the parameters present in the intracavity chaos-generating element. Keywords: spatial dynamics; Bogdanov Map; chaos; laser; resonator 1. Introduction Matrix description of optical systems through ABCD matrices (Equation (8)) naturally produces iterative maps with
    [Show full text]
  • Empirical Analysis of Robust Chaotic Maps for Image Encryption
    International Journal of Innovative Technology and Exploring Engineering (IJITEE) ISSN: 2278-3075, Volume-9 Issue-11, September 2020 Empirical Analysis of Robust Chaotic Maps for Image Encryption Sonal Ayyappan, C Lakshmi Abstract: The rate of transferring data in the form of text, image, video or audio over an open network has drastically increased. As these are carried out in highly sophisticated fields of medicine, military and banking, security becomes important. In- order to enhance security for transmission, encryption algorithms play a vital role. So as to enhance the proficiency of the existing Images are represented as 2-dimensional arrays of encryption methods and for stronger anti attack abilities, chaotic data. Hence to apply encryption algorithms it must be based cryptography is essential. Chaotic based encryption has considered as one-dimensional array of data[3]. One- advantages of being sensitive to initial conditions and control parameters. Images have features like bulk data capacity and high dimensional image array consumes more space when inter pixel correlation. Transmission of such medical data should compared to one dimensional text data which leads to be highly confidential, integral and authorized. Hence chaos-based compression. It results in reduced space and reduced time for image encryption is an efficient way of fast and high-quality image transmission. But this may cause loss of some data which encryption. It has features like good speed, complexity, highly may be agreeable for general images but may be costly for secure, reasonable computational overhead and power. In this medical images. This results to wrong diagnosis of these paper a comprehensive analysis and an evaluation regarding the medical images [4].
    [Show full text]
  • Attractors and Basins of Dynamical Systems
    Electronic Journal of Qualitative Theory of Differential Equations 2011, No. 20, 1-11; http://www.math.u-szeged.hu/ejqtde/ Attractors and basins of dynamical systems Attila D´enes, G´eza Makay Abstract There are several programs for studying dynamical systems, but none of them is very useful for investigating basins and attractors of higher dimensional systems. Our goal in this paper is to show a new algorithm for finding even chaotic attractors and their basins for these systems. We present an implementation and examples for the use of this program. Key words: dynamical systems, attractors, basins, numerical methods. 2000 Mathematics Subject Classification: Primary 37D45, 37M99. 1 Introduction There exist several program packages for investigating dynamical systems. However, we found that even the most widespread of these are not suitable for the examination of attractors and basins of dynamical systems. For ex- ample, Dynamica written in Mathematica [2] does not contain a procedure for representing attractors and basins. Dynamics [1] does have such a proce- dure, but as it was written under DOS, it is rather difficult to use on today’s computers, and the algorithm has some inadequacies that – in some cases – can cause imperfect results. For this reason we established a new algorithm and its computer realization to find and visualize attractors and basins of discrete and continuous dynamical systems. In Section 2 we introduce some basic notions from the theory of dynam- ical systems. As our algorithm is based on that of Dynamics, in Section 3 we describe the routine Basins and Attractors of Dynamics for representing attractors and their basins.
    [Show full text]
  • Habilitation
    HABILITATION The AnT project: On the simulation and analysis of dynamical systems Presented to the faculty of Computer Science, Electrical Engineering, and Information Technology at the University of Stuttgart by Dr. rer. nat. Michael Schanz Department Image University of Understanding Stuttgart Institute of Parallel and Distributed Systems In Memoriam Erika Sonja Schanz 24. M¨arz 1928 - 24. April 1993 Paul Karl Schanz 13. Januar 1926 - 24. Mai 2001 Preface A software project like the one presented in this work could never have been done without the help and support of many, many people. Among them are people who are more or less directly involved in the project as well as others which supported me in many different ways. The people I want to thank here are in fact so many, that it is not possible to thank them all personally. Therefore, I would like to thank in general the members of the Institute of Parallel and Distributed Systems (IPVS) at the University of Stuttgart, where the AnT project resides and where most of the work was done. However, some persons I want to thank personally: • The referees of this work, Prof. Bestehorn (Cottbus), Prof. Bungartz (Stuttgart), Prof. Friedrich (M¨unster)and Prof. Levi (Stuttgart). Moreover, I would like to thank Prof. Levi, head of the department Image Understanding at the IPVS, for his friendly support, for the many discussions and for giving me the opportunity and time to develop and maintain the AnT project and to write this habilitation. • All the people involved in the AnT project, but especially my friends: - Viktor Avrutin, for his brilliant ideas, profound knowledge and never ending interest in nonlinear dynamics, the uncountable valu- able discussions with him and finally his affectation for ORIGAMI.
    [Show full text]
  • Width of Homoclinic Zone for Quadratic Maps
    Width of homoclinic zone for quadratic maps. V. Gelfreich , V. Naudot ⋆ † Mathematics Institute University of Warwick Coventry CV4 7AL, UK email: [email protected], †∗ [email protected] November 21, 2018 arXiv:0805.0324v1 [math.DS] 2 May 2008 ∗Corresponding author 1 Abstract We study several families of planar quadratic diffeomorphisms near a Bogdanov-Takens bifurcation. For each family, the associate bifurcation diagram can be deduced from the interpolating flow. However, a zone of chaos confined between two lines of homoclinic bifurcation that are exponentially close to one-another is observed. The goal of this paper is to test numerically an accurate asymptotic expansion for the width of this chaotic zone for different families. Mathematics Subject Classification: 37D45, 37E30, 37G10. 1 Introduction In this paper we study homoclinic bifurcations in the unfolding of a diffeomor- phism near a fixed point of Bogdanov-Takens type. To begin with, we consider a planar diffeomorphism F : R2 R2 with the origin as a fixed point and where → dF (0, 0) = Id + N where N 0 is nilpotent. The origin is said to be a fixed point of Bogdanov- Takens type.6≡ This latter terminology is more known for a singularity of a vector field X with linear part having double zero eigenvalues and a non vanishing nilpotent part. Since this singularity is of codimension 2,. i.e., is twice degen- erate, a generic unfolding will depend on two parameters say (µ,ν). In the case of a vector field, such unfolding has been studied in [1, 33] and for maps in [8, 9].
    [Show full text]