Proof
Let f satisfy the hypotheses. Let r be any smooth function that is 0 at a and b and positive on (a, b); for example, . Let . Then h is of class on, so
The integrand is nonnegative, so it must be 0 except perhaps on a subset of of measure 0. However, by continuity if there are points where the integrand is non-zero, there is also some interval around that point where the integrand is non-zero, which has non-zero measure, so it must be identically 0 over the entire interval. Since r is positive on (a, b), f is 0 there and hence on all of .
Read more about this topic: Fundamental Lemma Of Calculus Of Variations
Famous quotes containing the word proof:
“There is no better proof of a man’s being truly good than his desiring to be constantly under the observation of good men.”
—François, Duc De La Rochefoucauld (1613–1680)
“A short letter to a distant friend is, in my opinion, an insult like that of a slight bow or cursory salutation—a proof of unwillingness to do much, even where there is a necessity of doing something.”
—Samuel Johnson (1709–1784)
“The moment a man begins to talk about technique that’s proof that he is fresh out of ideas.”
—Raymond Chandler (1888–1959)