Differential Equations Notes PDF
Differential Equations Notes PDF
STUDY NOTES
Prepared by:
1 Differential Equations 1
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Ordinary Differential Equations . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Order and Degree of ODE . . . . . . . . . . . . . . . . . . . . 2
1.2.2 Concept of solution . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.3 General Solution and integral curves . . . . . . . . . . . . . . 4
1.2.4 Exercise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.5 Initial and Boundary value problems . . . . . . . . . . . . . . 5
1.2.6 Direction Fields . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.7 The differential . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.8 Linear and nonlinear ODE . . . . . . . . . . . . . . . . . . . 9
1.2.9 First order differential equations . . . . . . . . . . . . . . . . 10
1.2.10 Linear equations . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.11 Solution of linear equations . . . . . . . . . . . . . . . . . . . 14
1.2.12 On Using Definite Integrals with Linear Equations . . . . . . 17
1.2.13 Homogeneous Equations . . . . . . . . . . . . . . . . . . . . . 19
1.2.14 Exact differential equations and integrating factors . . . . . . 21
1.2.15 Exact differential equations . . . . . . . . . . . . . . . . . . . 22
1.2.16 Integrating factors . . . . . . . . . . . . . . . . . . . . . . . . 26
1.2.17 Linear Equations . . . . . . . . . . . . . . . . . . . . . . . . . 29
i
CONTENTS
3 Laplace Transforms 81
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.2 Definitions and basic theory . . . . . . . . . . . . . . . . . . . . . . . 82
3.2.1 Common notations used for the Laplace transform . . . . . . 83
3.3 Existence of Laplace transform . . . . . . . . . . . . . . . . . . . . . 84
3.3.1 Properties of the Laplace transform . . . . . . . . . . . . . . 87
3.4 The unit step function . . . . . . . . . . . . . . . . . . . . . . . . . . 88
3.5 The unit impulse function . . . . . . . . . . . . . . . . . . . . . . . . 89
3.6 Laplace transforms of the elementary functions . . . . . . . . . . . . 90
3.7 Shifting theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Differential Equations
1.1 Introduction
The laws of physics are generally written down as differential equations. Therefore,
all of science and engineering use differential equations to some degree. Under-
standing differential equations is essential to understanding almost anything you
will study in your science and engineering classes. You can think of mathematics
as the language of science, and differential equations are one of the most important
parts of this language as far as science and engineering are concerned. In this chapter
we introduce the following :
1. differential equations
4. geometrical and analytical methods for investigating the solutions of first order
differential equations
1
CHAPTER 1. DIFFERENTIAL EQUATIONS
d2 y dy
2
+ xy + y = ex sin x
dx dx
is a differential equation. Sometimes one uses shortened notations to write the same
equation as
y 00 + xyy 0 + y = ex sin x
d
or using the differential operator D = dx
D2 y + xyDy + y = ex sin x
dy d2 y dn y
F (x, y, , 2,..., n) = 0 (1.1)
dx dx dx
The order of a differential equation is the order of the highest derivative that appears
in the equation. The degree of a differential equation is the degree of the highest
derivative occurring in it, after the equation has been expressed in a form free from
radicals and fractions as far as derivatives are concerned. For example,
Exercise
1. (y 000 )2 + (y 0 )3 + y = sin x.
2. x3 y 00 + tan xy 0 + y = ex (1 + x2 ).
3. (y 00 + y)5/2 = y 000 .
A solution of an nth order differential equation on some open interval a < x < b is
a function y = h(x) which is n times differentiable and satisfies the differential equa-
dy d y 2 n
d y
tion for all x in that interval. That is a solution of the ODE F (x, y, dx , dx2 , . . . , dxn) =
Exercise
y = x + c, c = constant
is the general solution of the given ODE. For each value of c, we get particular
solution of the ODE, which is a curve in the xy-plane. Hence the geometrical
representation of the general solution is an infinite family of curves in the xy-plane,
dy
called integral curves. Integral curves of the differential equation dx = 1 is shown
in figure 1.1.
1.2.4 Exercise
1. Verify that y = sin x+c, where c is an arbitrary constant is the general solution
of the ODE: y 0 = cos x. Plot some integral curves of this ODE.
Often times it is not easy to solve a differential equation, even for a first-order
equation. Yet we may need to know at least the behavior of the solution. First note
that the first order equation
dy
= f (x, y)
dx
gives us the slope of the solution curve y at each point (x, y). If we draw the slope
at various points on the xy-plane as short line segments, we will get what is called
the direction field (often also called slope field). The direction field will give us an
idea of how the solution might look like.
Consider, for example, the differential equation
dy
= y. (1.3)
dx
Example 2. Draw the direction field for the ODE y 0 = 3 − 2y. Based on the
direction field, determine the behavior of y as t → ∞.
Fory > 1.5, the slopes are negative, and hence the solutions decrease. For y < 1.5
, the slopes are positive, and hence the solutions increase. The equilibrium solution
appears to be y(t) = 1.5 , to which all other solutions converge.
Example 3. Draw the direction field for the ODE y 0 = y(4 − y). Based on the
direction field, determine the behavior of y as t → ∞. If this behavior depends on
the initial value of y at t = 0, describe this dependency.
Example 4. Draw the direction field for the ODE y 0 = y(y − 2)2 . Based on the
direction field, determine the behavior of y as t → ∞. If this behavior depends on
the initial value of y at t = 0, describe this dependency.
Example 5. Draw the direction field for the ODE y 0 = −2 + t − y. Based on the
direction field, determine the behavior of y as t → ∞. If this behavior depends on
the initial value of y at t = 0, describe this dependency.
All solutions appear to approach a linear asymptote (with slope equal to 1). It
is easy to verify that y(t) = t − 3 is a solution.
and sometimes written simply as dy = f 0 (x)dx. Notice that this leads to the familiar
derivative or differential coefficient y 0 = dy/dx = f 0 (x). Observe that dy is a function
of both x and dx. Hence equation (1.4) can be written as
opening upwards and with y-axis as their axis. There is one such parabola through
every point on the y-axis. If c = 0, it goes through the origin. If c = 1, we get the
parabola y = x2 + 1 which goes through (0, 1). Given a differential equation such as
xy
y0 = ,
x2 + y2
we can easily convert it into the differential form as follows:
Thus the form of a first order differential equation can be written as:
The ordinary differential equations may be divided into two large classes, namely,
linear equations and nonlinear equations.
The ODE:
dy d2 y dn y
F (x, y, , 2,..., n) = 0 (1.5)
dx dx dx
is said to be linear if F is a linear function of the variables y, y 0 , . . . , y (n) . That is,
a ODE is called linear if the dependent variable (y) and its derivatives occur only
in the first degree and they are not multiplied together. Thus the general form of a
linear differential equation of order n is
yy 00 + xy 0 + y = ex
d y 2dy
1. x2 dx2 + x dx + 2y = sin x
d y 2
dy
2. (1 + y 2 ) dx 2 + x dx + y = e
y
d4 y d3 y d2 y dy
3. dx4
+ dx3
+ dx2
+ dx + 2y = 1
d2 y
4. dx2
+ sin(x + y) = sin x
dy
5. dx + xy 2
d3 y dy
6. dx3
+ x dx + (cos2 x)y = x3
1. separable equations
3. exact equations
Separable equations
is said to be separable if, f (x, y) can be factored as f (x, y) = g(x)h(y), where g and
h are known functions. If this factoring is not possible, the equation is not separable.
Hence separable equations can be written as:
y 0 = g(x)h(y). (1.9)
1
ϕ(y)dy = g(x)dx , ϕ(y) = (1.10)
| {z } | {z } h(y)
function of y only function of x only
dy x2
= (1.12)
dx 1 − y2
dy
= g(x)h(y)
dx
Integrating, we get:
y − y 3 /3 = x3 /3 + C, (1.13)
Integrating the left side with respect to y and the right side with respect to x gives
y 2 − 2y = x3 + 2x2 + 2x + c, (1.14)
3x2 +4x+2
Figure 1.8: Integral curves of y 0 = 2(y−1)
y 2 − 2y = x3 + 2x2 + 2x + 3. (1.15)
To obtain the solution explicitly, we must solve Eq. (1.15) for y in terms of x. Thus
we obtain
p
y =1± x3 + 2x2 + 2x + 4
p
= 1 ± (x + 2)(x2 + 2) (1.16)
p p
Thus y = 1 + (x + 2)(x2 + 2) and 1 − (x + 2)(x2 + 2) are solutions of the given
p
differential equation. Putting x = 0 in the equation y = 1 + (x + 2)(x2 + 4), we
p
get y = 3. So y = 1 + (x + 2)(x2 + 2) is not an integral curve passing through the
p
point (0, -1). Again, putting x = 0 in the equation y = 1 − (x + 2)(x2 + 2), we
get y = −1. Hence the integral curve passing through the point (0, -1) is given by:
p
y =1− (x + 2)(x2 + 2) (1.17)
Finally, to determine the interval in which the solution (1.17) is valid, we must find
the interval in which the quantity under the radical is positive. Note that x2 + 2 is
always positive. Therefore (x + 2)(x2 + 2) is positive if and only if x + 2 > 0. That
is, x > −2. Thus the required interval is (−2, ∞). The integral curves of the given
differential equation is shown in figure 1.8
With luck, the left side of this equation will match the right side of the last equation
for the product rule, and we will have
d dµ dy
[µy] = y+µ (1.23)
dt dt dt
dy
= µ + µp(t)y = µg(t) (1.24)
dt
d
[µ] = µp(t) (1.25)
dt
Assuming this requirement is met, the equations in (1.19) hold. Cutting out the
middle of that (and recalling that g and µ are functions of t only), we see that the
differential equation reduces to
d
[µy] = µ(t)g(t) (1.26)
dt
The advantage of having our differential equation in this form is that we can actually
integrate both sides with respect to t , with the left side being especially easy since
it is just a derivative with respect to t . The function µ is called an integrating
factor for the differential equation. As noted in the derivation, it must satisfy
dµ
= µp(t) (1.27)
dt
If we assume temporarily that µ is positive, then the above equation can be written
as:
1 dµ
= p(t)
µ dt
Integrating,
Z Z
1 dµ
dt = p(t)dt
µ dt
That is,
R
p(t)dt
µ=e (1.28)
d
[µy] = µ(t)g(t) (1.29)
dt
Hence Z
µy = µ(t)g(t) + c, (1.30)
ty 0 + 2y = 4t2 (1.31)
y(1) = 2 (1.32)
1. Get the equation into the standard form for first-order linear differential equa-
tions,
dy
+ p(t)y = g(t) (1.33)
dt
For our example, we just divide through by t , obtaining
y 0 + (2/t)y = 4t
3. Multiply the differential equation (in standard form) by the integrating factor,
t2 [y 0 + (2/t)y] = 4t3
t2 [y 0 + (2/t)y] = 4t3
| {z }
d/dt[t2 y]
t2 y = t4 + c
y = t2 + c/t2
Thus the general solution of the given differential equation is given by:
y = t2 + c/t2 (1.34)
The integral curves of the given equation is shown in figure [?]. Applying the
initial condition y(1) = 2 in equation (1.34), we get c = 1. Thus the solution
to the initial value problem:ty 0 + 2y = 4t2 , y(1) = 2 is
y = t2 + 1/t2 , t > 0.
This solution is shown by the heavy curve in Figure 1.9. Note that it becomes
unbounded and is asymptotic to the positive y-axis as t → 0 from the right.
This is the effect of the infinite discontinuity in the coefficient p(t) at the origin.
The function y = t2 + (1/t2 ) for t < 0 is not part of the solution of this initial
value problem.
dy
µ[ + p(t)y] = µg(t) (1.36)
| dt {z }
d/dt[µy]
That is,
d
[µy] = µg(t) (1.37)
dt
As before, to avoid having t represent two different entities, we replace the t’s with
another variable, say, s , and rewrite our current differential equation as
d
[µ(s)y(s)] = µ(s)g(s) (1.38)
ds
Then we pick a convenient lower limit a for our integration and integrate each side
of the above with respect to s from s = a to s = t ,
Z t Z t
d
[µ(s)y(s)]ds = µ(s)g(s) (1.39)
a ds a
But Z t
d
[µ(s)y(s)]ds = µ(s)y(s)|ta = µ(t)y(t) − µ(a)y(a) (1.40)
a ds
So equation (1.39) reduces to
Z t
µ(t)y(t) − µ(a)y(a) = µ(s)g(s) (1.41)
a
2y 0 + ty = 2,
y(0) = 1.
y 0 + (t/2)y = 1
We have p(t) = t/2, g(t) = 1. The integrating factor is µ(t) = exp(t2 /4). Hence the
solution of the given initial value problem is:
Z t
1
y(t) = µ(a)y(a) + µ(s)g(s)
µ(t) a
Z t
2 2
= exp(−t /4) µ(0)y(0) + exp(t /4)
0
Z t
2 2
= exp(−t /4) 1 + exp(t /4)
0
dy x3 + y 3 1 + (y/x)3
= 3 =
dx x − y3 1 − (y/x)3
dy dv
y = vx ⇒ =v+x
dx dx
dv dv
v+x = f (v) ⇒ x = f (v) − v
dx dx
dv dx
=
f (v) − v x
Integrating both sides gives the general solution:
Z Z
dv dx
= +c
f (v) − v x
dy y−x
Example 5. Solve dx = y+x .
dy y−x (y/x) − 1
= =
dx y+x (y/x) + 1
dy dv
y = vx ⇒ =v+x ,
dx dx
v+1 1
2
dv = − dx
v +1 x
Z Z Z
v 1 1
2
dv + 2
dv = − dx + c,
v +1 v +1 x
1
ln(v 2 + 1) + tan−1 (v) = − ln x + c
2
Replacing v by the original variables x and y results in the general solution
1
ln((y/x)2 + 1) + tan−1 (y/x) = − ln x + c
2
Therefore
ln(x2 + y 2 ) + 2tan−1 (y/x) = c
dy
= −M (x, y)N (x, y), N (x, y) 6= 0 or M (x, y)dx + N (x, y)dy = 0, (1.44)
dx
∂M ∂N
where ∂x and ∂y are continuous. Suppose the solution of (1.44) is u(x, y) = c,
where c is a constant. Taking differential gives:
∂u ∂u ∂u ∂u
du = dx + dy = dc = 0 ⇒ dx + dy = 0 (1.45)
∂x ∂y ∂x ∂y
(∂u/∂x) (∂u/∂y)
= = µ(x, y) ⇒ ∂u/∂x = µM, ∂u/∂y = µN
M (x, y) N (x, y)
µM dx + µN dy = 0 (1.46)
Since the left hand side is an exact differential of some function, u(x, y),
du(x, y) = 0 ⇒ u(x, y) = c
Hence, if one could find a function µ(x, y), called an integrating factor multiplying it
to equation (1.44) yield an exact differential equation (1.45), which means that the
left hand side is the exact differential of some function. The resulting differential
equation can be easily solved.
d(xy 2 + x2 y 3 ) = 0 ⇒ xy 2 + x2 y 3 = c
∂u ∂u
du = dx + dy (1.49)
∂x ∂y
∂u ∂u ∂M ∂ 2 u ∂N ∂2u
M= ,N = ⇒ = , = .
∂x ∂y ∂y ∂y∂x ∂x ∂x∂y
∂M ∂M
If ∂y and ∂x are continuous one has
∂2u ∂2u
= (1.50)
∂y∂x ∂x∂y
∂N ∂M
=
∂x ∂y
∂M ∂N
= 12xy + 4x3 , = 12xy + 4x3
∂y ∂x
Therefore
∂M ∂N
= ⇒ The differential equation is exact.
∂y ∂x
Two methods are introduced in the following to find the general solution.
Method 1: Since the differential equation is exact, there is a function u(x, y) such
that
∂u ∂u
du = dx + dy = (6xy 2 + 4x3 y)dx + (6x2 y + x4 + ey )dy
∂x ∂y
That is,
∂u
=6xy 2 + 4x3 y (1.51)
∂x
∂u
=6x2 y + x4 + ey (1.52)
∂y
To determine u(x, y), integrate equation (4.29) with respect to x
Z
u(x, y) = (6xy 2 + 4x3 y) + f (y)
Differentiating equation (1.53) with respect to y and comparing with equation (1.52)
yield
∂u d
= 6x2 y + x4 + (f (y)) (1.54)
∂y dy
= 6x2 y + x4 + ey (1.55)
Hence
d
(f (y)) = ey ⇒ f (y) = ey
dy
Substituting into equation (1.53) leads to
u(x, y) = 3x2 y 2 + x4 y + ey
3x2 y 2 + x4 y + ey = c
i. Since the term has dx, integrate the coefficient 6xy 2 with respect to
x to yield 3x2 y 2 .
ii. Differentiate the result with respect to y to yield the coefficient of dy
term, that is, 6x2 y
iii. the two terms 6xy 2 dx + 6x2 ydy are grouped together.
(b) Pick up one of the remaining terms, for example 4x3 ydx.
i. Similarly, since the term has dx, integrate the coefficient 4x3 y with
respect to x to yield x4 y.
ii. Differentiate the result with respect to y yield the coefficient of dy
term, that is, x4 .
iii. The two terms 4x3 ydx + x4 dy are grouped together.
(c) Pick up one of the remaining terms. Since there is only one term left,
ey dy is picked.
i. Since the term has dy, integrate the coefficient ey with respect to y
to yield ey .
(d) All terms on the left hand side of the equation have now been grouped
(f) Hence
d(3x2 y 2 + x4 y + ey ) = 0
3x2 y 2 + x4 y + ey = c
∂M ∂N
= − sin x + 2ex cos 2y, = − sin x + 2ex cos 2y
∂y ∂x
∂M ∂N
= ⇒ The differential equation is exact
∂y ∂x
The general solution is obtained by grouping:
Hence, by summing up the terms in the second row, we get the general solution:
y cos x + ex sin 2y = c
2 2
Example 9. Solve 2x(3x + y − ye−x )dx + (x2 + 3y 2 + e−x )dy = 0
Note that
2 2
M = 2x(3x + y − ye−x ), N = (x2 + 3y 2 + e−x )
∂M 2 ∂N 2
= 2x − 2xe−x , = 2x − 2xe−x
∂y ∂x
∂M ∂N
= ⇒ The differential equation is exact
∂y ∂x
The general solution is obtained by grouping:
2
x2 y + ye−x + 2x3 + y 3 = c
Remark. When applying the method of grouping terms, whether to pick a term
f (x, y)dx or g(x, y)dy first depends on whether it is easier to compute:
Z Z
f (x, y)dx or g(x, y)dy
∂M ∂N
1. If ∂y = ∂x , the differential equation is exact.
∂M ∂N
2. If ∂y 6= ∂x , the differential equation can be rendered exact by multiplying by
a function µ(x, y), known as an integrating factor, that is,
is exact. To find an integrating factor µ(x, y), apply the exactness condition
on the equation (1.56)
∂µM ∂µN
=
∂y ∂x
That is,
∂µ ∂M ∂µ ∂N
M +µ =N +µ
∂y ∂y ∂x ∂x
This implies that
∂M ∂N ∂µ ∂µ
µ − =N −M (1.57)
∂y ∂x ∂x ∂y
This is a partial differential equation for the unknown function µ(x, y), which
is more difficult to solve than the original ordinary differential equation. How-
ever, for some special cases, equation (1.57) can be solved for an integrating
factor.
Special Cases:
If µ is a function of x only, that is, µ = µ(x), then
∂µ dµ ∂µ
= , =0
∂x ∂x ∂y
and equation (1.57) becomes
dµ ∂M ∂N
N =µ − (1.58)
∂x ∂y ∂x
This implies that
1 dµ 1 ∂M ∂N
= − (1.59)
µ ∂x N ∂y ∂x
Since µ(x) is a function of x only, the left hand side is a function of x only.
Hence, if an integrating factor of the form µ = µ(x) is to exist, the right hand
side must be a function of x only. Observe that equation (1.59) is variable
separable, which can be solved easily by integration
Z
1 ∂M ∂N
ln µ = − dx (1.60)
N ∂y ∂x
This implies that
Z
1 ∂M ∂N
µ(x) = exp − dx (1.61)
N ∂y ∂x
Thus the general solution is determined using the method of grouping terms:
Note that
M = y(2x − y + 2), N = 2(x − y)
∂M ∂N
= 2x − 2y + 2, = 2,
∂y ∂x
∂M ∂N
6= ⇒ The differential equation is not exact.
∂y ∂x
Since
1 ∂M ∂N
− = 1, a function of x alone,
N ∂y ∂x
Therefore Z
1 ∂M ∂N
µ(x) = exp − dx = ex
N ∂y ∂x
Multiplying both sides of equation by the integrating factor µ(x) = ex yields
dy
+ P (x)y = Q(x) (1.63)
dx
∂M
Note that M (x, y) = P (x)y − Q(x), N (x, y) = 1. Moreover, ∂y = P (x), ∂N
∂x = 0.
The differential equation is not exact.
1 ∂M ∂N
− = P (x), a function of x alone,
N ∂y ∂x
Therefore Z
1 ∂M ∂N R
P (x)dx
µ(x) = exp − dx = e
N ∂y ∂x
R
Multiplying both sides of equation by the integrating factor µ(x) = e P (x)dx yields
R R
P (x)dx P (x)dx
[P (x)y − Q(x)]e dx + e dy = 0 (1.65)
The general solution can be determined using the method of grouping terms:
That is, Z
R R
y = e− P (x)dx
Q(x)e P (x)dx
dx + c
Z
dy R R
+ P (x)y = Q(x) ⇒ y = e− P (x)dx Q(x)e P (x)dx
dx + c
dx
Z
dx R R
+ P (y)x = Q(y) ⇒ x = e− P (y)dy Q(y)e P (y)dy
dy + c
dy
So far, we have discussed a number of initial value problems, each of which had a
solution and apparently only one solution. This raises the question of whether this
is true of all initial value problems for first order equations. In other words, does
every initial value problem have exactly one solution? Further, if you are successful
in finding one solution, you might be interested in knowing whether you should
continue a search for other possible solutions or whether you can be sure that there
are no other solutions. For linear equations, the answers to these questions are given
by the following fundamental theorem.
y(t0 ) = y0 , (1.67)
Remark.
∂f ∂f
1. Let f (t, y) = −p(t)y + g(t). Then ∂y = −p(t). So the continuity of f and ∂y
is equivalent to the continuity of p and g. So Theorem 1is a particular case of
theorem 2.
2. Here we note that the conditions stated in Theorem 2 are sufficient to guarantee
the existence of a unique solution of the initial value problem 1.66 in some
interval t0 − h < t < t0 + h, but they are not necessary. That is, the conclusion
remains true under slightly weaker hypotheses about the function f . In fact,
the existence of a solution (but not its uniqueness) can be established on the
basis of the continuity of f alone.
ty 0 + 2y = 4t2 , (1.68)
y(1) = 2 (1.69)
y 0 + (2/t)y = 4t
We have p(t) = 2/t and g(t) = 4t. Note that g is continuous for all t and p(t) is
continuous for all t ∈ (−∞, 0)∪(0, ∞). The interval (0, ∞) contains the initial point;
consequently, Theorem 1 guarantees that the given problem has a unique solution
on the interval (0, ∞). In Example 2 of Section 1.2, we found the solution of this
initial value problem to be
y = t2 + 1/t2 , t > 0.
In a similar manner we can prove that the initial value problem ty 0 +2y = 4t2 , y(−1) =
2 has a unique solution in the interval (−∞, 0). has a unique solution.
Observe that
3x2 + 4x + 2 ∂f 3x2 + 4x + 2
f (x, y) = , =
2(y − 1) ∂y 2(y − 1)2
Thus each of these functions is continuous everywhere except on the line y = 1.
Consequently, a rectangle can be drawn about the initial point (0, −1) in which
∂f
both f and ∂y are continuous. Therefore Theorem 2 guarantees that the initial
value problem has a unique solution in some interval about x = 0.
y(0) = 1.
The initial point (0, 1) now lies on the line y = 1 so no rectangle can be drawn
∂f
about it within which f and ∂y are continuous. Consequently, Theorem 2 says
nothing about possible solutions of this initial value problem. We have seen that
dy 3x2 +4x+2
the general solution to the differential equation dx = 2(y−1) , is
y 2 − 2y = x3 + 2x2 + 2x + c.
Equation (1.70) provides two functions that satisfy the given differential equation
for x > 0 and also satisfy the initial condition y(0) = 1. Thus the initial value
problem consisting of the given differential equation with the initial condition y(0)
= 1 does not have a unique solution. The two solutions are shown in Figure
Example 15. Discuss the existence and uniqueness of solutions of the initial value
problem
y 0 = y 1/3 , y(0) = 0, t ≥ 0.
∂f
The function f (t, y) = y 1/3 is continuous everywhere, but ∂t does not exist when
y = 0, and hence is not continuous there. Thus Theorem 2 does not apply to this
problem and no conclusion can be drawn from it. However, by the remark following
Theorem 2 the continuity of f does ensure the existence of solutions, but not their
uniqueness.
To understand the situation more clearly, we must actually solve the problem,
which is easy to do since the differential equation is separable. Thus we have
y −1/3 dy = dt,
Integrating;
(3/2)y 2/3 = t + c
That is,
y = [(2/3)(t + c)]3/2
y = φ1 (t) = [(2/3)t]3/2 , t ≥ 0.
y = φ3 (t) = 0, t ≥ 0
are continuous, differentiable (in particular at t = t0 ), and are solutions of the given
initial value problem . Hence this problem has an infinite family of solutions; see
Figure 2.4.1, where a few of these solutions are shown.
y 0 = y 2 , y(0) = 1,
That is,
1
y=−
c+t
1
Applying the condition y(0) = 1, we get c = −1. So y = 1−t is the solution of
the given initial value problem. Clearly, the solution becomes unbounded as t → 1;
therefore, the solution exists only in the interval −∞ < t < 1.
y0
Remark. y = 1−y0 t is the solution of the initial value problem y 0 = y 2 , y(0) =
t0 .Observe that the solution becomes unbounded as t → 1/y0 , so the interval of
existence of the solution is −∞ < t < 1/y0 if y0 > 0, and is 1/y0 < t < ∞ if y0 < 0.
Model for the Motion of a Ball Near the Surface of the Earth
Consider the motion of an object of mass m dropped vertically at time t = 0 from a
position as shown in figure. We assume that the force of air resistance is proportional
to the velocity, v, of the object. The equation of motion of the object can be
established by using Newton’s Law:
F = ma (1.71)
where m is the mass of the object, a is its acceleration, and F is the net force exerted
on the object. Note that the acceleration, a and velocity, v are connected by the
relation: a = dv/dt. So we can rewrite equation (1.71) in the following form:
F = m(dv/dt) (1.72)
Therefore the total force exerted on the object is given by F = mg − γv. Hence
equation (1.72) can be written as
m(dv/dt) = mg − γv (1.73)
where f is some given function. Usually, we will denote the independent variable
by t and the dependant variable by y. But sometimes we will use x instead of t.
Equation (2.1) is said to be linear if the function f is linear in y, y 0 and y 00 (t). The
general form of a second order linear differential equation is
That is
y 00 + p(t)y 0 + q(t)y = g(t), (2.4)
where p(t) = a1 (t)/a0 (t) , q(t) = a2 (t)/a0 (t) and g(t) = ϕ(t)/a0 (t). If equation (2.1)
is not of the form (2.2) or (2.4), then it is called nonlinear. An initial value problem
37
CHAPTER 2. SECOND ORDER LINEAR DIFFERENTIAL EQUATIONS
consists of a differential equation such as Eq. (2.2), (2.3), or (2.4) together with a
pair of initial conditions
where y0 and y00 are given numbers prescribing values for y and y 0 at the initial point
t0 . Observe that the initial conditions for a second order equation identify not only
a particular point (t0 , y0 ) through which the graph of the solution must pass, but
also the slope y00 of the graph at that point.
The most general form of a nonhomogeneous second order linear equation is
d2 y dy
a0 (x) 2
+ a1 (x) + a2 (x)y = ϕ(x) (2.5)
dx dx
d d2
If D represents and D2 represents , then equation (2.5) may be written as:
dx dx2
or [f (D)]y = ϕ(x)
(1 + x2 )y 00 + xy 0 + y = 0
is normal.
Solution. Comparing the given equation with the general nonhomogeneous differ-
ential equation, we get
Domains of a0 (x), a1 (x), a2 (x) and ϕ(x) are shown in the table
is normal.
Solution. Comparing the given equation with the general nonhomogeneous differ-
ential equation, we get
√
a0 (x) = x, a1 (x) = 13x, a2 (x) = −11, ϕ(x) = ln(x2 − 100)
Domain of definitions of the above function are shown in the following table
Theorem 4 (Linearity principle). If y1 (x) and y2 are any two solutions of a homo-
geneous second order linear differential equation
d2 y dy
a0 (x) 2
+ a1 (x) + a2 (x)y = 0
dx dx
then c1 y1 (x) + c2 y2 (x) is also a solution of this differential equation, where c1 and
c2 are arbitrary constants.
Proof. Since y1 (x) and y2 (x) are the solutions of the differential equation
d2 y dy
a0 (x) 2
+ a1 (x) + a2 (x)y = 0, (2.7)
dx dx
therefore
a0 (x)y100 + a1 (x)y10 + a2 (x)y1 = 0 (2.8)
and
a0 (x)y200 + a1 (x)y20 + a2 (x)y2 = 0 (2.9)
= a0 (x)[c1 y100 (x) + c2 y200 (x)] + a2 (x)[c1 y10 (x) + c2 y20 (x)] + a2 (x)[c1 y1 (x) + c2 y2 (x)]
This implies that y = c1 y1 (x)+c2 y2 (x) is a solution of the given differential equation.
Definition. Let f1 and f2 are any two functions and c1 and c2 are arbitrary con-
stants. Then c1 f1 + c2 f2 is called a linear combination of f1 and f2 .
c1 f1 + c2 f2 = 0
c1 f1 + c2 f2 = 0 for all x ∈ I ⇒ c1 = c2 = 0
Theorem 5. Let f1 and f2 be non zero functions. Then f1 and f2 are linearly
independent on an interval I if and only if f1 and f2 are proportional.
Proof. First, assume that f1 and f2 are linearly dependent. Then there exists con-
stants c1 and c2 not both zero such that
If c1 = 0, then from equation (2.10), we get c2 f2 (x) = 0 for all x in the interval I.
Since f2 is a nontrivial function, therefore c2 = 0. Hence c1 = c2 = 0. This shows
that f1 and f2 are linearly independent. This is a contradiction to the assumption
that f1 and f2 are linearly dependent. Hence c1 6= 0. In a similar manner we
can show that c2 6= 0. Hence c1 6= 0 and c2 6= 0. That is, f1 and f2 are linearly
dependent. Converse is trivial.
Example 19. Prove that the functions f1 (x) = ex and f2 (x) = e2x are linearly
independent for all real x.
f1 (x) ex
Solution. = 2x = e−x is defined for all real x. That is, f1 and f2 are not
f2 (x) e
proportional. Hence f1 and f2 are linearly independent .
Example 20. Prove that the functions f( x) = ln(x4 ) and f2 (x) = ln(x2 ) are linearly
dependent.
f1 (x)
Solution. Note that f1 ∗ x) = ln(x4 ) = 4 ln(x) and f2 (x) = ln(x2 ). Then =
f2 (x)
4 ln(x)
= 2. Hence f1 (x) and f2 (x) are proportional. That is, f1 (x) and f2 (x) are
2 ln(x)
linearly dependent.
is normal on an interval I, then it has two linearly independent solutions y1 (x) and
y2 (x) and any particular solution of this differential equation is a linear combination
of y1 (x) and y2 (x).
Proof. Let x0 be any point on the interval I. Let y1 (x) and y2 (x) be any two solutions
of the given equation such that y1 (x0 ) = 1, y2 (x0 ) = 0 , y1 (x0 ) = 0, y2 (x0 ) = 1. Then
by existence and uniqueness theorem y1 (x) and y2 (x) are unique.
Claim: y1 (x) and y2 (x) are linearly independent:
Assume that
c1 y1 (x) + c2 y2 (x) = 0 for all x ∈ I (2.11)
But then
c1 y10 (x) + c2 y20 (x) = 0 for all x ∈ I (2.12)
In particular,
c1 y1 (x0 ) + c2 y2 (x0 ) = 0 (2.13)
But then
c1 y10 (x0 ) + c2 y20 (x0 ) = 0 (2.14)
Applying the initial conditions y1 (x0 ) = 1, y2 (x0 ) = 0in equation (2.11) we get
c1 (1) + c2 (0) = 0 ⇒ c1 = 0
= y(x0 ) − y(x0 ) = 0
and
= y 0 (x0 ) − y 0 (x0 ) = 0
Thus we have shown that Y (x) is a solution of the differential equation satisfying
Y (x0 ) = Y 0 (x0 ) = 0. Hence by existence and uniqueness theorem, Y (x) ≡ 0 on I.
That is
y(x) = y(x0 )y1 (x) + y 0 (x0 )y2 (x) for all x ∈ I
Remark. (i)The above theorem guarantees the existence of two linearly indepen-
dent solutions of every second order homogeneous linear differential equation. This
theorem also says that there are some independent solutions of the differential equa-
tion such that every particular solution of of the equation can be expressed as a
linear combination of these solutions. This theorem does not say that every partic-
ular solution can be expressed the linear combination of any linearly independent
particular solutions.
(ii) Independent solutions of a differential equation is not unique. For example,
d2 y
consider the differential equation + ω 2 x = 0. Note that y1 (x) = sin ωx and
dx2
y2 (x) = cos ωx are linearly independent solutions. Again y3 (x) = sin ωx + cos ωx
and y3 (x) = sin ωx − cos ωx are also linearly independent solutions of this equation.
be normal on an interval I and let y1 (x) and y2 (x) be two solutions of the equation.
Then W (f1 , f2 ) is identically zero or its value is never zero on the interval.
Proof. Assume that y1 (x) and y2 (x) be the solutions of the differential equation
Then we have
a0 (x)y100 + a1 (x)y10 + a2 (x)y1 = 0 (2.18)
and
a0 (x)y200 + a1 (x)y20 + a2 (x)y2 = 0 (2.19)
Since the differential equation (2.17) is normal a0 (x) 6= 0 for all x in the interval I.
So dividing both sides of the equations (2.18) and (2.19) by a0 (x), we get:
a1 (x) 0 a2
y100 = − y1 − (x)y1 (2.20)
a0 (x) a0 (x)
and
a1 (x) 0 a2
y200 = − y2 − (x)y2 (2.21)
a0 (x) a0 (x)
We have
f1 f2
W (f1 , f2 ) =
f10 f20
W 0 (x) = y1 (x)y200 (x) − y20 (x)y10 (x) − y1 (x)y20 (x) − y2 (x)y100 (x)
Substituting the values of y100 (x) and y200 (x) in equation (2.23), we get:
a1 (x) 0 a2 a1 (x) 0 a2
W 0 (x) = y1 (x) y1 − (x)y1 − y2 (x) y2 − (x)y2
a0 (x) a0 (x) a0 (x) a0 (x)
a1 (x)
=− W (x)
a2 (x)
a1 (x)
i.e., W 0 (x) + W (x) = 0 (2.24)
a0 (x)
This shows that W (x) is a solution of a first order differential equation (2.24). If
W (x0 ) = 0 for some some x0 ∈ I, then by existence and uniqueness theorem,
W (x) = 0 for all x in the interval I. If W (x0 ) = k, where k is any non zero number,
then again by existence and uniqueness theorem there exists a non trivial solution
W (x) which satisfies W (x0 ) = k. Hence W (x) 6= 0 for all x in the interval I.
Theorem 8 (Abel’s formula). Let y1 (x) and y2 (x) be any two particular solutions
of the differential equation
Integrating both sides of the equation (2.25) between the limits x0 to x, we get:
Z X 0 Z x
W (x) a1 (t)
dx + dt = 0
x0 W (x) x0 a0 (t)
Z x
x0 a1 (t)
[ln(W (x))]x + ln exp =0
x0 a0 (t)
Z x
a1 (t)
i.e., ln(W (x)) − ln(W (x0 )) + ln exp =0
x0 a0 (t)
Z x
a1 (t)
i.e., ln (W (x) exp = ln(W (x0 ))
x0 a0 (t)
Z x
a1 (t)
i.e., W (x) exp = W (x0 )
x0 a0 (t)
Z x
a1 (t)
i.e, W (y1 (x), y2 (x)) = W (y1 (x0 ), y2 (x0 ))exp − dt
x0 a0 (t)
ax + by = 0
cx + dy = 0
be normal on an interval I and let y1 (x) and y2 (x) be any two particular solutions
of the differential equation. Then y1 (x) and y2 (x) are linearly independent if and
only if W (y1 (x), y2 (x) 6= 0 for any x ∈ I.
be normal in the interval I. Let y1 (x) and y2 (x) be any two particular solutions of
the equation (2.27). Firstly, assume that y1 (x) and y2 (x) are linearly independent.
Claim W (y1 (x), y2 (x)) 6= 0 for any x ∈ I.
Suppose that W (y1 (x0 ), y2 (x0 )) = 0 for some x0 ∈ I. Then the system equations
Thus y(x) is a solution of the differential equation (2.27) satisfying y(x0 ) = 0 and
y 0 (x0 ) = 0. Hence by existence and uniqueness theorem, y(x) = k1 y1 (x) + k2 y2 (x) ≡
0 on I. This shows that y1 (x) and y2 (x) are linearly dependent. This is a contra-
diction to the assumption that y1 (x) and y2 (x) are linearly independent.
Conversely assume that W (y1 (x), y2 (x)) 6= 0 for any value of x in I.
Claim y1 (x) and y2 (x) are linearly independent. Assume that
In particular,
c1 y1 (x0 ) + c2 y2 (x0 ) = 0
(2.31)
c1 y 0 (x0 ) + c2 y 0 (x0 ) = 0
1 2
y1 (x) y2 (x)
Since W (y1 (x0 ), y2 (x0 )) = 6= 0, the system of equations (2.31) have
y10 (x) y20 (x)
only trivial solution c1 = 0, c2 = 0. This shows that y1 (x) and y2 (x) are linearly
independent.
is normal on an interval I and if y1 (x) and y2 (x) are any two linearly independent
solutions then every solution of the differential equation over I is a linear combination
of y1 (x) and y2 (x).
Proof. Assume that y1 (x) and y2 (x) be any two linearly independent solutions of
the differential equation
Let y(x) be any particular solution of equation (2.32). Since y1 (x) and y2 (x) are
linearly independent, the value of W (y1 (x), y2 (x)) is never zero on the interval I.
Let x0 be a fixed point in I. Then by linearity property, the linear combination
y(x0 ) y2 (x0 ) y(x0 ) y1 (x0 )
0
y (x0 ) y20 (x0 )
0
y (x0 ) y10 (x0 )
Y (x) = y(x) −
y1 (x) +
y2 (x)
(2.33)
y1 (x0 ) y2 (x0 ) y1 (x0 ) y2 (x0 )
0
y1 (x0 ) y20 (x0 )
0 0
y1 (x0 ) y2 (x0 )
is also a solution of the equation (2.32). Equation (2.33) can also be written as:
y1 (x0 ) y2 (x0 ) y(x0 ) y2 (x0 ) y(x0 ) y1 (x0 )
0 0 0 0 0 0
y1 (x0 ) y2 (x0 ) y (x0 ) y2 (x0 ) y (x0 ) y1 (x0 )
Y (x) = y(x) − − y1 (x) + y2 (x)
y1 (x0 ) y2 (x0 ) y1 (x0 ) y2 (x0 ) y1 (x0 ) y2 (x0 )
0
y20 (x0 )
0
y1 (x0 ) y20 (x0 )
0
y1 (x0 ) y1 (x0 ) y20 (x0 )
Therefore
y 0 (x) y 0 (x) y 0 (x)
1 2
1
Y 0 (x) =
= y(x0 ) y1 (x0 ) y2 (x0 ) (2.35)
W (y1 (x0 ), y2 (x0 )
y 0 (x0 ) y 0 (x0 ) y 0 (x0 )
1 2
Theorem 11. Let y1 (x) and y2 (x) be two linearly independent solutions of the
differential equation
a0 (x)y 00 + a1 (x)y 0 + a2 (x)y = 0
which is normal in an interval I and let Y be any specific solution of the nonhomo-
geneous linear equation
Proof. Let y(x) be any arbitrary solution and let Y (x) be any specific solution of
the differential equation
Then we have
and
But every complete solution of equation (2.36) is of the form y = c1 y1 (x) + c2 y2 (x),
therefore
y(x) − Y (x) = c1 y1 (x) + c2 y2 (x)
Remark. (i) The solution Y (x) is called the particular integral of the nonhomoge-
neous differential equation.
(ii) The complete solution c1 y1 (x) + c2 y2 (x) is called the complementary function of
the homogeneous differential equation.
(i) Find two independent solutions y1 (x) and y2 (x) of the homogeneous differential
equation
a0 (x)y 00 + a1 (x)y 0 + a2 (x)y = 0
(iii) Find the particular solution of the nonhomogeneous linear differential equation
The general form a homogeneous linear differential equation with constant coeffi-
cients is of the form:
ay 00 + by 0 + cy = 0, (2.39)
y 00 + 7y 0 + 6y = 0
y 00 − 6y 0 + 3y = 0
y 00 − 8y 0 + 15y = 0.
Since the coefficients are constants, they are, trivially, continuous functions on the
entire real line. Consequently, we can take the entire real line as the interval of
interest, and be confident that any solutions derived will be valid on all of (−∞, ∞)
.
Let us look for clues on how to solve our second-order equations by first looking at
solving a first-order, homogeneous linear differential equation with constant coeffi-
cients, say,
2y 0 + 6y = 0. (2.40)
Since we are considering ‘linear’ equations, let’s solve it using the method developed
for first order linear equations: First divide through by the first coefficient, 2 , to
get
y 0 + 3y = 0. (2.41)
d
i.e., (ye3x ) = 0
dx
i.e., (ye3x ) = c
i.e., y = ce−3x
So a general solution to
2y 0 + 6y = 0.
is
y = ce−3x .
Clearly, there is nothing special about the numbers used here. Replacing 2 and 6
with constants a and b in the above would just as easily have given us the fact that
a general solution to
ay 0 + by = 0
is
y = cerx
where r = −b/a.. Thus we see that all solutions to first-order homogeneous linear
equations with constant coefficients are given by constant multiples of exponential
functions.
ay 00 + by 0 + cy = 0 (2.42)
where a, b and c are constants. From our experience with the first-order case, it
seems reasonable to expect at least some of the solutions to be exponentials. So let
us find all such solutions by setting
y = erx
y 00 − 5y 0 + 6y = 0
Since erx can never be zero, we can divide it out, leaving the algebraic equation
r2 − 5r + 6 = 0.
Before solving this for r , let us pause and consider the more general case. More
generally, letting y = erx in
ay 00 + by 0 + cy = 0
yields
aD2 (erx ) + bD(erx ) + c(erx ) = 0
Since erx can never be zero, we can divide it out, leaving us with the algebraic
equation
ar2 + br + c = 0 (2.43)
Equation (2.43) is called called the characteristic equation for differential equation
(2.42). Note the similarity between the original differential equation and its char-
acteristic equation. The characteristic equation is nothing more that the algebraic
equation obtained by replacing the various derivatives of y with corresponding pow-
ers of r :
ay 00 + by 0 + cy = 0(original differential equation)
The nice thing is that the characteristic equation is easily solved for r by either
factoring the polynomial or using the quadratic formula. These values for r must
then be the values of r for which y = erx are (particular) solutions to our original
differential equation. In our example, letting y = erx in
y 00 − 5y 0 + 6y = 0
r2 − 5r + 6 = 0,
which factors to
(r − 2)(r − 3) = 0.
Hence,
r − 2 = 0 or r − 3 = 0.
r=2 and r = 3,
are solutions to our original differential equation. Clearly, neither of these functions
is a constant multiple of the other.
ay 00 + by 0 + cy = 0
in which a , b and c are constants, start with the assumption that y(x) = erx .
where r is a constant to be determined. Plugging this formula for y into the differ-
ential equation yields, after a little computation and simplification, the differential
equation’s characteristic equation for r ,
ar2 + br + c = 0.
ar2 + br + c = 0
2. If b2 − 4ac = 0 , then
√ √
−b ± b2 − 4ac −b ± 0
r= = = −b/2a,
2a 2a
and we only have one real root for our characteristic equation, namely,
b
r=− .
2a
3. If b2 − 4ac < 0 , then the quantity under the square root is negative, and, thus,
this square root gives rise to an imaginary number.
y0 (x) = er0 x
ay 00 + by 0 + cy = 0
has two distinct (i.e., different) real solutions r1 and r2 . Then we have that both
y1 = er1 x and y2 = er2 x are solutions to the differential equation. Since we are
assuming r1 and r2 are not the same, it should be clear that neither y1 nor y2 is a
constant multiple of the other. Hence
{er1 x , er2 x }
are two solutions to this differential equation. Moreover, {er1 x , er2 x } is a fundamental
set for the differential equation, and
is a general solution.
y1 (x) = erx
is one solution to our differential equation. This, alone, is not enough for a general
solution, but we can use this one solution with the reduction of order method to get
the full general solution. Let us do one example this way. Consider the differential
equation
y 00 − 6y 0 + 9y = 0.
r2 − 6r + 9 = 0,
y1 (x) = e3x
as one solution to our differential equation. To find the general solution, we start
the reduction of order method as usual by letting
and
0 =y 00 − 6y 0 + 9y
Thus we have
u00 = 0
Integrating:
u0 = A
Again integrating:
u = Ax + B
Thus
y = e3x u = e3x (Ax + B) = Axe3x + Be3x
is the general solution. Let us consider the most general case where the characteristic
equation
ar2 + br + c = 0
has only one root. As noted when we discussed the possible of solutions to the
characteristic polynomial (see page 341), this means
b
r=−
2a
Let us go through the reduction of order method, keeping this fact in mind. Start
with the one known solution
Set
y(x) = y1 (x)u(x) = erx u(x),
0 = ay 00 + by 0 + cy
Dividing out the exponential and grouping together the coefficients for u, u0 and u00
, we get
0 = au00 + [2ar + b]u0 + [ar2 + br + c]u
ar2 + br + c = 0,
2ar + b = 2a[−b/2a] + b = −b + b = 0
and the “u term” also drops out, just as in the example. Dividing out the a (which,
remember, is a nonzero constant), the differential equation for u simplifies to
u00 = 0
and, thus,
y(x) = y1 (x)u(x) = erx [Ax + B] = Axerx + Berx .
are two solutions to this differential equation. Moreover, {erx , xerx } is a fundamental
set for the differential equation, and
is a general solution.
If b2 − 4ac is negative, then the characteristic equation (??) has complex roots
√ √
−b + i 4ac − b2 −b − i 4ac − b2
λ1 = = α + iβ and λ2 = = α − iβ
2a 2a
√
where α = (−b/2a) and β = ( 4ac − b2 /2a). Then y1 (x) = eα+iβx = eαx (cos βx +
i sin βx) and y2 (x) = eα+iβx = eαx (cos βx − i sin βx) are solutions of the differential
equation. Then eαx cos βx and eαx sin βx are independent solutions of the equation
(2.42) by the following Lemma.
Lemma 4. Let y(x) = u(x) + iv(x) be a complex valued solution of the differential
equation
ay 00 + by 0 + cy = 0
where a, b and c are real numbers. Then y1 (x) = u(x) and y2 (x) = v(x) are two real
valued solutions of the equation. In other words, both real and imaginary parts of
a complex valued valued solution are solutions of the equation.
ay 00 + by 0 + cy = 0
therefore
i.e., [au00 (x) + bu0 (x) + cu(x)] + i[av 00 (x) + bv 0 (x) + cv(x)] = 0
Theorem 12. Let a , b and c be real-valued constants with a 6== 0 . Then the
characteristic polynomial for
ay 00 + by 0 + cy = 0
will have either one or two has two distinct real roots or will have two complex roots
that are complex conjugates of each other. Moreover:
{er1 x , er2 x }
is a general solution.
{erx , xerx }
is a general solution.
or
y(x) = c1 eαx cos βx + c2 eαx sin βx
In this chapter, we will discuss a method for finding particular solutions to nonho-
mogeneous differential equations.
Since all derivatives of e5x equal some constant multiple of e5x , it should be clear
that, if we let
y(x) = some multiple ofe5x ,
then
y 00 − 2y 0 − 3y = some other multiple of e5x .
yp (x) = Ae5x
This implies
12Ae5x = 36e5x
That is A = 3. So our “guess”, yp (x) = Ae5x , satisfies the differential equation only
if A = 3 . Thus,
yp (x) = 3e5x
y 00 − 2y 0 − 3y = 36e5x .
yp (x) = 3e5x
which factors as
(r + 1)(r − 3) = 0.
Solution. From above, we know the general solution to the differential equation is
Its derivative is
y 0 (x) = 15e5x − c1 ex + 3c2 e3x
c1 + c2 = 6
−c1 + 3c2 = 10
c1 = 2 and c2 = 4
So the solution to the given differential equation that also satisfies the given initial
conditions is
ay 00 + by 0 + cy = g (2.44)
g(x) = Ceαx
then a good first guess for a particular solution to differential equation (2.44)
is
yp (x) = Aeαx
y 00 − 2y 0 − 3y = 65 cos(2x). (2.45)
yp (x) = A cos(2x),
But there is no constant A satisfying this last equation for all values of x . So
our naive first guess will not work.
Since our naive first guess resulted in an equation involving both sines and
cosines, let us add a sine term to the guess and see if we can get all the resulting
sines and cosines in the resulting equation to balance. That is, assume
where A and B are constants to be determined. Plugging this into the differ-
ential equation:
yp00 − 2yp0 − 3yp = 65 cos(2x)
i.e., [A cos(2x)+B sin(2x)]00 −2[A cos(2x)+B sin(2x)]0 −3[A cos(2x)+B sin(2x)] = 65 cos(2x)
For the cosine terms on the two sides of the last equation to balance, we need
−7A − 4B = 65,
4A − 7B = 0.
This example illustrates that, typically, if g(x) is a sine or cosine function (or
a linear combination of a sine and cosine function with the same frequency)
then a linear combination of both the sine and cosine can be used for yp (x) .
Thus, we have the following rule: If, for some constants A, B and α,
then a good first guess for a particular solution to differential equation (2.44)
is
yp (x) = Acos(αx) + Bsin(αx)
y 00 − 2y 0 − 3y = 9x2 + 1.
yp (x) = Ax2 + Bx + C.
In this case
yp0 (x) = 2Ax + B, yp00 (x) = 2A
Plugging these into the differential equation yp00 − 2yp0 − 3yp = 9x2 + 1, we get
For the last equation to hold, the corresponding coefficients to the polynomials
on the two sides must equal, giving us the following system:
x2 terms : − 3A = 9
x terms : − 4A − 3B = 0.
Generalizing from this example, we can see that the rule for the first guess for
yp (x) when g is a polynomial is:
If
g(x) = a polynomial of degree K,
then a good first guess for a particular solution to differential equation (2.44)
is a K th -degree polynomial
If, for some pair of polynomials P (x) and Q(x) , and some pair of constants
α and β,
g(x) = P (x)eαx cos(βx) + Q(x)eαx sin(βx)
then a good first guess for a particular solution to differential equation eqrefgu
is
y 00 − 2y 0 − 3y = 65x cos(2x),
+ [−4A0 + 4A1 − 2B0 − 7B1 ] sin(2x) + [4A0 − 7B0 ]x sin(2x) = 65x cos(2x)
Comparing the terms on either side of the last equation, we get the following system:
Consider
y 00 − 2y 0 − 3y = 28e3x .
0 = 28e3x
No value for A can make this equation true! So our first guess fails.
Why did it fail? Because the guess, Ae3x was already a solution to the corresponding
homogeneous equation
y 00 − 2y 0 − 3y = 0.
If the first guess for yp (x) contains a term that is also a solution to the corresponding
homogeneous differential equation, then consider
as a “second guess”. If this (after multiplying through by the x ) does not contain
a term satisfying the corresponding homogeneous differential equation, then set
If, however, the second guess also contains a term satisfying the corresponding ho-
mogeneous differential equation, then set
where
I should emphasize that the second guess is used only if the first fails (i.e., has a
term that satisfies the homogeneous equation). If the first guess works, then the
second (and third) guesses will not work. Likewise, if the second guess works, the
third guess is not only unnecessary, it will not work. If, however the first and second
guesses fail, you can be sure that the third guess.
y 00 + ay 0 + by = f (x) (2.46)
Let y1 (x) and y2 (x) be two linearly independent solutions of the homogeneous dif-
ferential equation:
y 00 + ay 0 + by = 0 (2.47)
The idea underlying the method of variation of parameters is to replace the constants
c1 and c2 by the unknown functions u1 (x) and u2 (x), and then find a particular
integral of the form:
y = u1 (x)y1 (x) + u2 (x)y2 (x) (2.49)
Two equations are needed in order to determine u1 (x) and u2 (x), and the first of
these is obtained as follows:
Differentiating equation (2.49), we get:
y 0 (x) = u1 (x)y10 (x) + u2 (x)y20 (x) + u01 (x)y1 (x) + u02 (x)y2 (x) (2.50)
We have to find u1 (x) and u2 (x) such that the last two terms in the above equation
vanish. That is
y 0 (x) = u1 (x)y10 (x) + u2 (x)y20 (x) (2.51)
Equation (2.51) is the first condition to be imposed on u1 (x) and u2 (x), and a
second condition is obtained as follows:
Differentiating equation (2.51) gives:
y 00 (x) = u1 (x)y100 (x) + u2 (x)y200 (x) + u01 (x)y10 (x) + u02 (x)y20 (x), (2.53)
Since y1 (x) and y2 (x) are solutions of the equation (2.47), the first two terms in the
above equation vanish identically. Hence equation (2.55) reduces to the following
form:
So we get a second condition on u1 (x) and u2 (x). The functions u1 (x) and u2 (x)
can now be found by solving equations (2.52) and (2.56).
Multiplying equation (2.52) by y20 , equation (2.56) by y2 , and subtracting gives:
y 00 + ay 0 + by = f (x)
Example 25. Find the general solution of the second order differential equation
y 00 + 2y 0 + y = xe−x
λ2 + 2λ + 1 = 0
The characteristic equation has repeated root λ = −1. Thus, the complementary
function is
yc (x) = c1 e−x + c2 xe−x
Z Z
−x −x 1
= −e 2
x dx + xe xdx = x3 e−x .
6
Thus, the general solution is
1
yc (x) = c1 e−x + c2 xe−x + x3 e−x
6
Example 26. Find the general solution of the differential equation
y 00 + y = csc x
λ2 + 1 = 0
The roots of the characteristic equation are λ1 = i and λ2 = −i. Thus, the comple-
mentary function is
yc (x) = c1 cos x + c2 sin x
The Wronskian W (x) = y1 y20 − y10 y2 = (cos x)(cos x) − (− sin x)(sin x) = 1, and
f (x) = 1/ sin x. Therefore
Z Z
f (x)y2 f (x)y1
yp (x) = −y1 (x) dx + y2 (x) dx
W (x) W (x)
Z Z
= . − cos x dx + sin x cot xdx
Imagine a horizontal spring with one end attached to an immobile wall and the other
end attached to some object of interest which can slide along the floor, as in figure
2.1. For brevity, this entire assemblage of spring, object, wall, etc. will be called a
mass/spring system. Let us assume that:
Figure 2.1: The mass/spring system with the direction of the spring force Fspring
on the mass (a) when the spring is extended (y(t) > 0), and (b) when the spring is
compressed (y(t) < 0).
1. The object can only move back and forth in the one horizontal direction.
(a) The force from the spring responding to the spring being compressed and
stretched.
(b) The forces resisting motion because of air resistance and friction between
the box and the floor.
4. The spring is an “ideal spring” with no mass. It has some natural length at
which it is neither compressed nor stretched, and it can be both stretched
and compressed. (So the coils are not so tightly wound that they are pressed
against each other,making compression impossible.)
Our goal is to describe how the position of the object varies with time, and to see
how this objects motion depends on the different parameters of our mass/spring
system (the object’s mass, the strength of the spring, the slipperiness of the floor,
etc.). To set up the general formulas and equations, we’ll first make the following
traditional symbolic assignments:
t = the time (in seconds) since the mass/spring system was set into motion, and
y = the position (in meters) of the object when the spring is at its natural length.
This means our Y axis is horizontal (nontraditional, maybe, but convenient for this
application), and positioned so that y = 0 is the “equilibrium position” of the
object. Let us also direct the Y axis so that the spring is stretched when y > 0 , and
compressed when y < 0 (again, see figure 2.1).
Modeling the Forces
The motion of the object is governed by Newtons law F = ma with F being the
force acting on the box and
d2 y
a = a(t) = acceleration of the box at timet =
dt2
By our assumptions,
F = Fresist + Fspring + Fother
where
Fspring = force from the spring due to it being compressed or stretched, and
Thus
d2 y
Fresist + Fspring + Fother = F = ma = m
dt2
The above equation can be rewritten as:
d2 y
m − Fresist − Fspring = Fother (2.59)
dt2
Observe that
dy
Fresist = −γ × velocity of the box = −γ
dt
where γ is some nonnegative constant. Because of the role it will play in determining
how much the resistive forces “dampens” the motion, we call the damping constant.
It will be large if the air resistance is substantial (possibly because the mass/spring
system is submerged in water instead of air) or if the object does not slide easily on
the floor. It will be small if there is little air resistance and the floor is very slippery.
And it will be zero if there is no air resistance and no friction with the floor (a very
idealized situation).
Now consider what we know about the spring force, Fspring . At any given time t
, this force depends only on how much the spring is stretched or compressed at that
time, and that, in turn, is completely described by y(t) . Hence, we can describe
the spring force as a function of y , Fspring = Fspring (y) . Moreover:
1. If y = 0 , then the spring is at its natural length, neither stretched nor com-
pressed, and exerts no force on the box. So Fspring = 0.
2. If y > 0 , then the spring is stretched and exerts a force on the box pulling it
backwards. So Fspring (y) ¡ 0 whenever y > 0 .
3. Conversely, if y < 0 , then the spring is compressed and exerts a force on the
box pushing it forwards. So Fspring (y) > 0 whenever y < 0.
Knowing nothing more about the spring force, we might as well model it using the
simplest mathematical formula satisfying the above:
|F0 |
κ=
|y0 |
Replacing Fresist = γ dy
dt and Fspring (y) = −κy in equation (2.59), we get:
d2 y dy
m 2
+γ + κy = Fother (2.61)
dt dt
This is the differential equation for y(t), the position y of the object in the system
at time t.
For the rest of this section, let us assume the object is moving “freely” under the
influence of no forces except those from friction and from the spring’s compression
and expansion. Thus, for the rest of this section, we will restrict our interest to the
above differential equation with Fother = 0,
d2 y dy
m 2
+γ + κy = 0 (2.62)
dt dt
This is a second-order, homogeneous, linear differential equation with constant co-
efficients; so we can solve it by the methods discussed in the previous sections.
Keep in mind that the mass, m, and the spring constant, κ , are positive constants
for a real spring. On the other hand, the damping constant,γ, can be positive or
zero. This is significant. Because γ = 0 when there is no resistive force to dampen
the motion, we say the mass/spring system is undamped when γ = 0 . We will see
that the motion of the mass in this case is relatively simple.
If, however, there is a nonzero resistive force to dampen the motion, then γ > 0.
Accordingly, in this case, we say mass/spring system is damped. We will see that
there are three subcases to consider, according to whether γ 2 − 4κm is negative, zero
or positive. Lets now carefully examine, case by case, the solutions that can arise.
Undamped Systems
If γ = 0 , differential equation (2.63) reduces to
d2 y
m + κy = 0 (2.63)
dt2
The corresponding characteristic equation,
mr2 + κ = 0,
has roots √
−κm
r1,2 = ± = ±ω0
m
p
where ω0 = κ/m. We know the general solution to our differential equation is
given by
y(t) = c1 cos(ω0 t) + c2 sin(ω0 t) (2.64)
where c1 and c2 are arbitrary constants. However, for graphing purposes (and a few
other purposes) it is convenient to write our general solution in yet another form.
To derive this form, plot (c1 , c2 ) as a point on a Cartesian coordinate system, and
let A and φ be the corresponding polar coordinates of this point (see figure 2.2).
That is, let
q
A= c21 + c22
we get
= A cos(ω0 t − φ.)
or, equivalently,
where r
κ
ω0 =
m
and other constants are related by
q
A= c21 + c22 , cos(φ) = c1 /A, sin(φ) = c2 /A
Damped Systems
If γ > 0, then all coefficients in our differential equation
d2 y dy
m 2
+γ + κy = 0 (2.67)
dt dt
mr2 + r + κ = 0
As we saw in the last section, the nature of the differential equations solution,
y = y(t) , depends on whether γ 2 − 4κm is positive, negative or zero. And this, in
turn, depends on the positive constants γ, κ and mass m as follows:
√
γ < 2 κm ⇔ γ 2 − 4κm < 0
√
γ = 2 κm ⇔ γ 2 − 4κm = 0
√
γ > 2 κm ⇔ γ 2 − 4κm > 0
Since we’ve already considered the case where γ = 0 , the first damped cases con-
√
sidered will be the underdamped mass/spring systems (where 0 < γ < 2 κm).
√
Underdamped Systems ( 0 < γ < 2 κm)
In this case,
p p p p
γ 2 − 4κm = −|γ 2 − 4κm| = i |γ 2 − 4κm| = i |4κm − γ 2 |
r1,2 = −α ± iω
√
4κm−γ 2
where α = γ/2m and ω = 2m .
Note that α and ω are positive real values. Hence the general solution to our
differential equation is
Factoring out the exponential and applying the same analysis to the linear com-
bination of sines and cosines as was done for the undamped case, we get that the
position y of the box at time t is given by any of the following:
These two formulas are equivalent, and the arbitrary constants are related, as before,
by
p
A= (c1 )2 + (c2 )2 , cos(φ) = c1 /A, and sin(φ) = c2 /A
and p √
−γ ± γ 2 − 4κm −γ ± 0 p
r1,2 = = = − κ/m
2m 2m
So the corresponding general solution to our differential equation is
Electric Circuits
A second example of the occurrence of second order linear differential equations
with constant coefficients is their use as a model of the flow of electric current in
the simple series circuit shown in Figure2.3. The current I, measured in amperes
(A), is a function of time t. The resistance R in ohms (|Omega), the capacitance C
in farads (F ), and the inductance L in henrys (H) are all positive and are assumed
to be known constants. The impressed voltage E in volts (V ) is a given function of
time. Another physical quantity that enters the discussion is the total charge Q in
coulombs (C) on the capacitor at time t. The relation between charge Q and current
I is
I = dQ/dt. (2.69)
The flow of current in the circuit is governed by Kirchhoffs second law:In a closed
circuit the impressed voltage is equal to the sum of the voltage drops in the rest of
the circuit.
According to the elementary laws of electricity, we know that The voltage drop
across the resistor is IR.
The voltage drop across the capacitor is Q/C.
The units have been chosen so that 1 volt = 1 ohm 1 ampere = 1 coulomb/1 farad=
1 henry 1 ampere/1 second. Substituting for I from equation (2.69), we obtain the
differential equation
LQ00 + RQ0 + (1/C)Q = E(t)
Laplace Transforms
3.1 Introduction
81
CHAPTER 3. LAPLACE TRANSFORMS
Similarly Z a Z a
f (t) dt = lim f (t) dt
−∞ x→−∞ x
Ra R∞
Definition. Let f : R → R and let a ∈ R. If −∞ f (t)dt and a f (t)dt exit then
R∞
the improper integral −∞ f (t)dt is defined as:
Z ∞ Z a Z ∞
f (t)dt = f (t)dt + f (t)dt
−∞ −∞ a
Note: Z ∞ Z x
f (t)dt 6= lim f (t)dt
−∞ x→∞ −x
Remarks. If we define
e−st , t ≥ 0
K(s, t) =
0, t < 0
Definition. If a function f (t) is defined for all t in the interval [0, ∞), then the
Laplace Transform of f (t) is defined as
Z ∞
L {f (t)} = F (s) = f (t)e−st dt
0
The following are various commonly used notations for the Laplace transform of
f (t).
(ii) L (f (t)) or Lf
Also, the letter p is sometimes used instead of s as the parameter. In this book the
original function is denoted by f (t) and its Laplace transform is denoted by L {f (t)}
Notes:
(b) The symbol L denote the Laplace transform operator, when it operates on
a function f (t), it transforms into a function F (s) of the variable s. We
say the operator transform the function f (t) in the t domain(usually called
time domain) into the function F (s) in the s domain(usually called frequency
domain). This relationship is shown in figure 3.1
(c) Laplace transforms does not exist for all functions. For example , consider the
1
function f (x) = . Then
t
Z ∞
L {f (t)} = e−st (1/t)ds
0
1
This integral does not exists. Hence the Laplace transform of f (t) = does
t
not exists.
(d) The ordered pair (f (t), F (s)) is called a Laplace transform pair.
Solution.
=0
1
Example 28. Prove that the function f (t) = is of exponential order as t → ∞.
t
Solution.
1
lim e−αt f (t) = lim e−αt
t→∞ t→∞ t
1
= lim
t→∞ eαt t
=0
1
Hence f (t) = is of exponential order as t → ∞.
t
2
Example 29. Prove that the function f (t) = et is not of exponential order as
t → ∞.
Solution.
2
lim e−αt f (t) = lim e−αt et
t→∞ t→∞
2 −αt) 2 2 /4
= lim e(t = lim e(t−α/2) eα
t→∞ t→∞
=∞
2
Hence f (t) = et is not of exponential order as t → ∞.
Solution.
=0 (∵ α ≥ 3)
x
o 1 2 3
R∞
Lemma 5. Let f (t) be piecewise continuous. Then, the improper integral 0 f (t)dt
R∞
exits if 0 |f (t)|dt exists.
Theorem 13. If f (t) is piecewise continuous and of exponential order, then its
Laplace transform exists for all s sufficiently large. That is, if f (t) is piecewise
continuous, and |f (t)| ≤ M e−αt , then F (s) exists for s > α.
Ra
Proof. Since f (t) is piecewise continuous, the integral 0 f (t)dt exits for all a. Now
Z a Z a
−st
|e f (t)|dt ≤ M e−st eαt dt
0 0
Z a " #a
e(α−s)t
= e(α−s)t dt = M
0 α−s
0
M h
(α−s)a
i
= e −1
Z a α−s
M h (α−s)a i M
∴ lim |e−st f (t)|dt ≤ lim e −1 =
a→∞ 0 a→∞ α − s s−α
Z ∞
M
i.e., |e−st f (t)|dt ≤
0 s −α
Therefore Z ∞
|e−st f (t)|dt
0
R∞
exists. Hence by lemma 0 e−st f (t)dt exists.
Remark The above conditions are sufficient conditions for the existence of Laplace
transform, but not necessary conditions. That is, Laplace transforms can be found
for functions that does not satisfies the conditions of the above theorem.
lim L {f (t)} = 0.
s→∞
Proof. We have
Z ∞ Z ∞
−st M
e f (t)dt ≤ |e−st f (t)|dt ≤
0 0 s−α
Taking lims→∞ , we get:
Z ∞ Z ∞
M
lim e−st f (t)dt ≤ lim |e−st f (t)|dt ≤ lim = 0.
s→∞ 0 s→∞ 0 s→∞ s − α
R∞
Hence lims→∞ 0 e−st f (t) dt = 0. That is, lims→∞ L {f (t)} = 0.
Example 31. Prove that F (s) = (s2 − 1)/(s2 − 1) is not a Laplace transform of an
ordinary function.
Solution.
s2 − 1
lim F (s) = lim
s→∞ s→∞ s2 + 1
1 − 1/s2
= lim =1
s→∞ 1 + 1/s2
Since lims→∞ F (s) 6= 0, therefore F (s) is not the Laplace transform of any ordinary
function.
In this section we consider some properties of Laplace transform that will enable us
to find further transform pairs {f (t), F (s)} without having to compute them directly
using the definition.
Theorem 15 (Linearity Property). If the Laplace transforms of f (t) and g(t) exist,
then for all values of the constants c1 and c2 ,
Proof. By definition,
Z ∞
L {c1 f (t) + c2 g(t)} = {c1 f (t) + c2 g(t)}e−st dt
0
Z ∞
= c1 f (t)e−st dt + c2 g(t)e−st dt
0
Z ∞ Z ∞
−st
= c1 f (t)e dt + c2 g(t)e−st dt
0 0
= c1 L {f (t)} + c2 L {g(t)}
e−as
Theorem 16. The Laplace transform of the unit step function u(t − a) is
s
Proof. By definition,
Z ∞
L {u(t − a)} = e−st u(t − a) dt
0
Z a Z ∞
= e−st u((t − a) dt + e−st u(t − a) dt
Z0 a Z ∞ a
−st
= e (0) dt + e−st (1) dt
Z0 ∞ a
= e−st dt
a
t→∞
e−st e−as
= =
−s a s
Remarks :
(i) The unit step function is discontinuous at t = a and yet has a continuous Laplace
e−as
transform, namely
s
(ii) If a function f (t) is defined on the interval (−∞, ∞), then
0, t<0
f (t)u(t) =
f (t) t>0
Figure 3.4: (a) The unit impulse function p(t) = u(t − a) − u(t − b). (b) The function
y = f (t).
Figure 3.5: The effect on f (t) of multiplication by u(t − a) and u(t − a) − u(t − b).
e−as − e−bs
Theorem 17. The laplace transform of the unit impulse function p(t) is .
s
Proof.
Z ∞
L L{p(t)} = e−st p(t)
dt
0
Z a Z b Z ∞
−st −st
= e p(t)dt + e p(t)dt + e−st p(t)dt
0 a b
Z a Z b Z ∞
= e−st (0)dt + e−st (1)dt + e−st (0)dt
0 a b
Z b −st
b
e
= e−st dt =
a −s a
e−as − e−bs
=
s
Solution. By definition,
Z ∞
L {1} = e−st 1 dt
0
t→∞
e−st
1
=− =
s 0 s
Solution. By definition,
Z ∞
L {t } =
n
e−st tn dt
0
Z ∞
= e−st t(n+1)−1 dt
0
Z ∞
Γ(n + 1) −kx n−1 Γn
= ∵ e x = n
sn+1 0 k
Remark. If n is a positive integer, Γ(n + 1) = n!. Therefore
n!
L {tn } =
sn+1
Example 34. What is L {eat } ?
Solution.
Z ∞
L {e } =at
e−st eat dt
0
" #t→∞
∞
e−(s−a)t
Z
−(s−a)t
= e dt = −
0 s−a
0
1
= , provided (s − a) > 0
s−a
1
Remark. L {e−at } = provided (s + a) > 0
s+a
Example 35. What are L {cos at} and L {sin at}?
1
Solution. We have L {eat } = . Therefore
s−a
1 s + ia
L {eiat } = =
s − ia (s − ia)(s + ia)
s + ia
= 2
s + a2
s a
= 2 2
+i 2
s +a s + a2
s a
∴ L {cos at + i sin at} = +i 2 (∵ eiat = cos at + i sin at)
+a 2 s2
s + a2
s a
i.e., L {cos at} + iL {sin at} = 2 2
+i 2
s +a s + a2
Equating real and imaginary parts, we get
s a
L {cos at} = and L {sin at} =
s2 + a2 s2 + a2
Solution.
eat + e−at
1
L {cosh at} = L L {eat } + L {e−at }
=
2 2
1 1 1 s
= + = 2
2 s−a s+a s − a2
Example 37. What is L {sinh at} ?
Solution.
eat − e−at
1
L {sinh at} = L L {eat } − L {e−at }
=
2 2
1 1 1 a
= − = 2
2 s−a s+a s − a2
L {eat f (t)} = F (s − a)
Note The graphs of L {sin t} and L {e2t sin t} are shown in figure 3.6
Proof. By definition,
Z ∞
L {f (t − a)u(t − a)} = e−st f (t − a)u(t − a) dt
0
Z a Z ∞
−st
= f (t − a)u(t − a) dt +
e e−st f (t − a)u(t − a) dt
0 a
Z a Z ∞
−st
= e f (t − a) (0) dt + e−st f (t − a)(1) dt
0 a
Z ∞
−st
=0+ e f (t − a) dt
a
Z ∞
= e−st f (t − a) dt (3.2)
a
1 ∞ −(s/a)x
Z
= e f (x) dx
a 0
Z ∞
1
= e−kx f (x) dx (k = s/a)
a 0
1 ∞ −kt
Z Z b Z b
= e f (t) dt ∵ f (x)dx = f (t)dt
a 0 a a
1 1 s
= F (k) = F (∵ k = s/a)
a a a
Γ(n + 1)
Remark. L {e−at tn } =
(s + a)n+1
Example 39. What is L {eat sin bt} ?
b
Solution. We have L {sin bt} = . Therefore
s2 − b2
b
L {eat sin bt} = (by first shifting theorem)
(s − a)2 − b2
b
Remark. L {e−at sin bt} =
(s + a)2 − b2
Solution. We have
s
L {cosh bt} =
s2
− b2
s−a
∴ L {eat cosh at} =
(s − a)2 − b2
s+a
Remark. L {e−at cosh bt} =
(s + a)2 − b2
Example 42. What is L {eat sinh bt}?
Solution. We have
b
L {sinh bt} =
s2
− b2
b
∴ L {eat sinh at} =
(s − a)2 − b2
b
Remark. L {e−at sinh bt} =
(s + a)2 − b2
f (t) L {f (t)}
eat tn Γ(n + 1)/sn+1
eat sin bt b/[(s − a)2 + b2 ]
eat cos bt (s − a)/[(s − a)2 − b2 ]
eat coshbt (s − a)/[(s − a)2 − b2 ]
L {e−at sinh bt} b/[(s + a)2 − b2 ]
Table 2 Laplace transform pairs
Theorem 21. Suppose that f (t) and f 0 (t) have Laplace transforms. Then
Proof. By definition,
Z ∞
0
L {f (t)} = f 0 (t)e−st dt
0
−st ∞
Z ∞
= e f (t) 0 − e−st (−s)f (t) dt
0
Theorem 22. Suppose Laplace transforms of f (t), f 0 (t), f 00 (t) exist. Then
Proof. By definition,
Proof. Let Z t
g(t) = f (u)du (3.3)
0
From equation (3.3) it follows that
g(0) = 0
Z t
0 d
g (t) = f (u)du = f (t)
dt 0
∴ L {g 0 (t)} = L {f (t)}
3.10 Multiplication by tn
Theorem 25.
dn
L {tn f (t)} = (−1)n [L {f (t)}] , for n = 1, 2, 3, · · ·
dsn
Proof. The proof is by induction on n. First we will prove that the result is true for
n = 1. We have
Z ∞
L {f (t)} = e−st f (t)dt
0
Z ∞
d d
∴ L {f (t)} = e−st f (t)dt
ds ds 0
Z ∞
∂ −st
= {e f (t)}dt
0 ∂s
Z ∞
=− te−st f (t)dt
Z ∞0
d
∴ (−1) L {f (t)} = e−st {tf (t)}dt = L {tf (t)}
ds 0
Hence
d
L {tf (t)} = (−1) [L {f (t)}]
ds
= L {tr+1 f (t)}
This shows that the result is true for n = r + 1. Hence by mathematical induction
the result is true for all positive integral values of n.
3.11 Division by t
Proof. By definition, Z ∞
F (s) = e−st f (t)dt (3.4)
0
Integrating (3.4) with respect to s from s to ∞, we get:
Z ∞ Z ∞ Z ∞
F (s)ds = e−st f (t)dt ds
0 0
Zs ∞ Z ∞
= e−st f (t)dt (changing order of integration)
0 s
∞ ∞
e−st
Z
= f (t) dt
0 −t s
Z ∞
f (t) −st
= e dt
0 t
f (t)
=L
t
Theorem 27. If a function f (t) is periodic with period k on [0, ∞), then
Rk
f (t)e−st dt
L {f (t)} = 0
1 − e−ks
Proof. Since f (t) is periodic with period k,
By definition,
Z ∞
L {f (t)} = f (t)dt
0
Z k Z 2k Z 3k
−st −st
= f (t)e dt + f (t)e dt + f (t)e−st dt + · · ·
0 k 2k
∞ Z
X (n+1)k
= f (t)e−st dt
n=0 nk
X∞ Z k
= f (x + nk)e−s(x+nk) dt (Putting t = x + nk)
n=0 0
X∞ Z k
= f (x)e−sx e−nsk dx (by equation(3.5))
n=0 0
X∞ Z k
−nsk
= e f (x)e−sx dx
n=0 0
Z k
−sk −2sk
= (1 + e +e + ···) f (x)e−sx dx
0
Rk −sx dx
f (x)e 2 3 1
= 0 ∵ 1 + x + x + x + · · · = if |x| < 1
1 − e−ks 1−x
Rk
f (t)e−st dt
= 0
1 − e−ks
Theorem 28. Z ∞
f (t)dt
L {L {f (t)}} =
0 t+u
Proof.
Z ∞
−st
L {L {f (t)}} = L e f (t)dt
0
Z ∞ Z ∞
−us −st
= e e f (t)dt ds
Z0 ∞ Z ∞ 0
= f (t)e−s(t+u) dsdt
0 0
Z ∞ " #∞
e−s(t+u)
= f (t)
0 −(t + u)
s=u
Z ∞
f (t)dt
=
0 t+u
Theorem 29 (The initial value theorem). Let L L{f (t)} = F (s) be the Laplace
transform of an n times differentiable function f (t). Then
r = 0, 1, 2 · · · , n
In particular
Proof. We have
L L{f (n) (t)} = sn F (s) − sn−1 f (0) − sn−2 f 0 (0) − · · · − sf (n−2) (0) − f (n−1) (0) (3.6)
f (r) (0) = sr+1 F (s) − sr f (0) − · · · − sf (r−1) (0) − L L{f (r+1) (t)}
h i
∴ lim f (r) (0) = lim sr+1 F (s) − sr f (0) − · · · − sf (r−1) (0) − L L{f (r+1) (t)}
s→∞ s→∞
h i
i.e., f (r) (0) = lim sr+1 F (s) − sr f (0) − · · · − sf (r−1) (0)
s→∞
Assume that f (r+1) satisfies the sufficiency conditions for the existence of a Laplace
transform. Then
lim L L{f (r+1) (t)} = 0
s→∞
Proof. We have
Replacing n by r + 1 , we get:
i.e., lim f (r) (t) − f r (0) = lim s(r+1) F (s) − sr f (0) − · · · − f (r) (0)
t→∞ s→0
i.e., lim f (r) (t) = lim s(r+1) F (s) − sr f (0) − · · · − sf (r−1) (0)
t→∞ s→0
Theorem 31 (Filtering property of the delta function). Let f (t) be defined and
integrable over all intervals contained within 0 ≤ t < ∞, and let it be continuous in
a neighbourhood of a. Then for a ≥ 0
Z ∞
f (t)δ(t − a)dt = f (a)
0
Z ∞
L L{δ(t − a)} = e−st δ(t − a)dt
0
−as
=e ( by filtering property)
Solution.
Solution.
L {e2t + 4t3 − 2 sin t + 3 cos 3t} = L {e2t } + 4L {t3 } − 2L {sin t} + 3L {cos 3t}
1 3! 3 s
= +4 4 −2 2 +3 2
s−2 s s + 32 s + 32
1 24 3(s − 2)
= + + 2
s − 2 s4 s +9
Example 45. Find the Laplace transform of the function sin2 3t.
Solution. We have
1 − cos 6t
sin2 3t =
2
Therefore
1 1
L {sin2 3t} = L {1} − L {cos 6t}
2 2
11 1 s
= − 2
2 s 2 s + 36
1 1 s 18
= − 2 = 2
2 s s + 36 s(s + 36)
Example 46. Find the Laplace transform of the function cos(at + b).
Solution.
Solution. We have
f (t) = |t − 1| + |t + 1|, t ≥ 0
Solution.
f (t) = |t − 1| + |t + 1|
2, 0≤t≤1
=
2t, t≥1
Z ∞
∴ L {f (t)} = e−st f (t) dt
0
Z 1 Z ∞
−st
= e (2) dt + e−st (2t) dt
0 1
1 −st ∞
e−st
−st
e e
=2 +2 t − (1)
−s 0 −s (−s)2 1
−s
e−s
2 −s e 2
=− e −1 +2 = 1+
s s2 s s
f (t) = |t − 1| + |t − 2|
Solution.
f (t) = |t − 1| + |t − 2|
−2t + 3, 0≤t≤1
= 1, 1≤t≤2
2t − 3, t≤2
Therefore
Z ∞
L {f (t)} = e−st f (t)dt
0
Z 1 Z 2 Z ∞
−st −st
= e (−2t + 3) dt + e (1) dt + e−st (2t − 3) dt
0 1 2
−st 1 −st 2
e−st
e e
= (−2t + 3) − (−2) 2
+ +
−s (−s) 0 −s 1
−st −st ∞
e e
(2t − 3) − (2)
−s (−s)2 2
−s
e−s 1
−2s
e−s
e 2 e
= +2 2 + − 2 + − + −
−s s s s s s
−2s
e−2s
e
− −2 2
−s s
2e −s 1 2e−s
= 2 + + 2
s s s
Solution.
Z ∞
L {f (t)} = e−st f (t) dt
0
Z 1 Z ∞
−st t
= e e dt + e−st (0) dt
0 1
" #1
Z 1
e −(s−1)t
= e−(s−1)t dt =
0 −(s − 1)
0
e −(s−1) 1 1 h i
=− + = 1 − e(1−s)
(s − 1) s − 1 (s − 1)
Example 53. Find the laplace transform of the function sin at cos bt.
Solution.
1
sin at cos at = [sin(a + b)t + sin(a − b)t]
2
1
∴ L {sin at cos at} = [L {sin(a + b)t} + L {sin(a − b)t}]
2
1 a+b a−b
= +
2 s2 + (a + b)2 s2 + (a − b)2
1 (a + b)[s2 + (a − b)2 ] + (a − b)[s2 + (a + b)2 ]
=
2 [s2 + (a + b)2 ][s2 + (a − b)2 ]
1 (a + b + a − b)s2 + (a2 − b2 )(a − b) + (a2 − b2 )(a + b)
=
2 [s2 + (a + b)2 ][s2 + (a − b)2 ]
1 2as2 + (a2 − b2 )(a − b + a + b)
=
2 [s2 + (a + b)2 ][s2 + (a − b)2 ]
2as2 + 2a(a2 − b2 )
1
=
2 [s2 + (a + b)2 ][s2 + (a − b)2 ]
as2 + a(a2 − b2 )
=
[s2 + (a + b)2 ][s2 + (a − b)2 ]
Example 54. Find the Laplace transform of e−t (3 sinh 2t − 5 cosh 2t)
Solution.
Solution. We have
1 − cos 2t
sin2 t =
2
1
∴ L {sin t} = [L {1} − L {cos 2t}]
2
2
1 1 s
= −
2 s s2 + 4
Therefore by first shift theorem
1 1 s+1
L {e−t sin2 t} = −
2 s + 1 (s + 1)2 + 4
2
=
(s + 1)(s2 + 2s + 5)
Solution.
eat − e−at
cosh at sin at = sin at
2
1 at
e sin at + e−at sin at
=
2
1
L {cosh at sin at} = L {eat sin at} + L {e−at sin at}
∴
2
1 a a
= +
2 (s − a)2 + a2 (s + a)2 + a2
1 a a
= +
2 s2 − 2as + 2a2 s2 + 2as + 2a2
a 1 1
= +
2 [(s2 + 2a2 ) − 2as] [(s2 + 2a2 ) + 2as]
2
s + 2a2 + 2as + s2 + 2a2 − 2as
a
=
2 [(s2 + 2a2 ) − 2as][(s2 + 2a2 ) − 2as]
2(s2 + 2a2 )
a
=
2 [(s2 + 2a2 )2 − (2as)2 ]
a(s2 + 2a2 )
=
s4 + 4a4
Alitter
s
L {cosh at}
− a2s2
(s − ia)
∴ L {eiat cosh at} =
(s − ia)2 − a2
s − ia
=
[(s2 − 2a2 )2 − i2as]
(s − ia)[(s2 − 2a2 )2 + i2as]
=
[(s2 − 2a2 )2 − i2as]
(s3 − 2a2 s + 2as) + i(as2 + 2a3 )
=
(s2 − 2a2 )2 + 4a2 s2
(s3 − 2a2 s + 2as) (as2 + 2a3 )
i.e., L {cosh at cos at + i cosh at sin at} = + i
s4 + 4a4 s4 + 4a4
Equating real and imaginary parts, we get:
(s3 − 2a2 s + 2as)
(i) L {cosh at cos at} =
(s2 − 2a2 )2 + 4a2 s2
(as2 + 2a3 )
(ii) L {cosh at sin at} =
(s2 − 2a2 )2 + 4a2 s2
Example 59. Prove the following results
a(s2 − 2a2 )
(i) L {sinh at cos at} =
s4 + 4a4
2a2 s
(ii) L {sinh at sin at} =
s4 + 4a4
Solution. We have
a
L {sinh at} =
s2
− a2
a
∴ L {eiat sinh at} =
(s − ia)2 − a2
a
= 2
(s − 2a2 ) − i2sa
a(s2 − 2a2 + i2as)
= 2
(s − 2a2 )2 + 4s2 a2
Solution. We have
1 + cos 2t
cos2 t =
2
1
∴ L {cos t} = [L {1} + L {cos 2t}]
2
2
1 1 s
= + 2
2 s s +4
e − e−3t
3t
f (t) = cos2 t
2
1 3t
e cos2 t − e−3t cos2 t
=
2
1
∴ L {f (t)} = L {e3t cos2 t} − L {e−3t cos2 t}
2
1 1 s−3 1 s+3
= + − −
4 s − 3 (s − 3)2 + 4 s + 3 (s + 3)2 + 4
1 1 1 s−3 s+3
= − + −
4 s − 3 s + 3 (s − 3)2 + 4 (s + 3)2 + 4
1 s+3−s+3 s−3 s+3
= + −
4 (s − 3)(s + 3) (s − 3)2 + 4 (s + 3)2 + 4
1 6 s−3 s+3
= + −
4 s2 − 9 [(s2 + 13) − 6s] [(s2 + 13) + 6s]
(s − 3)[(s2 + 13) + 6s] − (s + 3)[(s2 + 13) − 6s]
1 6
= +
4 s2 − 9 [(s2 + 13) − 6s][(s2 + 13) + 6s]
[(s − 3) − (s + 3)]s2 + 6[s − 3 + s + 3] + 13[s − 3 − s − 3]
1 6
= +
4 s2 − 9 (s2 + 13)2 − 36s2
2
1 6 −6s + 6(2s) + 13(−6)
= +
4 s2 − 9 (s2 + 13)2 − 36s2
s2 + (2s) − 13)
3 1
= −
2 s2 − 9 (s2 + 13)2 − 36s2
1 3 6 6
Example 61. Prove that L {(1 + te−t )3 } = + 2
+ 2
+
s (s + 1) (s + 2) (s + 3)4
Solution.
n!
Applying the results L {tn } = and L {eat f (t)} = F (s − a) in the above
sn+1
equation, we get:
1 3 · 1! 3 · 2! 3!
L {(1 + te−t )3 } = + + +
s (s + 1)2 (s + 2)3 (s + 3)4
1 3 6 6
= + 2
+ 2
+
s (s + 1) (s + 2) (s + 3)4
Example 62. Find the Laplace transform of the function L {3e(−1/2)t sin2 t}.
1 − cos 2t
Solution. We have sin2 t = . Hence
2
1 − cos 2t
L {3e(−1/2)t sin2 t} = L 3e(−1/2)t
2
3 3
= L {e(−1/2)t } − L {e(−1/2)t cos 2t}
2 2
3 1 3 s + 1/2
= −
2 s + 1/2 2 (s + 1/2)2 + 22
3 3(s + 1/2)
= − 2
2s + 1 2(s + s + 1/4 + 4)
3 6s + 3
= − 2
2s + 1 4s + 4s + 17
3(4s2 + 4s + 17) − (6s + 3)(2s + 1)
=
(2s + 1)(4s2 + 4s + 17)
48
=
(2s + 1)(4s2 + 4s + 17)
Figure 3.9: (a) The graph of f (t) = (1+t) (b) The graph of f (t) = u(t−2)(1+t)
Example 64. Find the Laplace transform of the square wave shown in figure 3.10
Solution.
Z ∞ Z ∞ Z ∞
e−st f (t)dt = e−st f (t)dt + e−st f (t)dt
0
Z0 ∞ Z ∞0
= e−st kdt + e−st (−k)dt
0 0
k k
= (1 − e−as ) + (e−2as − e−as )
s s
k −2as k
= (1 + e − 2e−as ) = (1 − e−as )2 .
s s
Then
R 2a
e−st f (t)dt
L L{f (t)} = 0
1 − e−2as
k(1 + e−as )2 k(1 + e−as )2
= =
s(1 − e−2as ) s(1 − e−as )(1 + e−as )
k(1 − e−as ) k(eas/2 − e−as/2 )
= =
s(1 + e−as ) s(eas/2 + e−as/2 )
k sinh(as/2) k
= = tanh(as/2)
s cosh(as/2) s
Example 65. Find the Laplace transform the function whose graph is given below:
Solution.
Z 2k Z k Z 2k
−st −st
e f (t) dt = e
f (t) dt + e−st f (t) dt
0 0 k
Z k Z 2k
= e−st (1) dt + e−st (0) dt
0 k
Z k
= e−st dt
0
k
e−st 1 − e−ks
= =
−s 0 s
Z 2k
1
∴ L {f (t)} = e−st f (t) dt
1 − e−2ks 0
1 1 − e−ks
=
1 − e−2ks s
1 − e−ks
=
s(1 − e−ks )(1 + e−ks )
1
=
s(1 + e−ks )
Example 66. Find the Laplace transform the function whose graph is given below:
Solution.
Z 2π/α Z π/α Z 2π/α
−st −st
e f (t) dt = e f (t) dt + e−st f (t) dt
0 0 π/α
Z π/α Z 2π/α
= e−st sin(αt) dt + e−st (0) dt
0 π/α
Z π/α
= e−st sin(αt) dt
0
π/α
e−st
= {(−s) sin(αt) − α cos(αt)}
α 2 + s2 0
1 h
−πs/α
i
= e α + α
α 2 + s2
α h
−πs/α
i
= 1 + e
α 2 + s2
Z 2π/α
1
∴ L {f (t)} = e−st f (t) dt
1 − e−2π/α 0
1 α(1 + e−πs/α )
=
α2 + s2 1 − e−2πs/α
α
=
(α + s )(1 − e−πs/α )
2 2
Example 67. Find the Laplace transform the function whose graph is given below:
Solution. The equation of the line in the interval [0, 2k] is given by:
t−0 y−0
= ( by two point form of a line)
2k − 0 2k − 0
i.e., y=t
Similarly equation of the line in the interval [2k, 4k] is given by:
t − 4k y−0
= i.e., y = 4k − t
2k − 4k 2k − 0
Therefore
Z 4k Z 2k Z 4k
−st −st
e f (t) dt = e f (t) dt + e−st f (t) dt
0 0 2k
Z 2k Z 4k
= e−st t dt + e−st (4k − t) dt
0 2k
2k 4k
e−st −st e−st e−st
e
= t − (1) + (4k − t) − (−1)
(−s) (−s)2 0 (−s) (−s)2 2k
( by Kroneckers formula)
1 h i 1
= 2 1 − 2e−2ks + e−4ks = 2 (1 − e−2ks )2
s s
Therefore
Z 4k
1
L {f (t)} = e−st f (t) dt
1 − e−4ks 0
1 (1 − e−2ks )2 1 − e−2ks
= =
1 − e−4ks s2 s2 (1 + e−2ks )
1 eks − e−ks tanh ks
= 2 ks −ks
=
s e +e s2
Example 68. Find the Laplace transform the function whose graph is given below:
Solution.
Z π/k Z π/k
e−st f (t) dt = | sin(kt)| dt
0 0
Z π/k
= e−st sin(kt) dt (∵ | sin(kt)positive in the interval [0, π/k])
0
π/k
e−st
= {(−s) sin(kt) − k cos(kt)}
s2 + k 2 0
e −πs/k
1 h i (1 + e )
= 2 2
e−πs/k (k) + k = 2 2
s +k s +k
Z π/k
1
∴ L {f (t)} = e−st f (t)dt
1 − e−πs/k 0
! !
1 k(1 + e−πs/k ) 1 + e−πs/k k
= −πs/k 2 2
= −πs/k
1−e s +k 1−e s + k2
2
!
eπs/2k + e−πs/2k k k coth(sπ/2k)
= −πs/2k 2 2
=
eπs/2k −e s +k s2 + k 2
Example 69. Find the Laplace transform the function whose graph is given below:
k
Solution. Equation of the line in the interval [0, a] is y(t) = t. Similarly equation
a
k
of the line in the interval [a, 2a] is y(t) = (t − 2a).
a
Z 2a Z a Z 2a
e−st f (t) dt = e−st f (t) dt + e−st f (t) dt
0 0 a
Z a Z 2a
−st
= e (k/a)t dt + e−st (k/a(t − 2a)) dt
0 a
Z a Z 2a
k −st −st
= e t dt + e (t − 2a)
a 0 a
" a 2a #
k e−st e−st e−st e−st
= t − (1) + (t − 2a) − (1)
a (−s) (−s)2 0 (−s) (−s)2 a
ae−as e−as e−2as ae−as e−as
k 1
= − − 2 + 2− 2 − + 2
a s s s s s s
2ae−as e−2as
k 1 k
− 2 = 2 = 2 1 − e−2as − 2ae−as
+ −
a s s s as
Z 2a
1
∴ L {f (t)} = e−st f (t) dt
1 − e−2as 0
k
= 2 [1 − e−2as − 2ae−as ]
as (1 − e−2as )
Example 70. Prove that L {sin t} = 1/(s2 + 1) and use scaling theorem to show
that L {sin at} = a/(s2 + a2 ).
Solution. The function f (t) = sin t is periodic with period 2π. Therefore
Z 2π
1
L L{sin t} = e−st sin tdt
(1 − e−2πs ) 0
e−2πs
1 1 1
= −2πs 2
− 2 = 2
(1 − e ) s +1 s +1 s +1
Therefore
1 1 1
L L{sin at} = (∵ L L{f (at} = F (s/a))
a [(s/a)2 + 1] a
a
= 2
s + a2
sin at cos at
Example 71. Find the Laplace transform of . Does the transform of
t t
exists?
Solution. We have
Z ∞
f (t)
L = L {f (t)}ds
t s
Z ∞
sin at)
∴ L = L {sin at}ds
t s
Z ∞
a
= ds = (arctan(x/a))∞
s
s s2 +a2
= arctan(∞) − arctan(s/a)
π
= − arctan sa = arccot(s/a)
2
Now
Z ∞
cos at)
∴ L = L {cos at}ds
t
Zs ∞
1 ∞ 2s
Z
s
= ds =
s s2 + a2 2 0 s 2 + a2
Z 0
1 2 2 ∞
f (x)
= ln(s + a ) s ∵ dx = ln f (x)
2 f (x)
1h i
= lim ln(s2 + a2 ) − ln(s2 + a2 )
2 s→∞
cos at
Since lims→∞ ln(x + a ) is infinite , L
2 2 does not exists.
t
R ∞ e−t sin t π
Example 72. Prove that 0 dt =
t 4
Solution. We have
sin at
L = cot−1 (s/a)
t
Z ∞
sin at
∴ e−st dt = cot−1 (s/a)
0 t
Solution. We have
s
L {cos at} =
s2
+ a2
n h
2 d s n d s i
∴ L {t cos at} = (−1)
2
(∵ L {t n
f (t)} = (−1)
ds s2 + a2 dsn s2 = a2
d (s + a2 ) − 2s2
2
a2 − s 2
d
= =
ds (s2 + a2 )2 ds (s2 + a2 )2
(s2 + a2 )2 (−2s) − (a2 − s2 ) 2 (s2 + a2 )(2s)
=
(s2 + a2 )4
2
2s(s − 3a ) 2
=
(s2 + a2 )2
√
√
cos t
Example 75. Find the Laplace transform of sin t. Deduce the value of L √ .
t
Solution. We know that
θ3 θ5 θ7
sin θ = θ − + − + ···
3! 5! 7!
√ √ t3/2 t5/2 t7/2
∴ sin t = t − + − + ···
3! 5!( 7!
) ( ) ( )
√ n o t3/2 t5/2 t7/2
∴ L {sin t} = L t 1/2
−L +L −L + ···
3! 5! 7!
n o 1 n o 1 n o 1 n o
= L t1/2 − L t3/2 + L t5/2 − L t7/2 + · · ·
3! 5! 7!
Γ(3/2) Γ(5/2) Γ(7/2) Γ(9/2) Γ(n + 1)
= 3/2 − 5/2 + 7/2 − 9/2 + · · · (∵ L {tn } =
s s 3! s 5! s 7! sn+1
1/2Γ(1/2) (3/2)(1/2)Γ(1/2) (5/2)(3/2)(1/2)Γ(1/2)
= − +
s3/2 s5/2 3! s7/2 5!
(7/2)(5/2)(3/2)(1/2)Γ(1/2)
− (∵ Γ(n) = (n − 1)Γ(n − 1))
√ s9/2 7!
√
π 1 1 1
= 3/2 1 − 2 + 2 2
− 2 3
+ ··· (Γ(1/2) = π)
2s (2 s) 2!(2 s) 3!(2 s)
√
π 2 1 π 1/2
= 3/2 e−1/2 s = e−1/4s
2s 2s s
√
√
cos t
Next we will find the Laplace transform of L √ . Let f (t) = sin t. Then
t
√ 1 π 1/2
L {f (t)} = L {sin t} = = F (s). Therefore
2s s
f (0) = sin(0) = 0
√
0 d h √ i 1 cos t
F (t) = sin t = √
dt 2 t
L {F 0 (t)} = sL {f (t)} − f (0) = sF (s) − 0 = sF (s)
∴
1 π 1/2 −1/4s
= e
√ 2 s
1 cos t 1 π 1/2 −1/4s
∴ L √ = e
2 t 2 s
√
1 cos t 1 π 1/2 −1/4s
i.e., L √ = e
2 t 2 s
√
cos t π 1/2 −1/4s
i.e., L √ = e
t s
R t sin x
Example 76. Find L 0 dx
x
Solution. We have
t
L {f (t)}
Z
L F (x) dx = (3.9)
0 s
Also we have
Z ∞
sin t
L = L {sin t}ds
t s
Z ∞
1 −1 ∞
= ds = tan (s) s
s 1 + s2
π
= − tan−1 (s) = cot−1 (s) (3.10)
2
sin x
Letting F (x) = . Then from (3.9), we get:
x
cot−1 (s)
Z t
sin x
L =
0 x s
R ∞ f (t) R∞
Example 77. Show that 0 dt = 0 f (x)dx, assume that the integral converge
t
and L {f (t)} = F (s) and hence prove that
Z ∞
sin t π
dt =
0 t 2
Solution. We have
Z ∞
f (t)
L = f (x)dx
t
Z ∞ Zs ∞
f (t)
i.e., e−st dt = F (x)dx
0 t s
Taking s → 0, we get:
Z ∞ Z ∞
f (t)
1· dt = F (x)dx
0 t 0
Z ∞ Z ∞
f (t)
i.e., dt = F (x)dx
0 t 0
Putting f (t) = sin t in the above equation, we get:
Z ∞ Z ∞
sin t 1 ∞
= tan−1 (x) 0 = π/2
dt = 2
0 t 0 1+x
s !
t 1 1 1
Example 78. Given L 2 = 3/2 , show that L √ = 1/2 .
π s πt s
r r
t 0
Solution. Let f (t) = 2 . Then f (0) = 2 = 0. Also
π π
2 1
F 0 (t) = √ = √
2 πt πt
∴ L {F 0 (t)} = sL {f (t)} − f (0) = sF (s) − 0
1 1
=s =√
s3/2 s
1 1
∴ L √ = .
πt s1/2
R ∞ e−t − e−3t
Example 79. Evaluate 0 dt
t
Solution. Let f (t) = e−t − e−3t . Then
cos at − cos bt
Example 80. Evaluate L .
t
Solution.
∞
cos at − cos bt
Z
L = L {cos at − cos bt}ds
t s
Z ∞
s s
= − ds
s s2 + a2 s2 + b2
1 ∞
Z
2s 2s
= − ds
2 s s2 + a2 s2 + b2
1 ∞
= ln(s2 + a2 ) − ln s2 + b2 s
2 ∞
1 s2 + a2
= ln
2 s2 + b2 s
∞
1 + a2 /s2
1
= ln
2 1 + b2 /s2 s
1 + a2 /s2
1
= ln(1) − ln
2 1 + b2 /s2
2
s + a2
= − ln
s2 + b2
Solution.
d
L {teat sin at} = − L {eat sin at}
ds
d a
=−
ds (s − a)2 + a2
−2(s − a)
= (−a)
[(s − a)2 + a2 ]2
2a(s − a)
=
[(s − a)2 + a2 ]2
Solution.
1 − cos 6t
L {sin 3t} = L
2
2
1 1 s
= −
2 s s2 + 36
d
∴ L {t sin2 3t} = −
{L {sin2 3t}}
ds
d 1 1 s
=− − 2
ds 2 s s + 36
1 (s2 + 36) − s(2s)
1
= 2+
2s 2 (s2 + 36)2
s2 − 36
1 1
= −
2 s2 (s2 + 36)2
0, 0 < t < 1
Example 83. Find the Laplace transform of f (t) = t, 1 < t < 2
0, t > 2
Solution.
Z ∞
L {f (t)} = e−st f (t) dt
0
Z 1 Z 2 Z ∞
−st −st −st
= e f (t) dt + e f (t) dt + e f (t) dt
0 1 2
Z 1 Z 2 Z ∞
= e−st 0 dt + e−st t dt + e−st 0 dt
0 1 2
Z 2
= e−st t dt
1
−st −st 2
e e
= t − (1)
−s s2
−2s −2s 1 −s −s
e e e e
= 2 − (1) 2
− − (1)
−s s −s s2
1 1
= (e−s − 2e−2s ) − 2 (e−2s − e−s )
s s
sin t, 0 < t < π
Example 84. Find the Laplace transform of f (t) = and f (t)
0, π < t < 2π
is periodic with period 2π.
Solution.
Z 2π
1
L {f (t)} = e−st f (t)dt
1 − e2πs 0
Z π Z 2π
1 −st −st
= e f (t)dt + e f (t)dt
1 − e2πs 0 π
Z π Z 2π
1 −st −st
= e sin tdt + e 0 dt
1 − e2πs 0 π
Z π
1
= e−st sin t dt
1 − e2πs 0
−st π
1 e
= (−s sin t − cos t)
1 − e2πs 1 + s2 0
−sπ π
1 e 1
= (− cos π) +
1 − e2πs 1 + s2 1 + s2 0
−sπ π
1 e 1
= 2πs 2
+
1−e 1+s 1 + s2 0
(1 + e−sπ )
=
(1 − e2πs )(1 + s2 )
R t 1 − e−2x
Example 85. Find the laplace transform of 0 dx
x
Solution. We will find the Laplace transform of the given function using the fol-
lowing results:
nR o L {F (t)}
t
(i) L 0 F (x)dx =
s
R∞ f (t)
(ii) s F (s)ds = L
t
We have
2s
=
(s2 + 1)2
Z ∞
2s
i.e., e−st t sin t dt = 2
0 (s + 1)2
Putting p = 3 in the above result, we get
Z ∞
2·3 3
e−3t t sin t dt = =
0 (32 + 1) 2 50
R ∞ e−x ln(s + 1)
Example 87. If E(t) = t dx, show that L {E(t)} = .
x s
Solution. We have
∞
e−x
Z
E(t) = dx
t x
Z t −x
e
=− dx
∞ x
et
∴ E 0 (t) = −
t
i.e., tE(t) = −e−t
Taking s → 0, we get:
i.e., 0=C
sL {E(t)} = ln(s + 1)
ln(s + 1)
i.e., L {E(t)} =
s
Solution. We have
0, t < a
u((t − a) =
1, t > a
0, t<a
∴ (k2 − k1 )u((t − a) =
k2 − k1 , t > a
k , t<a
1
∴ k1 + (k2 − k1 )u((t − a) =
k2 , t > a
= f (t)
Solution.
f (t) = k1 [u((t − a) − u((t − b)] + k2 [u((t − b) − u((t − c)] + k3 [u((t − c) − u((t − d)]
∴ L {f (t)} = k1 L [u((t − a) − u((t − b)] + k2 L [u((t − b) − u((t − c)] + k3 L [u((t − c) − u((t − d)]
−as
e−bs
−bs
e−cs
−cs
e−ds
e e e
= k1 − + k2 − + k3 −
s s s c s s
1 h −as i
= k + (k2 − k1 )e−bs + (k3 − k2 )e−cs − k3 e−ds
s e
Example 91. Express the following function in terms of unit step functions and
hence find its Laplace transform.
k1 , t < a
f (t) = k2 , a < t < b
k3 , t > b
Solution.
1h −as −bs
i
= k1 + (k2 − k1 )e + (k3 − k2 )e
s
Example 92. Express the following function in terms of unit step functions and
hence find its Laplace transform.
k1 , a < t < b
f (t) = k2 , b < t < c
k3 , t > c
Solution.
Solution.
Solution. Using the unit step functions u((t − 0), u((t − 2) and u((t − 3), we can
write f (t) in the following form :
∴ L {f (t)} = L [(u((t − 0) − u((t − 2))t2 ] + L [(u((t − 2) − u((t − 3))(1 − t)] + 7L [u((t − 3)]
Let
A = 1, −4A + B = −1, 4A − 2B + C = 1
Hence
t2 − t + 1 = (t − 2)2 + 3(t − 2) + 3
sin2 t
1 − cos 2t
L =L
t2 2t2
1 1 − cos 2t
= L
2 t2
1 − cos t
1 t
= L
2 t
1 ∞
1 − cos 2t
Z
= L ds
2 s t
1 ∞
Z Z ∞
= L {1 − cos 2t}ds ds
2 s s
1 ∞
Z Z ∞
1 s
= − 2 ds ds
2 s s s s +4
∞
1 ∞
Z
1 2
= ln(s) − ln(s + 4) ds
2 s 2 s
∞
1 ∞
Z
s
= ln √ ds
2 s s2 + 4 s
1 ∞
Z
s s
= 0 − ln √ ds ∵ lim √ =0
2 s s2 + 4 s→∞ s2 + 4
Z ∞
1 s
=− ln √ ds
2 s 2
s +4
1 ∞
Z
s
=− ln √ · 1 ds
2 s s2 + 4
∞ Z ∞
1 s 1 s
=− s ln √ − s − ds
2 s2 + 4 s s s s2 + 4
( Using integration by parts)
Z ∞
1 s 4
= − 0 − s ln √ − ds
2 s2 + 4 s s2 + 4
s s ∞
+ tan−1 (s/2) s
= ln √
2 s2 + 4
s s π
= ln √ + − tan−1 (s/2)
2 2
s +4 2
√ !
s s2 + 4 π
= − ln 2
+ − tan−1 (s/2)
2 s 2
s π
1 + 4/s2 + − tan−1 (s/2)
p
= − ln
2 2
s π
= − ln 1 + 4/s + − tan−1 (s/2)
2
4 2
s 4 16 π
=− 2
− 4 + · · · + − tan−1 (s/2)
4 s 2s 2
Z ∞ 2
sin t 1 2 π
i.e., e−st 2
dt = − 3 + · · · +] + − tan−1 (s/2)
0 t s s 2
1
= − lim ln(1 + 4/s2 ) = 0
s→∞ 2
Again
√ !
s2 + 4
s p
lim s ln √ = −s lim ln = −s lim ln 1 + 4/s2
s→∞ s2 + 4 s→∞ s s→∞
s 1 16
= − lim ln(1 + 4/s2 ) = − lim (s/2) 2 − 4 + · · ·
s→∞ 2 s→∞ s s
1 8
= lim − 3 + ··· = 0
s→∞ s s
Example 96. Let ϕ(s) be the laplace transform of f (t) and ϕr (p) be the laplace
transform of f (r) (t) , show that
ϕr (s) = pr ϕ(s)
Solution. We have
Example 97. Find the Laplace transform the function whose graph is given below:
∴ L {f (t)} = kL {u(t − a)} + kL {u(t − 2a)} + kL {u(t − 3a)} − 3kL {u(t − 4a)}
e−as e−2as e−3as e−4as
=k +k +k − 3k
s s s s
−as
e k
= [1 + e−as + e−2as − 3e−4as ]
s
Example 98. Find the Laplace transform the function whose graph is given below:
− (1 + k + k 2 + k 3 )u(t − 5a)
Using unit step function we can write f (t) in the following form:
Solution.
Z ∞
L {f (t)} = e−st f (t) dt
0
Z π/2 Z 3π/2 Z ∞
= e−st f (t) dt + e−st f (t) dt + e−st f (t) dt
0 π/2 3π/2
Z π/2 Z 3π/2 Z ∞
= e−st (0) dt + e−st sin t dt + e−st (0) dt
0 π/2 3π/2
Z 3π/2
= e−st sin t dt
π/2
3π/2
e−st
= {(−s) sin t − cos t}
1 + s2 π/2
1 h −3πs/2 −π/s
i
= −se {sin(3π/2) − cos(3π/2)} + e {s sin(π/2) + cos(π/2)}
1 + s2
1 h −3πs/2 −πs/2
i
= se + se
s2 + 1
se−πs/2 −πs
= (e + 1)
s2 + 1
Example 101. Find the Laplace transform the function whose graph is given below:
Solution.
Z ∞
L {f (t)} = e−st f (t) dt
0
Z 1 Z ∞
−st
= e
f (t) dt + e−st f (t) dt
0 1
Z 1 Z ∞
−st
= e kt dt + e−st k dt
0 1
1 −st t→∞
e−st e−st
e
=k t − (1) 2
+k
(−s) (−s) 0 (−s) 1
−s −s
e e 1 1
=k − − 2 + 2 +k 0+
s s s s
k
= 2 (1 − e−s )
s
Example 102. Find the Laplace transform the function whose graph is given below:
Solution.
Z ∞
L {f (t)} = e−st f (t) dt
0
Z π/2 Z π Z ∞
−st −st
= e f (t) dt + e f (t) dt + e−st f (t) dt
0 π/2 π
Z π/2 Z π Z ∞
= e−st (1) dt + e−st sin t dt + e−st (0) dt
0 π/2 π
Z π/2 Z π
= e−st (1) dt + e−st sin t dt
0 π/2
π/2 π
e−st e−st
= + 2 (−s sin t − cos t)
(−s) 0 s +1 π/2
e−πs/2 1 e−sπ se−πs/2
=− + + + 2
s s s1 + 1 s +1
1 − e−πs/2 e −sπ + se −πs/2
= +
s s2 + 1
Example 103. Find the Laplace transform the function whose graph is given below:
k
Solution. The equation of the given line in the interval [0, a] is y = t. Similarly
a
k
equation of the line in the interval [a, 2a] is (2a − t). Hence the function f (t) can
a
be written as :
k/at
0≤t≤a
f (t) = k/a(2a − t) a ≤ t ≤ 2a
0, t > 2a
Z ∞
L {f (t)} = e−st f (t) dt
0
Z a Z 2a Z ∞
−st −st
= e f (t) dt + e f (t) dt + e−st f (t) dt
0 a 2a
Z a Z 2a Z ∞
−st −st
= e (kt/a) dt + e k/a(2a − t) dt + e−st (0) dt
0 a 2a
Z a Z 2a
= e−st (kt/a) dt + e−st k/a(2a − t) dt
0 a
a 2a
k e−st e−st e−st e−st
k
= t − + (2a − t) − (−1)
a (−s) (−s)2 0 a (−s) (−s)2 a
k −ae−as e−as e−2as ae−sa e−as
1
= − 2 + 2+ 2 + − 2
a s s s s s s
k
= 2 1 + e−2as − 2e−as
as
Example 104. Find the Laplace transform the function whose graph is given below:
Solution. The equation of the line in the interval [0, a] is y = kt. Similarly equation
of the line in the interval [a, 2a] is k(t − 2a). Hence the function is
kt,
0≤t<a
f (t) = k(t − 2a), a < t ≤ 2a
0, t > 2a
Z ∞
L {f (t)} = e−st f (t) dt
0
Z a Z 2a Z ∞
= e−st f (t) dt + e−st f (t) dt +
e−st f (t) dt
0 a 2a
Z a Z 2a Z ∞
−st −st
= e (kt) dt + e k(t − 2a) dt + e−st (0) dt
0 a 2a
Z a Z 2a
= e−st (kt) dt + e−st k(t − 2a) dt
0 a
Z a Z 2a
−st
=k e t dt + k e−st (t − 2a) dt
"0 a
a 2a #
e−st e−st e−st e−st
=k t − 2
+ (t − 2a) − (1)
(−s) (−s) 0 (−s) (−s02 a
−as
e−as e−2as ae−as e−as
e 1
=k − + 2 + 2− 2 − + 2
s s s s s s
−as −as −2as
e 2e e 1
=d − + − 2 + 2
s s2 s s
k
= 2 1 + 2e−as − e−2as − 2ae−as
s
If F (s) is the Laplace transform of a function f (t), that is L {f (t)} = F (s), then
f (t) is called the inverse transform of F (s) and is denoted:
f (t) = L −1 {F (s)}
Theorem 33 (Linearity Property). If F (s) and G(s) are Laplace transforms of f (t)
and g(t), then
= c1 F (s) + c2 G(s)
L {eat f (t)} = F (s − a)
Proof. We have
Z ∞
F (s) = e−st f (t) dt
0
Z ∞
∴ F (as) = e−ast f (t) dt
0
1 ∞ −xt
Z
F (as) = e f (x/a) dx
a 0
1 ∞ −st
Z Z b Z b
= e f (t/a) dt ∵ f (x)dx = f (t)dt
a 0 a a
1
= L {f (t/a)} = L {(1/a)f (t/a)}
a
∴ L −1 {F (as)} = (1/a)f (t/a)
Theorem 37. If n is a positive integer and F (n) denotes the nth derivative of F (s),
then
L −1 {F (n) (s)} = (−1)n L −1 {tn f (t)}
We have
dn
L {tn f (t)} = (−1)n [L {f (t)}] , for n = 1, 2, 3, · · ·
dsn
dn
= (−1)n n F (s)
ds
= (−1)n L −1 {F n (s)} ∵ L −1
is linear
1 (−1)n n
∴ L −1 {F (n) (s)} = n
tn f (t) = t f (t) = (−1)n tn f (t)
(−1) (−1)2n
Summary
−1 1 −1 5
(a)L (b)L
s2 + 9 3s − 1
Solution. (a) We have
−1 a −1 1
L = aL = sin at
s2 + a2 s 2 + a2
1 sin at
∴ L −1 2 2
=
s +a a
1 1 sin 3t
Hence L −1
2
=L −1
2 2
=
s + 9 s +3 3
5 5 1
(b)L −1 =L −1 = 3L
5 −1 = 53 e1/3t
3s − 1 3 (s − 1/3) (s − 1/3)
Example 106. Find the following inverse Laplace transforms:
−1 6 −1 3
(a)L (b)L
s3 s4
2
Solution. (a) We have L −1 = t2 . Hence
s3
6 2
L −1 = 3L −1
= 3t2
s3 s3
3! 6
(b) We have L −1
4
=L −1
4
= t3 .
s s
t3
3 6
Thus L −1 = 1
2 L −1 = .
s4 s4 2
3 2(s + 1)
Example 107. Determine (a) L −1 (b)L −1 .
s2 − 4s + 13 s2 + 2s + 10
Solution.
−1 3 −1 3
L =L = e2t sin 3t
s2 − 4s + 13 (s − 2)2 + 32
−1 2(s + 1) −1 2(s + 1)
L =L
s2 + 2s + 10 (s + 1)2 + 32
−1 (s + 1)
= 2L = 2e−t cos 3t
(s + 1)2 + 32
5 4s − 3
Example 108. Determine (a) L −1 (b)L −1
s2 + 2s − 3 s2 − 4s − 5
Solution.
−1 5 5
−1
(a) L 2
=L
s + 2s − 3 (s + 1)2 − 22
5 −1 2 5
= L 2 2
= e−t sinh 2t
2 (s + 1) − 2 2
4s − 3 4s − 3
(b) L −1 = L −1
s2 − 4s − 5 (s − 2)2 − 32
−1 4(s − 2) + 5
=L
(s − 2)2 − 32
−1 s−2 −1 1
= 4L + 5L
(s − 2)2 − 32 (s − 2)2 − 32
5 −1 3
= 4e cosh 3t + L
2t
3 (s − 2)2 − 32
5
= 4e2t cosh 3t + e2t sinh 3t
3
Some times the function whose inverse is required is not in the standard type. In
such cases we may split the fraction into several fractions, by using partial fractions.
These simpler fractions can be easily inverted.
Partial fractions are discussed in the appendix of this book .
4s − 5
Example 109. Determine L −1 .
s2 − s − 2
4s − 5
Solution. We first resolve into partial fractions. By cover up rule, we
s2 −s−2
have
4s − 5 4s − 5 1 3
= = +
s2−s−2 (s − 2)(s + 1) (s − 2) (s + 1)
Hence
−1 4s − 5 −1 1 3
L 2
=L +
s −s−2 (s − 2) (s + 1)
1 3
= L −1 + L −1
(s − 2) (s + 1)
= e2t + 3e−t
9s2 + 4s − 10
Example 110. Determine L −1 .
s(s − 1)(s + 2)
3s3 + s2 + 12s + 2
Example 111. Determine L −1 .
(s − 3)(s + 1)2
Solution. We first resolve the given fraction into partial fractions:
3
3s + s2 + 12s + 2
A B C D
2
= + + 2
+
(s − 3)(s + 1) s − 3 s + 1 (s + 1) (s + 1)3
2 B C 3
= + + 2
+ ( by cover up rule)
s − 3 s + 1 (s + 1) (s + 1)3
3s3 + s2 + 12s + 2 = 2(s + 1)3 + B(s − 3)(s + 1)2 + c(s − 3)(s + 1) + 3(s − 3)
5s2 + 8s − 1
2 3s − 1
+=
(s + 3)(s2 + 1) s + 3 s2 + 1
2 3s 1
= + 2 − 2
s+3 s +1 s +1
2 + 8s − 1
−1 5s −1 2 −1 3s −1 1
∴ L =L +L −L
(s + 3)(s2 + 1) s+3 s2 + 1 s2 + 1
= 2e−3t + 3 cos t − sin t
7s + 13
Example 113. Determine L −1 .
s(s2 + 4s + 13)
Solution.
7s + 13 1 Bs + C
= + 2 (by cover up rule)
s(s2 + 4s + 13) s s + 4s + 13
Hence
7s + 13 = (s2 + 4s + 13) + Bs + Cs
7s + 13 1 −s + 3
= + 2
s(s2
+ 4s + 13) s s + 4s + 13
1 −(s − 2) + 5
= +
s (s + 2)2 + 32 )
1 (s − 2) 5
= − +
s (s + 2) + 3 ) (s + 2)2 + 32 )
2 2
−1 7s + 13 −1 1 −1 (s − 2)
∴ L =L −L
s(s2 + 4s + 13) s (s + 2)2 + 32 )
−1 5
+L
(s + 2)2 + 32 )
5
= 1 − e−2t cos 3t + e−2t sin 3t
3
R ∞ cos xt π −x
Example 114. Prove that 0 1 + t2 dt = 2 e
R ∞ cos xt R ∞ sin xt
Solution. Let C = 0 1 + t2 dt and S = 0 1 + t2 dt. Then
Z ∞
cos xt + i sin xt
C + iS = dt
0 1 + t2
Z ∞ ixt
e
= dt
0 1 + t2
Z ∞ Z ∞ ixt
−sx e
∴ L {C + iS} = e dt dx
0 0 1 + t2
Z ∞ Z ∞ −sx+ixt
e
= 2
dtdx
x=0 t=0 1 + t
Z ∞ Z ∞ −sx+ixt
e
= 2
dx dt
t=0 x=0 1 + t
Z ∞ −s+it ∞
1 e
= 2
dt
t=0 1 + t −s + it x=0
Z ∞
1 1
= 2 s − it
dt
t=0 1 + t
Z ∞
s + it
= 2 )(s2 + t2 )
dt
t=0 (1 + t
Definition. Let the functions f (t) and g(t) be defined for t ≥ 0. Then the convo-
lution of the functions f and g is denoted by (f ∗ g)(t) and defined as
Z t
(f ∗ g)(t) = f (τ )g(t − τ ) dτ
0
Proof. By definition,
Z t
(f ∗ g)(t) = f (τ )g(t − τ ) dτ
0
Z t Z a Z a
= f (t − τ )g[t − (t − τ )]dτ (∵ f (t)dt = f (a − t)dt)
0 0 0
Z t
= f (t − τ )g(τ )dτ = (g ∗ f )(t)
0
theref ore (f ∗ g) = (g ∗ f )
Solution. We have
Z t
2
(t ∗ cos t) = τ 2 cos(t − τ )dτ
0
Z t
= τ 2 [cos t cos τ + sin t sin τ ]dτ
0
Z t Z t
2
= cos t τ cos τ dτ + sin t τ 2 sin τ dτ
0 0
t
= cos t (τ 2 )(sin τ ) − (2τ )(− cos τ ) + (2)(− sin τ ) 0 +
t
sin t (τ 2 )(− cos τ ) − (2τ )(− sin τ ) + (2)(cos τ ) 0
= 2(t − sin t)
or, equivalently, Z t
L f (τ )g(t − τ )dτ = F (s)G(s)
0
Conversely, Z t
L −1 {F (s)G(s)} = f (τ )g(t − τ )dτ
0
Solution. We have L {t2 } = 2/s2 and L {cos t} = s/(s2 + 1). Therefore by convo-
lution theorem
2s
L {t2 ∗ cos t} = L {t2 }L {cos t} =
(s2 + 1)
s
Example 117. Using convolution theorem evaluate L −1
(s + a2 )2
2
Solution. Writing
s 1 s
= 2
(s2 + a2 )2 (s + a2 ) (s2 + a2 )
1 s
Take F (s) = and G(s) = 2 . But then L −1 {F (s)} = (1/a) sin at =
(s2 + a2 ) (s + a2 )
f (t) and L −1 {G(s)} = cos at = g(t). Then by convolution theorem,
−1 s
L = (f ∗ g)(t)
(s2 + a2 )2
= (1/a) sin at ∗ cos at
Z t
= f (τ )g(t − τ )dτ
0
Z t
= (1/a) sin aτ cos a(t − τ )dτ
0
Z t
1
= (1/a) [sin(aτ + at − aτ ) + sin(aτ − at + aτ )] dτ
0 2
Z t
1
= (1/a) [sin(at) + sin(2aτ − at)] dτ
0 2
cos(2aτ − at) t
1
= τ sin(at) −
2a 2a 0
1 cos(2at − at) cos at
= t sin(at) − +
2a 2a 2a
1
= t sin(at)
2a
1
Example 118. Using convolution theorem find the inverse of .
s2 (s2 − a2 )
Solution. Writing
1 1 1
= 2 2
s2 (s2 2
−a ) s s − a2
1 1
Take F (s) = 2
and G(s) = 2 2
. Then L −1 {F (s)} = L −1 (1/s2 ) = t = f (t)
s s − a
1 sinh at
and L {G(s)} = L
−1 −1 = = g(t). Then by convolution theorem
s2 − a2 a
Z t
−1 1
L = f (τ )g(t − τ )dτ
s2 (s2 − a2 ) 0
Z t
1
= τ sinh a(t − τ )dτ
0 a
Z t
1
= τ sinh(at − aτ )dτ
a 0
sinh(at − aτ ) t
1 cosh(at − aτ )
= (τ ) − −
a a a2 0
1 t 1
= − + 2 sinh at
a a a
1
= 2 (−at + sinh at)
a
Example 119. Apply convolution theorem to prove that
Z 1
Γ(m)Γ(n)
B(m, n) = xm−1 (1 − x)n−1 dx =
0 Γ(n + m)
Γ(n)
Solution. Let f (t) = tm−1 and g(t) = tm−1 . Then L {f (t)} = = F (s) and
sn
Γ(m)
L {g(t)} = = G(s).Therefore by convolution theorem,
sm
Z t
F (s)G(s) = L f (τ )g(t − τ )dτ
0
Z t
Γ(n) Γ(m)
i.e., n =L τ n−1
(t − τ )m−1
dτ
s sm 0
Z t
Γ(n)Γ(m)
= L τ n−1
(t − τ )m−1
dτ
sm+n 0
Z t
1
∴ Γ(n)Γ(m)L −1 = τ n−1 (t − τ )m−1 dτ
sm+n 0
Z t
tm+n−1
i.e., Γ(n)Γ(m) = τ n−1 (t − τ )m−1 dτ
Γ(m + n) 0
Setting t = 1, we get,
Z 1 Z 1
Γ(m)Γ(n) n−1 m−1
= τ (1 − τ ) dτ = xn−1 (1 − x)m−1 dx
Γ(n + m) 0 0
s2
Example 120. Use Convolution theorem to find L −1
(s + 4)2
2
Solution. Writing
s2 s s
2 2
= 2 2
(s + 4) (s + 4) (s + 4)
s
Take F (s) = . Then L −1 {F (s} = cos 2t. Therefore by convolution theorem
(s2
+ 4)
Z t
L −1 {F (s)F (s)} = f (τ )f (t − τ )dτ
0
Z t
= cos 2τ cos 2(t − τ )dτ
0
1 t
Z
= [cos 2t + cos 2(t − 2τ )] dτ
2 0
t
1 1
= τ cos 2t − cos 2(t − 2τ )
2 4 τ =0
1 1
= t cos 2t −
(sin(−2t) − sin(2t))
2 4
1 1
= t cos 2t +
sin 2t
2 2
s2
Example 121. Apply convolution theorem to evaluate L −1
(s2 + a2 )(s2 + b2 )
Solution. Writing
s2 s2 s2
=
(s2 + a2 )(s2 + b2 ) (s2 + a2 ) (s2 + b2 )
s2 s2
Take F (s) = and G(s) = . Then
(s2 + a2 )(s2 + b2 ) (s2 + b2 )
s2
−1 −1
L {F (s)} = L = cos at = f (t)
(s2 + a2 )
s2
−1 −1
L {G(s)} = L = cos bt = g(t)
(s2 + b2 )
L {y 0 } = sL {y} − y(0)
3. Apply the given initial conditions, that is, y(0) and y 0 (0).
2y 00 + 5y 0 − 3y = 0
2L {y 00 } + 5L {y 0 } − 3L {y} = L {0}
Rearranging gives:
12 −2
= + (by cover up rule)
2s − 1 (s + 3)
−1 1 −1 1
∴ y = 6L −} − 2L
(s − 1/2) (s + 3)
= 6ex/2 − 2e−3x
2
[s2 L {y} − 2s + 1] + 3[sL {y} − 2] + 2L {y} =
s2 +4
Rearranging gives:
2s3 + 5s2 + 8s + 22
(s2 + 3s + 2)L {y} =
s2 + 4
2s + 5s2 + 8s + 22
3
∴ L {y} = 2
(s + 4)(s2 + 3s + 2)
2s3 + 5s2 + 8s + 22
= 2
(s + 4)(s + 1)(s + 2)
2s3 + 5s2 + 8s + 22
−1
∴ y=L
(s2 + 4)(s + 1)(s + 2)
2s3 + 5s2 + 8s + 22
−1
y=L
(s2 + 4)(s + 1)(s + 2)
−1−5/4 17/5 (−3/20)s + (−1/10)
=L + +
s+2 s+1 s2 + 4
5 1 17 1
= − L −1 + L −1
4 s+2 5 s+1
3 −1 s 1 −1 2
− L − L
20 s2 + 4 20 s2 + 4
5 17 1 3
= − e−2x + e−x − sin 2x − cos 2x
4 5 20 20
Example 124. Solve the initial value problem
Solution. Taking Laplace transforms on both sides of the given equation, we get
−s2 + 65s − 120 = 6(s − 5)(s − 2)2 + 4(s)(s − 2)2 + C(s)(s − 5)(s − 2) − 1(s)(s − 5)
1 −1 6 4 10 −1
y= L + − +
3 s s − 5 s − 2 (s − 2)2
1
= [6 + 4e5x − 10e2x − xe2x ]
3
4 10 x
= 2 + e5x − e2x − e2x
3 3 3
Example 125. Use Laplace transforms to solve the differential equation
y 00 − 3y 0 = 9
Solution. Taking Laplace transforms on both sides of the given equation, we get:
L {y 00 } − 3L {y 0 } = L {9}
9
i.e., [s2 L {y} − sy(0) − y 0 (0)] − 3[sL {y} − y(0)] =
s
Applying the initial conditions y(0) = 0 and y 0 (0) = 0, we get
9
s2 L {y} − 3sL {y} =
s
Rearranging gives:
9
(s2 − 3s)L {y} =
s
9 9
∴ L {y} = = 2
s(s2
− 3s) s (s − 3)
1
∴ y = 9L −1
s2 (s − 3)
1 −1 B 1
= + 2+
s2 (s − 3) s s s−3
Multiplying both sides by s2 (s − 3), we get:
9 = −(s)(s − 3) + B(s − 3) + s2
y 00 + 6y 0 + 13y = 0
Rearranging gives:
Example 127. The current flowing in an electrical circuit is given by the differential
equation
di
Ri + L = E,
dt
where E, L and R are constants. Use Laplace transforms to solve the equation for
current i given that when t = 0, i = 0.
In many important physical problems there are two or more independent variables,
so the corresponding mathematical models involve partial, rather than ordinary,
differential equations. This chapter treats one important method for solving par-
tial differential equations, a method known as separation of variables. Its essential
feature is the replacement of the partial differential equation by a set of ordinary
differential equations, which must be solved subject to given initial or boundary
conditions. The first section of this chapter deals with some basic properties of
boundary value problems for ordinary differential equations. The desired solution
of the partial differential equation is then expressed as a sum, usually an infinite se-
ries, formed from solutions of the ordinary differential equations. In many cases we
ultimately need to deal with a series of sines and/or cosines, so part of the chapter
is devoted to a discussion of such series, which are known as Fourier series.
with the initial conditions y(t0 ) = y0 , y 0 (t0 ) = y00 .. Note that the conditions are
specified at the same point. A differential equation with suitable initial conditions
157
CHAPTER 4. PARTIAL DIFFERENTIAL EQUATIONS AND FOURIER
SERIES
form an initial value problem.
f (y, t, y 0 (t), y 00 (t)) = 0
Initial Value Problem(IV P )
y(t0 ) = y0 , y 0 (t0 ) = y 0 .
0
If the value of the dependent variable y or its derivative is specified at two different
points, such conditions are called boundary conditions. A differential equation with
suitable boundary conditions form a boundary value problem. A typical example is
the differential equation
f (y, t, y 0 (t), y 00 (t))
y(α) = y0 , y(β) = y1 .
f (y, t, y 0 (t), y 00 (t)) = 0
Boundary Value Problem(BV P )
y(α) = y0 , y(β) = y1 .
y 00 + 2y = 0, y(0) = 1, y(π) = 0.
The first boundary condition requires that c1 = 0, and the second boundary condi-
√ √
tion leads to c2 sin 2π = 0. Since sin 2π 6= 0, it follows that c2 = 0. Consequently,
y = 0 for all x is the only solution of the problem . This example illustrates that a
homogeneous boundary value problem may have only the trivial solution y = 0.
y 00 + y = 0, y(0) = 0, y(π) = 0.
y = c1 cos x + c2 sin x,
and the first boundary condition requires that c1 = 0. Since sin π = 0, the second
boundary condition is also satisfied when c1 = 0, regardless of the value of c2 . Thus
the solution of the problem is y = c2 sin x, where c2 remains arbitrary. This example
illustrates that a homogeneous boundary value problem may have infinitely many
solutions.
y 00 + 2y = 0, y(0) = 1, y(π) = 0.
The first boundary condition requires that c1 = 1. The second boundary condition
√ √ √
implies that c1 cos 2π + c2 sin 2π = 0, so c2 = − cot 2π Thus the solution of the
boundary value problem is
√ √ √
y = cos 2x − cot 2π sin 2x
This example illustrates the case of a nonhomogeneous boundary value problem with
a unique solution.
y 00 + λy = 0, (4.1)
The values of λ for which nontrivial solutions of (4.1), (4.2) occur are called eigen-
values, and the nontrivial solutions themselves are called eigenfunctions.
Example 131. Find the eigenvalues and the corresponding eigenfunctions of the
boundary value problem:
y 00 + λy = 0, y(0) = 0, y(π) = 0.
y 00 + µ2 y = 0. (4.3)
Note that µ is nonzero (since λ > 0) and there is no loss of generality if we also
assume that µ is positive. The first boundary condition requires that c1 = 0, and
then the second boundary condition reduces to
c2 sin µπ = 0.
λ = n2 , n = 1, 2, . . . (∵ λ 6= 0)
λ1 = 1, λ2 = 4, λ3 = 9, . . . .
We will usually choose the multiplicative constant to be 1 and write the eigenfunc-
tions as
y1 (x) = sin x, y2 (x) = sin 2x, . . . , yn (x) = sin nx, . . . ,
r 2 − µ2 = 0
y = c1 eµx + c2 e−µx .
c1 + c2 = 0 ⇒ c2 = −c1
y 00 = 0
Example 132. Find the eigenvalues and the corresponding eigenfunction of the
boundary value problem:
y 00 + λy = 0, y(0) = 0, y(L) = 0.
Solution. The solution process is exactly the same as example 131. The eigenvalues
and eigenvectors are given by
nπx nπx
λn = , yn (x) = sin , n = 1, 2, 3, . . .
L L
On the set of points where the series (4.7) converges, it defines a function f , whose
value at each point is the sum of the series for that value of x. In this case the series
(4.7) is said to be the Fourier series for f .
f (x + T ) = f (x) (4.8)
Remarks.
1. If f and g are any two periodic functions with common period T , then their
product f g and any linear combination c1 f + c2 g are also periodic with period
T.
2. The sum of any finite number, or even the sum of a convergent infinite series,
of functions of period T is also periodic with period T .
Definition. The standard inner product < u, v > of two real-valued functions u
and v on the interval [α, β] is defined by
Z β
< u, v >= u(x)v(x)dx
α
The functions u and v are said to be orthogonal on [α, β] if their inner product is
zero, that is, if
Z β
u(x)v(x)dx = 0
α
A set of functions is said to be mutually orthogonal if each distinct pair of functions
in the set is orthogonal.
Now let us suppose that a series of the form (4.7) converges, and let us call its sum
f (x) :
∞
a0 X nπx nπx
f (x) = + an cos + an sin (4.12)
2 L L
n=1
The coefficients an and bn can be related to f (x) as a consequence of the orthogo-
nality conditions.
nπx
To determine an , taking the inner product with respect to cos L t:
D nπx E
f, cos = an L
L
That is,
Z L
f (x)dx =a0 L
−L
Therefore Z L
1
a0 = f (x)dx (4.14)
L −L
nπx
To determine bn , the take inner product f (x), sin L :
1D nπx E
bn = f (x), sin
L L
1 L
Z nπx
= f (x) sin dx, n = 1, 2, 3, . . .
L −L L
Hence Z L
1 nπx
bn = f (x) sin dx, n = 1, 2, 3, . . . (4.15)
L −L L
f (−x) = f (x)
for each x in the domain of f . Similarly, f is an odd function if its domain contains
−x whenever it contains x, and if
f (−x) = −f (x)
Remarks.
3. The sum (difference) and product (quotient) of two even functions are even.
4. The sum (difference) of two odd functions is odd; the product (quotient) of
two odd functions is even.
5. The sum (difference) of an odd function and an even function is neither even
nor odd; the product (quotient) of two such functions is odd.
Example 133. Assume that there is a Fourier series converging to the function f
defined by
−x
−2 ≤ x < 0,
f (x) = (4.16)
x 0≤x<2
f (x + 4) = f (x).
Z 2
1
a0 = f (x)dx
2 −2
Z 2
1
= |x|dx
2 −2
Z 2
= xdx = 2.
0
Z 2
1 nπx
an = f (x) cos dx
2 −2 2
Z 2
1 nπx
= |x| cos dx
2 −2 2
Z2 nπx
= x cos dx =
0 2
" ! !#2
sin nπx 2 − cos nπx
2
= x nπ −
2 ( nπ
2 )
2
0
4
= − 2 2 [(−1)n − 1]
n π
− 28 2 if n odd
n π
=
0 if n even
Z 2
1 nπx
an = f (x) sin dx
2 −2 2
= 0(∵ the integrand is odd)
By substituting the Fourier coefficients in the series (4.17), we obtain the Fourier
series for f :
8 πx 1 3πx 1 5πx
f (x) = 1 − 2 cos + 2 cos + 2 cos + ···
π 2 3 2 5 2
Before stating a convergence theorem for Fourier series, we define a term that appears
in the theorem.
so that
The notation f (c+) is used to denote the limit of f (x) as x → c from the right;
similarly, f (c−) denotes the limit of f (x) as x approaches c from the left.
Theorem 40. Suppose that f and f 0 are piecewise continuous on the interval −L <
x < L. Further, suppose that f is defined outside the interval −L < x < L so that
it is periodic with period 2L. Then f has a Fourier series
∞
a0 X mπx mπx
+ an cos + an sin (4.18)
2 L L
m=1
The Fourier series converges to f (x) at all points where f is continuous, and to
[f (x+) + f (x−)]/2 at all points where f is discontinuous.
Suppose that f and f 0 are piecewise continuous on −L < x < L and that f is an
odd periodic function of period 2L. Then it follows that f (x) cos(nπx/L) is odd and
f (x) sin(nπx/L) is even. In this case the Fourier coefficients of f are
an = 0, n = 0, 1, 2, 3, . . .
2 L
Z nπx
bn = f (x) cos dx, n = 1, 2, 3, . . .
L −L L
Thus the Fourier series for any odd function consists only of the odd trigonometric
functions sin(nπx/L); such a series is called a Fourier sine series. Again observe
that only half of the coefficients need to be calculated by integration, since each an ,
for n = 0, 1, 2, . . . , is zero for any odd function.
Suppose that f and f 0 are piecewise continuous on −L < x < L and that f is an
even periodic function with period 2L. Then it follows that f (x)cos(nπx/L) is even
and f (x)sin(nπx/L) is odd. In this case the Fourier coefficients of f are
Z L
2 nπx
an = f (x) cos dx, n = 0, 1, 2, 3, . . .
L −L L
bn = 0, n = 1, 2, 3, . . .
For example
uxx + uyy = 0,
uxy + ux + uy = ex+y
i.e., consider u(x, y) as the product of a function of x and a function of y, hence the
name “separation of variables”. Substituting into the differential equation yields
X 0Y XY 0 XY x 0 y 0
x −y +2 =0⇒ X +2 = Y
XY XY XY |X {z } |Y{z }
A function of x only A function of y only
k−2
Z Z
1
dX = dx + c ⇒ ln X = (k − 2) ln x + ln C ⇒ X(x) = Cxk−2
X x
Let us now consider a heat conduction problem for a straight bar of uniform cross
section and homogeneous material. Let the x-axis be chosen to lie along the axis
of the bar, and let x = 0 and x = L denote the ends of the bar (see Figure 4.5).
Suppose further that the sides of the bar are perfectly insulated so that no heat
passes through them. We also assume that the cross-sectional dimensions are so
small that the temperature u can be considered constant on any given cross section.
Then u is a function only of the axial coordinate x and the time t. The variation of
temperature in the bar is governed by a partial differential equation:
α2 = κ/ρs,
where κ is the thermal conductivity, ρ is the density, and s is the specific heat of the
material in the bar. In addition, we assume that the initial temperature distribution
in the bar is given; thus
u(x, 0) = f (x), 0 < x < L, (4.22)
The fundamental problem of heat conduction is to find u(x, t) that satisfies the
differential equation (4.21) for 0 < x < L and for t > 0, the initial condition (4.22)
when t = 0, and the boundary conditions (4.23) at x = 0 and x = L.
Assume that u(x, t) is a product of two functions, one depending only on x and the
other depending only on t; thus
Substituting from equation (4.24) for u in the differential equation (4.21) yields
α2 X 00 T = XT 0 , (4.25)
where primes refer to ordinary differentiation with respect to the independent vari-
able, whether x or t. Equation (4.25) is equivalent to
X 00 1
= 2 T 0 T, (4.26)
X α
X 00 1
= 2 T 0 T = −λ, (4.27)
X α
Hence we obtain the following two ordinary differential equations for X(x) and T (t) :
X 00 + λX = 0, (4.28)
T 0 + α2 λT = 0. (4.29)
The assumption (4.24) has led to the replacement of the partial differential equation
(4.21) by the two ordinary differential equations (4.28) and (4.29). Each of these
equations is linear and homogeneous, with constant coefficients, and so can be readily
solved for any value of λ. The product of two solutions of equations (4.28) and (4.29),
respectively, provides a solution of the partial differential equation (4.21). However,
we are interested only in those solutions of equation (4.21) that also satisfy the
boundary conditions 4.23. As we now show, this severely restricts the possible
values of λ. Substituting for u(x, t) from (4.23) in the boundary condition at x = 0,
we obtain
u(0, t) = X(0)T (t) = 0. (4.30)
If equation (??) is satisfied by choosing T (t) to be zero for all t, then u(x, t) is zero
for all x and t, and we have already rejected this possibility. Therefore equation
(4.30) must be satisfied by requiring that
X(0) = 0. (4.31)
X(L) = 0. (4.32)
λn = n2 π 2 /L2 , n = 1, 2, 3, . . . (4.34)
r + n2 π 2 α2 /L2 = 0
2 π 2 α2 /L2
T (t) = cn en t (4.37)
2 π 2 α2 t)/L2
un (x, t) = cn e(n sin(nπx/L) (4.38)
are solutions of the equation (4.21) for n = 1, 2, . . .. Since the differential equation
(4.21) is linear,
∞
2 π 2 α2 t)/L2
X
u(x, t) = cn e(n sin(nπx/L) (4.39)
n=1
is again a solution to (4.21). Applying the initial condition u(x, 0) = f (x), we get
∞
X
f (x) = u(x, 0) = cn sin(nπx/L) (4.40)
n=1
The series in (4.40) is just the Fourier sine series for f ;its coefficients are given by
Z L
2
cn = f (x) sin(nπx/L)dx
L 0
is given by
∞
2 π 2 α2 t)/L2
X
u(x, t) = cn e(n sin(nπx/L)
n=1
where Z L
2
cn = f (x) sin(nπx/L)dx
L 0
where
Z 50
2
cn = 20 sin(nπx/50)dx
50 0
40
= (1 − cos nπ)
nπ
80/nπ
if n odd
=
0
if n even
80 X 2 π 2 α2 t/2500
nπx
u(x, t) = e−n sin
π 50
n=1,3,5,...
Figure 4.5: Plot of temperature u versus x and t for the heat conduction problem
of Example 135
Suppose that the string is set in motion (by plucking, for example) so that it vibrates
in a vertical plane, and let u(x, t) denote the vertical displacement experienced by
the string at the point x at time t. If damping effects, such as air resistance, are
neglected, and if the amplitude of the motion is not too large, then u(x, t) satisfies
the partial differential equation
a2 uxx = utt (4.42)
in the domain 0 < x < L, t > 0. Equation (4.42) is known as the one-dimensional
wave equation. The constant coefficient a2 appearing in equation (4.42) is given by
a2 = T /ρ,
where T is the tension (force) in the string, and ρ is the mass per unit length of the
string material.
To describe the motion of the string completely, it is necessary also to specify
suitable initial and boundary conditions for the displacement u(x, t). The ends are
assumed to remain fixed, and therefore the boundary conditions are
Since the differential equation (4.42) is of second order with respect to t, it is plau-
sible to prescribe two initial conditions. These are the initial position of the string
X 00 1 T 00
= 2 = −λ (4.47)
X a T
where λ is a separation constant. Thus we find that X(x) and T (t) satisfy the
ordinary differential equations
X 00 + λX = 0, (4.48)
T 00 + a2 λT = 0. (4.49)
n2 π 2
λ= , n = 1, 2, 3, . . . (4.52)
L
The corresponding eigenfunctions are given by:
nπx
X(x) = cn sin , n = 1, 2, 3, . . . (4.53)
L
Using the values of λ given by equation (4.52) in equation (4.49), we obtain
a2 n2 π 2
T 00 + T =0 (4.54)
L
The characteristic equation of equation (4.54) is given by:
a2 n2 π 2
r2 + =0 (4.55)
L2
The roots are r = ±i(anπ/2). Therefore
anπt anπt
T (t) = k1 cos + k2 sin (4.56)
L L
Applying the condition T 0 (0) = 0, we get k2 = 0. Hence equation (4.57) becomes:
anπt
T (t) = k1 cos (4.57)
L
Thus
nπx anπt
un (x, t) = an sin cos (4.58)
L L
are solutions of the partial differential equation (4.42), the boundary conditions
(4.43), and the second initial condition (4.44). Since the one dimensional wave
equation is linear,
∞ nπx
X anπt
u(x, t) = an sin cos (4.59)
L L
n=1
is again a solution of the differential equation. The initial condition u(x, 0) = f (x)
requires that
∞
X nπx
f (x) = an sin (4.60)
L
n=1
u(x, 0) = f (x)
ICs 0≤x≤L
ut (x, 0) = g(x)
is given by:
∞ nπx
X anπt anπt
u(x, t) = sin an cos + bn sin (4.61)
L L L
n=1
Therefore
∞ nπx
X anπt anπt
ut (x, t) = sin −an (anπ/L) sin + bn (anπ/L) cos
L L L
n=1
(4.62)
4.6.1 Exercise
1. Find the eigenvalues and eigenfunctions of the given boundary value problem.
Assume that all eigenvalues are real.
2. In each of Problems (a) through (f) determine whether the given function is
periodic. If so, find its fundamental period.
(a) sin 5x
(c) sinh 2x
(d) sin(πx/L)
(e) tan πx
(f) x2
0, 2n − 1 ≤ x < 2n,
(g) f (x) = n = 0, ± 1, ± 2, . . .
1, 2n ≤ x < 2n + 1;
(1) Sketch the graph of the given function for three periods.
4. Find the solution of the heat conduction problem uxx = 9ut , with the ini-
tial condition u(x, 0) = 2 sin 3πx
L and the boundary condition u(0, t) =
0, u(L, t) = 0 for t > 0
[1] . E. Boyce & R.C. Diprima, lementary Differential Equations and Boundary
Value Problems, John Wiley& Sons, 7th Edition.
[3] .F. Simmons, Differential Equations with Application and Historical Notes, 2nd
Edition.
181