Sobolev spaces with only trivial isometries, II

In this article, we obtain a canonical form for surjective linear isometries provided U is an open, bounded, connected, domain with Lipschitz boundary, and . We will show there exists |c| = 1 and mapping τ that is a composition of a translation and a sign-changing permutation of coordinates such that Tf = cf(τ). As a corollary, if , all surjective isometries have this trivial form by the Sobolev Imbedding Theorem.