PDE – Calculus of Variations Problem from Evans

calculus-of-variationsdifferential-geometrypartial differential equations

I'm trying to learn Calculus of Variations and I can't solve the following problem from Chapter 8 of Larry Evans' PDE book. Could someone please help with a solution?

Let $\Sigma \subset \mathbb{R}^3$ denote the graph of the smooth function $u: U \to \mathbb{R},$ $U \subset \mathbb{R}^2.$ Then $$\int_U (1+|Du|^2)^{-2} \; \text{det}(D^2u) \; dx$$ represents the integral of the Gauss curvature over $\Sigma.$ Prove this expression depends only on $Du$ restricted to $\partial U.$

Best Answer

That can be done, though it is a bit messy. In the following we let $f_{ij}$ denotes the partial derivative $\frac{\partial^2 f}{\partial x^i \partial x^j}$. Basically you want to show that for any $u$,

$$ \frac{d}{dt}\bigg|_{t=0} \mathcal F (u_t) = 0, $$

where $u_t = u+ t\varphi$ for any $\varphi \in C^\infty_0(\Omega)$ and $\mathcal F (f) = \int_{\Omega} (1+ |Df|^2)^{-a} \det (D^2 f) \ \mathrm dx$.

Direct calculations give

\begin{align} &\frac{d}{dt}\bigg|_{t=0} \mathcal F (u_t) \\ &=\int_\Omega \left(\frac{-2a \det (D^2 u)}{(1+ |du|^2)^{a+1}} \langle D u , D \varphi\rangle+ \frac{1}{(1+ |Du|^2)^a } ( \varphi_{11} u_{22} + \varphi_{22} u_{11} - 2\varphi_{12}u_{12})\right) \mathrm dx.\end{align}

For the second term, one use integration by part twice to get

$$\int_\Omega \left( \frac{\varphi_{11} u_{22} - \varphi_{12} u_{12} }{(1+|Du|^2)^a}\right) \mathrm dx = \int_\Omega \frac{2a\det D^2 u}{(1+ |Du|^2)^{a+1}} \varphi_1 u_1\mathrm d x.$$

and similarly

$$\int_\Omega \left( \frac{\varphi_{22} u_{11} - \varphi_{12} u_{12} }{(1+|Du|^2)^a}\right) \mathrm dx = \int_\Omega \frac{2a\det D^2 u}{(1+ |Du|^2)^{a+1}} \varphi_2 u_2\mathrm d x.$$

thus these two terms cancel the first term and thus the derivative is zero. This implies $\mathcal F(u)$ is invariant under any interior perturbation and thus depends only on its value on the boundary. Clearly it does not depend on $u$. But it is not clear to me why it depends only on $Du$ (even when $a=2$ or $3/2$).

Related Question