A Harnack inequality approach to the regularity of free boundaries. Part I: Lipschitz free boundaries are C1,α.
This is the first in a series of papers where we intend to show, in several steps, the existence of classical (or as classical as possible) solutions to a general two-phase free-boundary system. We plan to do so by:(a) constructing rather weak generalized solutions of the free-boundary problems,(b) showing that the free boundary of such solutions have nice measure theoretical properties (i.e., finite (n-1)-dimensional Hausdorff measure and the associated differentiability properties),(c) showing...