An Exact Spherical-Solid Mean Formula and Vanishing Criteria for Lelong Numbers
We establish an exact additive formula expressing the Lelong number of a plurisubharmonic function in terms of the limiting difference between its spherical and solid means. Building on this identity, we derive several equivalent criteria for the vanishing of the Lelong number, formulated in terms of fixed-scale increments and the asymptotic agreement of radial maxima, spherical and solid means, and radial regularizations. We also give a pointwise $L^1$ mean-oscillation formulation of the VMO characterization for plurisubharmonic functions with zero Lelong number, together with a streamlined proof of the corresponding global result of Biard and Wu. Finally, we establish a nonlinear characterization in terms of the relative extremal depth and the Bedford-Taylor capacity of deep sublevel sets.