Differentiation in several variables · Definition
Partial derivative
Before you start you need to know
It is the way to ask how a quantity that depends on several variables changes when only one of them moves and the others stay fixed.
Definition
The partial derivative of a function \(f(x,y)\) with respect to \(x\) at a point \((a,b)\) is the ordinary derivative of the one-variable function obtained by fixing \(y=b\) and letting only \(x\) vary.
In practice there is nothing new to compute: to get \(f_x\) differentiate as in one variable treating \(y\) as a constant, and for \(f_y\) do the opposite. With \(f(x,y)=x^2y+3y^3\) one gets \(f_x=2xy\) and \(f_y=x^2+9y^2\). The notations \(\dfrac{\partial f}{\partial x}\) and \(\partial_x f\) are also used; the symbol \(\partial\) warns that other variables are held fixed.
Geometrically, slicing the surface \(z=f(x,y)\) with the vertical plane \(y=b\) produces a curve; \(f_x(a,b)\) is the slope of the tangent line to that curve at \(x=a\). Likewise \(f_y(a,b)\) is the slope in the direction of the \(y\)-axis. Like any derivative it measures a rate of change: if \(f_x(a,b)=3\), a small increase \(\Delta x\) in \(x\) changes \(f\) by approximately \(3\,\Delta x\).
Partial derivatives can be differentiated again, giving the second-order ones \(f_{xx}\), \(f_{yy}\) and the mixed ones \(f_{xy}\), \(f_{yx}\). If the latter are continuous they coincide (Clairaut's theorem), so for the usual functions the order does not matter. With \(f=x^2y^3\) one gets \(f_{xy}=f_{yx}=6xy^2\).
It is best not to over-interpret: the existence of \(f_x\) and \(f_y\) at a point only describes what happens along the two axes. For \(f(x,y)=|x|+y\), \(f_x(0,0)\) does not exist, and there are functions with both partials at a point that are not even continuous there. The notion that does control the behavior in every direction, differentiability, comes after the tangent plane.
Think about it
If \(f_x(a,b)=0\) and \(f_y(a,b)=0\), can we conclude that \(f\) has a maximum or a minimum at \((a,b)\)?
No. Zero partials only say that the graph is flat along the axes; for \(f=x^2-y^2\) both vanish at the origin, which is a saddle point, not an extremum.
Exercises 10
- For \(f(x,y)=x^2y+3y^3\), compute \(f_x(x,y)\).
- For the same function \(f(x,y)=x^2y+3y^3\), compute \(f_y(x,y)\).
- Compute \(\dfrac{\partial}{\partial x}\sin(xy)\).
- If \(f(x,y)=e^{xy^2}\), what is \(f_y(1,1)\)?
- For \(f(x,y)=\sqrt{x^2+y^2}\), what is \(f_x(3,4)\)?
- If \(f(x,y)=x\ln y\), what is \(f_y(2,e)\)?
- For \(f(x,y)=x^2y^3\), compute the mixed partial derivative \(f_{xy}=\dfrac{\partial}{\partial y}\left(f_x\right)\).
- The surface \(z=9-x^2-y^2\) is cut by the plane \(y=2\). What is the slope of the resulting curve where \(x=1\)?
- For \(f(x,y)=|x|+y\), which statement is true at the origin?
- Which of these functions satisfies \(f_{xx}+f_{yy}=0\) at every point?
References
- James Stewart, Daniel K. Clegg, Saleem Watson, Calculus: Early Transcendentals, 9th edition, Cengage, 2021. §14.3
- Joel Hass, Christopher Heil, Przemyslaw Bogacki, Maurice D. Weir, George B. Thomas Jr., Thomas' Calculus, 15th edition, Pearson, 2023. §14.3
- Jerrold E. Marsden, Anthony Tromba, Vector Calculus, 6th edition, W. H. Freeman, 2012. §2.3