Relation between gradient vector and partial derivatives

From Calculus

Statement

Version type Statement
at a point, in multivariable notation Suppose is a real-valued function of variables . Suppose is a point in the domain of such that the gradient vector of at , denoted , exists. Then, the partial derivatives of with respect to all variables exist, and the coordinates of the gradient vector are the partial derivatives. In other words:
generic point, in multivariable notation Suppose is a real-valued function of variables . Then, we have
.
Equality holds wherever the left side makes sense.
generic point, point-free notation Suppose is a function of variables . Then, we have
. Equality holds wherever the left side makes sense.
{{#widget:YouTube|id=yINihD_bYzA}}

Note on continuous partials

For further information, refer: Continuous partials implies differentiable

This says that if all the partial derivatives of a function are continuous at and around a point in the domain, then the function is in fact differentiable, hence the gradient vector is described in terms of the partial derivatives as described above.

In particular, if all the partials exist and are continuous everywhere, the gradient vector exists everywhere and is given as described above.

Note that this is significant because, a priori (i.e., without checking continuity), knowledge of the partials tells us what the gradient vector should be if it exists, but it doesn't tell us whether the gradient vector does exist. Continuity helps bridge that knowledge gap.

Related facts