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 (18991986)
“Five oclock tea is a phrase our rude forefathers, even of the last generation, would scarcely have understood, so completely is it a thing of to-day; and yet, so rapid is the March of the Mind, it has already risen into a national institution, and rivals, in its universal application to all ranks and ages, and as a specific for all the ills that flesh is heir to, the glorious Magna Charta.”
—Lewis Carroll [Charles Lutwidge Dodgson] (18321898)
“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 (19131960)
“... your problem is your role models were models.”
—Jane Wagner (b. 1935)