Nonlinear Systems of Ordinary Differential Equations

Transcription

1 Differential Equations Massoud Malek Nonlinear Systems of Ordinary Differential Equations Dynamical System. A dynamical system has a state determined by a collection of real numbers, or more generally by a set of points in an appropriate state space. Small changes in the state of the system correspond to small changes in the numbers. The evolution rule of the dynamical system is a fied rule that describes what future states follow from the current state. The rule is deterministic: for a given time interval only one future state follows from the current state. The mathematical models used to describe the swinging of a clock pendulum, the flow of water in a pipe, or the number of fish each spring in a lake are eamples of dynamical systems. Autonomous System. An autonomous differential equation is a system of ordinary differential equations which does not depend on the independent variable. It is of the form d X(t) = F (X(t)), dt where X takes values in n-dimensional Euclidean space and t is usually time. It is distinguished from systems of differential equations of the form d X(t) = G(X(t), t), dt in which the law governing the rate of motion of a particle depends not only on the particle s location, but also on time; such systems are not autonomous. Autonomous systems are closely related to dynamical systems. Any autonomous system can be transformed into a dynamical system and, using very weak assumptions, a dynamical system can be transformed into an autonomous systems. Jacobian Matri. Consider the function F : IR n IR m, where F ( 1, 2,..., n ) = f 1 ( 1, 2,..., n ) f 2 ( 1, 2,..., n ) f m ( 1, 2,..., n ) The partial derivatives of f 1 ( 1,..., n ),..., f m ( 1,..., n ) (if they eist) can be organized in an m n matri. The Jacobian matri of F ( 1, 2,..., n ) denoted by J F f 1 1 J F ( 1,..., n ) =..... f m 1. is as follows: Its importance lies in the fact that it represents the best linear approimation to a differentiable function near a given point. f 1 n f m n.

2 Massoud Malek Nonlinear Systems of Ordinary Differential Equations Page 2 Qualitative Analysis. Very often it is almost impossible to find eplicitly or implicitly the solutions of a system (specially nonlinear ones). The qualitative approach as well as numerical one are important since they allow us to make conclusions regardless whether we know or not the solutions. Nullclines and Equilibrium Points Consider the system of first order ordinary differential equations: 1 = f 1 ( 1, 2..., n ) 2 = f 2 ( 1, 2..., n )... n = f n ( 1, 2..., n ). The j -nullcline is the set of points which satisfy f j ( 1, 2,..., n ) = 0. The intersection point of all the nullclines is called an equilibrium point or fied point of the system. The Jacobian matri with constant entries, is identified with the matri of a linear systems. Near a fied point ( 1, 2,..., n), the dynamics of the nonlinear system are qualitatively similar to the dynamics of the linear system associated with the Jacobian matri J( 1, 2,..., n), provided its eigenvalues λ js have nonzero real parts. Fied points with a Jacobian matri such that Re(λ j ) 0 are called hyperbolic fied points. Otherwise, they are non-hyperbolic fied points, whose stabilities must be determined directly. Eample 1. Consider the system: (t) = (1 ) y, y (t) = 2y(1 y2 2 ) 32 y. The -nullclines are given by (t) = (1 ) y = 0 which is equivalent to = 0 or y = + 1. The y-nullclines are given by y (t) = 2y(1 y 2 ) 3y = 0 which is equivalent to y = 0 or y 2 = 2. Eample 2. Consider the model describing two competing species: (t) = (1 y), y (t) = 2y (1 y2 32 ). The -nullclines are = 0 or y = + 1. The y-nullclines are y = 0 or y = The equilibrium points are (0, 0), (0, 2), (1, 0), and ( 1 2, 1 2 ). The components of the velocity vectors are (t) and y (t). These vectors give the direction of the motion along the trajectories. We have the four natural directions (left, right, up, and down) and the other four directions (left-down, left-up, right-down, and right-up). These directions are obtained by looking at the signs of (t) and y (t) and whether they are equal to 0. If both are zero, then we have an equilibrium point. Note that along the -nullcline the velocity vectors are vertical while along the y-nullcline the velocity vectors are horizontal. Note that as long as we are traveling along a nullcline without crossing an equilibrium point, then the direction of the velocity vector must be the same. Once we cross an equilibrium point, then we may have a change in the direction (from up to down, or right to left, and vice-versa).

