ODE-Project Solving Systems Analytically

Section 2.4 Solving Systems Analytically

Objectives

To understand that a system of the form

$\begin{aligned} \frac{d x}{d t} & = f (x) \\ \frac{d y}{d t} & = g (y) \end{aligned}$

is decoupled and can be solved by solving each equation independently.
To understand that a system of the form

$\begin{aligned} \frac{d x}{d t} & = f (x), \\ \frac{d y}{d t} & = g (x, y) \end{aligned}$

is partially coupled system and can be solved by first solving the first equation and then substituting the solution into the second equation, which can then be solved.
To be able to use Sage to solve systems of the form

$\begin{aligned} x^{'} & = a x + b y \\ y^{'} & = c x + d y . \end{aligned}$

Mixing problems model how substances flow back and forth between two or more compartments. These problems often arise in applications—for example, we might want to model how greenhouse gases flow back and forth between different layers of the earth’s atomosphere[17], how chemicals move between tanks in a refinery or a brewery, or how pollutants move between a series of lakes or ponds. Systems of differential equations can prove very useful when it comes to modeling such situations.

🔗

Subsection 2.4.1 Partially Coupled Systems

We will use linear systems of differential equations such as

🔗

\begin{aligned} \frac{d x}{d t} & = a x + b y \\ \frac{d y}{d t} & = c x + d y \end{aligned}

to illustrate how we can use systems of differential equations to model how substances flow back and forth between two or more compartments. Suppose that we have two tanks (

A

and

B

) between which a mixture of brine flows (Figure 2.4.1). Tank

A

contains 300 liters of water in which 100 kilograms of salt has been dissolved and Tank

B

contains 300 liters of pure water. Fresh water is pumped into Tank

A

at the rate of 500 liters per hour, and brine is pumped into Tank

B

from Tank

A

at the rate of 500 liters per hour. Brine is also drained at a rate 500 liters of brine per hour from Tank

B .

All brine mixtures are well-stirred. If we let

x = x (t)

be the amount of salt in Tank

A

at time

t

and

y = y (t)

be the amount of salt in Tank

B

at time

t,

then we know that

🔗

\begin{aligned} x (0) & = 100 \\ y (0) & = 0 \end{aligned}

We know that the salt concentrations in the two tanks are

x / 300

kilograms per liter and

y / 300

kilograms per liter. Thus, we can describe the rate of change in each tank with a differential equation,

🔗

\begin{aligned} \frac{d x}{d t} & = - 500 \cdot \frac{x}{300} = - \frac{5}{3} x, \\ \frac{d y}{d t} & = 500 \cdot \frac{x}{300} - 500 \cdot \frac{y}{300} = \frac{5}{3} x - \frac{5}{3} y . \end{aligned}

🔗

Figure 2.4.1. Mixing example with two tanks
🔗

We can now ask how we might solve the system of equations

🔗

\begin{aligned} \frac{d x}{d t} & = - \frac{5}{3} x, \\ \frac{d y}{d t} & = \frac{5}{3} x - \frac{5}{3} y . \end{aligned}

The task of solving the system

🔗

\begin{aligned} \frac{d x}{d t} & = f (x, y), \\ \frac{d y}{d t} & = g (x, y), \end{aligned}

may be quite difficult or even impossible. However, we can find solutions in certain cases. For example, if we have a system of the form

🔗

\begin{aligned} \frac{d x}{d t} & = f (x), \\ \frac{d y}{d t} & = g (y), \end{aligned}

then each equation is an autonomous first-order equation. To solve our system, we only need to solve two first-order equations. Such a system is said to be decoupled. Generalizing slightly, we say that a partially coupled system is a system of the form

🔗

\begin{aligned} \frac{d x}{d t} & = f (x), \\ \frac{d y}{d t} & = g (x, y) . \end{aligned}

Since the first equation is an autonomous first-order equation in

x,

we can solve this equation separately, and substitute our solution into the second equation.

🔗

Consider the system

🔗

\begin{aligned} \frac{d x}{d t} & = x \\ \frac{d y}{d t} & = x + y . \end{aligned}

We can easily solve the first equation,

d x / d t = x,

to obtain

x = a e^{t} .

Using this information in the second equation, we have

🔗

\frac{d y}{d t} - y = a e^{t}

which is a first-order linear equation. This equation has an integrating factor

μ (t) = e^{- t},

and

🔗

\frac{d}{d t} (e^{- t} y) = μ (t) (\frac{d y}{d t} - y) = a e^{t} μ (t) = a .

Therefore, the solution to our second equation is

🔗

y (t) = a t e^{t} + b e^{t} .

🔗

Revisiting the mixing problem that we posed at the beginning of this section, we have the following initial value problem,

🔗

\begin{aligned} \frac{d x}{d t} & = - \frac{5}{3} x, \\ \frac{d y}{d t} & = \frac{5}{3} x - \frac{5}{3} y . \\ x (0) & = 100, \\ y (0) & = 0. \end{aligned}

