_20是一个formula_21上的formula_2-竖直向量场formula_23的流，它在formula_24上有紧支撑。截面formula_18称为变分的驻点，如果这等价于其中formula_28代表formula_23的第一延长，按李导数的定义。使用嘉当公式，formula_30， 斯托克斯定理以及formula_31的紧支撑，可以证明这等价于
欧拉－拉格朗日方程.考虑一个formula_33的formula_2-竖直向量场其中formula_36。采用切