Unit 2, lesson 13

Riccati Equations with a Known Particular Solution

How a known particular solution reduces a Riccati equation to a linear equation for the correction through a reciprocal substitution, why the omitted branch is kept separately, and where poles appear.

  • Video 13
  • Substitution Methods

Throughout this lesson tt is the independent variable and y′=dy/dty' = dy/dt. The equation y′=y2−1y' = y^2 - 1 has two solutions that can be read off at once, the constants 11 and −1-1, because each makes the right side zero. The solution with y(0)=0y(0) = 0, or one that starts above 11, 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

y′=a(t)y2+b(t)y+c(t),y' = a(t)y^2 + b(t)y + c(t),

where aa, bb and cc are continuous on an open interval II and aa is not the zero function on II. When aa is the zero function the equation is linear, and when cc is the zero function it is a Bernoulli equation with exponent 22. The right side f(t,y)=a(t)y2+b(t)y+c(t)f(t, y) = a(t)y^2 + b(t)y + c(t) and its partial derivative ∂f/∂y=2a(t)y+b(t)\partial f/\partial y = 2a(t)y + b(t) are continuous for every tt in II and every real yy. So each initial condition y(t0)=y0y(t_0) = y_0 with t0t_0 in II has a solution on some open interval containing t0t_0, and two solutions with the same initial value agree wherever both are defined. The interval of a solution can be much shorter than II.

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 y′=y2−1y' = y^2 - 1 is a Riccati equation with a=1a = 1, b=0b = 0 and c=−1c = -1 on the whole real line. The equation y′=y2−2/t2y' = y^2 - 2/t^2 is one on I=(0,∞)I = (0, \infty), or on (−∞,0)(-\infty, 0), but not on an interval containing 00. The equation y′=y2+1y' = y^2 + 1 shows how short the interval of a solution can be. Its solutions are y=tan⁡(t−k)y = \tan(t - k) with a constant kk, each defined only for k−π/2<t<k+π/2k - \pi/2 < t < k + \pi/2, although its coefficients are continuous for every tt.

Known particular solution

Definition A particular solution of the Riccati equation is a differentiable function ypy_p on an interval J⊆IJ \subseteq I with

yp′=a yp2+b yp+cy_p' = a\,y_p^2 + b\,y_p + c

at every point of JJ. The reduction in this lesson starts from one such function. It does not produce one, so ypy_p 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 aa, bb and cc are constants, each real root rr of ar2+br+c=0ar^2 + br + c = 0 gives the constant solution yp=ry_p = r.

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 y′=y2−1y' = y^2 - 1 the roots of r2−1=0r^2 - 1 = 0 give the known solutions yp=1y_p = 1 and yp=−1y_p = -1. For y′=y2−2/t2y' = y^2 - 2/t^2 on (0,∞)(0, \infty), try y=k/ty = k/t with a constant kk. Then y′=−k/t2y' = -k/t^2 and y2−2/t2=(k2−2)/t2y^2 - 2/t^2 = (k^2 - 2)/t^2, so the trial function works exactly when −k=k2−2-k = k^2 - 2, that is, when (k−1)(k+2)=0(k - 1)(k + 2) = 0. Both yp=1/ty_p = 1/t and yp=−2/ty_p = -2/t are known particular solutions on (0,∞)(0, \infty).

Reciprocal substitution

Definition Let ypy_p be a known particular solution on JJ. The reciprocal substitution writes the unknown as

y=yp+1u,y = y_p + \frac{1}{u},

where uu is a new differentiable unknown with no zero on the interval considered. Then

