Real & Distinct Roots — Question 7

PDF ↗

Question 7

For a real parameter α\alpha, consider y″+2αy′+(α2−4)y=0.y''+2\alpha y'+(\alpha^2-4)y=0. A solution is forward bounded if it is bounded on [0,∞)[0,\infty). Distinguish statements about every solution from statements about selected nonzero solutions.

Tasks

  1. Find both roots and show that they are real and distinct for every real α\alpha.

  2. Determine exactly when every solution tends to zero as t→∞t\to\infty.

  3. Determine exactly when every solution is forward bounded. Treat α=2\alpha=2 explicitly.

  4. For all α≤2\alpha\le 2, classify the individual forward-bounded solutions, including α=−2\alpha=-2. Give a complete parameter table and explain why a zero root must not be treated as a negative root.

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

Question 7 – Solution

Strategy. Track the two root signs and retain the distinction between a mode being available and its coefficient actually being present.

Step 1: Keep the root separation visible. The characteristic polynomial is (r+α)2−4(r+\alpha)^2-4, so r+=2−α,r−=−2−α,r+−r−=4.\boxed{r_+=2-\alpha,\quad r_-=-2-\alpha},\qquad r_+-r_-=4. Consequently y=Ae(2−α)t+Be(−2−α)ty=Ae^{(2-\alpha)t}+Be^{(-2-\alpha)t} for every real α\alpha; no repeated or nonreal roots occur.

Step 2: Require both modes to decay. Every solution tends to zero exactly when both roots are negative. Since r+r_+ is the larger root, this is equivalent to α>2.\boxed{\alpha>2}. If α≤2\alpha\le 2, choosing A=1A=1, B=0B=0 gives a constant or growing mode, disproving universal decay.

Step 3: Allow a constant mode for boundedness. Every solution is forward bounded exactly when both roots are nonpositive, or α≥2\boxed{\alpha\ge 2}. At α=2\alpha=2, y=A+Be−4t→A.y=A+Be^{-4t}\longrightarrow A. All solutions are bounded, but only those with A=0A=0 tend to zero. A zero root supplies a constant mode rather than a decaying one.

Step 4: Classify the selected bounded solutions. Using the coefficients A,BA,B from Step 1, the full classification is αforward-bounded solutionstheir limitsα<−2y=00α=−2y=B(A=0)B−2<α<2y=Be(−2−α)t(A=0)0α=2y=A+Be−4tAα>2all solutions0\begin{array}{c|l|l} \alpha&\text{forward-bounded solutions}&\text{their limits}\\\hline \alpha<-2&y=0&0\\ \alpha=-2&y=B\quad(A=0)&B\\ -2<\alpha<2&y=Be^{(-2-\alpha)t}\quad(A=0)&0\\ \alpha=2&y=A+Be^{-4t}&A\\ \alpha>2&\text{all solutions}&0 \end{array} For α<−2\alpha<-2, both roots are positive. If A≠0A\ne 0, the faster mode forces unbounded magnitude; if A=0A=0 and B≠0B\ne 0, the remaining positive mode still grows. Distinct growth rates cannot cancel for all large times.

At α=−2\alpha=-2 the roots are 4 and 0, so only constant solutions are bounded. For −2<α<2-2<\alpha<2, one positive mode must be removed, leaving a decaying mode. These boundary cases show why a classification based only on whether roots are real would be incomplete.

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

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