Characterization of Sobolev regularity of plurisubharmonic functions

Hongrong Chen; Guokuan Shao; Wenxuan Wang

Home/Archive/arXiv

arXiv · 2609.39136

Characterization of Sobolev regularity of plurisubharmonic functions

Hongrong Chen·Guokuan Shao·Wenxuan Wang

View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $f$ be a nonzero holomorphic germ at $0 \in \mathbb C^n$ with $f(0)=0$, and let $χ$ be a $C^2$ non-decreasing convex function on the left half-line. We establish sharp necessary and sufficient conditions for the local Sobolev regularity of the plurisubharmonic function $v=χ(\log|f|).$ The criteria for the $L^p$-integrability of the classical Laplacian and for $W^{1,p}$-regularity are given by a weighted integral involving $χ''$ and $χ'$, respectively, and depend on $f$ only through the smallest multiplicity of $\operatorname{Div}(f)$. We also obtain the $W^{2,p}_{\mathrm{loc}}$ criterion for $1<p<\infty$. At the endpoint $p=1$, we prove that \[ v\in W^{2,1}_{\mathrm{loc}} \quad\Longleftrightarrow\quad χ'\in L^1((-\infty,A)), \] equivalently, $v$ is locally bounded. As applications, we obtain counterexamples to Calderón-Zygmund theory and characterize a class of functions in the local Monge--Ampère domain. % and exhibit a natural family in $W^{2,1}_{\mathrm{loc}}$ whose limit fails to belong to $W^{2,1}_{\mathrm{loc}}$.

Explore related subjects

math.CV

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Hongrong Chen, Guokuan Shao, Wenxuan Wang. 2026-09-30. Characterization of Sobolev regularity of plurisubharmonic functions. https://arxiv.org/abs/2609.39136

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Continuity of pluricomplex Green functions with hypersurface poles on certain B-regular domains

We prove the continuity of the pluricomplex Green functions introduced by F. Lárusson and R. Sigurdsson on a class of bounded (B)-regular domains that includes all (B)-regular convexifiable domains.

math.CV↗

arXiv2026

Complex Dirichlet problem with unbounded boundary values

We study the Dirichlet problems with unbounded boundary data. Our main theorem proves interior continuity from a local biholomorphic deformation satisfying a one-sided compatibility condition near the infinite locus and barriers on the associated boundary cluster set. The deformed domains need not be nested, and the proof uses neither a Runge hypothesis nor a pseudoconvex ambient neighbourhood. We also prove nonmonotone Perron--Bremermann convergence outside an intrinsic neighbourhood pluripolar hull, a disk-fibre hull representation, stability under simultaneous nonmonotone variations of the domain and obstacle, and uniqueness in a fixed obstacle class.

math.CV↗

arXiv2026

Baernstein's quasi-norm monotonicity conjecture for polynomials with unimodular zero

Let $m$ denote the normalized Haar measure on the unit circle $\mathbb{T}$. For $0<r<\infty$, define $\lVert f\rVert_{r}:=\left(\int_{\mathbb{T}}|f|^{r}\,\mathrm{d} m\right)^{1/r}$, with $\lVert f\rVert_{0}$ and $\lVert f\rVert_{\infty}$ interpreted as the geometric mean and the supremum norm, respectively. Set $Q_n(z)=1+z^n$. We prove that, for every nonzero polynomial $p$ of degree $n$ whose zeros all lie on $\mathbb{T}$, $$ \frac{\lVert p\rVert_s}{\lVert Q_n\rVert_s} \le \frac{\lVert p\rVert_t}{\lVert Q_n\rVert_t}, \qquad 0\le s\le t\le\infty. $$ This settles Baernstein's quasi-norm monotonicity conjecture. As corollaries, we obtain an $L^r$ extension of Visser's coefficient inequality, the sharp O'Hara--Rodriguez inequality and its higher-power analogues, the Erdős--Szekeres product bound $ \left\lVert\prod_{j=1}^N(1-z^{s_j})\right\rVert_\infty\ge2\sqrt N $ for all positive integers $s_1,\ldots,s_N$ and Agler--McCarthy's entropy conjecture. We also provide a Lean 4 formalization of the main results.

math.CV↗