On the regularity of subelliptic pp-harmonic functions in Carnot groups

In this paper we prove second-order horizontal differentiability and C1,αC1,α regularity results for subelliptic pp-harmonic functions in Carnot groups for pp close to 2.