Partial differential equations describe how quantities change across space and time — heat flow, fluid dynamics, material stress, tumor nutrient diffusion. Regularity theory asks whether solutions to these equations are smooth (well-behaved) or can develop singularities (infinities, discontinuities, chaos). For uniformly elliptic PDEs — equations where material properties are bounded within a predictable range — regularity was established in the mid-20th century. The theory works when the material is well-behaved.
Real materials are not well-behaved. Lava flows through rock of varying porosity. Stress distributes through bridges with heterogeneous composition. Nutrients diffuse through tumors with wildly uneven vasculature. These are nonuniformly elliptic PDEs, where the bounds on material properties can vary without limit across space. For over eighty years, nobody could prove that solutions to these equations remain regular.
Published in the Duke Mathematical Journal, Cristiana De Filippis and Giuseppe Mingione proved that they do — provided a single precise inequality is satisfied. Their method: construct a phantom equation, a “ghost” that shadows the real equation but has known regularity properties. Then iteratively refine the ghost until it converges on the true solution, carrying the regularity guarantee with it.
The structural insight is about solvability through proxy. The real equation is intractable directly. But a constructed companion equation — one that does not correspond to any physical system — can be analyzed. The ghost equation exists solely to transfer a property (regularity) from a solvable context to an unsolvable one. The proof works not because the ghost is a good approximation of reality but because it shares the structural feature that matters.
The technique separates the problem from its context. The regularity of the solution does not depend on the specific material properties — it depends on a relationship between how those properties vary. The ghost equation captures that relationship while discarding everything else.