Ecuación de Monge-Ampère

¿Dónde nació Ecuación de Monge-Ampère?

Ecuación de Monge-Ampère nació en x.

---

En matemáticas, una ecuación de Monge-Ampère es una ecuación diferencial parcial de segundo orden no lineal de tipo especial. Una ecuación de segundo orden para la función desconocida u de dos variables x, y es de tipo Monge-Ampère si es lineal el determinante de la matriz hessiana de u y en las derivadas parciales de segundo orden de u. Las variables independientes (x, y) varían en un dominio dado D de ${displaystyle mathbb {R} ^{2}}$. El término también se aplica a ecuaciones análogas con n variables independientes. Los resultados más completos hasta ahora se han obtenido cuando la ecuación es elíptica.

Las ecuaciones de Monge-Ampère surgen con frecuencia en la geometría diferencial, por ejemplo, en los problemas de Weyl y Minkowski en geometría diferencial de superficies. Primero fueron estudiados por Gaspard Monge en 1784^[1]​ y más tarde por André-Marie Ampère en 1820.^[2]​ Los resultados importantes en la teoría de las ecuaciones de Monge-Ampère han sido obtenidos por Serguéi Bernstéin, Aleksei Pogorelov, Charles Fefferman y Louis Nirenberg.

La ecuación de Monge-Ampere es una ecuación diferencial parcial de segundo orden de la forma

cuyos coeficientes dependen de las variables ${displaystyle x}$, ${displaystyle y}$ y función desconocida ${displaystyle z(x,y)}$ y sus primeros derivados ${displaystyle {frac {partial z}{partial x}}, {frac {partial z}{partial y}}.}$

También se puede escribir teniendo en cuenta dos variables independientes x y y, y una variable dependiente u, la ecuación general Monge-Ampère de la forma

donde A, B, C, D y E son funciones que dependen solo de las variables de primer orden x, y, u, u_x, y u_y.

Sea ${displaystyle Omega }$ un dominio delimitado en ${displaystyle mathbb {R} ^{3}}$ y suponga que en ${displaystyle Omega }$ A, B, C, D y E son funciones continuas de x y y solamente. Considere el problema de Dirichlet para encontrar U de manera que

Si

entonces el problema de Dirichlet tiene como máximo dos soluciones.^[3]​

Supongamos ahora que x es una variable con valores en un dominio en ${displaystyle mathbb {R} ^{n}}$, y que f(x,u,D²u) es una función positiva. Luego la ecuación de Monge-Ampère

es una ecuación diferencial parcial elíptica no lineal (en el sentido de que su linealización es elíptica), siempre que se concentre la atención en las soluciones convexas.

En consecuencia, el operador L satisface las versiones del principio máximo, y en particular las soluciones al problema de Dirichlet son únicas, con tal de que existan.

Las ecuaciones de Monge-Ampère surgen naturalmente en varios problemas en la geometría de Riemann, la geometría de conformación y la geometría de CR . Una de las aplicaciones más simples es el problema de la curvatura de Gauss prescrita . Supongamos que una función de valor real K se específica en un dominio ${displaystyle Omega }$ en ${displaystyle mathbb {R} ^{n}}$, el problema de la curvatura de Gauss prescrita busca identificar una hipersuperficie de ${displaystyle mathbb {R} ^{n+1}}$ como un gráfico z = u(x) sobre x ∈ ${displaystyle Omega }$ de modo que a cada punto de la superficie, la curvatura de Gauss viene dada por K(x) La ecuación diferencial parcial resultante es

Este problema fue resuelto en 1953 por Nirenberg.

Las ecuaciones de Monge-Ampère están relacionadas con el problema de transporte masivo óptimo de Monge-Kantorovich , cuando el «costo funcional» está dado por la distancia euclidiana.^[4]​

Una inesperada de la aplicación en el campo de la teoría de cuerdas resultado de un resultado 1978 publicada de Yau, una conjetura de Calabi en la curvatura de ciertos colectores Kahler por medio de la solución de un complejo de la ecuación de Monge-Ampere demostró (conjunto de Yau). Hoy se habla en consecuencia de variedades de Calabi-Yau.

Importantes contribuciones a las ecuaciones de Monge-Ampère en el siglo XX fueron Hermann Weyl, Franz Rellich, Erhard Heinz, Louis Nirenberg, Shing-Tung Yau, Luis Caffarelli y Alekséi Vasilievich Pogorélov.

---