Section 5.9 The Multivariable Differential
In Section 5.4, we considered the tangent line to the graph of a function \(f\) of one variable. What if \(f\) is a function of more than one variable?
Consider the tangent plane to the graph of \(z=f(x,y)\) at the point (\(x_0\text{,}\)\(y_0\text{,}\)\(z_0\)). What is the height difference \(\Delta z\) between two points on the tangent plane? Hold a piece of paper at an arbitrary angle in front of you, and imagine moving on it first to the right, then directly forwards. How high did you go? The sum of the height differences in each step. How big are these height differences? As above, they are precisely the horizontal distance traveled multiplied by the appropriate slope.
In other words, the equation of the tangent plane is given by
where \(m_x\) and \(m_y\) are the slopes in the \(x\) and \(y\) directions. But these slopes are (by definition) the partial derivatives of \(f\) with respect to \(x\) and \(y\) (at the given point).
In the \(xy\)-plane, the partial derivative of \(f\) with respect to \(x\) is written as \(\frac{\partial f}{\partial x}\text{,}\) and means “the derivative of \(f\) with respect to \(x\) with \(y\) held constant”. In some contexts, it is necessary to state explicitly what variables are being held constant, in which case this partial derivative may be written as \(\left(\frac{\partial f}{\partial x}\right)_y\text{.}\) Make sure you distinguish between \(d\) and \(\partial\text{;}\) writing the letter “d” so that it looks like a \(\partial\) is not correct mathematics.
Returning to our graph, we can therefore write the equation of the tangent plane as
which leads to the following expression for the differential of \(f\)
which again can be thought of as the small change in \(f\) corresponding to small changes in \(x\) and \(y\text{.}\) Similar expressions hold for functions of more than two variables.
Notice that there is nothing special about the variable names \(x\) and \(y\text{.}\) If \(f\) is a function of any two parameters \(\alpha\) and \(\beta\text{,}\) then we have a formula equivalent to (5.9.3)), namely
In particular, it is not necessary for \(\alpha\) and \(\beta\) to have the same dimensions.