Nonhomogeneous Differential Equations — Question 8

PDF ↗

Question 8

Let u,vu,v satisfy the same forced equation y″+p(t)y′+q(t)y=g(t)y''+p(t)y'+q(t)y=g(t) on a regular interval, and write W=uv′−u′vW=uv'-u'v. For a concrete example on ℝ\mathbb R, take u=1−cos⁡t,v=1−cos⁡t+sin⁡t.u=1-\cos t,\qquad v=1-\cos t+\sin t.

Tasks

  1. Derive the differential identity for WW when the common forcing is nonzero.

  2. Verify that the example functions solve y′′+y=1y\prime\prime+y=1. Compute their Wronskian and explain why its zero at zero does not force it to vanish everywhere.

  3. Prove that the two example functions are linearly independent as functions, and identify the homogeneous solution obtained from their difference.

  4. Classify the constant affine combinations of u,vu,v that solve the same forced equation. Which initial values and slopes at zero can they attain, and do they give the entire forced solution set?

Original worksheet page 1: question and worked solution for 3-8-008
Show solutionHide solution

Question 8 – Solution

Strategy. Recompute the Wronskian identity with the forcing included, then distinguish linear independence from a homogeneous fundamental set.

Step 1: Keep the forcing terms. Differentiating and substituting gives W′=uv″−u″v=u(g−pv′−qv)−v(g−pu′−qu),W'=uv''-u''v=u(g-pv'-qv)-v(g-pu'-qu), so W′=−pW+g(u−v).\boxed{W'=-pW+g(u-v).} The extra term is absent from Abel’s homogeneous identity and generally does not vanish.

Step 2: Verify the example. We have u″+u=cos⁡t+1−cos⁡t=1u''+u=\cos t+1-\cos t=1, and adding sin⁡t\sin t preserves this forcing. Direct computation gives W=(1−cos⁡t)cos⁡t−sin⁡2t=cos⁡t−1.\boxed{W=(1-\cos t)\cos t-\sin^2t=\cos t-1.} It is zero at 00 but equals −2-2 at π\pi. Its derivative is −sin⁡t-\sin t, matching g(u−v)=−sin⁡tg(u-v)=-\sin t. The homogeneous zero-or-never-zero conclusion is inapplicable to this forced pair.

Step 3: Test independence. If Au+Bv=0Au+Bv=0, evaluation at π\pi gives 2A+2B=02A+2B=0 and at π/2\pi/2 gives A+2B=0A+2B=0. Hence A=B=0A=B=0. The difference v−u=sin⁡tv-u=\sin t solves the associated homogeneous equation. Independence of the forced functions does not make them a fundamental set of homogeneous solutions.

Step 4: Describe their affine family. The forcing of Au+BvAu+Bv is A+BA+B, so retaining forcing 11 requires A+B=1A+B=1. Such combinations are u+Bsin⁡t=1−cos⁡t+Bsin⁡t.\boxed{u+B\sin t=1-\cos t+B\sin t.} They have initial value zero and arbitrary slope BB. They give exactly the forced solutions with initial value zero, but miss every solution with a different initial value. The full family is 1+Ccos⁡t+Dsin⁡t1+C\cos t+D\sin t, with two independent initial-data freedoms.

Original worksheet page 2: question and worked solution for 3-8-008

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