Inverse Laplace Transforms — Question 6

PDF ↗

Question 6

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.

For a>0a>0, let Fa(s)=1(s+1)(s+a).F_a(s)=\frac 1{(s+1)(s+a)}. The two poles coincide when a=1a=1.

Tasks

  1. Find the inverse for a≠1a\ne 1 and separately for a=1a=1. Explain why substitution into the unsimplified partial fractions fails at a=1a=1.

  2. Prove the inverse is positive for every t>0t>0, and give its exact real convergence interval for all a>0a>0.

  3. Derive the representation fa(t)=te−t∫01e−(a−1)tvdvf_a(t)=t e^{-t}\int_0^1 e^{-(a-1)tv}\,dv directly from your formula, including the case a=1a=1.

  4. Use the representation to prove uniform convergence fa→f1f_a\to f_1 on the whole half-line as a→1a\to 1. Obtain an explicit bound proportional to |a−1||a-1| for 1/2≤a≤3/21/2\le a\le 3/2.

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

Question 6 – Solution

Strategy. Combine the two large opposite coefficients before taking the coincident-pole limit. An integral representation controls the difference uniformly.

Step 1: Invert before and at collision. For a≠1a\ne 1, partial fractions give Fa=1a−1(1s+1−1s+a),fa(t)=e−t−e−ata−1.F_a=\frac 1{a-1}(\frac 1{s+1}-\frac 1{s+a}),\qquad \boxed{f_a(t)=\frac{e^{-t}-e^{-at}}{a-1}.} At a=1a=1, F1=(s+1)−2F_1=(s+1)^{-2}, so f1(t)=te−t\boxed{f_1(t)=te^{-t}}. Both forward transforms verify the original expression. The two individual partial-fraction coefficients diverge as a→1a\to 1; their combined inverse has a finite limit.

Step 2: Check sign and the slowest tail. For a>1a>1, numerator and denominator of faf_a are positive when t>0t>0; for 0<a<10<a<1, both are negative. Also te−t>0te^{-t}>0. For unequal poles the slower exponential has a positive, nonzero coefficient, while the other term decays faster. Thus its tail is bounded below by a positive multiple of e−min⁡(1,a)te^{-\min(1,a)t}. Together with direct absolute convergence, this proves the exact domain s>−min⁡(1,a).\boxed{s>-\min(1,a).} At a=1a=1, the same statement follows from the positive polynomial-exponential tail.

Step 3: Remove the cancellation analytically. Integrating e−(a−1)tve^{-(a-1)tv} in vv gives te−t∫01e−(a−1)tvdv=e−t−e−ata−1te^{-t}\int_0^1 e^{-(a-1)tv}\,dv =\frac{e^{-t}-e^{-at}}{a-1} when a≠1a\ne 1 and t>0t>0. At t=0t=0 both sides extend to zero; at a=1a=1 the integral is one, yielding te−tte^{-t}. This representation avoids subtracting nearly equal exponentials.

Step 4: Prove uniform half-line convergence. The mean value theorem gives |e−x−1|≤|x|emax⁡(0,−x)|e^{-x}-1|\le |x|e^{\max(0,-x)}. With m=min⁡(1,a)m=\min(1,a), the representation yields |fa(t)−te−t|≤|a−1|2t2e−mt.|f_a(t)-te^{-t}|\le\frac{|a-1|}{2}t^2e^{-mt}. The maximum of t2e−mtt^2e^{-mt} on t≥0t\ge 0 occurs at t=2/mt=2/m and equals 4/(m2e2)4/(m^2e^2). Therefore, for 1/2≤a≤3/21/2\le a\le 3/2, supt≥0|fa(t)−f1(t)|≤8e2|a−1|→0.\boxed{\sup_{t\ge 0}|f_a(t)-f_1(t)|\le\frac 8{e^2}|a-1|\longrightarrow 0.} This is uniform on the entire half-line, stronger than checking each fixed time. The plotted nearby curves meet at the same zero initial value.

See the diagram in the original worksheet below.

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

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