# 3 Functions in higher dimensions

## 3.1 Functions of several variables

**Definition 3.1 **A function of several variables is a function
\(f: D \to C\) where \(D \subseteq \mathbb{R}^m\) and \(C \subseteq \mathbb{R}^n\), where \(m\geq 2\) and \(n\geq 1\).
\[f({x}) = ( f_1(x_1,\dots, x_m),\dots, f_n(x_1,\dots, x_m) ) \,.\]
\(D\) is called the domain of \(f\) and \(C\) is called the codomain of \(f\).

The domain of \(f\) is where each of the component \(f_i\) of \(f\) is defined.

**Example 3.1 **The following are some examples of multivariable functions

\(f(x,y) = x^2 - 2xy + y^2\)

\(f(x,y,z) = \frac{1}{1 - xy^2}\)

## 3.2 Vector functions

### 3.2.1 Limit, continuity and differentiation

The expression in the vector equation for a line is an example of a function that maps from \(\mathbb{R}\) to \(\mathbb{R}^n\). There’s no one who would stop us from considering more general kinds of function.

**Definition 3.2 **A **vector function** (**vector-valued function**) is a function that has the codomain that belongs to \(\mathbb{R}^n\) where \(n\geq 2\). In other words, \(f: D \to \mathbb{R}^n\).

**Example 3.2 **The following are some examples of vector functions.

\(\mathbf{r}(t) = \mathbf{r}_0 + t\mathbf{v}\)

\(\mathbf{f}(t) = \langle \cos(t),\sin(t), t \rangle\)

Note that my definition is more general than that in the book.
However,
**In this course, whenever we talk about vector valued function, we will only refer to
that which has one dimensional domain (\(D \subseteq \mathbb{R}\)).**

By and large, there’s nothing different between a vector function and a one-variable scalar function. All the concepts such as limit, continuity and differentiability are applied to each coordinate the same way as in one dimensional case.

**Theorem 3.1 **Let \(\mathbf{r}: \mathbb{R}\to \mathbb{R}^n\), given by \(\mathbf{r}(t) = \langle r_1(t), \dots , r_n(t) \rangle\).
Then, \(\mathbf{r}\) is said to be continuous at \(t_0\) if
\[\begin{equation*}
\mathbf{r}(t_0) = \lim_{t\to t_0} \mathbf{r}(t) \,,
\end{equation*}\]
where
\[\begin{equation*}
\lim_{t\to t_0} \mathbf{r}(t) = \langle \lim_{t\to t_0}r_1(t) , \dots , \lim_{t\to t_0} r_n(t) \rangle \,.
\end{equation*}\]
Furthermore, we can define the derivative of \(\mathbf{r}\)
\[\begin{equation*}
\frac{d}{dt} \mathbf{r}(t) = \mathbf{r}'(t) = \lim_{h\to 0} \frac{\mathbf{r}(t+h) - \mathbf{r}(t)}{h}
\end{equation*}\]
if this limit exists.

When \(\mathbf{r}:I \to \mathbb{R}^n\) (\(I\) is an interval in \(\mathbb{R}\)) is continuous,
we call it a **space curve** (to describe the intuitive picture of what
a curve should look like in our mind).

Geometrically, if \(\mathbf{r}'(t)\) exists and \(\mathbf{r}'(t) \not= \mathbf{0}\), it
represents the **tangent vector** of the curve \(\mathbf{r}\) at \(t\).

**Definition 3.3 **A **parametric equation** for a curve is an equation of the form
\[
x=x(t)\,, \quad y = y(t)\,, \quad z = z(t) \,.
\]

Typical differentiation rules apply.

**Theorem 3.2 (Differentiation rules) **

\((\mathbf{u}(t) + \mathbf{v}(t))' = \mathbf{u}'(t) + \mathbf{v}'(t)\)

\((c \mathbf{u}(t))' = c \mathbf{u}'(t)\)

\((f(t) \mathbf{u}(t))' = f'(t) \mathbf{u}(t) + f(t) \mathbf{u}'(t)\)

\((\mathbf{u}(t) \cdot \mathbf{v}(t))' = \mathbf{u}'(t)\cdot \mathbf{v}(t) + \mathbf{u}(t)\cdot \mathbf{v}'(t)\)

\((\mathbf{u}(t) \times \mathbf{v}(t))' = \mathbf{u}'(t)\times \mathbf{v}(t) + \mathbf{u}(t)\times \mathbf{v}'(t)\)

\((\mathbf{u}(f(t)))' = \mathbf{u}'(f(t)) f'(t)\)

### 3.2.2 Integrals

There are different ways to play with integrals for vector functions, each has its own interpretation and physical applications.

#### 3.2.2.1 Indefinite integral

\[\begin{equation*} \int_a^b \mathbf{r}(t) \, dt = \left\langle \int_a^b r_1(t) \, dt, \int_a^b r_2(t) \, dt, \int_a^b r_3(t) \, dt \right\rangle \end{equation*}\]

#### 3.2.2.2 Arc Length and curvature

**Definition 3.4 **The length the curve \(\mathbf{r}:[a,b] \to \mathbb{R}^n\) is defined to be
\[\begin{equation*}
L = \int_a^b \left| \mathbf{r}'(t) \right| \, dt \,.
\end{equation*}\]

If one wants to keep track the length of the curve \(\mathbf{r}:[a,b] \to \mathbb{R}^n\) made by an airplane
at any time \(t\), one uses the **arc length function**

\[\begin{equation*} \ell(t) = \int_a^t \left| \mathbf{r}'(u) \right| \, du \,. \end{equation*}\]

#### Re-parametrize with respect to arc length

The nice thing about \(\ell(t)\) is that it is a strictly increasing function with respect to \(t\), given that \(\mathbf{r}'\) is non-zero for all \(t\). Therefore, letting \(s = \ell(t)\), we can talk about the inverse of \(\ell\), \(\ell^{-1}:[0,L] \to [a,b]\) \[\begin{equation*} t = \ell^{-1}(s) \,. \end{equation*}\] Therefore, we can re-write \[\begin{equation*} \mathbf{r}(t) = \mathbf{r}(\ell^{-1}(s)) \,. \end{equation*}\]

**Theorem 3.3 **\[\left| \frac{d r(t)}{ds} \right| = 1 \,.\]
Thus,
\[l(s) = \int_0^s \left| \frac{d}{ds} \mathbf{r}(t) \right| \, dt = s \,.\]

Because of the unchanging nature of the arc-length (with respect to the
parametrization),
it is used to define a geometric quantity of a space curve called **curvature**.

**Definition 3.5 (curvature) **Let \(\mathbf{T}(t)\) be the unit tangent vector of the curve \(\mathbf{r}:[a,b] \to \mathbb{R}^3\).
The curvature of \(\mathbf{r}(t(s))\) is defined to be
\[\begin{equation*}
\kappa(s) = \left| \frac{d \mathbf{T}(t(s))}{ds}\right| \,.
\end{equation*}\]

To convert this into the parameter \(t\), we write \(s= s(t)\) and use chain rule to get.

**Theorem 3.4 **We have that
\[\begin{equation*}
\kappa(s(t)) = \frac{|\mathbf{T}'(t)|}{|\mathbf{r}'(t)|} \,.
\end{equation*}\]

## 3.3 Activity: on osculating circle and curvature

For those who are interested in the geometrical meaning of the curvature without having to accept from the book that the curvature is the inverse of the radius of the osculating circle, please take a look at https://github.com/sonv/MultiCalc/blob/main/Writing/latexbuild/osculating.pdf.