The Laplace transform is an important concept from the branch of mathematics called Functional Analysis .
In actual physical systems the Laplace transform is often interpreted as a transformation from the '' Time-domain '' point of view, in which inputs and outputs are understood as functions of time, to the '' Frequency-domain '' point of view, where the same inputs and outputs are seen as functions of Complex Angular Frequency , or Radians per unit time. This transformation not only provides a fundamentally different way to understand the behavior of the system, but it also drastically reduces the complexity of the mathematical calculations required to analyze the system.
The Laplace transform has many important applications in Physics , Optics , Electrical Engineering , Control Engineering , Signal Processing , and Probability Theory .
The Laplace transform is named in honor of mathematician and astronomer Pierre-Simon Laplace , who used the transform in his work on Probability Theory . The transform was discovered originally by Leonhard Euler , the prolific eighteenth-century Swiss mathematician.
The Laplace transform of a Function ''f''(''t''), defined for all Real Number s ''t'' ≥ 0, is the function ''F''(''s''), defined by:
:
The lower limit of is short notation to mean and assures the inclusion of the entire Dirac Delta function at 0 if there is such an impulse in ''f''(''t'') at 0.
The parameter ''s'' is in general Complex :
:
This Integral Transform has a number of properties that make it useful for analysing linear Dynamical System s. The most significant advantage is that Differentiation and Integration become multiplication and division, respectively, with . (This is similar to the way that Logarithm s change an operation of multiplication of numbers to addition of their logarithms.) This changes Integral Equation s and Differential Equation s to Polynomial Equation s, which are much easier to solve.
The inverse Laplace transform is the Bromwich Integral , which is a Complex integral given by:
:
where is a real number so that the contour path of integration is in the '' Region Of Convergence '' of normally requiring for every Singularity of and . If all singularities are in the left half-plane, that is for every , then can be set to zero and the above inverse integral formula above becomes identical to the inverse Fourier Transform .
When one says "the Laplace transform" without qualification, the unilateral or one-sided transform is normally intended. The Laplace transform can be alternatively defined as the ''bilateral Laplace transform'' or Two-sided Laplace Transform by extending the limits of integration to be the entire real axis. If that is done the common unilateral transform simply becomes a special case of the bilateral transform where the definition of the function being transformed is multiplied by the Heaviside Step Function .
The bilateral Laplace transform is defined as follows:
:
The Laplace transform ''F''(''s'') typically exists for all complex numbers such that Re{''s''} > ''a'', where ''a'' is a real constant which depends on the growth behavior of ''f''(''t''), whereas the two-sided transform is defined in a range
''a'' < Re{''s''} < ''b''. The subset of values of ''s'' for which the Laplace transform exists is called the ''region of convergence'' (ROC) or the ''domain of convergence''. In the two-sided case, it is sometimes called the ''strip of convergence.''
There are no specific conditions that one can check a function against to know in all cases if its Laplace transform can be taken, other than to say the defining integral converges. It is however easy to give theorems on cases where it may or may not be taken.
Given the functions ''f''(''t'') and ''g''(''t''), and their respective Laplace transforms ''F''(''s'') and ''G''(''s''):
:
:
the following is a list of properties of the Laplace transform:
- Linearity
:
:
:
:
- Scaling
:
- Initial value theorem
:
- Final value theorem
: , all poles in left-hand plane.
: The final value theorem is useful because it gives the long-term behaviour without having to perform Partial Fraction decompositions or other difficult algebra. If a functions poles are in the right hand plane (e.g. or ) the behaviour of this formula is undefined.
- Frequency shifting
:
:
- Time shifting
:
:
:Note: is the Heaviside Step Function .
- Periodic Function Period
:
It is often convenient to use the differentiation property of the Laplace transform to find the transform of a function's derivative. For the unilateral case, this approach becomes:
:
And in the bilateral case, we have
:
The Continuous Fourier Transform is equivalent to evaluating the bilateral Laplace transform with complex argument :
::
|
This relationship between the Laplace and Fourier transforms is often used to determine the
Frequency Spectrum of a
Signal or
Dynamical System .
The
Mellin Transform and its inverse are related to the two-sided Laplace transform by a simple change of variables. If in the Mellin transform
:
we set
we get a two-sided Laplace
transform.
The
Z-transform is simply the Laplace transform of an ideally sampled signal with the substitution of
:
: where
is the
Sampling period (in units of time e.g. seconds) and
is the
Sampling Rate (in
Samples Per Second or
Hertz )
Let
:
be a sampling impulse train (also called a
Dirac Comb ) and
:
::
be the continuous-time representation of the sampled
.
:
are the discrete samples of
.
The Laplace transform of the sampled signal
is
:
::
::
::
This is precisely the definition of the
Z-transform of the discrete function
:
with the substitution of
.
Comparing the last two equations, we find the relationship between the Z-transform and the Laplace transform of the sampled signal:
|   |
"1" cellspacing="0" cellpadding="6"
|
|   |
"center"
|
|   |
"n" class="copylinks" target="_blank">{Link without Title} {t} \cdot u(t) </math> <math> s^{-(n+1)/n} \cdot \Gamma\left(1+rac{1}{n}
ight)</math> <math> s > 0 \, </math>
|
|   |
"center"
|
|   |
"http://wwwseattleluxurycom/encyclopedia/entry/natural_logarithm" class="copylinks">Natural Logarithm <math> \ln \left ( { t \over t_0 }
ight ) \cdot u(t) </math> <math> - { t_0 \over s} \ \ \ln(t_0 s)+\gamma \ </math> <math> s > 0 \, </math>
|
|   |
"center"
|
|   |
"center"
|
|   |
"center"
|
|   |
"http://wwwseattleluxurycom/encyclopedia/entry/Bessel_function" class="copylinks">Bessel Function <br /> of the second kind, <br /> of order 0 <math> Y_0(\alpha t) \cdot u(t)</math> &nbsp &nbsp
|
|   |
"center"
|
|   |
"http://wwwseattleluxurycom/encyclopedia/entry/Bessel_function" class="copylinks">Bessel Function <br /> of the second kind, <br /> of order 0 <math> K_0(\alpha t) \cdot u(t)</math> &nbsp &nbsp
|
|   |
"center"
|
|   |
"http://wwwseattleluxurycom/encyclopedia/entry/Error_function" class="copylinks">Error Function <math> \mathrm{erf}(t) \cdot u(t) </math> <math> {e^{s^2/4} \operatorname{erfc} \left(s/2
ight) \over s}</math> <math> s > 0 \, </math>
|
|   |
5'''Explanatory notes:'''
|
|   |
\ v(t)_{t=0} </math>
|
|   |
{ V(s) \over I(s) } \bigg_{V_o = 0}</math>
|
|   |
\left{1 \over (s+\beta)}
ight_{s=-\alpha} = {1 \over (\beta - \alpha)} </math>
|
|   |
\left{1 \over (s+\alpha)}
ight_{s=-\beta} = {1 \over (\alpha - \beta)} = {-1 \over (\beta - \alpha)} = - P </math>
|
|
Starting with the Laplace transform,
:
we find the inverse transform by first adding and subtracting the same constant α to the numerator:
:
By the shift-in-frequency property, we have
:
:::
:::
Finally, using the Laplace transforms for sine and cosine (see the table, above), we have
:
Time function |
Laplace transform |
|---|
|
|
|
|
- A. D. Polyanin and A. V. Manzhirov, ''Handbook of Integral Equations'', CRC Press, Boca Raton, 1998. ISBN 0-8493-2876-4
- William McC. Siebert, ''Circuits, Signals, and Systems'', MIT Press, Cambridge, Massachusetts, 1986. ISBN 0-262-19229-2