Solving

d x / d t = - (5 / 3) x

is easy. We can quickly determine that

x (t) = c_{1} e^{- 5 t / 3} .

Applying the initial condition

x (0) = 100,

we can determine that

c_{1} = 100

and

x (t) = 100 e^{- 5 t / 3} .

Our second equation now becomes

🔗

\frac{d y}{d t} = \frac{5}{3} x - \frac{5}{3} y = \frac{500}{3} e^{- 5 t / 3} - \frac{5}{3} y .

This last equation is a first-order linear equation

🔗

\frac{d y}{d t} + \frac{5}{3} y = \frac{500}{3} e^{- 5 t / 3} .

Multiplying both sides of this last equation by the integrating factor

μ (t) = e^{5 t / 3}

yields

🔗

\frac{d}{d t} (e^{5 t / 3} y) = e^{5 t / 3} \frac{d y}{d t} + e^{5 t / 3} \frac{5}{3} y = \frac{500}{3} .

Integrating both sides of this last equation gives us

🔗

e^{5 t / 3} y = \frac{500}{3} t + c_{2} .

Using our initial condition

y (0) = 0,

we can determine that

c_{2} = 0 .

Thus,

🔗

y = \frac{500}{3} t e^{- 5 t / 3}

🔗

Example 2.4.2.

Consider the partially coupled system

🔗

\begin{aligned} x^{'} & = 2 x \\ y^{'} & = x + 3 y \end{aligned}

Notice that we already have the tools to solve

