grandes-ecoles 2015 QIII.B.1
Existence or properties of extrema via abstract/theoretical argument
We assume that $f$ is the zero application on $C(0,1)$ and that $u$ is an element of $\mathcal{D}_f$. For all $n \in \mathbb{N}$, we define the application $$u_n : \begin{array}{rll} \bar{D}(0,1) & \rightarrow & \mathbb{R} \\ (x,y) & \mapsto & u(x,y) + \dfrac{1}{n}(x^2 + y^2) \end{array}$$
Suppose that $u_n$ admits a local maximum at $(\tilde{x}, \tilde{y}) \in D(0,1)$.
a) By examining the behavior of the function $x \mapsto u_n(x, \tilde{y})$ show that, in this case, $\partial_{11} u_n(\tilde{x}, \tilde{y}) \leqslant 0$. Similarly, one can show that $\partial_{22} u_n(\tilde{x}, \tilde{y}) \leqslant 0$. Thus $\Delta u_n(\tilde{x}, \tilde{y}) \leqslant 0$. This result is admitted for the rest.
b) Deduce that $u_n$ does not admit a local maximum on $D(0,1)$.