3 Massoud Malek Nonlinear Systems of Ordinary Differential Equations Page 3 Nullclines - Fied Points - Velocity Vectors Eample 1. Eample 2. In order to find the direction of the velocity vectors along the nullclines, we pick a point on the nullcline and find the direction of the velocity vector at that point. The velocity vector along the segment of the nullcline delimited by equilibrium points which contains the given point will have the same direction. For eample, consider the point (1/3, 1) on the y-nullcline y = in the second eample. The velocity vector at this point is ( 1/9, 0). Therefore the velocity vector at any point on the line y = 3 + 2, with > 1/3, is horizontal and points to the left (since = 1/9 < 0). The picture below gives the nullclines and the velocity vectors along them. Velocity Vectors Remark. The point (0, 0) is a fied point of any linear system of ordinary differential equation, but a nonlinear system may have neither fied points nor nullclines. Eample 3. (t) = 2 + 1, y (t) = (y 1). No -nullcline. The y-nullcline are = 0 or y 1. No fied point. Eample 4. (t) = 2 + y 2 1, y (t) = y + 2. The -nullcline is the unit circle. The y-nullcline is the line y = + 2. The nullclines do not intersect.

4 Massoud Malek Nonlinear Systems of Ordinary Differential Equations Page 4 Nonlinear Autonomous Systems of Two Equations Most of the interesting differential equations are non-linear and, with a few eceptions, cannot be solved eactly. Approimate solutions are arrived at using computer approimations. A first order nonlinear autonomous system is: (t) = F (, y), At the site: y (t) = G(, y). they use Java to show you graphs of solutions of first order nonlinear autonomous systems of two equations. To see the graphs of the vector field and flow curves go to Here are a few eamples of second order nonlinear autonomous systems: Equation of motion of point mass in the (,y)-plane under gravitational force: tt = kr 3, y tt = kyr 3, where r = 2 + y 2. Equation of motion of a point mass in the (,y)-plane under central force: Equations of motion of a projectile: Linearization Technique tt = f(r), y tt = yf(r), where r = 2 + y 2. tt = f(y)g(v) t, y tt = f(y)g(v)y t a, where v = ( ) 2 + (y ) 2. Consider the autonomous nonlinear system (t) = F (, y), y (t) = G(, y). with (, y ) a fied point. We would like to find the closest linear system when (, y) is close to (, y ). In order to do that we need to approimate the functions F (, y) and G(, y) around the equilibrium point (, y ) by its tangent around that fied point. From multi-variable calculus, we know that when (, y) is close to (, y ), the nonlinear system may be approimated by the system d d t (t) = F (, y) F (, y ) + (, y )( ) + y (, y )(y y ) d d t y(t) = G(, y) G(, y ) + G (, y )( ) + G y (, y )(y y ). Since (, y ) is a fied point, we have F (, y ) = G(, y ) = 0. Thus d d t (t) (, y )( ) + y (, y )(y y ) d G y(t) d t (, y )( ) + G y (, y )(y y ).

