in mathematics, the inverse laplace transform of a function f(s) is the function f(t) which has the property \mathcal{l}\left\{ f\right\}(s) = f(s), or alternatively \mathcal{l}_t\left\{ f(t)\right\}(s) = f(s), where \mathcal{l} denotes the laplace transform. it can be proven, that if a function f(s) has the inverse laplace transform f(t), i.e. f is a piecewise-continuous and exponentially-restricted real function f satisfying the condition :\mathcal{l}_t\{f(t)\}(s) = f(s),\ \forall s \in \mathbb r then f(t) is uniquely determined (considering functions which differ from each other only on a point set having lebesgue measure zero as the same). this result was first proven by mathias lerch in 1903 and is known as lerch's theorem. the laplace transform and the inverse laplace transform together have a number of properties that make them useful for analysing linear dynamic systems. ==mellin's inverse formula== an integral formula for the inverse laplace transform, called the bromwich integral, the fourierâmellin integral, and mellin's inverse formula, is given by the line integral: :f(t) = \mathcal{l}^{-1} \{f\}(t) = \mathcal{l}^{-1}_s \{f(s)\}(t) = \frac{1}{2\pi i}\lim_{t\to\infty}\int_{\gamma-it}^{\gamma+it}e^{st}f(s)\,ds, where the integration is done along the vertical line re(s)=\gamma in the complex plane such that \gamma is greater than the real part of all singularities of f(s). this ensures that the contour path is in the region of convergence. if all singularities are in the left half-plane, or f(s) is a smooth function on - â < re(s) < â (i.e. no singularities), then \gamma can be set to zero and the above inverse integral formula above becomes identical to the inverse fourier transform. in practice, computing the complex integral can be done by using the cauchy residue theorem. it is named after hjalmar mellin, joseph fourier and thomas john i'anson bromwich. if f(s) is the laplace transform of the function f(t),then f(t) is called the inverse laplace transform of f(s). ==software tools== * inverselaplacetransform performs symbolic inverse transforms in mathematica * numerical inversion of laplace transform with multiple precision using the complex domain in mathematica gives numerical solutions * ilaplace performs symbolic inverse transforms in matlab * numerical inversion of laplace transforms in matlab ==see also== * [[inverse fourier transf
Complex_analysis Integral_transforms Transforms