Laplace Transforms — Question 1

PDF ↗

Question 1

For real ss, write ℒ{f}(s)=F(s)=∫0∞e−stf(t)dt\mathcal L\{f\}(s)=F(s)=\int_0^\infty e^{-st}f(t)\,dt where the integral converges.

Let f(t)=sin⁡2(3t)f(t)=\sin^2(3t). A student proposes ℒ{sin⁡2(3t)}(s)=[ℒ{sin⁡3t}(s)]2.\mathcal L\{\sin^2(3t)\}(s)=[\mathcal L\{\sin 3t\}(s)]^2. You may use ℒ{1}=1/s\mathcal L\{1\}=1/s, ℒ{cos⁡bt}=s/(s2+b2)\mathcal L\{\cos bt\}=s/(s^2+b^2) and ℒ{sin⁡bt}=b/(s2+b2)\mathcal L\{\sin bt\}=b/(s^2+b^2) for s>0s>0.

Tasks

  1. Find the correct transform using a trigonometric identity and linearity.

  2. Determine the full real convergence set and compare the correct result with the student’s proposed expression.

  3. Use |sin⁡x|≤|x||\sin x|\le|x| to prove a direct upper bound for the transform when s>0s>0.

  4. Use u=stu=st in the defining integral to derive lim⁡s→∞s3F(s)\lim_{s\to\infty}s^3F(s) independently of the rational formula. Explain how this limit diagnoses the proposed product rule.

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

Question 1 – Solution

Strategy. Linearity applies to sums and scalar multiples, not to pointwise products. A large-parameter check can expose the distinction.

Step 1: Rewrite the function before transforming. Since sin⁡2(3t)=(1−cos⁡6t)/2\sin^2(3t)=(1-\cos 6t)/2, linearity gives F(s)=12s−s2(s2+36)=18s(s2+36),s>0.F(s)=\frac 1{2s}-\frac{s}{2(s^2+36)} =\boxed{\frac{18}{s(s^2+36)},\qquad s>0.}

Step 2: Check convergence and the proposed rule. For s>0s>0, boundedness of ff gives absolute convergence. For s≤0s\le 0, the weight is at least one and sin⁡2(3t)\sin^2(3t) has positive integral on each period, so the nonnegative improper integral diverges. Thus the real convergence set is exactly (0,∞)(0,\infty). The proposed expression is 9(s2+9)2,\frac 9{(s^2+9)^2}, which is not the correct transform. For example, at s=3s=3 the correct value is 2/152/15, while the proposed value is 1/361/36. Squaring a time function is not transformed by squaring its transform.

Step 3: Obtain a bound from the integral. The inequality 0≤sin⁡2(3t)≤9t20\le\sin^2(3t)\le 9t^2 yields 0<F(s)≤9∫0∞t2e−stdt=18/s3.0<F(s)\le 9\int_0^\infty t^2e^{-st}\,dt =\boxed{18/s^3}. The last integral is 2/s32/s^3, by two integrations by parts. Its boundary terms vanish for s>0s>0.

Step 4: Recover the leading scale independently. With u=stu=st, s3F(s)=∫0∞e−us2sin⁡2(3u/s)du.s^3F(s)=\int_0^\infty e^{-u}s^2\sin^2(3u/s)\,du. The integrand tends to 9u2e−u9u^2e^{-u} and is bounded by that integrable function. Dominated convergence therefore gives s3F(s)→18\boxed{s^3F(s)\to 18}. This reflects the local behavior sin⁡2(3t)∼9t2\sin^2(3t)\sim 9t^2. In contrast, multiplying the proposed expression by s3s^3 gives a limit of zero. The proposed rule even predicts the wrong leading power of 1/s1/s.

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

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