Variation

A variation of a function $y$ is a one-parameter family $y+\epsilon \eta$, where $\eta$ satisfies the required boundary conditions.

The first variation of a functional $L$ at $y$ in the direction $\eta$ is

If a continuous function $f$ satisfiesfor every smooth compactly supported test function $\eta$, then $f=0$ on $(a,b)$.