A priori Hölder and Lipschitz regularity for generalized $p$-harmonious functions in metric measure spaces

Abstract

Let $(\mathbb{X} , d, μ)$ be a proper metric measure space and let $Ω\subset \mathbb{X}$ be a bounded domain. For each $x\in Ω$, we choose a radius $0< \varrho (x) \leq \mathrm{dist}(x, \partial Ω) $ and let $B_x$ be the closed ball centered at $x$ with radius $\varrho (x)$. If $α\in \mathbb{R}$, consider the following operator in $C( \overlineΩ )$, $$ \mathcal{T}_αu(x)=\fracα{2}\left(\sup_{B_x } u+\inf_{B_x } u\right)+(1-α)\,\frac{1}{μ(B_x)}\int_{B_x}\hspace{-0.1cm} u\ dμ. $$ Under appropriate assumptions on $α$, $\mathbb{X}$, $μ$ and the radius function $\varrho$ we show that solutions $u\in C( \overlineΩ )$ of the functional equation $\mathcal{T}_αu = u$ satisfy a local Hölder or Lipschitz condition in $Ω$. The motivation comes from the so called $p$-harmonious functions in euclidean domains.