Note: 1 to 1.5 lectures, §4.1 in [EP], §7.1 in [BD]

Subsection3.1.1Systems

Often we do not have just one dependent variable and one equation. And as we will see, we may end up with systems of several equations and several dependent variables even if we start with a single equation.

If we have several dependent variables, suppose \(y_1\text{,}\)\(y_2\text{,}\) ..., \(y_n\text{,}\) then we can have a differential equation involving all of them and their derivatives with respect to one independent variable \(x\text{.}\) For example, \(y_1'' = f(y_1',y_2',y_1,y_2,x)\text{.}\) Usually, when we have two dependent variables we have two equations such as

for some functions \(f_1\) and \(f_2\text{.}\) We call the above a system of differential equations. More precisely, the above is a second order system of ODEs as second order derivatives appear. The system

is a first order system, where \(x_1,x_2,x_3\) are the dependent variables, and \(t\) is the independent variable.

The terminology for systems is essentially the same as for single equations. For the system above, a solution is a set of three functions \(x_1(t)\text{,}\)\(x_2(t)\text{,}\)\(x_3(t)\text{,}\) such that

We usually also have an initial condition. Just like for single equations, we specify \(x_1\text{,}\)\(x_2\text{,}\) and \(x_3\) for some fixed \(t\text{.}\) For example, \(x_1(0) = a_1\text{,}\)\(x_2(0) = a_2\text{,}\)\(x_3(0) = a_3\text{,}\) where \(a_1\text{,}\)\(a_2\text{,}\) and \(a_3\) are some constants. For the second order system, we would also specify the first derivatives at a point. If we find a solution with some arbitrary constants in it, where by solving for the constants we find a solution for any initial condition, we call this solution the general solution. Best to look at a simple example.

Example3.1.1.

Sometimes a system is easy to solve by solving for one variable and then for the second variable. Take the first order system

with \(y_1\text{,}\)\(y_2\) as the dependent variables and \(x\) as the independent variable. And consider initial conditions \(y_1(0) = 1\text{,}\)\(y_2(0) = 2\text{.}\)

