This is a [cross-post](https://math.stackexchange.com/questions/2246157/are-all-symmetries-of-the-dirichlet-functional-isometries) from MSE (no answer there).


Let $M,N$ be oriented $d$-dimensional Riemannian manifolds, $M$ **compact\***, and let $f:M \to N$ be smooth.


Consider the Dirichlet energy functional: $E\_{M,N}(f)=\int\_M \|df\|^2 \operatorname{Vol}\_g$.
($\operatorname{Vol}\_g$ is the Riemannian volume form of $M$).


**Fix** another $d$-dimensional Riemannian manifold $W$.
For every isometric immersion $\phi:N \to W$,


$$ E\_{M,N}(f)=E\_{M,W}(\phi \circ f) \, \text{ for any } \, f:M \to N. \tag{1}$$


Let us call a smooth map $\phi$ which sarisfies $(1)$ a **symmetry** of the Dirichlet's integral.



> 
> **Question:** Is every symmetry an isometric immersion? 
> 
> 
> Does anything change if we restrict the symmetries to be invertible maps? (or diffeomorphisms)? 
> 
> 
> 


Has this notion of symmetry been studied in the context of mappings between manifolds? (In more "classical Euclidean" settings I found similar notions by the name of "variational symmetry groups").


\*We can relax the compactness assumption, but then we need to restrict the discussion to maps which are constant outside a compact domain.




---


*Comments:*


$(1)$ The "pointwise analog" is trivial:


If $B \in M\_d$, and for every $A \in M\_d$, $ \|BA\|=\|A\|$ (where $\| \|$ is the Euclidean norm), then $B$ is an orthogonal matrix.


The challenge is that the notion of a Dirichlet's-symmetry is a *global* one, while the concept of isometric immersion is *local*. 


I think the rough idea should be to choose "test maps" $f$ which are very "localized" (are constant outside small balls). However, this does not seem trivial, since the differential would have to pass from a given linear map to zero, so its norm would vary. (Think of a bump function which goes quickly from one to zero, you can't make the integral of the derivative small).


$(2)$ The answer could a-priori depend on the manifolds. Even the case where $M$ is an Euclidean ball in $\mathbb{R}^d$, $N=W=\mathbb{R}^d$, the answer does not seem to be trivial (see the previous comment).



Are all symmetries of the Dirichlet functional isometries?
The answer to your question is "yes, every symmetry (in the sense you have specified) is an isometric immersion".


To see why, first note that, if $(M,g)$ is a compact Riemannian $m$-manifold and $h$ is *any* smooth quadratic form on an $n$-manifold $N$, one can always define the Dirichlet energy $E\_{g,h}(f)$ of a smooth map $f:M\to N$. You don't need that $h$ be positive definite (or even nondegenerate) to do this. (You don't need $M$ to be oriented either; instead of using the $g$-volume, you can use the $g$-density instead.) To see this, just look at the formula for the Energy density in local coordinates $x=(x^i)$ on $M$ and $y = (y^a)$ on $N$. In those coordinates, you'll have $g = g\_{ij}(x)\,\mathrm{d}x^i\mathrm{d}x^j$ and $h = h\_{ab}(y)\,\mathrm{d}y^a\mathrm{d}y^b$ and, when the map is expressed as $y = f(x)$, the Dirichlet energy density becomes
$$
\Phi\_{g,h}(f) = h\_{ab}\bigl(f(x)\bigr)\frac{\partial^af}{\partial x^i}\frac{\partial^bf}{\partial x^j} g^{ij}(x)\,\,G(x)\,\mathrm{d}x\tag 1
$$
where $G^2 = \det(g\_{ij})$. Note that, while you do need $g$ to be nondegenerate, you don't need $h$ to be nondegenerate. (I'm omitting the traditional coefficient of $\tfrac12$ since you did.)


As a result, your question reduces to the following one: Suppose that $E\_{g,h}(f) = 0$ for all $f:M\to N$. Does this imply that $h$ vanishes identically? 


Now, this is a question of the form of so-called 'null Lagrangians', i.e., those first-order Lagrangians for which the Euler-Lagrange equations are trivial. From the above hypothesis, $\Phi\_{g,h}$ would be a null Lagrangian. 


It is a classical fact (see any decent book on the calculus of variations) that a null Lagrangian of first order from an $m$-dimensional manifold to an $n$-dimensional manifold must be of the local form
$$
\Phi(f) = \sum\_{I,A} h^I\_A\bigl(x,f(x)\bigr)D^A\_I\left(\frac{\partial f}{\partial x}\right)\,\,\mathrm{d}x,\tag 2
$$ 
where the sum is over all multi-indices $I = (i\_1,\ldots,i\_k)$, $A=(a\_1,\ldots,a\_k)$
and $0\le k\le \min(m,n)$, where $1\le i\_1 < i\_2< \cdots < i\_k\le m$ and $1\le a\_1 < a\_2<\cdots<a\_k\le n$ and $D^A\_I(L)$ is the corresponding $k$-by-$k$ minor of the $n$-by-$m$ matrix $L$.


However, one immediately sees that the above Dirichlet energy (1) is of the form (2) if and only if $h\_{ab}(y)\equiv0$, which implies the desired result. 


