LECTURE 29: VECTOR FIELDS FOR SYSTEM MINGFENG ZHAO November 23, 2015 Two dimensional systems and their vector fields To draw the vector field of x0 = f1 (x1 , x2 ) 1 : x02 = f2 (x1 , x2 ) I. Plot the x1 x2 -plane. II. Select points as many as possible in the plane, say P1 , P2 , · · · , Pn . III. At each point Pi , draw a short arrow with direction (f1 (Pi ), f2 (Pi )). x0 = xy Example 1. Draw the vector field of the system y0 = x + y Remark 1. For any given initial data ~x(t0 ) = P0 , the solution ~x(t) to ~x0 = f~(~x) and ~x(t0 ) = P0 is a curve ~x(t) = (x1 (t), x2 (t) which is parametrized by t such that this curve passes through the point P0 and has tangent vector f~(~x(t)) at each point on the curve t 7→ ~x(t). This curve in the x1 x2 -plane is called a trajectory or orbit. A representative set of trajectories is referred to as a phase portrait. 1 2 MINGFENG ZHAO Notice that for the trajectories, since the trajectory is a curve in the x1 x2 plane, so if we think the trajectory locally, than x2 (or x1 ) will be a function of x1 (or x2 ), that is, x2 (t) = x2 (x1 (t)), take the derivative with respect to t, by the chain rule, we have dx2 dx2 dx1 = · . dt dx1 dt So (x1 , x2 ) will satisfy dx2 = dx1 (1) dx2 dt dx1 dt = x02 (t) f2 (x1 , x2 ) = . 0 x1 (t) f1 (x1 , x2 ) So to draw the trajectories by plotting all points (x1 (t), x2 (t)) for a certain range of t, we should solve the first order differential equation (1). Definition 1. Consider the autonomous system ~x0 = f~(~x), let ~a be a constant vector, we say that ~a is a critical point of the autonomous system ~x0 = f~(~x) if f~(~a) = 0. In this case, we say that ~x(t) ≡ ~a is an equilibrium solution to the system ~x0 = f~(~x). Example 2. For the system x0 = sin(x) . Find all critical points. y 0 = sin2 (x) + y 2 Solve sin(x) = 0 and sin2 (x) + y 2 = 0, then we get sin(x) = 0, y = 0. So we have x = kπ for k ∈ Z and y = 0. So all critical points of the system x0 = sin(x) are (kπ, 0) with y 0 = sin2 (x) + y 2 k ∈ Z. Definition 2. Let ~a be a critical point of the system ~x0 = f~(~x), that is, f~(~a) = 0. Then I. We say that the critical point ~a is stable if for any given > 0, there exists some δ > 0 such that for any solutions ~x(t) to the initial value problem ~x0 = f~(~x), ~x(0) = ~x0 with |~x0 − ~a| < δ, we have |~x(t) − ~x0 | < , for all t ≥ 0. II. We say that the critical point ~a is unstable if ~a is not stable. III. We say that the critical point ~a is asymptotically stable if ~a is stable, and there exists some δ > 0 such that for any solutions ~x(t) to the initial value problem ~x0 = f~(~x), ~x(0) = ~x0 with |~x0 − ~a| < δ, we have lim ~x(t) = ~a. t→∞ LECTURE 29: VECTOR FIELDS FOR SYSTEM 3 a In the following, let A = c b be a 2 × 2 matrix, λ1 and λ2 be two nonzero different eigenvalues of A. Notice d that det(A − λI2 ) = λ2 − (a + d)λ + (ad − bc). Since λ1 6= 0 and λ2 6= 0, then det A 6= 0, which implies that the origin (0, 0) is the only critical point to the system ~x0 = A~x. For the behaviors of solutions to ~x0 = A~x near the origin (0, 0), we have the following six cases: Eigenvalues Type of Critical Point (0,0) Stability I. λ1 , λ2 are real and both positive source unstable II. λ1 , λ2 are real and both negative sink asymptotically stable III. λ1 , λ2 are real and opposite signs saddle point unstable IV. λ1 , λ2 are complex with positive real part spiral source unstable V. λ1 , λ2 are complex with negative real part spiral sink asymptotically stable VI. λ1 , λ2 are complex with zero real part center point stable v1 Remark 2. Let λ be an eigenvalue of A and ~v = be an eigenvector corresponding to λ, then the eigenvalue v2 λt v1 v1 e method solution to ~x0 = A~x is ~x(t) = eλt~v = eλt = , that is, x1 (t) = v1 eλt and x2 (t) = v2 eλt . So in λt v2 v2 e v1 x1 = , that is, v2 x1 − v1 x2 = 0 which is a straight line and passing (0, 0) in the x1 x2 -plane. the x1 x2 -plane, we have x2 v2 Now let’s look at each case separately. I. Both eigenvalues λ1 and λ2 are real and positive, then the vector field of ~x0 = A~x is like a source with arrows coming out from the origin, we say the critical point (0, 0) is a source and unstable. 1 1 Example 3. Let A = , then it’s easy to know that λ1 = 1 and λ2 = 2 are two eigenvalues of A, and 0 2 1 1 ~v1 = and ~v2 = are eigenvectors corresponding to λ1 = 1 and λ2 = 2, respectively. So the general 1 0 solution to ~x0 = A~x is: 1 1 2t ~x(t) = C1 et + C2 e . 0 1 4 MINGFENG ZHAO Figure 1. Example source vector field with eigenvectors and solutions II. Both eigenvalues λ1 and λ2 are real and negative, then the vector field of ~x0 = A~x is like a sink with arrows pointing to the origin, we say the critical point (0, 0) is a sinkand asymptotically stable. −1 Example 4. Let A = 0 1 A, and ~v1 = and ~v2 = 0 −1 , then it’s easy to know that λ1 = −1 and λ2 = −2 are two eigenvalues of −2 1 are eigenvectors corresponding to λ1 = −1 and λ2 = −2, respectively. So 1 the general solution to ~x0 = A~x is: 1 1 ~x(t) = C1 e−t + C2 e−2t . 1 0 Figure 2. Example sink vector field with eigenvectors and solutions LECTURE 29: VECTOR FIELDS FOR SYSTEM 5 III. Both eigenvalues λ1 and λ2 are real, one is positive, and the other is negative, then we reverse the arrows on the line corresponding to the negative eigenvalue, we say the critical point (0, 0) is a saddle point and unstable 1 1 Example 5. Let A = , then it’s easy to know that λ1 = 1 and λ2 = −2 are two eigenvalues of A, 0 −2 1 1 and ~v1 = are eigenvectors corresponding to λ1 = 1 and λ2 = −2, respectively. So the and ~v2 = −3 0 general solution to ~x0 = A~x is: 1 1 −2t ~x(t) = C1 et . + C2 e −3 0 Figure 3. Example saddle vector field with eigenvectors and solutions Problems you can do: Lebl’s Book [2]: All Exercises on Page 114. Braun’s Book [1]: All exercises on Page 383, Page 384 and Page 385. Read all materials in Section 4.2. References [1] Martin Braun. Differential Equations and Their Applications: An Introduction to Applied Mathematics. Springer, 1992. [2] Jiri Lebl. Notes on Diffy Qs: Differential Equations for Engineers. Createspace, 2014. Department of Mathematics, The University of British Columbia, Room 121, 1984 Mathematics Road, Vancouver, B.C. Canada V6T 1Z2 E-mail address: mingfeng@math.ubc.ca