We note that \(y_1 = C_1 e^x\) is the general solution of the first equation. We then plug this \(y_1\) into the second equation and get the equation \(y_2' = C_1e^x - y_2\text{,}\) which is a linear first order equation that is easily solved for \(y_2\text{.}\) By the method of integrating factor we get

We solve for \(C_1\) and \(C_2\) given the initial conditions. We substitute \(x=0\) and find that \(C_1=1\) and \(C_2=\nicefrac{3}{2}\text{.}\) Thus the solution is \(y_1 = e^x\text{,}\) and \(y_2 = (\nicefrac{1}{2}) e^x + (\nicefrac{3}{2}) e^{-x}\text{.}\)

Generally, we will not be so lucky to be able to solve for each variable separately as in the example above, and we will have to solve for all variables at once. While we won’t generally be able to solve for one variable and then the next, we will try to salvage as much as possible from this technique. It will turn out that in a certain sense we will still (try to) solve a bunch of single equations and put their solutions together. Let us not worry right now about how to solve systems yet.

We will mostly consider the linear systems. The example above is a so-called linear first order system. It is linear as none of the dependent variables or their derivatives appear in nonlinear functions or with powers higher than one (\(x\text{,}\)\(y\text{,}\)\(x'\) and \(y'\text{,}\) constants, and functions of \(t\) can appear, but not \(xy\) or \({(y')}^2\) or \(x^3\)). Another, more complicated, example of a linear system is

Let us consider some simple applications of systems and how to set up the equations.

Example3.1.2.

First, we consider salt and brine tanks, but this time water flows from one to the other and back. We again consider that the tanks are evenly mixed.

Suppose we have two tanks, each containing volume \(V\) liters of salt brine. The amount of salt in the first tank is \(x_1\) grams, and the amount of salt in the second tank is \(x_2\) grams. The liquid is perfectly mixed and flows at the rate \(r\) liters per second out of each tank into the other. See Figure 3.1.

The rate of change of \(x_1\text{,}\) that is \(x_1'\text{,}\) is the rate of salt coming in minus the rate going out. The rate coming in is the density of the salt in tank 2, that is \(\frac{x_2}{V}\text{,}\) times the rate \(r\text{.}\) The rate coming out is the density of the salt in tank 1, that is \(\frac{x_1}{V}\text{,}\) times the rate \(r\text{.}\) In other words it is

\begin{equation*}
x_1' = \frac{x_2}{V} r - \frac{x_1}{V} r =
\frac{r}{V} x_2 - \frac{r}{V} x_1 = \frac{r}{V} (x_2-x_1).
\end{equation*}

Similarly we find the rate \(x_2'\text{,}\) where the roles of \(x_1\) and \(x_2\) are reversed. All in all, the system of ODEs for this problem is

In this system we cannot solve for \(x_1\) or \(x_2\) separately. We must solve for both \(x_1\) and \(x_2\) at once, which is intuitively clear since the amount of salt in one tank affects the amount in the other. We can’t know \(x_1\) before we know \(x_2\text{,}\) and vice versa.

We do not yet know how to find all the solutions, but intuitively we can at least find some solutions. Suppose we know that initially the tanks have the same amount of salt. That is, we have an initial condition such as \(x_1(0)=x_2(0) = C\text{.}\) Then clearly the amount of salt coming and out of each tank is the same, so the amounts are not changing. In other words, \(x_1 = C\) and \(x_2 = C\) (the constant functions) is a solution: \(x_1' = x_2' = 0\text{,}\) and \(x_2-x_1 = x_1-x_2 = 0\text{,}\) so the equations are satisfied.

Let us think about the setup a little bit more without solving it. Suppose the initial conditions are \(x_1(0) = A\) and \(x_2(0) = B\text{,}\) for two different constants \(A\) and \(B\text{.}\) Since no salt is coming in or out of this closed system, the total amount of salt is constant. That is, \(x_1+x_2\) is constant, and so it equals \(A+B\text{.}\) Intuitively if \(A\) is bigger than \(B\text{,}\) then more salt will flow out of tank one than into it. Eventually, after a long time we would then expect the amount of salt in each tank to equalize. In other words, the solutions of both \(x_1\) and \(x_2\) should tend towards \(\frac{A+B}{2}\text{.}\) Once you know how to solve systems you will find out that this really is so.

Example3.1.3.

Let us look at a second order example. We return to the mass and spring setup, but this time we consider two masses.

Consider one spring with constant \(k\) and two masses \(m_1\) and \(m_2\text{.}\) Think of the masses as carts that ride along a straight track with no friction. Let \(x_1\) be the displacement of the first cart and \(x_2\) be the displacement of the second cart. That is, we put the two carts somewhere with no tension on the spring, and we mark the position of the first and second cart and call those the zero positions. Then \(x_1\) measures how far the first cart is from its zero position, and \(x_2\) measures how far the second cart is from its zero position. The force exerted by the spring on the first cart is \(k(x_2-x_1)\text{,}\) since \(x_2-x_1\) is how far the string is stretched (or compressed) from the rest position. The force exerted on the second cart is the opposite, thus the same thing with a negative sign. Newton’s second law states that force equals mass times acceleration. So the system of equations is

Again, we cannot solve for the \(x_1\) or \(x_2\) variable separately. That we must solve for both \(x_1\) and \(x_2\) at once is intuitively clear, since where the first cart goes depends on exactly where the second cart goes and vice versa.

Subsection3.1.3Changing to first order

Before we talk about how to handle systems, let us note that in some sense we need only consider first order systems. Let us take an \(n^{\text{th}}\) order differential equation

We solve this system for \(u_1\text{,}\)\(u_2\text{,}\) ..., \(u_n\text{.}\) Once we have solved for the \(u\text{,}\) we can discard \(u_2\) through \(u_n\) and let \(y = u_1\text{.}\) This \(y\) solves the original equation.

Example3.1.4.

Take \(x''' = 2x''+ 8x' + x + t\text{.}\) Letting \(u_1 = x\text{,}\)\(u_2 = x'\text{,}\)\(u_3
= x''\text{,}\) we find the system:

A similar process can be followed for a system of higher order differential equations. For example, a system of \(k\) differential equations in \(k\) unknowns, all of order \(n\text{,}\) can be transformed into a first order system of \(n \times k\) equations and \(n \times k\) unknowns.

where the independent variable is \(t\text{.}\) We wish to solve for the initial conditions \(x(0) = 1\text{,}\)\(y(0) =0\text{.}\)

If we differentiate the second equation, we get \(y''=x'\text{.}\) We know what \(x'\) is in terms of \(x\) and \(y\text{,}\) and we know that \(x=y'\text{.}\) So,

We now have the equation \(y''+y'-2y = 0\text{.}\) We know how to solve this equation and we find that \(y = C_1 e^{-2t} + C_2 e^t\text{.}\) Once we have \(y\text{,}\) we use the equation \(y' = x\) to get \(x\text{.}\)

We solve for the initial conditions \(1 = x(0) = -2 C_1 + C_2\) and \(0 = y(0) = C_1 + C_2\text{.}\) Hence, \(C_1 = -C_2\) and \(1 = 3C_2\text{.}\) So \(C_1 = \nicefrac{-1}{3}\) and \(C_2 = \nicefrac{1}{3}\text{.}\) Our solution is

\begin{equation*}
x = \frac{2e^{-2t} + e^t}{3} ,\qquad
y = \frac{-e^{-2t} + e^t}{3} .
\end{equation*}

Exercise3.1.1.

Plug in and check that this really is the solution.

It is useful to go back and forth between systems and higher order equations for other reasons. For example, software for solving ODE numerically (approximation) is generally for first order systems. To use it, you take whatever ODE you want to solve and convert it to a first order system. It is not very hard to adapt computer code for the Euler or Runge–Kutta method for first order equations to handle first order systems. We simply treat the dependent variable not as a number but as a vector. In many mathematical computer languages there is almost no distinction in syntax.

Subsection3.1.4Autonomous systems and vector fields

A system where the equations do not depend on the independent variable is called an autonomous system. For example the system \(y'=2y-x\text{,}\)\(y'=x\) is autonomous as \(t\) is the independent variable but does not appear in the equations.

For autonomous systems we can draw the so-called direction field or vector field, a plot similar to a slope field, but instead of giving a slope at each point, we give a direction (and a magnitude). The previous example, \(x' = 2y-x\text{,}\)\(y' = x\text{,}\) says that at the point \((x,y)\) the direction in which we should travel to satisfy the equations should be the direction of the vector \(( 2y-x, x )\) with the speed equal to the magnitude of this vector. So we draw the vector \((2y-x,x)\) at the point \((x,y)\) and we do this for many points on the \(xy\)-plane. For example, at the point \((1,2)\) we draw the vector \(\bigl(2(2)-1,1\bigr) = (3,1)\text{,}\) a vector pointing to the right and a little bit up, while at the point \((2,1)\) we draw the vector \(\bigl(2(1)-2,2\bigr) = (0,2)\) a vector that points straight up. When drawing the vectors, we will scale down their size to fit many of them on the same direction field. If we drew the arrows at the actual size, the diagram would be a jumbled mess once you would draw more than a couple of arrows. So we scale them all so that not even the longest one interferes with the others. We are mostly interested in their direction and relative size. See Figure 3.2.

We can draw a path of the solution in the plane. Suppose the solution is given by \(x = f(t)\text{,}\)\(y=g(t)\text{.}\) We pick an interval of \(t\) (say \(0 \leq t \leq 2\) for our example) and plot all the points \(\bigl(f(t),g(t)\bigr)\) for \(t\) in the selected range. The resulting picture is called the phase portrait (or phase plane portrait). The particular curve obtained is called the trajectory or solution curve. See an example plot in Figure 3.3. In the figure the solution starts at \((1,0)\) and travels along the vector field for a distance of 2 units of \(t\text{.}\) We solved this system precisely, so we compute \(x(2)\) and \(y(2)\) to find \(x(2) \approx 2.475\) and \(y(2) \approx 2.457\text{.}\) This point corresponds to the top right end of the plotted solution curve in the figure.

Notice the similarity to the diagrams we drew for autonomous systems in one dimension. But note how much more complicated things become when we allow just one extra dimension.

We can draw phase portraits and trajectories in the \(xy\)-plane even if the system is not autonomous. In this case, however, we cannot draw the direction field, since the field changes as \(t\) changes. For each \(t\) we would get a different direction field.

Subsection3.1.5Picard’s theorem

Perhaps before going further, let us mention that Picard’s theorem on existence and uniqueness still holds for systems of ODE. Let us restate this theorem in the setting of systems. A general first order system is of the form

Theorem3.1.1.Picard’s theorem on existence and uniqueness for systems.

If for every \(j=1,2,\ldots,n\) and every \(k = 1,2,\ldots,n\) each \(F_j\) is continuous and the derivative \(\frac{\partial F_j}{\partial x_k}\) exists and is continuous near some \((x_1^0,x_2^0,\ldots,x_n^0,t^0)\text{,}\) then a solution to (3.1) subject to the initial condition \(x_1(t^0) = x_1^0\text{,}\)\(x_2(t^0) = x_2^0\text{,}\) ..., \(x_n(t^0) = x_n^0\) exists (at least for \(t\) in some small interval) and is unique.

That is, a unique solution exists for any initial condition given that the system is reasonable (\(F_j\) and its partial derivatives in the \(x\) variables are continuous). As for single equations we may not have a solution for all time \(t\text{,}\) but at least for some short period of time.

As we can change any \(n\)th order ODE into a first order system, then we notice that this theorem provides also the existence and uniqueness of solutions for higher order equations that we have until now not stated explicitly.

Exercises3.1.6Exercises

3.1.2.

Find the general solution of \(x_1' = x_2 - x_1 + t\text{,}\)\(x_2' = x_2\text{.}\)

3.1.3.

Find the general solution of \(x_1' = 3 x_1 - x_2 + e^t\text{,}\)\(x_2' = x_1\text{.}\)

3.1.4.

Write \(ay'' + by' + cy = f(x)\) as a first order system of ODEs.

3.1.5.

Write \(x'' + y^2 y' - x^3 = \sin(t)\text{,}\)\(y'' + {(x'+y')}^2 -x = 0\) as a first order system of ODEs.

3.1.6.

Suppose two masses on carts on frictionless surface are at displacements \(x_1\) and \(x_2\) as in Example 3.1.3. Suppose that a rocket applies force \(F\) in the positive direction on cart \(x_1\text{.}\) Set up the system of equations.

3.1.7.

Suppose the tanks are as in Example 3.1.2, starting both at volume \(V\text{,}\) but now the rate of flow from tank 1 to tank 2 is \(r_1\text{,}\) and rate of flow from tank 2 to tank one is \(r_2\text{.}\) Notice that the volumes are now not constant. Set up the system of equations.

3.1.101.

Find the general solution to \(y_1' = 3 y_1\text{,}\)\(y_2' = y_1 + y_2\text{,}\)\(y_3' = y_1 + y_3\text{.}\)

Suppose two masses on carts on frictionless surface are at displacements \(x_1\) and \(x_2\) as in Example 3.1.3. Suppose initial displacement is \(x_1(0)=x_2(0)=0\text{,}\) and initial velocity is \(x_1'(0) = x_2'(0) = a\) for some number \(a\text{.}\) Use your intuition to solve the system, explain your reasoning.

Answer.

\(x_1 = x_2 = at\text{.}\) Explanation of the intuition is left to reader.

3.1.106.

Suppose the tanks are as in Example 3.1.2 except that clean water flows in at the rate \(s\) liters per second into tank 1, and brine flows out of tank 2 and into the sewer also at the rate of \(s\) liters per second. The rate of flow from tank 1 into tank 2 is still \(r\text{,}\) but the rate of flow from tank 2 back into tank 1 is \(r-s\) (assume \(r > s\)).

Draw the picture.

Set up the system of equations.

Intuitively, what happens as \(t\) goes to infinity, explain.

Answer.

a) Left to reader. b) \(x_1' = \frac{r-s}{V} x_2- \frac{r}{V}x_1\text{,}\)\(x_2' = \frac{r}{V} (x_1- x_2)\text{.}\) c) As \(t\) goes to infinity, both \(x_1\) and \(x_2\) go to zero, explanation is left to reader.

For a higher quality printout use the PDF version: https://www.jirka.org/diffyqs/diffyqs.pdf