Repeated Roots — Question 3

PDF ↗

Question 3

For λ>0\lambda>0 and a>0a>0, consider y″+2λy′+λ2y=0,y(0)=a,y′(0)=b.y''+2\lambda y'+\lambda^2y=0,\qquad y(0)=a,\qquad y'(0)=b. Classify all real slopes bb on t≥0t\ge 0.

Tasks

  1. Find the solution in terms of a,b,λa,b,\lambda.

  2. Prove exactly when the response remains nonnegative for every t≥0t\ge 0.

  3. Prove exactly when it is both nonnegative and nonincreasing, treating the boundary slopes separately.

  4. For the remaining slopes, find the unique zero or positive-time maximum, as appropriate. Summarize the cases on a diagram of b/(λa)b/(\lambda a) and explain how the repeated root enters the classification.

Original worksheet page 1: question and worked solution for 3-4-003
Show solutionHide solution

Question 3 – Solution

Strategy. Reduce both sign and monotonicity to affine functions of time after factoring out a positive exponential.

Step 1: Resolve the data. The root is −λ-\lambda twice. Writing y=(A+Bt)e−λty=(A+Bt)e^{-\lambda t} gives A=aA=a, B=b+λaB=b+\lambda a. Thus y=(a+(b+λa)t)e−λt.\boxed{y=(a+(b+\lambda a)t)e^{-\lambda t}}. For brevity let B=b+λaB=b+\lambda a.

Step 2: Classify nonnegativity. The multiplier starts at a>0a>0. It stays positive at every finite nonnegative time exactly when B≥0B\ge 0; if B<0B<0, it crosses zero and becomes negative. Therefore y(t)≥0 for all t≥0⇔b≥−λa.\boxed{y(t)\ge 0\text{ for all }t\ge 0\quad\Longleftrightarrow\quad b\ge-\lambda a}. At equality, the polynomial factor is constant and y=ae−λty=ae^{-\lambda t}.

Step 3: Impose nonincrease as well. Differentiation gives y′=e−λt(b−λBt)y'=e^{-\lambda t}(b-\lambda Bt). With B≥0B\ge 0, this derivative is nonpositive for all t≥0t\ge 0 exactly when b≤0b\le 0. Hence −λa≤b≤0.\boxed{-\lambda a\le b\le 0}. At b=−λab=-\lambda a, the response is a decreasing pure exponential. At b=0b=0, it has zero initial slope but negative derivative for every t>0t>0 because B=λa>0B=\lambda a>0.

See the diagram in the original worksheet below.

Step 4: Classify the exterior ranges. If b<−λab<-\lambda a, then B<0B<0, and the unique zero is tz=−ab+λa>0.\boxed{t_z=-\frac{a}{b+\lambda a}>0}. The response crosses from positive to negative and tends to zero from below. If b>0b>0, then B>0B>0 and the unique maximum occurs at tm=bλ(b+λa)>0.\boxed{t_m=\frac{b}{\lambda(b+\lambda a)}>0}. Here y′y' changes from positive to negative, and the response remains positive. The repeated root produces an affine multiplier; the zeros of that multiplier and its differentiated counterpart govern these thresholds. All cases still decay to zero.

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

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