More on the Wronskian — Question 7

PDF ↗

Question 7

Let pp be C1C^1 and qq continuous on an open interval II containing zero, and set P(t)=∫0tp(s)dsP(t)=\int_0^t p(s)\,ds. Consider the substitution y=e−P/2zy=e^{-P/2}z in y″+py′+qy=0y''+py'+qy=0.

Tasks

  1. Derive the differential equation satisfied by zz and show that its first-derivative term vanishes.

  2. For two transformed solutions, derive the relation between their Wronskian and the original pair’s Wronskian. Explain why the transformed Wronskian is constant.

  3. Apply the method to y′′+2ty′+(t2+3)y=0y\prime\prime+2ty\prime+(t^2+3)y=0 on ℝ\mathbb R. Construct a fundamental pair normalized to data (1,0)(1,0) and (0,1)(0,1) at zero and compute its Wronskian.

  4. Solve y(0)=1y(0)=1, y′(0)=2y\prime(0)=2 and explain why both members of your fundamental pair tending to zero as t→∞t\to\infty does not contradict independence.

Original worksheet page 1: question and worked solution for 3-7-007
Show solutionHide solution

Question 7 – Solution

Strategy. A common nonzero multiplier changes the Wronskian by its square and can remove the first-derivative coefficient.

Step 1: Differentiate the substitution. Put h=e−P/2h=e^{-P/2}, so h′/h=−p/2h'/h=-p/2 and h″/h=−p′/2+p2/4h''/h=-p'/2+p^2/4. Substitution of y=hzy=hz gives z″+(2h′/h+p)z′+(h″/h+ph′/h+q)z=0,z''+(2h'/h+p)z'+(h''/h+ph'/h+q)z=0, and therefore z″+[q−p′/2−p2/4]z=0.\boxed{z''+[q-p'/2-p^2/4]z=0.}

Step 2: Transform the determinant. Expanding derivatives cancels the terms containing hh′hh': W[hz1,hz2]=h2W[z1,z2]=e−PW[z1,z2].\boxed{W[hz_1,hz_2]=h^2W[z_1,z_2]=e^{-P}W[z_1,z_2].} The transformed equation has no first-derivative term, so its Wronskian has derivative zero. The nonzero multiplier preserves independence.

Step 3: Solve the transformed example. Here P=t2P=t^2 and q−p′/2−p2/4=t2+3−1−t2=2q-p'/2-p^2/4=t^2+3-1-t^2=2. Thus z″+2z=0z''+2z=0, and the normalized pair is ϕ=e−t2/2cos⁡(2t),ψ=e−t2/2sin⁡(2t)2.\boxed{\phi=e^{-t^2/2}\cos(\sqrt 2t),\qquad \psi=e^{-t^2/2}\frac{\sin(\sqrt 2t)}{\sqrt 2}.} At zero, h=1h=1 and h′=0h'=0, so the data remain (1,0)(1,0) and (0,1)(0,1). The transformed Wronskian is 11, giving W[ϕ,ψ]=e−t2>0W[\phi,\psi]=e^{-t^2}>0 everywhere.

Step 4: Match and interpret. The normalized data give y=ϕ+2ψ=e−t2/2[cos⁡(2t)+2sin⁡(2t)].\boxed{y=\phi+2\psi=e^{-t^2/2}[\cos(\sqrt 2t)+\sqrt 2\sin(\sqrt 2t)].} Its value and slope at zero are 1,21,2. Both basis functions decay to zero because their trigonometric factors are bounded and the Gaussian factor decays. Dependence would require an exact constant relation on the interval; the strictly positive finite-time Wronskian rules that out.

Original worksheet page 2: question and worked solution for 3-7-007

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