El decimonoveno problema de Hilbert

¿Cuándo son analíticas las soluciones en el cálculo de variaciones?

El decimonoveno problema de Hilbert es uno de los 23 problemas de Hilbert , establecidos en una lista compilada por David Hilbert en 1900. ^[1] Pregunta si las soluciones de los problemas regulares en el cálculo de variaciones son siempre analíticas . ^[2] De manera informal, y quizás menos directa, dado que el concepto de Hilbert de un " problema variacional regular " identifica esto precisamente como un problema variacional cuya ecuación de Euler-Lagrange es una ecuación diferencial parcial elíptica con coeficientes analíticos, ^[3] el decimonoveno problema de Hilbert, a pesar de su enunciado aparentemente técnico, simplemente pregunta si, en esta clase de ecuaciones diferenciales parciales , cualquier solución hereda la propiedad relativamente simple y bien entendida de ser una función analítica de la ecuación que satisface. El decimonoveno problema de Hilbert fue resuelto de forma independiente a fines de la década de 1950 por Ennio De Giorgi y John Forbes Nash, Jr.

Historia

Los orígenes del problema

Eine der begrifflich merkwürdigsten Thatsachen in den Elementen der Theorie der analytischen Funktionen erblicke ich darin, daß es Partielle Differentialgleichungen giebt, deren Integrale sämtlich notwendig analytische Funktionen der unabhängigen Variabeln sind, die also, kurz gesagt, nur analytischer Lösungen fähig d. ^[4]

—  David Hilbert , (Hilbert 1900, pág. 288).

David Hilbert presentó lo que ahora se llama su decimonoveno problema en su discurso en el segundo Congreso Internacional de Matemáticos . ^[5] En (Hilbert 1900, p. 288) afirma que, en su opinión, uno de los hechos más notables de la teoría de funciones analíticas es que existen clases de ecuaciones diferenciales parciales que admiten solo funciones analíticas como soluciones, enumerando la ecuación de Laplace , la ecuación de Liouville , ^[6] la ecuación de superficie mínima y una clase de ecuaciones diferenciales parciales lineales estudiadas por Émile Picard como ejemplos. ^[7] Luego señala que la mayoría de las ecuaciones diferenciales parciales que comparten esta propiedad son ecuaciones de Euler-Lagrange de un tipo bien definido de problema variacional, que satisfacen las siguientes tres propiedades: ^[8]

(1)      , ${\displaystyle {\iint F(p,q,z;x,y)dxdy}={\text{Minimum}}\qquad \left[{\frac {\partial z}{\partial x}}=p\quad ;\quad {\frac {\partial z}{\partial y}}=q\right]}$

(2)      , ${\displaystyle {\frac {\partial ^{2}F}{\partial ^{2}p}}\cdot {\frac {\partial ^{2}F}{\partial ^{2}q}}-\left({\frac {\partial ^{2}F}{{\partial p}{\partial q}}}\right)^{2}>0}$

(3)       F es una función analítica de todos sus argumentos p , q , z , x e y .

Hilbert llama a esto un " problema variacional regular ". ^[9] La propiedad (1) significa que estos son problemas mínimos . La propiedad (2) es la condición de elipticidad en las ecuaciones de Euler-Lagrange asociadas al funcional dado , mientras que la propiedad (3) es una simple suposición de regularidad sobre la función F . ^[10] Habiendo identificado la clase de problemas considerados, plantea la siguiente pregunta: " ... ¿toda ecuación diferencial parcial lagrangiana de un problema de variación regular tiene la propiedad de admitir integrales analíticas exclusivamente? " ^[11] Pregunta además si este es el caso incluso cuando se requiere que la función asuma valores de contorno que son continuos, pero no analíticos, como sucede para el problema de Dirichlet para la función potencial . ^[8]

El camino hacia la solución completa

