Uploaded by Saanvi Gulati

15. Laplace Transform 1

advertisement
Laplace Transforms
Pradeep Boggarapu
November 26, 2023
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
1 / 23
Introduction and Definition
Laplace transform is an important tool to solve certain types of
differential equations and integral equations.
In addition to such applications, Laplace transforms also have a no.of
connections with important parts of pure mathematics.
We shall try to give you an adequate idea of these matters whtout
going in deep detail.
Before giving the definition of Laplace transforms, we will recall some
known transforms.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
2 / 23
1
Differentiation: It is a transformation which transforms a function
f (x) into another function, its derivative. Generally we use D to
denote the differentiation transform and it is given by
D[f ](x) = f ′ (x)
2
where f (x) is differentiable function.
Integration I : It is another important basic transform and it
transforms a function f (x) into its integration, i.e.,
Z x
I [f ](x) =
f (t)dt, x ∈ [a, b].
a
3
Multiplication operation by a fixed function: An even simpler
transformation is the operation of multiplying all functions by a
specific function g (x):
Mg [f ](x) = g (x)f (x), x ∈ [a, b].
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
3 / 23
4. Integral operators: A class of linear transformations of particular
important is that of the “integral operators”.
We consider functions f (x) defined on finite or infinite interval
a ≤ x ≤ b and we choose a fixed function K (p, x) of variable x and
parameter p.
Then the integral operator with kernel K (p, x) defined by
Z
T [f ](p) =
b
K (p, x)f (x)dx = F (p)
a
Where the function K (p, x) is called kernel of the above integral
operator.
In each of our examples, the function on right is called the transformation
of f (x) under the corresponding transformation.
If the transformation is understood from the context, then we use the
capital letter F to denote the transformation of the function f (x).
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
4 / 23
Laplace transform: It is a particular case of integral operator. When
a = 0, b = ∞ and the kernerl is given by K (p, x) = e −px , we obtain the
special case of integral operator which is a main concern of the present
chapter, and it is called Laplace transform.
We denote Laplace transform of a function f (x) by L[f (x)] or simply L[f ]
and it is given by
Z ∞
L[f (x)](p) =
e −px f (x)dx (= F (p))
0
where p ∈ R such that the improper integral on right exists.
We remind that an improper integral in the above is defined to be the
following limit
Z
∞
e
0
−px
Z
f (x)dx = lim
b→∞ 0
b
e −px f (x)dx.
We study more about this kind of improper integral in coming section.
First we find the Laplace transforms of known functions:
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
5 / 23
The following Laplace transforms are quite easy to compute
R ∞ −px
1 f (x) = 1, then F (p) =
dx = p1 .
0 e
R ∞ −px
2 f (x) = x, then F (p) =
dx = p12 .
0 xe
3
If f (x) = x α , α > −1 then F (p) =
Γ(α+1)
.
p α+1
Solution: This can be proved as follows: The Laplace transform of
f (x) is given by
Z ∞
Z ∞
−px
F (p) =
f (x)e
dx =
x α e −px dx.
0
0
If we use the change of variable px = t, then the above can be
reduced to
Z ∞ α
1
t
e −t dt
F (p) =
p
t
0
Z ∞
1
Γ(α + 1)
= α+1
t α e −t dt =
.
p
p α+1
0
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
6 / 23
Example 1: f (x) = sin ax, then its Laplace transform is F (p) =
Sol. Here we use the integration by parts:
Z ∞
sin axe −px dx
F (p) =
0
Z ∞
e −px
e −px ∞
−
a cos ax
dx
= sin ax
−p 0
−p
0
Z ∞
a
=
cos axe −px dx
p 0
Z
∞
−a
a2 ∞
−px
= 2 cos axe
− 2
sin axe −px dx
p
p 0
0
a
a2
−
F (p)
p2 p2
2
which implies 1 + pa 2 F (p) = pa2 . Thus we have F (p) =
a
.
a2 +p 2
=
a
.
p 2 +a2
Example 2: In a similar way we can show that the Laplace transform of
p
f (x) = cos ax is F (p) = p2 +a
2.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
7 / 23
Example 3: If f (x) = e ax then F (p) =
1
p−a ;
p > a.
Exercise Problems:
1
2
Find the Laplace transforms L sin2 ax and L cos2 ax without
integrating. How are these two transforms related to each other.
Without integrating show that
a
,
p 2 − a2
p
(b) L[cosh ax] = 2
,
p − a2
(a) L[sinh ax] =
3
p > |a|;
p > |a|;
Use the Laplace transforms of known functions to find the Laplace
transforms of each of the following functions:
(a) f (x) = 10;
(b) f (x) = x 5 + cos 2x;
(d) f (x) = 4 sin x cos x + 2e −x ;
(c) f (x) = 2e 3x − sin 5x
(e) f (x) = x 6 cos2 3x + x 6 sin2 3x.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
8 / 23
A Few Remarks on the Theory: Before proceeding to the application, it
is desirable to consider more carefully the circumstances under which a
function has Laplace transform.
For this, we need to know more about improper integrals as the Laplace
transform of a functions is an improper integral.
Here the kind of improper integral we consider is
Z ∞
f (x)dx
(0.1)
0
The improper integral (0.1) is said to converge if the limit
Z b
lim
f (x)dx
b→∞ 0
exists and in this case, the value of (0.1) is defined by
Z ∞
Z b
f (x)dx = lim
f (x)dx.
0
Pradeep Boggarapu
b→∞ 0
Laplace Transforms
November 26, 2023
9 / 23
The improper integral (0.1) is said to converges absolutely, if the following
improper integral converges
Z ∞
f (x) dx
0
Notes:
1
If the improper integral (0.1) converges absolutely implies it
converges.
2
If
there exists a function g (x) ≥ 0 such that |f (x)| ≤ g (x) and
R∞
0 g (x)dx converges, then the improper integral (0.1) converges
absolutely and hence converges.
Next we come to our basic problem, what are the functions f (x) for which
the Laplace trasnform
in other words, the functions for which the
R ∞ exists
−px
improper integral 0 e
f (x)dx converges.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
10 / 23
We know that
Z
∞
e
0
−px
Z
f (x)dx = lim
b→∞ 0
b
e −px f (x)dx
whenever the later limit exists otherwise the improper integral does not
exist.
For
of the limit necessarily, for large b, the integral
R b existence
−px f (x)dx should be finite. For this it suffices to assume that f (x) is
e
0
continuous or at least is piecewise continuous.
We mean by a piecewise continuous function f (x) that f is continuous on
every finite interval 0 ≤ x ≤ b, except possibly at a finite no. of points
where there are jump-discontinuities.
Here we are assuming that the reader knows the definition of jump
discontinuity of f (x) at x = x0 . You can see the text book for the
examples and graph of a piecewise continuous function.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
11 / 23
The piecewise continuity of f (x) guarantees that the definite integral
Rb
−px dx exists for all b.
0 f (x)e
The existence of the limit
Z
lim
b→∞ 0
b
f (x)e −px dx
(0.2)
depends on the behaviour of the integrand e −px f (x) for large x.
In order to make sure that the integrand diminish rapidly for the
convergence of (0.2), we shall further assume that f (x) is of exponential
order.
We say a function f (x) is of exponential order if there exist constants
M ≥ 0 and c ∈ R such that for large x,
|f (x)| ≤ Me cx , for x ≥ 0
(0.3)
Thus, though f (x) may become infinitely large as x → ∞, it must grow
less rapidly than a constant multple of some exponential function e cx .
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
12 / 23
Examples: (1) Any bounded function (like sin ax, cos ax) is of exponential
order: If f (x) is bounded, then there exists M such that
|f (x)| ≤ M = Me 0x .
(2) Any polynomial P(x) in x is also of exponential order as we can find
M > 0 such that
|P(x)| ≤ Me cx , for any c > 0.
2
(3) The function f (x) = e x is not of exponential order. This can be
2
proved easily, if we suppose that the function f (x) = e x is of exponential
order then we will arrive to a contradiction:
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
13 / 23
2
How?, the functions e x is of exponential order means
2
|e x | ≤ Me cx
for some M and c, which implies
2
e (x−c/2) ≤ Me c
2 /4
.
Now if we let x tends to ∞, the function on left goes to ∞ where as the
function on right remains the same, as it is independent of x which is
finite number.
This leads a contradiction and hence our supposition is wrong. Thus, the
2
function e x is not of exponential order.
Now we show that if a function f (x) is piecewise continuous and is of
exponential order then its Laplace transform exists.
By the hypothesis there exist constants M ≥ 0 and c ∈ R such that for
large x,
|f (x)| ≤ Me cx
which implies
|e −px f (x)| ≤ Me −(p−c)x .
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
14 / 23
Since the function on right hand
R ∞ side of the above inequality is integrable
on (0, ∞) for p > c i.e., M 0 e −(p−c)x dx converges for p > c, the
Laplace transform exists by comparison test.
In addition, we note that
Z ∞
f (x)e −px dx
|F (p)| =
0
Z ∞
≤
|f (x)e −px |dx
0
Z ∞
≤M
e −(p−c)x dx =
0
M
,
p−c
for p > c.
So F (p) → 0 as p → ∞.
Actually, it can be shown that the above property is true, whenever
Laplace transform F (p) exists regardless of whether or not f (x) is
piecewise continuous and of exponential order.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
15 / 23
Thus, if ϕ(p) is a function of p with the property that its limit as p → ∞
does not exist or is not equal to zero, then it can not be the Laplace
transform of any function.
For example, A polynomial in p, sin p, cos p, e p , log p etc. can not be
Laplace transforms of any function f (x).
P(p)
can be Laplace transform of a
Q(p)
function if the degree of P is less than that of Q.
But a rational function ϕ(p) =
We have shown that any piecewise continuous function f (x) of
exponential order has a Laplace transform, so these conditions are
sufficient for existance of Laplace transform of f (x).
However, they are not necessary as the example f (x) = x −1/2 shows. This
function has infinite discontinuity at x = 0, so it is not piecewise
continuous, but nevertheless its integral from 0 to b exists and since it is
bounded for large x its Laplace transform exists. Indeed, we can find its
Laplace transform in the following way:
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
16 / 23
L[x
−1/2
Z
]=
∞
e −px x −1/2 dx,
0
and the change of variable px = t gives
r
Z ∞
Γ(1/2)
π
−1/2
−1/2
−t −1/2
L[x
]=p
e t
dt = 1/2 =
.
p
p
0
Now we will find Laplace transforms of some piecewise continuous
functions of exponential order.
In each of the following cases, the functions are piecewise continuous and
of exponential order and hence find its Laplace transforms:
(a) f (x) = u(x − a) where a is a positive number and u(x) is the unit
step function defined by
0 if x < 0;
u(x) =
1 if x ≥ 0,
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
17 / 23
(b) f (x) = [x]; where [x] denotes the greatest integer ≤ x;
(c) f (x) = x − [x];
sin x if 0 ≤ x ≤ π;
(d) f (x) =
0
if x > π.
Sol. of (a): The given function can be written as
0 if x < a;
f (x) =
1 if x ≥ a.
Since |f (x)| ≤ 1, its is of exponential order and it is continuous every
where except at x = a where f has jump-discontinuous and hence it is
piecewise continuous function. Its Laplace transform is given by
Z ∞
Z ∞
e −pa
−px
.
F (p) =
f (x)e
dx =
e −px dx =
p
0
a
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
18 / 23
Sol. of (b): The given function can be written as f (x) = [x] = n if
n ≤ x < n + 1, for some integer n.
Clearly f (x) is bounded by x for x > 0 and continuous every where on R
except at integer values of x where f has jump-discontinuity. Therefore,
f (x) is piecewise continuous and of exponential order.
Its Laplace transform is given by
Z ∞
Z
∞
X
−px
F (p) =
e
f (x)dx =
n
0
n=0
n+1
e −px dx
n
∞
∞
1X
1X
−np
−(n+1)p
n e
−e
ne −np 1 − e −p
=
=
p
p
n=0
n=0
∞
−p
X
1−e
1 − e −p d
d
1
−np
e
=−
=−
p
dp
p
dp 1 − e −p
n=0
1
.
=
p
p(e − 1)
One has to verify the last step of the above.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
19 / 23
Sol. of (c): It is easy to verify that the function f (x) = x − [x] is
non-negative and bounded by 1. It is also clear that the function is
continuous every where except at integer values of x where f (x) has
jump-discontinuity.
Therefore, the function f (x) is piecewise continuous and of exponential
order. Its Laplace transform is given by
F (p) = L[x] − L[[x]] =
1
1
.
−
2
p
p
p(e − 1)
Sol. of (d): We can easily verify that |f (x)| ≤ 1 and the function f (x) is
continuous on [0, ∞) and the function f (x) is therefore is continuous and
of exponential order. The Laplace transform of f (x) is given by
Z π
Z ∞
e −px ∞
e −px
−px
F (p) =
sin xe
dx = sin x
−
cos x
dx
−p 0
−p
0
0
Z ∞
1
e −px ∞
e −px
1 + e −pπ
1
=
cos x
−
(− sin x)
dx =
− 2 F (p)
2
p
−p 0
−p
p
p
0
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
20 / 23
Finaly we have (1 +
1+e −pπ
and hence F (p)
p2
2
x
that L[e ] does not exist.
1
)F (p)
p2
=
=
Problem-1: Show explicitely
Sol:
Z ∞
Z ∞
2
p
−p 2
2
2
L[e x ](p) =
e x− 2 dx
e x e −px dx = e 4
0
0
Z b
Z
2
p
−p 2
−p 2
x−
2
= e 4 lim
dx ≥ e 4
e
lim
b→∞ 0
b→∞ 0
1+e −pπ
1+p 2
b
1dx
= ∞.
2
which means L[e x ] does not exist.
Problem-2: Show explicitely that L[x −1 ] does not exist.
Sol:
Z 1
Z ∞
Z ∞
1 −px
1
1 −px
e
dx ≥
e
dx ≥ e −p
dx
L[x −1 ](p) =
x
x
ε x
ε
0
1
1
≥ e −p log x = e −p log
→ ∞,
ε
ε
as ε → 0 which means L[x −1 ] = ∞ and hence it does not exist.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
21 / 23
Reference
We strictly followed the following book (prescribed text book for the
course) to make this notes:
G. F. Simmons, Differential Equations with Applications and
Historical Notes, TMH, 2nd Ed., 1991.
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
22 / 23
Thank you for your attention
Pradeep Boggarapu
Laplace Transforms
November 26, 2023
23 / 23
Download