Introduction
A first-order (explicit) ODE looks like this:
for some function .
Many techniques for solving first-order ODEs come from reverse-engineering results of calculus. In this respect, solving ODEs analytically is like taking integrals (finding antiderivatives) analytically. In fact, antidifferentiation is itself one of the techniques: when does not depend on , both sides of the equation above can be integrated to find . More advanced methods like the product rule or -substitution yield more sophisticated techniques for ODEs.
Direct integration
A differential equation of the form:
has a set of solutions given by where is any constant and is an antiderivative of , meaning .
This kind of differential equation is really a part of basic calculus. A few things to emphasize en route to more complicated ODEs:
- There is a family of solutions parametrized by some constant . (This will become a pattern.)
- This family is a complete set: there are no other solutions. (Why not?)
- A particular solution is determined (selected from this family) by a choice of initial condition, which consists of a point that should lie on the solution.
- Consider that the derivative value specifies the direction of travel. So the initial condition is a starting point, and gives the data of which way to go, changing course along the route.
This technique can be applied in a series for simple ODEs of higher order. For example, the ODE
is solved by taking two antiderivatives. Let and . Then we have a family of solutions that depends on two constants:
To specify a particular solution, one provides two points and that should lie on the solution, and you can solve for and by evaluating and .
Direct integration (part 2)
Instead of providing multiple points lying on the solution, one can choose a single value , and then specify the values of the higher derivatives using some numbers .
Separable equations - substitution
Consider again the general form of an explicit first-order ODE:
This ODE is called separable when for some product of functions of the separate variables, and . It is solved by integrating separately in and in , as we consider next.
Consider any function with antiderivative , so . The chain rule says:
Now let . The differential equation
is equivalent to the equation
so we end up with
which is solved by integrating both sides in to obtain:
where is an antiderivative of and is a constant of integration.
Think about this equation . It equates the antiderivatives of and (up to a constant). It is an implicit definition of , because it may be virtually impossible to solve for here as a function of . And, for the same reason as used for the ODE earlier, the family of implicit curves given by this equation (for various ) describes all possible solutions.
Many authors describe the solution method a little differently. Starting with
write it as
and “integrate” both sides, summing up the differentials:
This yields
as before.
This method is easy to remember, and is acceptable to use on an exam or HW, but it is not really standard calculus procedure, since it relies on ambiguous rules about differentials. (Normally in calculus books differentials are considered purely mnemonic devices.)
Linear equations - product rule
First-order linear equations have this general form:
These equations are solved using the product rule together with an “integrating factor” . It works like this. Apply the product rule to :
Now, multiply the original equation on both sides by to find:
Integrate both sides with respect to :
which can be solved for :
Exact equations - gradients
A final technique is based on more advanced calculus.
Recall the theorem of vector calculus:
Curl-free fields are gradients
Suppose is a vector field on with zero curl: . (Assume the region is simply-connected.) Then there is a scalar field whose gradient recovers the vector field: .
Writing out the components, this theorem says that if
then there is a function satisfying
Now, finally, let be a level curve given by for some . Then is perpendicular to . This latter fact can be interpreted as a differential equation with one of its integral curves, as we show next.
Let be considered a function of whose graph is the curve . Then may be described parametrically by , and the tangent vector to this parametric curve is described parametrically by . The condition is equivalent to , which when written out means:
Writing and and , and multiplying through by , we obtain a form that is easier to remember:
Here is a summary of our reasoning:
Exact equations
Suppose the differential equation written either in form (A):
or in form (B):
satisfies . Then it has a family of solutions given by the level curves , where is a function satisfying and .
Algebraic summary
A more algebraic formulation of the same theory goes like this:
If , then it is possible to find such that and . In this case the equation
can be written
using the chain rule, and this has as solutions the family of integral curves defined implicitly with constants :