Hilbert planteó su decimonoveno problema como un problema de regularidad para una clase de ecuación diferencial parcial elíptica con coeficientes analíticos. ^[8] Por lo tanto, los primeros esfuerzos de los investigadores que buscaron resolverlo se dirigieron a estudiar la regularidad de las soluciones clásicas para ecuaciones pertenecientes a esta clase. Para soluciones C 3   , el problema de Hilbert fue respondido positivamente por Sergei Bernstein  (1904) en su tesis. Demostró que las soluciones C 3   de ecuaciones analíticas elípticas no lineales en 2 variables son analíticas. El resultado de Bernstein fue mejorado a lo largo de los años por varios autores, como Petrowsky (1939), quien redujo los requisitos de diferenciabilidad en la solución necesaria para demostrar que es analítica. Por otro lado, los métodos directos en el cálculo de variaciones mostraron la existencia de soluciones con propiedades de diferenciabilidad muy débiles. Durante muchos años hubo una brecha entre estos resultados. Se sabía que las soluciones que podían construirse tenían derivadas secundarias integrables al cuadrado, pero esto no era lo suficientemente fuerte como para alimentar la maquinaria que podía probar que eran analíticas, lo que necesitaba continuidad de las derivadas primeras. Esta brecha fue llenada independientemente por Ennio De Giorgi  (1956, 1957) y John Forbes Nash  (1957, 1958), quienes pudieron demostrar que las soluciones tenían derivadas primeras que eran continuas en el sentido de Hölder . Por resultados anteriores esto implicaba que las soluciones son analíticas siempre que la ecuación diferencial tenga coeficientes analíticos, completando así la solución del decimonoveno problema de Hilbert. Posteriormente, Jürgen Moser dio una prueba alternativa de los resultados obtenidos por Ennio De Giorgi  (1956, 1957) y John Forbes Nash  (1957, 1958).

Contraejemplos de diversas generalizaciones del problema

La respuesta afirmativa al decimonoveno problema de Hilbert dada por Ennio De Giorgi y John Forbes Nash planteó la cuestión de si la misma conclusión se aplica también a las ecuaciones de Euler-Lagrange de funcionales más generales . A finales de la década de 1960, Maz'ya (1968), ^[12] De Giorgi (1968) y Giusti & Miranda (1968) construyeron independientemente varios contraejemplos , ^[13] mostrando que en general no hay esperanza de probar tales resultados de regularidad sin añadir más hipótesis.

Precisamente, Maz'ya (1968) dio varios contraejemplos que involucraban una única ecuación elíptica de orden mayor que dos con coeficientes analíticos. ^[14] Para los expertos, el hecho de que tales ecuaciones pudieran tener soluciones no analíticas e incluso no suaves creó sensación. ^[15]

De Giorgi (1968) y Giusti & Miranda (1968) dieron contraejemplos que mostraban que en el caso en que la solución es vectorial en lugar de escalar, no necesita ser analítica; el ejemplo de De Giorgi consiste en un sistema elíptico con coeficientes acotados, mientras que el de Giusti y Miranda tiene coeficientes analíticos. ^[16] Más tarde, Nečas (1977) proporcionó otros ejemplos más refinados para el problema vectorial. ^[17]

Teorema de De Giorgi

El teorema clave demostrado por De Giorgi es una estimación a priori que establece que si u es una solución de una EDP estrictamente elíptica lineal de segundo orden adecuada de la forma

${\displaystyle D_{i}(a^{ij}(x)\,D_{j}u)=0}$

y tiene derivadas primeras integrables al cuadrado, entonces Hölder es continuo. ${\displaystyle u}$ ${\displaystyle u}$

Aplicación del teorema de De Giorgi al problema de Hilbert

El problema de Hilbert pregunta si los minimizadores de un funcional de energía como ${\displaystyle w}$

${\displaystyle \int _{U}L(Dw)\,\mathrm {d} x}$

son analíticas. Aquí hay una función en algún conjunto compacto de R ⁿ , es su vector gradiente y es el lagrangiano, una función de las derivadas de que satisface ciertas condiciones de crecimiento, suavidad y convexidad. La suavidad de se puede demostrar utilizando el teorema de De Giorgi de la siguiente manera. La ecuación de Euler-Lagrange para este problema variacional es la ecuación no lineal ${\displaystyle w}$ ${\displaystyle U}$ ${\displaystyle Dw}$ ${\displaystyle L}$ ${\displaystyle w}$ ${\displaystyle w}$

