Question 6
Use the ordinary one-sided Laplace transform for real . Seek an inverse continuous on and of exponential order; transforms agreeing for all sufficiently large have at most one inverse in this class.
For , let The two poles coincide when .
Tasks
Find the inverse for and separately for . Explain why substitution into the unsimplified partial fractions fails at .
Prove the inverse is positive for every , and give its exact real convergence interval for all .
Derive the representation directly from your formula, including the case .
Use the representation to prove uniform convergence on the whole half-line as . Obtain an explicit bound proportional to for .
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 , partial fractions give At , , so . Both forward transforms verify the original expression. The two individual partial-fraction coefficients diverge as ; their combined inverse has a finite limit.
Step 2: Check sign and the slowest tail. For , numerator and denominator of are positive when ; for , both are negative. Also . 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 . Together with direct absolute convergence, this proves the exact domain At , the same statement follows from the positive polynomial-exponential tail.
Step 3: Remove the cancellation analytically. Integrating in gives when and . At both sides extend to zero; at the integral is one, yielding . This representation avoids subtracting nearly equal exponentials.
Step 4: Prove uniform half-line convergence. The mean value theorem gives . With , the representation yields The maximum of on occurs at and equals . Therefore, for , 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.