More on the Wronskian — Question 2

PDF ↗

Question 2

Let u,vu,v solve y″+2y′+q(t)y=0y''+2y'+q(t)y=0 on ℝ\mathbb R, where qq is continuous, with data (u(0),u′(0))=(1,0),(v(0),v′(0))=(0,1).(u(0),u'(0))=(1,0),\qquad(v(0),v'(0))=(0,1). Define f=2u−vf=2u-v and g=3u+4vg=3u+4v. At each time, regard (f,f′)(f,f') and (g,g′)(g,g') as vectors in the value–slope plane.

Tasks

  1. For arbitrary constants a,b,c,da,b,c,d, derive the formula relating W[au+bv,cu+dv]W[au+bv,cu+dv] to W[u,v]W[u,v].

  2. Find W[f,g](t)W[f,g](t) and decide whether f,gf,g form a fundamental set. Explain the effect of reversing their order.

  3. Interpret the Wronskian as oriented parallelogram area. Find the ordinary area at time zero and the first nonnegative time at which it is half that size.

  4. Can the two state vectors become parallel at a finite time? Explain what their area tending to zero does and does not imply.

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

Question 2 – Solution

Strategy. Separate the constant determinant of a basis change from the time evolution supplied by Abel’s identity.

Step 1: Expand the determinant. Terms containing uu′uu' or vv′vv' cancel, leaving W[au+bv,cu+dv]=(ad−bc)W[u,v].\boxed{W[au+bv,cu+dv]=(ad-bc)W[u,v].} The constants may be factored through differentiation; this step would require extra terms for time-dependent coefficients.

Step 2: Apply the two determinants. Here W[u,v](0)=1W[u,v](0)=1 and p=2p=2, so W[u,v]=e−2tW[u,v]=e^{-2t}. The coefficient determinant is 2⋅4−(−1)⋅3=112\cdot 4-(-1)\cdot 3=11, hence W[f,g]=11e−2t>0.\boxed{W[f,g]=11e^{-2t}>0.} Both combinations solve the equation and are independent, so they are fundamental. Reversing their order negates the Wronskian but leaves independence unchanged.

Step 3: Compute the area. The columns (f,f′)(f,f'), (g,g′)(g,g') have signed area W[f,g]W[f,g] and ordinary area |W[f,g]||W[f,g]|. At zero they are (2,−1)(2,-1) and (3,4)(3,4), with area 1111. The half-area equation gives 11e−2t=11/2,t=12ln⁡2.11e^{-2t}=11/2,\qquad\boxed{t=\tfrac 12\ln 2.} The area is strictly decreasing for t≥0t\ge 0, so this is the first such time.

Step 4: Distinguish collapse from a limit. The determinant never vanishes at finite tt, so the two state vectors never become parallel there. The area tends to zero as t→∞t\to\infty; this does not destroy finite-time independence. Area alone also does not specify the lengths of the two vectors or their angle separately.

See the diagram in the original worksheet below.

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

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