${\displaystyle \sum \limits _{i=1}^{n}(L_{p_{i}}(Dw))_{x_{i}}=0}$

y diferenciando esto con respecto a da ${\displaystyle x_{k}}$

${\displaystyle \sum \limits _{i=1}^{n}(L_{p_{i}p_{j}}(Dw)w_{x_{j}x_{k}})_{x_{i}}=0}$

Esto significa que satisface la ecuación lineal ${\displaystyle u=w_{x_{k}}}$

${\displaystyle D_{i}(a^{ij}(x)D_{j}u)=0}$

con

${\displaystyle a^{ij}=L_{p_{i}p_{j}}(Dw)}$

Por lo tanto, según el resultado de De Giorgi, la solución w tiene derivadas primeras continuas según Hölder, siempre que la matriz esté acotada. Cuando este no es el caso, se necesita un paso más: se debe demostrar que la solución es continua según Lipschitz , es decir, que el gradiente es una función. ${\displaystyle L_{p_{i}p_{j}}}$ ${\displaystyle w}$ ${\displaystyle Dw}$ ${\displaystyle L^{\infty }}$

Una vez que se sabe que w tiene derivadas ( n +1) continuas de Hölder para algún n ≥ 1, entonces los coeficientes a ^ij tienen derivadas n- ésimas continuas de Hölder, por lo que un teorema de Schauder implica que las derivadas ( n +2) también son continuas de Hölder, por lo que repetir esto infinitamente a menudo muestra que la solución w es suave.

Teorema de Nash

John Nash dio una estimación de continuidad para las soluciones de la ecuación parabólica

${\displaystyle D_{i}(a^{ij}(x)D_{j}u)=D_{t}(u)}$

donde u es una función acotada de x ₁ ,..., x _n , t definida para t ≥ 0. A partir de su estimación, Nash pudo deducir una estimación de continuidad para las soluciones de la ecuación elíptica

${\displaystyle D_{i}(a^{ij}(x)D_{j}u)=0}$considerando el caso especial cuando u no depende de t .

Notas

1. Véase (Hilbert 1900) o, equivalentemente, una de sus traducciones.
2. " Sind die Lösungen regulärer Variationsprobleme stets notwendig analytisch? " (Traducción al inglés de Mary Frances Winston Newson :-" ¿ Las soluciones de problemas regulares en el cálculo de variaciones son siempre necesariamente analíticas? "), formulando el problema con las mismas palabras de Hilbert. (1900, pág. 288).
3. Véase (Hilbert 1900, pp. 288-289), o la sección correspondiente sobre el decimonoveno problema en cualquiera de sus traducciones o reimpresiones, o la subsección "Los orígenes del problema" en la sección histórica de esta entrada.
4. Traducción al español de Mary Frances Winston Newson:-" Uno de los hechos más notables en los elementos de la teoría de funciones analíticas me parece éste: que existen ecuaciones diferenciales parciales cuyas integrales son todas necesariamente funciones analíticas de las variables independientes, es decir, en resumen, ecuaciones susceptibles de soluciones únicamente analíticas ".
5. Para un análisis histórico detallado, véase la entrada correspondiente " Los problemas de Hilbert ".
6. Hilbert no cita explícitamente a Joseph Liouville y considera la curvatura gaussiana constante K como igual a -1/2 : compárese la entrada relevante con (Hilbert 1900, p. 288).
7. A diferencia del trabajo de Liouville, el trabajo de Picard es citado explícitamente por Hilbert (1900, p. 288 y nota al pie 1 en la misma página).
8. Véase (Hilbert 1900, pág. 288).
9. En sus palabras exactas: " Regulares Variationsproblem ". La definición de Hilbert de un problema variacional regular es más sólida que la que se utiliza actualmente, por ejemplo, en (Gilbarg & Trudinger 2001, p. 289).
10. Dado que Hilbert considera todas las derivadas en el sentido "clásico", es decir, no en el débil sino en el fuerte , incluso antes de la afirmación de su analiticidad en (3) , se supone que la función F es al menos C 2   , como implica el uso del determinante hessiano en (2) .
11. Traducción al inglés de Mary Frances Winston Newson: Las palabras precisas de Hilbert (1900, p. 288) son: - " ... dh ob jede Lagrangesche partielle Differentialgleichung eines reguläres Variationsproblem die Eigenschaft at, daß sie nur analytische Integrale zuläßt " ( énfasis en cursiva por el propio Hilbert).
12. Ver (Giaquinta 1983, p. 59), (Giusti 1994, p. 7 nota al pie 7 y p. 353), (Gohberg 1999, p. 1), (Hedberg 1999, pp. 10-11), (Kristensen y Mingione 2011, p. 5 y p. 8), y (Mingione 2006, p. 368).
13. Ver (Giaquinta 1983, págs. 54–59), (Giusti 1994, pág. 7 y págs. 353).
14. Véase (Hedberg 1999, págs. 10-11), (Kristensen y Mingione 2011, págs. 5 y pág. 8) y (Mingione 2006, pág. 368).
15. Según (Gohberg 1999, p. 1).
16. Véase (Giaquinta 1983, págs. 54–59) y (Giusti 1994, pág. 7, págs. 202–203 y págs. 317–318).
17. Para más información sobre el trabajo de Jindřich Nečas, véase el trabajo de Kristensen & Mingione (2011, §3.3, pp. 9–12) y (Mingione 2006, §3.3, pp. 369–370).

