[Notes on Diffy Qs home] [PDF version] [Buy cheap paperback version]

[next] [prev] [prev-tail] [tail] [up]

Note: 1 lecture, §4.1 in [EP], §7.1 in [BD]

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 , , …, , then we can have a differential equation involving all of them and their derivatives. For example, . Usually, when we have two dependent variables we have two equations such as

for some functions and . We call the above a system of differential equations. More precisely, the above is a second order system of ODEs.Example 3.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 initial conditions of the form , .We note that is the general solution of the first equation. We then plug this into the second equation and get the equation , which is a linear first order equation that is easily solved for . By the method of integrating factor we get

or . The general solution to the system is, therefore,

We solve for and given the initial conditions. We substitute and find that and . Thus the solution is , and .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.

As an example application, let us think of mass and spring systems again. Suppose we have one spring with constant , but two masses and . We can think of the masses as carts, and we will suppose that they ride along a straight track with no friction. Let be the displacement of the first cart and 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 measures how far the first cart is from its zero position, and measures how far the second cart is from its zero position. The force exerted by the spring on the first cart is , since 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 governing the setup is

In this system we cannot solve for the or variable separately. That we must solve for both and at once is intuitively clear, since where the first cart goes depends exactly on where the second cart goes and vice-versa.

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 order differential equation

We define new variables and write the system

We solve this system for , , …, . Once we have solved for the ’s, we can discard through and let . We note that this solves the original equation.A similar process can be followed for a system of higher order differential equations. For example, a system of differential equations in unknowns, all of order , can be transformed into a first order system of equations and unknowns.

Example 3.1.2: We can use this idea in reverse as well. Let us consider the system

where the independent variable is . We wish to solve for the initial conditions , .

If we differentiate the second equation we get . We know what is in terms of and , and we know that . So,

We now have the equation . We know how to solve this equation and we find that . Once we have we use the equation to get .

We solve for the initial conditions and . Hence, and . So and . Our solution is

It is useful to go back and forth between systems and higher order equations for other reasons. For example, the ODE approximation methods are generally only given as solutions for first order systems. It is not very hard to adapt the code for the Euler method for first order equations to handle first order systems. We essentially just treat the dependent variable not as a number but as a vector. In many mathematical computer languages there is almost no distinction in syntax.

In fact, this is what IODE was doing when you had it solve a second order equation numerically in the IODE Project III if you have done that project.

The above example is what we call a linear first order system, as none of the dependent variables appear in any functions or with any higher powers than one. It is also autonomous as the equations do not depend on the independent variable .

For autonomous systems we can easily draw the so-called direction field or vector field. That is, 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 , says that at the point the direction in which we should travel to satisfy the equations should be the direction of the vector with the speed equal to the magnitude of this vector. So we draw the vector based at the point and we do this for many points on the -plane. We may want to scale down the size of our vectors to fit many of them on the same direction field. See Figure 3.1.

We can now draw a path of the solution in the plane. That is, suppose the solution is given by , , then we pick an interval of (say for our example) and plot all the points for 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. An example plot is given in Figure 3.2. In this figure the line starts at and travels along the vector field for a distance of 2 units of . Since we solved this system precisely we can compute and . We get that and . 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 now note how much more complicated things became when we allowed just one more dimension.

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