Integral transforms, operational calculus Laplace transform: uniqueness and inversion Theorem
Post's inversion formula
Builds on Laplace transformDifferentiation in the transform variable
Statement
Let be integrable on each interval . Assume that the Laplace integral of converges at some real number , and let be the Laplace transform of . Then for every at which is continuous, where is the -th derivative of on the real half-line .
Remarks
By differentiation in the transform variable, . The kernel in this integral is a probability density in (a gamma density) with mean and variance . As it concentrates at , so the integral tends to at points of continuity. Example: for , and , so the expression is .
Going deeper
For a student
The formula matters in theory, for example in the theory of semigroups, where it gives the exponential formula for . Numerically it is poor: high derivatives amplify small errors, which reflects the ill-posedness of real Laplace inversion. The method of proof, a kernel that concentrates at one point, is the same as in many approximation theorems.
Reading path
To understand this page from the ground up, read these 16 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Abscissa of absolute convergence concept
- Complex numbers object
- Function concept
- Real numbers object
- Set bounded above definition
- Real and imaginary parts definition
- Laplace transform 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
- Differentiation in the transform variable statement
- Post's inversion formula statement
Where this leads
1 page builds on this one.
Further reading
About this page
| Tag | D6QKPBS2EN |
|---|---|
| URI | m2://D6QKPBS2EN |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 44A10 |
| Status | This copy of the site has no build data. Run m2 status D6QKPBS2EN. |
| About | Inverse Laplace transform |
| Uses | Laplace transform, Differentiation in the transform variable |
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.