More on the Wronskian — Question 9

PDF ↗

Question 9

On ℝ\mathbb R, consider the original undivided equation t2y″−2ty′+2y=0t^2y''-2ty'+2y=0 and the smooth candidates u=tu=t, v=t2v=t^2. A classical global solution here means a C2C^2 function on ℝ\mathbb R satisfying this undivided equation at every point.

Tasks

  1. Verify both candidates and compute their Wronskian. Determine their independence on ℝ\mathbb R and identify every zero of the Wronskian.

  2. Apply Abel’s identity separately on the two largest regular intervals. Explain why its zero-or-never-zero conclusion cannot be applied across zero.

  3. Find every classical global solution by matching the general solutions from the negative and positive sides through zero.

  4. Find all global solutions with y(0)=0y(0)=0, y′(0)=1y\prime(0)=1. Explain both the failure of uniqueness and why no regular normalized equation through zero can have this candidate pair as solutions.

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

Question 9 – Solution

Strategy. The singular leading coefficient changes which interval hypotheses are available; explicitly match derivatives to determine global solutions.

Step 1: Verify and compute. The residuals are −2t+2t=0-2t+2t=0 and 2t2−4t2+2t2=02t^2-4t^2+2t^2=0. Also W[t,t2]=t(2t)−1(t2)=t2.\boxed{W[t,t^2]=t(2t)-1(t^2)=t^2.} It is zero only at t=0t=0. The functions are independent on ℝ\mathbb R, since At+Bt2≡0At+Bt^2\equiv 0 forces A=B=0A=B=0.

Step 2: Respect the regular intervals. Division by t2t^2 gives p=−2/tp=-2/t, q=2/t2q=2/t^2, continuous on (−∞,0)(-\infty,0) and (0,∞)(0,\infty). On either interval Abel’s identity gives W=Ct2W=Ct^2, with the constant fixed within that interval. For this pair it is C=1C=1 on both sides. There is no regular interval containing zero. Abel’s conclusion applies separately on the two intervals and makes no assertion across zero.

Step 3: Match all global solutions. The pair is fundamental on either side, so write A−t+B−t2A_-t+B_-t^2 for t<0t<0 and A+t+B+t2A_+t+B_+t^2 for t>0t>0. Continuity forces y(0)=0y(0)=0. Matching first derivatives forces A−=A+A_-=A_+; matching second derivatives forces B−=B+B_-=B_+. Conversely every resulting polynomial solves the equation globally. Thus y=At+Bt2on ℝ.\boxed{y=At+Bt^2\quad\text{on }\mathbb R.}

Step 4: Inspect the singular data. The data give A=1A=1 but leave BB arbitrary, so all solutions are y=t+Bt2\boxed{y=t+Bt^2}. Uniqueness fails despite this two-dimensional global family. No regular normalized equation through zero could include v=t2v=t^2: at zero its value and slope vanish while its second derivative is 22, making the normalized equation impossible there.

See the diagram in the original worksheet below.

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

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