Dirichlet problems for plurisubharmonic functions on compact sets (Q444189): Difference between revisions

The authors study Dirichlet problems for different classes of plurisubharmonic functions on compact subset of \(\mathbb C^n\). One of the main results is the following. Let \(X\subset\mathbb C^n\) be compact. For \(z\in X\) let \(\mathcal J_z(X)\) be the set of all probability measures \(\mu\) on \(X\) such that \(u(z)\leq\mu(u)\) for every \(u\in\text{PSH}(X)\). Let \(O_X:=\big\{z\in X: \mathcal J_z(X)=\{\delta_z\}\big\}\). Put \(B_X:=\overline O_X\), \(\mathcal J^b_z(X):=\big\{\mu\in\mathcal J_z(X): \text{supp}\mu\subset B_X\big\}\). Let \(\text{PSH}^c(X):=\text{PSH}(X)\cap\mathcal C\big(X,[-\infty,+\infty)\big)\). Assume that \(X\) is \(O\)-regular, i.e., \(O_X\) is closed. Let \(\varphi\in\mathcal C\big(B_X,[-\infty,+\infty)\big)\). Put \(u:=\sup\big\{v:\;v\in\text{PSH}^c(X): v|_{B_X}\leq\varphi\big\}\). Then: -- \(u\) is weakly plurisubharmonic on \(X\); -- \(u(z)=\inf\big\{\mu(\varphi): \mu\in\mathcal J^b_z(X)\big\}\), \(z\in X\); -- for every \(z\in X\) there exists a \(\mu\in\mathcal J^b_z(X)\) with \(u(z)=\mu(\varphi)\); -- \(u=\varphi\) on \(B_X\), \(\lim_{z\to z_0}u(z)=\varphi(z_0)\) for every \(z_0\in B_X\); -- \(u\) is maximal on \(X\); -- \(u\) is the only weakly plurisubharmonic maximal function on \(X\) with \(u=\varphi\) on \(B_X\).