Abstract: Let $M$ be a $C^2$-smooth Riemannian manifold with boundary and $X$ be a metric space with non-positive curvature in the sense of Alexandrov. Let $u\colon M\to X$ be a Sobolev mapping in the sense of Korevaar and Schoen. In this short note, we introduce a notion of $p$-energy for $u$ which is slightly different from the original definition of Korevaar and Schoen. We show that each minimizing $p$-harmonic mapping ($p\geq 2$) associated to our notion of $p$-energy is locally H\"older continuous whenever its image lies in a compact subset of $X$.

Key words: Alexandrov space with non-positive curvature, p-harmonic mappings, upper gradients, Korevaar-Schoen Sobolev space