Hilbert's nineteenth problem is one of the 23 Hilbert problems, set out in a list compiled by David Hilbert in 1900. It asks whether the solutions of regular problems in the calculus of variations are always analytic. Informally, and perhaps less directly, since Hilbert's concept of a "regular variational problem" identifies this precisely as a variational problem whose Euler–Lagrange equation is an elliptic partial differential equation with analytic coefficients, Hilbert's nineteenth problem, despite its seemingly technical statement, simply asks whether, in this class of partial differential equations, any solution inherits the relatively simple and well understood property of being an analytic function from the equation it satisfies. Hilbert's nineteenth problem was solved independently in the late 1950s by Ennio De Giorgi and John Forbes Nash, Jr.

History

The origins of the problem

David Hilbert presented what is now called his nineteenth problem in his speech at the second International Congress of Mathematicians. In he states that, in his opinion, one of the most remarkable facts of the theory of analytic functions is that there exist classes of partial differential equations which admit only analytic functions as solutions, listing Laplace's equation, Liouville's equation, the minimal surface equation and a class of linear partial differential equations studied by Émile Picard as examples. He then notes that most partial differential equations sharing this property are Euler–Lagrange equations of a well defined kind of variational problem, satisfying the following three properties:

:<math>{\iint F(p,q,z;x,y) dx dy} = \text{Minimum} \qquad

\left[ \frac{\partial z}{\partial x}=p \quad;\quad \frac{\partial z}{\partial y}=q \right]</math>,

:<math>\frac{\partial^2 F}{\partial^2 p}\cdot\frac{\partial^2 F}{\partial^2 q} - \left(\frac{\partial^2 F}\right)^2 > 0</math>,

: is an analytic function of all its arguments and .

Hilbert calls this a "regular variational problem". Property means that these are minimum problems. Property is the ellipticity condition on the Euler–Lagrange equations associated to the given functional, while property is a simple regularity assumption about the function . Having identified the class of problems considered, he poses the following question: "... does every Lagrangian partial differential equation of a regular variation problem have the property of admitting analytic integrals exclusively?" He asks further if this is the case even when the function is required to assume boundary values that are continuous, but not analytic, as happens for Dirichlet's problem for the potential function . and independently constructed several counterexamples, showing that in general there is no hope of proving such regularity results without adding further hypotheses.

Precisely, gave several counterexamples involving a single elliptic equation of order greater than two with analytic coefficients. For experts, the fact that such equations could have nonanalytic and even nonsmooth solutions created a sensation.

and gave counterexamples showing that in the case when the solution is vector-valued rather than scalar-valued, it need not be analytic; the example of De Giorgi consists of an elliptic system with bounded coefficients, while the one of Giusti and Miranda has analytic coefficients. Later, provided other, more refined, examples for the vector valued problem.

De Giorgi's theorem

The key theorem proved by De Giorgi is an a priori estimate stating that if u is a solution of a suitable linear second order strictly elliptic PDE of the form

:<math> D_i(a^{ij}(x)\,D_ju)=0</math>

and <math>u</math> has square integrable first derivatives, then <math>u</math> is Hölder continuous.

Application of De Giorgi's theorem to Hilbert's problem

Hilbert's problem asks whether the minimizers <math>w</math> of an energy functional such as

:<math>\int_UL(Dw)\,\mathrm{d}x</math>

are analytic. Here <math>w</math> is a function on some compact set <math>U</math> of R<sup>n</sup>, <math>Dw</math> is its gradient vector, and <math>L</math> is the Lagrangian, a function of the derivatives of <math>w</math> that satisfies certain growth, smoothness, and convexity conditions. The smoothness of <math>w</math> can be shown using De Giorgi's theorem

as follows. The Euler–Lagrange equation for this variational problem is the non-linear equation

:<math> \sum\limits_{i=1}^n(L_{p_i}(Dw))_{x_i} = 0</math>

and differentiating this with respect to <math>x_k</math> gives

:<math> \sum\limits_{i=1}^n(L_{p_ip_j}(Dw)w_{x_jx_k})_{x_i} = 0</math>

This means that <math>u=w_{x_k}</math> satisfies the linear equation

:<math> D_i(a^{ij}(x)D_ju)=0</math>

with

:<math>a^{ij} = L_{p_ip_j}(Dw)</math>

so by De Giorgi's result the solution w has Hölder continuous first derivatives, provided the matrix <math>L_{p_ip_j}</math> is bounded. When this is not the case, a further step is needed: one must prove that the solution <math>w</math> is Lipschitz continuous, i.e. the gradient <math>Dw</math> is an <math>L^\infty</math> function.

Once w is known to have Hölder continuous (n+1)st derivatives for some n ≥ 1, then the coefficients a<sup>ij</sup> 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.

Nash's theorem

John Nash gave a continuity estimate for solutions of the parabolic equation

:<math> D_i(a^{ij}(x)D_ju)=D_t(u)</math>

where u is a bounded function of x<sub>1</sub>,...,x<sub>n</sub>, t defined for t ≥ 0. From his estimate Nash was able to deduce a continuity estimate for solutions of the elliptic equation

:<math> D_i(a^{ij}(x)D_ju)=0</math> by considering the special case when u does not depend on t.

Notes

References

  • .
  • . Reprinted in .
  • . "On the analyticity of extremals of multiple integrals" (English translation of the title) is a short research announcement disclosing the results detailed later in . While, according to the Complete list of De Giorgi's scientific publication (De Giorgi 2006, p.&nbsp;6), an English translation should be included in , it is unfortunately missing.
  • . Translated in English as "On the differentiability and the analyticity of extremals of regular multiple integrals" in .
  • . Translated in English as "An example of discontinuous extremals for a variational problem of elliptic type" in .
  • .
  • .
  • .
  • , translated in English as .
  • .
  • .
  • .<br/>– Reprinted as .<br/>– Translated to English by Mary Frances Winston Newson as .<br/>– Reprinted as .<br/>– Translated to French by M. L. Laugel (with additions of Hilbert himself) as .<br/>– There exists also an earlier (and shorter) resume of Hilbert's original talk, translated in French and published as .
  • .
  • .<br/>– Translated in English as .
  • .
  • .
  • .
  • .
  • .
  • .