Chapter 10 - Derivatives of MV functions

Learning objectives

Partial differentiation

The partial derivative of a function, $f(x,y,u,v,w....)$ $$\frac{\del f}{\del y}\equiv \left(\frac{\del f}{\del y} \right)_{x,u,v,w... }$$ This notation means:

  • To take the "partial derivative"--denoted by $\del/\del y$ instead $d/dy$ --of a MV function, with respect to one of its independent variables (for example, with respect to $y$)...
  • Consider that all the other independent variables are being held constant,
  • Use all your single-variable derivative knowledge, while treating all the other variable symbols as constants.

If $f=f(x,y)$, then $\del f/\del y$ is the slope function for an $x=k$ trace of the surface $f(x,y)$. That is: $$\left.\frac{\del f}{\del y}\right|^{x=k}\equiv \frac{df(k,y)}{dy}.$$

More notation:

  • $f_x \equiv \frac{\del f}{\del x}$,
  • $f_{xy} \equiv \frac{\del f}{\del y}\frac{\del f}{\del x}$.

Second-order partial derivatives

Graphical interpretations

  • $f_x$ and $f_y$ are the slope functions for $y=k$ and $x=k$ traces of the $f(x,y)$ surface.
  • $f_{xx}$ and $f_{yy}$ are concavity functions for $y=k$ and $x=k$ traces.
  • $f_{xy}$ and $f_{yx}$ are twist functions for the $f(x,y)$ surface.

Know how to evaluate the sign of any second-order partial derivative at a particular point on a contour plot of the function. (See the last page, "Mixed Partials" of our Partial derivatives handout.

Clairaut's theorem:

  • the order of partial differentiation does not matter $$f_{xy} = f_{yx}.$$
  • This follows from
    • the property of a function that there is one and only one "output" value of the function $f(x,y)$ for any point $(x,y)$ (function input) in the function's domain, and
    • Holds for functions which are continuous, and have continuous partial derivatives.

Linear model (and chain rule)

If you have some information about a continuous function at a particular point $(x_0,y_0)$ in its domain...

  • You know the height of the surface, $f(x_0,y_0)$,
  • and the partial derivatives at $(x_0,y_0)$: $$f_x=\left.\frac{\del f}{\del x}\right|^{(x,y)=(x_0,y_0)} \ \ \ \text{and}\ \ \ f_x=\left.\frac{\del f}{\del y}\right|^{(x,y)=(x_0,y_0)}, $$
then you can find the height of the surface, $f(x,y)$ at some nearby location $(x,y)$ by means of the linear approximation: $$f(x,y) \approx f(x_0,y_0)+f_x (x-x_0)+f_y (y-y_0).$$ This is the equation of a tangent plane: A plane which is tangent to the surface $f(x,y)$ at the point $(x_0,y_0,f(x_0,y_0))$.

Re-arranging this last equation just a bit, and re-writing it in terms of changes (that is, $\Delta y = y-y_0$; $\Delta x = x-x_0$; and $\Delta z = f(x,y)-f(x_0,y_0)$): $$\begineq f(x,y) - f(x_0,y_0) &\approx f_x (x-x_0)+f_y (y-y_0)\\ \Delta z &\approx f_x \Delta x+f_y \Delta y\\ \frac{\Delta z}{\Delta t} &\approx \frac{\del f}{\del x} \frac{\Delta x}{\Delta t}+\frac{\del f}{\del y} \frac{\Delta y}{\Delta t}\\ \frac{dz}{dt} &= \frac{\del f}{\del x}\frac{dx}{dt}+\frac{\del f}{\del y} \frac{dy}{dt}\\ \endeq $$ This is the chain rule for a function $f(x,y)$ if $x=x(t)$ and $y=y(t)$ are each functions of a parameter $t$.

The gradient, and directional derivatives

The gradient of a function, $\myv \grad f(x,y)$ is a vector in the $xy$ plane which has components which are the partial derivatives wrt each of the independent variables: $$\myv\grad f =\langle \frac{\del f}{\del x}, \frac{\del f}{\del y} \rangle.$$

  • It points in the direction of steepest increase of the surface $f$.
  • It is perpendicular to the contour line at that point.
  • Its magnitude is the slope of the surface [meters of rise / meters of run...] in that steepest direction.

The directional derivative or slope of a surface in a particular direction, specified in the $xy$ plane by the unit vector $\uv u$, is given by $$D_{\uv u}f = \myv \grad f \cdot \uv u.$$

Optimization

...Finding and characterizing maxima and minima and other critical points.

Critical points of a surface, $f(x,y)$.

Look for points $(x,y)$ that simultaneously satisfy: $$\frac {\del f}{\del x}=0 \ \ \ \ \text{and} \ \ \ \ \frac {\del f}{\del y}=0.$$ You should be able to use technology (E.g. GeoGebra and CoCalc) to make surface plots and contour plots. You should be able to examine these visualizations to identify likely critical points and classify them as maxima or minima (absolute or local), or neither (for example, saddle points and inflection points).

You should also be able to evaluate the Determinant of the Hessian matrix for an analytical test of the critical point type.

Critical points of a surface along a path $g(x,y)=k$

...or critical points, subject to a "constraint" $g(x,y)=k$.

You should be able to use technology to make contour plots and to make parametric plots of curves and constraint equations. You should be able to identify and classify critical points along a path on a contour plot: Locations where a path and a level curve are parallel.

There are two ways to find the critical points along a path:

  1. Parameterize the path:
    1. Find $x(t)$ and $y(t)$ such that $g(x(t),y(t))=k$.
    2. Solve $df(x(t), y(t))/dt = 0$ to find one or more critical parameters $t_1, t_2,....$.
    3. Substitute the critical parameters into your expressions for $x$ and $y to find the critical points $(x(t_1),y(t_1))$, $(x(t_2),y(t_2)$,...
  2. or, use Lagrange multipliers:
    1. At a critical point, the two normal vectors must be parallel: $$\myv \grad f = \lambda\myv \grad g.$$
    2. Write down a system of equations: one for each component of the gradient equation, together with the constraint equation: $$\left(\myv \grad f\right)_x = \lambda\left(\myv \grad g\right)_x$$ $$\left(\myv \grad f\right)_y = \lambda\left(\myv \grad g\right)_y$$ $$g(x,y) = k$$
    3. solve the system of equations for the the coordinates $(x,y)$ and the parameter $\lambda$. (There may be multiple solution sets).

Using CoCalc...

You should be able to

  • Make a contour plot of a function $f(x,y)$ over some particular domain.
  • Plot a path on top of your contour plot.
  • Examine the plot to determine where the path is at a local maximum / minimum / saddle point or something else.