Variation of Parameters — Question 9

PDF ↗

Question 9

Let ff be continuous on [0,π][0,\pi]. Seek C2C^2 solutions of y″+y=f(t),y(0)=y(π)=0.y''+y=f(t),\qquad y(0)=y(\pi)=0. Use variation of parameters; no general boundary-value theory is required.

Tasks

  1. Write every solution satisfying the first endpoint condition, using its free initial slope AA.

  2. Derive a necessary and sufficient condition on ff for the second endpoint condition. Explain uniqueness or nonuniqueness when the condition holds.

  3. Apply the criterion to f=1f=1 and f=cos⁡tf=\cos t, and find all solutions in the latter case.

  4. For f=cos⁡tf=\cos t, impose the additional condition ∫0πy(t)dt=0\int_0^\pi y(t)\,dt=0. Determine whether it selects a unique solution and find it.

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

Question 9 – Solution

Strategy. Variation of parameters supplies all initial-value responses; evaluating the integral at the second endpoint reveals the obstruction.

Step 1: Keep the free slope. The homogeneous pair is cos⁡t,sin⁡t\cos t,\sin t, with W=1W=1. Integrating the parameter derivatives from zero and imposing y(0)=0y(0)=0 gives every candidate: y(t)=Asin⁡t+∫0tsin⁡(t−s)f(s)ds,y′(0)=A.y(t)=A\sin t+\int_0^t\sin(t-s)f(s)\,ds, \qquad y'(0)=A. Differentiating this formula verifies the equation and shows no candidate has been lost.

Step 2: Evaluate the second endpoint. Since sin⁡π=0\sin\pi=0 and sin⁡(π−s)=sin⁡s\sin(\pi-s)=\sin s, the remaining condition is ∫0πsin⁡sf(s)ds=0.\boxed{\int_0^\pi\sin s\,f(s)\,ds=0.} If it fails, no choice of AA helps. If it holds, every real AA works: there are infinitely many solutions, differing by Asin⁡tA\sin t. Thus this endpoint pair never selects exactly one solution for a compatible forcing.

Step 3: Compare the two forcings. For f=1f=1, the integral is 22, so there is no solution. For f=cos⁡tf=\cos t, it is ∫0πsin⁡scos⁡sds=0\int_0^\pi\sin s\cos s\,ds=0. Evaluation of the response integral, or a direct residual check, gives y(t)=(A+t/2)sin⁡t,A∈ℝ.\boxed{y(t)=(A+t/2)\sin t,\quad A\in\mathbb R.} Indeed, (tsin⁡t/2)″+tsin⁡t/2=cos⁡t(t\sin t/2)''+t\sin t/2=\cos t, and both endpoints vanish.

Step 4: Apply the extra measurement. The needed integrals are ∫0πsin⁡tdt=2\int_0^\pi\sin t\,dt=2 and, by integration by parts, ∫0πtsin⁡tdt=π\int_0^\pi t\sin t\,dt=\pi. Thus 0=2A+π/2,A=−π/4,y(t)=(t/2−π/4)sin⁡t.0=2A+\pi/2,\qquad A=-\pi/4, \quad \boxed{y(t)=(t/2-\pi/4)\sin t.} The coefficient of AA in this measurement is nonzero, so it selects exactly one member of the compatible family. This does not contradict the earlier nonuniqueness: the added integral condition supplies new information.

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

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