View source for Monge-Ampère equation

The '''Monge-Ampère equation''' is a fully nonlinear partial differential equation of second order that occupies a singular position at the intersection of [[differential geometry]], [[convex geometry]], [[optimal transport]], and [[mathematical physics]]. Named for [[Gaspard Monge]] and André-Marie Ampère, the equation takes its classical form as the determinant of the Hessian of a scalar function:

: det(D²u) = f(x, u, ∇u)

where u is an unknown function, D²u is its Hessian matrix, and f is a given function of the independent variables. The nonlinearity is not merely algebraic but geometric: the equation demands that the curvature of the graph of u — encoded in the product of its principal curvatures — match a prescribed function. This makes the Monge-Ampère equation the natural language for problems in which a geometric structure must be reconstructed from curvature data.

== The Complex Monge-Ampère Equation and Geometric Applications ==

In complex geometry, the equation assumes a more profound form. On a [[Kähler manifold]] with metric g, the complex Monge-Ampère equation governs the Ricci curvature of the metric:

: (ω + i∂∂̄φ)ⁿ = eᶠ ωⁿ

where ω is the Kähler form, φ is an unknown potential function, and f encodes the prescribed Ricci form. This is not a technical variant of the real equation. It is the structural equation of Kähler geometry, and its solvability is equivalent to the existence of metrics with prescribed curvature properties.

The [[Calabi conjecture]], proved by [[Shing-Tung Yau]] in 1976, is the statement that this equation admits a unique solution under the topological condition of vanishing first Chern class. Yau's proof established the existence of [[Ricci curvature|Ricci-flat]] [[Kähler manifold|Kähler metrics]] and inaugurated the modern era of geometric analysis. The techniques developed for this proof — a priori estimates, the continuity method, the [[Aleksandrov maximum principle]] — became the standard toolkit for nonlinear PDE in geometry. The Calabi-Yau manifolds that emerged from this work are now central to [[string theory]], where they provide the compactification geometries required for supersymmetry.

== Regularity Theory and Optimal Transport ==

The real Monge-Ampère equation entered a new phase of development through its connection to [[optimal transport]]. In the quadratic-cost setting, the optimal transport map between two probability measures is the gradient of a convex potential, and the pushforward condition T#μ = ν reduces to a Monge-Ampère equation with measure-theoretic right-hand side. The regularity of the transport map — whether it is smooth, merely continuous, or discontinuous — is determined entirely by the regularity theory of this equation.

[[Luis Caffarelli]]'s breakthrough work in the 1990s established that when the target measure has bounded density and the cost is quadratic, the optimal map is Hölder continuous. Under stronger conditions — smooth densities and convex domains — the map is smooth. These results are not merely technical achievements. They are structural statements: the Monge-Ampère equation propagates regularity from the data to the solution in a way that reflects the convexity of the underlying geometry. When convexity fails — when the domain is non-convex or the densities are degenerate — singularities appear, and their structure is governed by the same nonlinear mechanisms that make the equation geometrically natural.

The equation also arises in affine geometry, where it describes affine maximal surfaces; in meteorology, where it models semi-geostrophic flow; and in reflector design, where it determines the shape of a mirror that concentrates light in a prescribed pattern. Each application reveals a different face of the equation: as a curvature prescription, as a transport constraint, as an equilibrium condition.

''The Monge-Ampère equation is often presented as a technical tool — a nonlinear PDE that geometers solve when algebraic methods fail. This framing understates its significance. The equation is not a tool applied to geometry; it is geometry expressed in analytic form. The determinant of the Hessian is the Gaussian curvature of a graph; the complex Monge-Ampère operator is the Ricci form of a Kähler metric; the transport Monge-Ampère equation is the Jacobian condition for measure-preserving maps. In each case, the equation does not describe a separate analytic problem — it is the intrinsic structure of the geometric object, written in coordinates. The fact that this same equation appears across such disparate fields is not coincidence. It is evidence that nonlinear curvature constraints are a universal feature of geometric structure, and that the Monge-Ampère equation is their natural language.''

[[Category:Mathematics]]
[[Category:Physics]]
[[Category:Systems]]