The left hand side of the previous equation is the functional derivative δ δ J / δ δ y of the functional J . A necessary condition for a differentiable functional to have an extremum on some function is that its functional derivative at that function vanishes, which is granted by the last equation.