Cole’s Notes for Autonomous Scalar ODEs for Mech 2 Math 255 Cole Zmurchok ⇤ November 30, 2015 1 Introduction The goal of this document is to provide notes and exercises for the discussion of twodimensional nonlinear systems of ODEs for Math 255 for Mech 2. We begin with a review of autonomous scalar equations with a focus on qualitative analysis. Part II of this document will focus on systems. References [1] L. Edelstein-Keshet. Mathematical Models in Biology. SIAM, 2005. [2] E. Kreyszig. Advanced Engineering Mathematics. John Wiley and Sons, Inc., 2006. [3] S. H. Strogatz. Nonlinear Dynamics and Chaos: With Application to Physics, Biology, Chemistry, and Engineering. Westview Press, 2014. Strogatz (3) is easy to read and very instructive (available as an eBook from UBC Library), Kreyszig (2) is an engineering textbook (so you’ll like it, sadly not an eBook), and Edelstein-Keshet (1) does this analysis with a Math Biology context (available as an eBook from the UBC Library), which I include because I’m biased. 2 Autonomous scalar ODEs Consider the first-order ODE x0 = f (t, x). If the right-hand side, f (t, x) = f (x) does not depend on time t, the ODE is called autonomous. Example 1. The ODE x0 = sin x is autonomous, but the ODE x0 = x + t is not. ⇤ Department of Mathematics, University of British Columbia, Vancouver, Canada V6T 1Z2: zmurchok@math.ubc.ca 1 Although some of these autonomous one-dimensional ODE can be solved using separation of variables (or the solution can be at least written in terms of an integral), it is often hard to understand the qualitative behaviour of these solutions. Exercise 1. Use separation of variables to show that the solution to x0 = sin x, x(0) = x0 can be written as csc x0 + cot x0 t = ln . csc x + cot x Exercise 1 highlights this problem. Although the solution to x0 = sin x, x(0) = x0 can be found, the solution is impossible to understand. What does the graph of x(t) look like for an arbitrary initial condition? What occurs as t ! 1? To answer these questions we can use qualitative methods. 2.1 Steady-states and phase-line analysis To qualitatively analyze the behaviour, we plot the phase-portrait, that is, x0 versus x. x gives the position of a particle moving along the x-axis, with x0 the velocity of the particle. The ODE x0 = sin x, thus describes a vector field on the line. Right or left facing arrows indicate the direction of the particles motion–the velocity. Right arrows correspond to positive velocity: x0 > 0 equivalently f (x) > 0. Left arrows correspond to negative velocity: x0 < 0 equivalently f (x) < 0. Points where x0 = 0 are called steady-states. Definition 1. x⇤ is called a steady-state if dx dt x=x⇤ = f (x⇤ ) = 0. On the diagram, solid black dots represent stable steady-states as the particle moves toward them over time. Open circles represent unstable steady-states as the particle moves away from them over time. A caveat: if x(t) = x⇤ for some time t, then x0 (x⇤ ) = 0 and the solution will forever remain at the steady-state even if the steady-state is unstable. The words unstable and stable refer to eventual behaviour of trajectories near the steady-state. Example 2. Find the steady-states and determine their stability for x0 = x(1 x), x(0) = x0 . 2 The steady-states satisfy f (x⇤ ) = 0. x⇤ is a steady-state if and only if x⇤ (1 x⇤ ) = 0. We find that x⇤ = 0, 1 are the steady-states. Thus, x⇤ = 0 is unstable, and x⇤ = 1 is stable. Moreover, by looking at the shape of f (x) in the phase-portrait, we can infer the qualitative shape of solutions and sketch them in the xt-plane. 2.1.1 Exercises For each of the following ODEs, find the steady-states, sketch the phase-portrait, qualitatively determine the stability of the steady-states, and sketch sample trajectories (if possible). 1. (Terminal Velocity) 2. (Circuits) dQ dt = dv dt V0 R 3. x0 = x2 9. 4. x0 = (x 1)(x + 1)(x =g Q , RC kv, g, k 2 R. R, V0 , C 2 R. Hint: is this the same as question 1? 2). 3 5. x0 = x cos x. Hint: plot x and cos x separately since x cos x is hard to sketch. 6. x0 = x2 . Hint: does the idea of a semi-stable steady-state seem applicable here? 7. Suppose that some ODE x0 = f (x) has the following phase-portrait: Find f (x) that is consistent with this phase-portrait. 8. Find an ODE x0 = f (x) whose solutions are consistent with those trajectories sketched below. 2.2 Linear stability analysis In the previous section, we learned to qualitatively determine the behaviour of solutions to an autonomous first-order ODE. It is sometimes possible to find the stability of fixed points mathematically. For intuition on this topic, consider the following exercise. Exercise 2. For each of the phase-portraits sketched in the above exercises, can you associate the slope of f (x) at each steady-state x⇤ with the stability of that steady-state? 4 To formalize this idea, we consider the linearization about the steady-state. Let x⇤ be a steady-state of x0 = f (x), and let ⌘(t) = x(t) x⇤ be a small perturbation away from x⇤ . That is, we assume that x(t) a small distance ⌘(t) away from x⇤ . If this distance ⌘(t) shrinks, then x(t) will tend toward x⇤ . If this distance ⌘(t) grows, then x(t) will tend away from x⇤ . To determine if ⌘(t) is increasing or decreasing, we derive a di↵erential equation for ⌘(t): ⌘0 = d (x(t) dt x⇤ ) = x0 . Since x0 = f (x), ⌘ 0 = f (x). However, we can write x = ⌘ + x⇤ , so that ⌘ 0 = f (x⇤ + ⌘). Using a Taylor expansion we thus obtain ⌘ 0 = f (x⇤ ) + f 0 (x⇤ )⌘ + higher order terms involving ⌘ 2 etc. If we neglect the higher order terms and use the fact that f (x⇤ ) = 0, we find ⌘ 0 = f 0 (x⇤ )⌘. Provided f 0 (x⇤ ) 6= 0, this equation describes how the perturbation ⌘(t) grows or shrinks. If f 0 (x⇤ ) = 0, then neglecting the higher-order terms was a bad idea, and we need to do more work. Definition 2. ⌘ 0 = f 0 (x⇤ )⌘ is called the linearization about the steady-state x⇤ . Returning to the earlier intuition about the slope of the tangent line to f (x) at x⇤ , we see that the linearized system gives the same result: • If f 0 (x⇤ ) > 0 (positive slope at x⇤ ) then ⌘(t) grows exponentially, and x⇤ is unstable. • If f 0 (x⇤ ) < 0 (negative slope at x⇤ ) then ⌘(t) decays exponentially, and x⇤ is stable. Example 3. For x0 = f (x) = x(1 x), we found the steady-states to be x⇤ = 0, 1. Di↵erentiating f (x) gives f 0 (x) = 1 2x. Thus: • f 0 (0) = 1 > 0. This confirms that x⇤ = 0 is unstable. • f 0 (1) = 1 < 0. This confirms that x⇤ = 1 is stable. 5 2.2.1 Exercises Use linear stability analysis to determine the stability of steady-states to the following ODEs. If f 0 (x⇤ ) = 0 for a steady-state x⇤ , try to find the stability using a qualitative method. 1. x0 = sin x. 2. x0 = x2 9. 3. x0 = log x, with x > 0 only. 4. x0 = tan x, with x 2 ( 5. x0 = x2 (6 6. x0 = ax 3 ⇡ ⇡ , ). 2 2 x). x3 , where a < 0, a = 0, or a > 0. Check all three cases. Review of two-dimensional linear systems It would also be a good idea to look back at your notes for linear systems. Keywords: steady-state, nullcline, saddle point, centre, node, spiral, romeo and juliet. 6