In mathematics, a Sobolev mapping is a mapping between manifolds which has smoothness in some sense. Sobolev mappings appear naturally in manifold-constrained problems in the calculus of variations and partial differential equations, including the theory of harmonic maps.