Reduction of Order — Question 2

PDF ↗

Question 2

On t>0t>0, consider t2y″−3ty′+4y=0,y(1)=1,y′(1)=3.t^2y''-3ty'+4y=0,\qquad y(1)=1,\quad y'(1)=3. A proposed known solution is y1=t2y_1=t^2.

Tasks

  1. Verify y1y_1 and use reduction of order to find the general solution.

  2. Solve the initial-value problem and verify both data.

  3. Find every zero and stationary point of this solution on t>0t>0, and classify the stationary point.

  4. Determine whether this solution has a C1C^1 extension and whether it has a C2C^2 extension through t=0t=0. Justify using one-sided limits.

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

Question 2 – Solution

Strategy. Normalize the equation before reduction, then use exact derivatives to study the singular endpoint.

Step 1: Find the missing solution. For t2t^2, the residual is (2−6+4)t2=0(2-6+4)t^2=0. With y=t2vy=t^2v, the divided equation reduces to v″+1tv′=0,v′=D/t,y=t2(C+Dln⁡t).v''+\frac 1t v'=0,\qquad v'=D/t,\qquad \boxed{y=t^2(C+D\ln t).}

Step 2: Impose the data. At 11, y=Cy=C and y′=2C+Dy'=2C+D. Thus C=D=1C=D=1 and y=t2(1+ln⁡t),y′=t(3+2ln⁡t),y″=5+2ln⁡t.\boxed{y=t^2(1+\ln t)},\qquad y'=t(3+2\ln t),\quad y''=5+2\ln t. These give y(1)=1y(1)=1 and y′(1)=3y'(1)=3.

Step 3: Locate the features. The sole zero is t=e−1t=e^{-1}. The derivative changes from negative to positive at t=e−3/2t=e^{-3/2}, giving the unique global minimum (t,y)=(e−3/2,−12e−3).(t,y)=(e^{-3/2},-\tfrac 12 e^{-3}).

Step 4: Test endpoint regularity. As t↓0t\downarrow 0, both yy and y′y' tend to zero, but y″→−∞y''\to-\infty. Setting y=0y=0 for t≤0t\le 0 gives a C1C^1 extension (the derivative at zero is also lim⁡y(t)/t=0\lim y(t)/t=0). No C2C^2 extension is possible. The leading coefficient vanishes at zero, so the regular normalized theorem does not apply there.

See the diagram in the original worksheet below.

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

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