Integral transforms, operational calculus Laplace transform: uniqueness and inversion Theorem
Mellin's inverse formula
Builds on Laplace transformBromwich integralBounded variationFourier inversion theorem
Statement
Let be integrable on each interval , and let be a real number with . Let be the Laplace transform of . Let , and assume that has bounded variation on some interval around . Then the Bromwich integral of along the line , that is, the symmetric limit below, exists at , and In particular the integral equals at each where is continuous. For every the same integral exists and equals .
Remarks
Put for and for ; then is integrable on . On the line , one has , and the Bromwich integral is . So the statement is the Fourier inversion theorem in its Dirichlet–Jordan form, applied to . Example: for with real and , , and the residue of at gives back for . At a jump of 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 . 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 , 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
- no evidence level
- Almost everywhere concept
- Complex numbers object
- Fourier transform concept
- Function concept
- Integrable function concept
- Inverse Fourier transform concept
- Partition of an interval definition
- Real numbers object
- Set bounded above definition
- Total variation concept
- Contour integral definition
- Real and imaginary parts definition
- Fourier inversion theorem statement
- Laplace transform definition
- Bounded variation definition
- Supremum definition
- Completeness axiom statement
- Existence of square roots of nonnegative reals statement
- Square root definition
- Modulus of a complex number definition
- Complex differentiability definition
- Holomorphic function definition
- Bromwich integral definition
- Mellin's inverse formula statement
Further reading
About this page
| Tag | X2H35BP974 |
|---|---|
| URI | m2://X2H35BP974 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 44A10 |
| Status | This copy of the site has no build data. Run m2 status X2H35BP974. |
| About | Inverse Laplace transform, Bromwich integral |
| Uses | Laplace 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.