5 Massoud Malek Nonlinear Systems of Ordinary Differential Equations Page 5 This is a linear system. Its coefficient matri is J = (, y ) G (, y ) y (, y ). G y (, y ) This matri is just the Jacobian matri of the system at the fied point (, y ). Thus y = (, y ) G (, y ) y (, y ). G y (, y ) y y Note. If the equilibrium point (, y ) (0, 0), then by choosing u = and v = y y, we may the system to a new system with (0, 0) as a fied point. Topological Classification Linear stability analysis works for a hyperbolic fied points. The nonlinear system s phase portrait near the fied point is topologically unchanged due to small perturbations, and its dynamics are structurally stable or robust. Poincare-Lyapunov Theorem. If the eigenvalues of the Jacobian matri evaluated at the fied point are not equal zero or are not pure imaginary numbers, then the trajectories of the system around the equilibrium point behave the same way as the trajectories of the associated linear system. 1. If the eigenvalues are negative or comple with negative real part, then the fied point is a sink (that is all the solutions will die at the equilibrium point). Note that if the eigenvalues are comple, then the solutions will spiral around the equilibrium point. 2. If the eigenvalues are positive or comple with positive real part, then the fied point is a source (this means that the solutions on the trajectories will move away from the equilibrium point). Note that if the eigenvalues are comple, then the solutions will spiral away from the fied point. 3. If the eigenvalues are real number with different sign (one positive and one negative), then the equilibrium point is a saddle point. In fact, there will be two solutions which approach the equilibrium point as t, and two more solutions which approach the equilibrium point as t. For the linear system theses solutions are lines, but for the nonlinear system they are not in general. These four solutions are called separatri. Let p = trace[j(, y )] and q = det[j(, y )], then hyperbolic fied points are classified as follows: Repellers (Sources) Unstable p > 0, q > 0 Re(λ 1 ) > 0, Re(λ 2 ) > 0 Attractors (Sinks) Stable p < 0, q > 0 Re(λ 1 ) < 0, Re(λ 2 ) < 0 Saddle Points Unstable q < 0 Re(λ 1 ) < 0, Re(λ 2 ) > 0 Linear stability analysis may fail for a non-hyperbolic fied point: Re(λ 1 ) = 0 and Re(λ 2 ) = 0 or at least one eigenvalue is zero. The classifications for the fied points of a nonlinear system are summarized in the

6 Massoud Malek Nonlinear Systems of Ordinary Differential Equations Page 6 following diagram: p Saddle points Saddle points Repellers (Sources) Attractors (Sinks) q Eample 5. Consider the nonlinear system (t) = F (, y) = 3, y (t) = G(, y) = 2y. The solution is: d 3 = dt (t) = ± (1 C 1 e 2t ) 1 ; dy y = 2 dt y(t) = C 2 e 2t. The fied points are the intersections of the nullclines y = 0 (the -ais) with = 1, = 0, and = 1. Stability at Fied Points [ ] 3 The Jacobian matri is J(, y) = with 0 2 [ ] [ ] [ ] J( 1, 0) =, J(0, 0) =, and 2 0 J(1, 0) = Note that around the fied points ( 1, 0), (0, 0), and (1, 0), the nonlinear system should behave like the linear systems: [ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ] y =, 0 2 y y =, and 0 2 y y = 0 2 y respectively. Since all the eigenvalues have nonzero real part, we conclude that all three fied points are hyperbolic. Consequently, the nonlinear system has a stable node (attractor) at (0, 0) and saddle points at ( 1, 0) and (1, 0).

7 Massoud Malek Nonlinear Systems of Ordinary Differential Equations Page 7 P hase P ortrait Eample 6. Consider the following second order nonlinear equation known as Van der Pol equation d 2 dt 2 (1 2 ) d dt + = 0. This can be translated into the following system. Set y = d. Then we have dt (t) = y, y (t) = + (1 2 )y. The -nullcline is given by d = y = 0. Hence the -nullcline is the -ais. dt The y-nullcline is given by dy Thus (, y ) = (0, 0) is the only fied point. The Jacobian matri is dt = + (1 2 )y. Hence the y-nullcline is the curve y = [ ] 0 1 J(, y) = 1 2y 1 2 with J(0, 0) = [ ] Net picture shows the graphs of the solutions (t) and y(t) for the initial value (0, 4). The linear system close to the original nonlinear system around the fied point (0, 0) is (t) = y, y (t) = + y. or ( ) = y [ ] ( ). y The eigenvalues of this system are 1 ± 3 i. Since the real part is positive, the solutions 2 of the linear system spiral away from the origin. Eample 7. Finally, consider the following problem: = y y = 9 sin y 5

8 Massoud Malek Nonlinear Systems of Ordinary Differential Equations Page 8 [ ] 0 1 with J = 9 cos 1 5 -nullcline: y = 0 y-nullclines: y = 45 sin fied points: (nπ, 0) n =, 3, 2,0, 1, 2, 3, Nullclines and F ied P oints P hase P ortrait