MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a very basic question in the calculus of variations:

Suppose I want to minimize the functional

$$A[r, r'] = \int_\Omega L(r, r') dx $$

When is it possible to say that extremals of $A$ agree with extremals of

$$\tilde{A}[r, r'] = \int_\Omega \left( L(r, r') \right)^2 dx $$

Assume that $L(r, r') \geq 0$. Note that $r: \mathbb{R}^{n - 1} \rightarrow \mathbb{R}^n$ (e.g. $r$ as a parameterization of a minimal surface), $r'$ is really a matrix, and $L(r, r')$ is a real number.

Any references for these types of issues would also be great.

share|cite|improve this question
I have only looked at the single-variable case, but combining the Euler equations for both problems seems to lead to the conclusion $dL/dx = 0$, in other words $L$ must be constant on any common extremal. In that case of course $\tilde{A}\int_\Omega dx = A^2$. – Niels Diepeveen Jul 11 '12 at 16:00
Sorry for the delayed response, but could you explain this further? – user7807 Jul 19 '12 at 12:28
Have you tried computing the Euler-Lagrange equation for each functional and comparing them? – Deane Yang Jul 28 '12 at 14:53
@Deane Yang, yes, though that didn't get me too far, at least at first sight. – user7807 Jul 31 '12 at 18:18

I believe that the equivalence of minimisers follows if and only if when $r$ is a critical of $A$ it holds that $L(r,r') = C \in \mathbb R, \forall x \in \Omega$. The idea being inspired by the equivalence of Length/Energy minimisation in differential geometry.

share|cite|improve this answer
Thanks, I'll look into that. – user7807 Jul 31 '12 at 18:18

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.