Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Find $L=L(p,z,x)$ so that the PDE:

$-\Delta u +D\varphi \cdot Du =f $

is the Euler-Lagrange equation corresponding to the functional $I[w]:=\int_UL(Dw,w,x)dx$.

(Hint,:Look for a Lagrangian with an exponential term),

We can easily to calculate an equation's Euler-Lagrange equation, while the inverse calculation I feel hard for me ,and I still don't know how to use the Hint! Thanks a lot!

share|cite|improve this question
up vote 6 down vote accepted

The most interesting part of the Euler-Lagrange equation is $\sum_i (L_p)_{x_i}$, which is the divergence of something. Of course you know how this leads to $\Delta u$: it's the divergence of $Du$. What field should we take so that its divergence involves $D\varphi\cdot Du$? There are two choices: $u\,D\varphi$ and $\varphi\, Du$. Let's try them: $$\operatorname{div}(u\,D\varphi) = D\varphi\cdot Du + u\,\Delta\varphi$$ $$\operatorname{div}(\varphi\,Du) = D\varphi\cdot Du + \varphi\,\Delta u$$ I think the second option looks more attractive, since $\Delta u$ should appear in the equation, and $u$ by itself should not. Problem is, we have undifferentiated $\varphi$ in front of the Laplacian, and we shouldn't.

This is where the exponential trick comes in. It's used all the time in ODE to get rid of undifferentiated functions. For example, to solve $u'=3u$ we can write $u=e^w$ because then the equation become$e^w\,w'=3e^w$. Here $e^w$, formerly known as $u$, cancels out, leaving a very simple equation $w'=3$.

Let's try the same idea here: instead of $\varphi$ write $e^{\varphi}$. $$\operatorname{div}(e^\varphi\,Du) = e^\varphi D\varphi\cdot Du + e^\varphi\,\Delta u = e^{\varphi}(D\varphi\cdot Du + \,\Delta u) $$ Good, but we need a minus sign there. So, $$\operatorname{div}(e^{-\varphi}\,Du) = -e^{-\varphi} D\varphi\cdot Du + e^{-\varphi}\,\Delta u = e^{-\varphi}(-D\varphi\cdot Du + \,\Delta u) $$ It remains to create $e^{-\varphi}f$ in the equation, which I leave for you to do.

OK, here it is: $L(p,z,x)=e^{-\varphi(x)}\left(\frac12|p|^2-f(x)z\right)$. Check that it works.

share|cite|improve this answer
your answer is right ,maybe I understand your points now,Thanks ! – fx0123 Jan 6 '13 at 11:42

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.