Real & Distinct Roots — Question 4

PDF ↗

Question 4

For the equation y″+3y′+2y=0,y(0)=a>0,y′(0)=b,y''+3y'+2y=0,\qquad y(0)=a>0,\qquad y'(0)=b, classify the entire range of real initial slopes bb on the time interval t≥0t\ge 0.

Tasks

  1. Find the solution in terms of a,ba,b.

  2. Determine exactly when y(t)≥0y(t)\ge 0 for every t≥0t\ge 0. Prove both necessity and sufficiency.

  3. Determine exactly when the solution is both nonnegative and nonincreasing on [0,∞)[0,\infty), including boundary slopes.

  4. For the remaining slopes, find the unique zero when one occurs, or the unique positive-time maximum when one occurs. Summarize the cases on a diagram of the ratio b/ab/a.

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

Question 4 – Solution

Strategy. Factor out a positive exponential and reduce sign questions to affine expressions in z=e−t∈(0,1]z=e^{-t}\in(0,1].

Step 1: Fit the real-root solution. The roots are −1,−2-1,-2. Solving A+B=aA+B=a, −A−2B=b-A-2B=b gives y=(2a+b)e−t−(a+b)e−2t.\boxed{y=(2a+b)e^{-t}-(a+b)e^{-2t}}. Write A=2a+bA=2a+b, B=−(a+b)B=-(a+b), so A+B=aA+B=a.

Step 2: Classify nonnegativity. Since y=e−t(A+Bz)y=e^{-t}(A+Bz), its sign is the sign of an affine function with values AA at z=0z=0 and a>0a>0 at z=1z=1. If A≥0A\ge 0, it is positive for all 0<z≤10<z\le 1. If A<0A<0, it is negative for sufficiently small positive zz. Therefore y(t)≥0 for all t≥0⇔b≥−2a.\boxed{y(t)\ge 0\text{ for all }t\ge 0\quad\Longleftrightarrow\quad b\ge-2a}. At b=−2ab=-2a, the solution is the strictly positive ae−2tae^{-2t} at every finite time.

Step 3: Impose monotonicity as well. We have y′=−e−t(A+2Bz)y'=-e^{-t}(A+2Bz). Its bracket has endpoint values AA and A+2B=−bA+2B=-b. Thus it is nonnegative on 0<z≤10<z\le 1 exactly when A≥0A\ge 0 and b≤0b\le 0. Combining the conditions yields −2a≤b≤0.\boxed{-2a\le b\le 0}. At b=0b=0, the derivative vanishes initially but is negative for every t>0t>0. Both boundary slopes are included.

See the diagram in the original worksheet below.

Step 4: Resolve the two remaining regimes. If b<−2ab<-2a, solving A+Be−t=0A+B e^{-t}=0 gives the unique zero tz=ln⁡a+b2a+b>0.\boxed{t_z=\ln\frac{a+b}{2a+b}>0}. Both numerator and denominator are negative, and their ratio exceeds 1. The solution crosses from positive to negative and tends to zero from below.

If b>0b>0, it remains positive but initially rises. Solving y′=0y'=0 gives the unique positive-time maximum at tm=ln⁡2(a+b)2a+b>0.\boxed{t_m=\ln\frac{2(a+b)}{2a+b}>0}. The derivative changes from positive to negative there. These cases exhaust all real bb; every solution still tends to zero because both roots are negative.

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

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