Variation of Parameters — Question 3

PDF ↗

Question 3

On ℝ\mathbb R, consider y″−2y′+y=et1+t2,y(0)=y′(0)=0.y''-2y'+y=\frac{e^t}{1+t^2},\qquad y(0)=y'(0)=0. Use y1=ety_1=e^t and y2=tety_2=te^t.

Tasks

  1. Compute the Wronskian and use variation of parameters to solve the initial-value problem.

  2. Independently verify the result by writing y=etF(t)y=e^tF(t) and simplifying the differential equation for FF.

  3. Prove that the selected response is strictly positive for every t>0t>0.

  4. Find lim⁡t→∞y(t)/(tet)\lim_{t\to\infty}y(t)/(te^t) and interpret the effect of the factor 1/(1+t2)1/(1+t^2) in the forcing.

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

Question 3 – Solution

Strategy. The repeated homogeneous root is handled by the Wronskian; an exponential substitution provides an independent residual check.

Step 1: Compute and integrate. The Wronskian is et(1+t)et−te2t=e2te^t(1+t)e^t-te^{2t}=e^{2t}. Hence u1′=−t1+t2,u2′=11+t2.u_1'=-\frac{t}{1+t^2},\qquad u_2'=\frac{1}{1+t^2}. Integrating from zero gives u1=−12ln⁡(1+t2)u_1=-\tfrac 12\ln(1+t^2) and u2=arctan⁡tu_2=\arctan t. Therefore y=et[tarctan⁡t−12ln⁡(1+t2)].\boxed{y=e^t[t\arctan t-\tfrac 12\ln(1+t^2)].} Zero integration endpoints ensure y(0)=y′(0)=0y(0)=y'(0)=0.

Step 2: Check by a different calculation. Writing y=etFy=e^tF gives y″−2y′+y=etF″y''-2y'+y=e^tF''. For the displayed bracket, F′=arctan⁡t,F″=11+t2,F(0)=F′(0)=0.F'=\arctan t,\qquad F''=\frac{1}{1+t^2},\qquad F(0)=F'(0)=0. These identities verify the equation and both data independently. All coefficients and the forcing are continuous on ℝ\mathbb R, so this is the unique global IVP solution.

Step 3: Prove the sign. For t>0t>0, F(t)=∫0tarctan⁡sds>0F(t)=\int_0^t\arctan s\,ds>0. Equivalently, F(t)=∫0t(t−s)/(1+s2)dsF(t)=\int_0^t(t-s)/(1+s^2)\,ds has a positive integrand in the interior. Since et>0e^t>0, the response is strictly positive.

Step 4: Compare the growth rate. For t>0t>0, ytet=arctan⁡t−ln⁡(1+t2)2t→π/2.\frac{y}{te^t}=\arctan t-\frac{\ln(1+t^2)}{2t}\longrightarrow\boxed{\pi/2}. Although the forcing is smaller than ete^t by a factor tending to zero, the zero-data response is asymptotic to (π/2)tet(\pi/2)te^t. The graph shows the transformed response F=e−tyF=e^{-t}y, whose slope tends to π/2\pi/2; it is not a plot of yy itself.

See the diagram in the original worksheet below.

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

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