Editing Inverse Laplace transform (section)

==Post's inversion formula==
'''Post's inversion formula''' for [[Laplace transform]]s, named after [[Emil Leon Post|Emil Post]],<ref name="Post1930">{{cite journal|last1=Post|first1=Emil L.|title=Generalized differentiation|journal=Transactions of the American Mathematical Society|volume=32|issue=4|year=1930|pages=723–781|issn=0002-9947|doi=10.1090/S0002-9947-1930-1501560-X|doi-access=free}}</ref> is a simple-looking but usually impractical formula for evaluating an inverse Laplace transform.

The statement of the formula is as follows: Let <math>f(t)</math> be a continuous function on the interval <math>[0,\infty)</math> of exponential order, i.e.

: <math>\sup_{t>0} \frac{f(t)}{e^{bt}} < \infty</math>

for some real number <math>b</math>. Then for all <math>s > b</math>, the Laplace transform for <math>f(t)</math> exists and is infinitely differentiable with respect to <math>s</math>. Furthermore, if <math>F(s)</math> is the Laplace transform of <math>f(t)</math>, then the inverse Laplace transform of <math>F(s)</math> is given by

: <math>f(t) = \mathcal{L}^{-1} \{F\}(t)
 = \lim_{k \to \infty} \frac{(-1)^k}{k!} \left( \frac{k}{t} \right) ^{k+1} F^{(k)} \left( \frac{k}{t} \right)</math>

for <math>t > 0</math>, where <math>F^{(k)}</math> is the <math>k</math>-th derivative of <math>F</math> with respect to <math>s</math>.

As can be seen from the formula, the need to evaluate derivatives of arbitrarily high orders renders this formula impractical for most purposes.
   
With the advent of powerful personal computers, the main efforts to use this formula have come from dealing with approximations or asymptotic analysis of the Inverse Laplace transform, using the [[Grunwald–Letnikov differintegral]] to evaluate the derivatives.   
    
Post's inversion has attracted interest due to the improvement in computational science and the fact that it is not necessary to know where the [[Pole (complex analysis)|poles]] of <math>F(s)</math> lie, which make it possible to calculate the asymptotic behaviour for big <math>x</math> using inverse [[Mellin transform]]s for several arithmetical functions related to the [[Riemann hypothesis]].