Skip to main content\(\require{physics}\require{upgreek}\everymath{\displaystyle}
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\inv}{^{-1}}
\newcommand{\DS}{\displaystyle}
\newcommand{\eps}{\varepsilon}
\newcommand{\tsub}[1]{_{\mathrm{#1}}}
\newcommand{\ee}{\mathrm{e}}
\newcommand{\ii}{\mathrm{i}}
\newcommand{\limit}[1]{\lim\limits_{#1}}
\newcommand{\resid}[1]{\underset{#1}{\Res}}
\DeclareMathOperator{\sinc}{sinc}
\DeclareMathOperator{\sgn}{sgn}
\newcommand{\pii}{\pi}
\DeclareMathOperator{\Prob}{P}
\DeclareMathOperator{\EV}{E}
\DeclareMathOperator{\Var}{Var}
\newcommand{\bv}[1]{\boldsymbol{#1}}
\newcommand{\uv}[1]{\hat{\bv{#1}}}
\newcommand{\cl}[1]{\mathcal{#1}}
\newcommand{\bb}[1]{\mathbb{#1}}
\DeclareMathOperator{\Cis}{cis}
\DeclareMathOperator{\RE}{Re}
\DeclareMathOperator{\IM}{Im}
\newcommand{\xd}{\mathbf{d}}
\newcommand{\seq}[3]{{#1}_{#2},\cdots,{#1}_{#3}}
\newcommand{\psup}[1]{^{(#1)}}
\newcommand{\hypext}{{}^*}
\DeclareMathOperator{\st}{st}
\newcommand{\set}[1]{\left\{#1\right\}}
\DeclareMathOperator{\Sin}{Sin}
\DeclareMathOperator{\Cos}{Cos}
\DeclareMathOperator{\Tan}{Tan}
\DeclareMathOperator{\Sec}{Sec}
\DeclareMathOperator{\Csc}{Csc}
\DeclareMathOperator{\Cot}{Cot}
\DeclareMathOperator{\Log}{Log}
\DeclareMathOperator{\Arg}{Arg}
\DeclareMathOperator{\Ln}{Ln}
\DeclareMathOperator{\Grad}{grad}
\DeclareMathOperator{\Div}{div}
\DeclareMathOperator{\Curl}{curl}
\newcommand{\rd}{\textstyle\mathop{}\!\mathrm{d}^{\!\!\!-}\hspace{-0.0555 em}}
\newcommand{\rpd}{\textstyle\mathop{}\!\partial^{\hspace{-0.5 em}-}\hspace{-0.1666 em}}
\newcommand{\rdv}[2]{\frac{\rd{#1}}{\rd{#2}}}
\newcommand{\rpdv}[2]{\frac{\rpd{#1}}{\rpd{#2}}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 14.3 Geometry of the gradient
Objectives
-
Interpret the gradient as perpendicular to level curves and level surfaces.
-
Use the gradient to describe tangent planes and normal vectors.
-
Connect geometric properties of the gradient to constrained motion along curves and surfaces.
Introduction will go here.
-
Recall that the directional derivative can be written as
\begin{equation*}
\pdv{f}{\uv{u}} = \Grad f \cdot \uv{u}.
\end{equation*}
If this directional derivative is zero, then \(\uv{u}\) must be perpendicular to \(\Grad f\text{.}\)
Thus any direction in which the function does not change must be orthogonal to the gradient.
-
A level curve of \(f\) is defined by
\begin{equation*}
f(x,y)=k.
\end{equation*}
If a point moves along this curve, the value of \(f\) does not change.
Let \(\bv{r}(t)\) parametrize the curve. Then
\begin{equation*}
f(\bv{r}(t))=k.
\end{equation*}
Differentiating with respect to \(t\text{:}\)
\begin{equation*}
\dv{f}{t} = \Grad f(\bv{r}(t)) \cdot \bv{r}'(t) = 0.
\end{equation*}
Since
\(\bv{r}'(t)\) is tangent to the level curve, we conclude that
\(\Grad f\) is perpendicular to the level curve.
-
In three dimensions, a level surface is given by
\begin{equation*}
f(x,y,z)=k.
\end{equation*}
The same reasoning shows that
\begin{equation*}
\Grad f
\end{equation*}
is perpendicular to the surface.
Thus the gradient provides a natural normal vector to any level surface.
-
This allows us to write the equation of the tangent plane to the surface \(z=f(x,y)\) at the point \((x_0,y_0)\) in vector form:
\begin{equation*}
z = f(\bv{r}_0) + \Grad f(\bv{r}_0)\cdot(\bv{r}-\bv{r}_0).
\end{equation*}
Rearranging,
\begin{equation*}
\pdv{f}{x}(x-x_0)+\pdv{f}{y}(y-y_0)-1(z-z_0)=0.
\end{equation*}
The vector
\begin{equation*}
\qty(\pdv{f}{x},\pdv{f}{y},-1)
\end{equation*}
is normal to the tangent plane.
-
More generally, if a surface is defined implicitly by
\begin{equation*}
F(x,y,z)=0,
\end{equation*}
then \(\Grad F\) is normal to the surface. This gives us the tangent plane equation:
\begin{equation*}
\Grad F(x_0,y_0,z_0)\cdot\qty(x-x_0,y-y_0,z-z_0)=0.
\end{equation*}
-
Why does the normal direction matter? In physics and computer graphics, surface normals determine how light reflects.