Vector fields

$\newenvironment {prompt}{}{} \newcommand {\todo }[0]{} \newcommand {\oiint }[0]{{\large \bigcirc }\kern -1.56em\iint } \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[1]{{\overset {\rightharpoonup }{#1}}} \newcommand {\vec }[1]{{\overset {\boldsymbol {\rightharpoonup }}{\mathbf {#1}}}} \DeclareMathOperator {\proj }{\vec {proj}} \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\vec {\boldsymbol {\l }}} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} changed the theorem header of amsthm failed\MessageBreak }}} \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\Sectionformat }[2]{#1}$

We introduce the idea of a vector at every point in space.

A review of functions

When we started on our journey exploring calculus, we investigated functions: $f:\R \to \R$ Typically, we interpert these functions as being curves in the $(x,y)$ -plane:

We’ve also studied vector valued functions: $\vec {f}:\R \to \R ^n$ We can interpert these functions as parametric curves in space:

We’ve studied functions of several variables $F:\R ^n \to \R$ We can interpert these functions as surfaces in $\R ^{n+1}$ ,

Now we study vector-valued functions of several variables $\vec {F}:\R ^n\to \R ^n$ and we intererpert these as vector fields, meaning for each point in the $(x,y)$ -plane we have a vector.

Let’s be explicit

A vector field in $\R ^n$ is a function $\vec {F}: \R ^n\to \R ^n$ where for every point in the domain, we assign a vector to the range.

Consider the following table describing a vector field $\vec {F}$ :

What is $\vec {F}(1,7)$ ? $\vec {F}(1,7) = \vector {\answer {1},\answer {-1}}$

What is $\vec {F}(3,5)$ ? $\vec {F}(3,5) = \vector {\answer {0},\answer {2}}$

What is $\vec {F}(2,6)$ ? $\vec {F}(2,6) = \vector {\answer {0},\answer {0}}$

Consider the following vector field:

Which expression is best described by this vector field?

Note, $\grad (x+y/2) = \vector {1,1/2}$ .

Now we give you a small sampling of some important vector fields.

Radial fields

Let’s see some examples of radial vector fields:

Here we see $\vec {F}(x,y) = \vector {\frac {x}{\sqrt {x^2+y^2}},\frac {y}{\sqrt {x^2+y^2}}}:$

Here we see $\vec {G}(x,y) = \vector {\frac {-x}{x^2+y^2},\frac {-y}{x^2+y^2}}:$

Here we see $\vec {H}(x,y,z) = \vector {\frac {x}{(x^2+y^2+z^2)^2},\frac {y}{(x^2+y^2+z^2)^2},\frac {z}{(x^2+y^2+z^2)^2}}:$

Each of the vector fields above is a radial vector field.

A radial vector field is a field of the form $\vec {F}:\R ^n\to \R ^n$ where $\vec {F}(\vec {x}) = \frac {\pm \vec {x}}{|\vec {x}|^p}$ where $p$ is a real number.

Is $\vec {F}(x,y,z) = \vector {x,y,z}$ a radial vector field?

Absolutely! This vector field can be rewritten as: $\vector {\frac {x}{(\sqrt {x^2+y^2+z^2})^p},\frac {y}{(\sqrt {x^2+y^2+z^2})^p},\frac {z}{(\sqrt {x^2+y^2+z^2})^p}}$ where $p=\answer {0}$ .

Rotational fields

Vector fields can easily exhibit what looks like “rotation” to the human eye.

Here we see $\vec {F}(x,y) = \vector {-y,x}:$

Here we see $\vec {F}(x,y) = \vector {\frac {-y}{x^2+y^2},\frac {x}{x^2+y^2}}:$

At this point, we’re going to give some “spoilers.” It turns out that from a local perspective, meaning all points very very close each other, only the first example exhibits “rotation.” While the second example does look like it is “rotating,” as we will see, it does not exhibit “local rotation.”

Gradient fields

We’re going to start with the definition.

Consider any differentiable function $F:\R ^n\to \R$ . A gradient field is a vector field $\vec {G}:\R ^n\to \R ^n$ where $\vec {G} = \grad F.$

Since we are assuming $F$ is differentiable, we are also assuming that $\vec {G}$ is defined for all points in $\R ^n$ . This is important to note, as we will see.

Consider $F(x,y) = \frac {\sin (3x)+\sin (2y)}{1+x^2+y^2}$ . A plot of this function looks like this:

The gradient field of $F$ looks like this:

Note we can see the vector pointing in the initial direction of greatest increase. Let’s see a plot of both together:

What is the connection between gradient vectors and level curves?

Now consider $F(x,y) = \frac {1}{\sqrt {x^2+y^2}}$ . A plot of this function looks like this:

The gradient field of $F$ $\grad F(x,y) = \vector {\frac {-x}{(x^2+y^2)^{3/2}},\frac {-y}{(x^2+y^2)^{3/2}}}$ looks like this:

Note we can see the vector pointing in the initial direction of greatest increase. Let’s see a plot of both together:

The Clairaut gradient test

Now we give a method to determine if a field is a gradient field.

Clairaut A vector field $\vec {F}(x,y) = \vector {M(x,y),N(x,y)}$ , where $M$ and $N$ have continuous partial derivatives, is a gradient field if and only if $\pp [N]{x} -\pp [M]{y} = 0$ for all $x$ and $y$ .

If $\vec {G} = \grad F$ , then $F$ is called a potential function for $\vec {G}$ .

Is $\vec {G} = \vector {2x+y^2,2y+x^2}$ a gradient field? If so find a potential function.

Is $\vec {G} = \vector {x^3,-y^4}$ a gradient field? If so find a potential function.

Find a potential function $F$ such that $F(\vec {0}) = 0$ . $F(x,y) = \answer {x^4/4-y^5/5}.$

Is $\vec {G} = \vector {y\cos (x),\sin (x)}$ a gradient field? If so find a potential function.

Find a potential function $F$ such that $F(\vec {0}) = 0$ . $F(x,y) = \answer {y\sin (x)}.$

Is $\vec {G} = \vector {\frac {-y}{x^2+y^2},\frac {x}{x^2+y^2}}$ a gradient field? If so find a potential function.

What happens at $\vec {0}$ ?

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

A review of functions

Radial fields

Rotational fields

Gradient fields

The Clairaut gradient test

Controls

Symbols

Settings