Fourier Sine Series — Question 3

PDF ↗

Question 3

A tent on [0,1][0,1] has height H>0H>0 and peak at a∈(0,1)a\in(0,1): f(x)={Hx/a,0≤x≤a,H(1−x)/(1−a),a≤x≤1.f(x)=\begin{cases}Hx/a,&0\leq x\leq a,\\H(1-x)/(1-a),&a\leq x\leq 1.\end{cases} Its sine coefficients are bn=2∫01f(x)sin⁡(nπx)dxb_n=2\int_0^1f(x)\sin(n\pi x)dx.

Tasks

  1. Integrate separately on the two sides of the corner to derive bnb_n. Explain why the corner contributes even though both endpoint values vanish.

  2. For a=1/3,H=1a=1/3,H=1, identify all missing modes and prove that the sine series converges uniformly to the tent on the entire closed interval.

  3. Suppose the only known coefficient data are b1>0b_1>0 and b2/b1=1/4b_2/b_1=1/4, and the signal is known to be a tent of this form. Recover a,Ha,H uniquely in terms of b1b_1.

  4. Compare a tent with its reflection f(1−x)f(1-x). State how each coefficient changes and explain why the absolute values of all coefficients cannot distinguish the two peak locations. Sketch the a=1/3,H=1a=1/3,H=1 tent and its first twelve-mode sum.

Original worksheet page 1: question and worked solution for 8-4-003
Show solutionHide solution

Question 3 – Solution

Strategy. Retain the change in slope at the interior corner when integrating by parts.

Step 1: Compute the corner contribution. Put k=nπk=n\pi. One integration by parts removes the zero endpoint terms; integrating each constant slope then gives ∫01fsin⁡(kx)dx=1k2(Ha+H1−a)sin⁡(ka).\int_0^1f\sin(kx)dx =\frac 1{k^2}\left(\frac Ha+\frac H{1-a}\right)\sin(ka). Thus bn=2Hsin⁡(nπa)/[π2a(1−a)n2]\boxed{b_n=2H\sin(n\pi a)/[\pi^2a(1-a)n^2]}. The nonzero slope change, not an endpoint displacement, supplies these terms.

Step 2: Identify missing modes and convergence. For a=1/3,H=1a=1/3,H=1, bn=9sin⁡(nπ/3)/(π2n2)\boxed{b_n=9\sin(n\pi/3)/(\pi^2n^2)}. Exactly the multiples of three vanish. The bound |bn|≤9/(π2n2)|b_n|\leq 9/(\pi^2n^2) gives uniform absolute convergence by the Weierstrass test. The continuous, piecewise linear odd extension satisfies the Fourier convergence theorem, so the sum is the tent at every point, including both endpoints and the corner.

Step 3: Recover the unknown tent. Because sin⁡(πa)>0\sin(\pi a)>0, b2/b1=sin⁡(2πa)/(4sin⁡πa)=12cos⁡πab_2/b_1=\sin(2\pi a)/(4\sin\pi a)=\tfrac 12\cos\pi a. The measured ratio gives cos⁡πa=1/2\cos\pi a=1/2, hence a=1/3\boxed{a=1/3} uniquely on (0,1)(0,1). Substituting into b1b_1 gives H=2π2b193.\boxed{H=\frac{2\pi^2b_1}{9\sqrt 3}.}

Step 4: Interpret reflection and lost sign information. Under x↦1−xx\mapsto 1-x, sin⁡(nπ(1−x))=(−1)n+1sin⁡(nπx)\sin(n\pi(1-x))=(-1)^{n+1}\sin(n\pi x). A change of variable gives bnreflected=(−1)n+1bn\boxed{b_n^{\mathrm{reflected}}=(-1)^{n+1}b_n}. Odd modes are unchanged and even modes reverse sign. All magnitudes therefore coincide, so they cannot distinguish aa from 1−a1-a when those locations differ.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 8-4-003

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