DOCSLIB.ORG

1991-Automated Phase Portrait Analysis by Integrating Qualitative

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
1991-Automated Phase Portrait Analysis by Integrating Qualitative From: AAAI-91 Proceedings. Copyright ©1991, AAAI (www.aaai.org). All rights reserved. Toyoaki Nishida and Kenji Department of Information Science Kyoto University Sakyo-ku, Kyoto 606, Japan email: [email protected] Abstract intelligent mathematical reasoner. We have chosen two-dimensional nonlinear difFeren- It has been widely believed that qualitative analysis tial equations as a domain and analysis of long-term guides quantitative analysis, while sufficient study has behavior including asymptotic behavior as a task. The not been made from technical viewpoints. In this pa- domain is not too trivial, for it contains wide varieties per, we present a case study with PSX2NL, a pro- of phenomena; while it is not too hard for the first step, gram which autonomously analyzes the behavior of for we can step aside from several hard representational two-dimensional nonlinear differential equations, by in- issues which constitute an independent research sub- tegrating knowledge-based methods and numerical al- ject by themselves. The task is novel in qualitative gorithms. PSX2NL focuses on geometric properties of physics, for nobody except a few researchers has ever solution curves of ordinary differential equations in the addressed it. phase space. PSX2NL is designed based on a couple of novel ideas: (a) a set of flow mappings which is an abstract description of the behavior of solution curves, Analysis of Two-dimensional Nonlinear and (b) a flow grammar which specifies all possible pat- Ordinary ifferentid Equations terns of solution curves, enabling PSX2NL to derive the The following is a typical ordinary differential equation most plausible interpretation when complete informa- (ODE) we investigate in this paper: tion is not available. We describe the algorithms for dx deriving flow mappings. ifz = : - x2 + 0 . 2y + 0 .3xy . 0) dt = Introduction This is two-dimensional in the sense that it is specified In spite of tremendous research efforts, most technical by two independent state variables x(t) and y(t), and it developments obtained in qualitative physics are still is nonlinear in the sense that the right-hand sides con- quite naive from the standards of other disciplines and t ain nonlinear terms such as xy and x2. Unlike linear real applications. An obvious way of escaping from the differential equations, no general algorithm is known trap would be to avoid building the theory from the for solving nonlinear ODES analytically. In addition, scratch. It would deserve a serious effort to develop a the behavior of nonlinear differential equations may computational theory on top of existing theories with become fairly complex in certain situations. keeping the spirit of qualitative physics in mind. A strategy taken by applied mathematicians is to In this paper, we present how such a schema is in- study geometric properties of solution curves in the stantiated in PSXlLNL, a program which autonomously phase space spanned bY analyzes the behavior of two-dimensional ordinary dif- independent state variables [Hirsch and Smale, 1974, ferential equations, by integrating knowledge-based Guckenheimer and Holmes, 19831. That approach has methods and numerical algorithms. PSX2NL focuses made it possible to understand the qualitative behav- on geometric properties of solution curves of ordinary ior of nonlinear differential equations, even when the differential equations in the phase space. PSX2NL is explicit form of solution is not available. Figure 1 illus- designed based on a couple of novel ideas: (a) a set of trates a portion of the phase portrait of (l), a collection flow mappings which is an abstract description of the of solution curves contained in the phase space. (a) is behavior of solution curves, and (b) a flow grammar drawn in an rather ad-hoc manner by manually invok- which specifies all possible patterns of solution curves, ing a numerical integrator and (b) is one that PSX2NL enabling PSX2 N L to derive the most plausible inter- has produced to understand the behavior in adjacent pretation when complete information is not available, regions ABGM and MGCD. Notice that only cru- Taken together, these two techniques provide a well- cial orbits are drawn there. Even from (a) it would founded computational framework for an autonomous be much easier to grasp the global characteristics of NISHIDA, ET AL. 811 (a) manuzdly drawn using a numerical integrator (b) produced by PSX’LNL for local analysis .---. __-_----. _---__------ --.9-L.. --- - -.-- -- - ----_ --- ____ _-_. -* -2 -1 3 2 35 - I -2; ~~ Arrow-heads and some symbols are added by hand. Figure 1: The Phase Portrait for (1) behavior such as: y decreases as time passes, there ex- an orbit by using a numerical integration algorithm ists some solutions which approaches to an equilibrium such as the Runge-Kutta algorithm, as was done for statex=l,y=Oast-+--oo,andsoon. examples in this paper. However, numerical methods The collection of solution curves is also called a flow, support only a small portion of the entire process of un- for it introduces a mapping which maps a given point in derstanding the behavior, as pointed out in [Yip, 19881. the phase space into another as a function of t. Each It is necessary to plan numerical simulation and inter- solution curve, called an orbit, represents a solution pret the result. In order for a program to carry out under some initial condition. the entire process without much external assistance, Theoretically, an orbit is a directed curve such that the program has to possess sufficient knowledge about its tangent vector conforms to the vector field specified nonlinear differential equations. In order to integrate by a given ODE at each point in the phase space. A numerical and knowledge-based methods, one must ad- fized point is a special orbit consisting of a single point dress several questions concerning (a) representation of orbits, (b) algorithm for generating the representation, at which g = 3 = 0. A fixed point corresponds and (c) algorithm for reasoning about global behav- to an equilibrium state which will not evolve forever. ior based on the representation. The central concern Fixed points are further classified into sinks, sources, of this paper is the second and to demonstrate how saddles, and some other peculiar subcategories accord- qualitative and quantitative analysis are integrated to ing to how orbits behave in their neighborhood. If the achieve the goal. Before describing that, we present an solution of a given ODE is unique as is often the case, overview of our solution to these three questions in the orbits never cross with themselves or other orbits. An next section. orbit must be cyclic if it intersects with itself. Under many circumstances, it is crucial to under- stand the long-term behavior of a given ODE. In struc- Outline of our Solution turally stable two-dimensional ODES, orbits may di- verge or approach a fixed point or a cyclic orbit when PSX2NL is a program which autonomously analyzes t -+ foe. An orbit is called an attracting orbit when the behavior of two-dimensional ODES. PSX2NL takes all orbits in some neighborhood approach it arbitrar- as input the specification of an ODE such as (1) and ily after a long run. Similarly, a repelling orbit is an a region of the phase space to analyze. As output orbit which all orbits in some neighborhood approach PSX’LNL produces (a) a list of possible asymptotic ori- as t + -co. Conversely, when an orbit 01 approaches gins and destinations and (b) a set of flow mappings, an orbit 02 as t --) 00 (-00)~ we call 02 the asymptotic des- abstract description of the behavior of the given ODE tination (origin) of 01. In this paper, we study the be- in the given region. In this section, we briefly describe havior of qualitatively coherent bundles of orbits rather flow mappings and their use in reasoning about long- than individual orbits. term behavior, and then we present the overall picture It is possible to obtain an approximate picture of of the algorithms for deriving flow mappings. 812 QUALITATIVE ANALYSIS Flow Mappings as Abstract and hence, Representation of the Phase Portrait 41 0 42(FQ) c FQ. (8) We represent a flow as a set of flow mappings which (8) entails that there exists an attracting bundle of specifies how the flow maps points in the phase space. orbits containing at least one limit cycle transverse to For example, consider the flow in the region MGCD 41 0 h(FQ) = h(Q) b42(F). Seefigure 2(b)- shown in figure l(b). Orbits transverse to segment T Q Notice that qualitative and quantitative analysis are continuously map points on the segment to polyline integrated in the lines of reasoning described above. 27 G H. We represent the fact as 42,2 : T Q + U G H, The main thread is concerned with topological aspects where 42,2 is a label attached to the bundle of orbit of bundle of orbit intervals and hence it is qualitative, intervals between T Q and U G H. We call U G H the while the basic facts are obtained by quantitative anal- destination of T Q, and T Q the or&n of U G H (with ysis. respect to the given region). The whole flow 42 in The global analyzer incorporated in PSX2NL rec- region MGCD is represented as a sum of sub-flows ognizes attracting or repelling bundles of orbits con- corresponding to bundles of orbit intervals in MGCD, taining a limit cycle by chaining flow mappings in as follows: turn and looking for such patterns of argumentation as described above. The domains of attraction and 42 = 42,1 : MT + LMB~~,~ :TQ-+UGH (2) 7 - repelling are also determined in this process.
Load more

Recommended publications
  • Phase Plane Methods
    Chapter 10 Phase Plane Methods Contents 10.1 Planar Autonomous Systems . 680 10.2 Planar Constant Linear Systems . 694 10.3 Planar Almost Linear Systems . 705 10.4 Biological Models . 715 10.5 Mechanical Models . 730 Studied here are planar autonomous systems of differential equations. The topics: Planar Autonomous Systems: Phase Portraits, Stability. Planar Constant Linear Systems: Classification of isolated equilib- ria, Phase portraits. Planar Almost Linear Systems: Phase portraits, Nonlinear classi- fications of equilibria. Biological Models: Predator-prey models, Competition models, Survival of one species, Co-existence, Alligators, doomsday and extinction. Mechanical Models: Nonlinear spring-mass system, Soft and hard springs, Energy conservation, Phase plane and scenes. 680 Phase Plane Methods 10.1 Planar Autonomous Systems A set of two scalar differential equations of the form x0(t) = f(x(t); y(t)); (1) y0(t) = g(x(t); y(t)): is called a planar autonomous system. The term autonomous means self-governing, justified by the absence of the time variable t in the functions f(x; y), g(x; y). ! ! x(t) f(x; y) To obtain the vector form, let ~u(t) = , F~ (x; y) = y(t) g(x; y) and write (1) as the first order vector-matrix system d (2) ~u(t) = F~ (~u(t)): dt It is assumed that f, g are continuously differentiable in some region D in the xy-plane. This assumption makes F~ continuously differentiable in D and guarantees that Picard's existence-uniqueness theorem for initial d ~ value problems applies to the initial value problem dt ~u(t) = F (~u(t)), ~u(0) = ~u0.
    [Show full text]
  • The Following Integration Formulas Will Be Provided on the Exam and You
    The following integration formulas will be provided on the exam and you may apply any of these results directly without showing work/proof: Z 1 (ax + b)n+1 (ax + b)n dx = · + C a n + 1 Z 1 eax+b dx = · eax+b + C a Z 1 uax+b dx = · uax+b + C for u > 0; u 6= 1 a ln u Z 1 1 dx = · ln jax + bj + C ax + b a Z 1 sin(ax + b) dx = − · cos(ax + b) + C a Z 1 cos(ax + b) dx = · sin(ax + b) + C a Z 1 sec2(ax + b) dx = · tan(ax + b) + C a Z 1 csc2(ax + b) dx = · cot(ax + b) + C a Z 1 p dx = sin−1(x) + C 1 − x2 Z 1 dx = tan−1(x) + C 1 + x2 Z 1 p dx = sinh−1(x) + C 1 + x2 1 The following formulas for Laplace transform will also be provided f(t) = L−1fF (s)g F (s) = Lff(t)g f(t) = L−1fF (s)g F (s) = Lff(t)g 1 1 1 ; s > 0 eat ; s > a s s − a tf(t) −F 0(s) eatf(t) F (s − a) n! n! tn ; s > 0 tneat ; s > a sn+1 (s − a)n+1 w w sin(wt) ; s > 0 eat sin(wt) ; s > a s2 + w2 (s − a)2 + w2 s s − a cos(wt) ; s > 0 eat cos(wt) ; s > a s2 + w2 (s − a)2 + w2 e−as u(t − a); a ≥ 0 ; s > 0 δ(t − a); a ≥ 0 e−as; s > 0 s u(t − a)f(t) e−asLff(t + a)g δ(t − a)f(t) f(a)e−as Here, u(t) is the unit step (Heaviside) function and δ(t) is the Dirac Delta function Laplace transform of derivatives: Lff 0(t)g = sLff(t)g − f(0) Lff 00(t)g = s2Lff(t)g − sf(0) − f 0(0) Lff (n)(t)g = snLff(t)g − sn−1f(0) − sn−2f 0(0) − · · · − sf (n−2)(0) − f (n−1)(0) Convolution: Lf(f ∗ g)(t)g = Lff(t)gLfg(t)g = Lf(g ∗ f)(t)g 2 1 First Order Linear Differential Equation Differential equations of the form dy + p(t) y = g(t) (1) dt where t is the independent variable and y(t) is the unknown function.
    [Show full text]
  • PHYS2100: Hamiltonian Dynamics and Chaos
    PHYS2100: Hamiltonian dynamics and chaos M. J. Davis September 2006 Chapter 1 Introduction Lecturer: Dr Matthew Davis. Room: 6-403 (Physics Annexe, ARC Centre of Excellence for Quantum-Atom Optics) Phone: (334) 69824 email: [email protected] Office hours: Friday 8-10am, or by appointment. Useful texts Rasband: Chaotic dynamics of nonlinear systems. Q172.5.C45 R37 1990. • Percival and Richards: Introduction to dynamics. QA614.8 P47 1982. • Baker and Gollub: Chaotic dynamics: an introduction. QA862 .P4 B35 1996. • Gleick: Chaos: making a new science. Q172.5.C45 G54 1998. • Abramowitz and Stegun, editors: Handbook of mathematical functions: with formulas, graphs, and• mathematical tables. QA47.L8 1975 The lecture notes will be complete: However you can only improve your understanding by reading more. We will begin this section of the course with a brief reminder of a few essential conncepts from the first part of the course taught by Dr Karen Dancer. 1.1 Basics A mechanical system is known as conservative if F dr = 0. (1.1) I · Frictional or dissipative systems do not satisfy Eq. (1.1). Using vector analysis it can be shown that Eq. (1.1) implies that there exists a potential function 1 such that F = V (r). (1.2) −∇ for some V (r). We will assume that conservative systems have time-independent potentials. A holonomic constraint is a constraint written in terms of an equality e.g. r = a, a> 0. (1.3) | | A non-holonomic constraint is written as an inequality e.g. r a. | | ≥ 1.2 Lagrangian mechanics For a mechanical system of N particles with k holonomic constraints, there are a total of 3N k degrees of freedom.
    [Show full text]
  • Phaser: an R Package for Phase Plane Analysis of Autonomous ODE Systems by Michael J
    CONTRIBUTED RESEARCH ARTICLES 43 phaseR: An R Package for Phase Plane Analysis of Autonomous ODE Systems by Michael J. Grayling Abstract When modelling physical systems, analysts will frequently be confronted by differential equations which cannot be solved analytically. In this instance, numerical integration will usually be the only way forward. However, for autonomous systems of ordinary differential equations (ODEs) in one or two dimensions, it is possible to employ an instructive qualitative analysis foregoing this requirement, using so-called phase plane methods. Moreover, this qualitative analysis can even prove to be highly useful for systems that can be solved analytically, or will be solved numerically anyway. The package phaseR allows the user to perform such phase plane analyses: determining the stability of any equilibrium points easily, and producing informative plots. Introduction Repeatedly, when a system of differential equations is written down, it cannot be solved analytically. This is particularly true in the non-linear case, which unfortunately habitually arises when modelling physical systems. As such, it is common that numerical integration is the only way for a modeller to analyse the properties of their system. Consequently, many software packages exist today to assist in this step. In R, for example, the package deSolve (Soetaert et al., 2010) deals with many classes of differential equation. It allows users to solve first-order stiff and non-stiff initial value problem ODEs, as well as stiff and non-stiff delay differential equations (DDEs), and differential algebraic equations (DAEs) up to index 3. Moreover, it can tackle partial differential equations (PDEs) with the assistance ReacTran (Soetaert and Meysman, 2012).
    [Show full text]
  • First Integrals and Phase Portraits of Planar Polynomial Differential Cubic Systems with Invariant Straight Lines of Total Multiplicity Eight
    Electronic Journal of Qualitative Theory of Differential Equations 2017, No. 85, 1–35; https://doi.org/10.14232/ejqtde.2017.1.85 www.math.u-szeged.hu/ejqtde/ First integrals and phase portraits of planar polynomial differential cubic systems with invariant straight lines of total multiplicity eight Cristina Bujac and Nicolae Vulpe B Institute of Mathematics and Computer Science, Academy of Science of Moldova 5 Academiei str, Chis, in˘au,MD-2028, Moldova Received 22 April 2017, appeared 2 December 2017 Communicated by Gabriele Villari Abstract. In [C. Bujac, J. Llibre, N. Vulpe, Qual. Theory Dyn. Syst. 15(2016), 327–348] all first integrals and phase portraits were constructed for the family of cubic differential systems with the maximum number of invariant straight lines, i.e. 9 (considered with their multiplicities). Here we continue this investigation for systems with invariant straight lines of total multiplicity eight. For such systems the classification according to the configurations of invariant lines in terms of affine invariant polynomials was done in [C. Bujac, Bul. Acad. S, tiint,e Repub. Mold. Mat. 75(2014), 102–105], [C. Bujac, N. Vulpe, J. Math. Anal. Appl. 423(2015), 1025–1080], [C. Bujac, N. Vulpe, Qual. Theory Dyn. Syst. 14(2015), 109–137], [C. Bujac, N. Vulpe, Electron. J. Qual. Theory Differ. Equ. 2015, No. 74, 1–38], [C. Bujac, N. Vulpe, Qual. Theory Dyn. Syst. 16(2017), 1–30] and all possible 51 configurations were constructed. In this article we prove that all systems in this class are integrable. For each one of the 51 such classes we compute the corresponding first integral and we draw the corresponding phase portrait.
    [Show full text]
  • Math 2280-002 Week 9, March 4-8 5.1-5.3, Introduction to Chapter 6
    Math 2280-002 Week 9, March 4-8 5.1-5.3, introduction to Chapter 6 Mon Mar 4 5.1-5.2 Systems of differential equations - summary so far; converting differential equations (or systems) into equivalent first order systems of DEs; example with pplane visualization and demo. Announcements: Warm-up Exercise: Summary of Chapters 4-5 so far (for reference): Theorem 1 For the IVP x t = F t, x t x t0 = x0 If F t, x is continuous in the t variable and differentiable in its x variable, then there exists a unique solution to the IVP, at least on some (possibly short) time interval t0 t t0 . Theorem 2 For the special case of the first order linear system of differential equations IVP x t P t x t = f t x t0 = x0 If the matrix P t and the vector function f t are continuous on an open interval I containing t0 then a solution x t exists and is unique, on the entire interval. Theorem 3) Vector space theory for first order systems of linear DEs (We noticed the familiar themes... we can completely understand these facts if we take the intuitively reasonable existence-uniqueness Theorem 2 as fact.) 3.1) For vector functions x t differentiable on an interval, the operator L x t x t P t x t is linear, i.e. L x t z t = L x t L z t L c x t = c L x t . 3.2) Thus, by the fundamental theorem for linear transformations, the general solution to the non- homogeneous linear problem x t P t x t = f t t I is x t = xp t xH t where xp t is any single particular solution and xH t is the general solution to the homogeneous problem x t P t x t = 0 .
    [Show full text]
  • One-Dimensional Conservative Systems
    Chapter 3 One-Dimensional Conservative Systems 3.1 Description as a Dynamical System For one-dimensional mechanical systems, Newton’s second law reads mx¨ = F (x) . (3.1) A system is conservative if the force is derivable from a potential: F = dU/dx. The total − energy, 1 2 E = T + U = 2 mx˙ + U(x) , (3.2) is then conserved. This may be verified explicitly: dE d = 1 mx˙ 2 + U(x) dt dt 2 h i ′ = mx¨ + U (x) x˙ = 0 . (3.3) h i Conservation of energy allows us to reduce the equation of motion from second order to first order: dx 2 = E U(x) . (3.4) v dt ±um − ! u Note that the constant E is a constantt of integration. The sign above depends on the ± direction of motion. Points x(E) which satisfy − E = U(x) x(E)= U 1(E) , (3.5) ⇒ where U −1 is the inverse function, are called turning points. When the total energy is E, the motion of the system is bounded by the turning points, and confined to the region(s) 1 2 CHAPTER 3. ONE-DIMENSIONAL CONSERVATIVE SYSTEMS U(x) E. We can integrate eqn. 3.4 to obtain ≤ x m dx′ t(x) t(x )= . (3.6) − 0 ± 2 E U(x′) r xZ0 − p This is to be inverted to obtain the function x(t). Note that there are now two constants of integration, E and x0. Since 1 2 E = E0 = 2 mv0 + U(x0) , (3.7) we could also consider x0 and v0 as our constants of integration, writing E in terms of x0 and v0.
    [Show full text]
  • 18.03 Final Exam Review
    18.03 Final Exam Review Chris Kottke Contents 1 Definitions & Terminology 2 1.1 Single Equations . 2 1.2 Systems of Equations . 3 1.3 Initial Value Problems . 3 2 First Order Equations 4 2.1 Separable Equations . 4 2.2 Linear Equations . 4 2.3 Graphical Methods . 7 2.3.1 Isoclines . 7 2.3.2 Phase Portraits . 8 2.4 Numerical Methods . 10 3 Higher Order Linear Equations 10 3.1 Homogeneous Solutions . 11 3.2 Particular Solutions . 12 3.2.1 Exponential Response . 12 3.2.2 Undetermined Coefficients . 14 3.2.3 Fourier Series for Periodic Inputs . 15 3.3 Laplace Transform Methods . 17 3.3.1 Weight Function, Transfer Function, & Convolution . 19 4 Systems of Equations 20 4.1 Relationship to Higher Order Equations . 21 4.2 Homogeneous Solutions . 22 4.3 Fundamental Matrices & Initial Value Problems . 25 4.4 Inhomogeneous Equations & Variation of Parameters . 27 4.5 Phase Diagrams for Linear Systems . 29 4.6 Nonlinear Systems . 31 A Complex Variables 34 A.1 Multiplication and Division . 35 A.2 Powers and roots . 36 A.3 Trigonometric Identities . 36 A.4 Sinusoidal Identity . 37 B Fourier Series 38 B.1 Periodic Extensions . 38 B.2 Operations on Series . 39 1 C Laplace Transform 40 C.1 Convolution and the Laplace Transform . 43 C.2 Piecewise Functions & Delta Functions . 44 D Matrices 45 D.1 Eigenvalues & Eigenvectors . 46 D.2 Matrix Exponentials . 47 1 Definitions & Terminology 1.1 Single Equations A general differential equation looks like F t; x(t); x0(t); : : : ; x(n)(t) = 0 The order of the equation is the highest order derivative of x(t) which occurs in the equation.
    [Show full text]
  • Chapter 3 One-Dimensional Systems
    Chapter 3 One-Dimensional Systems In this chapter we describe geometrical methods of analysis of one-dimensional dynam- ical systems, i.e., systems having only one variable. An example of such a system is the space-clamped membrane having Ohmic leak current IL ˙ C V = ¡gL(V ¡ EL) : (3.1) Here the membrane voltage V is a time-dependent variable, and the capacitance C, leak conductance gL and leak reverse potential EL are constant parameters described in the previous chapter. We use this and other one-dimensional neural models to introduce and illustrate the most important concepts of dynamical system theory: equilibrium, stability, attractor, phase portrait, and bifurcation. 3.1 Electrophysiological Examples The Hodgkin-Huxley description of dynamics of membrane potential and voltage-gated conductances can be reduced to a one-dimensional system when all transmembrane conductances have fast kinetics. For the sake of illustration, let us consider a space- clamped membrane having leak current and a fast voltage-gated current Ifast having only one gating variable p, Leak I I z }| L { z }|fast { ˙ C V = ¡ gL(V ¡ EL) ¡ g p (V ¡ E) (3.2) p˙ = (p1(V ) ¡ p)=¿(V ) (3.3) with dimensionless parameters C = 1, gL = 1, and g = 1. Suppose that the gating kinetic (3.3) is much faster than the voltage kinetic (3.2), which means that the voltage- sensitive time constant ¿(V ) is very small, i.e. ¿(V ) ¿ 1, in the entire biophysical voltage range. Then, the gating process may be treated as being instantaneous, and the asymptotic value p = p1(V ) may be used
    [Show full text]
  • CDS 101 Precourse Phase Plane Analysis and Stability Melvin Leok
    CDS 101 Precourse Phase Plane Analysis and Stability Melvin Leok Control and Dynamical Systems California Institute of Technology Pasadena, CA, 26 September, 2002. [email protected] http://www.cds.caltech.edu/~mleok/ Control and Dynamical Systems 2 Introduction ¥ Overview ² Equilibrium points ² Stability of equilibria ² Tools for analyzing stability ² Phase portraits and visualization of dynamical systems ² Computational tools 3 Equilibrium and Stability ¥ Equilibrium Points ² Consider a pendulum, under the influence of gravity. ² An Equilibrium Point is a state that does not change under the dynamics. ² The fully down and fully up positions to a pendulum are ex- amples of equilibria. 4 Equilibrium and Stability ¥ Equilibria of Dynamical Systems ² To understand what is an equilibrium point of a dynamical systems, we consider the equation of motion for a pendulum, g θÄ + sin θ = 0; L which is a second-order linear di®erential equation without damp- ing. ² We can rewrite this as a system of ¯rst-order di®erential equations by introducing the velocity variable, v. θ_ = v; g v_ = ¡ sin θ: L 5 Equilibrium and Stability ¥ Equilibria of Dynamical Systems ² The dynamics of the pendulum can then be visualized by plotting the vector ¯eld, (θ_; v_). ² The equilibrium points correspond to the positions at which the vector ¯eld vanishes. 6 Equilibrium and Stability ¥ Stability of Equilibrium Points ² A point is at equilibrium if when we start the system at exactly that point, it will stay at that point forever. ² Stability of an equilibrium point asks the question what happens if we start close to the equilibrium point, does it stay close? ² If we start near the fully down position, we will stay near it, so the fully down position is a stable equilibrium.
    [Show full text]
  • The Simple Plane Pendulum
    The simple plane pendulum Definition: Why study it? • pendulum bob of mass m attached to rigid rod • it is one of the simplest dynamical systems exhi- of length L and negligible mass; biting periodic motion; • pendulum confined to swing in a plane. • a small modification makes it into one of the simplest systems exhibiting chaos. Summary: The equation of motion is L θ d 2 θ g + sinθ = 0 dt2 L mg Go to derivation. 111111111 000000000 Prerequisites: • fundamentals of Newtonian mechanics; • energy; • the harmonic oscillator; Go to Java™ applet • rotational motion. while the potential energy is Introduction V = mg á L – L cos θ é . The pendulum is free to swing in one plane only, We have chosen the potential to be zero when the so we don’t need to worry about a second angle. pendulum is at the bottom of its swing, θ=0. We will neglect the mass of the rod, for sim- This choice is arbitrary. plicity. Then the total energy is 1 E = mL2 θ˙ 2 + mg á L – L cos θ é . 2 L The equation of motion is most easily found by θ using the conservation of energy. Setting dE = 0 dt L – L cos θ 10 10 10 10 10 mg 111111111 000000000 leads to The easiest way to approach this problem is from mL2 θ˙ θ¨ + mgLθ˙ sin θ = 0 the point of view of energy. That way, we don’t . have to talk about any forces or analyze their This has two solutions; either θ˙ = 0 always, or components in various directions.
    [Show full text]
  • On the N-Dimensional Phase Portraits
    applied sciences Article On the n-Dimensional Phase Portraits Martín-Antonio Rodríguez-Licea 1,*,† , Francisco-J. Perez-Pinal 2,† , José-Cruz Nuñez-Pérez 3 and Yuma Sandoval-Ibarra 3 1 Departamento de Ingeniería Electrónica, CONACYT-Instituto Tecnológico de Celaya, Guanajuato 38010, Mexico 2 Departamento de Ingeniería Electrónica, Instituto Tecnológico de Celaya, Guanajuato 38010, Mexico; [email protected] 3 Instituto Politécnico Nacional, CITEDI, Tijuana BC 22435, Mexico; [email protected] (J.-C.N.-P.); [email protected] (Y.S.-I.) * Correspondence: [email protected] † These authors contributed equally to this work. Received: 6 February 2019; Accepted: 26 February 2019; Published: 28 February 2019 Featured Application: The current graphic analysis can be applied during the mathematical analysis of high order systems, for instance, power electronic, mechanical, aeronautic, and nuclear plant systems among others. Abstract: The phase portrait for dynamic systems is a tool used to graphically determine the instantaneous behavior of its trajectories for a set of initial conditions. Classic phase portraits are limited to two dimensions and occasionally snapshots of 3D phase portraits are presented; unfortunately, a single point of view of a third or higher order system usually implies information losses. To solve that limitation, some authors used an additional degree of freedom to represent phase portraits in three dimensions, for example color graphics. Other authors perform states combinations, empirically, to represent higher dimensions, but the question remains whether it is possible to extend the two-dimensional phase portraits to higher order and their mathematical basis. In this paper, it is reported that the combinations of states to generate a set of phase portraits is enough to determine without loss of information the complete behavior of the immediate system dynamics for a set of initial conditions in an n-dimensional state space.
    [Show full text]