y′=yp′−u′u2,y' = y_p' - \frac{u'}{u^2},

and expanding the square gives

ay2+by+c=ayp2+byp+c+2ayp+bu+au2.\begin{aligned} &ay^2 + by + c \\[0.4em] &= ay_p^2 + by_p + c \\[0.4em] &\quad + \frac{2ay_p + b}{u} + \frac{a}{u^2}. \end{aligned}

The terms that involve only ypy_p add up to yp′y_p', because ypy_p solves the equation, so they cancel against yp′y_p' on the left. What remains is

−u′u2=2ayp+bu+au2,-\frac{u'}{u^2} = \frac{2ay_p + b}{u} + \frac{a}{u^2},

and multiplying by −u2-u^2 gives

u′+(2ayp+b)u=−a.u' + \left(2ay_p + b\right)u = -a.

Equivalently, the gap v=y−ypv = y - y_p satisfies the Bernoulli equation v′−(2ayp+b)v=av2v' - (2ay_p + b)v = av^2 with exponent 22, and u=1/vu = 1/v 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 1/u1/u. The known terms cancel, and after clearing denominators the square no longer involves the unknown.

Example For y′=y2−1y' = y^2 - 1 with yp=1y_p = 1, the substitution y=1+1/uy = 1 + 1/u gives y′=−u′/u2y' = -u'/u^2 and

y2−1=2u+1u2.y^2 - 1 = \frac{2}{u} + \frac{1}{u^2}.

Setting the two sides equal and multiplying by −u2-u^2 gives u′=−2u−1u' = -2u - 1, that is, u′+2u=−1u' + 2u = -1.

Linear equation for the correction

Definition Let ypy_p be a particular solution on an interval J⊆IJ \subseteq I. The correction uu in y=yp+1/uy = y_p + 1/u satisfies the linear first-order equation

u′+p(t) u=q(t),u' + p(t)\,u = q(t),

with p=2ayp+bp = 2ay_p + b and q=−aq = -a, both continuous on JJ. The two equations correspond exactly. If uu solves this linear equation on an interval K⊆JK \subseteq J and has no zero there, then yp+1/uy_p + 1/u solves the Riccati equation on KK. If yy solves the Riccati equation on such an interval KK and y≠ypy \ne y_p at one point of KK, then by uniqueness y≠ypy \ne y_p at every point of KK, and u=1/(y−yp)u = 1/(y - y_p) solves the linear equation on KK. With the integrating factor μ=e∫p dt\mu = e^{\int p\,dt} the linear equation can be solved on all of JJ, and each initial value u(t0)=u0u(t_0) = u_0 with t0t_0 in JJ 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 uu. Each uu that stays away from zero gives back a solution of the original equation, and every solution other than ypy_p comes from such a uu.

Example Solve y′=y2−1y' = y^2 - 1 with y(0)=0y(0) = 0, using yp=1y_p = 1. The correction satisfies u′+2u=−1u' + 2u = -1. With the integrating factor e2te^{2t} this reads (e2tu)′=−e2t(e^{2t}u)' = -e^{2t}, so e2tu=−12e2t+Ce^{2t}u = -\tfrac{1}{2}e^{2t} + C and

u=Ce−2t−12.u = Ce^{-2t} - \frac{1}{2}.

The initial value converts through y(0)=1+1/u(0)y(0) = 1 + 1/u(0), so 0=1+1/u(0)0 = 1 + 1/u(0) and u(0)=−1u(0) = -1. Then C−12=−1C - \tfrac{1}{2} = -1 gives C=−12C = -\tfrac{1}{2}, so u=−12(1+e−2t)u = -\tfrac{1}{2}(1 + e^{-2t}), which is negative for every real tt. Hence

y=1−21+e−2t,y = 1 - \frac{2}{1 + e^{-2t}},

which equals −tanh⁡t-\tanh t and is defined for all real tt. To check it, write w=e−2tw = e^{-2t}, so that w′=−2ww' = -2w and y=1−2/(1+w)y = 1 - 2/(1 + w). Then

y′=2w′(1+w)2=−4w(1+w)2,\begin{aligned} y' &= \frac{2w'}{(1 + w)^2} \\[0.4em] &= -\frac{4w}{(1 + w)^2}, \end{aligned}

and the right side of the equation gives the same expression,

y2−1=(y−1)(y+1)=−21+w⋅2w1+w.\begin{aligned} y^2 - 1 &= (y - 1)(y + 1) \\[0.4em] &= -\frac{2}{1 + w}\cdot\frac{2w}{1 + w}. \end{aligned}

The initial value also checks, since y(0)=1−2/2=0y(0) = 1 - 2/2 = 0.

Omitted particular branch

Definition The known solution ypy_p never has the form yp+1/uy_p + 1/u, because 1/u1/u is never zero, so the substitution omits it. By uniqueness, no other solution takes the value yp(t)y_p(t) at a time tt where both are defined. So a solution on an interval inside the interval JJ of ypy_p is either ypy_p itself or yp+1/uy_p + 1/u for a solution uu of the linear equation, taken on an interval where uu 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 ypy_p.

In plain words The substitution measures every solution by its gap from the known one. The known solution has gap zero, which 1/u1/u can never equal, so keep it as a separate solution rather than expect the formula to contain it.

Example For y′=y2−1y' = y^2 - 1 with yp=1y_p = 1, the family

y=1+1Ce−2t−12y = 1 + \frac{1}{Ce^{-2t} - \tfrac{1}{2}}

contains y=−1y = -1 for C=0C = 0 but never y=1y = 1. For each fixed tt the family approaches 11 as ∣C∣→∞\lvert C \rvert \to \infty, a limit that no finite CC reaches. So the initial value y(0)=1y(0) = 1 cannot be converted into a value of u(0)u(0), since 1=1+1/u(0)1 = 1 + 1/u(0) has no solution. Yet the problem has the solution y=1y = 1, and by uniqueness no other.

Poles of solutions

Definition Let uu solve the linear equation for the correction on JJ, and let KK be a largest open interval in JJ on which uu has no zero, so that y=yp+1/uy = y_p + 1/u solves the Riccati equation on KK. At an endpoint t∗t^* of KK that lies in JJ the correction vanishes, u(t∗)=0u(t^*) = 0, and ∣y(t)∣→∞\lvert y(t) \rvert \to \infty as tt approaches t∗t^* from inside KK. The solution cannot be continued past t∗t^*, and t∗t^* is called a pole of the solution. If a(t∗)≠0a(t^*) \ne 0, the linear equation gives u′(t∗)=−a(t∗)≠0u'(t^*) = -a(t^*) \ne 0, so the zero is simple and

lim⁡t→t∗(t−t∗) y(t)=−1a(t∗),\lim_{t \to t^*} (t - t^*)\,y(t) = -\frac{1}{a(t^*)},

with the limit taken from inside KK. Because uu exists on all of JJ, a solution other than ypy_p can stop existing at a point of JJ only where u=0u = 0. On the other side of t∗t^* the same formula gives a different solution.

In plain words A pole is a time at which the correction uu reaches zero, so the gap 1/u1/u 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 y′=y2−1y' = y^2 - 1 with y(0)=2y(0) = 2, the conversion 2=1+1/u(0)2 = 1 + 1/u(0) gives u(0)=1u(0) = 1, so C−12=1C - \tfrac{1}{2} = 1 and C=32C = \tfrac{3}{2}. Then

u=3e−2t−12,y=1+23e−2t−1.\begin{gathered} u = \frac{3e^{-2t} - 1}{2}, \\[0.4em] y = 1 + \frac{2}{3e^{-2t} - 1}. \end{gathered}

The correction vanishes when e−2t=13e^{-2t} = \tfrac{1}{3}, that is, at t∗=12ln⁡3≈0.549t^* = \tfrac{1}{2}\ln 3 \approx 0.549, and it is positive for t<t∗t < t^*. So this solution exists on (−∞,12ln⁡3)(-\infty, \tfrac{1}{2}\ln 3). It rises from values near 11 for very negative tt and tends to +∞+\infty as tt approaches t∗t^* from the left, with (t−t∗) y(t)→−1(t - t^*)\,y(t) \to -1 because a=1a = 1. For t>t∗t > t^* the same formula gives a different solution, which comes up from −∞-\infty and tends to −1-1. More generally, an initial value y(0)=y0≠1y(0) = y_0 \ne 1 gives

C=y0+12(y0−1),C = \frac{y_0 + 1}{2(y_0 - 1)},

so a pole occurs exactly when C>0C > 0, that is, when ∣y0∣>1\lvert y_0 \rvert > 1. It lies after t=0t = 0 for y0>1y_0 > 1 and before it for y0<−1y_0 < -1. Initial values in [−1,1][-1, 1] give solutions defined for all real tt.

Check yourself

  1. For y′=y2−1y' = y^2 - 1, use the other constant solution yp=−1y_p = -1. 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 2ayp+b=−22ay_p + b = -2 and −a=−1-a = -1, so the correction satisfies u′−2u=−1u' - 2u = -1. The integrating factor e−2te^{-2t} gives (e−2tu)′=−e−2t(e^{-2t}u)' = -e^{-2t}, so e−2tu=12e−2t+Ce^{-2t}u = \tfrac{1}{2}e^{-2t} + C and u=12+Ce2tu = \tfrac{1}{2} + Ce^{2t}. The family is

y=−1+21+2Ce2t.y = -1 + \frac{2}{1 + 2Ce^{2t}}.

Now y=−1y = -1 is the omitted branch, while C=0C = 0 gives y=−1+2=1y = -1 + 2 = 1. Which branch is left out depends on the choice of ypy_p, not on the equation. As a check, y(0)=0y(0) = 0 gives u(0)=1u(0) = 1 and C=12C = \tfrac{1}{2}, and the function −1+2/(1+e2t)-1 + 2/(1 + e^{2t}) equals −tanh⁡t-\tanh t, the solution found with yp=1y_p = 1.

  1. Check that yp=1/ty_p = 1/t solves y′=y2−2/t2y' = y^2 - 2/t^2 on (0,∞)(0, \infty). Then find and solve the linear equation for uu in y=1/t+1/uy = 1/t + 1/u, and find the constant that gives the other power solution −2/t-2/t.
Show the answer

The derivative of 1/t1/t is −1/t2-1/t^2, and (1/t)2−2/t2=−1/t2(1/t)^2 - 2/t^2 = -1/t^2, so ypy_p is a solution. With a=1a = 1 and b=0b = 0 the coefficient is 2ayp+b=2/t2ay_p + b = 2/t, so

u′+2t u=−1.u' + \frac{2}{t}\,u = -1.

On (0,∞)(0, \infty) the integrating factor is e2ln⁡t=t2e^{2\ln t} = t^2, so (t2u)′=−t2(t^2u)' = -t^2 and t2u=C−t3/3t^2u = C - t^3/3. Hence

u=Ct2−t3,y=1t+3t23C−t3.\begin{gathered} u = \frac{C}{t^2} - \frac{t}{3}, \\[0.4em] y = \frac{1}{t} + \frac{3t^2}{3C - t^3}. \end{gathered}

The constant C=0C = 0 gives 1/t−3/t=−2/t1/t - 3/t = -2/t. The branch y=1/ty = 1/t itself is the omitted one.

  1. Solve y′=y2−2/t2y' = y^2 - 2/t^2 with y(1)=2y(1) = 2, using question 2, and find the interval of existence. What happens at each end of that interval?
Show the answer

From 2=1+1/u(1)2 = 1 + 1/u(1) we get u(1)=1u(1) = 1, so C−13=1C - \tfrac{1}{3} = 1 and C=43C = \tfrac{4}{3}. Then

u=4−t33t2,y=1t+3t24−t3.\begin{gathered} u = \frac{4 - t^3}{3t^2}, \\[0.4em] y = \frac{1}{t} + \frac{3t^2}{4 - t^3}. \end{gathered}

Substituting back confirms it, since y′y' and y2−2/t2y^2 - 2/t^2 both equal

−1t2+24t+3t4(4−t3)2.-\frac{1}{t^2} + \frac{24t + 3t^4}{(4 - t^3)^2}.

The correction is positive for 0<t<430 < t < \sqrt[3]{4} and vanishes at t∗=43≈1.587t^* = \sqrt[3]{4} \approx 1.587, so the interval of existence is (0,43)(0, \sqrt[3]{4}). The left end comes from the equation itself, because the coefficient −2/t2-2/t^2 is not defined at t=0t = 0, and there t y(t)→1t\,y(t) \to 1 as t→0+t \to 0^+. The right end is a pole, where y→+∞y \to +\infty with (t−t∗) y(t)→−1(t - t^*)\,y(t) \to -1. Other starting values y(1)>1y(1) > 1 move the pole, but the left end stays at 00.

How this lesson connects