Hilbert's twentieth problem

Last updated January 19, 2023

Hilbert's twentieth problem is one of the 23 Hilbert problems set out in a celebrated list compiled in 1900 by David Hilbert. It asks whether all boundary value problems can be solved (that is, do variational problems with certain boundary conditions have solutions).

Introduction

Hilbert noted that there existed methods for solving partial differential equations where the function's values were given at the boundary, but the problem asked for methods for solving partial differential equations with more complicated conditions on the boundary (e.g., involving derivatives of the function), or for solving calculus of variation problems in more than 1 dimension (for example, minimal surface problems or minimal curvature problems)

Problem statement

The original problem statement in its entirety is as follows:

An important problem closely connected with the foregoing [referring to Hilbert's nineteenth problem] is the question concerning the existence of solutions of partial differential equations when the values on the boundary of the region are prescribed. This problem is solved in the main by the keen methods of H. A. Schwarz, C. Neumann, and Poincaré for the differential equation of the potential. These methods, however, seem to be generally not capable of direct extension to the case where along the boundary there are prescribed either the differential coefficients or any relations between these and the values of the function. Nor can they be extended immediately to the case where the inquiry is not for potential surfaces but, say, for surfaces of least area, or surfaces of constant positive gaussian curvature, which are to pass through a prescribed twisted curve or to stretch over a given ring surface. It is my conviction that it will be possible to prove these existence theorems by means of a general principle whose nature is indicated by Dirichlet's principle. This general principle will then perhaps enable us to approach the question: Has not every regular variation problem a solution, provided certain assumptions regarding the given boundary conditions are satisfied (say that the functions concerned in these boundary conditions are continuous and have in sections one or more derivatives), and provided also if need be that the notion of a solution shall be suitably extended?^[1]

Boundary value problems

In the field of differential equations, a boundary value problem is a differential equation together with a set of additional constraints, called the boundary conditions. A solution to a boundary value problem is a solution to the differential equation which also satisfies the boundary conditions.

To be useful in applications, a boundary value problem should be well posed. This means that given the input to the problem there exists a unique solution, which depends continuously on the input. Much theoretical work in the field of partial differential equations is devoted to proving that boundary value problems arising from scientific and engineering applications are in fact well-posed.

Related Research Articles

The Nash embedding theorems, named after John Forbes Nash Jr., state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instance, bending but neither stretching nor tearing a page of paper gives an isometric embedding of the page into Euclidean space because curves drawn on the page retain the same arclength however the page is bent.

In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a multivariable function.

The calculus of variations is a field of mathematical analysis that uses variations, which are small changes in functions and functionals, to find maxima and minima of functionals: mappings from a set of functions to the real numbers. Functionals are often expressed as definite integrals involving functions and their derivatives. Functions that maximize or minimize functionals may be found using the Euler–Lagrange equation of the calculus of variations.

<span class="mw-page-title-main">Minimal surface</span> Surface that locally minimizes its area

In mathematics, a minimal surface is a surface that locally minimizes its area. This is equivalent to having zero mean curvature.

In mathematics, the uniformization theorem says that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann sphere. The theorem is a generalization of the Riemann mapping theorem from simply connected open subsets of the plane to arbitrary simply connected Riemann surfaces.

Shing-Tung Yau is a Chinese-American mathematician and the William Caspar Graustein Professor of Mathematics at Harvard University. In April 2022, Yau announced retirement from Harvard to become Chair Professor of mathematics at Tsinghua University.

In mathematics, in the field of differential equations, a boundary value problem is a differential equation together with a set of additional constraints, called the boundary conditions. A solution to a boundary value problem is a solution to the differential equation which also satisfies the boundary conditions.

In mathematics, a Dirichlet problem is the problem of finding a function which solves a specified partial differential equation (PDE) in the interior of a given region that takes prescribed values on the boundary of the region.

In mathematics, the Neumannboundary condition is a type of boundary condition, named after Carl Neumann. When imposed on an ordinary or a partial differential equation, the condition specifies the values of the derivative applied at the boundary of the domain.

In mathematics, and particularly in potential theory, Dirichlet's principle is the assumption that the minimizer of a certain energy functional is a solution to Poisson's equation.

Pierre-Louis Lions is a French mathematician. He is known for a number of contributions to the fields of partial differential equations and the calculus of variations. He was a recipient of the 1994 Fields Medal and the 1991 Prize of the Philip Morris tobacco and cigarette company.

In mathematics, Hilbert's fourth problem in the 1900 list of Hilbert's problems is a foundational question in geometry. In one statement derived from the original, it was to find — up to an isomorphism — all geometries that have an axiomatic system of the classical geometry, with those axioms of congruence that involve the concept of the angle dropped, and `triangle inequality', regarded as an axiom, added.

Numerical methods for partial differential equations is the branch of numerical analysis that studies the numerical solution of partial differential equations (PDEs).

Louis Nirenberg was a Canadian-American mathematician, considered one of the most outstanding mathematicians of the 20th century.

Hilbert's twenty-second problem is the penultimate entry in the celebrated list of 23 Hilbert problems compiled in 1900 by David Hilbert. It entails the uniformization of analytic relations by means of automorphic functions.

Hilbert's nineteenth problem is one of the 23 Hilbert problems, set out in a list compiled in 1900 by David Hilbert. 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 precisely 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 function inherits the relatively simple and well understood structure from the solved equation. Hilbert's nineteenth problem was solved independently in the late 1950s by Ennio De Giorgi and John Forbes Nash, Jr.

In mathematics, a (real) Monge–Ampère equation is a nonlinear second-order partial differential equation of special kind. A second-order equation for the unknown function u of two variables x,y is of Monge–Ampère type if it is linear in the determinant of the Hessian matrix of u and in the second-order partial derivatives of u. The independent variables (x,y) vary over a given domain D of R². The term also applies to analogous equations with n independent variables. The most complete results so far have been obtained when the equation is elliptic.

In differential geometry, Liouville's equation, named after Joseph Liouville, is the nonlinear partial differential equation satisfied by the conformal factor $f$ of a metric $f 2 (d x 2 + d y 2)$ on a surface of constant Gaussian curvature $K$ :

In mathematics, the Schwarz alternating method or alternating process is an iterative method introduced in 1869–1870 by Hermann Schwarz in the theory of conformal mapping. Given two overlapping regions in the complex plane in each of which the Dirichlet problem could be solved, Schwarz described an iterative method for solving the Dirichlet problem in their union, provided their intersection was suitably well behaved. This was one of several constructive techniques of conformal mapping developed by Schwarz as a contribution to the problem of uniformization, posed by Riemann in the 1850s and first resolved rigorously by Koebe and Poincaré in 1907. It furnished a scheme for uniformizing the union of two regions knowing how to uniformize each of them separately, provided their intersection was topologically a disk or an annulus. From 1870 onwards Carl Neumann also contributed to this theory.

<span class="mw-page-title-main">Enrico Giusti</span> Italian mathematician

Enrico Giusti, is an Italian mathematician mainly known for his contributions to the fields of calculus of variations, regularity theory of partial differential equations, minimal surfaces and history of mathematics. He has been professor of mathematics at the Università di Firenze; he also taught and conducted research at the Australian National University at Canberra, at the Stanford University and at the University of California, Berkeley. After retirement, he devoted himself to the managing of the "Giardino di Archimede", a museum entirely dedicated to mathematics and its applications. Giusti is also the editor-in-chief of the international journal, dedicated to the history of mathematics "Bollettino di storia delle scienze matematiche".

References

↑ Hilbert, David, "Mathematische Probleme" Göttinger Nachrichten, (1900), pp. 253-297, and in Archiv der Mathematik und Physik, (3) 1 (1901), 44-63 and 213-237. Published in English translation by Dr. Maby Winton Newson, Bulletin of the American Mathematical Society 8 (1902), 437-479 doi : 10.1090/S0002-9904-1902-00923-3 . [A fuller title of the journal Göttinger Nachrichten is Nachrichten von der Königl. Gesellschaft der Wiss. zu Göttingen.]

Krzywicki, Andrzej (1997), "Hilbert's Twentieth Problem", Hilbert's Problems (Mi\polhk edzyzdroje, 1993) (in Polish), Polsk. Akad. Nauk, Warsaw, pp. 237–245, MR 1632452 .
Serrin, James (1976), "The solvability of boundary value problems", Mathematical developments arising from Hilbert problems (Northern Illinois Univ., De Kalb, Ill., May 1974), Proceedings of Symposia in Pure Mathematics, vol. XXVIII, Providence, R. I.: American Mathematical Society, pp. 507–524, MR 0427784 .
Sigalov, A. G. (1969), "On Hilbert's nineteenth and twentieth problems", Hilbert's Problems (in Russian), Moscow: Izdat. “Nauka”, pp. 204–215, MR 0251611 .

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Hilbert, David, "Mathematische Probleme" Göttinger Nachrichten, (1900), pp. 253-297, and in Archiv der Mathematik und Physik, (3) 1 (1901), 44-63 and 213-237. Published in English translation by Dr. Maby Winton Newson, Bulletin of the American Mathematical Society 8 (1902), 437-479 doi : 10.1090/S0002-9904-1902-00923-3 . [A fuller title of the journal Göttinger Nachrichten is Nachrichten von der Königl. Gesellschaft der Wiss. zu Göttingen.]

[1]