For locally integrable real with nonnegative distributional derivative , its ball means increase with radius. To see this, mollify: for a smooth subharmonic function the derivative of its spherical mean is the integral of over the ball divided by the sphere area. The ball means inherit monotonicity; local convergence passes this to . Their decreasing-radius limit exists, may be minus infinity at exceptional points, and equals almost everywhere by the Lebesgue differentiation theorem. It is upper semicontinuous as an infimum of continuous ball means and satisfies the mean-value inequality. Arbitrary changes of a representative on a null set can destroy its pointwise maximum principle.

Articles by others on the same topic (0)

There are currently no matching articles.