A natural approach to the asymptotic mean value property for the $p$-Laplacian

TL;DR

This paper establishes a natural asymptotic mean value property characterizing viscosity solutions to the normalized p-Laplace equation, extending previous results to all p including p=1, and also to the parabolic case.

Contribution

The paper introduces a natural mean value characterization for solutions to the normalized p-Laplace equation, valid for all p and extendable to parabolic equations.

Findings

Characterizes viscosity solutions via asymptotic mean value property.

Extends AMVP to p=1 and the parabolic p-Laplace equation.

Defines a monotonic, continuous mean value functional.

Abstract

Let $1\le p\le\infty$. We show that a function $u\in C(\mathbb R^N)$ is a viscosity solution to the normalized $p$-Laplace equation $\Delta_p^n u(x)=0$ if and only if the asymptotic formula $$ u(x)=\mu_p(\ve,u)(x)+o(\ve^2) $$ holds as $\ve\to 0$ in the viscosity sense. Here, $\mu_p(\ve,u)(x)$ is the $p$-mean value of $u$ on $B_\ve(x)$ characterized as a unique minimizer of $$ \inf_{\la\in\RR}\nr u-\la\nr_{L^p(B_\ve(x))}. $$ This kind of asymptotic mean value property (AMVP) extends to the case $p=1$ previous (AMVP)'s obtained when $\mu_p(\ve,u)(x)$ is replaced by other kinds of mean values. The natural definition of $\mu_p(\ve,u)(x)$ makes sure that this is a monotonic and continuous (in the appropriate topology) functional of $u$. These two properties help to establish a fairly general proof of (AMVP), that can also be extended to the (normalized) parabolic $p$-Laplace equation.