Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

8.1: Introduction to the Laplace Transform

( \newcommand{\kernel}{\mathrm{null}\,}\)

Definition of the Laplace Transform

To define the Laplace transform, we first recall the definition of an improper integral. If g is integrable over the interval [a,T] for every T>a, then the improper integral of g over [a,) is defined as

ag(t)dt=limTTag(t)dt.

We say that the improper integral converges if the limit in Equation ??? exists; otherwise, we say that the improper integral diverges or does not exist. Here’s the definition of the Laplace transform of a function f.

Defintion 8.1.1 : Laplace Transform

Let f be defined for t0 and let s be a real number. Then the Laplace transform of f is the function F defined by

F(s)=0estf(t)dt,

for those values of s for which the improper integral converges.

It is important to keep in mind that the variable of integration in Equation ??? is t, while s is a parameter independent of t. We use t as the independent variable for f because in applications the Laplace transform is usually applied to functions of time.

The Laplace transform can be viewed as an operator L that transforms the function f=f(t) into the function F=F(s). Thus, Equation ??? can be expressed as

F=L(f).

The functions f and F form a transform pair, which we’ll sometimes denote by

f(t)F(s).

It can be shown that if F(s) is defined for s=s0 then it is defined for all s>s0.

Computation of Some Simple Laplace Transforms

Example 8.1.1

Find the Laplace transform of f(t)=1.

Solution

From Equation ??? with f(t)=1,

F(s)=0estdt=limTT0estdt.

If s0 then

T0estdt=1sest|T0=1esTs.

Therefore

