{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Problem\n\nLet $\\Omega \\subseteq \\R^n$ be an open set and let $L \\colon \\R^n \\to \\R$, written $L(p)$, be a real [[analytic function|081WKEDK6C]].\nAssume $L$ is uniformly convex: for constants $0 \u003c \\lambda \\le \\Lambda$, the eigenvalues of the Hessian matrix $D^2 L(p)$ lie in $[\\lambda, \\Lambda]$ for all $p$.\nConsider the functional $J(u) = \\int_\\Omega L(\\nabla u) \\, dx$ of the [[calculus of variations|PQ25NHV0KS]].\nCall $u \\in W^{1,2}_{\\mathrm{loc}}(\\Omega)$ a local minimiser of $J$ if $\\int_{S} L(\\nabla u) \\, dx \\le \\int_{S} L(\\nabla u + \\nabla \\varphi) \\, dx$ for every $\\varphi \\in W^{1,2}(\\Omega)$ that vanishes outside a compact set $S \\subseteq \\Omega$.\nDecide whether every local minimiser of $J$ is real analytic in $\\Omega$.\nIn Hilbert's words, the question is whether the solutions of regular problems of the calculus of variations are always analytic.\n\n## Remarks\n\nHilbert asked the question in a more general form, for analytic Lagrangians $L(x, u, \\nabla u)$ that satisfy the Legendre condition; the form above is the model case, with the same answer.\nThe answer is yes for scalar functions $u$.\nBernstein proved in 1904 that $C^3$ solutions of analytic nonlinear elliptic equations in two variables are analytic.\nThe general case was settled by De Giorgi in 1957 and, independently, by Nash in 1958.\nThey proved that weak solutions of linear elliptic equations in divergence form with bounded measurable coefficients are Hölder continuous.\nThe derivatives of a minimiser solve such an equation, so $u \\in C^{1,\\alpha}$.\nThen Schauder theory gives $u \\in C^\\infty$, and the analyticity of smooth solutions of analytic elliptic equations gives that $u$ is analytic.\nFor vector-valued $u$ the answer is no: De Giorgi gave a counterexample in 1968 of a non-smooth minimiser for an elliptic system.\n\n## Explanations\n\n### L1 human\n\nHilbert noticed that the minimisers of natural energies, such as the area of a soap film, tend to be not just smooth but analytic, given by convergent power series.\nHe asked whether this is always so for well-behaved energies.\nThe answer, found more than fifty years later, is yes for a single unknown function and no for systems of unknown functions.\nThe work on this problem created much of modern regularity theory for elliptic equations.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "PQ25NHV0KS"
    ],
    "history": {
      "first_stated": "1900",
      "posed_by": "David Hilbert"
    },
    "kind": "problem",
    "msc": [
      "35B65",
      "49N60",
      "35J60"
    ],
    "name": "Hilbert's nineteenth problem",
    "same_as": {
      "wikidata": "Q5761157",
      "wikipedia": "Hilbert's nineteenth problem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Hilbert%27s_nineteenth_problem"
      }
    ],
    "tag": "QPMM2ZPWBW",
    "uses": [
      "PQ25NHV0KS",
      "PS0VV149ET",
      "081WKEDK6C"
    ]
  },
  "kind": "problem",
  "link": "https://tamnd.github.io/math2/node/QPMM2ZPWBW/",
  "links": [
    {
      "field": "about",
      "target": "PQ25NHV0KS"
    },
    {
      "field": "uses",
      "target": "PQ25NHV0KS"
    },
    {
      "field": "uses",
      "target": "PS0VV149ET"
    },
    {
      "field": "uses",
      "target": "081WKEDK6C"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/QPMM2ZPWBW.md",
  "msc": [
    "35B65",
    "49N60",
    "35J60"
  ],
  "name": "Hilbert's nineteenth problem",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/QPM/QPMM2ZPWBW.md",
  "status": null,
  "tag": "QPMM2ZPWBW",
  "uri": "m2://QPMM2ZPWBW",
  "url": "https://tamnd.github.io/math2/wiki/hilberts-nineteenth-problem/",
  "writing": {
    "tag": "QPMM2ZPWBW",
    "kind": "problem",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}