Two-sided Laplace Transform

Get Two-sided Laplace Transform essential facts below. View Videos or join the Two-sided Laplace Transform discussion. Add Two-sided Laplace Transform to your PopFlock.com topic list for future reference or share this resource on social media.

## Relationship to other integral transforms

## Properties

## Region of convergence

## Causality

## See also

## References

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Two-sided Laplace Transform

This article includes a list of general references, but it remains largely unverified because it lacks sufficient corresponding inline citations. (September 2015) (Learn how and when to remove this template message) |

In mathematics, the **two-sided Laplace transform** or **bilateral Laplace transform** is an integral transform equivalent to probability's moment generating function. Two-sided Laplace transforms are closely related to the Fourier transform, the Mellin transform, and the ordinary or one-sided Laplace transform. If *ƒ*(*t*) is a real or complex valued function of the real variable *t* defined for all real numbers, then the two-sided Laplace transform is defined by the integral

The integral is most commonly understood as an improper integral, which converges if and only if both integrals

exist. There seems to be no generally accepted notation for the two-sided transform; the used here recalls "bilateral". The two-sided transform used by some authors is

In pure mathematics the argument *t* can be any variable, and Laplace transforms are used to study how differential operators transform the function.

In science and engineering applications, the argument *t* often represents time (in seconds), and the function *ƒ*(*t*) often represents a signal or waveform that varies with time. In these cases, the signals are transformed by filters, that work like a mathematical operator, but with a restriction. They have to be causal, which means that the output in a given time *t* cannot depend on an output which is a higher value of *t*.
In population ecology, the argument *t* often represents spatial displacement in a dispersal kernel.

When working with functions of time, *ƒ*(*t*) is called the **time domain** representation of the signal, while *F*(*s*) is called the **s-domain** (or *Laplace domain*) representation. The inverse transformation then represents a *synthesis* of the signal as the sum of its frequency components taken over all frequencies, whereas the forward transformation represents the *analysis* of the signal into its frequency components.

If *u* is the Heaviside step function, equal to zero when its argument is less than zero, to one-half when its argument equals zero, and to one when its argument is greater than zero, then the Laplace transform may be defined in terms of the two-sided Laplace transform by

On the other hand, we also have

where is the function that multiplies by minus one (), so either version of the Laplace transform can be defined in terms of the other.

The Mellin transform may be defined in terms of the two-sided Laplace transform by

with as above, and conversely we can get the two-sided transform from the Mellin transform by

The Fourier transform may also be defined in terms of the two-sided Laplace transform; here instead of having the same image with differing originals, we have the same original but different images. We may define the Fourier transform as

Note that definitions of the Fourier transform differ, and in particular

is often used instead. In terms of the Fourier transform, we may also obtain the two-sided Laplace transform, as

The Fourier transform is normally defined so that it exists for real values; the above definition defines the image in a strip which may not include the real axis.

The moment-generating function of a continuous probability density function *ƒ*(*x*) can be expressed as .

For any two functions for which the two-sided Laplace transforms exist, if i.e. for every value of the almost everywhere.

One property is like that of the unilateral transform but with an important difference:

Time domain | unilateral-'s' domain | bilateral-'s' domain | |
---|---|---|---|

Differentiation | |||

Second-order differentiation |

Bilateral transform requirements for convergence are more difficult than for unilateral transforms. The region of convergence will be normally smaller.

If *f* is a locally integrable function (or more generally a Borel measure locally of bounded variation), then the Laplace transform *F*(*s*) of *f* converges provided that the limit

exists. The Laplace transform converges absolutely if the integral

exists (as a proper Lebesgue integral). The Laplace transform is usually understood as conditionally convergent, meaning that it converges in the former instead of the latter sense.

The set of values for which *F*(*s*) converges absolutely is either of the form Re(*s*) > *a* or else Re(*s*) >= *a*, where *a* is an extended real constant, -? a dominated convergence theorem.) The constant *a* is known as the abscissa of absolute convergence, and depends on the growth behavior of *f*(*t*).^{[1]} Analogously, the two-sided transform converges absolutely in a strip of the form *a* < Re(*s*) < *b*, and possibly including the lines Re(*s*) = *a* or Re(*s*) = *b*.^{[2]} The subset of values of *s* for which the Laplace transform converges absolutely is called the region of absolute convergence or the domain of absolute convergence. In the two-sided case, it is sometimes called the strip of absolute convergence. The Laplace transform is analytic in the region of absolute convergence.

Similarly, the set of values for which *F*(*s*) converges (conditionally or absolutely) is known as the region of conditional convergence, or simply the **region of convergence** (ROC). If the Laplace transform converges (conditionally) at *s* = *s*_{0}, then it automatically converges for all *s* with Re(*s*) > Re(*s*_{0}). Therefore the region of convergence is a half-plane of the form Re(*s*) > *a*, possibly including some points of the boundary line Re(*s*) = *a*. In the region of convergence Re(*s*) > Re(*s*_{0}), the Laplace transform of *f* can be expressed by integrating by parts as the integral

That is, in the region of convergence *F*(*s*) can effectively be expressed as the absolutely convergent Laplace transform of some other function. In particular, it is analytic.

There are several Paley-Wiener theorems concerning the relationship between the decay properties of *f* and the properties of the Laplace transform within the region of convergence.

In engineering applications, a function corresponding to a linear time-invariant (LTI) system is *stable* if every bounded input produces a bounded output.

Bilateral transforms do not respect causality. They make sense when applied over generic functions but when working with functions of time (signals) unilateral transforms are preferred.

- Causal filter
- Acausal system
- Causal system
- Sinc filter - ideal sinc filter (aka rectangular filter) is acausal and has an infinite delay.

**^**Widder 1941, Chapter II, §1**^**Widder 1941, Chapter VI, §2

- LePage, Wilbur R.,
*Complex Variables and the Laplace Transform for Engineers*, Dover Publications, 1980/ - Van der Pol, Balthasar, and Bremmer, H.,
*Operational Calculus Based on the Two-Sided Laplace Integral*, Chelsea Pub. Co., 3rd ed., 1987. - Widder, David Vernon (1941),
*The Laplace Transform*, Princeton Mathematical Series, v. 6, Princeton University Press, MR 0005923.

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Popular Products

Music Scenes

Popular Artists