Laplace Transform Article Index for
Laplace
Articles about
Laplace Transform
Website Links For
Laplace
 

Information About

Laplace Transform




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.


FORMAL DEFINITION

The Laplace transform of a Function ''f''(''t''), defined for all Real Number s ''t'' ≥ 0, is the function ''F''(''s''), defined by:
: F(s) = \mathcal{L} \left\{f(t) ight\} =\int_{0^-}^\infty e^{-st} f(t)\,dt.

The lower limit of 0^- is short notation to mean \lim_{\epsilon ightarrow +0} -\epsilon \ and assures the inclusion of the entire Dirac Delta function \delta (t) \ at 0 if there is such an impulse in ''f''(''t'') at 0.

The parameter ''s'' is in general Complex :
:s = \sigma + i \omega. \,

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 s. (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.


Inverse Laplace transform

The inverse Laplace transform is the Bromwich Integral , which is a Complex integral given by:

: f(t) = \mathcal{L}^{-1} \left\{F(s) ight\}
= rac{1}{2 \pi \imath} \int_{ \gamma - \imath \infty}^{ \gamma + \imath \infty} e^{st} F(s)\,ds,

where \gamma \ is a real number so that the contour path of integration is in the '' Region Of Convergence '' of F(s) \ normally requiring \gamma > \operatorname{Re}(s_p) \ for every Singularity s_p \ of F(s) \ and \imath=\sqrt{-1}. If all singularities are in the left half-plane, that is \operatorname{Re}(s_p) < 0 \ for every s_p \ , then \gamma \ can be set to zero and the above inverse integral formula above becomes identical to the inverse Fourier Transform .


Bilateral Laplace 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:
: F(s) = \mathcal{L}\left\{f(t) ight\} =\int_{-\infty}^{+\infty} e^{-st} f(t)\,dt.


REGION OF CONVERGENCE


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.


PROPERTIES AND THEOREMS


Given the functions ''f''(''t'') and ''g''(''t''), and their respective Laplace transforms ''F''(''s'') and ''G''(''s''):
: f(t) = \mathcal{L}^{-1} \{ F(s) \}
: g(t) = \mathcal{L}^{-1} \{ G(s) \}

the following is a list of properties of the Laplace transform:

  • Linearity

  • : \mathcal{L}\left\{a f(t) + b g(t) ight\} = a F(s) + b G(s)



: \mathcal{L}\{f''\} = s^2 \mathcal{L}\{f\} - s f(0) - f'(0)
: \mathcal{L}\left\{ f^{(n)} ight\} = s^n \mathcal{L}\{f\} - s^{n - 1} f(0) - \cdots - f^{(n - 1)}(0)


: \mathcal{L}\{ t^{n} f(t)\} = (-1)^{n} F^{(n)}(s)




  • Scaling

  • : \mathcal{L} \left\{ f(at) ight\} = {1 \over a} F \left ( {s \over a} ight )


  • Initial value theorem

  • : f(0^+)=\lim_{s o \infty}{sF(s)}


  • Final value theorem

  • : f(\infty)=\lim_{s o 0}{sF(s)}, 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. e^t or \sin(t)) the behaviour of this formula is undefined.

  • Frequency shifting

  • : \mathcal{L}\left\{ e^{at} f(t) ight\} = F(s - a)

: \mathcal{L}^{-1} \left\{ F(s - a) ight\} = e^{at} f(t)

  • Time shifting

  • : \mathcal{L}\left\{ f(t - a) u(t - a) ight\} = e^{-as} F(s)

: \mathcal{L}^{-1} \left\{ e^{-as} F(s) ight\} = f(t - a) u(t - a)
:Note: u(t) is the Heaviside Step Function .

  • nth-power shifting

  • : \mathcal{L}\{\,t^nf(t)\} = (-1)^nD_s^n {Link without Title}



  • Periodic Function Period T

  • : \mathcal{L}\{ f \} = {1 \over 1 - e^{-Ts}} \int_0^T e^{-st} f(t)\,dt



Laplace transform of a function's derivative


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:

: \mathcal{L}\left\{ { df \over dt } ight\}
= s \int_{0^-}^{+\infty} e^{-st} f(t)\,dt - f(0) = s \cdot \mathcal{L} \{ f(t) \} - f(0)

And in the bilateral case, we have

: \mathcal{L}\left\{ { df \over dt } ight\}
= s \int_{-\infty}^{+\infty} e^{-st} f(t)\,dt = s \cdot \mathcal{L} \{ f(t) \}


Relationship to other transforms



Fourier transform

The Continuous Fourier Transform is equivalent to evaluating the bilateral Laplace transform with complex argument s = i\omega:

::F(\omega) = \mathcal{F}\left\{f(t) ight\}



