0
$\begingroup$

For $$ -\Delta u=f(u) \quad \text { in } \Omega, $$ we call a solution is stable if $$ Q_u(\varphi):=\int_{\Omega}|\nabla \varphi|^2 d x-\int_{\Omega} f^{\prime}(u) \varphi^2 d x \geq 0, \quad \forall \varphi \in C_c^1(\Omega) . $$ Here $Q_u(\varphi)$ is the second variation of its energy functional.

In my understanding, it's only meaningful to discuss the concept of stable solution when we don't know if the energy functional is convex or concave, now, if I prove that the PDE has no stable solution, what will this help? Can we have a better understanding of the shape of the energy functional? For example, can we say that the energy functional is actually concave?

$\endgroup$
3
  • 2
    $\begingroup$ A local minimum of the energy functional yields a stable solution. The functional need not have to be convex to have a local minimum. The stable solutions are the one "observable in real life". The existence of a stable solution does not help very much elicidating the shape of the energy functional. $\endgroup$ Commented Feb 1 at 12:59
  • 1
    $\begingroup$ I believe you should think in finite-dimensional terms. Consider a function $F\colon \mathbb R^2\to \mathbb R$. This is your "energy functional". Its critical points are the "solutions" and its Hessian matrix is the "second variation". You can make examples of this form for all your questions. For example, it is immediate to prove by these examples that knowing the sign of the second variation at critical points typically yields no information on the global behaviour of the energy functional. $\endgroup$ Commented Feb 1 at 16:09
  • $\begingroup$ Thanks for your reply, I get it. But this made me confused, I know some applications where the stable solution is used to model the burning or the explosion of the fuel, you mean that this concept is almost useless in the well-posedness of elliptic PDE? And if we prove that there is no stable solution, then the only conclusion we can draw is that if there are solutions, they must be the saddle point or local maximum of the energy functional, right? $\endgroup$
    – Elio Li
    Commented Feb 2 at 7:37

0

You must log in to answer this question.

Browse other questions tagged .