Referencias

• Bernstein, S. (1904), "Sur la Nature Analytique des Solutions des équations aux dérivées partielles du second ordre", Mathematische Annalen (en francés), 59 (1–2): 20–76, doi :10.1007/BF01444746, ISSN  0025-5831, JFM  35.0354.01, S2CID  121487650.
• Bombieri, Enrico (1975), "Problemas variacionales y ecuaciones elípticas", Actas del Congreso Internacional de Matemáticos, Vancouver, BC, 1974, vol. 1, Actas del ICM, Montreal: Congreso Canadiense de Matemáticas, págs. 53–63, MR  0509259, Zbl  0344.49002, archivado desde el original (PDF) el 2013-12-31 , consultado el 2011-01-29. Reimpreso en Bombieri, Enrico (1976), "Problemas variacionales y ecuaciones elípticas", en Browder, Felix E. (ed.), Desarrollos matemáticos derivados de los problemas de Hilbert, Actas de simposios sobre matemáticas puras , vol. XXVIII, Providence, Rhode Island: American Mathematical Society , págs. 525–535, ISBN 978-0-8218-1428-4, MR  0425740, Zbl  0347.35032.
• De Giorgi, Ennio (1956), "Sull'analiticità delle estremali degli integrali multipli", Atti della Accademia Nazionale dei Lincei. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali , Serie VIII (en italiano), 20 : 438–441, MR  0082045, Zbl  0074.31503. " Sobre la analiticidad de los extremos de integrales múltiples " (traducción al inglés del título) es un breve anuncio de investigación que divulga los resultados detallados más adelante en (De Giorgi 1957). Si bien, según la lista completa de publicaciones científicas de De Giorgi (De Giorgi 2006, p. 6), debería incluirse una traducción al inglés en (De Giorgi 2006), lamentablemente no se encuentra.
• De Giorgi, Ennio (1957), "Sulla diferenziabilità e l'analiticità delle estremali degli integrali multipli regolari", Memorie della Accademia delle Scienze di Torino. Classe di Scienze Fisiche, Matematicahe e Naturali , Serie III (en italiano), 3 : 25–43, MR  0093649, Zbl  0084.31901Traducido al inglés como " Sobre la diferenciabilidad y la analiticidad de los extremales de integrales múltiples regulares " en (De Giorgi 2006, pp. 149-166).
• De Giorgi, Ennio (1968), "Un esempio di estremali discontinue per un problema variazionale di tipo ellittico", Bollettino dell'Unione Matematica Italiana , Serie IV (en italiano), 1 : 135–137, MR  0227827, Zbl  0084.31901Traducido al inglés como " Un ejemplo de extremales discontinuos para un problema variacional de tipo elíptico " en (De Giorgi 2006, pp. 285–287).
• De Giorgi, Ennio (2006), Ambrosio, Luigi ; Dal Maso, Gianni ; Fortí, Marco; Miranda, Mario; Spagnolo, Sergio (eds.), Artículos seleccionados, Springer Collected Works in Mathematics, Berlín – Nueva York: Springer-Verlag , págs. x+889, doi :10.1007/978-3-642-41496-1, ISBN 978-3-540-26169-8, MR  2229237, Zbl  1096.01015.
• Giaquinta, Mariano (1983), Integrales múltiples en el cálculo de variaciones y sistemas elípticos no lineales, Annals of Mathematics Studies, vol. 105, Princeton, Nueva Jersey: Princeton University Press, pp. vii+297, ISBN 978-0-691-08330-8, MR  0717034, Zbl  0516.49003.
• Gilbarg, David ; Trudinger, Neil S. (2001) [1998], Ecuaciones diferenciales parciales elípticas de segundo orden, Classics in Mathematics (3.ª edición revisada de la 2.ª ed.), Berlín – Heidelberg – Nueva York: Springer Verlag, pp. xiv+517, ISBN 978-3-540-41160-4, MR  1814364, Zbl  1042.35002.
• Giusti, Enrico (1994), Metodi diretti nel calcolo delle variazioni , Monografie Matematiche (en italiano), Bolonia : Unione Matematica Italiana , págs. VI+422, MR  1707291, Zbl  0942.49002, traducido al inglés como Giusti, Enrico (2003), Métodos directos en el cálculo de variaciones, River Edge, Nueva Jersey – Londres – Singapur: World Scientific Publishing, pp. viii+403, doi :10.1142/9789812795557, ISBN 978-981-238-043-2, MR  1962933, Zbl  1028.49001.
• Giusti, Enrico ; Miranda, Mario (1968), "Un esempio di soluzioni discontinue per un problema di minimo relativo ad un integrale regolare del calcolo delle variazioni", Bollettino dell'Unione Matematica Italiana , Serie IV (en italiano), 2 : 1–8, SEÑOR  0232265, Zbl  0155.44501.
• Gohberg, Israel (1999), "Vladimir Maz'ya: amigo y matemático. Recuerdos", en Rossman, Jürgen; Takáč, Peter; Wildenhain, Günther (eds.), La colección del aniversario de Maz'ya. Vol. 1: Sobre el trabajo de Maz'ya en análisis funcional, ecuaciones diferenciales parciales y aplicaciones. Basado en charlas dadas en la conferencia, Rostock, Alemania, 31 de agosto – 4 de septiembre de 1998, Operator Theory. Advances and Applications, vol. 109, Basilea: Birkhäuser Verlag, pp. 1–5, ISBN 978-3-7643-6201-0, MR  1747861, Zbl  0939.01018.
• Hedberg, Lars Inge (1999), "Sobre el trabajo de Maz'ya en teoría del potencial y la teoría de espacios funcionales", en Rossmann, Jürgen; Takáč, Peter; Wildenhain, Günther (eds.), The Maz'ya Anniversary Collection , Operator Theory: Advances and Applications, vol. 109, Basilea : Birkhäuser Verlag, págs. 7–16, doi :10.1007/978-3-0348-8675-8_2, ISBN 978-3-0348-9726-6, MR  1747862, Zbl  0939.31001
• Hilbert, David (1900), "Mathematische Probleme", Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse (en alemán) (3): 253–297, JFM  31.0068.03.
  – Reimpreso como "Mathematische Probleme", Archiv der Mathematik und Physik , dritte reihe (en alemán), 1 : 44–63 y 253–297, 1900, JFM  32.0084.05.
  – Traducido al inglés por Mary Frances Winston Newson como Hilbert, David (1902), "Problemas matemáticos", Boletín de la Sociedad Matemática Americana , 8 (10): 437–479, doi : 10.1090/S0002-9904-1902-00923-3 , JFM  33.0976.07, MR  1557926.
  – Reimpreso como Hilbert, David (2000), "Problemas matemáticos", Boletín de la Sociedad Matemática Americana , Nueva serie, 37 (4): 407–436, doi : 10.1090/S0273-0979-00-00881-8 , MR  1779412, S2CID  12695502, Zbl  0979.01028.
  – Traducido al francés por ML Laugel (con adiciones del propio Hilbert) como Hilbert, David (1902), "Sur les problèmes futurs des Mathématiques", en Duporcq, E. (ed.), Compte Rendu du Deuxième Congrès International des Mathématiciens, tenu à Paris du 6 au 12 août 1900. Procès-Verbaux et Communications, ICM Proceedings, París: Gauthier-Villars, págs. 58–114, JFM  32.0084.06, archivado desde el original (PDF) el 31 de diciembre de 2013 , recuperado el 28 de diciembre de 2013.
  – Existe también un resumen anterior (y más breve) de la charla original de Hilbert, traducido al francés y publicado como Hilbert, D. (1900), "Problèmes mathématiques", L'Enseignement Mathématique (en francés), 2 : 349–355, doi :10.5169/seals-3575, JFM  31.0905.03.
