Inverse Laplace Transforms — Question 9

PDF ↗

Question 9

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.

Consider G(s)=s2+2s+2(s+1)2.G(s)=\frac{s^2+2s+2}{(s+1)^2}. Work only with ordinary integrals and continuous functions of exponential order. You may use that such a function has a global bound |g(t)|≤Mect|g(t)|\le M e^{ct} on t≥0t\ge 0 for some M>0M>0 and real cc.

Tasks

  1. Divide the polynomials to separate GG into its polynomial part and a strictly proper rational part.

  2. Prove from the stated bound that every allowed ordinary transform tends to zero as s→∞s\to\infty. Decide whether GG has an inverse in the stated class.

  3. Find the inverse hh of the strictly proper remainder and verify it directly. Explain why reporting hh as the inverse of the whole GG would be incorrect.

  4. Define k(t)=h(t)k(t)=h(t) except that k(1)=7k(1)=7. Do kk and hh have the same ordinary transform? Explain why this does not contradict uniqueness in the stated class.

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

Question 9 – Solution

Strategy. Check whether an ordinary inverse can exist before matching a rational remainder to a table. Keep the continuity hypothesis in any uniqueness claim.

Step 1: Divide before attempting inversion. Because (s+1)2=s2+2s+1(s+1)^2=s^2+2s+1, G(s)=1+1(s+1)2.\boxed{G(s)=1+\frac 1{(s+1)^2}.} The nonzero constant part cannot be silently discarded. In particular G(s)→1G(s)\to 1, rather than zero, at large positive ss.

Step 2: Apply a necessary existence test. For an allowed gg and s>cs>c, absolute convergence and the global bound yield |ℒ{g}(s)|≤∫0∞e−st|g(t)|dt≤M∫0∞e−(s−c)tdt=Ms−c→0.|\mathcal L\{g\}(s)|\le\int_0^\infty e^{-st}|g(t)|\,dt \le M\int_0^\infty e^{-(s-c)t}\,dt=\frac M{s-c}\longrightarrow 0. A continuous function of exponential order admits this global bound by enlarging MM on an initial compact interval. Since GG has limit one, G has no inverse in the stated class.\boxed{G\text{ has no inverse in the stated class.}} This conclusion concerns ordinary continuous functions under the explicit hypotheses.

Step 3: Invert only the actual remainder. The strictly proper part has inverse h(t)=te−t\boxed{h(t)=te^{-t}}. Direct integration by parts gives ∫0∞te−(s+1)tdt=1(s+1)2,s>−1.\int_0^\infty te^{-(s+1)t}\,dt=\frac 1{(s+1)^2},\qquad s>-1. The integral diverges at or below −1-1. Its transform is G−1G-1, not GG. The missing constant does not arise from changing h(0)h(0): changing one finite point value changes no ordinary integral.

Step 4: State uniqueness with its hypothesis. Here h(1)=e−1≠7h(1)=e^{-1}\ne 7. Changing that one value leaves every finite-interval integral, and hence every convergent improper transform, unchanged. Thus kk and hh have identical transforms on s>−1s>-1. However, kk is discontinuous at one, so it is not in the continuous class specified in the question. There is no contradiction: uniqueness within that class compares two continuous functions. The example separates equality of transforms from unrestricted pointwise equality. No generalized transform is needed to reach any of these conclusions.

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

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