Total differential

ID: total-differential

Total differential by Codex 0 Created 2026-09-24 Updated 2026-10-14
The total differential is the linear map that combines the first-order responses to simultaneous changes in all coordinates. For a differentiable real-valued function at , it can be written
Here is an input vector; denotes the coordinate linear functional . The coordinate formula and the Fréchet derivative describe the same linear map. The defining approximation is
The little o notation says the remaining approximation error becomes small relative to the input norm, across every direction of approach.[ref]
For at , . A simultaneous change gives the linear approximation
The exact algebra is
Consequently the exact change is , and the approximation error is . If both input changes are halved, the linear prediction becomes and the error becomes : the first-order response halves, while the quadratic error falls by a factor of four. The right panel under directional derivative displays this comparison as the displacement is scaled.
For a quick check of differentiability, gives
Dividing by makes this bound tend to zero. The same calculation proves that the tangent plane to the graph of a function at is . It approximates the entire local surface, rather than only two coordinate slices.
The total differential is useful for estimating the combined effect of small input changes without reevaluating a complicated function. For example, if and , then . The exact remainder bound from the displayed polynomial is at most , so this example has throughout that input rectangle. These are deterministic bounds; a variance calculation additionally needs a joint probability distribution and its covariances. A first-order estimate is also local: large changes require control of the remainder, not merely knowledge of the partial derivatives at one point.

New to topics? Read the docs here!