Assume is continuously differentiable. Apply the chain rule to each component with :Contracting the first identity with provesHere differentiates with respect to at fixed , while the time derivative holds fixed. The equality follows directly even at ; no division by is needed. It holds componentwise for the vector field, so it is not restricted to scalar functions.
Articles by others on the same topic
There are currently no matching articles.