Throughout this lesson is the independent variable and . The equation has two solutions that can be read off at once, the constants and , because each makes the right side zero. The solution with , or one that starts above , is not visible in the same way. This lesson shows how one known solution of such a quadratic equation reduces the search for every other solution to a linear first-order equation. It also covers the one solution the reduction leaves out, the known solution itself, and the times at which other solutions become infinite.
Key terms
Riccati equation
Definition A Riccati equation is a first-order equation of the form
where , and are continuous on an open interval and is not the zero function on . When is the zero function the equation is linear, and when is the zero function it is a Bernoulli equation with exponent . The right side and its partial derivative are continuous for every in and every real . So each initial condition with in has a solution on some open interval containing , and two solutions with the same initial value agree wherever both are defined. The interval of a solution can be much shorter than .
In plain words The rate of change depends on the current state through a quadratic whose coefficients may vary with time. The square makes the equation nonlinear, and it can drive a solution to infinity in finite time even when the coefficients are continuous everywhere.
Example The equation is a Riccati equation with , and on the whole real line. The equation is one on , or on , but not on an interval containing . The equation shows how short the interval of a solution can be. Its solutions are with a constant , each defined only for , although its coefficients are continuous for every .
Known particular solution
Definition A particular solution of the Riccati equation is a differentiable function on an interval with
at every point of . The reduction in this lesson starts from one such function. It does not produce one, so has to come from inspection, from the structure of a model or from another calculation, and it counts as known only after substituting it into the equation confirms it. When , and are constants, each real root of gives the constant solution .
In plain words You need one solution in hand before the method can start. Guessing it is fine, but a guess is only a candidate until you substitute it.
Example For the roots of give the known solutions and . For on , try with a constant . Then and , so the trial function works exactly when , that is, when . Both and are known particular solutions on .
Reciprocal substitution
Definition Let be a known particular solution on . The reciprocal substitution writes the unknown as
where is a new differentiable unknown with no zero on the interval considered. Then
and expanding the square gives
The terms that involve only add up to , because solves the equation, so they cancel against on the left. What remains is
and multiplying by gives
Equivalently, the gap satisfies the Bernoulli equation with exponent , and is the usual substitution for it from Bernoulli Equations.
In plain words Describe every other solution by its gap from the known one, and write that gap as . The known terms cancel, and after clearing denominators the square no longer involves the unknown.
Example For with , the substitution gives and
Setting the two sides equal and multiplying by gives , that is, .
Linear equation for the correction
Definition Let be a particular solution on an interval . The correction in satisfies the linear first-order equation
with and , both continuous on . The two equations correspond exactly. If solves this linear equation on an interval and has no zero there, then solves the Riccati equation on . If solves the Riccati equation on such an interval and at one point of , then by uniqueness at every point of , and solves the linear equation on . With the integrating factor the linear equation can be solved on all of , and each initial value with in selects exactly one solution there.
In plain words After the substitution, the correction obeys the same kind of equation as in Linear First-Order Equations and Integrating Factors, so an integrating factor finds every . Each that stays away from zero gives back a solution of the original equation, and every solution other than comes from such a .
Example Solve with , using . The correction satisfies . With the integrating factor this reads , so and
The initial value converts through , so and . Then gives , so , which is negative for every real . Hence
which equals and is defined for all real . To check it, write , so that and . Then
and the right side of the equation gives the same expression,
The initial value also checks, since .
Omitted particular branch
Definition The known solution never has the form , because is never zero, so the substitution omits it. By uniqueness, no other solution takes the value at a time where both are defined. So a solution on an interval inside the interval of is either itself or for a solution of the linear equation, taken on an interval where has no zero. The omitted branch has to be listed separately. Other constant solutions may still appear in the family, and which branch is omitted depends on the choice of .
In plain words The substitution measures every solution by its gap from the known one. The known solution has gap zero, which can never equal, so keep it as a separate solution rather than expect the formula to contain it.
Example For with , the family
contains for but never . For each fixed the family approaches as , a limit that no finite reaches. So the initial value cannot be converted into a value of , since has no solution. Yet the problem has the solution , and by uniqueness no other.
Poles of solutions
Definition Let solve the linear equation for the correction on , and let be a largest open interval in on which has no zero, so that solves the Riccati equation on . At an endpoint of that lies in the correction vanishes, , and as approaches from inside . The solution cannot be continued past , and is called a pole of the solution. If , the linear equation gives , so the zero is simple and
with the limit taken from inside . Because exists on all of , a solution other than can stop existing at a point of only where . On the other side of the same formula gives a different solution.
In plain words A pole is a time at which the correction reaches zero, so the gap between the solution and the known one becomes infinite. Its location is set by the initial value as well as by the coefficients, so different solutions of one equation can have poles at different times.
Example For with , the conversion gives , so and . Then
The correction vanishes when , that is, at , and it is positive for . So this solution exists on . It rises from values near for very negative and tends to as approaches from the left, with because . For the same formula gives a different solution, which comes up from and tends to . More generally, an initial value gives
so a pole occurs exactly when , that is, when . It lies after for and before it for . Initial values in give solutions defined for all real .
Check yourself
- For , use the other constant solution . Find the linear equation for the correction and the family of solutions it produces. Which constant solution does this family omit, and which does it contain?
Show the answer
Here and , so the correction satisfies . The integrating factor gives , so and . The family is
Now is the omitted branch, while gives . Which branch is left out depends on the choice of , not on the equation. As a check, gives and , and the function equals , the solution found with .
- Check that solves on . Then find and solve the linear equation for in , and find the constant that gives the other power solution .
Show the answer
The derivative of is , and , so is a solution. With and the coefficient is , so
On the integrating factor is , so and . Hence
The constant gives . The branch itself is the omitted one.
- Solve with , using question 2, and find the interval of existence. What happens at each end of that interval?
Show the answer
From we get , so and . Then
Substituting back confirms it, since and both equal
The correction is positive for and vanishes at , so the interval of existence is . The left end comes from the equation itself, because the coefficient is not defined at , and there as . The right end is a pole, where with . Other starting values move the pole, but the left end stays at .