• Kristensen, Jan; Mingione, Giuseppe (octubre de 2011). Bocetos de la teoría de la regularidad del siglo XX y la obra de Jindřich Nečas (PDF) (informe). Oxford: Oxford Centre for Nonlinear PDE. pp. 1–30. OxPDE-11/17. Archivado desde el original (PDF) el 7 de enero de 2014..
• Maz'ya, VG (1968), Примеры нерегулярных решений квазилинейных эллиптических уравнений с аналитическими коэффициентами, Funktsional'nyĭ iz I Ego Prilozheniya (en ruso), 2 (3): 53–57, SEÑOR  0237946.
  – Traducido al inglés como Maz'ya, VG (1968), "Ejemplos de soluciones no regulares de ecuaciones elípticas cuasilineales con coeficientes analíticos", Análisis funcional y sus aplicaciones , 2 (3): 230–234, doi :10.1007/BF01076124, S2CID  121038871, Zbl  0179.43601.
• Mingione, Giuseppe (2006), "Regularidad de mínimos: una invitación al lado oscuro del cálculo de variaciones.", Aplicaciones de las matemáticas , 51 (4): 355–426, CiteSeerX  10.1.1.214.9183 , doi :10.1007/s10778-006-0110-3, hdl :10338.dmlcz/134645, MR  2291779, S2CID  16385131, Zbl  1164.49324.
• Morrey, Charles B. (1966), Integrales múltiples en el cálculo de variaciones, Die Grundlehren der mathematischen Wissenschaften, vol. 130, Berlín–Heidelberg–Nueva York: Springer-Verlag, págs. xii+506, ISBN 978-3-540-69915-6, MR  0202511, Zbl  0142.38701.
• Nash, John (1957), "Ecuaciones parabólicas", Actas de la Academia Nacional de Ciencias de los Estados Unidos de América , 43 (8): 754–758, Bibcode :1957PNAS...43..754N, doi : 10.1073/pnas.43.8.754 , ISSN  0027-8424, JSTOR  89599, MR  0089986, PMC  528534 , PMID  16590082, Zbl  0078.08704.
• Nash, John (1958), "Continuidad de soluciones de ecuaciones parabólicas y elípticas" (PDF) , American Journal of Mathematics , 80 (4): 931–954, Bibcode :1958AmJM...80..931N, doi :10.2307/2372841, hdl :10338.dmlcz/101876, ISSN  0002-9327, JSTOR  2372841, MR  0100158, Zbl  0096.06902.
• Nečas, Jindřich (1977), "Ejemplo de una solución irregular a un sistema elíptico no lineal con coeficientes analíticos y condiciones de regularidad", en Kluge, Reinhard; Müller, Wolfdietrich (eds.), Teoría de operadores no lineales: aspectos constructivos. Actas de la cuarta escuela internacional de verano, celebrada en Berlín, RDA, del 22 al 26 de septiembre de 1975 , Abhandlungen der Akademie der Wissenschaften der DDR, vol. 1, Berlín: Akademie-Verlag, págs. 197-206, MR  0509483, Zbl  0372.35031.
• Petrowsky, IG (1939), "Sur l'analyticité dessolutions des systèmes d'équations différentielles", Recueil Mathématique (Matematicheskii Sbornik) (en francés), 5 (47): 3–70, JFM  65.0405.02, MR  0001425, Zbl  0022.22601.