Laplace Transforms — Question 2

PDF ↗

Question 2

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.

Find the transform of f(t)=t2e−2tcos⁡3tf(t)=t^2e^{-2t}\cos 3t by combining exponential shifting with differentiation in the transform parameter. You may use C(p)=ℒ{cos⁡3t}(p)=p/(p2+9)C(p)=\mathcal L\{\cos 3t\}(p)=p/(p^2+9) for p>0p>0.

Tasks

  1. Justify the identity ℒ{t2g(t)}(s)=G″(s)\mathcal L\{t^2g(t)\}(s)=G''(s) in this example, including the convergence condition needed for differentiation.

  2. Compute and simplify the transform explicitly.

  3. Find all its zeros and determine its sign within the convergence interval. Explain why a zero transform value need not mean that the original function is zero.

  4. The simplified expression also has value zero at s=−2s=-2. Does that value represent an ordinary Laplace integral? Check the boundary directly and determine whether any smaller real parameter can work.

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

Question 2 – Solution

Strategy. Account for the exponential shift first, then differentiate the correct parameter expression and retain its convergence domain.

Step 1: Justify parameter differentiation. The factor e−2te^{-2t} changes the effective parameter to p=s+2p=s+2. For any p0>0p_0>0, a sufficiently small neighborhood has p≥p0/2p\ge p_0/2. Differentiating the kernel twice produces t2e−ptcos⁡3tt^2e^{-pt}\cos 3t, dominated by t2e−p0t/2t^2e^{-p_0t/2}, an integrable function. The first derivative is justified similarly. Thus, for s>−2s>-2, the desired transform is C″(s+2)C''(s+2).

Step 2: Differentiate and simplify. Direct calculation gives C′(p)=9−p2(p2+9)2,C″(p)=2p(p2−27)(p2+9)3.C'(p)=\frac{9-p^2}{(p^2+9)^2},\qquad C''(p)=\frac{2p(p^2-27)}{(p^2+9)^3}. Therefore F(s)=2(s+2)[(s+2)2−27][(s+2)2+9]3,s>−2.\boxed{F(s)=\frac{2(s+2)[(s+2)^2-27]}{[(s+2)^2+9]^3},\qquad s>-2.} The exponential times a polynomial gives absolute convergence on this interval.

Step 3: Interpret its zero and sign. For p>0p>0, the denominator and 2p2p are positive. Hence the only zero in the convergence interval is s=33−2\boxed{s=3\sqrt 3-2}. The transform is negative below that value and positive above it. At the zero, weighted positive and negative portions of t2e−2tcos⁡3tt^2e^{-2t}\cos 3t cancel; the function itself is certainly not identically zero.

Step 4: Test the boundary rather than the rational expression. At s=−2s=-2, the integral becomes ∫0Rt2cos⁡3tdt\int_0^R t^2\cos 3t\,dt. Integration by parts gives R2sin⁡3R3+2Rcos⁡3R9−2sin⁡3R27.\frac{R^2\sin 3R}{3}+\frac{2R\cos 3R}{9}-\frac{2\sin 3R}{27}. At Rn=2nπ/3R_n=2n\pi/3, this equals 2Rn/9→∞2R_n/9\to\infty. For p=s+2<0p=s+2<0, consider [Rn,Rn+π/9][R_n,R_n+\pi/9], where cos⁡3t≥1/2\cos 3t\ge 1/2. The integral on that interval is at least (π/18)Rn2e−pRn(\pi/18)R_n^2e^{-pR_n} and does not tend to zero, violating the Cauchy criterion. Thus no real s≤−2s\le-2 works; the algebraic boundary value is not a transform value.

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

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