Results about existence/uniqueness of solution to Euler-Lagrange equations? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T05:02:08Z http://mathoverflow.net/feeds/question/84511 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/84511/results-about-existence-uniqueness-of-solution-to-euler-lagrange-equations Results about existence/uniqueness of solution to Euler-Lagrange equations? Jose Navarro 2011-12-29T12:33:43Z 2012-01-15T17:33:51Z <p>While studying calculus of variations, there is one question that I feel is missing in the texts I'm reading:</p> <p>What can we say about the existence and/or uniqueness of solutions to Euler-Lagrange equations? Is there any general result? </p> <p>I tried to google it, but found nothing.</p> http://mathoverflow.net/questions/84511/results-about-existence-uniqueness-of-solution-to-euler-lagrange-equations/84763#84763 Answer by Liviu Nicolaescu for Results about existence/uniqueness of solution to Euler-Lagrange equations? Liviu Nicolaescu 2012-01-02T19:04:47Z 2012-01-02T19:04:47Z <p>The so called direct method of the calculus of variations provides one such existence and uniqueness result.</p> <p>Here is the gist of it. Suppose that $X$ is a reflexive Banach space, e.g. a Hilbert space or a space of the form $L^p(\Omega)$, $p\in (1,\infty)$, $\Omega$ open subset of some Euclidean space. We are given a functional $J$ on $X$, i.e., a function</p> <p>$$J : X\to (-\infty, \infty]$$</p> <p>and we seek minimizers of such functionals, i.e., points $x_0\in X$ such that</p> <p>$$J(x_0)=\inf_{x\in X} J(x)$$</p> <p>The subset of $X$ where $J$ is finite is called the domain of $J$. It is typically described by various equalities and inequalities called constraints.</p> <p><strong>Existence Theorem.</strong> <em>Suppose that $J$ satisfies the following conditions.</em></p> <p>$$\inf_{x\in X} J(x)>-\infty. \tag{A}$$ $$\mbox{The set}\;\;\lbrace J\leq t\rbrace:=\lbrace x\in X;\;\; J(x)\leq t\rbrace \;\; \mbox{is convex},\;\;\forall t\in \mathbb{R}. \tag{B}$$ $$\mbox{The set}\;\;\lbrace J\leq t\rbrace\;\; \mbox{is closed in the norm topology},\;\;\forall t\in \mathbb{R}. \tag{C}$$ $$\lim_{\|x\|\to\infty} J(x)=\infty. \tag{D}$$</p> <p><em>Then $J$ admits at least one minimizer.</em></p> <p><strong>Remark.</strong> I should comment on the four conditions above. Condition (A) states that $J$ is bounded from below. Condition (B) states that $J$ is a convex function in the usual way. Condition (C) states that $J$ is lower semicontinuous in the norm topology. Under the convexity assumption this is equivalent to $J$ being lower semicontinuous with respect to the weak topology. If $J$ happens to be differentiable, then the differential of $J$ at any minimizer $x_0$ is zero. The ensuing equation $dJ(x_0)=0$ translates into the classical Euler-Lagrange equations. The minimizer postulated by the above theorem is <strong>unique</strong> provided that $J$ is <strong>strictly convex</strong>. For more about the direct method see <a href="http://en.wikipedia.org/wiki/Direct_method_in_the_calculus_of_variations" rel="nofollow">Wikipedia</a> and the reference therein.</p> <p>In general, the objects satisfying the Euler-Lagrange equations are critical points of a functional $J: X\to\mathbb{R}$, i.e., points where the differential of $J$ vanishes. The critical points that are observable and detectable in the real world are stable and these correspond to (local) minimizers of $J$. Sometime, one is interested in not necessarily stable objects, i.e., critical points of $J$ that are not necessarily local minimizers. Morse theory is particularly good at detecting such points. All applications of this theory are based on the following principle.</p> <p>Suppose that $J: H\to\mathbb{R}$ is a $C^2$ function on a Hilbert space $H$ satisfying some additional compactness assumption (e.g. the Palais-Smale condition). Suppose that there exist real numbers $a &lt; b$ such that the sublevel sets </p> <p>$$\lbrace J\leq a\rbrace\;\;\mbox{and}\;\; \lbrace J\leq b\rbrace$$</p> <p>are not homeomorphic. Then $J$ admits a critical point $x_0$ such that</p> <p>$$J(x_0)\in [a,b].$$</p> <p>For more detail see the booklet by Paul Rabinowitz, <em>Minimax methods in critical point theory with applications to differential equations.</em></p>