Preface
This chapter is concerned with initial value problems for systems of ordinary differential equations. The emphasis will be given to nonlinear phenomena and qualitative analysis of solution to dynamical systems, particularly those with physical relevance. Finding a solution to a differential equation may not be so important if that solution never appears in the physical model represented by the system, or is only realized in exceptional circumstances. Unless stated opposite, all quantities are assumed to be real.
A dynamical system is the system whose motion is predetermined by a set of rules (or algorithms) . For dynamical systems, we can introduce a notion of state determined by a set of quantities called dynamical variables. The space of dynamical variables is said to be the phase space. Its state at each instant t must be uniquely determined by its state at some earlier instant t_{0}.
Nonlinear Systems of Equations
This chapter is devoted to qualitative methods of nonlinear systems of ordinary differential equations (ODEs for short). Interest in nonlinear ODEs is virtually as old as the subject of differential equations itself, which dates back to Newton, Leibniz and Bernoulli brothers. However, little progress was made until the end of nineteen century when two great mathematicians Alexander Lyapunov and Henry Poincaré took up a systematic study of the subject.
Next step in developing the theory of nonlinear oscillations was made in 1920--1930s by the group of Russian scientists leaded by Alexander Andronov. The progress in qualitative methods was summarized in the 1947 book by N. Minorsky. With that and other books, such as Andronov A. and Chaikin C., Theory of Oscillations (Palala Press, 2018), Stoker, J.J, Nonlinear Vibrations in Mechanical and Electrical Systems (Wiley, 1992), the subject appeared in university curricula by the end of the 1950's. With availability of digital computers, the next break through was made by Edward Lorenz and Stephen Smale with discovering chaotic behavior of solutions to differential equations.
In this chapter, we will consider mostly such systems of ordinary equations when the derivative vector can be isolated. A system of first order ordinary differential equations is said to be in normal form if it can be written as
If an initial position of the vector \( {\bf x} (t) \) is known, we get an initial value problem:
An autonomous differential equation is a system of ordinary differential equations which does not explicitly depend on the independent variable ( \( t \) in our case). It is of the form
Example: . In 2001, Edwards and Buckmire published a paper with an autonomous differential equation model of how movies make money. The corresponding model of a motion picture released in North America is represented by an initial value problem (IVP):
Since Andronov (1932), traditionally three different approaches are used for the study of dynamical systems: qualitative methods, analytical methods, and numerical methods. To define the “strategy” of qualitative methods one has to note that the solutions of equations of non linear dynamic systems are in general non classical transcendental functions of the calculus, which are very complex. This “strategy” is of the same type as the one used for the characterization of a function of the complex variable by its singularities: zeros, poles, essential singularities. Here, the complex transcendental functions are defined by the singularities of continuous (or discrete) dynamic systems such as:
- stationary states which are equilibrium points (fixed points), or periodical solutions (cycles); which can be stable, or unstable;
- trajectories (invariant curves,) passing through saddle singularities of two-dimensional systems;
- stable and unstable manifold for a dimension greater than two;
- boundary, or separatrix, of the influence domain (domain of attraction, or basin) of a stable (attractive) stationary state;
- homoclinic, and heteroclinic singularities;
- or more complex singularities of fractal, or nonfractal type.
The qualitative methods consider the nature of these singularities in the phase (or state) space, and their evolutions when parameters of the system vary, or in the presence of a continuous structure modification of the system (study of the bifurcation sets in the parameter space, or in a functional space).
In fact at the beginning qualitative methods developed from the fundamental studies of circuits of radio-engineering. Indeed in 1927, Andronov, the most famous Mandelstham’s student, defends his thesis with the topic formulated by Mandelstham “The Poincaré’s limit cycles and the theory of oscillations”. This thesis is a first-rank contribution for the evolution of the theory of non linear oscillations, because it opens a new way of applications for the Poincaré’s qualitative theory of differential equations, with a lot of practical consequences. With this work, Andronov was the first to see that the phenomena of free (or self) oscillations, for example that generated by the Van der Pol oscillator, correspond to limit cycles. It is from the study of oscillators that afterwards, Andronov amplifies his activity with a precise purpose: the development of a theory of non linear oscillations, in order to make use of mathematical tools, common to different scientific disciplines.
Andronov and Pontrjagin formulated in 1937 the necessary and sufficient conditions of structural stability for autonomous two-dimensional systems. These conditions are: the system has only a finite number of equilibrium points and limit cycles, which are not in a critical case in the Lyapunov’s sense; no separatrix joins the same, or two distinct saddle points. In this case it is possible to define, in the parameter space of the system, a set of cells inside of which the same qualitative behavior is preserved.
The knowledge of such cells is of first importance for the analysis, and the synthesis of dynamic systems in physics, or engineering. On the boundary of a cell, the dynamic system is structurally unstable, and for autonomous two-dimensional systems (two-dimensional vector fields), structurally stable systems are dense in the functional space. Until 1966, the conjecture of the extension of this result for higher dimensional systems was generally conjectured to be true.
Sufficient conditions of structural stability were formulated by Stephen Smale in 1963. Such systems are now known as Morse--Smale systems.
Poincaré map
- Abell, M.L.L. and Brasellton, J.P., Differential Equations with Mathematica, 2016, Academic Press; 4 edition.
- Andronov, A.A., "Collected works" , Moscow (1976) (In Russian)
- Andronov, A. A., Witt, A. A., and Khaikin, S.E., Theory of Oscillations [in Russian], Nauka, Moscow (1981).
- Davis, H.T., Introduction to Nonlinear Differential and Integral Equations (Dover Books on Mathematics), 2010.
- Deng, Y., Lectures, Problems and Solutions for Ordinary Differential Equations, second edition, 2017, World Scientific Pub Co Inc.
- Edwards, D.A. and Buckmire, R., A Differential Equation Model of North American Cinematic Box-Office Dynamics, IMA Journal of Management Mathematics, 2001, Vol. 12, No 1, pp. 41--74.
- Enns, R.H. and McGuire, G.C., Nonlinear Physics with Mathematica for Scientists and Engineers, 2001, Birkhäuser; ISBN-10: 0817642234 ISBN-13: 978-0817642235
- Grimshaw, R., Nonlinear Ordinary Differential Equations, CRC Press, Boca Raton, FL, 1993.
- Guckenheimer, J. and Holmes, P., Nonlinear Oscillations. Dynaical Systems and Bifurcations of Vector Fields, Springer-Verlag, New York, 1983.
- Handbook of Dynamical Systems
- Hermann, M. and Saravi, M., Nonlinear Ordinary Differential Equations, Springer
- Hirsch, M.W., Smale, S., Devaney, R., Differential equations, dynamical systems, and an introduction to chaos. Third edition. Elsevier/Academic Press, Amsterdam, 2013
- Hsu, S.-B., Ordinary Differential Equations With Applicationss (Series on Applied Mathematics), 2013, World Scientific Pub Co Inc.
- Jordan D.W. and Smith P., Nonlinear Ordinary Differential Equations An introduction for Scientists and Engineers, fourth edition, Oxford University Press, Oxford, 2007.
- List of nonlinear ordinary differential equations, Wikipedia
- Lynch, S., Dynamical Systems with Applications Using Mathematica, Birkhäuser; 2nd ed. 2017.
- Maitama, S. and Rawashdeh, M., Solving nonlinear ordinary differential equations using the NDM, Journal of Applied Analysis and Computation Website: http://jaac-online.com/ Volume 5, Number 1, February 2015, 77–88 doi:10.11948/2015007
- Minorsky, N., Introduction to non-linear mechanics: topological methods, analytical methods, non-linear resonance, relaxation oscillations, 1947, Ann Arbor, MI: J. W. Edwards.
- Nayfen, A.H., Perturbation Methods, Wiley, 2000.
- Nayfen, A.H., Introduction to Perturbation Techniques, Wiley, 1981.
- Nayfen, A.H. and Mook, D.T., Nonlinear Oscillations, Wiley, 1995.
- Nayfen, A.H., Problems in Perturbation, Wiley, 1985.
- Rand, Richard H., Lecture Notes on Nonlinear Vibrations, Cornell UniversityIthaca NY 14853.
- Romano, A. and Marasco, A., Classical Mechanics with Mathematica® (Modeling and Simulation in Science, Engineering and Technology), 2018, Birkhäuser; Second edition.
- Verhulst, F., Nonlinear Differential Equations and Dynamical Systems, 2006,
- Second-Order Nonlinear Ordinary Differential Equations.
Return to Mathematica page
Return to the main page (APMA0340)
Return to the Part 1 Matrix Algebra
Return to the Part 2 Linear Systems of Ordinary Differential Equations
Return to the Part 3 Non-linear Systems of Ordinary Differential Equations
Return to the Part 4 Numerical Methods
Return to the Part 5 Fourier Series
Return to the Part 6 Partial Differential Equations
Return to the Part 7 Special Functions