This relationship between the Laplace and Fourier transforms is often used to determine the Frequency Spectrum of a Signal or Dynamical System .


Mellin transform

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
:G(s) = \mathcal{M}\left\{g( heta) ight\} = \int_0^\infty heta^s g( heta) rac{d heta}{ heta}
we set heta = \exp(-t) we get a two-sided Laplace
transform.


Z-transform

The Z-transform is simply the Laplace transform of an ideally sampled signal with the substitution of

: z \equiv e^{s T} \

: where T = 1/f_s \ is the Sampling period (in units of time e.g. seconds) and f_s \ is the Sampling Rate (in Samples Per Second or Hertz )

Let
: q(t) \equiv \sum_{n=0}^{\infty} \delta(t - n T)

be a sampling impulse train (also called a Dirac Comb ) and
: x_q(t) \equiv x(t) q(t) = x(t) \sum_{n=0}^{\infty} \delta(t - n T)
:: = \sum_{n=0}^{\infty} x(n T) \delta(t - n T) = \sum_{n=0}^{\infty} x {Link without Title} \delta(t - n T)

be the continuous-time representation of the sampled x(t) \ .
: x {Link without Title} \equiv x(nT) \ are the discrete samples of x(t) \ .

The Laplace transform of the sampled signal x_q(t) \ is
:X_q(s) = \int_{0^-}^{\infty} x_q(t) e^{-s t} \,dt
:: \ = \int_{0^-}^{\infty} \sum_{n=0}^{\infty} x {Link without Title} \delta(t - n T) e^{-s t} \, dt
:: \ = \sum_{n=0}^{\infty} x {Link without Title} \int_{0^-}^{\infty} \delta(t - n T) e^{-s t} \, dt
:: \ = \sum_{n=0}^{\infty} x {Link without Title} e^{-n s T}.

This is precisely the definition of the Z-transform of the discrete function x {Link without Title} \
: X(z) = \sum_{n=0}^{\infty} x {Link without Title} z^{-n}

with the substitution of z \leftarrow e^{s T} \ .

Comparing the last two equations, we find the relationship between the Z-transform and the Laplace transform of the sampled signal:
  { Border "1" cellspacing="0" cellpadding="6"
  - Align "center"
  12 ''n''th Root <math> \sqrt "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>
  - Align "center"
  13 "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>
  - Align "center"


  - Align "center"


  - Align "center"
  16 "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
  - Align "center"
  17 Modified "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
  - Align "center"
  18 "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>
  colspan 5'''Explanatory notes:'''


  :<math> V O \ \ v(t)_{t=0} </math>
  :<math>Z(s) { V(s) \over I(s) } \bigg_{V_o = 0}</math>
  :<math>P \left{1 \over (s+\beta)} ight_{s=-\alpha} = {1 \over (\beta - \alpha)} </math>
  :<math>R \left{1 \over (s+\alpha)} ight_{s=-\beta} = {1 \over (\alpha - \beta)} = {-1 \over (\beta - \alpha)} = - P </math>



Starting with the Laplace transform,

:X(s) = rac{s+\beta}{(s+\alpha)^2+\omega^2}

we find the inverse transform by first adding and subtracting the same constant α to the numerator:

:X(s) = rac{s+\alpha } { (s+\alpha)^2+\omega^2} + rac{\beta - \alpha }{(s+\alpha)^2+\omega^2}

By the shift-in-frequency property, we have

: x(t) = e^{-\alpha t} \mathcal{L} \left\{ {s \over s^2 + \omega^2} + { \beta - \alpha \over s^2 + \omega^2 } ight\}

::: = e^{-\alpha t} \mathcal{L} \left\{ {s \over s^2 + \omega^2} + \left( { \beta - \alpha \over \omega } ight) \left( { \omega \over s^2 + \omega^2 } ight) ight\}

::: = e^{-\alpha t} \left[ \mathcal{L} \left\{ {s \over s^2 + \omega^2} ight\} + \left( { \beta - \alpha \over \omega } ight) \mathcal{L} \left\{ { \omega \over s^2 + \omega^2 } ight\} ight]

Finally, using the Laplace transforms for sine and cosine (see the table, above), we have

:x(t) = e^{-\alpha t} \left \cos{(\omega t)}+\left( rac{\beta-\alpha}{\omega} ight)\sin{(\omega t)} ight


Example #6: Phase delay















Time function Laplace transform
\sin{(\omega t+\phi)} \
rac{s\sin\phi+\omega \cos\phi}{s^2+\omega^2}
\cos{(\omega t+\phi)} \
rac{s\cos\phi - \omega \sin\phi}{s^2+\omega^2}



REFERENCES



SEE ALSO




EXTERNAL LINKS