Math 2.0

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

Post's inversion formula

Builds on Laplace transformDifferentiation in the transform variable

Statement

Let f ⁣:[0,∞)→ℂf \colon [0, \infty) \to \C be integrable on each interval [0,T][0, T]. Assume that the Laplace integral of ff converges at some real number s0s_0, and let FF be the Laplace transform of ff. Then for every t>0t > 0 at which ff is continuous, f(t)=lim⁡k→∞(−1)kk!(kt)k+1F(k) ⁣(kt),f(t) = \lim_{k \to \infty} \frac{(-1)^k}{k!} \left(\frac{k}{t}\right)^{k+1} F^{(k)}\!\left(\frac{k}{t}\right), where F(k)F^{(k)} is the kk-th derivative of FF on the real half-line s>s0s > s_0.

Remarks

By differentiation in the transform variable, (−1)kk!(kt)k+1F(k) ⁣(kt)=∫0∞f(u) 1k!(kt)k+1uke−ku/t du\frac{(-1)^k}{k!} \left(\frac{k}{t}\right)^{k+1} F^{(k)}\!\left(\frac{k}{t}\right) = \int_0^\infty f(u) \, \frac{1}{k!} \left(\frac{k}{t}\right)^{k+1} u^k e^{-k u / t} \, du. The kernel in this integral is a probability density in uu (a gamma density) with mean t(k+1)/kt (k+1)/k and variance t2(k+1)/k2t^2 (k+1)/k^2. As k→∞k \to \infty it concentrates at u=tu = t, so the integral tends to f(t)f(t) at points of continuity. Example: for f(t)=e−tf(t) = e^{-t}, F(s)=1/(s+1)F(s) = 1/(s + 1) and (−1)kk!F(k)(s)=(s+1)−k−1\frac{(-1)^k}{k!} F^{(k)}(s) = (s+1)^{-k-1}, so the expression is (k/tk/t+1)k+1=(1+tk)−k−1→e−t\left(\frac{k/t}{k/t + 1}\right)^{k+1} = \left(1 + \frac{t}{k}\right)^{-k-1} \to e^{-t}.

Going deeper

For a student

The formula matters in theory, for example in the theory of semigroups, where it gives the exponential formula for T(t)T(t). 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
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. Abscissa of absolute convergence concept
  2. Complex numbers object
  3. Function concept
  4. Real numbers object
  5. Set bounded above definition
  6. Real and imaginary parts definition
  7. Laplace transform definition
  8. Supremum definition
  9. Completeness axiom statement
  10. Existence of square roots of nonnegative reals statement
  11. Square root definition
  12. Modulus of a complex number definition
  13. Complex differentiability definition
  14. Holomorphic function definition
  15. Differentiation in the transform variable statement
  16. Post's inversion formula statement

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Inverse_Laplace_transform
About this page
TagD6QKPBS2EN
URIm2://D6QKPBS2EN
Kindstatement, theorem
WritingW0 stub
MSC44A10
StatusThis copy of the site has no build data. Run m2 status D6QKPBS2EN.
AboutInverse Laplace transform
UsesLaplace 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.

What links here

Used by