x^{'} = 2 x .

In fact, the solution is

x (t) = c_{1} e^{2 t} .

We can use this information to solve the second equation,

y^{'} = x + 3 y .

That is, if we use the fact that

x (t) = c_{1} e^{2 t},

the second equation becomes

🔗

y^{'} = c_{1} e^{2 t} + 3 y .

We can rewrite this equation as

🔗

y^{'} - 3 y = c_{1} e^{2 t},

which is a first-order linear equation. If we multiply both sides of the equation by

μ (t) = e^{- 3 t},

we have

🔗

\frac{d}{d t} (e^{- 3 t} y) = e^{- 3 t} y^{'} - 3 e^{- 3 t} y = c_{1} e^{- t} .

Integrating, we have

🔗

e^{- 3 t} y = - c_{1} e^{- t} + c_{2} .

Solving for

y,

yields

y = - c_{1} e^{2 t} + c_{2} e^{3 t} .

Thus the solution to our system is

🔗

\begin{aligned} x & = c_{1} e^{2 t} \\ y & = - c_{1} e^{2 t} + c_{2} e^{3 t} . \end{aligned}

🔗

Activity 2.4.1. Solving Partially Coupled Systems.

Solve each of the following systems of differential equations.

🔗

(a)

\begin{aligned} x^{'} & = - x \\ y^{'} & = x - 3 y \end{aligned}

🔗

(b)

\begin{aligned} x^{'} & = - x - y \\ y^{'} & = - 3 y \end{aligned}

🔗

(c)

\begin{aligned} x^{'} & = 2 x \\ y^{'} & = 3 x + 2 y \end{aligned}

🔗

(d)

\begin{aligned} x^{'} & = 3 x + 4 y \\ y^{'} & = - 2 y \end{aligned}

🔗

Subsection 2.4.2 Using Sage to Solve Linear Systems

Solving linear systems such as

🔗

\begin{aligned} x^{'} & = a x + b y \\ y^{'} & = c x + d y \end{aligned}

is much more difficult, since we cannot use the same strategies that we used to solve partially-coupled systems. We will devote all of Chapter 3 to finding an answer. However, we can use Sage to solve linear systems for the moment. The following is a Sage interact that will solve the initial value problem

🔗

\begin{aligned} x^{'} & = 3 x - 2 y \\ y^{'} & = x + y \\ x (0) & = 1 \\ y (0) & = 1; \end{aligned}

however, we can change the coefficients and initial values to be anything that we like.

🔗

Figure 2.4.3. A Sage applet for solving linear systems

🔗

Subsection 2.4.3 Harmonic Oscillators

The equation

🔗

\frac{d^{2} x}{d t^{2}} + 3 \frac{d x}{d t} + 2 x = 0

is a specific case of a damped harmonic oscillator, where

m = 1,

the spring constant is 2, and the damping constant is 3. We can rewrite this equation as a first-order linear system,

🔗

\begin{aligned} \frac{d x}{d t} & = v, \\ \frac{d v}{d t} & = - 2 x - 3 v . \end{aligned}

Suppose that

x (0) = 0

is the initial position of the mass and

v (0) = 1

is the initial velocity. We can use Sage to verify that the solution to our system is

🔗

\begin{aligned} x (t) & = e^{- t} - e^{- 2 t}, \\ v (t) & = - e^{- t} + 2 e^{- 2 t} . \end{aligned}

This is an example of an over-damped harmonic oscillator (Figure 2.4.4). In other words, a spring-mass system that is modeled by this system of equations has so much damping that the mass will not oscillate.

🔗

xxxxxxxxxx
 
t = var('t')
x = function('x')(t)
v = function('v')(t)
t_start = 0
x_start = 0
v_start =  1
de1 = diff(x,t) == v
de2 = diff(v,t) == -2*x - 3*v
sol = desolve_system([de1, de2], [x,v], ics=[t_start, x_start, v_start])
sol[0].show()
sol[1].show()

Figure 2.4.4. An over-damped harmonic oscillator
🔗

Now let us relax the damping and increase the spring constant on our harmonic oscillator,

🔗

\frac{d^{2} x}{d t^{2}} + 2 \frac{d x}{d t} + 10 x = 0.

The corresponding linear system is

🔗

\begin{aligned} \frac{d x}{d t} & = v, \\ \frac{d v}{d t} & = - 10 x - 2 v \\ x (0) & = 0 \\ v (0) & = 1. \end{aligned}

Notice that our initial conditions have not changed. We again use Sage to solve our system.

🔗

xxxxxxxxxx
 
t = var('t')
x = function('x')(t)
v = function('v')(t)
t_start = 0
x_start = 0
v_start =  1
de1 = diff(x,t) == v
de2 = diff(v,t) == -10*x - 2*v
sol = desolve_system([de1, de2], [x,v], ics=[t_start, x_start, v_start])
sol[0].show()
sol[1].show()

The solution to our system is

🔗

\begin{aligned} x (t) & = \frac{1}{3} e^{- t} \sin 3 t, \\ v (t) & = e^{- t} \cos 3 t - \frac{1}{3} e^{- t} \sin 3 t . \end{aligned}

Notice that the system oscillates due to the sine and cosine terms in the solution. This system is underdamped (Figure 2.4.5).

🔗

Figure 2.4.5. An under-damped harmonic oscillator
🔗

🔗

Subsection 2.4.4 Important Lessons

A system of the form

$\begin{aligned} \frac{d x}{d t} & = f (x) \\ \frac{d y}{d t} & = g (y) \end{aligned}$

is said to be decoupled. Such a system can be solved by solving each equation independently.
A system of the form

$\begin{aligned} \frac{d x}{d t} & = f (x), \\ \frac{d y}{d t} & = g (x, y) \end{aligned}$

is a partially coupled system. Since the first equation is an autonomous first-order equation in $x,$ we can solve this equation separately, and substitute our solution into the second equation.
We can use Sage to solve systems of the form

$\begin{aligned} x^{'} & = a x + b y \\ y^{'} & = c x + d y . \end{aligned}$
Sage is useful for investigating the behavior of harmonic oscillators.

🔗

Reading Questions 2.4.5 Reading Questions

1.

Explain what a partially coupled system is?

🔗

2.

Why would you expect that it is impossible to find explicit solutions for most systems of differential equations?

🔗

Exercises 2.4.6 Exercises

Partially Coupled Systems.

Solve each of the partially coupled systems in Exercise Group 2.4.6.1–4.

🔗

1.

\begin{aligned} x^{'} & = 2 x \\ y^{'} & = x + 2 y \end{aligned}

🔗

2.

\begin{aligned} x^{'} & = - x + 3 y \\ y^{'} & = - 2 y \end{aligned}

🔗

3.

\begin{aligned} x^{'} & = - 3 x \\ y^{'} & = 2 x + 3 y \end{aligned}

🔗

4.

\begin{aligned} x^{'} & = 2 x - 3 y \\ y^{'} & = 4 y \end{aligned}

🔗

5.

Suppose that we have two tanks (

A

and

B

) between which a mixture of brine flows. Tank

A

contains 200 liters of water in which 20 kilograms of salt has been dissolved and Tank

B

contains 200 liters of water in which 10 kilograms of salt has been dissolved. Fresh water is pumped into Tank

A

at the rate of 200 liters per hour, and brine is pumped into Tank

B

from Tank

A

at the rate of 200 liters per hour. Brine is also drained at a rate 200 liters of brine per hour from Tank

B .

All brine mixtures are well-stirred. Find the amount of salt in each tank at time

t .

🔗

6.

For each of the following harmonic oscillators (1) rewrite the second-order initial value problem as a system of two first-order linear equations, (2) use Sage to solve the system of linear equations, and (3) classify the harmonic oscillator as underdamped, critically damped, or overdamped.

🔗

$\begin{aligned} y^{″} + 7 y^{'} + 6 y & = 0 \\ y (0) & = 1 \\ y^{'} (0) & = 0 \end{aligned}$
$\begin{aligned} y^{″} + 4 y^{'} + 5 y & = 0 \\ y (0) & = 1 \\ y^{'} (0) & = 0 \end{aligned}$
$\begin{aligned} y^{″} + 6 y^{'} + 9 y & = 0 \\ y (0) & = 1 \\ y^{'} (0) & = 0 \end{aligned}$

🔗

Prev Top Next