Relation between gradient vector and partial derivatives
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. |
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
- Existence of partial derivatives not implies differentiable: It is possible that all the partial derivatives exist at a point but the gradient vector doesn't.
- Relation between gradient vector and directional derivatives