We will learn to differentiate and integrate functions (or maps) of the form
An element of ℝm or ℝn is a vector so this subject is called vector calculus.
A function f : ℝ → ℝn defines a curve in ℝn. In physics, we might think of ℝ as time and ℝn as physical space and write this as
with x ∈ ℝn. (Obviously we should take n = 3). Generalising, a map
defines a surface in ℝn, and so on.
In other applications, the domain ℝm might be viewed as physical space. For example, in physics a scalar field is a map
for example temperature
T(x) is a scalar field, as is
the Higgs field.
A vector field is a map
for example the electric field E(x) and magnetic field B(x) are vector fields.
We consider maps of the form
Assign a coordinate t to ℝ and use Cartesian coordinates on ℝn.
where ei is an orthonormal basis
such that ei ⋅ej = δij. Note that
summation convention is used
here. (For ℝ3 we also use notation
{ei} = {,
,
}.)
The image of of the function f is a parametrised curve x(t), with t the parameter.
The choice of parametrisation is not unique, for example consider
This gives the same helix for all
λ ∈ ℝ \{0}.
Sometimes the choice of parametrisation
matters, for example if t is time
and x(t) is position, then the
velocity is proportional to λ. But
we will see that some questions
are independent of the choice of
parametrisation.
A vector function x(t) is differentiable of t if, as δt → 0, we have
If (t) exists everywhere, the curve
is said to be smooth.
Note. “Big O” notation O(δt2) means terms proportional to δt2 or smaller.
In physics, dot is usually used for
time derivatives, for example (t)
and prime for spatial derivatives,
for example f′(x).
In maths, these are used
interchangeably.
Some notation: we write
The derivative is then