calculus of variations is a technique to find the function that extremizes the integral provided that the end points are fixed
taking a path, , and varying it as:
is the extremal path from to , and is a general, small excursion that the path is forced to take, but it must always pass through its fixed end points:
considering , and taking a small pertubation: like a taylor expansion, where only the first order variation is of interest:
by definition, , with as the extremal path, and as the extremal action:
using integration by parts on the second term:
must be equal to zero as the variations vanish at the end points:
the only way can be stationary, ie: , is if the following euler-lagrange equation is satisfied: