The Definition — Question 2

PDF ↗

Question 2

For real ss, use F(s)=∫0∞e−stf(t)dtF(s)=\int_0^\infty e^{-st}f(t)\,dt whenever this ordinary improper integral converges.

Consider the finite-duration triangular signal f(t)={t,0≤t≤1,2−t,1<t≤2,0,t>2.f(t)=\begin{cases}t,&0\le t\le 1,\\2-t,&1<t\le 2,\\0,&t>2.\end{cases}

Tasks

  1. Compute F(s)F(s) directly by integrating over the two nonzero pieces, first for s≠0s\ne 0.

  2. Determine its full real convergence set and compute F(0)F(0) directly. Is the apparent singularity at zero a true divergence?

  3. Prove F(−s)=e2sF(s)F(-s)=e^{2s}F(s) by a change of variable, using the symmetry of the triangle.

  4. If the value at t=1t=1 alone is changed to 100100, does the transform change? Explain what this example says about recovering individual point values from an integral transform.

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

Question 2 – Solution

Strategy. Finite support guarantees convergence for every real parameter. Apparent poles in a simplified expression must be checked against the original integral.

Step 1: Integrate both pieces. For s≠0s\ne 0, integration by parts gives ∫01te−stdt=1−(1+s)e−ss2,∫12(2−t)e−stdt=(s−1)e−s+e−2ss2.\int_0^1te^{-st}\,dt=\frac{1-(1+s)e^{-s}}{s^2},\qquad \int_1^2(2-t)e^{-st}\,dt=\frac{(s-1)e^{-s}+e^{-2s}}{s^2}. Adding yields F(s)=(1−e−s)2s2(s≠0).\boxed{F(s)=\frac{(1-e^{-s})^2}{s^2}\quad(s\ne 0).}

Step 2: Restore the missing parameter value. For any fixed real ss, the integrand is bounded and piecewise continuous on [0,2][0,2], and vanishes afterward. Thus the real convergence set is all of ℝ\mathbb R. At zero, the integral is the triangle’s area: F(0)=1.\boxed{F(0)=1.} Also (1−e−s)/s→1(1-e^{-s})/s\to 1 as s→0s\to 0, so the simplified formula has a removable singularity, not divergent integral behavior.

Step 3: Use reflection symmetry. On [0,2][0,2], f(2−u)=f(u)f(2-u)=f(u). Substituting u=2−tu=2-t gives F(−s)=∫02estf(t)dt=e2s∫02e−suf(2−u)du=e2sF(s).F(-s)=\int_0^2e^{st}f(t)\,dt =e^{2s}\int_0^2e^{-su}f(2-u)\,du=e^{2s}F(s). This holds at zero as well. Equivalently, esF(s)e^sF(s) is an even function of ss, expressing symmetry about the triangle’s midpoint.

Step 4: Distinguish a point from an interval. Changing one finite point value does not change any of these Riemann integrals, so the transform is unchanged. The modified function is different at one point but agrees elsewhere. Therefore the transform alone cannot recover arbitrary isolated point assignments; this observation does not contradict uniqueness results that impose continuity.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 4-1-002

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