ConceptComplete

Partial Derivatives and Differentiability

Multivariable differentiation extends the ideas of single-variable calculus to functions of several variables, where the derivative becomes a linear map rather than a single number.


Partial Derivatives

Definition

Let f:RnRf : \mathbb{R}^n \to \mathbb{R} and aRn\mathbf{a} \in \mathbb{R}^n. The partial derivative of ff with respect to xix_i at a\mathbf{a} is fxi(a)=limh0f(a+hei)f(a)h\frac{\partial f}{\partial x_i}(\mathbf{a}) = \lim_{h \to 0} \frac{f(\mathbf{a} + h\mathbf{e}_i) - f(\mathbf{a})}{h} where ei\mathbf{e}_i is the ii-th standard basis vector. This measures the rate of change of ff in the direction of the xix_i-axis while holding all other variables fixed.

Definition

The gradient of ff at a\mathbf{a} is the vector of all partial derivatives: f(a)=(fx1(a),,fxn(a))\nabla f(\mathbf{a}) = \left(\frac{\partial f}{\partial x_1}(\mathbf{a}), \ldots, \frac{\partial f}{\partial x_n}(\mathbf{a})\right) The gradient points in the direction of steepest ascent and its magnitude gives the maximum rate of change: f(a)=maxu=1Duf(a)|\nabla f(\mathbf{a})| = \max_{\|\mathbf{u}\|=1} D_\mathbf{u} f(\mathbf{a}).


Differentiability

Definition

A function f:RnRf : \mathbb{R}^n \to \mathbb{R} is differentiable at a\mathbf{a} if there exists a linear map L:RnRL : \mathbb{R}^n \to \mathbb{R} such that limh0f(a+h)f(a)L(h)h=0\lim_{\mathbf{h} \to \mathbf{0}} \frac{f(\mathbf{a} + \mathbf{h}) - f(\mathbf{a}) - L(\mathbf{h})}{\|\mathbf{h}\|} = 0 The linear map LL is the total derivative (or differential) Df(a)Df(\mathbf{a}), and L(h)=f(a)hL(\mathbf{h}) = \nabla f(\mathbf{a}) \cdot \mathbf{h}.

ExampleExistence of partials does not imply differentiability

The function f(x,y)=xyx2+y2f(x,y) = \frac{xy}{x^2 + y^2} for (x,y)(0,0)(x,y) \neq (0,0) and f(0,0)=0f(0,0) = 0 has fx(0,0)=fy(0,0)=0f_x(0,0) = f_y(0,0) = 0, yet ff is not continuous at the origin (approach along y=xy = x: f1/2f \to 1/2). Since differentiability implies continuity, ff is not differentiable at (0,0)(0,0) despite having both partial derivatives there.


Sufficient Conditions

Theorem8.1Differentiability Criterion

If the partial derivatives fxi\frac{\partial f}{\partial x_i} exist in a neighborhood of a\mathbf{a} and are continuous at a\mathbf{a}, then ff is differentiable at a\mathbf{a}. Such functions are said to be of class C1C^1.

RemarkDifferentiable implies continuous, but partials do not

In single-variable calculus, differentiability and the existence of the derivative are equivalent. In several variables, the total derivative is a stronger condition than the existence of partial derivatives. The gap arises because partial derivatives only probe ff along coordinate directions, while differentiability requires control in all directions simultaneously.