A Hadamard Formula for Equilibrium Envelopes under Parallel Deformation

Abstract

Let $(X,{\omega }_0)$ be a compact Kähler manifold, and let $U⋐X$ have $C^{3,1}$ uniformly strongly pseudoconvex boundary. For the equilibrium envelope $u_0$ associated with $X\setminus U$, the normalized Monge--Ampère measure vanishes on $U$ and equals the background measure $V^{-1}{\omega }_0^n$ on $X\setminus \overline{U}$; its remaining component is a singular measure supported on $\partial U$, where $V={\int }_X{\omega }_0^n$. We identify this boundary component as the negative outward Anzellotti trace of a divergence-measure flux current. We then prove a one-sided Hadamard formula for the normalized Monge--Ampère energy along the outward parallel family $U_{\epsilon }=\{\rho <\epsilon \}$. The nonlinear telescoping identity gives the mixed Bedford--Taylor boundary traces that sum up to the trace of the current \[ \mathcal J_{\mathrm{tot}} =\frac1V\mathrm{d}^c u_0\wedge\sum_{p=0}^{n-1}(p+1)ω_{u_0}^p\wedgeω_0^{n-1-p}, \qquad ω_{u_0}=ω_0+\mathrm{d}\mathrm{d}^c u_0. \] These results provide a local weak formulation of boundary flux and normal variation for regular interface problems related to Darcy/Hele--Shaw type problems and Monge--Ampère growth.

29 pages, no figure. Comments are welcome!