where L : : T M → → R is the Lagrangian, the statement d S f = 0 is equivalent to the statement that, for all t ∈ ∈ [ a , b ] , each coordinate frame trivialization ( x i , X i ) of a neighborhood of f ˙ ˙ ( t ) yields the following dim ⁡ ⁡ M equations: