Undetermined Coefficients — Question 5

PDF ↗

Question 5

For t∈ℝt\in\mathbb R, consider y″+2y′+5y=e−tcos⁡2t,y(0)=y′(0)=0.y''+2y'+5y=e^{-t}\cos 2t,\qquad y(0)=y'(0)=0.

Tasks

  1. Find the homogeneous roots and choose a correct resonant trial. Derive a useful operator identity with y=e−tFy=e^{-t}F.

  2. Determine the particular solution and the complete zero-data response.

  3. Despite the resonance, prove that every solution tends to zero as t→∞t\to\infty.

  4. Find a simple envelope for the zero-data response and prove the bound |y(t)|≤1/(4e)|y(t)|\le 1/(4e) for t≥0t\ge 0. Is equality actually attained by the response?

Original worksheet page 1: question and worked solution for 3-9-005
Show solutionHide solution

Question 5 – Solution

Strategy. Resonance adds a polynomial factor, but the sign of the exponential rate still controls long-time decay.

Step 1: Identify the resonance. The roots are −1±2i-1\pm 2i. Thus the exponential-trigonometric forcing matches a simple complex root pair, and a suitable trial is te−t(Acos⁡2t+Bsin⁡2t)te^{-t}(A\cos 2t+B\sin 2t). Differentiation gives (e−tF)″+2(e−tF)′+5e−tF=e−t(F″+4F).(e^{-t}F)''+2(e^{-t}F)'+5e^{-t}F=e^{-t}(F''+4F).

Step 2: Match and fit. For F=t(Acos⁡2t+Bsin⁡2t)F=t(A\cos 2t+B\sin 2t), the transformed residual is −4Asin⁡2t+4Bcos⁡2t-4A\sin 2t+4B\cos 2t. Hence A=0A=0, B=1/4B=1/4. The particular solution and its first derivative vanish at zero, so y0=14te−tsin⁡2t.\boxed{y_0=\tfrac 14te^{-t}\sin 2t.} The full family is e−t[Ccos⁡2t+Dsin⁡2t+(t/4)sin⁡2t]e^{-t}[C\cos 2t+D\sin 2t+(t/4)\sin 2t]. Zero initial data force C=D=0C=D=0.

Step 3: Prove decay for every solution. For fixed C,DC,D and t≥0t\ge 0, its absolute value is at most e−t(|C|+|D|+t/4)e^{-t}(|C|+|D|+t/4), which tends to zero. The resonant factor tt does not overcome the negative exponential rate.

Step 4: Distinguish an envelope bound from an attained maximum. We have |y0(t)|≤te−t/4|y_0(t)|\le te^{-t}/4. The envelope attains its unique maximum at t=1t=1, since its derivative is e−t(1−t)/4e^{-t}(1-t)/4. Thus |y0(t)|≤1/(4e).\boxed{|y_0(t)|\le 1/(4e).} Equality would require both t=1t=1 and |sin⁡2t|=1|\sin 2t|=1. But |sin⁡2|<1|\sin 2|<1, so the response never attains this bound. It is a valid envelope estimate, not the exact largest displacement.

See the diagram in the original worksheet below.

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

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