17
$\begingroup$

Question Does anyone know of a good reference which I can cite for the finite dimensional version of Mountain Pass Lemma?

Motivation I am writing a paper and found myself using the following result:

Let $f$ be a proper smooth real-valued function on $\mathbf{R}^3$ such that $f(0) = 0$, $f|_{B_1(0)} \geq 0$, $f|_{\partial B_1(0)} \geq 1$ and $\exists p \in {\partial B_2(0)}$ such that $f(p) = 0$. Then $\exists q\in \mathbf{R}^3 \setminus B_1(0)$ such that $f'(q) = 0$ and $f(q) \geq 1$.

For the time being I referred to Ambrosetti and Rabinowitz's JFA article for the mountain pass lemma, but citing a Banach space version for a finite-dimensional Euclidean space application gives me a funny feeling. (Also, if feels like such a result could in principle be found in not-so-advanced undergraduate textbooks...)

$\endgroup$
2
  • 1
    $\begingroup$ I colleague in grad school some years ago had exactly the same difficulty. Alas, he also used Ambrosetti and Rabinowitz. $\endgroup$ Aug 30, 2012 at 15:14
  • 3
    $\begingroup$ Only somewhat related: Mike Usher has an interesting article about a converse of this (in finite dimensions) arxiv.org/abs/1207.0889 $\endgroup$
    – Sam Lisi
    Aug 31, 2012 at 7:07

4 Answers 4

17
$\begingroup$

My book An Invitation to Morse Theory, 2nd Edition, Springer Verlag 2011 describes the finite dimensional Mountain Pass Lemma in Example 2.53. There I work on a compact manifold, but the compactness of the manifold can be substituted by a properness assumption on the function. In the same section I explain a more general Min-Max principle (Thm. 2.51) and in Example 2.53 I explain how this implies the Mountain Pass Lemma.

$\endgroup$
2
  • $\begingroup$ @Liviu: a small technical question. In your book you assume that $f$ is $C^\infty$, do you have any idea about lower regularity? The classical MPT is of course proven for $C^1$. But in your proof of the deformation lemma you use ODE existence to construct the flow, which usually uses Picard (I'm not sure if Peano would be able to give you that the flow generates a homeo/diffeomorphism) and requires $C^2$ or $C^{1,1}$ in your function. $\endgroup$ Aug 31, 2012 at 14:20
  • $\begingroup$ As you correctly pointed out $C^{1,1}$ suffices. All one needs is that the gradient vector field be locally Lipschitz to invoke existence results. $\endgroup$ Aug 31, 2012 at 14:32
4
$\begingroup$

For historical interest: A friend pointed me to the book

which asserts that one of the earliest known published version of the finite dimensional mountain pass theorem was due to

  • Richard Courant, Dirichlet's Principle, Conformal Mapping, and Minimal Surfaces, Interscience

published originally in 1950. The version stated and proven by Courant does not, technically speaking, imply the result I stated in the question text (the points $0$ and $p$ are assumed to be local minima of the function $f$). But a simple modification of the deformation lemma (for example, as in Liviu's book that he mentioned) would do.

$\endgroup$
4
$\begingroup$

I have stumbled across Richard Palais' (co-author Chuu-lian Terng) Critical Point Theory and Submanifold Geometry (Springer Lecture Notes in Math 1353). This is an awesome book!

The "Mountain Pass Lemma" for finite-dimensional manifolds is presented as Theorem 9.2.7 (pg189).

$\endgroup$
3
$\begingroup$

This seems to be in L Evans's PDE book, section 8.5

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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