Higher-order differentiability of Korevaar--Schoen energy forms and energy measures

In this paper, we investigate the differentiability of Korevaar–Schoen $p$-energy forms and the associated $p$-energy measures. We obtain higher-order derivatives by virtue of explicit realizations of Korevaar–Schoen $p$-energy forms and the associated $p$-energy measures as subsequential pointwise limits of certain double integrals.