Plurisubharmonic approximation and boundary values of plurisubharmonic functions (Q2338695): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 15:51, 2 February 2024

scientific article
Language Label Description Also known as
English
Plurisubharmonic approximation and boundary values of plurisubharmonic functions
scientific article

    Statements

    Plurisubharmonic approximation and boundary values of plurisubharmonic functions (English)
    0 references
    0 references
    0 references
    27 March 2015
    0 references
    Let \(X\subset \mathbb C^n\) be a compact set. A Jensen measure with barycenter \(z\in X\) (\(\mathcal J_z(X)\)) is a regular Borel probability measure \(\mu\) with support in \(X\) such that \(u(z)\leq \int u\,d\mu\) for every function \(u\) which is plurisubharmonic and continuous in a neighborhood of \(X\). A function \(u:X\to [-\infty,+\infty)\) is called plurisubharmonic on \(X\) (\(u\in \mathcal {PSH}(X)\)) if \(u\) is upper semicontinuous (\(u\in \mathcal {USC}(X)\)) and \[ \forall \, z\in X\; \forall \, \mu\in \mathcal J_z(X)\quad u(z)\leq \int u\,d\mu. \] In this paper the following problem is studied. In a bounded domain \(\Omega\subset \mathbb C^n\), which upper semicontinuous functions on \(\overline \Omega\) and plurisubharmonic on \(\Omega\) are plurisubharmonic on \(\overline \Omega\)\,? To answer this question a new class of domains is introduced. A bounded domain \(\Omega\subset\mathbb C^n\) is called \textit{P-hyperconvex} if there exists \(u\in \mathcal {PSH}(\overline \Omega)\cap \mathcal C(\overline \Omega)\) such that \(u=0\) on \(\partial \Omega\). P-hyperconvex domains are hyperconvex but not necessarily strictly hyperconvex. It is proved also that every bounded pseudoconvex domain with \(\mathcal C^1\) boundary is P-hyperconvex. Moreover, P-hyperconvex domains can be also characterized in terms of Jensen measures. Namely, \(\Omega\) is P-hyperconvex if and only if \[ \forall \, z\in \partial \Omega \; \forall \, \mu\in \mathcal {J}_z(\overline \Omega) \quad \text{supp} \mu \subset \partial \Omega. \] The main theorem of this paper is the following. Let \(\Omega\) be a P-hyperconvex domain and let \(u\in \mathcal {PSH}(\Omega)\cap \mathcal {USC}(\overline \Omega)\), then \(u\in \mathcal {PSH}(\overline \Omega)\) if there exists \(v\in \mathcal {PSH}(\overline \Omega)\) such that \(u=v\) on \(\partial \Omega\). In other words, a plurisubharmonic function on \(\Omega\) is plurisubharmonic on \(\overline \Omega\) if it has ``right'' boundary values. This leads to the following Dirichlet problem: for a given \(f\in \mathcal {USC}(\partial \Omega)\), find \(u\in \mathcal {PSH}(\overline \Omega)\) such that \(u=f\) on \(\partial \Omega\). It is proved in the paper that the above problem for P-hyperconvex domains can be solved if and only if \(f\in \mathcal {PSH}(\partial \Omega)\).
    0 references
    plurisubharmonic functions on compact sets
    0 references
    Jensen measures
    0 references
    approximation
    0 references
    plurisubharmonic extension
    0 references
    plurisubharmonic boundary values
    0 references

    Identifiers