Professional Documents
Culture Documents
STUDENT NAME:
This compilation has been made in accordance with the provisions of Part VB of the copyright act for the teaching purposes of the University.
This booklet is for the use of students of the University of Melbourne enrolled in the subject MAST20029 Engineering Mathematics.
© School of Mathematics and Statistics, University of Melbourne, December 2019.
These notes have been written by Christine Mangelsdorf and Marcus Brazil at the University of Melbourne. Reproduction of any part of this work other than that authorised by
Australian Copyright Law without permission of the copyright owners is unlawful.
VECTOR CALCULUS Physical examples of vector fields are force fields (eg, due to
gravity or electrical charge) and velocity fields (eg, due to air
Vector Fields [Kreyszig, p.375-378] or fluid flow).
A vector field is a function Example
Exercise 1 Exercise 2
Sketch the 2-dimensional velocity field The gravitational force of attraction of the earth (mass M )
on an object (mass m) is given by the vector field
v(x, y) = yi xj
GM m
F(r) = r
Solution r3
1 1 x 1
O
0.5
1 0
−0.5
−1
1
05 1
05
0
0
−0.5
−0.5
−1 −1
z
x
Note: r · F is a scalar.
Solution
r·F=0 no source or
P sink at P
MAST20029 Engineering Maths: Vector Calculus 1.7 MAST20029 Engineering Maths: Vector Calculus 1.8
i j k
@ @ @
r⇥F =
@x @y @z
F1 F2 F3
✓ ◆ ✓ ◆
@F3 @F2 @F3 @F1
= i j direction of twig changes as
@y @z @x @z
twig does not rotate as it it travels
✓ ◆
@F2 @F1 travels
+ k
@x @y
) r⇥F=0 ) r ⇥ F 6= 0
Note: r ⇥ F is a vector field.
MAST20029 Engineering Maths: Vector Calculus 1.9 MAST20029 Engineering Maths: Vector Calculus 1.10
Solution z = f (x, y)
Ri
y
x
g(x) y h(x)
a x b
Example: Mass of a Region
for some functions g and h.
The mass of a region R in the xy-plane with mass per unit
area ⇢(x, y) is given by: y
ZZ
Mass of R = ⇢ dR
R h(x)
g(x)
a b x
y Solution
g(y) h(y)
d The region R can be described using vertical or horizontal
strips.
x y = x2 x=1
Note:
Some domains can be described using both vertical or
horizontal strips, so both orders of integration are pos-
sible. e.g. circle, ellipse, rectangle, triangle.
MAST20029 Engineering Maths: Vector Calculus 1.15 MAST20029 Engineering Maths: Vector Calculus 1.16
Exercise 6
Let R be the region enclosed by the curves y = x2 , y = 2 x Exercise 7
and y = 0. Calculate the area of R. By changing the order of integration, evaluate
Z 4 Z 2
Solution y 2
(1, 1)
ey dy dx
x
0 2
y = x2 y=2 x
Solution
x
O 2
y = x/2
or x = 2y
x
O 4
MAST20029 Engineering Maths: Vector Calculus 1.19 MAST20029 Engineering Maths: Vector Calculus 1.20
Exercise 8
By changing the order of integration, evaluate
Z 2Z 8 ⇣ 4⌘
cos x 3 dx dy
0 y3
Solution
y
(8, 2)
2
y = x1/3
O 2 4 6 8 x
MAST20029 Engineering Maths: Vector Calculus 1.21 MAST20029 Engineering Maths: Vector Calculus 1.22
Change of Variables in R2
[Kreyszig, p.429 - 432]
x = x(u, v)
y = y(u, v)
O θ x
x
The Jacobian determinant J(r, ✓) is Show how the moment of inertia is related to the mass of the
disc.
cos ✓ r sin ✓
= r cos2 ✓ + r sin2 ✓ = r
sin ✓ r cos ✓ Solution
y
Let V = z y x be a small subregion of V . The triple • There are 6 ways to setup the integration for a triple
integral of f over V is integral.
ZZZ n
X • In this subject, we choose to bound z first and project
f (x, y, z) dV = lim f (xi , yi , zi ) Vi
V V !0 the solid region V onto the xy-plane and then use either
i=1
ZZZ horizontal or vertical strips to describe the projection R
= f (x, y, z) dz dy dx in the xy-plane.
V
MAST20029 Engineering Maths: Vector Calculus 1.31 MAST20029 Engineering Maths: Vector Calculus 1.32
Exercise 10
The mass density of a rectangular block bounded by the planes
x = 1, x = 2, y = 0, y = 3, z = 1, z = 0
is given by the function
⇢ = x(y + 1) z
Find the mass of the block.
Solution
The region V is
3 y
1
2 1
x
V
MAST20029 Engineering Maths: Vector Calculus 1.33 MAST20029 Engineering Maths: Vector Calculus 1.34
Solution
z O x
y=0 1
1
z=1 x y
Using vertical strips on this triangular region gives:
1
y
1 y=1 x and z = 0
Change of Variables in R3
Suppose we have a three-dimensional change of variable
x = x(u, v, w)
y = y(u, v, w)
z = z(u, v, w)
z
O y
✓ r
x
P0
MAST20029 Engineering Maths: Vector Calculus 1.39 MAST20029 Engineering Maths: Vector Calculus 1.40
Exercise 12
Find the volume of the solid region V which lies inside the
cylinder x2 + y 2 = 1, z 2 R, below the plane z = 4 and above
the paraboloid z = 1 x2 y 2 .
Solution
z
P (r, , ✓)
r
z
O y
✓
x
P0
MAST20029 Engineering Maths: Vector Calculus 1.45 MAST20029 Engineering Maths: Vector Calculus 1.46
@z @z @z
@r @ @✓
cos ✓ sin r cos ✓ cos r sin ✓ sin
= sin ✓ sin r sin ✓ cos r cos ✓ sin
cos r sin 0
r cos ✓ cos r sin ✓ sin
= cos
r sin ✓ cos r cos ✓ sin
cos ✓ sin r sin ✓ sin
+ r sin
sin ✓ sin r cos ✓ sin
Exercise 13
If D is the lower hemisphere of radius 1 centred at the origin,
evaluate ZZZ ⇣⇥ ⇤3 ⌘
exp x2 + y 2 + z 2 2 dV
D
O
1 y
Solution
Using spherical coordinates, D is described as
MAST20029 Engineering Maths: Vector Calculus 1.49 MAST20029 Engineering Maths: Vector Calculus 1.50
x1
x0 C
y
O
x
MAST20029 Engineering Maths: Vector Calculus 1.51 MAST20029 Engineering Maths: Vector Calculus 1.52
Exercise 15 Exercise 16
Parametrise the parabola y = x2 from the point x0 = (a, a2 ) Parametrise the circle x2 + y 2 = a2 , oriented anticlockwise.
to x1 = (b, b2 ). y
y (b, b2)
x
O a
(a, a2)
O x Solution
A parametrisation, starting at (a, 0), is:
Solution
A parametrisation is:
Examples Exercise 18
Consider the helix with parametrisation
• The arc length of the curve C is given by
Z r(t) = cos ti + sin tj + 2tk
Length = ds
Z
C Let C be the coil from (1, 0, 0) to (1, 0, 4⇡).
b p
= x0 (t)2 + y 0 (t)2 + z 0 (t)2 dt If the mass per unit length of the coil is
a
⇢ = x2 + 2z
• If ⇢ is the mass per unit length at any point (x, y, z) on calculate the length and mass of the coil.
a piece of wire bent into the shape of the curve C, then
the mass of the wire is given by Solution
Z
Mass = ⇢(x, y, z) ds
C
z
(1, 0, 4⇡)
(1, 0, 0)
y
x
MAST20029 Engineering Maths: Vector Calculus 1.57 MAST20029 Engineering Maths: Vector Calculus 1.58
MAST20029 Engineering Maths: Vector Calculus 1.59 MAST20029 Engineering Maths: Vector Calculus 1.60
Exercise 19
Calculate the line integral
Z
x2 + 2y 2 ds
C
x
O 1 2
Solution
MAST20029 Engineering Maths: Vector Calculus 1.61 MAST20029 Engineering Maths: Vector Calculus 1.62
Z
If the applied force is
Work = F · dr
C
Z b F(x, y, z) = zyi zxj + xyk
= F[r(t)] · r0 (t) dt
a
Z b
find the work done by the force.
0 0 0
= F1 x (t) + F2 y (t) + F3 z (t) dt
a
MAST20029 Engineering Maths: Vector Calculus 1.63 MAST20029 Engineering Maths: Vector Calculus 1.64
Let
F(x, y, z) = F1 i + F2 j + F3 k
2. r ⇥ F = 0
Theorem Exercise 21
R
Let C be a path starting at the point A and finishing at the Let F(x, y) = xi + yj. Evaluate C F · dr along
R
point B. If F is conservative and F = r , then C F · dr
(a) y = x2 from (0, 0) to (1, 1);
depends only on the endpoints of C and
Z (b) line segments joining (0, 0) to (0, 1) to (1, 1);
F · dr = (B) (A)
C (c) if C is the unit circle.
Solution
MAST20029 Engineering Maths: Vector Calculus 1.67 MAST20029 Engineering Maths: Vector Calculus 1.68
Exercise 22
Consider the vector field F(x, y, z) = (x2 , cos y sin z, sin y cos z).
R
Evaluate C F · dr where
Solution
MAST20029 Engineering Maths: Vector Calculus 1.69 MAST20029 Engineering Maths: Vector Calculus 1.70
Surface Integrals
[Kreyszig, p.448-450]
ZZ ZZ q
g(x, y, z)dS = g(x, y, f (x, y)) fx2 + fy2 + 1dydx
S R
Note
In this subject we only consider surface integrals for surfaces
that can be written in the form z = f (x, y).
MAST20029 Engineering Maths: Vector Calculus 1.71 MAST20029 Engineering Maths: Vector Calculus 1.72
Examples Exercise 23
p
Let S be the portion of the cone z = x2 + y 2 that lies
• The surface area of S corresponds to the case where
between the planes z = 1 and z = 2. Assume the mass
g = 1:
density on this truncated cone is given by ⇢ = x2 y 2 z. Find the
ZZ ZZ q
Surface area = dS = fx2 + fy2 + 1 dydx (a) surface area of the truncated cone.
S R
Solution
• If ⇢ is the mass per unit area at any point (x, y, z) on
z = f (x, y)
a sheet of metal bent into the shape of the surface S,
then the mass of the sheet is given by
ZZ
S
Mass = ⇢(x, y, z) dS
S
O y
R
x
O 1 2
MAST20029 Engineering Maths: Vector Calculus 1.75 MAST20029 Engineering Maths: Vector Calculus 1.76
F(x, y, z) = F1 i + F2 j + F3 k
be a vector field.
ZZ ZZ
F · n̂ dS = F1 f x F2 fy + F3 dydx
S R
Note
In this subject we only consider flux integrals for surfaces that
can be written in the form z = f (x, y).
MAST20029 Engineering Maths: Vector Calculus 1.77 MAST20029 Engineering Maths: Vector Calculus 1.78
S (1, , 4)
y
x
O
R 2 y
1
(1, 2, 0)
x
Note
If the orientation of S is downward, then
Find the flux of the vector field
ZZ Z Z
F · n̂ dS = F1 fx F2 fy + F3 dydx F(x, y, z) = xi + yj + 2k
S R
across S.
MAST20029 Engineering Maths: Vector Calculus 1.79 MAST20029 Engineering Maths: Vector Calculus 1.80
Solution
y = 2x
O y=0 1 x
MAST20029 Engineering Maths: Vector Calculus 1.81 MAST20029 Engineering Maths: Vector Calculus 1.82
Solution z
n̂ 1
n̂ 1
1 y
O
1
x
S
n̂
n̂
n̂ V n̂
n̂
Exercise 27
Let F(x, y, z) = z 2 k. Let S be the unit sphere
x2 + y 2 + z 2 = 1
Solution
MAST20029 Engineering Maths: Vector Calculus 1.89 MAST20029 Engineering Maths: Vector Calculus 1.90
Stokes’ Theorem
[Kreyszig, p.463-468]
Let
F(x, y, z) = F1 i + F2 j + F3 k
Then Z ZZ
F · dr = (r ⇥ F) · n̂ dS
S
C
Note Z
If F is the velocity field of a fluid, F · dr is the circulation
C
of F. It measures the extent to which the corresponding fluid
motion is a rotation around C.
MAST20029 Engineering Maths: Vector Calculus 1.91 MAST20029 Engineering Maths: Vector Calculus 1.92
S2 1 C3
C1
C2
y
2
C
x 2
Z ZZ ZZ
Solution
F · dr = (r ⇥ F) · n̂ dS = (r ⇥ F) · n̂ dS
S1 S2
C
MAST20029 Engineering Maths: Vector Calculus 1.93 MAST20029 Engineering Maths: Vector Calculus 1.94
Exercise 29
Let S be the part of the paraboloid z = x2 + y 2 that lies
below the plane z = 1. Let S be oriented by the outward unit
Projecting S onto the xy-plane gives the quarter disk R: normal and C be the curve that bounds S. Let F(x, y, z) =
y xyi + xj + z 2 k.
2 Using Stokes’ theorem, evaluate
R ZZ
(r ⇥ F) · n̂ dS
S
x
2 Solution
z
C
1
n̂
n̂ S
R
O 1 y
x 1
MAST20029 Engineering Maths: Vector Calculus 1.95 MAST20029 Engineering Maths: Vector Calculus 1.96
Exercise 30
Using Stokes’ theorem, find the work done by the force
n̂
O 2 y
x
MAST20029 Engineering Maths: Vector Calculus 1.97 MAST20029 Engineering Maths: Vector Calculus 1.98
z
n̂
C
2 S
R
O 2 y
x 2
MAST20029 Engineering Maths: Systems of ODEs 2.1 MAST20029 Engineering Maths: Systems of ODEs 2.2
[Kreyszig, Ch 4, p124-141] x = we t
Coupled first order ODEs arise in models of physical systems where w is a constant vector. Then
such as chemical reactions that involve tanks of fluids with
t
di↵erent concentrations and electric circuits with more than ẋ = we
one loop.
Substituting into ẋ = Ax gives
A homogeneous constant coefficient system of two first order t t
we = Awe
ODEs has the form
dx1 t
Since e 6= 0 then
= a11 x1 (t) + a12 x2 (t)
dt Aw = w
dx2 Hence is an eigenvalue of the matrix A and w is the corre-
= a21 x1 (t) + a22 x2 (t)
dt sponding eigenvector.
This can be written in matrix form as If A has 2 linearly independent eigenvectors {w1 , w2 } with
ẋ = Ax corresponding eigenvalues { 1 , 2 }, then the general solution
or to the system is
" # " #" #
dx1
dt a11 a12 x1
= 1t 2t
dx2
a21 a22 x2 x(t) = ↵1 w1 e + ↵ 2 w2 e
dt
Exercise 1
Solve the system
dx
= x + 3y
dt
dy
= 2x + 2y
dt
x(0) = 0, y(0) = 1
Solution
MAST20029 Engineering Maths: Systems of ODEs 2.5 MAST20029 Engineering Maths: Systems of ODEs 2.6
tw + u + w = tAw + Au
Since Aw = w, u satisfies
Au = u+w
(A I)u = w
Exercise 2
Solve the system
Solution
MAST20029 Engineering Maths: Systems of ODEs 2.9 MAST20029 Engineering Maths: Systems of ODEs 2.10
⇥ 1t
⇤ ⇥ 1t
⇤
x(t) = ↵1 Re w1 e + ↵2 Im w1 e
[Kreyszig, Ch 4, p 141-151]
x’=−x
y’=−2y
10
y
−2
−4
−6
−8
−10
−10 −8 −6 −4 −2 0 2 4 6 8 10
x
MAST20029 Engineering Maths: Systems of ODEs 2.17 MAST20029 Engineering Maths: Systems of ODEs 2.18
Case 2: 1 <0< 2
Exercise 5
Classify the critical point at the origin and sketch the phase
portrait for the system:
dx
= 2x 4y
dt
dy
= x 3y
dt
Solution
The general solution is
" # " # " #
x 1 2t 4
= ↵1 e + ↵2 et
y 1 1
MAST20029 Engineering Maths: Systems of ODEs 2.19 MAST20029 Engineering Maths: Systems of ODEs 2.20
x’=2x−4y
y’=x−3y Case 3: 1 = 2 (m = 2, g = 2)
10
Exercise 6
8
6
Classify the critical point at the origin and sketch the phase
portrait for the system:
4
2
dx
0 = x
y
dt
−2 dy
= y
−4 dt
−6 Solution
−8 The general solution is
" # " # " #
−10
x 1 t 0
−10 −8 −6 −4 −2 0 2 4 6 8 10
= ↵1 e + ↵2 et
x y 0 1
MAST20029 Engineering Maths: Systems of ODEs 2.21 MAST20029 Engineering Maths: Systems of ODEs 2.22
Case 4: 1 = 2 (m = 2, g = 1)
Exercise 7
Classify the critical point at the origin and sketch the phase
portrait for the system:
dx
= 4x y
dt
dy
= x 2y
dt
Solution
The general solution is
x’=−4x−y
y’=x−2y
y
−1
−2
−3
−4
−4 −3 −2 −1 0 1 2 3 4
x
MAST20029 Engineering Maths: Systems of ODEs 2.25 MAST20029 Engineering Maths: Systems of ODEs 2.26
Case 5: = a ± bi (a 6= 0)
Exercise 8
Classify the critical point at the origin and sketch the phase
portrait for the system:
dx x’=−x+y
= x+y y’=−x−y
dt
dy 10
= x y
dt 8
Solution 6
y
y sin t cos t
−2
−4
−6
−8
−10
−10 −8 −6 −4 −2 0 2 4 6 8 10
x
MAST20029 Engineering Maths: Systems of ODEs 2.27 MAST20029 Engineering Maths: Systems of ODEs 2.28
Case 6: =± i
Exercise 9
Classify the critical point at the origin and sketch the phase
portrait for the system:
dx
= y
dt
dy
= 4x
dt
Solution
The general solution is
" # " # " #
x cos(2t) sin(2t)
= ↵1 + ↵2
y 2 sin(2t) 2 cos(2t)
MAST20029 Engineering Maths: Systems of ODEs 2.29 MAST20029 Engineering Maths: Systems of ODEs 2.30
10
2. 1 <0< 2 unstable saddle
8
−4
5A. = a ± bi, a < 0 asymptotically stable spiral
−6 5B. = a ± bi, a > 0 unstable spiral
−8
−10
6. = ±bi stable centre
−10 −8 −6 −4 −2 0 2 4 6 8 10
x
Note
The cases 1 = 0, 2 6= 0 and 1 = 2 = 0 will not be
discussed in this subject.
MAST20029 Engineering Maths: Systems of ODEs 2.31 MAST20029 Engineering Maths: Systems of ODEs 2.32
@g @g
dx c= (x0 , y0 ), d= (x0 , y0 )
= f (x, y) @x @y
dt
dy
= g(x, y) In matrix form, the linearised system becomes
dt
where f (x, y) and g(x, y) have continuous first order partial
Ẋ = AX
derivatives and are not simply linear combinations of x and y.
Let (x0 , y0 ) be a critical point of the non linear system, and where 2 3
set @f @f
6 @y 7
A = 4 @x
@g @g 5
@x @y
X=x x0 , Y =y y0
is the Jacobi matrix of f and g, evaluated at (x0 , y0 ).
The linearisation of the system about the critical point (x0 , y0 )
is given by the linear system
dX
= aX + bY
dt
dY
= cX + dY
dt
MAST20029 Engineering Maths: Systems of ODEs 2.33 MAST20029 Engineering Maths: Systems of ODEs 2.34
Exercise 10
Consider the following nonlinear system
dx
=1 x y = f (x, y)
dt
dy
= 2xy = g(x, y)
dt
Find all critical points of this system, and linearise the system
about each of its critical points.
Solution
MAST20029 Engineering Maths: Systems of ODEs 2.35 MAST20029 Engineering Maths: Systems of ODEs 2.36
Linearisation Theorem
Let (x0 , y0 ) be an isolated critical point of a two dimensional
autonomous nonlinear system. Let
Ẋ = AX
1. 1 6= 2, and
Exercise 11
Consider the nonlinear system from Exercise 10:
dx
=1 x y
dt
dy
= 2xy
dt
Determine the stability of each of the critical points. Using
PPlane, sketch the phase portrait in the vicinity of each critical
point.
Solution
The critical points are at (0, 1) and (1, 0).
Note
Using PPlane, the two phase portraits combine to produce the
phase plane over a region including both critical points (global
phase portrait).
MAST20029 Engineering Maths: Systems of ODEs 2.41 MAST20029 Engineering Maths: Systems of ODEs 2.42
Exercise 12
Consider the following system of nonlinear ODES:
dx
= 2y (x2 + y 2 )x = f (x, y)
dt
dy
= 2x (x2 + y 2 )y = g(x, y)
dt
Find the linearised system for each critical point. Determine
the stability of the critical points for the linearised systems.
Solution
Note
The orbits for the linear system near (X, Y ) = (0, 0) are
circles. However, this example does not satisfy the condi-
tions of the Linearisation Theorem, and the true orbits near
(x, y) = (0, 0) for the nonlinear system are spirals!
Exercise 1 Exercise 2
Using the definition of the Laplace transform, prove that Using the definition of the Laplace transform, prove that
1 1
L[1] = L[t] =
s s2
Solution Solution
MAST20029 Engineering Maths: Laplace Transforms 3.5 MAST20029 Engineering Maths: Laplace Transforms 3.6
Linearity Exercise 4
The Laplace transform is linear, so that Using the definition of the Laplace transform, prove that
1
f (t) = c1 f1 (t) + c2 f2 (t) L[eat ] = , a2C
s a
then Solution
L[f ] = c1 L[f1 ] + c2 L[f2 ]
where c1 , c2 2 C.
Exercise 3
Compute the Laplace transform of
f (t) = t2 2t + 1
Solution
MAST20029 Engineering Maths: Laplace Transforms 3.7 MAST20029 Engineering Maths: Laplace Transforms 3.8
Exercise 5 Exercise 6
Compute the Laplace transform of Compute the Laplace transform of
for a 2 C, using the exponential definition of cosh(at). for a 2 C, using the exponential definition of sin(at).
Solution Solution
MAST20029 Engineering Maths: Laplace Transforms 3.9 MAST20029 Engineering Maths: Laplace Transforms 3.10
= f (0) + sL[f ]
Similarly
L [f 00 ] = s L[f 0 ] f 0 (0)
= s2 L[f ] s f (0) f 0 (0)
MAST20029 Engineering Maths: Laplace Transforms 3.11 MAST20029 Engineering Maths: Laplace Transforms 3.12
Z c+i1
Solution
1 1 st
f (t) = L [F ] = F (s)e ds
2⇡i c i1
Note
then
1 1 1
L [F ] = c1 L [F1 ] + c2 L [F2 ]
where c1 , c2 2 C.
MAST20029 Engineering Maths: Laplace Transforms 3.13 MAST20029 Engineering Maths: Laplace Transforms 3.14
Exercise 8
Solve the second order initial value problem
for x(t).
Solution
MAST20029 Engineering Maths: Laplace Transforms 3.15 MAST20029 Engineering Maths: Laplace Transforms 3.16
Exercise 9
Solve the system of inhomogeneous di↵erential equations
x0 + y 0 + x + y = 1 (1)
y0 x+y = t (2)
Solution
MAST20029 Engineering Maths: Laplace Transforms 3.17 MAST20029 Engineering Maths: Laplace Transforms 3.18
at
L[e f (t)] = F (s + a)
or
1 at
L [F (s + a)] = e f (t)
Exercise 10 Exercise 11
Find the Laplace transform of Find the inverse Laplace transform of
4s 12
g(t) = t2 e 4t
G(s) =
s2 6s + 18
Solution Solution
MAST20029 Engineering Maths: Laplace Transforms 3.21 MAST20029 Engineering Maths: Laplace Transforms 3.22
as
L[g(t)] = e F (s)
The unit step (Heaviside) function The t-shifting theorem in terms of step functions
For any a 0,
Using step functions, we can write the t-shifting theorem as
(
0 if t < a If L[f (t)] = F (s), then
u(t a) =
1 if t a
as
L[f (t a)u(t a)] = e F (s)
u(t a) or
1
⇥ as
⇤
L e F (s) = f (t a)u(t a)
O a t
Exercise 13 Exercise 14
Find the inverse Laplace transform of Find the Laplace transform of the function
2s 8
e > if 0 t < ⇡
G(s) = < 2
s5 g(t) = 0 if ⇡ t < 2⇡
>
:
Solution sin t if t 2⇡
t
O ⇡ 2⇡ 3⇡ 4⇡
Solution
Write g as a linear combination of regular functions multiplied
by unit step functions.
MAST20029 Engineering Maths: Laplace Transforms 3.27 MAST20029 Engineering Maths: Laplace Transforms 3.28
MAST20029 Engineering Maths: Laplace Transforms 3.29 MAST20029 Engineering Maths: Laplace Transforms 3.30
Exercise 15
Find the Laplace transform of the function
(
t2 if 1 t < 2
g(t) =
0 elsewhere
0 1 2 t
Solution
Write g as a linear combination of regular functions multiplied
by unit step functions.
MAST20029 Engineering Maths: Laplace Transforms 3.31 MAST20029 Engineering Maths: Laplace Transforms 3.32
Impulse
Some physical phenomena involve the action of large forces
over short intervals of time, such as a tennis ball hit by a
racquet or a voltage applied to an electric circuit.
f✏
1/✏
O a a+✏ t
Z 1 Z a+✏
1 1
I✏ = f✏ (t a) dt = dt = [(a + ✏ a) = 1
0 a ✏ ✏
MAST20029 Engineering Maths: Laplace Transforms 3.33 MAST20029 Engineering Maths: Laplace Transforms 3.34
Note
1
Putting a = 0 gives L[ (t)] = 1 and L [1] = (t)
MAST20029 Engineering Maths: Laplace Transforms 3.35 MAST20029 Engineering Maths: Laplace Transforms 3.36
Exercise 16
Solve
y 00 + 4y 0 + 4y = (t 1)
with
y(0) = 0, y 0 (0) = 0
Solution
MAST20029 Engineering Maths: Laplace Transforms 3.37 MAST20029 Engineering Maths: Laplace Transforms 3.38
Z b ✓Z t ◆
st
= lim f (⌧ ) d⌧ e dt
b!1 0 0
Integration by parts
Z Z t=b
1 st t 1 st
= lim e f (⌧ ) d⌧ + f (t)e dt
b!1 s 0 s t=0
" Z Z #
b b
1 sb 1 st
= lim e f (⌧ ) d⌧ + f (t)e dt
b!1 s 0 s 0
Z b
1 st
= lim f (t)e dt
s b!1 0
F (s)
=
s
MAST20029 Engineering Maths: Laplace Transforms 3.39 MAST20029 Engineering Maths: Laplace Transforms 3.40
Convolution Exercise 18
We define the (Laplace) convolution of two functions f and g Use the convolution theorem to find the inverse Laplace trans-
as follows form of
1
Z H(s) = 2 2
t s (s + 1)
(f ⇤ g)(t) = f (⌧ )g(t ⌧ ) d⌧
0 Solution
The convolution of two functions is symmetric, i.e.
f ⇤g =g⇤f
or
Z t Z t
f (⌧ )g(t ⌧ ) d⌧ = f (t ⌧ )g(⌧ ) d⌧
0 0
or
1
(f ⇤ g)(t) = L [F (s)G(s)]
MAST20029 Engineering Maths: Laplace Transforms 3.41 MAST20029 Engineering Maths: Laplace Transforms 3.42
Exercise 19
Solve the integral equation
Z t
1
y(t) = t2 y(⌧ )(t ⌧ ) d⌧
2 0
Solution
MAST20029 Engineering Maths: Laplace Transforms 3.43 MAST20029 Engineering Maths: Sequences and Series 4.1
Sequences
A sequence is an ordered list of numbers
a 1 , a2 , a3 , a4 . . . a n . . .
Example
1 1 1 1
1, , , , , . . .
2 3 4 5
1
Here an =
n
Example
1, 1, 1, 1, 1, 1, . . .
Here an = ( 1)n 1
or an = ( 1)n+1
MAST20029 Engineering Maths: Sequences and Series 4.2 MAST20029 Engineering Maths: Sequences and Series 4.3
The sequence {an } can be plotted on a graph with n on the Limits of Sequences
x-axis and an on the y-axis.
A sequence {an } has the limit L (L is finite) if an approaches
Example L as n approaches infinity. We write:
1
an =
n
lim an = L,
n!1
an
1 or an ! L as n ! 1.
1 2 3 4 5
n If the limit exists we say that the sequence converges. Other-
wise, the sequence diverges.
−1
Example
⇢
Example 1
converges to 0.
n
an = ( 1)n 1
Example
an
1 ( 1)n 1
oscillates, so it diverges.
Example
n
1 2 3 4 5
{n} diverges to infinity.
−1
MAST20029 Engineering Maths: Sequences and Series 4.4 MAST20029 Engineering Maths: Sequences and Series 4.5
The only di↵erence between lim an = L and lim f (x) = L Standard Limits
n!1 x!1
is that n is a natural number whereas x is a real number.
1
1. lim =0 (p > 0)
n!1 np
Theorem
Let f be a real function and {an } be a sequence of real num- 2. lim rn = 0 (|r| < 1)
n!1
bers such that an = f (n). If
This means that we can use the techniques for evaluating limits 4. lim n1/n = 1
n!1
of functions to evaluate limits of sequences.
an
5. lim =0 (a 2 R)
Note n!1 n!
⇣ a ⌘n
Example 7. lim 1 + = ea (a 2 R)
n!1 n
an = sin(2⇡n), f (x) = sin(2⇡x)
np
8. lim =0 (p 2 R; a > 1)
n!1 an
MAST20029 Engineering Maths: Sequences and Series 4.6 MAST20029 Engineering Maths: Sequences and Series 4.7
or
n! = n ⇥ (n 1) ⇥ (n 2) ⇥ ... ⇥ 3 ⇥ 2 ⇥ 1
1! = 1
2! = 2 ⇥ 1
3! = 3 ⇥ 2 ⇥ 1 = 6
4! = 4 ⇥ 3 ⇥ 2 ⇥ 1 = 24
MAST20029 Engineering Maths: Sequences and Series 4.8 MAST20029 Engineering Maths: Sequences and Series 4.9
Exercise 2 Exercise 3 ✓ ◆n
n 2
Prove standard limit number 6, Evaluate lim loge
n!1 n
loge n
lim = 0, (p > 0). Solution
n!1 np
Solution
MAST20029 Engineering Maths: Sequences and Series 4.10 MAST20029 Engineering Maths: Sequences and Series 4.11
Exercise 4 Series
Prove standard limit number 4,
A series is the sum of all terms in the sequence {an }.
lim n1/n = 1. A series is denoted by
n!1
Solution 1
X
an = a1 + a2 + a3 + a4 . . .
n=1
Example
The sequence {n} = 1, 2, 3, 4, . . ..
1
X
The series n = 1 + 2 + 3 + 4...
n=1
Example
⇢
1
The sequence = 0.1, 0.01, 0.001, . . ..
10n
X1
1
The series = 0.1 + 0.01 + 0.001 + . . . = 0.11111111
n=1
10n
1
The sequence converges to 0 while the series converges to .
9
MAST20029 Engineering Maths: Sequences and Series 4.12 MAST20029 Engineering Maths: Sequences and Series 4.13
S3 = a 1 + a 2 + a 3 Solution
..
.
Sn = a 1 + a 2 + a 3 + . . . + a n
Exercise 7
What does the series
✓ ◆2 ✓ ◆ 3
1 1 1
1+ + + + ...
4 4 4
converge to?
Solution
MAST20029 Engineering Maths: Sequences and Series 4.16 MAST20029 Engineering Maths: Sequences and Series 4.17
Exercise 8
X1
n+1
Does converge or diverge?
n=1
n
Solution
MAST20029 Engineering Maths: Sequences and Series 4.18 MAST20029 Engineering Maths: Sequences and Series 4.19
Exercise 9 Z 1
1
For what values of p > 0 does dx converge?
1 xp
Solution
MAST20029 Engineering Maths: Sequences and Series 4.20 MAST20029 Engineering Maths: Sequences and Series 4.21
Proof
p>0
1
• f (x) = is continuous, positive and decreasing on [1, 1).
xp
Z 1
1
• dx is convergent if p > 1 and divergent if p 1.
1 xp
X1
1
• Hence, p
converges if p > 1 and diverges if p 1, by
n=1
n
the integral test.
p0
X1
1 1
• Since lim p 6= 0, p
diverges by the divergence test.
n!1 n n
n=1
Combining cases:
X1
1
p
converges if p > 1 and diverges if p 1.
n=1
n
MAST20029 Engineering Maths: Sequences and Series 4.22 MAST20029 Engineering Maths: Sequences and Series 4.23
1
X
Solution 1. If L < 1, an converges.
n=1
1
X
2. If L > 1, an diverges.
n=1
Exercise 13 Exercise 14
X1
nn Does
Does converge or diverge? 1
n=1
n! X n!n!
n=1
(2n)!
Solution
converge or diverge?
Solution
MAST20029 Engineering Maths: Sequences and Series 4.28 MAST20029 Engineering Maths: Sequences and Series 4.29
Solution
Example
X1
( 1)n 1
1 1 1 1
=1 + + ...
n=1
n 2 3 4 5
2. lim an = 0
n!1
Exercise 17
Find the radius of convergence and interval of convergence of
X1
( 3)n xn
the series .
n=1
n2 + 1
Solution
MAST20029 Engineering Maths: Sequences and Series 4.36 MAST20029 Engineering Maths: Sequences and Series 4.37
Exercise 18
Using the generalised ratio test, find the radius of convergence
X1
(x 1)n
and interval of convergence of the series .
n=1
2n
Solution
MAST20029 Engineering Maths: Sequences and Series 4.38 MAST20029 Engineering Maths: Sequences and Series 4.39
Note
There is a simpler method to determine the convergence of
this series.
MAST20029 Engineering Maths: Sequences and Series 4.40 MAST20029 Engineering Maths: Sequences and Series 4.41
Exercise 19 Exercise 20
⇡
Find the 4th order Taylor polynomial about x = for Find the Maclaurin series for f (x) = loge (1 + x)
2
f (x) = cos x
Solution
Solution
So,
f 00 (0)x2 f 000 (0)x3 f iv (0)x4
P (x) = f (0) + f 0 (0)x + + + +. . .
2! 3! 4!
⇣⇡⌘ ⇣⇡⌘ ⇣ ⇡ ⌘ f 00 ⇡2 x ⇡ 2
0 2
P4 (x) =f +f x +
2 2 2 2!
000 ⇡ ⇡ 3 iv ⇡ 4
f 2 x 2 f 2 x ⇡2
+ +
3! 4!
MAST20029 Engineering Maths: Sequences and Series 4.44 MAST20029 Engineering Maths: Sequences and Series 4.45
Exercise 22
Approximate (1.2)7/2 using a 2nd order Maclaurin polynomial
for (1 + 2x)7/2 . Give an upper bound on the error.
Solution
MAST20029 Engineering Maths: Sequences and Series 4.48 MAST20029 Engineering Maths: Sequences and Series 4.49
Exercise 23
(a) Determine the Maclaurin series for ex and find its radius
of convergence.
X1
1
(b) Show that = e.
n=0
n!
Solution
FOURIER SERIES
[Kreyszig, p.474-494]
Example
Example
Periodic functions describe rotating machines, sound waves or
seasonal phenomena. f
t
3T 2T T O T 2T 3T
MAST20029 Engineering Maths: Fourier Series 5.2 MAST20029 Engineering Maths: Fourier Series 5.3
Many periodic functions can be expressed as a Fourier series. Energy density and Parseval’s Identity
2⇡
Assume that a function f has period T = 2L. Let ! = T . The energy density of a periodic function f is given by
Exercise 1
Consider the saw tooth wave defined by
(
0, ⇡t<0
f (t) =
t, 0t<⇡
Solution
(a)
t
3⇡ 2⇡ ⇡ O ⇡ 2⇡ 3⇡
MAST20029 Engineering Maths: Fourier Series 5.6 MAST20029 Engineering Maths: Fourier Series 5.7
MAST20029 Engineering Maths: Fourier Series 5.8 MAST20029 Engineering Maths: Fourier Series 5.9
MAST20029 Engineering Maths: Fourier Series 5.10 MAST20029 Engineering Maths: Fourier Series 5.11
Fourier Series Theorem Use MATLAB to see how the Fourier series approximates the
If a periodic function f with period T = 2L is di↵erentiable function in Exercise 1.
at all except finitely many points in the interval [ L, L] then Fourier series approximation to f
4
the Fourier series with coefficients given by Euler’s formulae N=5
f
3
is convergent.
2
f
If f is continuous at a point t0 2 [ L, L] then the value of 1
−1
−4 −3 −2 −1 0 1 2 3 4
If f is discontinuous at a point t0 2 [ L, L] then the value t
of the Fourier series is the average value of the left and right 4
N=20
limits of f at t0 . 3
f
Example
f
1
−1
−4 −3 −2 −1 0 1 2 3 4
t
N
X
fN (t) = a0 + (an cos(n!t) + bn sin(n!t))
n=1
MAST20029 Engineering Maths: Fourier Series 5.12 MAST20029 Engineering Maths: Fourier Series 5.13
Odd and Even functions Fourier cosine series for even functions
A function f is an even function if Suppose f is an even function with period T = 2L.
⇡/2
t
⇡ O ⇡
⇡/2
MAST20029 Engineering Maths: Fourier Series 5.16 MAST20029 Engineering Maths: Fourier Series 5.17
MAST20029 Engineering Maths: Fourier Series 5.18 MAST20029 Engineering Maths: Fourier Series 5.19
Exercise 3
Consider the function
f (t) = t2 1
Solution
f
3
O
t
2
1
MAST20029 Engineering Maths: Fourier Series 5.20 MAST20029 Engineering Maths: Fourier Series 5.21
We can extend f to an even periodic function fe with period Finding Particular Solutions of Ordinary Di↵erential Equa-
T = 4. Then fe will have a Fourier cosine series. tions using Fourier Series
fe Exercise 4
3
Suppose the motion of a constrained object subject to an ex-
ternal force f is given by the di↵erential equation
O
t y 0 + 3y = f
6 4 2 2 4 6
1 where y is the displacement of the body at time t and
(
t + ⇡2 , ⇡t<0
Similarly, we can extend f to an odd periodic function fo with f (t) = ⇡
t + 2, 0t<⇡
period T = 4. Then fo will have a Fourier sine series.
3
MAST20029 Engineering Maths: Fourier Series 5.22 MAST20029 Engineering Maths: Fourier Series 5.23
Solution
From Exercise 2, the Fourier series for f is
1
X
f (t) = an cos(nt)
n=1
where (
0, n even
an = 4
n2 ⇡ , n odd
1
X
yp (t) = ↵0 + (↵n cos(nt) + n sin(nt))
n=1
Fourier Integrals
[Kreyszig, p.510-517]
Z 1
1
A(!) = f (t) cos(!t) dt
⇡ 1
Z 1
1
B(!) = f (t) sin(!t) dt
⇡ 1
MAST20029 Engineering Maths: Fourier Series 5.26 MAST20029 Engineering Maths: Fourier Series 5.27
Exercise 5
Consider the single signal pulse defined by
(
1 for |t| 1
f (t) =
0 for |t| > 1
Solution
t
1 O 1
MAST20029 Engineering Maths: Fourier Series 5.28 MAST20029 Engineering Maths: Fourier Series 5.29
Note
For the above integral to be finite
1. f must be zero outside a finite interval,
or 2. f rapidly decays to 0 as |t| ! 1.
Example
MAST20029 Engineering Maths: Fourier Series 5.30 MAST20029 Engineering Maths: Fourier Series 5.31
−0.5
Z 1
−1
−2 −1.5 −1 −0.5 0
t
0.5 1 1.5 2
f (t) = B(!) sin(!t) d!
Fourier Integral approximation to f (a = 20)
0
2
1.5
f
f20
where
1
Z 1
0.5 2
B(!) = f (t) sin(!t) dt
f
0
⇡ 0
−0.5
−1
−2 −1.5 −1 −0.5 0 0.5 1 1.5 2
t
MAST20029 Engineering Maths: Fourier Series 5.32 MAST20029 Engineering Maths: Fourier Series 5.33
Exercise 6
Represent f as a Fourier sine integral when
8
>
< 1 for 0 t 1
f (t) = 1 for 1 t < 0
>
:
0 for all other t
Solution
f
t
1 O 1
1
MAST20029 Engineering Maths: Fourier Series 5.34 MAST20029 Engineering Maths: Fourier Series 5.35
Exercise 7
Find a particular solution to the di↵erential equation
y 00 + y 0 + 2y = f
where
(
1 for |t| 1
f (t) =
0 for |t| > 1
Solution
From Exercise 5, the Fourier cosine integral for f is:
Z 1
2 sin(!) cos(!t)
f (t) = d!
⇡ 0 !
Order
The order of a PDE is the order of the highest derivative in ✓ ◆2
@ @
the equation. 3. x + =
@y @x
Linearity
A PDE is linear if and its partial derivatives appear only
linearly (to the first power). The independent variables can
In this subject, we only cover second order linear homogeneous
appear in any way.
PDEs.
Homogeneity
A PDE is homogeneous if each of its terms contains either
or one of its partial derivatives. Otherwise we call it inhomo-
geneous.
MAST20029 Engineering Maths: Second order PDEs 6.3 MAST20029 Engineering Maths: Second order PDEs 6.4
Second order PDEs arise in mathematical modelling of physical Example: Equipotential lines in electrostatics
problems. Equipotential lines in electrostatics are described by Laplace’s
equation
Example: The vibration of a string
The (small amplitude) vibration u(x, t) of a stretched string @2 @2
+ =0
is described by the wave equation @x2 @y 2
where (x, y) is the electrostatic potential. Laplace’s equation
@2u @2u
=0 describes time-independent phenomena.
@t2 @x2
where u measures the displacement from the equilibrium po-
sition of the string, at position x and time t.
Example: The temperature of a rod
u The temperature T (x, t), at position x and time t, along a
thin rod is described by the heat equation
Displaced position of string
@T @2T
=0
@t @x2
x
O where is the thermal conductivity.
Equilibrium position of string
x
MAST20029 Engineering Maths: Second order PDEs 6.5 MAST20029 Engineering Maths: Second order PDEs 6.6
The method works best for homogenous PDEs with some ho- = sin(⇡x) + 2 sin(3⇡x)
mogeneous boundary conditions, posed on a finite domain. 1
=0 =0
x
O =0 1
MAST20029 Engineering Maths: Second order PDEs 6.7 MAST20029 Engineering Maths: Second order PDEs 6.8
00 00 Solve the ODEs for the three possible cases of the separation
X (x)Y (y) + X(x)Y (y) = 0
constant :
00 00
X (x) Y (y) 1. >0
=
X(x) Y (y)
2. =0
This occurs only if both sides are equal to a constant: 3. <0
00 00
X (x) Y (y)
= =
X(x) Y (y)
MAST20029 Engineering Maths: Second order PDEs 6.9 MAST20029 Engineering Maths: Second order PDEs 6.10
Case 3: <0
MAST20029 Engineering Maths: Second order PDEs 6.13 MAST20029 Engineering Maths: Second order PDEs 6.14
MAST20029 Engineering Maths: Second order PDEs 6.15 MAST20029 Engineering Maths: Second order PDEs 6.16
Exercise 3 Solution
Solve the wave equation Assume the solution has the form
@2 @2
=0 (7) (x, t) = X(x)T (t)
@x2 @t2
for {(x, t) : 0 < x < L, t > 0}, subject to the boundary and Di↵erentiating gives
initial conditions @2 00
= X (x)T (t)
@ @x2
(0, t) = 0
@x
@2 00
@ = X(x)T (t)
(L, t) = 0 @t2
@x
@
(x, 0) = 0
@t ✓ ◆
2⇡x Substitute into (7)
(x, 0) = 1 + cos
L
00 00
00 00
X (x) T (t)
@ @ =
=0 =0 X(x) T (t)
@x @x
Solve the ODEs for the three possible cases of the separation
constant :
2. =0
3. <0
MAST20029 Engineering Maths: Second order PDEs 6.19 MAST20029 Engineering Maths: Second order PDEs 6.20
Case 3: <0
MAST20029 Engineering Maths: Second order PDEs 6.21 MAST20029 Engineering Maths: Second order PDEs 6.22
MAST20029 Engineering Maths: Second order PDEs 6.23 MAST20029 Engineering Maths: Second order PDEs 6.24
Exercise 4 Solution
Find the general solution to the heat equation Assume the solution has the form
@2 @
= (8) (x, t) = X(x)T (t)
@x 2 @t
for {(x, t) : 0 < x < L, t > 0}, subject to the boundary and Di↵erentiating gives
initial conditions @2 00
= X (x)T (t)
@x2
(0, t) = 0
(L, t) = 0 @ 0
= X(x)T (t)
@t
(x, 0) = f (x) 6= 0
00 0
X (x) T (t)
=0 =0 =
X(x) T (t)
This gives two ODEs (one first order and one second order) Case 3: <0
00
X (x) X(x) = 0
0
T (t) T (t) = 0
Solve the ODEs for the three possible cases of the separation
constant :
3. <0
MAST20029 Engineering Maths: Second order PDEs 6.27 MAST20029 Engineering Maths: Second order PDEs 6.28
Exercise 5
Solve the heat equation
@2 @
2
= (9)
@x @t
for {(x, t) : 0 < x < L, t > 0}, subject to the boundary and
initial conditions
(0, t) = 0
(L, t) = 0
(
x for 0 x L/2
(x, 0) = f (x) =
L x for L/2 < x L
Solution
Exercise 4 gives the general solution accounting for the homo-
geneous boundary conditions.
1
X ✓ ◆ ⇣ n⇡x ⌘
n2 ⇡ 2 t
(x, t) = En exp sin
n=1
L2 L
MAST20029 Engineering Maths: Second order PDEs 6.29 MAST20029 Engineering Maths: Second order PDEs 6.30
1
X ⇣ n⇡x ⌘ Assuming L = ⇡, we can use MATLAB to sketch the temper-
(x, 0) = f (x) = bn sin (11)
L ature in the bar at t = 0, 0.4, 1.0 and 2.0.
n=1
t=0.0
Z L ⇣ n⇡x ⌘ 2
2
bn = f (x) sin dx
L 0 L
8
>
< 0 for even n 1.5 t=0.4
4L
= n2 ⇡ 2 for n = 1, 5, 9, ...
>
: 4L
n2 ⇡ 2 for n = 3, 7, 11, ... 1
t=1.0
0.5
t=2.0
0
0 0.5 1 1.5 2 2.5 3 3.5
x