Higher-order partial derivatives describe how the rate of change of a multivariable function changes as you move in one coordinate direction while holding the others fixed. For a surface z = f(x,y), first partial derivatives measure slope in the x and y directions, while second partial derivatives measure bending or curvature. These ideas matter in physics, engineering, economics, and machine learning because many real systems depend on more than one input.
They help identify peaks, valleys, saddle points, and how small changes propagate through a model.
The pure second partials f_xx and f_yy measure how the x-slope changes with x and how the y-slope changes with y. The mixed partials f_xy and f_yx measure how the slope in one direction changes as you move in the other direction. When f_xy and f_yx are continuous near a point, Clairaut's theorem says they are equal, which is a powerful simplification.
A common way to organize all second partial derivatives is the Hessian matrix, which is used to classify critical points and approximate surfaces locally.
Understanding Calculus: Higher-Order Partial Derivatives
A second partial derivative is best understood as a rate of change of a rate of change. Imagine a hill whose height depends on east west position and north south position. At one spot, walking east may make you rise quickly.
A short distance farther east, that same walk may become steeper, flatter, or downhill. The change in the eastward slope tells you about the surface's bending in that direction. A positive value means the slope tends to increase.
A negative value means it tends to decrease. A value near zero means the surface is locally close to flat in that direction, though its behavior in other directions can still be important.
Mixed derivatives describe interaction between inputs. Suppose temperature at a point on a metal sheet depends on horizontal position and vertical position. First, measure how fast temperature changes horizontally.
Then move vertically and see whether that horizontal change becomes stronger or weaker. This is a mixed effect. In a business model, price might depend on advertising and production level.
A mixed derivative can describe whether increasing production changes the effect that advertising has on price. The order matters during the calculation. One route begins by holding the second variable fixed.
The other begins by holding the first variable fixed. For smooth functions, both routes reach the same result.
This agreement is not just a shortcut. It shows that the local interaction is well behaved.
Clairaut's result needs a condition because unusual functions can behave badly at a single point. A formula may be defined there, and first derivatives may exist there, while the mixed derivatives fail to agree. These examples often use pieces, absolute values, or expressions that change behavior near the origin.
In most school problems involving polynomials, exponentials, trigonometric functions, and ordinary products of these functions, the needed smoothness is present. Still, students should state or check that the relevant derivatives are continuous near the point before claiming equality. This habit matters more in advanced calculus, where a result can look believable yet lack the conditions required to use it.
At a critical point, the first-order changes vanish, so second-order information becomes especially useful. Think of placing a tiny bowl over the graph near that point. If the surface bends upward in every nearby direction, the point is a local minimum.
If it bends downward in every direction, it is a local maximum. A saddle point rises along one path but falls along another, like a mountain pass. The Hessian collects the local bending information into one object.
Its determinant, found by multiplying the two pure second derivatives then subtracting the square of a mixed derivative, helps distinguish these cases. When practicing, take one derivative at a time, write which variable is held fixed, simplify before differentiating again, and evaluate at the point only after finding the general derivatives. These steps prevent most sign errors and order mistakes.
Key Facts
- First partial derivatives: f_x = ∂f/∂x and f_y = ∂f/∂y.
- Pure second partial derivatives: f_xx = ∂²f/∂x² and f_yy = ∂²f/∂y².
- Mixed partial derivatives: f_xy = ∂/∂y(f_x) and f_yx = ∂/∂x(f_y).
- Clairaut's theorem: if f_xy and f_yx are continuous near a point, then f_xy = f_yx at that point.
- Hessian matrix for f(x,y): H = [[f_xx, f_xy], [f_yx, f_yy]].
- Second derivative test: D = f_xx f_yy - (f_xy)^2 helps classify critical points when f_x = 0 and f_y = 0.
Vocabulary
- Partial derivative
- A derivative of a multivariable function with respect to one variable while the other variables are held constant.
- Higher-order partial derivative
- A partial derivative found by differentiating a function more than once with respect to one or more variables.
- Mixed partial derivative
- A second or higher derivative taken with respect to different variables, such as f_xy or f_yx.
- Clairaut's theorem
- A theorem stating that mixed partial derivatives are equal when they are continuous near the point being studied.
- Hessian matrix
- A square matrix containing all second partial derivatives of a multivariable function.
Common Mistakes to Avoid
- Treating other variables as constants incorrectly. When finding f_x, y must be treated like a constant number, not like a function of x.
- Confusing f_xy with f_xx. The notation f_xy means differentiate first with respect to x and then with respect to y, not differentiate twice with respect to x.
- Assuming mixed partials are always equal. Clairaut's theorem requires continuity of the mixed partial derivatives near the point, so equality is not guaranteed for every function.
- Using the second derivative test before finding a critical point. The test with D = f_xx f_yy - (f_xy)^2 applies only at points where f_x = 0 and f_y = 0.
Practice Questions
- 1 For f(x,y) = x^3y^2 + 4xy - y^3, find f_x, f_y, f_xx, f_yy, f_xy, and f_yx.
- 2 For f(x,y) = e^(2x)y^3, compute f_xy and f_yx at the point (0,2).
- 3 A function has continuous second partial derivatives near a point and f_xy = 7 there. Explain what Clairaut's theorem tells you about f_yx at the same point and why continuity matters.