The Laplace transform is an integral transform perhaps second only to the Fourier transform
in its utility in solving physical problems. The Laplace transform is particularly
useful in solving linear ordinary differential
equations such as those arising in the analysis of electronic circuits.
The (unilateral) Laplace transform

(not to be confused
with the Lie derivative, also commonly denoted

) is defined by
=int_0^inftyf(t)e^(-st)dt,](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tR3bzFTFIOEfQVi32kTpTJOrx3H-8uCN1gfAhhDWwNFVrlYbi3y15-vezGxrzLqTNdLWtcYyIavim3TkwWnD1q6XPjyn7dwm2vXhX3w-fvaCum4h8IGfCopfUUKFnHCrIox1sBkOzO84OXHksaQvENiEkDyZFwyA=s0-d) |
(1)
|
where

is defined for

(Abramowitz
and Stegun 1972). The unilateral Laplace transform is almost always what is meant
by "the" Laplace transform, although a bilateral
Laplace transform is sometimes also defined as
=int_(-infty)^inftyf(t)e^(-st)dt](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tysvvqH-EgcDKeuL3zFyUvXx-kfu6SgcPnPYlGk9Gg-sMXxlwKliM0SjmcMzh9Y2mBDG3OJPhGoQi-45mXWkbnoc5Hf4rm_x71688RYLtyHd2xi-GKiqTtTyn-C4qMHFXfF5yogbzKvlrSTdNoOdTvNK3SpGOouw=s0-d) |
(2)
|
(Oppenheim
et al. 1997). The unilateral Laplace transform
](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_v_zCtLpAXrz0jOLD18vKN2KRGjHsmKdXSQ9F8H-wuHO07BuJgkS59E2BxYiGFF_vSxw0JTepFssfozt59wCg474jhN82QBK64nXcbJvKoaP0fG_ismXPKPT9A-w-sEYXDSt2FNlzXAmY2Lj-Jo=s0-d)
is
implemented in the Wolfram Language
as
LaplaceTransform[
f[t],
t,
s].
The inverse Laplace transform is known as the Bromwich integral, sometimes known as the Fourier-Mellin integral .
A table of several important one-sided Laplace transforms is given below.
In the above table,

is the zeroth-order Bessel
function of the first kind,

is the
delta function, and

is the Heaviside step function.
The Laplace transform has many important properties. The Laplace transform existence theorem states that, if

is piecewise
continuous on every finite interval in

satisfying
 |
(3)
|
for all

, then
](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_s-5_Qw2D6OTY3o5MLd56SsG5NxjODy7EeTsrHM8dkq9pxecnpRUeAc2vktg6emdnFtg70u9zyZMb2PfnY7zCDRnDXQJAzvCIin2lG2dSUS51wm-pnoZjzrJ3AdQjhQAWRVB5YWHnXQ6TT7QAXt=s0-d)
exists
for all

. The Laplace transform is also
unique, in the sense that, given two functions

and

with the same transform so that
=L_t[F_2(t)](s)=f(s),](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_spTSV6gJfyO552IMTkijSKCixNEBa0Sq6afXf97lOACKvx7asANTZkfm9Wj27jQrPyFUNvONAHJ2czvXrkYxLueb8egJYg5dSeoSk-qkgdnRNxx9oQbThiVjedv9erUUw55gp8azOjm35DDwEsh0WHGzbSHPmafg=s0-d) |
(4)
|
then Lerch's theorem guarantees that the integral
 |
(5)
|
vanishes for all

for a null
function defined by
 |
(6)
|
The Laplace transform is linear since
The Laplace transform of a convolution is given by
![L_t[f(t)*g(t)]=L_t[f(t)]L_t[g(t)]
L_t^(-1)[FG]=L_t^(-1)[F]*L_t^(-1)[G].](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uvs1uL1bosLNODJAQcIgfbQz-SVcqkPrgRpz-WYUvReOXftsMXP0XfmvzY6GsO1sCYG56LgSqj7v7jadd5ky3QU-R5EFLEMUNwylw4eOF9qQg5QhAH4iJnOnTSBUWKxUDjv74ZwocbqEHvEupn-hMi2Ta66ciC=s0-d) |
(10)
|
Now consider differentiation. Let

be continuously
differentiable

times in

. If