limTT0estdt={1s,s>0,,s<0.

If s=0 the integrand reduces to the constant 1, and

limTT01dt=limTT01dt=limTT=.

Therefore F(0) is undefined, and

F(s)=0estdt=1s,s>0.

This result can be written in operator notation as

L(1)=1s,s>0,

or as the transform pair

11s,s>0.

Note

It is convenient to combine the steps of integrating from 0 to T and letting T. Therefore, instead of writing Equation ??? and ??? as separate steps we write

0estdt=1sest|0={1s,s>0,s<0

We'll follow this practice throughout this chapter.

Example 8.1.2

Find the Laplace transform of f(t)=t.

Solution

From Equation ??? with f(t)=t,

F(s)=0esttdt.

If s0, integrating by parts yields

0esttdt=tests|0+1s0estdt=[ts+1s2]est|0={1s2,s>0,,s<0.

If s=0, the integral in Equation ??? becomes

0tdt=t22|0=.

Therefore F(0) is undefined and

F(s)=1s2,s>0.

This result can also be written as

L(t)=1s2,s>0,

or as the transform pair

t1s2,s>0.

Example 8.1.3

Find the Laplace transform of f(t)=eat, where a is a constant.

Solution

From Equation ??? with f(t)=eat,

F(s)=0esteatdt.

Combining the exponentials yields

F(s)=0e(sa)tdt.

However, we know from Example 8.1.1 that

0estdt=1s,s>0.

Replacing s by sa here shows that

F(s)=1sa,s>a.

This can also be written as

L(eat)=1sa,s>a, or eat1sa,s>a.

Example 8.1.4

[Find the Laplace transforms of f(t)=sinωt and g(t)=cosωt, where ω is a constant.

Solution

Define

F(s)=0estsinωtdt

and

G(s)=0estcosωtdt.

If s>0, integrating Equation ??? by parts yields

F(s)=estssinωt|0+ωs0estcosωtdt,

so

F(s)=ωsG(s).

If s>0, integrating Equation ??? by parts yields

G(s)=estcosωts|0ωs0estsinωtdt,

so

G(s)=1sωsF(s).

Now substitute from Equation ??? into this to obtain

G(s)=1sω2s2G(s).

Solving this for G(s) yields

G(s)=ss2+ω2,s>0.

This and Equation ??? imply that

F(s)=ωs2+ω2,s>0.

Tables of Laplace Transforms

Extensive tables of Laplace transforms have been compiled and are commonly used in applications. The brief table of Laplace transforms in the Appendix will be adequate for our purposes.

Example 8.1.5

Use the table of Laplace transforms to find L(t3e4t).

Solution

The table includes the transform pair

tneatn!(sa)n+1.

Setting n=3 and a=4 here yields

L(t3e4t)=3!(s4)4=6(s4)4.

We’ll sometimes write Laplace transforms of specific functions without explicitly stating how they are obtained. In such cases you should refer to the table of Laplace transforms.

Linearity of the Laplace Transform

The next theorem presents an important property of the Laplace transform.

Theorem 8.1.2 Linearity Property

Suppose L(fi) is defined for s>si, 1in). Let s0 be the largest of the numbers s1, s2, …,sn, and let c1, c2,…, cn be constants. Then

L(c1f1+c2f2++cnfn)=c1L(f1)+c2L(f2)++cnL(fn) for s>s0.

Proof

We give the proof for the case where n=2. If s>s0 then

L(c1f1+c2f2)=0est(c1f1(t)+c2f2(t)))dt=c10estf1(t)dt+c20estf2(t)dt=c1L(f1)+c2L(f2).

Example 8.1.6

Use Theorem 8.1.2 and the known Laplace transform

L(eat)=1sa

to find L(coshbt)(b0).

Solution

By definition,

coshbt=ebt+ebt2.

Therefore

L(coshbt)=L(12ebt+12ebt)=12L(ebt)+12L(ebt)(linearity property)=121sb+121s+b,

where the first transform on the right is defined for s>b and the second for s>b; hence, both are defined for s>|b|. Simplifying the last expression in Equation ??? yields

L(coshbt)=ss2b2,s>|b|.

The next theorem enables us to start with known transform pairs and derive others. (For other results of this kind, see Exercises 8.1.6 and 8.1.13.)

Theorem 8.1.3 First Shifting Theorem

If

F(s)=0estf(t)dt

is the Laplace transform of f(t) for s>s0, then F(sa) is the Laplace transform of eatf(t) for s>s0+a.

Proof

Replacing s by sa in Equation ??? yields

F(sa)=0e(sa)tf(t)dt

if sa>s0; that is, if s>s0+a. However, Equation 8.1.41 can be rewritten as

F(sa)=0est(eatf(t))dt,

which implies the conclusion.

Example 8.1.7

Use Theorem 8.1.3 and the known Laplace transforms of 1, t, cosωt, and sinωt to find

L(eat),L(teat),L(eλtsinωt),and L(eλtcosωt).

Solution

In the following table the known transform pairs are listed on the left and the required transform pairs listed on the right are obtained by applying Theorem 8.1.3 .

Table 8.1.1
f(t)F(s) eatf(t)F(sa)
11s,s>0 eat1(sa),s>a
t1s2,s>0 teat1(sa)2,s>a
sinωtωs2+ω2,s>0 eλtsinωtω(sλ)2+ω2,s>λ
cosωtss2+ω2,s>0 eλtsinωtsλ(sλ)2+ω2,s>λ

Existence of Laplace Transforms

Not every function has a Laplace transform. For example, it can be shown (Exercise 8.1.3) that

0estet2dt=

for every real number s. Hence, the function f(t)=et2 does not have a Laplace transform.

Our next objective is to establish conditions that ensure the existence of the Laplace transform of a function. We first review some relevant definitions from calculus.

Recall that a limit

limtt0f(t)

exists if and only if the one-sided limits

limtt0f(t)andlimtt0+f(t)

both exist and are equal; in this case,

limtt0f(t)=limtt0f(t)=limtt0+f(t).

Recall also that f is continuous at a point t0 in an open interval (a,b) if and only if

limtt0f(t)=f(t0),

which is equivalent to

limtt0+f(t)=limtt0f(t)=f(t0).

For simplicity, we define

f(t0+)=limtt0+f(t)and f(t0)=limtt0f(t),

so Equation ??? can be expressed as

f(t0+)=f(t0)=f(t0).

If f(t0+) and f(t0) have finite but distinct values, we say that f has a jump discontinuity at t0, and

f(t0+)f(t0)

is called the jump in f at t0 (Figure 8.1.1 ).

fig080101.svg
Figure 8.1.1 : A jump discontinuity.

If f(t0+) and f(t0) are finite and equal, but either f isn’t defined at t0 or it is defined but

f(t0)f(t0+)=f(t0),

we say that f has a removable discontinuity at t0 (Figure 8.1.2 ). This terminology is appropriate since a function f with a removable discontinuity at t0 can be made continuous at t0 by defining (or redefining)

f(t0)=f(t0+)=f(t0).

fig080102.svg
Figure 8.1.2
Note

We know from calculus that a definite integral is not affected by changing the values of its integrand at isolated points. Therefore, redefining a function f to make it continuous at removable discontinuities does not change L(f).

Definition 8.1.4 : Piecewise Continuous
  • A function f is said to be piecewise continuous on a finite closed interval [0,T] if f(0+) and f(T) are finite and f is continuous on the open interval (0,T) except possibly at finitely many points, where f may have jump discontinuities or removable discontinuities.
  • A function f is said to be piecewise continuous on the infinite interval [0,) if it is piecewise continuous on [0,T] for every T>0.

Figure 8.1.3 shows the graph of a typical piecewise continuous function.

It is shown in calculus that if a function is piecewise continuous on a finite closed interval then it is integrable on that interval. But if f is piecewise continuous on [0,), then so is estf(t), and thereforeT0estf(t)dt

fig080103.svg
Figure 8.1.3

exists for every T>0. However, piecewise continuity alone does not guarantee that the improper integral

0estf(t)dt=limTT0estf(t)dt

converges for s in some interval (s0,). For example, we noted earlier that Equation ??? diverges for all s if f(t)=et2. Stated informally, this occurs because et2 increases too rapidly as t. The next definition provides a constraint on the growth of a function that guarantees convergence of its Laplace transform for s in some interval (s0,).

Definition 8.1.5 : of exponential order

A function f is said to be of exponential order s0 if there are constants M and t0 such that

|f(t)|Mes0t,tt0.

In situations where the specific value of s0 is irrelevant we say simply that f is of exponential order.

The next theorem gives useful sufficient conditions for a function f to have a Laplace transform. The proof is sketched in Exercise 8.1.10.

Theorem 8.1.6

If f is piecewise continuous on [0,) and of exponential order s0, then L(f) is defined for s>s0.

Note

We emphasize that the conditions of Theorem 8.1.6 are sufficient, but not necessary, for f to have a Laplace transform. For example, Exercise 8.1.14(c) shows that f may have a Laplace transform even though f isn’t of exponential order

Example 8.1.8

If f is bounded on some interval [t0,), say

|f(t)|M,tt0,

then Equation ??? holds with s0=0, so f is of exponential order zero. Thus, for example, sinωt and cosωt are of exponential order zero, and Theorem 8.1.6 implies that L(sinωt) and L(cosωt) exist for s>0. This is consistent with the conclusion of Example 8.1.4 .

Example 8.1.9

It can be shown that if limtes0tf(t) exists and is finite then f is of exponential order s0 (Exercise 8.1.9). If α is any real number and s0>0 then f(t)=tα is of exponential order s0, since

limtes0ttα=0,

by L’Hôpital’s rule. If α0, f is also continuous on [0,). Therefore Exercise 8.1.9 and Theorem 8.1.6 imply that L(tα) exists for ss0. However, since s0 is an arbitrary positive number, this really implies that L(tα) exists for all s>0. This is consistent with the results of Example 8.1.2 and Exercises 8.1.6 and 8.1.8.

Example 8.1.10

Find the Laplace transform of the piecewise continuous function

f(t)={1,0t<1,3et,t1.

Solution

Since f is defined by different formulas on [0,1) and [1,), we write

F(s)=0estf(t)dt=10est(1)dt+1est(3et)dt.

Since

10estdt={1esss01s=0

and

1est(3et)dt=31e(s+1)tdt=3e(s+1)s+1,s>1,

it follows that

F(s)={1ess3e(s+1)s+1s>1,s013es=0

This is consistent with Theorem 8.1.6 , since

|f(t)|3et,t1,

and therefore f is of exponential order s0=1.

Note

In Section 8.4 we’ll develop a more efficient method for finding Laplace transforms of piecewise continuous functions.

Example 8.1.11

We stated earlier that

0estet2dt=

for all s, so Theorem 8.1.6 implies that f(t)=et2 is not of exponential order, since

limtet2Mes0t=limt1Met2s0t=,

so

et2>Mes0t

for sufficiently large values of t, for any choice of M and s0 (Exercise 8.1.3).


This page titled 8.1: Introduction to the Laplace Transform is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by William F. Trench.

Support Center

How can we help?