PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
[parent] Laplace transform of convolution (Theorem)

Theorem. If $$\mathcal{L}\{f_1(t)\} \,=\, F_1(s) \quad\mbox{and}\quad \mathcal{L}\{f_2(t)\} \,=\, F_2(s),$$ then $$\mathcal{L}\left\{\int_0^tf_1(\tau)f_2(t-\tau)\,d\tau\right\} \;=\; F_1(s)F_2(s).$$

Proof. According to the definition of Laplace transform, one has $$\mathcal{L}\left\{\int_0^tf_1(\tau)f_2(t-\tau)\,d\tau\right\} \;=\; \int_0^\infty e^{-st}\left(\int_0^t f_1(\tau)f_2(t-\tau)\,d\tau\right)dt,$$ where the right hand side is a double integral over the angular region bounded by the lines $\tau = 0$ and $\tau = t$ in the first quadrant of the $t\tau$ -plane. Changing the order of integration, we write $$\mathcal{L}\left\{\int_0^tf_1(\tau)f_2(t-\tau)\,d\tau\right\} \;=\; \int_0^\infty\left(f_1(\tau)\int_\tau^\infty e^{-st}f_2(t-\tau)\,dt\right)d\tau.$$ Making in the inner integral the substitution $t-\tau := u$ , we obtain $$\int_\tau^\infty e^{-st}f_2(t-\tau)\,dt \,=\, \int_0^\infty e^{-(u+\tau)s}f_2(u)\,du = e^{-\tau s}\int_0^\infty e^{-su}f_2(u)\,du = e^{-\tau s}F_2(s),$$ whence $$\mathcal{L}\left\{\int_0^tf_1(\tau)f_2(t-\tau)\,d\tau\right\} \;=\; \int_0^\infty f_1(\tau)e^{-\tau s}F_2(s)\,d\tau \,=\, F_2(s)\int_0^\infty f_1(\tau)e^{-\tau s}\,d\tau = F_1(s)F_2(s),$$ Q.E.D.




"Laplace transform of convolution" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: convolution

Other names:  convolution property of Laplace transform

This object's parent.

Attachments:
using convolution to find Laplace transform (Example) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: substitution, integral, inner, quadrant, lines, bounded, region, double integral, right hand side, Laplace transform, proof, theorem
There are 3 references to this entry.

This is version 3 of Laplace transform of convolution, born on 2008-09-19, modified 2008-09-20.
Object id is 11047, canonical name is LaplaceTransformOfConvolution.
Accessed 1709 times total.

Classification:
AMS MSC44A10 (Integral transforms, operational calculus :: Laplace transform)
 26A42 (Real functions :: Functions of one variable :: Integrals of Riemann, Stieltjes and Lebesgue type)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)