A Regularity Theory for Stationary Two-valued Harmonic Functions

For stationary two-valued harmonic functions with Hölder regularity, we establish their Lipschitz regularity and prove that the nodal set consists of analytic hypersurfaces away from a singular set. The main tools are the Almgren monotonicity formula and the blow-up method. These results are applicable to some limiting problems in segregation models.