Laplace Transforms — Question 6

PDF ↗

Question 6

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.

For t>0t>0, define h(t)=e−t−e−4tt,h(t)=\frac{e^{-t}-e^{-4t}}t, and extend it continuously to t=0t=0. This example concerns division by time; do not assume a transform rule for dividing an arbitrary function by tt.

Tasks

  1. Find h(0)h(0) and express h(t)h(t) as an integral of e−ute^{-ut} over a finite interval in uu.

  2. Use that representation to derive the transform H(s)H(s) and justify the order of integration.

  3. Find the exact real convergence interval. Explain why transforming e−t/te^{-t}/t and e−4t/te^{-4t}/t separately is invalid.

  4. Find H′(s)H'(s) and lim⁡s→∞sH(s)\lim_{s\to\infty}sH(s). Relate them to positivity of hh and its value at zero.

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

Question 6 – Solution

Strategy. Cancellation removes the origin singularity. Preserve that cancellation by integrating over an exponential parameter.

Step 1: Remove the apparent singularity. Expansion at zero, or l’Hopital’s rule, gives h(0)=3\boxed{h(0)=3}. Direct integration in uu gives h(t)=∫14e−utdu,h(t)=\int_1^4e^{-ut}\,du, including at t=0t=0 by continuity. In particular, hh is positive and bounded above by three.

Step 2: Derive the logarithmic transform. For s>−1s>-1, s+u>0s+u>0 throughout [1,4][1,4]. The absolute double integral is finite, as seen by integrating first in tt: H(s)=∫14∫0∞e−(s+u)tdtdu=∫14dus+u=ln⁡s+4s+1,s>−1.H(s)=\int_1^4\int_0^\infty e^{-(s+u)t}\,dt\,du =\int_1^4\frac{du}{s+u} =\boxed{\ln\frac{s+4}{s+1},\qquad s>-1.} The finite value justifies interchange; both logarithm arguments are positive on this domain.

Step 3: Check the domain and invalid separation. At s=−1s=-1, the integrand is (1−e−3t)/t(1-e^{-3t})/t, whose tail is at least 1/(2t)1/(2t) for sufficiently large tt. It diverges. For smaller ss, a larger positive exponential weight makes divergence persist. Thus s>−1s>-1 is the full real convergence interval. Each separate term e−t/te^{-t}/t or e−4t/te^{-4t}/t has a nonintegrable origin singularity for every ss. Their divergent transforms cannot be subtracted; it is the difference of the functions that is transformable.

Step 4: Interpret derivative and initial scale. Differentiating the logarithm gives H′(s)=1s+4−1s+1=−3(s+1)(s+4)<0.\boxed{H'(s)=\frac 1{s+4}-\frac 1{s+1} =-\frac 3{(s+1)(s+4)}<0.} This agrees with H′(s)=−∫0∞te−sth(t)dtH'(s)=-\int_0^\infty te^{-st}h(t)\,dt, since h>0h>0. Also H(s)=ln⁡[1+3/(s+1)]H(s)=\ln[1+3/(s+1)], so ln⁡(1+x)/x→1\ln(1+x)/x\to 1 implies sH(s)→3=h(0)\boxed{sH(s)\to 3=h(0)}. The graph displays the continuous signal; its apparent division-by-zero point has been correctly filled in.

See the diagram in the original worksheet below.

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

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