The Jensen envelope is plurisubharmonic on all manifolds

Finnur Larusson, Ragnar Sigurdsson

The Jensen envelope $J\varphi$ of an upper semicontinuous function $\varphi$ on a complex manifold X is defined at $x\in X$ as the infimum of $\mu (\varphi )$ over all Jensen measures $\mu$ centred at x.…