Real & Distinct Roots — Question 2

PDF ↗

Question 2

Consider the family of initial-value problems y″−y′−6y=0,y(0)=1,y′(0)=v.y''-y'-6y=0,\qquad y(0)=1,\qquad y'(0)=v. Call a solution forward bounded if |y(t)||y(t)| is bounded for t≥0t\ge 0.

Tasks

  1. Find the roots and express the solution coefficients in terms of vv.

  2. Determine exactly which initial slope produces a forward-bounded solution. State its limit.

  3. Replace that slope by v=−2+εv=-2+\varepsilon, where 0<ε<10<\varepsilon<1. Find when the growing and decaying terms have equal magnitude, and determine the eventual behavior.

  4. For ε=0.01\varepsilon=0.01, calculate that time to three decimal places and sketch the perturbed and unperturbed solutions on [0,2][0,2]. Explain why a small initial error can change the long-time conclusion.

Original worksheet page 1: question and worked solution for 3-2-002
Show solutionHide solution

Question 2 – Solution

Strategy. Express the initial data in the two modes and isolate the coefficient of the growing exponential.

Step 1: Resolve the data into modes. The characteristic polynomial is (r−3)(r+2)(r-3)(r+2), so y=Ae3t+Be−2ty=Ae^{3t}+Be^{-2t}. From A+B=1A+B=1 and 3A−2B=v3A-2B=v, A=(v+2)/5,B=(3−v)/5.\boxed{A=(v+2)/5,\quad B=(3-v)/5}. The nonzero root separation makes this data system invertible.

Step 2: Remove the growing mode exactly. If A≠0A\ne 0, the term Ae3tAe^{3t} dominates and |y|→∞|y|\to\infty. Thus forward boundedness holds exactly when A=0A=0, or v=−2\boxed{v=-2}. The selected solution is y=e−2t\boxed{y=e^{-2t}} and tends to zero.

Step 3: Track a small slope perturbation. For v=−2+εv=-2+\varepsilon, yε=ε5e3t+5−ε5e−2t.y_\varepsilon=\frac{\varepsilon}{5}e^{3t} +\frac{5-\varepsilon}{5}e^{-2t}. Both terms are positive. They are equal precisely when e5t=(5−ε)/εe^{5t}=(5-\varepsilon)/\varepsilon, giving t*=15ln⁡5−εε.\boxed{t_*=\frac 15\ln\frac{5-\varepsilon}{\varepsilon}}. This is positive for the stated range of ε\varepsilon. Eventually yε→+∞y_\varepsilon\to+\infty, although its initial slope is negative.

See the diagram in the original worksheet below.

Step 4: Quantify the delayed disagreement. For ε=0.01\varepsilon=0.01, t*=(ln⁡499)/5≈1.243t_*=(\ln 499)/5\approx\boxed{1.243}. The exact difference is yε−e−2t=ε5(e3t−e−2t).y_\varepsilon-e^{-2t}=\frac{\varepsilon}{5}(e^{3t}-e^{-2t}). It vanishes initially and is small with ε\varepsilon on any fixed finite interval, but grows without bound as t→∞t\to\infty for every fixed positive ε\varepsilon. Forward boundedness here requires exact cancellation of a mode; it is not robust to a nonzero slope error. The time t*t_* compares mode magnitudes and is not the time of the trajectory’s minimum.

Original worksheet page 2: question and worked solution for 3-2-002

Original worksheet layout. Use Enlarge or open the PDF for a closer view.