October 16 (Monday)
Definition
Given a function f(t) on the positive real line t>0, we can define the following function of p:
F(p)=∫t=0∞f(t)e−ptdt.
Again, we require the function f(t) to have moderate growth at t→∞ for the integral to be well-defined.
Examples
f(t)=1,
F(p)=1/p, valid for
Re(p)>0
f(t)=eat,
F(p)=1/(p−a),valid for
Re(p−a)>0.
f(t)=cos(at),
F(p)=(1/2)[1/(p−ia)+1/(p+ia)]=p/(p2+a2). valid for
Re(p)>0 if
a is real.
That was about function with (linear) exponential decay or growth at infinty
How about Gaussian?
If
f(t)=e−t2, then
F(p)=∫0∞e−t2e−ptdt=∫0∞e−(t+p/2)2+p2/4dt=ep2/4∫p/2∞e−t2dt.
OK, that's not nice, you can express the result using Gaussian error function, which is about ∫0ae−t2dt, but let's not worry about it.
How about rational function?
If
f(t)=1/(1+t), we know
F(p) exists, and it is holomorphic (at least) for
Re(p)>0.
properties
Suppose we know the Laplace transform of f(t), let's denote F=LT(f) (note we just write the name of the function f, not including its input variables t). What can we say about LT(f′)?
We can do integration by part
LT(f′)=∫0∞e−ptdtdfdt=∫t=0t=∞e−ptdf=∫t=0t=∞d[e−ptf]−d[e−pt]f=e−ptf(t)∣0∞+∫0∞pe−ptf(t)dt=−f(0)+pF(p).
inverse?
f(t)=2πi1∫c−i∞c+i∞eptF(p)dp.c≫0
We want to take c large enough so that there is no singularity of F(p) for Re(p)>c.
For example, if F(p)=1/p, or 1/(p−a), we can get f(t)=1 and f(t)=eat respectively.
If you have a differential equation about f(t) on some domain t>0, and you know the initial conditions, say f(t=0) etc, then you can use it to compute the Laplace transform of f. We have
Example
f′(t)+f(t)=3,f(0)=1
We apply Laplace transform to the equation, we get
pF(p)−f(0)+F(p)=3/p.
Then, we get
F(p)(p+1)=(3/p+1)⇒F(p)=p(p+1)3+p
Then, we may apply the inverse Laplace transformation, to get
f(t)=Resp=0(eptp(p+1)3+p)+Resp=−1(eptp(p+1)3+p)=0+1e0t(3+0)+e1t−13−1=−2e−t+3.
Double check
f′(t)+f(t)=2e−t+(−2e−t+3)=3,f(0)=1.
yeah.