More on the Wronskian — Question 10

PDF ↗

Question 10

Let u,vu,v be C2C^2 real functions on an interval and let θ\theta be a real C2C^2 function. Define time-dependent combinations f=ucos⁡θ+vsin⁡θ,g=−usin⁡θ+vcos⁡θ.f=u\cos\theta+v\sin\theta,\qquad g=-u\sin\theta+v\cos\theta. At every time the two-by-two coefficient matrix has determinant 11.

Tasks

  1. Derive the actual expression for W[f,g]W[f,g] in terms of u,v,θu,v,\theta and their derivatives. Explain why the constant change-of-basis formula cannot simply be used.

  2. Take u=cos⁡tu=\cos t, v=sin⁡tv=\sin t, θ=t\theta=t on ℝ\mathbb R. Compute f,gf,g and their Wronskian. Does the pointwise invertibility preserve a fundamental set for y′′+y=0y\prime\prime+y=0?

  3. Keep the same u,vu,v but take θ=t/2\theta=t/2. Show that a nonzero resulting Wronskian still does not make the new pair solutions of the original equation.

  4. For these trigonometric u,vu,v, classify every real C2C^2 function θ\theta on ℝ\mathbb R for which both f,gf,g solve y′′+y=0y\prime\prime+y=0.

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

Question 10 – Solution

Strategy. Differentiate the moving coefficients too; pointwise invertibility is not a constant linear transformation of solution functions.

Step 1: Include the extra derivative terms. In the derivatives of f,gf,g, the terms involving u′,v′u',v' contribute W[u,v]W[u,v], as in a constant rotation. The remaining terms are θ′g\theta'g in f′f' and −θ′f-\theta'f in g′g'. Hence W[f,g]=W[u,v]−θ′(f2+g2)=W[u,v]−θ′(u2+v2).\boxed{W[f,g]=W[u,v]-\theta'(f^2+g^2) =W[u,v]-\theta'(u^2+v^2).} The additional term is exactly what the constant-coefficient formula omits.

Step 2: Observe a complete collapse. For u=cos⁡tu=\cos t, v=sin⁡tv=\sin t, the addition formulas give f=cos⁡(t−θ)f=\cos(t-\theta), g=sin⁡(t−θ)g=\sin(t-\theta). At θ=t\theta=t, f=1f=1 and g=0g=0, so W=0W=0. They are dependent, and f″+f=1≠0f''+f=1\ne 0. Pointwise invertibility of the moving coefficient matrix does not preserve the solution space.

Step 3: Test a nonzero determinant. At θ=t/2\theta=t/2, the functions are cos⁡(t/2),sin⁡(t/2)\cos(t/2),\sin(t/2) and W=1/2W=1/2. Each has y″+y=(3/4)yy''+y=(3/4)y, so neither solves the original equation identically. They instead form a fundamental set for y″+y/4=0y''+y/4=0.

Step 4: Classify all valid rotations. Put φ=t−θ\varphi=t-\theta. The residuals for f=cos⁡φf=\cos\varphi, g=sin⁡φg=\sin\varphi are (1−φ′2)cos⁡φ−φ″sin⁡φ,(1−φ′2)sin⁡φ+φ″cos⁡φ.(1-\varphi'^2)\cos\varphi-\varphi''\sin\varphi,\qquad (1-\varphi'^2)\sin\varphi+\varphi''\cos\varphi. Both vanish exactly when φ′2=1\varphi'^2=1 and φ″=0\varphi''=0, since the displayed rotation is invertible. On the connected real line this gives φ=±t+C\varphi=\pm t+C, hence θ(t)=Corθ(t)=2t+C,C∈ℝ.\boxed{\theta(t)=C\quad\text{or}\quad\theta(t)=2t+C,\qquad C\in\mathbb R.} In the second case the final functions are still constant combinations of cos⁡t,sin⁡t\cos t,\sin t, despite their time-dependent defining coefficients.

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

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