Vector Calculus
Vector Calculus
Vector calculus
Vector fields
• Vector fields
o Vector
• Line functions
integrals of vectorand vector fields
fields
o Graphicalvector
• Conservative representation
fields
o Derivative and integral
• Surface integrals of vector fields
• Line integrals of vector fields
• Vector operators
• Conservative vector fields
• Integral theorems
• Surface integrals of vector fields
• Vector operators
• Integral theorems
⃗: ⊆ ℝ → ⊆ ℝ : ⃗ , ,…, → ⃗ ⃗ , ⃗ ,…, ⃗
i.e. functions for which the dependent variable is not a scalar, but a vector :
• A vector field is a vector function1 for which the number of independent and the
number of dependent variables is typically equal to 2 or 3. The independent
variables are usually spatial coordinates, possibly supplemented with time. The
concept of ‘field’ is especially used in the case of (physical) quantities that take
a specific value in each point of the 2- or 3-dimensional space. The term ‘vector
field’ is particularly used if the (physical) quantity also has a direction in addition to
a magnitude and sense, and is therefore a vector. If this is not the case, a scalar
field results (see also slide 84 of chapter 3).
• Vector fields are common in physics and in engineering applications, e.g. when
describing force fields (e.g. gravitation), fluid flows, and electric and magnetic
fields.
1In some literature the name ‘vector function’ is used for functions of ℝ → ℝ and ‘vector field’ for functions of ℝ → ℝ .
Group T Leuven Campus Mathematical Modelling
Vector calculus 4
Faculty of Engineering Technology 2022-2023
Graphical representation
• Given that vector fields are typically functions of ℝ → ℝ or ℝ% → ℝ% , they
local field vector ⃗ ⃗) for a number of points ⃗& of the 2- or 3-dimensional space.
cannot be simply represented in a graphical way. What is often done, is to plot the
sometimes used. The field lines2 are tangent to the local field vectors ⃗ ⃗) and in
depending on the application, are also called lines of force or streamlines) are
the case of a fluid flow show along which path the fluid moves.
1 1
0.8 0.8
0.6 0.6
Representation of a 0.4
Representation of 0.4
'
'
0 0
vectors -0.2
lines -0.2
-0.4 -0.4
-0.6 -0.6
-0.8 -0.8
-1 -1
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1 -1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
0⃗
⃗/ ) ≝ /
) ,…, /
) 1 ⃗ ) 0) ≝ 1 ) 0) , … , 1 ) 0)
0)
• Vector fields
• Line integrals of vector fields
o Definition
o Examples
• Conservative vector fields
• Surface integrals of vector fields
• Vector operators
• Integral theorems
concept of work. Consider e.g. a mass point 4 on which a force field ⃗ acts. The
field. It is used for instance in physics and mechanics when it comes to the
• If the mass point propagates within the force field ⃗ over a curve 9 with parametric
equation ⃗ ) ) , ' ) , $ ) the total amount of work 2 can be calculated with
$
a line integral of a vector field :
2 1 ⃗ · 0⃗
⃗
$ ) 0$
: $ )
9
0⃗
⃗ ) ⃗ ) 0) ⃗ ) 0⃗
where (see slide 89 of chapter 3)
0 0' 0$
0⃗ 0 , 0', 0$ · 0), · 0), · 0)
' ) ' ) 0'
slide 9 of
0) 0) 0)
'
chapter 2
⃗ / ) 0)
slide 7 ) 0
⃗
expressing the vector function as
) ,' ) ,$ ) , > ) ,' ) ,$ ) , ? ) ,' ) ,$ )
,@
0 0' 0$
one finds
2 1 ⃗ · 0⃗ 1 0 > 0' ? 0$ 1 0)
0)
B
>
0)
B
?
0)
B
: : ,A C , >C , ?C ,
where ); and )< are the values of ) in the starting point = and the end point of
the curve along which the integral is calculated, respectively.
Group T Leuven Campus Mathematical Modelling
Vector calculus 11
Faculty of Engineering Technology 2022-2023
Line integrals of vector fields
• On the previous slides it is specifically explained how a (force) field ⃗ can be
• In the case of a line integral over a closed contour (and passing through the
K ⃗ · 0⃗
contour only once) one writes
:
• Mind the following properties/similarities/differences with integrals of scalar fields :
Is depending on field ? curve D ? parametric representation sense in which the curve is
of the curve ? traversed ?
Line integral of a scalar field yes yes no nee E;<"" ⃗ ⃗0F
no : :E;< E<;"" ⃗ ⃗0F
0F E<; 0F
Consider the 2-dimensional vector field ⃗ G ', ' . Calculate the line
• Examples :
) ) 4G)
Use the following parametric representation :
⃗ ) N with ) 0→4
' ) )
3
= 0, 0 0, 4
'
2
⃗/ ) / ) , '/ ) 4 G 2), 1
0
0 1 2 3 4
P
then is
1 ) 4 G ) G ) · 4 G 2) ) 4G) ) ·Z
1 0)
Q TUV T W> T C , TUX T Y> T> C ,
P
) P 11) % 17) 88
P
1 2) % G 11) 17) 0) G
2 3 2 Q
3
Q
Group T Leuven Campus Mathematical Modelling
Vector calculus 14
Faculty of Engineering Technology 2022-2023
Line integrals of vector fields
the surface of the Earth. How much work (energy) must the gravitational field of
in the -direction : 4 // 0 ℎ (
4\
resistance)
\)
from the initial conditions
' ) G 9 9 )
' 0 ℎ and ' / 0 0 9 ℎ and 9 0 ' ) ℎG
2 ^,
The object reaches the surface of the Earth when ' ) 0, i.e. at time ) 2ℎ/\.
Group T Leuven Campus Mathematical Modelling
Vector calculus 16
Faculty of Engineering Technology 2022-2023
Line integrals of vector fields
• Examples :
2 1 ⃗ · 0⃗
De amount of work done can be expressed by the integral
:
where ⃗ 0, G4\ is the constant, vertically oriented vector field that has
to be integrated along the curve 9 with parametric equation ) ( ), ℎ G
^,
Note that in this case parameter ) represents time and therefore has a
.
2 Q
Q → start of the experiment Q
difference in potential energy
Group T Leuven Campus Mathematical Modelling
Vector calculus 17
Faculty of Engineering Technology 2022-2023
Line integrals of vector fields
Consider the 3-dimensional vector field ⃗ 2 ', $ , 4'$ . Calculate the line
• Examples :
to 1, 2, 3 .
c
⃗/ ) / ) , ' / ) , $′ )
3.5
First determine 3
1, 2, 6)
2.5
$
b
1.5
Then calculate
1 ⃗ · 0⃗ 1 ′ ) > '′ ) ? $′ ) 0)
1
0.5 0
0 1
;< Q '
0
0.5
1 2
1.5
2
2.5
• Examples :
The line integral is then given by
1 ⃗ · 0⃗ 1 ′ ) > '′ ) ? $′ ) 0)
;< Q
1 2) 2) · Z
1 3) ·Z
2 4 2) 3) · 6) 0)
Q TUV T > T C , TUX T? T> C , TUd TP>? T? C ,
162) e 4) % 506
1 162) P 4) 0)
5 3 Q
15
Q
Group T Leuven Campus Mathematical Modelling
Vector calculus 19
Faculty of Engineering Technology 2022-2023
Content
• Vector fields
• Line integrals of vector fields
• Conservative vector fields
o Definition
o Examples
o Applications
• Surface integrals of vector fields
• Vector operators
• Integral theorems
• As indicated in the table on slide 12, line integrals of vector fields depend on the
curve over which the integral is calculated. Hence, not only the starting point and
end point of integration are important, also the path taken to get from the starting
point to the end point is essential.
• For some types of vector fields however, the line integral is independent of the
path followed. The value of the integral then only depends on the field and on the
starting point and end point of integration. Such vector fields are called
conservative or exact vector fields.
• It follows that a line integral of a conservative vector field along a closed contour is
always equal to zero. Actually, if the starting point and end point of integration
coincide the most straightforward path between both is a curve of length zero.
Integrating over a curve of length zero leads to an integral that is zero as well.
Group T Leuven Campus Mathematical Modelling
Vector calculus 21
Faculty of Engineering Technology 2022-2023
Conservative vector fields
i i Φ i Φ i > i i ? i > i ?
• Remark that it follows from slide 34 of chapter 2 that
⋯ ⋯
i' i'i i i' i i$ i i$ i'
By checking these equalities it can be verified whether the field is conservative.
Group T Leuven Campus Mathematical Modelling
Vector calculus 22
Faculty of Engineering Technology 2022-2023
Conservative vector fields
• If ⃗ ∇Φ the line integral solely depends on the vector field and on the starting
iΦ iΦ iΦ
point and end point of integration, but not on the path followed. This is because
1 ⃗ · 0⃗ 1 0 0' 0$ 1 0 0' 0$ 1 0Φ
i i' i$
does not depend on
Φ GΦ =
point of integration
: ;;
Group T Leuven Campus Mathematical Modelling
Vector calculus 23
Faculty of Engineering Technology 2022-2023
Conservative vector fields
• The question then arises how a suitable potential function Φ can be found such
that the gradient is equal to a given conservative vector field ⃗ .
• More specifically in the case of a 2-dimensional field ⃗ , > , one looks for a
scalar function Φ , ' for which it holds that 0 > 0' 0Φ. A comparison with
slides 70 and 71 of chapter 4 shows that this search for Φ bears great resemblance
to finding the solution to an exact differential equation :
1. First it must be verified whether the 2-dimensional field is conservative. To this
i i >
end, check
i' i
2. Next, the potential function Φ , ' is determined by integrating to whilst
considering ' to be a constant parameter.
Group T Leuven Campus Mathematical Modelling
Vector calculus 24
Faculty of Engineering Technology 2022-2023
Conservative vector fields
3. When integrating to a constant of integration k ' is introduced. This can be
determined by taking the derivative of the resulting potential function Φ , '
iΦ
with respect to ', and subsequently imposing i' > and integrating to '.
As an alternative, > can be integrated to ' whilst considering to be a
constant parameter. By taking the derivative of Φ , ' with respect to and
iΦ
subsequently imposing i
integration k
and integrating to , the constant of
can be found.
Example :
i ! i >
Check whether the following 2-dimensional vector field is conservative
⃗ , > 2 ', 1 ⇒ 2
i' i
yes, conservative field
⇒ 1 ⃗ · 0⃗ 1 2)) · 1 ) 1 · 1 0) 1 3) 1 0)
;< Q Q
)% ) Q 2 =
⇒ 1 ⃗ · 0⃗ 1 2)) · 1 ) 1 · 2) 0) 1 4) % 2) 0)
;< Q Q
)P ) Q 2 =
;< Q
'G1 1
Q
3. along the circle
i i > i i ? i > i ?
1. check whether the following three conditions are satisfied
i' i i$ i i$ i'
2. find the potential function Φ , ', $ , e.g. by integrating to whilst
considering ' and $ to be constant parameters and hence, introducing3 a
constant of integration k ', $
3. next3, take the derivative of the resulting Φ , ', $ with respect to ',
> and integrate to ' whilst considering $ to be a constant
iΦ
impose i'
parameter and hence, introducing a new constant of integration r $
4. finally3, take the derivative with respect to $, impose i$ ? and integrate to $
iΦ
3if desired the order of integration or taking derivatives can be changed, e.g. by first integrating to ' or $
Group T Leuven Campus Mathematical Modelling
Vector calculus 31
Faculty of Engineering Technology 2022-2023
Conservative vector fields
⇒ 1 ⃗ · 0⃗ 1 2) · 3) 2) % G 9) ·1 G2) 3) 1 · 3 0) 1 8) % G 27) 3 0)
;< Q Q
2) P G 9) % 3) Q G4
Group T Leuven Campus Mathematical Modelling
Vector calculus 32
Faculty of Engineering Technology 2022-2023
Conservative vector fields
i i > i i ? i > i ?
Given that
2 0 G2$
i' i i$ i i$ i'
the vector field is conservative and hence, the integral from = 0, 0, 0 to 1, 1, 3
⇒ 1 ⃗ · 0⃗ Φ 1, 1, 3 G Φ 0, 0, 0 G4
;<
Group T Leuven Campus Mathematical Modelling
Vector calculus 35
Faculty of Engineering Technology 2022-2023
Conservative vector fields
• Conservative vector fields and the corresponding potential function are common
in physics, e.g. in the form of conservation laws4, and hence, find their way to
• For example, constant vector fields are of the type ⃗ -, u, v with -, u and v
applications in engineering.
ℎ
=
path 1
• Apart from constant vector fields also central vector fields are examples of
conservative fields. A central vector field is a vector field for which all vectors are
pointing towards (or away from) a central point and for which the field strength only
depends on the distance to the central point. A central vector field can be
⃗ , w, 8 " ⃗x ⇒ Φ , w, 8 1" 0
compactly described in spherical coordinates :
z z
of chapter 4)
y , w, 8 , 0, 0 G∇} } , w, 8
4{|Q 4{|Q
(see also slide 61
with of chapter 2)
• Vector fields
• Line integrals of vector fields
• Conservative vector fields
• Surface integrals of vector fields
o Definition
o Examples
• Vector operators
• Integral theorems
surface area 0€ 0 0'. If the movement of the fluid near the surface 0~ is
represented in size, sense and direction by the fluid velocity vector (⃗, the amount
of fluid 0} (in m% ) that flows through 0~ in the time interval 0), and hence the
volumetric flow rate 0r (in m% /s) are equal to5
0}
0} (⃗ 0) 0 cos 8 0' ⇒ 0r (⃗ 0 0' cos 8
0=
(⃗
*;
0) 0
*+ *‚
8 0~ 0'
5where 0~ is oriented here in such a way that (⃗ is perpendicular to the side of length 0'
Group T Leuven Campus Mathematical Modelling
Vector calculus 39
Faculty of Engineering Technology 2022-2023
Surface integrals of vector fields
• Using the normal vector 0€⃗ that is perpendicular to the surface 0~ and that has a
length equal to the surface area 0€ the volumetric flow rate can be expressed in the
0=
0r (⃗ 0€ cos 8 (⃗ · 0€⃗
more general case as dot product
0
• The volumetric flow rate r through an arbitrary (curved) surface ~ 8 0~
0'
8 (⃗
0€⃗
is then given by the following surface integral of a vector field :
r ƒ (⃗ · 0€⃗
„
• Given that (⃗ · 0€⃗ (⃗ 0€ cos 8, the flow rate r can be calculated as a surface
integral of the scalar function (⃗ cos 8 (see slide 115 of chapter 3). In practice
however, r is calculated by applying some properties of the dot product.
Group T Leuven Campus Mathematical Modelling
Vector calculus 40
Faculty of Engineering Technology 2022-2023
Surface integrals of vector fields
vectors 0 ⃗† and 0 ⃗. :
expressed as the cross product of the direction
0€⃗ 0 ⃗† ‡ 0 ⃗.
Group T Leuven Campus Mathematical Modelling
Vector calculus 41
Faculty of Engineering Technology 2022-2023
Surface integrals of vector fields
0€⃗ 0 ⃗† ‡ 0 ⃗. 0… ‡ 0(
& 0 ⃗.
(& 0~
i… i(
~
…& …& 0… … 0 ⃗†
i⃗ i⃗
ƒ ⃗ · 0€⃗ 11 ⃗ …, ( , ' …, ( , $ …, ( · ‡ 0(0…
i… i(
„ † .
Group T Leuven Campus Mathematical Modelling
Vector calculus 42
Faculty of Engineering Technology 2022-2023
Surface integrals of vector fields
• Given the parametric equation on slide 41 and because ⃗ , >, ?
product ⃗ · 0€⃗ can be calculated as
the dot
⃗ ⃗> ⃗? > ?
i i' i$ i i' i$
previous slides +
i i' i$ i i' i$
i( i( i( i( i( i(
• If the vector field is integrated over a closed surface ~, the surface integral is
‰ ⃗ · 0€⃗
written as
„
Group T Leuven Campus Mathematical Modelling
Vector calculus 43
Faculty of Engineering Technology 2022-2023
Surface integrals of vector fields
• Note that the surface ~ over which the integral is calculated only sets the direction
and the length of 0€⃗, but not the sense. As a matter of fact, there are two normal
vectors that are perpendicular to 0~ and that have a length equal to the surface
area 0€, more precisely 0 ⃗† ‡ 0 ⃗. and G0 ⃗† ‡ 0 ⃗. 0 ⃗. ‡ 0 ⃗† . 0 ⃗† ‡ 0 ⃗.
reversal and that the sense of 0€⃗ and the sign of the integral can be freely chosen.
0 ⃗. ‡ 0 ⃗†
Depending on the application one can opt for a normal vector pointing upwards or
downwards. In the case of an integral over a closed surface one decides in this
way whether the outgoing or the incoming flux is calculated.
Group T Leuven Campus Mathematical Modelling
Vector calculus 44
Faculty of Engineering Technology 2022-2023
Surface integrals of vector fields
Integrate ⃗ ', , ' 4 over the surface ~ defined by the equation $ 3 G 4'
• Examples :
…
The following parametric equation is put forward :
⃗
$
i… i… i… i… i( i( i( i(
'
1, 0, 3 0, 1, G4
Group T Leuven Campus Mathematical Modelling
Vector calculus 45
Faculty of Engineering Technology 2022-2023
Surface integrals of vector fields
Integrate ⃗ ', , ' 4 over the surface ~ defined by the equation $ 3 G 4'
• Examples :
⃗ ⃗> ⃗?
Hence,
i⃗ i⃗
0€⃗ 0… ‡ 0( 1 0 3 0…0( ⃗ · G3 G ⃗> · G4 ⃗? · 1 0…0(
i… i(
0 1 G4
Note that vector 0€⃗ G3, 4, 1 0…0( is pointing upwards because the $-coordinate
is positive (assuming one integrates from low to high values of … and ( such
that 0…, 0( H 0). If desired, one can choose ( and … ' as parameters such
that 0€⃗ 3, G4, G1 0…0( is pointing downwards.
Group T Leuven Campus Mathematical Modelling
Vector calculus 46
Faculty of Engineering Technology 2022-2023
Surface integrals of vector fields
Integrate ⃗ ', , ' 4 over the surface ~ defined by the equation $ 3 G 4'
• Examples :
0 cos …
be put forward for the cylindrical surface :
$
i⃗ i⃗
⇒ G0 sin … , 0 cos … , 0 ⇒ 0, 0, 1
i… i(
'
i⃗ i⃗ ⃗ ⃗> ⃗?
Hence,
` m
The volumetric flow rate is
• Vector fields
• Line integrals of vector fields
• Conservative vector fields
• Surface integrals of vector fields
• Vector operators
o Gradient
o Divergence
o Curl
o Laplace operator
• Integral theorems
Group T Leuven Campus Mathematical Modelling
Vector calculus 52
Faculty of Engineering Technology 2022-2023
Vector operators
• As was the case with the integration of vector functions, also when calculating
nations of (partial) derivatives are often defined based on the del operator ∇ (see
derivatives of vector functions specific operators are frequently used. Such combi-
• Remark that the gradient operates on a scalar field and outputs a vector, i.e. a
vector field.
• The concept of ‘gradient’ has already been introduced on slide 50 of chapter 2 in
which a scalar field " increases the fastest in a particular point of the domain of ".
the context of directional derivatives. In fact, the gradient indicates the direction in
If the gradient is zero a stationary point of " is found (see slide 105 of chapter 2).
The gradient is therefore used in (applied) mathematics to find extrema, both
analytically and numerically (e.g. ‘gradient descent’ optimization6).
• Previously in this chapter it was explained how the gradient is connected with the
concept of potential function and with conservative vector fields.
tial 0" (i.e. the increase) of a scalar function " can be expressed as the dot
• From slides 47 and 51 of chapter 2 it furthermore follows that the total differen-
product of the gradient and the displacement vector 0 ⃗ (step of length 0F in the
direction of …) :
0" "†/ · 0F ∇" · … 0F
∇" · 0 ⃗
i.e. 0" ∇" · 0 ⃗, and from the definition of total differential (see slide 36 of
• In fact, it follows from this (alternative) formulation of the gradient operator,
chapter 2) that ∇" is the vector containing the partial derivatives (as on slide 54).
If the gradient is expressed in polar, cylindrical or spherical coordinates however,
• The gradient can be found in all kinds of technical and scientific applications. It
was previously indicated (see slide 37 of this chapter and slide 60 of chapter 2)
that gravitational fields and electrostatic fields can be expressed as the gradient
\⃗ G∇•
of a potential function :
y G∇}
gravitational acceleration = −gradient of the gravitational potential
i i i
coordinates this comes down to
∇· ⃗ , , · , >, ?
i i' i$
i i > i ?
= meaning of the notation ∇ · ⃗
i i' i$
• Note that although ∇ is an operator you can do calculations with it as if it were a
in Cartesian coordinates
vector, e.g. as in the ‘dot product’ above. Strictly speaking, ∇ · ⃗ is not a dot
product : the notation ∇ · ⃗ only serves as a mnemonic.
Group T Leuven Campus Mathematical Modelling
Vector calculus 58
Faculty of Engineering Technology 2022-2023
Divergence
• Remark that the divergence operator operates on a vector field and returns a scalar,
vector field ⃗ , ', $ , ', $ , > , ', $ , ? , ', $ scalar field div ⃗ , ', $
• To the concept of divergence the following physical meaning can be given : the
divergence indicates how a vector field varies in space. For an (incompressible)
fluid e.g. this means that if the divergence of the velocity field (i.e. of the fluid
velocity) is positive at a specific point fluid is added to the flow at that location, i.e.
there is a source of fluid at that point. The more positive the divergence, the more
fluid is added. Whenever the divergence is negative, fluid is withdrawn from the
flow and hence, there is a sink at that location.
Group T Leuven Campus Mathematical Modelling
Vector calculus 59
Faculty of Engineering Technology 2022-2023
Divergence
$ 0€⃗ (⃗
∆} ∆ · ∆' · ∆$ around the point & , '& , $& . What is the net $&
Assume there is a cuboid-shaped volume element of volume
D C
∆$
A
volumetric flow rate flowing out of this volume element ? B
∆
First consider the plane ABCD. The outflow of fluid through ∆'
'&
'
the plane ABCD is given by (see also slide 40)
™š›œ
where 0€⃗ is a vector perpendicular to the plane ABCD
and pointing away from the volume element.
Group T Leuven Campus Mathematical Modelling
Vector calculus 60
Faculty of Engineering Technology 2022-2023
⃗
Divergence
$ 0€⃗ (⃗
$&
• Around the point ⃗ & , '& , $&
∆? D C
∆$
the plane ABCD can be A
B
∆
∆ ∆
∆'
described by the following parametric equation :
… with & G ‹…‹ & '&
2 2
ˆ' ( ∆$
'
⃗ …, (
$ $& ∆' ∆'
2 and '& G ‹ ( ‹ '&
2 2
&
⃗ ⃗> ⃗?
such that 0€⃗ 1 0 0 0…0( ⃗? 0…0( points upwards (as in the figure) and
0 1 0 ∆ ∆>
•Y >• Y
∆$
∆r™š›œ ƒ (⃗ · 0€⃗ ( , (> , (? · 0,0,1 0…0( 1 1 (? …, (, $& 0(0…
2
™š›œ ∆ ∆>
†T • W .T>• W
Group T Leuven Campus Mathematical Modelling
Vector calculus 61
Faculty of Engineering Technology 2022-2023
Divergence
• If ∆ and ∆' are sufficiently small, (? …, (, $&
∆?
point ⃗ , ' , $
∆?
can be approximated around the
⃗
& & &
∆$ i(? i(?
by (see slide 119 of chapter 2)
$ 0€⃗ (⃗
(? …, (, $& ž (? ⃗ ⃗ · …G ⃗ · ( G '& $&
2 i &
i' D C
∆$
A
∆ ∆>
B
∆
•Y >• Y ∆'
∆$
such that
2
'
∆ ∆>
†T • W .T>• W &
∆$
ž (? & , '& , $& ∆ ∆' = $-component of the velocity vector (⃗ in the neighborhood
2 of the plane ABCD × area of the plane ABCD
Group T Leuven Campus Mathematical Modelling
Vector calculus 62
Faculty of Engineering Technology 2022-2023
Divergence
$
• In a similar way, the outflow of fluid through the plane EFGH can be calculated. It
(⃗
∆$
$&
is equal to
2
∆$
Ÿ ¡¢
Note there is a minus sign in front now because 0€⃗ is point-
H G
0€⃗
E
'&
F
∆$ ∆$
∆r? ∆r™š›œ ∆rŸ ž (? & , '& , $& G (? & , '& , $& G ∆ ∆'
¡¢
2 2
i(?
simplified with the formula on slide 18 of chapter 2 : A
i$
G
E
'&
F
i( i(> i(?
∆r ‰ (⃗ · 0€⃗ ž & , '& , $& & , '& , $& & , '& , $& ∆ ∆'∆$
i i' i$
™š›œ
Ÿ ¡¢
ž div (⃗£ ∆ ∆'∆$
• ,>• ,?•
∆¤
Group T Leuven Campus Mathematical Modelling
Vector calculus 64
Faculty of Engineering Technology 2022-2023
Divergence
• The divergence of a vector field ⃗ in a point , ', $ can hence be defined in more
‰ ⃗ · 0€⃗
general terms in the following (alternative) way :
div ⃗ ≡ ∇ · ⃗ ≝ lim
∆„
∆} ∆¤→Q
where ∆~ is the closed boundary surface that encloses a volume element of
volume ∆} around the point , ', $ and ∯ ⃗ · 0€⃗ is the net outgoing flux ∆r
leaving the volume element.
• The divergence can be found in (all kinds of applications of) physics, more
specifically when describing fluid flows, gravitational fields and electromagnetic
fields.
Group T Leuven Campus Mathematical Modelling
Vector calculus 65
Faculty of Engineering Technology 2022-2023
Divergence
§
y , ', $, ) : electric veld
∇·y § , ', $, ) : electric charge density
|Q |Q : vacuum permittivity
Gauss’s law :
⃗ ⃗> ⃗?
coordinates this comes down to
i i i i i i
∇‡ ⃗ , , ‡ , >, ?
i i' i$ i i' i$
> ?
i ? i > i i ? i > i
G , G , G = meaning of the notation ∇ ‡ ⃗
i' i$ i$ i i i' in Cartesian coordinates
Group T Leuven Campus Mathematical Modelling
Vector calculus 67
Faculty of Engineering Technology 2022-2023
Curl
• Note that the curl operator operates on a vector field and returns a vector, i.e. a
⃗ ⃗> ⃗?
vector field.
⃗ ⃗ i i i
2 ' , ' $, 4 then ∇ ‡
i i' i$
Example : if
vector field ⃗ , ', $ , ', $ , > , ', $ , ? , ', $ 2 ' ' $ 4
G ' , 0, ' $ G 4 '
vector field curl ⃗ , ', $ , ', $ , > , ', $ , ? , ', $
• To the concept of curl the following physical meaning can be given : the curl
indicates how a vector field rotates, i.e. spirals around at a specific point in space.
This finds its application, for example, in the study of fluid flows.
Group T Leuven Campus Mathematical Modelling
Vector calculus 68
Faculty of Engineering Technology 2022-2023
Curl
$
(⃗
area ∆€? ∆ · ∆' around the point & , '& , $& . What is then $
Assume that there is a rectangular surface element of
&
the (fluid) circulation in the neighborhood of the point & , '& , $&
around a line parallel to the $-axis ?
∆
D C
A
∆' B
'&
of fluid around a line parallel to the $-axis can then be obtained '
Consider the trajectory A → B → C → D → A. The circulation
∆Γ? K (⃗ · 0 ⃗
from (cf. slide 10) &
;<:©;
where ⃗ is a parametric representation for the trajectory A → B → C → D → A.
Group T Leuven Campus Mathematical Modelling
Vector calculus 69
Faculty of Engineering Technology 2022-2023
Curl
Curl curl (⃗ ? and circulation ∆Γ? of rotational and irrotational (2-dimensional) fields :
(⃗ 0.05, 0 (⃗ G0.1', 0.1 (⃗ 0.1', G0.1
1 1 1
∆'
0.2 0.2 0.2
'
'
'
0 0 0
∆
-0.2 -0.2 -0.2
-0.4
D A -0.4
D A -0.4
D A
-0.6 -0.6 -0.6
-1 -1 -1
-1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1 -1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1 -1 -0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8 1
∆'
∆Γ? 1 (⃗ · 0 ⃗ 1 (⃗ · 0 ⃗ 1 (⃗ · 0 ⃗ 1 (⃗ · 0 ⃗
A B
'&
'
;< <: :© ©;
&
The first integral e.g. can be calculated by defining a
∆
parametric equation for the trajectory A → B :
∆> ∆>
) >• Y >• Y
&
2 ∆
⃗;< ) t' ) ) ⇒ 1 (⃗ · 0 ⃗ 1 (⃗ · 0, 1, 0 0) 1 (> , ), $& 0)
&
2
$ ) $& ;< ∆> ∆>
>• W >• W
∆
simplified as on slide 62 :
2
A
∆' B
;< '&
For the other trajectories a similar reasoning applies (if ∆ '
∆ ∆'
∆Γ? ž (> , ' , $ ∆' G ( & , '& ,$ ∆
&
2 & & 2 &
∆ ∆'
G (> &G , ' , $ ∆' ( & , '& G ,$ ∆
2 & & 2 &
Group T Leuven Campus Mathematical Modelling
Vector calculus 72
Faculty of Engineering Technology 2022-2023
Curl
point & , '& , $& around a line parallel to the $-axis is given by
chapter 2 that the (fluid) circulation in the neighborhood of the
$
i(>
(⃗
i( $&
∆Γ? ž & , '& , $& ∆ ∆' G & , '& , $& ∆ ∆'
i i' ∆
C
ž curl (⃗ ? £ ∆ ∆'
D
A
∆' B
ž curl (⃗ £ ∆'∆$
=/ 9
/ / /=′
A’
D’ B’’
'&
• ,>• ,?•
A’’
∆‚V '
i( i(?
∆Γ> K (⃗ · 0 ⃗ ž & , '& , $& ∆ ∆$ G & , '& , $& ∆ ∆$
i$ i
&
ž curl (⃗ > £ ∆ ∆$
=// ′9 =′′
/ // //
• The curl operator can be found in (all kinds of applications of) physics, more
specifically when describing fluid flows, electromagnetic fields, … .
Besides the two Maxwell equations using the divergence operator (see slide 66)
there are two additional equations that express the curl of the electric and the
magnetic field as a function of a number of other parameters (see also slide 12
of chapter 4) :
• Vector fields ⃗ for which it holds that ∇ ‡ ⃗ 0 in each point in space, are called
for a conservative field ⃗ it holds that one can find a potential function Φ such
• It can easily be shown that conservative vector fields are irrotational. In fact,
• The Laplace operator (also called Laplacian) maps a scalar field " on
∆" ∇ " ≝ ∇ · ∇" div grad "
where ∇ is the del operator. For a scalar field " , ', $ of 3 independent Cartesian
∇ " , , · , ,
i i' i$ i i' i$
i " i " i "
= meaning of the notation ∇ "
i i' i$ in Cartesian coordinates
• Note that unlike the gradient, divergence and curl, the Laplace operator is based
on second-order derivatives.
Group T Leuven Campus Mathematical Modelling
Vector calculus 78
Faculty of Engineering Technology 2022-2023
Laplace operator
• Remark that the Laplace operator operates on a scalar field and outputs a scalar
field. Although the Laplace operator is in fact a scalar operator, it is placed here
• The Laplace operator can be found in (all kinds of applications of) physics, more
specifically when describing fluid flows, gravitational fields, electromagnetic
fields, diffusion equations, wave equations, in quantum mechanics, …, but it is
for instance also used in digital image processing. The use of the Laplace
operator typically gives rise to a (system of) partial differential equation(s).
Some examples :
§
o Poisson’s equation for electrostatics
Gauss’s law : ∇ · y
y , ', $, ) : electric field
§
|Q ® ⇒ ∇ } G § , ', $, ) : electric charge density
y G∇} |Q |Q : vacuum permittivity
} , ', $, ) : electric potential
definition potential :
˜ , ', $, ) : temperature
o Heat equation (for a homogeneous, isotropic medium)
— i˜ § : density of mass
∇ ˜ v : specific heat capacity
§v i) — : thermal conductivity
Group T Leuven Campus Mathematical Modelling
Vector calculus 81
Faculty of Engineering Technology 2022-2023
Laplace operator
§ : density of mass
¬ : dynamic viscosity
vectorial variant of the Laplace operator
i …
o Wave equation (mechanical waves) → e.g. vibration of a membrane (slide 29 of chapter 1)
TQ
free space
is found :
i y
is v = µ · = 299792 ¹
¸•
→ the wave velocity of electric waves in vacuum
∇ y = ¬Q |Q
vectorial variant of the Laplace operator i) ¶ ¶
ℏ : Planck constant
divided by 2{
Gradient ∇Â , , , ,
scalar vector i i' i$ i i8 i$
i i > i ? 1i
1i Å i ?
Divergence ∇ · Ã
x
vector scalar i i' i$ i i8 i$
i ? i > i i ? i > i 1i ? i Å i x i ? 1i Å 1i x
Curl ∇ ‡ Ã G , G , G G , G , G
vector vector i' i$ i$ i i i' i8 i$ i$ i i i8
i " i " i " 1 i i" 1i " i "
ÄÂ
Laplace operator ∇ scalar scalar i i' i$ i i i8 i$
2i Å 2i x
∇ G G ,∇ G ,∇
x Å
Laplace operator ∇Ä Ã vector vector ∇ ,∇ >, ∇ ? x
i8 Å
i8 ?
Gradient ∇Â , ,
scalar vector i sin 8 iw i8
1i 1 i Ç x 1 i Å sin 8
Divergence ∇ · Ã vector scalar i sin 8 iw sin 8 i8
1 i Ç sin 8 i Å 1 i Å i x 1 1 i x i
G , G , G
Ç
Curl ∇ ‡ Ã vector vector sin 8 i8 iw i i8 sin 8 iw i
1 i i" 1 i " 1 i i"
Laplace operator ∇ ÄÂ sin 8
scalar scalar i i sin 8 iw sin 8 i8 i8
2 2 i Å sin 8 2 i Ç 2 i x
È∇ G G G ,∇ Ç G
x Ç
Laplace operator ∇Ä Ã x
sin 8 i8 sin 8 iw sin 8 sin 8 iw
2 cos 8 i Å 2 i x 2 cos 8 i Ç
vector vector
,∇ G G É
Å
sin 8 iw Å
sin 8 i8 sin 8 iw
Gradient ∇Â , ,
scalar vector i i' i i8
i i > 1i 1i Å
Divergence ∇ · Ã
x
vector scalar i i' i i8
i > i 1i 1i x
Curl ∇ ‡ Ã G Å
G
vector scalar7 i i' i i8
i " i " 1 i i" 1i "
ÄÂ
Laplace operator ∇ scalar scalar i i' i i i8
that the curl ∇ ‡ ⃗ now consists of only 1 component and is thus a scalar. In line with slide 73 this scalar
represents the magnitude and sense of a vector in an (imaginary) third dimension perpendicular to the '-plane.
7Remark
• Vector fields
• Line integrals of vector fields
• Conservative vector fields
• Surface integrals of vector fields
• Vector operators
• Integral theorems
o Gauss’s divergence theorem
o Green’s and Stokes’ theorems
1 ∇Φ · 0 ⃗ Φ GΦ =
o For a conservative vector field it holds that (see slide 23)
;<
o Gauss’s divergence theorem provides a link between the surface integral of
a vector field over a closed surface and the divergence operator
o Green’s and Stokes’ theorems connect the line integral of a vector field along
a closed contour with the curl
Group T Leuven Campus Mathematical Modelling
Vector calculus 89
Faculty of Engineering Technology 2022-2023
Gauss’s divergence theorem
• On slides 60-65 it was explained that the divergence of a vector field ⃗ can be
‰ ⃗ · 0€⃗
calculated as
∆r
∇· ⃗ lim lim
∆„
∆¤→Q ∆} ∆¤→Q ∆}
where ∆~ is the closed boundary surface that encloses a volume element ∆ℛ of
volume ∆} and ∯ ⃗ · 0€⃗ is the net outgoing flux ∆r leaving ∆ℛ.
• If now an arbitrary domain ℛ is partitioned into (non-overlapping) subdomains ∆ℛ&
of volume ∆}& , the total outgoing flux leaving ℛ is given by
a domain ℛ is equal to the outgoing flux, i.e. equal to the surface integral of the
proof), which states that the triple integral of the divergence of a vector field over
Ì ∇ · ⃗ 0} ‰ ⃗ · 0€⃗
ℛ „
flow rate) of fluid from a 3D domain ℛ (= surface integral over the boundary
• For an (incompressible) fluid flow this means that the net outflow (volumetric
surface ~) is equal to the sum of all fluid added net to the flow through sources
domain ℛ).
located inside that domain (= triple integral of the divergence over the 3D
states that the double integral of the $-component of the curl7 of a 2-dimensional
• This leads to Green’s theorem (formulated here without a formal proof), which
vector field over a domain ~ in the '-plane is equal to the circulation in the $-
sional domain ~ :
K ⃗ · 0 ⃗ ƒ ∇ ‡ ⃗ ? 0€
: „
i > i
⇔
equal to the line integral of the vector field over the closed contour 9 that
encloses the surface ~ :
K ⃗ · 0⃗ ƒ ∇ ‡ ⃗ · 0€⃗
: „
in line with the sense of the normal vector on the surface ~. More precisely, if
When calculating the line integral the contour is traversed in a direction that is
the contour 9 is traversed with the head in the direction of the normal vector
the surface is located on the left.
Group T Leuven Campus Mathematical Modelling
Vector calculus 94
Faculty of Engineering Technology 2022-2023
Integral theorems
• Illustration : Maxwell’s equations in a vacuum
z
‰ y · 0€⃗
z Ì §0}
in differential form : in integral form : where
§ |Q
∇·y
ℛ
|Q „
ΦÎ ƒ y · 0€⃗
Gauss’s law
∇· 0 ‰ · 0€⃗ 0
→ closed boundary surface
of a domain ℛ
„C
divergence theorem/
i Φ< ƒ · 0€⃗
Stokes’ theorem
„
∇‡y G iΦ<
i) K y · 0⃗ G
„C
i)
Faraday’s law of
ƒ -⃗ · 0€⃗
iy
Í
induction
¬Q -⃗
: C → closed contour of a surface ~′
∇‡ |Q iΦÎ
i)
„C
K · 0⃗ ¬Q Í ¬Q |Q
Ampère’s
i)
circuital law
:C
Group T Leuven Campus Mathematical Modelling
Vector calculus 95
Faculty of Engineering Technology 2022-2023
References