MATH 6570

Differential Equations

John Travis
Mississippi College

Continuous Population growth model
Let P(t) be the number of individuals in a particular population at time t. With unlimited resources, suppose the change in a population is affected only by the rate k of the difference in births and deaths per unit time. Then, over a change in time Dt,
P(t + Dt) - P(t) = DP = k P(t) Dt.
Taking limits gives:
dP/dt = kP

Equilibrium solution:  values where P' = 0, that is where there is no rate of change.  k P = 0 implies P=0 is the only equilibrium solution.
Initial condition:  P(0) is the value at time zero...generally assumed as a parameter...p0
Initial Value Problem:  y' = f(t,y), y(0) = y0

Logistic Population Model
P' = c(M-P)P = k(1 - P/M)P
Savings Model
Let A(t) be the amount of money in a savings account at time t, growing at a yearly rate of r% compounded continuously.  Then, over a change in time Dt,
A(t + Dt) - A(t) = DA = r A(t) Dt.
Taking limits gives:
dA/dt = rA
which yields an exponential growth model with solution A(t) = A(0)ert.

Now, suppose after T years, we want to start withdrawing M dollars at the beginning of each year.
Then, our differential equation model becomes
 

={

rA, for 0 < t < T
dA/dt
rA - M, for t < T
Notice, we have to solve two differential equations, the first starting with some given initial deposit A(0) and then use this model to create a value for A(T) which becomes the initial value for the second differential equation starting at time T.
Defn: Given the ODE y'=g(x,y), an isocline is the set of points (x,y) which satisfy g(x,y)=c, for c a given constant. That is, an isocline is a locus of point along which the solution curves have fixed slope c. Graphing short "tangent vectors" along numerous isoclines gives the slope field or direction field of the solution. (Note, this involves selecting several 'slopes' c and solving for data points (x,y)...)

Note: The use of graphical differential equations software is very useful in doing direction fields for complicated functions since the amount of numerical calculation and then graphical rendering is quite tedious if not downright impossible.

Special Cases:

    y' = f(t) implies isoclines are vertical
    y' = f(y) implies isoclines are horizontal
Remark: We will sometimes use continuous equations and techniques to model problems which are necessarily discrete in nature (eg. population, etc.). Generally, this leads to reasonable models and solutions but not always. This also allows one to use the tools of calculus in determining solutions for the models. However, discrete analogs of D.E.s called difference equations may more precisely model the situation at hand. Further, these may be more readily applicable to computer solutions.

Numerical Techniques:

Given an IVP, a numerical solution is a collection of points (tk, wk) where wk ~ y(tk).

Euler's method: Use definition of derivative and drop the limit with h = tk+1 - tk. This suggests the iteration:

Apply to P' = kP to get Remark: When the DE is autonomous, we often consider the direction field just around the y-axis and call this the phase line.

Remark: Rest points can be classified according to how solution curves act near these points. As the independent variable tends to get large, if solution curves stay close the equlibrum is called stable. Else, it is called unstable.

Classification of equilibrium solutions:

    Stable = sink
    Unstable = source
    Neither = node
Linearization Theorem - to help classify type of equilibrium point, consider the tangent line as an approximation to the slope function near the equilibrium point. (Taylor's polynomial of degree 1).  Suppose y0 is an equilibrium point of the autonomous DE y' = f(y). Then,
(a) if f'(y0)<0, then y0 is a sink;
(b) if f'(y0)>0, then y0 is a source;
(c) if f'(y0)=0 or does not exist, then additional information is needed.
Pf:  Let y(t) solve y' = f(y) Look at different graphs for case (c) to see that all types can occur...page 85

Modified Logistic Model

S' = k S (1 - S/N)(S/M - 1),

where N = maximum population/carrying capacity,
M = minimum sustainable population/sparsity constant.

Homework:

BIFURCATIONS - When parameters are changed in a DE, one would expect the solutions to also change. If a small change in a parameter leads to a drastic change in the solution, we say a bifurcation has occured.

For an autonomous DE, a bifurcation value of the parameter is a value for which the structure of the phase lines change. Collecting the phase lines for various values of the parameter give a bifurcation diagram.

Bifurcation Result: Consider the autonomous DE y'=fm(y), where the partials of fm(y) are continuous. For parameter m = m0, consider the equilibrium y=y0.

Logistic Population Model with Harvesting:

P' = k P (1-P/N) - C,

where C is Harvested from the Population each time period. Let C be the parameter of interest, with C>0.

So, our model can be written P' = fC(P)

Solving fC(P)=0 yields: Homework: Predator-Prey Model

Let the population of Prey be denoted by R(t) (for rabbits) and the population of Predators by F(t) (for foxes)

Consider the following assumptions:

  • In the absence of Predators, the Prey will grow unrestricted.  Hence, R' must have a term of the form a R
  • Predators eat Prey at a rate proportional to how often they interact.  This can be modeled with a term of the form -b R F.
  • In the absence of Prey, Predators will die off.  Hence, F' must have a term of the form - c F.
  • The growth rate of Predators is proportional to the number of Prey eaten by the Predator.  As in (2), this yields a term d R F.
  • Gathering these assumptions yield a first order system:

    R ' = a R - b R F
    F ' = -c F + d R F

    The system is coupled because the rates R' and F' both depend upon R and F.

    The system is called autonomous since the independent variable t does not appear.

    The Phase Plane:  Analogous the the phase line for single autonomous differential equations, the phase plane demonstrates the nature of solutions for a system of two autonomous differential equations.  Indeed, given the autonomous system x' = f(x,y) and y' = g(x,y), for each time t, graph the point (x(t), y(t)).  Graphing several solution curves with differing starting values (x(0), y(0)) gives a phase portraitEquilibrium points are locations where the solutions are constant.

    Application: Harmonic Oscillator

    Converting second order equations to a system:  For ay'' + by' + cy = f(t), let z = y'.  Then, z' = y'' = f(t) - by' - cy yields which is a system of DEs in the unknowns y and z.

    Euler's Method for Autonomous Systems: Consider the vector field. Starting at some point Y0 (IC) in this field, follow the direction specified by the corresponding vector F(Y0) for a distance t. Take this point as a new starting point and do it again. This generates an approximate solution curve for the system x' = f(x,y), y'=g(x,y) using the iteration:

    xk+1 = xk + t f(xk,yk)

    yk+1= yk + t g(xk,yk)

    Van der Pol Equation:

    Model for Swaying Skyscraper:

    Application:  Pendulums
    Let a mass m be suspended by a (nonflexible) rod of length r.  Let j be the angle the rod is from vertical and let x be the arc length from vertical, x=x(j)=r*j.  Notice, if j is known, then the precise location of the mass is known.  The amplitude is the maximum j and the period is the time required for the pendulum to go through a complete cycle.  Gravity will not affect the motion of the pendulum if it is in the middle (at equilibrium) but will affect it otherwise.  However, for our purposes, we only are concerned with the motion  of the mass in the direction of its tangent, where the force in the tangent due to gravity is (-mg*sin(j)) where the negative sign indicates a restoring force always directed toward the equilibrium.

    - Assume the rod is massless and the mass m to be concentrated at one point.  Neglect buoyancy, friction in the hinge and fluid resistance (ie. the pendulum is in a vacuum).  So, we have   m x'' = ma = F = -mg sin(j), or   x'' + g sin(j) = 0.
    But, arc length x =r*j implies x'' = r j'' which yields the nonlinear model  r j'' + g sin(j) = 0.  We can "linearize" this by using the Maclaurin expansion of sin(j) = j - (j)3/3! + ...  or approximately we replace the sin(j) term with j, provided the mass moves through a reasonably small angle j.  This yields the linear approximate model r j'' + g j = 0.

    - Assume now that the pendulum is damped (air or fluid resistance).
    This yields mx'' = -mg sin(j) - bx', or as above we obtain mr*j'' + brj' + mg*j = 0.

    - Assume we add an external force f(t).
    This yields mr*j'' + brj' + mg*j = f(t).

    Application:  Automobile Suspension Systems Revisited
    - Now assume the mass m is the portion of the car's mass supported by one tire.  The same equation developed earlier still holds.
    - Determine the spring and shock absorber constants to give a good, smooth, safe ride.
    - Model 1:  No spring or shock.  No good.
    - Model 2:  Using a spring but no shock.  Oscillatory results or Simple Harmonic motion.
    - Model 3:  Both spring and shock used.  Damped results.
    - Model 4:  Add an external force.  Since we have not yet solved (LNC) yet, we must wait till later

    Homework:  page 394 #3, 6; page 418 #1, 5