Definition:Extremum/Functional

Definition
The functional $J[y]$ has a (relative) extremum for $y=\hat{y}$ if $J[y]-J[\hat{y}]$ does not change its sign in some neighbourhood of the curve $y=\hat{y}\left(x\right)$.