Inverse Laplace Transforms — Question 7

PDF ↗

Question 7

Use the ordinary one-sided Laplace transform for real ss. Seek an inverse continuous on t≥0t\ge 0 and of exponential order; transforms agreeing for all sufficiently large ss have at most one inverse in this class.

A parameter-dependent expression is Fλ(s)=s−2+λ(s−2)(s+1),λ∈ℝ.F_\lambda(s)=\frac{s-2+\lambda}{(s-2)(s+1)},\qquad \lambda\in\mathbb R. When a factor cancels, interpret its algebraic value at the canceled point by continuous extension.

Tasks

  1. Find the inverse for every real λ\lambda and verify its transform.

  2. Determine exactly which parameter values give a bounded inverse. State the full real convergence domain in every case.

  3. Explain why the printed factor s−2s-2 alone does not establish a growing mode when λ=0\lambda=0. What transform value exists at s=2s=2 in that case?

  4. For λ=0.03\lambda=0.03, find the time at which the growing and decaying contributions are equal. Explain how a small coefficient can change the eventual behavior.

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

Question 7 – Solution

Strategy. Residues, including their possible zeros, decide which modes are actually present. An unreduced denominator can mislead.

Step 1: Recover both mode coefficients. Write Fλ=A/(s−2)+B/(s+1)F_\lambda=A/(s-2)+B/(s+1). Clearing denominators gives A+B=1A+B=1 and A−2B=−2+λA-2B=-2+\lambda, so fλ(t)=λ3e2t+(1−λ3)e−t.\boxed{f_\lambda(t)=\frac\lambda 3e^{2t} +(1-\tfrac\lambda 3)e^{-t}.} Forward transformation recombines to (A+B)s+(A−2B)=s−2+λ(A+B)s+(A-2B)=s-2+\lambda, as required, for sufficiently large ss.

Step 2: Classify boundedness and domains. If λ=0\lambda=0, the function is e−te^{-t}, bounded and decaying, with exact transform domain s>−1s>-1. If λ≠0\lambda\ne 0, then e−2tfλ(t)→λ/3≠0e^{-2t}f_\lambda(t)\to\lambda/3\ne 0. Thus it is unbounded and its weighted tail at s≤2s\le 2 has an eventual fixed sign and nonintegrable magnitude. For s>2s>2, all remaining terms converge absolutely. Consequently bounded exactly when λ=0;s>−1,λ=0,s>2,λ≠0.\boxed{\text{bounded exactly when }\lambda=0;}\qquad \boxed{\begin{array}{ll}s>-1,&\lambda=0,\\s>2,&\lambda\ne 0.\end{array}} This includes λ=3\lambda=3, when the decaying term disappears.

Step 3: Interpret the canceled point. At λ=0\lambda=0, cancellation gives F0=1/(s+1)F_0=1/(s+1). The apparent pole at two was never a pole of the reduced transform. The actual integral at s=2s=2 is ∫0∞e−2te−tdt=1/3.\boxed{\int_0^\infty e^{-2t}e^{-t}\,dt=1/3.} The continuous algebraic extension agrees with it. The inverse is determined by the whole expression, not by a list of uncanceled denominator factors.

Step 4: Measure the delayed dominance. For λ=.03\lambda=.03, the inverse is .01e2t+.99e−t.01e^{2t}+.99e^{-t}. Equality of the contributions requires e3t=99e^{3t}=99, so tc=13ln⁡99≈1.5317.\boxed{t_c=\tfrac 13\ln 99\approx 1.5317.} The ratio of growing to decaying contributions is e3t/99e^{3t}/99, strictly increasing through one. The initially small growing coefficient eventually dominates. At fixed finite time the inverse approaches e−te^{-t} as λ→0\lambda\to 0, but for any nonzero λ\lambda its eventual boundedness is different. That distinction does not justify discarding a small nonzero residue.

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

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