Derivative of functional on path space
Let be an element of the tangent space at a path and let be a functional from to . Then the derivative of at the point with respect to the tangent direction is defined as follows:
Let be any variation whose variation vector field is . The derivative is then:
A critical path of a functional is defined as a path (element of the path space) at which the derivative of the functional is zero.