Continuity of envelopes of unbounded plurisubharmonic functions

TL;DR

This paper investigates the continuity of envelopes of unbounded plurisubharmonic functions on bounded B-regular domains, generalizing classical results and linking the solvability of complex Monge--Ampère equations for bounded and unbounded boundary data.

Contribution

It extends classical continuity results for plurisubharmonic envelopes to unbounded functions and explores implications for the solvability of complex Monge--Ampère equations.

Findings

Established continuity conditions for envelopes of unbounded plurisubharmonic functions.

Generalized Walsh's classical result in pluripotential theory.

Linked solvability of Monge--Ampère equations for bounded and certain unbounded boundary data.

Abstract

On bounded B-regular domains, we study envelopes of plurisubharmonic functions bounded from above by a function $\phi$ such that $\phi^*=\phi_*$ on the closure of the domain. For $\phi$ satisfying certain additional criteria limiting its behavior at the singularities, we establish a set where the Perron-Bremermann envelope $P \phi$ is guaranteed to be continuous. This result is a generalization of a classic result in pluripotential theory due to J. B. Walsh. As an application, we show that the complex Monge--Amp\`ere equation \[ (dd^cu)^n = \mu \] being uniquely solvable for continuous boundary data implies that it is also uniquely solvable for a class of boundary values unbounded from above.