Generalización del teorema de la función inversa.
En el campo del análisis matemático , el teorema de Nash-Moser , descubierto por el matemático John Forbes Nash y llamado así por él y Jürgen Moser , es una generalización del teorema de la función inversa en espacios de Banach para configuraciones cuando el mapeo de solución requerido para el problema linealizado es no acotado.
Introducción
En contraste con el caso del espacio de Banach, en el que la invertibilidad de la derivada en un punto es suficiente para que un mapa sea localmente invertible, el teorema de Nash-Moser requiere que la derivada sea invertible en una vecindad. El teorema se utiliza ampliamente para demostrar la existencia local de ecuaciones diferenciales parciales no lineales en espacios de funciones suaves . Es particularmente útil cuando la inversa de la derivada "pierde" derivadas y, por lo tanto, no se puede utilizar el teorema de la función implícita del espacio de Banach.
Historia
El teorema de Nash-Moser se remonta a Nash (1956), quien demostró el teorema en el caso especial del problema de incrustación isométrica . De su artículo se desprende claramente que su método puede generalizarse. Moser (1966a, 1966b), por ejemplo, demostró que los métodos de Nash podían aplicarse con éxito para resolver problemas de órbitas periódicas en mecánica celeste en la teoría KAM . Sin embargo, ha resultado bastante difícil encontrar una formulación general adecuada; hasta la fecha no existe una versión que lo abarque todo; En las referencias siguientes se dan varias versiones debidas a Gromov , Hamilton , Hörmander , Saint-Raymond, Schwartz y Sergeraert. El de Hamilton, citado a continuación, se cita con especial frecuencia.
El problema de la pérdida de derivados.
Esto se introducirá en el contexto original del teorema de Nash-Moser, el del problema de incrustación isométrica. Sea un subconjunto abierto de . Considere el mapa
fPfgPff gPf ggSiguiendo la práctica estándar, uno esperaría aplicar el teorema de la función inversa del espacio de Banach. Así, por ejemplo, se podría esperar restringir P a C 5 (Ω;ℝ N ) y, para una inmersión f en este dominio, estudiar la linealización C 5 (Ω; R N ) → C 4 (Ω;Sym n × norte ( R )) dado por
Sin embargo, hay una razón profunda por la que tal formulación no puede funcionar. La cuestión es que existe un operador diferencial de segundo orden de P ( f ) que coincide con un operador diferencial de segundo orden aplicado a f . Para ser precisos: si f es una inmersión entonces
R P ( f )PfHffhfPfC 4RP ( f ) generalmenteC 2fsólo C4C 5H2h2C 3talQPPQ.En contexto, el resultado es que lo inverso a la linealización de P , incluso si existe como un mapa C ∞ (Ω;Sym n × n ( R )) → C ∞ (Ω; R N ) , no puede estar acotado entre Los espacios de Banach y, por tanto, el teorema de la función implícita del espacio de Banach no se pueden aplicar.
Exactamente por el mismo razonamiento, no se puede aplicar directamente el teorema de la función implícita del espacio de Banach incluso si se utilizan los espacios de Hölder, los espacios de Sobolev o cualquiera de los espacios C k . En cualquiera de estos escenarios, una inversa de la linealización de P no podrá estar acotada.
Éste es el problema de la pérdida de derivados . Una expectativa muy ingenua es que, en general, si P es un operador diferencial de orden k , entonces si P ( f ) está en C m entonces f debe estar en C m + k . Sin embargo, esto es algo raro. En el caso de operadores diferenciales uniformemente elípticos, las famosas estimaciones de Schauder muestran que esta ingenua expectativa se confirma, con la salvedad de que se deben reemplazar los espacios C k con los espacios de Hölder C k ,α ; esto no causa ninguna dificultad adicional para la aplicación del teorema de la función implícita del espacio de Banach. Sin embargo, el análisis anterior muestra que esta ingenua expectativa no se confirma en el caso del mapa que envía una inmersión a su métrica riemanniana inducida; dado que este mapa es de orden 1, no se obtiene la derivada "esperada" al invertir el operador. El mismo fallo es común en problemas geométricos, donde la acción del grupo de difeomorfismo es la causa fundamental, y en problemas de ecuaciones diferenciales hiperbólicas, donde incluso en los problemas más simples no se tiene la suavidad ingenuamente esperada de una solución. Todas estas dificultades proporcionan contextos comunes para las aplicaciones del teorema de Nash-Moser.
La forma esquemática de la solución de Nash.
Esta sección sólo pretende describir una idea y, como tal, es intencionalmente imprecisa. Para ser más concretos, supongamos que P es un operador diferencial de orden uno en algunos espacios funcionales, de modo que define un mapa P : C k +1 → C k para cada k . Supongamos que, en alguna función C k +1 f , la linealización DP f : C k +1 → C k tiene una inversa derecha S : C k → C k ; en el lenguaje anterior esto refleja una "pérdida de un derivado". Se puede ver concretamente el fracaso al intentar utilizar el método de Newton para demostrar el teorema de la función implícita del espacio de Banach en este contexto: si g ∞ está cerca de P ( f ) en C k y se define la iteración
f 1C k +1g ∞Pf nC kf 2C kf 3C k -1f 4C k -2La solución de Nash es bastante sorprendente por su simplicidad. Supongamos que para cada n >0 se tiene un operador de suavizado θ n que toma una función C k , devuelve una función suave y se aproxima a la identidad cuando n es grande. Luego la iteración de Newton "suavizada"
f ∞P ( f ∞ ) = g ∞Mikhael GromovHay que ser un novato en análisis o un genio como Nash para creer que algo así pueda ser cierto. [...] [Esto] puede parecerle tan realista como una ejecución exitosa de perpetuum mobile con una implementación mecánica del demonio de Maxwell... a menos que comience a seguir el cálculo de Nash y se dé cuenta, para su inmensa sorpresa, de que el suavizado funciona.
Observación. La verdadera "iteración de Newton suavizada" es un poco más complicada que la forma anterior, aunque existen algunas formas no equivalentes, dependiendo de dónde se elija insertar los operadores de suavizado. La diferencia principal es que se requiere la invertibilidad de DP f para toda una vecindad abierta de opciones de f , y luego se usa la iteración "verdadera" de Newton, correspondiente a (usando notación de variable única)
método de EulerLa formulación del teorema de Hamilton.
La siguiente afirmación aparece en Hamilton (1982):
Sean F y G espacios de Fréchet mansos, un subconjunto abierto y un mapa manso y suave. Supongamos que para cada uno la linealización es invertible y la familia de inversas, como un mapa, es suave y mansa. Entonces P es localmente invertible y cada inverso local es un mapa suave y dócil.
De manera similar, si cada linealización es solo inyectiva y una familia de inversas izquierdas es suave y dócil, entonces P es localmente inyectiva. Y si cada linealización es sólo sobreyectiva, y una familia de inversos rectos es suave y dócil, entonces P es localmente sobreyectiva con un inverso recto suave y dócil.
Domar espacios de Fréchet
AEl espacio graduado de Fréchet consta de los siguientes datos:
- un espacio vectorial
- una colección contable de seminormas tales que
para todos se requiere que estos cumplan las siguientes condiciones:- si es tal que para todos entonces
- si es una secuencia tal que, para todos y cada uno existe tal que implica entonces existe tal que, para cada uno tiene
Un espacio de Fréchet graduado se llamadomesticar el espacio de Fréchet si cumple la siguiente condición:
- existe un espacio de Banach y mapas lineales y tal que es el mapa de identidad y tal que:
- existe y tal que para cada uno hay un número tal que
para todos y para cada
Aquí denota el espacio vectorial de secuencias exponencialmente decrecientes, es decir,
- Si es una variedad compacta y suave (con o sin límite), entonces es un espacio de Fréchet suavemente graduado, cuando se le da cualquiera de las siguientes estructuras graduadas:
- tomar como la norma de
- tomar como la norma de para fijo
- tomar como la norma de para fijo
- Si es una variedad compacta y suave con límite, entonces el espacio de funciones suaves cuyas derivadas desaparecen en el límite, es un espacio de Fréchet dócilmente graduado, con cualquiera de las estructuras graduadas anteriores.
- Si es una variedad compacta y suave y es un paquete de vectores suave, entonces el espacio de secciones suaves es manso, con cualquiera de las estructuras graduadas anteriores.
Para reconocer la estructura mansa de estos ejemplos, uno se incrusta topológicamente en un espacio euclidiano, se toma como el espacio de funciones en este espacio euclidiano, y el mapa se define mediante la restricción diádica de la transformada de Fourier. Los detalles se encuentran en las páginas 133-140 de Hamilton (1982).
Presentado directamente como arriba, el significado y la naturalidad de la condición de "manso" son bastante oscuros. La situación se aclara si se reconsideran los ejemplos básicos dados anteriormente, en los que las secuencias "exponencialmente decrecientes" relevantes en espacios de Banach surgen de la restricción de una transformada de Fourier. Recuerde que la suavidad de una función en el espacio euclidiano está directamente relacionada con la tasa de desintegración de su transformada de Fourier. La "mansedumbre" se ve así como una condición que permite una abstracción de la idea de un "operador suavizador" en un espacio funcional. Dado un espacio de Banach y el espacio correspondiente de secuencias exponencialmente decrecientes en el análogo preciso de un operador de suavizado se puede definir de la siguiente manera. Sea una función suave que desaparece en es idénticamente igual a uno en y toma valores solo en el intervalo. Luego, para cada número real, defina por
Mapas suaves y mansos
Sean F y G espacios de Fréchet graduados. Sea U un subconjunto abierto de F , lo que significa que para cada uno hay y eso implica que también está contenido en U .
Un mapa suave se llamadomesticar el mapa suave si para todosla derivadasatisface lo siguiente:
existen y tal que implica
para todos .
El ejemplo fundamental dice que, en una variedad compacta y suave, un operador diferencial parcial no lineal (posiblemente entre secciones de haces de vectores sobre la variedad) es un mapa suave y dócil; en este caso, r puede considerarse el orden del operador.
Prueba del teorema
Sea S la familia de aplicaciones inversas. Considere el caso especial de que F y G sean espacios de secuencias exponencialmente decrecientes en espacios de Banach, es decir, F =Σ( B ) y G =Σ( C ). (No es demasiado difícil ver que esto es suficiente para probar el caso general). Para un número positivo c , considere la ecuación diferencial ordinaria en Σ( B ) dada por
C[0,∞) → Σ( B )fttReferencias
- Gromov, ML (1972), "Suavizado e inversión de operadores diferenciales", Mat. SB. , Nueva serie, 88 (130): 382–441, SEÑOR 0310924
- Gromov, Mikhael (1986). Relaciones Diferenciales Parciales . Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Springer-Verlag, Berlín. ISBN 3-540-12177-3. SEÑOR 0864505.
- Hamilton, Richard S. (1982), "El teorema de la función inversa de Nash y Moser" (PDF-12MB) , Boletín de la Sociedad Matemática Estadounidense , Nueva Serie, 7 (1): 65–222, doi : 10.1090/S0273- 0979-1982-15004-2 , SEÑOR 0656198
- Hörmander, Lars (1976), "Los problemas de límites de la geodesia física", Arch. Mecánico racional. Anal. , 62 (1): 1–52, doi :10.1007/BF00251855, SEÑOR 0602181, S2CID 117923577
- Hörmander, L. (1977), "Corrección a: "Los problemas de límites de la geodesia física"", Arch. Rational Mech. Anal. , 65 (44): 395, doi : 10.1007/BF00250435 , MR 0602188
- Moser, Jürgen (1966a), "Un método de iteración rápidamente convergente y ecuaciones diferenciales parciales no lineales. I", Ann. Norma de la escuela. Sorber. Pisa (3) , 20 : 265–315, SEÑOR 0199523
- Moser, Jürgen (1966b), "Un método de iteración rápidamente convergente y ecuaciones diferenciales parciales no lineales. II", Ann. Norma de la escuela. Sorber. Pisa (3) , 20 : 499–535, SEÑOR 0206461
- Nash, John (1956), "El problema de incrustación de variedades de Riemann", Annals of Mathematics , 63 (1): 20–63, doi :10.2307/1969989, JSTOR 1969989, MR 0075639.
- Saint-Raymond, Xavier (1989), "Un teorema de función implícita simple de Nash-Moser", Enseign. Matemáticas. (2) , 35 (3–4): 217–226, SEÑOR 1039945
- Schwartz, J. (1960), "Sobre el teorema funcional implícito de Nash", Comm. Pura aplicación. Matemáticas. , 13 (3): 509–530, doi :10.1002/cpa.3160130311, SEÑOR 0114144
- Sergeraert, Francis (1972), "Un théorème de fonctions implicites sur sures espaces de Fréchet et quelques application", Ann. Ciencia. Norma de la escuela. Sorber. (4) , 5 (4): 599–660, doi : 10.24033/asens.1239 , SEÑOR 0418140
- Zehnder, E. (1975), "Teoremas de funciones implícitas generalizadas con aplicaciones a algunos problemas de divisores pequeños. I", Comm. Pura aplicación. Matemáticas. , 28 : 91–140, doi : 10.1002/cpa.3160280104, SEÑOR 0380867
- Zehnder, E. (1976), "Teoremas de funciones implícitas generalizadas con aplicaciones a algunos problemas de divisores pequeños. II", Comm. Pura aplicación. Matemáticas. , 29 (1): 49–111, doi :10.1002/cpa.3160290104, SEÑOR 0426055