Complex Roots — Question 7

PDF ↗

Question 7

An unknown frequency β>0\beta>0 appears in y″+β2y=0,y(0)=0,y′(0)=1.y''+\beta^2y=0,\qquad y(0)=0,\qquad y'(0)=1. Exact observations at all nonnegative integer times report y(n)=0y(n)=0.

Tasks

  1. Solve the IVP in terms of β\beta and determine every frequency compatible with the integer observations.

  2. Explain why the observations, even with the known initial slope, do not imply the zero solution and do not identify a unique frequency.

  3. An additional exact observation gives y(1/2)=1/πy(1/2)=1/\pi. Determine which of the previously possible frequencies remain. Prove that no larger candidate frequency can fit it.

  4. Sketch the candidates with β=π\beta=\pi and β=3π\beta=3\pi on [0,2][0,2], marking the integer sampling times. Explain what feature of the observation schedule hides their different oscillations.

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

Question 7 – Solution

Strategy. Solve before interpreting the data; a sampling grid can repeatedly land on zeros of a nonzero oscillation.

Step 1: Determine all admissible frequencies. The roots are ±iβ\pm i\beta, and the data give y(t)=sin⁡βtβ.\boxed{y(t)=\frac{\sin\beta t}{\beta}}. In particular, y(1)=0y(1)=0 implies sin⁡β=0\sin\beta=0, so β=mπ\beta=m\pi for a positive integer mm. Conversely, each such frequency makes every integer observation zero. The complete candidate set is therefore β=mπ,m=1,2,3,….\boxed{\beta=m\pi,\qquad m=1,2,3,\ldots}.

Step 2: Retain the slope information correctly. Each candidate has y′(t)=cos⁡(mπt)y'(t)=\cos(m\pi t) and hence y′(0)=1y'(0)=1, so each is nonzero. The zero function would violate that slope. The slope sets the sine coefficient to 1/(mπ)1/(m\pi), but still allows infinitely many frequencies. A known initial slope does not rescue a schedule that misses all intermediate oscillations.

Step 3: Use the extra observation to select a frequency. For the candidate indexed by mm, y(1/2)=sin⁡(mπ/2)mπ.y(1/2)=\frac{\sin(m\pi/2)}{m\pi}. For m=1m=1 this equals 1/π1/\pi. For every m>1m>1, its absolute value is at most 1/(mπ)<1/π1/(m\pi)<1/\pi, making agreement impossible. Thus the new datum selects exactly β=π\boxed{\beta=\pi} and y=sin⁡(πt)/πy=\sin(\pi t)/\pi.

See the diagram in the original worksheet below.

Step 4: Explain the indistinguishable samples. The integer grid samples an integer number of half-cycles for every candidate, so it always observes a zero. The two plotted curves differ between those times, including in amplitude, yet share all grid values and the initial slope. This is an explicit sampling ambiguity, not a violation of uniqueness: each fixed equation has one solution for its data, while different frequencies define different equations.

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

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