Separable differential equation
- 1 Definition
- 2 Particular cases
- 3 Examples
- 4 Theory
- 5 Equations reducible to separable form
Form of the differential equation
The term separable is used for a first-order differential equation that, up to basic algebraic manipulation, is of the form:
where is the independent variable and is the dependent variable.
Separable differential equations can be described as first-order first-degree differential equations where the expression for the derivative in terms of the variables is a multiplicatively separable function of the two variables.
This means that we also consider a differential equation separable if it is first-order first-degree but not in explicit form, and which becomes separable when converted to explicit form. For instance, is separable because when it is written in explicit form , the expression for is multiplicatively separable in and .
Solution method and formula: general solution
It can be solved by rearranging and integrating:
It suffices to have just one freely floating additive constant (i.e., one parameter) in the answer because the additive constants coming from the two integrals can be merged into one by taking the difference between them.
In general, the solution to this is a relational solution family, i.e., for each numerical value of the free parameter, the corresponding solution is a relational solution, i.e., the dependent variable is described as an implicit function of rather than as an explicit function of . However, it may be possible to manipulate the solution in order to write explicitly as a function of . The general idea behind doing this is to (locally) invert the function of obtained upon integration of and then compose that inverse with the function obtained upon integration of .
This method of solving separable differential equations is sometimes termed separation of variables or separate and integrate to indicate that the functions of each variable are separated and then integrated with respect to the corresponding variables.
In addition to the above formula of general solutions, it is also possible that there exist additional solutions that are stationary solutions. Stationary solutions are also called equilibrium solutions. These are solutions of the form:
The reason these solutions get missed out from the general solution procedure is that the general solution procedure requires division by , hence it overlooks the solution functions where .
This family of solutions is usually a discrete, often finite (and possibly empty), family of solutions. It may be possible to find an elegant way of writing the general solution that also manages to encompass the stationary solutions without making cases.
The term general solution is somewhat ambiguous. Some people use it to refer to the solutions obtained by the solution method of integration, even if that excludes the stationary solutions. Others use the term to refer to all solutions, inclusive of the stationary solutions.
Partly stationary solutions and other mixed solutions
In some cases, it is possible to have solutions that are stationary for part of the domain and non-stationary (described by the separation of variables method) for the rest of the domain. Such solutions may be called partly stationary.
The theoretical reason behind the emergence of partly stationary solutions is that it may so happen that is neither identically zero nor identically nonzero, but rather, it is zero for some points and nonzero for other points. The integration method (using separation of variables) works for parts of the domain where it is nonzero everywhere, and the stationary solutions work for parts of the domain where it is zero everywhere. Partly stationary solutions work by combining these phenomena.
For separable differential equations that are not in explicit form (i.e., equations such as , where there is a coefficient on the to begin with) it is also possible to have mixed solutions that are not partly stationary. These solutions change definition from one function to another at a stationary value. For more, see the #Theory and #Examples sections.
Where the derivative depends only on the dependent variable
This is the case of a first-order autonomous differential equation of degree one:
Here, we get:
Note that performing the integration expresses in terms of . We need to then do algebraic manipulation to express explicitly in terms of .
Again, we need to take care of the stationary solutions, i.e., additional solutions of the form:
Note that the standard notation for autonomous differential equations uses for the independent variable and for the dependent variable; however, in this page, we use the convention for separable differential equations in general to better understand how it fits in with the rest of the page.
Where the derivative depends only on the independent variable
This is a situation where the function depends only on :
This is a straightforward explicit functional description.
Note that in this case, there are no additional solutions that we need to worry about.
Example without stationary solutions
Consider the differential equation:
Note first that has no solution, so the differential equation has no stationary functional solutions. We rearrange to get the general solution:
Integrating, we get:
Note that the constant is only put at one place rather than separate constants for each integration, because the multiple constants can be absorbed into a single one.
The above gives a family of relational solutions. If we wish, we could convert these to functional solutions, though we need to be somewhat careful when doing so in general. In this case, a naive manipulation would give:
We do lose some information in the process (namely that is in the range of ) but that information was artificial anyway so this is not an issue.
Example with stationary solutions
Consider the differential equation:
This has a stationary solution (a constant function). Assuming , we can rearrange to get:
This integrates to give:
Exponentiating both sides, we get:
Let . Note that . We get:
Rearranging, we can get as an explicit function of :
Note that currently we have the restriction . However, we see that allowing gives the stationary solution, so that we can combine the stationary solution into the general solution and get, with a parameter:
Example with partly stationary solutions
Since the example we consider here is an autonomous differential equation, we use somewhat different notation: we denote the depedent variable by and the independent variable by . The differential equation is:
This differential equation has two stationary solutions: and .
We first make a couple of observations:
- must be a non-decreasing function of everywhere on its domain, because the derivative is nonnegative.
- for all , because that is necessary for the right side to make sense.
- In particular, if at a given value , we must have for all , and if at a given value , we must have for all .
Solving for non-stationary solutions, we get:
The solution extends continuously to the boundary points, so we get:
Now, at the endpoint , . By the observations made above, must be equal to -1 for all , and must be equal to 1 for all . The general non-stationary solution is thus:
The complete list of global solutions is the above general solution family and the two stationary solutions and .
Justification of integrating with respect to both variables
requires justification, since it's not clear how we can integrate with respect to variables and . One justification is that the actual integration is happening with respect to , not . Here's how:
Dividing both sides by , we get:
We now integrate both sides with respect to , and get:
We now use integration by substitution to convert the integration on the left to , keeping in mind that is a (not yet known) function of .
Explanation as a special case of an exact differential equation
The solution method for the separable differential equation:
can be viewed as a special case of the theory of first-order exact differential equations. Concretely, the equation is not itself exact. However, it has an integrating factor and multiplication by this integrating factor makes it exact. Explicitly:
Now, the expression on the left is precisely the derivative of , hence it is exact.
Relation with factorization method
The process of separating out stationary solutions can be thought of as a special case of the factorization method for solving differential equations. Explicitly, we are doing:
and solving each factor separately. The solutions to give the stationary solutions; the solutions to the other factor give the relational solution family.
The partly stationary solutions can be understood in this context as the mixed solutions that arise during the factorization method for solving differential equations.
Continuity, differentiability, existence, and uniqueness
Here are some key facts:
- A separable differential equation of the form:
has a unique solution locally for any initial value problem if and and are continuous functions around and respectively. This solution is part of the general solution family, obtained by plugging in the initial value condition. Moreover, the solution function is a continuously differentiable function.
- With assumptions as above, if and are times continuously differentiable around and , then the solution function to the initial value problem is times continuously differentiable around the point . In particular, if and are infinitely differentiable, so is the solution function.
- The uniqueness behavior can be extended to open intervals for where is nonzero.
- As a general principle, partly stationary solutions may not be as nicely differentiable as the pure stationary and the pure non-stationary solutions. In particular, there is no guarantee for partly stationary solutions being more than once differentiable at points of transitioning between the stationary and non-stationary parts of the domain.
Equations reducible to separable form
Separable but not explicit
These are first-order first-degree equations that are already separable but not in explicit form. They typically look like:
where is multiplicatively separable in and . We solve these pretty much the same way as we solve explicit separable equations. As usual, we have to worry about stationary solutions.
Separable after some manipulation to factor
Here are some examples. We have only indicated how to convert the equation to a separable form, and not included solutions:
|Differential equation||Separable form|
Separable after function application
This includes examples of differential equations that are first-order but not necessarily first-degree. They need not even be polynomial in . The idea is to apply a function that inverts whatever function is being applied to to make it first-degree in and then write the expression in and in multiplicatively separable form.
|Differential equation||Function applied to both sides||Separable differential equation obtained|
|cube root function|
|tangent function||(there are some issues of loss of information here, because when we take , we lose the information that is in the range of . This information would need to be plugged back at the end).|
Separable after substitution
For examples of this, see substitution method for solving differential equations.
Separable after factorization
For examples of this, see factorization method for solving differential equations.