Second Order Partial Derivatives- Understanding Multivariable Calculus

What Are Second Order Partial Derivatives?

First order partial derivatives tell you how a function changes when you tweak one variable at a time. Second order partial derivatives tell you how those rates of change themselves are changing. That's it. You're taking derivatives of derivatives.

If you already understand partial derivatives, this is the next logical step. If you don't, go back and learn that first—this article assumes you know what ∂f/∂x means.

The Four Second Order Partial Derivatives

For a function f(x, y), you have four second order partial derivatives, not two. Here's why:

The subscripts tell you the order. fxy means differentiate first with respect to x, then with respect to y. This is called a mixed partial derivative.

Notation Systems

You'll encounter two main notation systems. Both are fine. Pick one and stick with it.

Leibniz Notation Prime Notation Subscript Notation
∂²f/∂x² fxx f11
∂²f/∂y² fyy f22
∂²f/∂x∂y fxy f12
∂²f/∂y∂x fyx f21

The Leibniz notation looks messy but shows exactly which variable you're differentiating with respect to in each step. The subscript notation is compact and what you'll see in textbooks when discussing the Hessian matrix.

Clairaut's Theorem (Equality of Mixed Partials)

Here's something that trips people up: fxy does not always equal fyx. They're equal under specific conditions.

Clairaut's Theorem states: If the mixed partials are continuous at a point, then they're equal there. That's the key phrase—continuous at a point.

In practice, if you're working with "nice" functions (polynomials, exponentials, sine/cosine), you can assume fxy = fyx. The functions you'll encounter in intro multivariable calculus almost always satisfy this.

But if you see a pathological function with discontinuities in the mixed partials, all bets are off. Your professor won't give you those on an exam unless they want to make a point.

The Hessian Matrix

When you arrange all four second order partial derivatives into a matrix, you get the Hessian matrix:

H(f) =

fxx fxy
fyx fyy

The Hessian shows up everywhere in optimization. The second derivative test for classifying critical points uses the determinant of this matrix. That's its main use in a typical calculus course.

Getting Started: How to Compute Second Order Partials

Let's work through an example. Find all second order partial derivatives of f(x, y) = x³y² + 2xy + sin(x).

Step 1: Find the first order partials

∂f/∂x = 3x²y² + 2y + cos(x)

∂f/∂y = 2x³y + 2x

Step 2: Differentiate each first order partial again

fxx = ∂/∂x (3x²y² + 2y + cos(x)) = 6xy² - sin(x)

fyy = ∂/∂y (2x³y + 2x) = 2x³

fxy = ∂/∂y (3x²y² + 2y + cos(x)) = 6x²y + 2

fyx = ∂/∂x (2x³y + 2x) = 6x²y + 2

Notice fxy = fyx. This function is nice enough that Clairaut's theorem applies.

What These Actually Tell You

fxx measures curvature in the x-direction. Positive fxx means the function curves upward as you move in x. Negative means it curves downward.

fyy does the same for the y-direction.

fxy and fyx measure how the slope in one direction changes as you move in the other direction. They're cross-terms. High values mean the function's behavior is strongly coupled between variables.

Common Mistakes

When You'll Actually Use This

Second order partials show up in:

The math itself isn't complicated. You're just taking derivatives twice. The notation is the main hurdle, and maybe keeping track of which variable you're treating as constant at each step.

Practice with a few functions until the process feels automatic. Then move on to the second derivative test—that's where this stuff actually matters.