, then
=s^nL_t[f(t)]-s^(n-1)f(0)-s^(n-2)f^'(0)-...-f^((n-1))(0).](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uBv_VdfYDswlKPa42oEMt5HVordSmvzrFZfdK1nKUQbrG96q_48K1M45f-pcQntc6pUqWn9aqsO-XyRLmkQ3OJfviaVT1NIOxg-fBkF0mk1-XrgbtrIWIlvWC72Fcou4OR0SIH5W4dafya262MR3PxWxNFEFvNfA=s0-d) |
(11)
|
This can be proved by integration by parts,
Continuing for higher-order derivatives then gives
=s^2L_t[f(t)](s)-sf(0)-f^'(0).](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vRh7Z0OyZO6doIwrDFqyvPoQIpINeTDdYUmx1pWswFfrYZZm9IU-zoKQehTk6kGYt4IK4dJvO9OMlMge9sF7HqrRcT6EM88NtrK3k0oZzvccJi5ndhl0bnTtn_RKPDtFcVtgc3HNpqRMLaCJJhLZmf9eOjZsKn7w=s0-d) |
(16)
|
This property can be used to transform differential equations into algebraic equations, a procedure known as the Heaviside calculus,
which can then be inverse transformed to obtain the solution. For example, applying
the Laplace transform to the equation
 |
(17)
|
gives
-sf(0)-f^'(0)}+a_1{sL_t[f(t)](s)-f(0)}
+a_0L_t[f(t)](s)=0](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_uAjMZBaszOeixwi8UxRkv4KjNKZJXFR0dwOsAFgYKtqW1lLMsLf5zIaWa3SDYxrbG2qWoWj8USrYpUuOEPuD8bKr_o_7ol0IFePoVAg_tXj-KeMVs7oW6Z-w-N1N_OLoKCo6NbRf3ShNNzDgLe3LXQzcXw6knybVg=s0-d) |
(18)
|
(s^2+a_1s+a_0)-sf(0)-f^'(0)-a_1f(0)=0,](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_sEjwW3BZsebVAvPXHE1m2a68f6AloBuGbsS1pDKwhkO9gW-VuRq4OrSfBaqUWrhfMYHUstDpQv-Dbsp8_2hERFBhP7QeMilfmyNSxRq83I8itMB5gAckMqWhOIw14jogqnqL0DWfqT01a56wkTKkY-TofnFyyLTg=s0-d) |
(19)
|
which can be rearranged to
=(sf(0)+f^'(0)+a_1f(0))/(s^2+a_1s+a_0).](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tQbjDzf33jnL_C_6WcoHmYp5SytnVjAbZNpLd-nCqTi33aylCuekxfUUgWwgwxtAvoa5NLPF_mL7PtaZP0wCdY8yCiwpfnhxaeNld9_OUmF5mwuRaUYsAxYZJ5lCetIxnmuR0ajpw4oF9LJFmFn5sgnG9injTIx0k=s0-d) |
(20)
|
If this equation can be inverse Laplace transformed, then the original differential equation is solved.
The Laplace transform satisfied a number of useful properties. Consider exponentiation. If
=F(s)](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_t8q3Gx1RUIDD-2-bejPIIFDd25vvPP_iDkq9yx2d39banbhRnHOyFNgwhTqfD6VBS5JmJBoElHVPFcJPcgRdn5keRftoKBEHjzkVcvnw8aJpVdwzo36CNBMEoCv5jnZM_6bxQyuc_XqGnOMsfBSg=s0-d)
for

(i.e.,

is the Laplace transform of

), then
=F(s-a)](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_vuBYgTFxnMkeKNOWvkKu7ABBdU4pvVRdtgOSxm24Pa8Ybtui5IxuowOt6qn6YmAYY9LKsYnOU2cHMWQiR95436VJgsELdwY4uYOzQ0CFbIay4FuZPyoaPe3L9-dnhLeOdjb98cuKfj9kBnvLTJ=s0-d)
for

. This follows from
The Laplace transform also has nice properties when applied to integrals of functions. If

is piecewise
continuous and

, then
![L_t[int_0^tf(t^')dt^']=1/sL_t[f(t)](s).](https://lh3.googleusercontent.com/blogger_img_proxy/AEn0k_tauUJGcX3mfNfiK8uu_p80PM14Sla4OfyhFbzFTyNJ0C438AjeLs6A-TjrN9O7hOdw2oHttsJDZ5EjsOx_60ii1_Qd7pM_pZ0V0p5BZFBQSeq2rg2Kkk2itjlPAUSILn-JDEPcAshKccDTJrVafLvmr4dWObjSbZI=s0-d) |
(24)
|