Multivariable Differential Calculus Apr 2026
( f_x, f_y, \frac\partial f\partial x ), etc. 5. Higher-Order Partial Derivatives [ f_xy = \frac\partial^2 f\partial y \partial x, \quad f_xx = \frac\partial^2 f\partial x^2 ] Clairaut’s theorem: If ( f_xy ) and ( f_yx ) are continuous near a point, then ( f_xy = f_yx ). 6. Differentiability and the Total Derivative ( f ) is differentiable at ( \mathbfa ) if there exists a linear map ( L: \mathbbR^n \to \mathbbR ) such that: [ \lim_\mathbfh \to \mathbf0 \fracf(\mathbfa + \mathbfh) - f(\mathbfa) - L(\mathbfh) = 0 ] ( L ) is the total derivative (or Fréchet derivative). In coordinates: [ L(\mathbfh) = \nabla f(\mathbfa) \cdot \mathbfh ] where ( \nabla f = \left( \frac\partial f\partial x_1, \dots, \frac\partial f\partial x_n \right) ) is the gradient .
For ( z = f(x,y) ) with ( x = g(t), y = h(t) ): [ \fracdzdt = \frac\partial f\partial x \fracdxdt + \frac\partial f\partial y \fracdydt ] multivariable differential calculus
Existence of all partial derivatives does not guarantee differentiability (continuity of partials does). 7. The Gradient [ \nabla f(\mathbfx) = \left( \frac\partial f\partial x_1, \dots, \frac\partial f\partial x_n \right) ] ( f_x, f_y, \frac\partial f\partial x ), etc