Reduction of Order — Question 6

PDF ↗

Question 6

On t>0t>0, consider ty″−(t+1)y′+y=0,y1=et.ty''-(t+1)y'+y=0,\qquad y_1=e^t. A student inserts the undivided coefficient −(t+1)-(t+1) into the usual normalized reduction formula and obtains v′=et2/2−tv'=e^{t^2/2-t}.

Tasks

  1. Verify the seed, normalize the equation, and derive the correct equation for w=v′w=v\prime.

  2. Find the full solution family and solve y(1)=0y(1)=0, y′(1)=1y\prime(1)=1.

  3. Compute the residual of the student’s candidate y=etvy=e^tv, with v′=et2/2−tv\prime=e^{t^2/2-t}. Explain why testing only t=1t=1 would miss the error.

  4. For the original undivided equation at t=0t=0, find the necessary relation between value and slope. Exhibit two distinct smooth solutions with zero value and slope there.

Original worksheet page 1: question and worked solution for 3-5-006
Show solutionHide solution

Question 6 – Solution

Strategy. The coefficient in the standard formula is the coefficient after division by the leading term.

Step 1: Normalize. For ete^t, the residual is [t−(t+1)+1]et=0[t-(t+1)+1]e^t=0. Division gives p=−1−1/tp=-1-1/t, so w′+(1−1/t)w=0,w=Cte−t.w'+(1-1/t)w=0,\qquad w=Cte^{-t}.

Step 2: Integrate and fit. Since ∫te−tdt=−(t+1)e−t\int te^{-t}\,dt=-(t+1)e^{-t}, y=Aet+B(t+1).y=Ae^t+B(t+1). At 11 the data give Ae+2B=0Ae+2B=0 and Ae+B=1Ae+B=1. Thus B=−1B=-1, A=2/eA=2/e, and y=2et−1−(t+1).\boxed{y=2e^{t-1}-(t+1).} Both basis functions have zero residual, and substitution at 11 gives 0,10,1.

Step 3: Diagnose the error. For any vv, the undivided residual of etve^tv is et[tw′+(t−1)w].e^t[tw'+(t-1)w]. The student’s ww satisfies w′=(t−1)ww'=(t-1)w, giving residual et(t2−1)et2/2−t.e^t(t^2-1)e^{t^2/2-t}. This is zero at t=1t=1 but equals 3e23e^2 at t=2t=2. A single vanishing residual does not establish a differential identity.

Step 4: Examine the singular initial point. At zero the original equation requires y′(0)=y(0)y'(0)=y(0). Both y=0y=0 and y=et−(t+1)y=e^t-(t+1) are smooth solutions through zero with value and slope zero; the second is nonzero, for example because its second derivative at zero is 11. The regular initial-value theorem fails here because the leading coefficient vanishes. Compatibility does not imply uniqueness.

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

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