Fundamental Sets of Solutions — Question 5

PDF ↗

Question 5

The pair cos⁡t,sin⁡t\cos t,\sin t is fundamental for y″+y=0y''+y=0 on ℝ\mathbb R. Fix L>0L>0 and prescribe two position measurements y(0)=a,y(L)=b,a,b∈ℝ.y(0)=a,\qquad y(L)=b,\qquad a,b\in\mathbb R.

Tasks

  1. Find the coefficient equations and determine when the measurements select a unique solution.

  2. For every exceptional length, give necessary and sufficient conditions for existence and describe all solutions when they exist.

  3. At L=πL=\pi, describe all solutions for (a,b)=(1,−1)(a,b)=(1,-1) and decide whether any solution exists for (a,b)=(1,1)(a,b)=(1,1).

  4. Explain why the exceptional lengths do not mean that the fundamental pair has become dependent. Identify which additional measurement at zero would uniquely determine a solution.

Original worksheet page 1: question and worked solution for 3-6-005
Show solutionHide solution

Question 5 – Solution

Strategy. Distinguish a fundamental set of functions from the invertibility of a particular measurement map.

Step 1: Solve at ordinary lengths. Every solution is Acos⁡t+Bsin⁡tA\cos t+B\sin t. The position measurements give A=a,acos⁡L+Bsin⁡L=b.A=a,\qquad a\cos L+B\sin L=b. If sin⁡L≠0\sin L\ne 0, the unique solution is y=acos⁡t+b−acos⁡Lsin⁡Lsin⁡t.\boxed{y=a\cos t+\frac{b-a\cos L}{\sin L}\sin t.} Thus uniqueness holds exactly at lengths that are not positive integer multiples of π\pi.

Step 2: Classify exceptional data. If L=nπL=n\pi, n=1,2,…n=1,2,\ldots, the second equation reduces to b=(−1)nab=(-1)^n a. If this fails, there is no solution. If it holds, BB is arbitrary and all solutions are acos⁡t+Bsin⁡ta\cos t+B\sin t; there are infinitely many.

Step 3: Apply the classification. At L=πL=\pi, the data (1,−1)(1,-1) give y=cos⁡t+Bsin⁡t,B∈ℝ.\boxed{y=\cos t+B\sin t,\qquad B\in\mathbb R.} The data (1,1)(1,1) fail the necessary condition b=−ab=-a and give no solution. The figure shows three members of the compatible family.

Step 4: Explain what failed. The data vectors of cos⁡t,sin⁡t\cos t,\sin t using value and slope at zero are (1,0)(1,0) and (0,1)(0,1), so the pair remains fundamental. At L=nπL=n\pi, both endpoint positions are insensitive to the coefficient BB. Measuring y′(0)=cy'(0)=c fixes B=cB=c uniquely; the endpoint data must still be compatible with that solution.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 3-6-005

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