Definition:Weak Extremum of Functional