Monotonicity Formula for Stationary Harmonic Maps

Source: doi:10.1007/978-3-0348-9193-6 Authors: Wei Wang Status: verified Main declarations: LeanStationaryHarmonicMaps.StationaryHarmonicMap.StationaryW12LocMap Tags: analysis, pde, harmonic-maps, monotonicity-formula, sobolev MSC: 58E20, 35J50