Math 2.0

Integral transforms, operational calculus Laplace transform: uniqueness and inversion Theorem

Mellin's inverse formula

Builds on Laplace transformBromwich integralBounded variationFourier inversion theorem

Statement

Let f ⁣:[0,∞)→ℂf \colon [0, \infty) \to \C be integrable on each interval [0,T][0, T], and let γ\gamma be a real number with ∫0∞∣f(t)∣e−γt dt<∞\int_0^\infty \abs{f(t)} e^{-\gamma t} \, dt < \infty. Let FF be the Laplace transform of ff. Let t>0t > 0, and assume that ff has bounded variation on some interval around tt. Then the Bromwich integral of FF along the line Re⁡s=γ\operatorname{Re} s = \gamma, that is, the symmetric limit below, exists at tt, and 12πilim⁡T→∞∫γ−iTγ+iTestF(s) ds=f(t+)+f(t−)2.\frac{1}{2 \pi i} \lim_{T \to \infty} \int_{\gamma - i T}^{\gamma + i T} e^{s t} F(s) \, ds = \frac{f(t^+) + f(t^-)}{2}. In particular the integral equals f(t)f(t) at each t>0t > 0 where ff is continuous. For every t<0t < 0 the same integral exists and equals 00.

Remarks

Put g(τ)=f(τ)e−γτg(\tau) = f(\tau) e^{-\gamma \tau} for τ≥0\tau \ge 0 and g(τ)=0g(\tau) = 0 for τ<0\tau < 0; then gg is integrable on ℝ\R. On the line s=γ+iys = \gamma + i y, one has F(γ+iy)=g^(y)=∫ℝg(τ)e−iyτ dτF(\gamma + i y) = \hat{g}(y) = \int_\R g(\tau) e^{-i y \tau} \, d\tau, and the Bromwich integral is eγt⋅12πlim⁡T→∞∫−TTg^(y)eiyt dye^{\gamma t} \cdot \frac{1}{2\pi} \lim_{T \to \infty} \int_{-T}^{T} \hat{g}(y) e^{i y t} \, dy. So the statement is the Fourier inversion theorem in its Dirichlet–Jordan form, applied to gg. Example: for f(t)=ebtf(t) = e^{b t} with bb real and γ>b\gamma > b, F(s)=1/(s−b)F(s) = 1/(s - b), and the residue of est/(s−b)e^{s t}/(s - b) at bb gives back ebte^{b t} for t>0t > 0. At a jump of ff the integral gives the midpoint of the jump, not either one-sided value.

Going deeper

For a student

The formula shows that the Laplace transform is a Fourier transform in disguise: along a vertical line it is the Fourier transform of f(t)e−γtf(t) e^{-\gamma t}. In practice one rarely integrates along the line directly; one deforms the contour and uses residues, as in residue calculus for Laplace inversion. The same formula, after the change of variables x=e−tx = e^{-t}, gives the inversion theorem for the Mellin transform.

Reading path

To understand this page from the ground up, read these 24 pages in order. The foundations come first.

Show the path as a graph
Almost everywhere, concept, no evidence levelAlmost everywhereconceptComplex numbers, object, no evidence levelComplex numbersobjectFourier transform, concept, no evidence levelFourier transformconceptFunction, concept, no evidence levelFunctionconceptIntegrable function, concept, no evidence levelIntegrable functionconceptInverse Fourier transform, concept, no evidence levelInverse Fourier trans…conceptPartition of an interval, definition, no evidence levelPartition of an inter…definitionReal numbers, object, no evidence levelReal numbersobjectSet bounded above, definition, no evidence levelSet bounded abovedefinitionTotal variation, concept, no evidence levelTotal variationconceptContour integral, definition, no evidence levelContour integraldefinitionReal and imaginary parts, definition, no evidence levelReal and imaginary pa…definitionFourier inversion theorem, statement, no evidence levelFourier inversion the…statementLaplace transform, definition, no evidence levelLaplace transformdefinitionBounded variation, definition, no evidence levelBounded variationdefinitionSupremum, definition, no evidence levelSupremumdefinitionCompleteness axiom, statement, no evidence levelCompleteness axiomstatementExistence of square roots of nonnegative reals, statement, no evidence levelExistence of square r…statementSquare root, definition, no evidence levelSquare rootdefinitionModulus of a complex number, definition, no evidence levelModulus of a complex …definitionComplex differentiability, definition, no evidence levelComplex differentiabi…definitionHolomorphic function, definition, no evidence levelHolomorphic functiondefinitionBromwich integral, definition, no evidence levelBromwich integraldefinitionMellin's inverse formula, statement, no evidence levelMellin's inverse form…statement
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Almost everywhere concept
  2. Complex numbers object
  3. Fourier transform concept
  4. Function concept
  5. Integrable function concept
  6. Inverse Fourier transform concept
  7. Partition of an interval definition
  8. Real numbers object
  9. Set bounded above definition
  10. Total variation concept
  11. Contour integral definition
  12. Real and imaginary parts definition
  13. Fourier inversion theorem statement
  14. Laplace transform definition
  15. Bounded variation definition
  16. Supremum definition
  17. Completeness axiom statement
  18. Existence of square roots of nonnegative reals statement
  19. Square root definition
  20. Modulus of a complex number definition
  21. Complex differentiability definition
  22. Holomorphic function definition
  23. Bromwich integral definition
  24. Mellin's inverse formula statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Inverse_Laplace_transform
About this page
TagX2H35BP974
URIm2://X2H35BP974
Kindstatement, theorem
WritingW0 stub
MSC44A10
StatusThis copy of the site has no build data. Run m2 status X2H35BP974.
AboutInverse Laplace transform, Bromwich integral
UsesLaplace transform, Bromwich integral, Bounded variation, Fourier inversion theorem

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.