Introduction to systems of ODEs

advertisement
LECTURE 23: SYSTEMS OF ODES
MINGFENG ZHAO
October 29, 2014
Introduction to systems of ODEs
In this course, we only study the systems of the first order differential equations which has the form:

 x0 (t) = f1 (t, x1 , x2 )
1
 x0 (x) = f (t, x , x ).
2
2
1
2
A second order differential equation can be viewed as a system of the first order differential equations, e.g., x00 =
f (t, x, x0 ). Let x1 (t) = x(t) and x2 (t) = x0 (t), then

 x0 (t) = x0 (t) = x2
1
 x0 (t) = x00 (t) = f (t, x, x0 ) = f (t, x , x ).
1
2
2
Remark 1. In general, an n-th order differential equation can be transformed into a first order system with n unknown
functions.
In the Chapter 3, we only study the linear system in the following form:

 x0 = ax1 + bx2 + f1 (t)
1
 x0 = cx + dx + f (t)
1
2
2
2

Let ~x(t) = 
x1 (t)
x2 (t)

,

A=
a
b
c
d

,

and f~(t) = 
f1 (t)

, then we have
f2 (t)
~x0 = A~x + f~(t) .
The matrix A is called the coefficient matrix of the system, and f~(t) is called the non-homogeneous term of the
system. If f~(t) ≡ 0, we say ~x0 = A~x is homogeneous.
1
2
MINGFENG ZHAO

Let A = 
a
b
c
d

, then

det A = ad − bc,
A−1 =
and
−b
d
1

ad − bc −c

 , if ad − bc 6= 0.
a
Theorem 1. Let ~x0 = A~x + f~(t) be a linear system of ODEs, and ~xp (t) be a particular solution to ~x0 = A~x + f~(t), then
the general solution to ~x0 = A~x + f~(t) has the form of:
~x(t) = ~xc (t) + ~xp (t),
where ~xc (t) is any solution to the homogeneous system ~x0 = A~x.
Homogeneous system
Question 1. How can we solve ~x0 = A~x?
Theorem 2 (Superposition). Let ~y and ~z be two solutions to ~x0 = A~x, then w
~ = C1 ~y +C2 ~z is also a solution to ~x0 = A~x.
Definition 1. Let ~x1 (t), ~xn (t) be n many vector functions, we say that ~x1 (t), ~xn (t) are linearly dependent if there exist
some constants c1 , · · · , cn such that not all ci ’s are zero, and
c1 ~x1 (t) + · · · + c2 ~x2 (t) = 0.
If ~x1 (t), · · · , ~xn (t) are not linearly dependent, then we say they are linearly independent.

Example 1. Let ~x1 (t) = 
t2


, ~x2 (t) = 
t

0

, and ~x3 (t) = 
−t2
1+t

, then it’s easy to see that ~x1 (t) =
1
~x2 (t) − ~x3 (t), that is, ~x1 (t), ~x2 (t), ~x3 (t) are linearly dependent .
General Approach: Let C1 , C2 and C3 be such that
C1 ~x1 (t) + C2 ~x2 (t) + C3 ~x3 (t) = 0.
That is,

C1 
t2
t


 + C2 
0
1+t


 + C3 
−t2
1


=
0
0

.
LECTURE 23: SYSTEMS OF ODES
3
So we get


C1 t2 − C3 t2

=

C1 t + C2 (1 + t) + C3
0

.
0
Then
C1 t2 − C3 t2 = 0,
and C1 t + C2 (1 + t) + C3 = 0.
So we get
C1 = C3 ,
C1 + C2 = 0,
and C2 + C3 = 0.
Then
C1 = C3 = −C2 .
If we take C1 = 1, then C2 = −1 and C3 = 1, that is, ~x1 (t) − ~x2 (t) + ~x3 (t) = 0, which implies that
~x1 (t), ~x2 (t), ~x3 (t) are linearly dependent .

Example 2. Let ~x1 (t) = 
1
1


 et , and ~x2 (t) = 
1
−1

 et , it’s easy to see that we can not find a constant C such that
~x1 (t) = C~x2 (t) or ~x2 (t) = C~x1 (t), that is, ~x1 (t), ~x2 (t) are linearly independent .
Eigenvalue method for the general homogeneous system
Theorem 3. Let ~y (t) and ~z(t) be two linearly independent solutions to ~x0 = A~x, then the general solution to ~x0 = A~x is
~x(t) = C1 ~y (t) + C2 ~z(t).
Definition 2. Let A be a 2 × 2 matrix, suppose that there is a scalar λ and a nonzero vector ~v such that
A~v = λ~v ,
in this case, λ is called an eigenvalue of A, and ~v is called an eigenvector corresponding to λ.

Theorem 4. Let A be a 2 × 2 matrix, λ is an eigenvalue of A if and only if det (λI2 − A) = 0, where I2 = 
1
0
0
1

.
4
MINGFENG ZHAO

Remark 2. Notice that if A = 
a
b
c
d

, then

det (λI2 − A)
=
det 
λ−a
−c
−b
λ−d


=
(λ − a)(λ − d) − c
=
λ2 − (a + d)λ + ad − bc.
Theorem 5. Let λ be an eigenvalue of A and ~v be an eigenvector corresponding to λ, then ~x(t) = eλt~v is a solution to
~x0 = A~x.
Proof. In fact, we have
~x0 (t) = λeλt~v = eλt A~v = A(eλt~v ) = A~x(t).
Remark 3. For eigenvalues λ of a 2 × 2 marix A, we have three cases:
I. A has two different real roots λ1 and λ2 , in this case, eigenvectors ~v 1 and ~v 2 are real.
II. A has the same real root λ, in this case, eigenvector ~v is real.
III. A hs two different complex roots λ1 and λ2 , in this case, eigenvectors ~v 1 and ~v 2 are complex.
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
Download