Application of De Giorgi's Theorem To Hilbert's Problem
Hilbert's problem asks whether the minimizers w of an energy functional such as
are analytic. Here w is a function on some compact set U of Rn, Dw is the vector of its first derivatives, and L is the Lagrangian, a function of the derivatives of w that satisfies certain growth, smoothness, and convexity conditions. The smoothness of w can be shown using De Giorgi's theorem as follows. The Euler-Lagrange equation for this variational problem is the non-linear equation
and differentiating this with respect to xk gives
This means that u=wxk satisfies the linear equation
with
so by De Giorgi's result the solution w has Hölder continuous first derivatives.
Once w is known to have Hölder continuous (n+1)st derivatives for some n ≥ 0, then the coefficients aij have Hölder continuous nth derivatives, so a theorem of Schauder implies that the (n+2)nd derivatives are also Hölder continuous, so repeating this infinitely often shows that the solution w is smooth.
Read more about this topic: Hilbert's Nineteenth Problem
Famous quotes containing the words application of, application, theorem and/or problem:
“It is known that Whistler when asked how long it took him to paint one of his “nocturnes” answered: “All of my life.” With the same rigor he could have said that all of the centuries that preceded the moment when he painted were necessary. From that correct application of the law of causality it follows that the slightest event presupposes the inconceivable universe and, conversely, that the universe needs even the slightest of events.”
—Jorge Luis Borges (1899–1986)
“It would be disingenuous, however, not to point out that some things are considered as morally certain, that is, as having sufficient certainty for application to ordinary life, even though they may be uncertain in relation to the absolute power of God.”
—René Descartes (1596–1650)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)
“Hypocrisy is the essence of snobbery, but all snobbery is about the problem of belonging.”
—Alexander Theroux (b. 1940)