Variational p-harmonious functions: existence and convergence to p-harmonic functions

Abstract: In a recent paper, the last three authors showed that a game-theoretic

p

-harmonic function

v

is characterized by an asymptotic mean value property with respect to a kind of mean value

u_{p}^{r} [v] (x)

defined variationally on balls

B_{r} (x)

. In this paper, in a domain

O m s u b s e t R R^{N}

,

N g e 2

, we consider the operator

m u_{p}^{v} e

, acting on continuous functions on

o l O m

, defined by the formula

m u_{p}^{v} e [v] (x) = u_{p}^{r_{v} e (x)} [v] (x)

, where

r_{v} e (x) = m i n [v e, d i s t (x, G a)]

and

G a

denotes the boundary of

O m e g a

. We first derive various properties of

m u^{v} e_{p}

such as continuity and monotonicity. Then, we prove the existence and uniqueness of a function

u^{v} e i n C (o l O m)

satisfying the Dirichlet-type problem:

u(x)=mu_p^ve[u](x) mbox{ for every } xinOm,quad u=g mbox{ on } Ga,

for any given function

g i n C (G a)

. This result holds, if we assume the existence of a suitable notion of barrier for all points in

G a

. That

u^{v} e

is what we call the extit{variational}

p

-harmonious function with Dirichlet boundary data

g

, and is obtained by means of a Perron-type method based on a comparison principle. par We then show that the family

{u^{v} e}_{v e > 0}

gives an approximation scheme for the viscosity solution

u i n C (o l O m)

of

De_p^G u=0 mbox{ in }Om, quad u=g mbox{ on } Ga,

where

D e_{p}^{G}

is the so-called game-theoretic (or homogeneous)

p

-Laplace operator. In fact, we prove that

u^{v} e

converges to

u

, uniformly on

o l O m

as

v e o 0

.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Variational \(p\)-harmonious functions: existence and convergence to \(p\)-harmonic functions