More on the Wronskian — Question 3

PDF ↗

Question 3

Consider the functions u(t)=t3u(t)=t^3 and v(t)=|t|3v(t)=|t|^3 on ℝ\mathbb R. A student claims that a Wronskian which is identically zero always proves linear dependence of two C2C^2 functions.

Tasks

  1. Prove that both functions are C2C^2 on ℝ\mathbb R, explicitly checking the derivatives of vv at zero.

  2. Compute W[u,v]W[u,v] everywhere and determine whether the two functions are linearly independent on ℝ\mathbb R.

  3. Explain precisely why the common regular-equation theorem does not contradict your result. Could both functions solve a normalized equation with continuous coefficients on ℝ\mathbb R?

  4. Verify that both solve the undivided equation t2y′′−2ty′=0t^2y\prime\prime-2ty\prime=0 on ℝ\mathbb R. Compare the ratio v/uv/u on the two sides of zero.

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

Question 3 – Solution

Strategy. Check the counterexample directly, then identify the hypothesis missing from the student’s assertion.

Step 1: Check regularity. For t≠0t\ne 0, v′=3t|t|v'=3t|t| and v″=6|t|v''=6|t|. At zero, v′(0)=limh→0|h|3/h=0,v″(0)=limh→03h|h|/h=0.v'(0)=\lim_{h\to 0}|h|^3/h=0,\qquad v''(0)=\lim_{h\to 0}3h|h|/h=0. These agree continuously with the formulas away from zero, so vv is C2C^2; uu is a polynomial and is smooth.

Step 2: Compare the Wronskian and independence. On t>0t>0, v=uv=u; on t<0t<0, v=−uv=-u. Thus W=0W=0 on each side, and at zero both data columns are zero, so W≡0\boxed{W\equiv 0}. Yet Au+Bv=0Au+Bv=0 on all of ℝ\mathbb R forces A+B=0A+B=0 on the positive side and A−B=0A-B=0 on the negative side. Hence A=B=0A=B=0: the functions are independent on ℝ\mathbb R.

Step 3: Restore the missing hypothesis. The zero-Wronskian implication requires solutions of one common regular homogeneous linear equation on a connected interval, not merely two C2C^2 functions. The nonzero solution uu would have zero value and slope at zero, contradicting regular uniqueness. Thus no normalized equation with continuous coefficients on ℝ\mathbb R can have both as solutions.

Step 4: Verify a singular equation. For uu, the residual is t2(6t)−2t(3t2)=0t^2(6t)-2t(3t^2)=0. On each side v=±uv=\pm u, so its residual also vanishes; at zero both terms vanish. The leading coefficient is zero there. The ratio v/uv/u is 11 on t>0t>0 and −1-1 on t<0t<0, and is undefined at the shared zero. Local constant ratios need not join into one global constant.

See the diagram in the original worksheet below.

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

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