- Open Access
Jean Mawhin’s contributions to critical point theory
© Willem; licensee Springer. 2013
- Received: 29 January 2013
- Accepted: 22 April 2013
- Published: 7 May 2013
The aim of this article is to describe some fundamental contributions of Jean Mawhin to critical point theory and its applications to boundary value problems.
- Periodic Solution
- Neumann Problem
- Critical Point Theory
- Finsler Manifold
- Mountain Pass Theorem
Dedicated to Jean Mawhin on the occasion of his seventieth birthday with friendship.
The first paper by Jean Mawhin on critical point theory  was published in 1982 and was devoted to periodic solutions of a forced pendulum equation. One of the most recent papers in 2012  concerns periodic solutions of difference systems with ϕ-Laplacian. It is impossible to describe all the contributions. We have selected 17 articles, 2 books and some fundamental topics:
– the forced pendulum equation,
– convex perturbations of indefinite quadratic functionals,
– construction of almost critical points,
– converse to the Lagrange-Dirichlet theorem, and
– Neumann problems for the ϕ-Laplacian.
The forced pendulum equation is an important field of investigations of Jean Mawhin. We describe only some contributions (by variational methods) to the conservative forced pendulum, and we refer to the exhaustive survey  for other results.
it is not difficult to prove that Ψ achieves its infimum on and, consequently, that (1) is solvable. This result, due essentially to Hamel in 1922, was rediscovered by Willem in 1981 and by Dancer in 1982.
Some sixty years after the first one, a second periodic solution was discovered in  under assumption (2).
The functional Ψ is bounded from below on X and, by a category argument, has at least two geometrically distinct critical points. A generalization to systems is contained in .
Another proof, using a generalization of the Poincaré-Birkhoff theorem, was suggested by Franks . However, this proof is not complete . It seems that the variational proof is the only one until now. To find a proof using a fixed point theorem is an interesting challenge. Moreover, there is no exhaustive description of the set of h such that (1) is solvable assuming that f is 2π-periodic and (see  and ).
was recently solved by Jean Mawhin in . The results are similar to the classical pendulum.
Let us describe the recent results (2010) of Mawhin and Brezis on the relativistic pendulum . We sum up the simple and beautiful proof.
Theorem 1.1 Under assumptions (2) and (4), problem (3) has a solution which minimizes Ψ on C.
Lemma 1.2 The action Ψ has a minimizer on C.
We conclude by letting . □
Let us recall the notion of critical point in the sense of Szulkin .
The easy proof of the next lemma is given in .
Lemma 1.4 Each local minimum of is a critical point of I.
We conclude the proof by using an argument due to Bereanu, Jebelean and Mawhin .
Proof of Theorem 1.1 Let u be a minimizer of Ψ on C. We have only to prove that in order to verify the Euler equation.
The case of Lagrangian systems of relativistic oscillators was recently treated by Mawhin and Brezis in .
in a closed subspace V of , where Ω is a bounded domain of . The linear operator is self-adjoint and the nonlinear potential is convex in its second variable.
where is the Fenchel transform of .
It is assumed that K is the sum of a compact and of a positive definite operator. Because of the non-resonance condition with respect to , for small, is coercive on and has a minimizer . It suffices then to use the interaction between F and the kernel of L given in (6) to prove a posteriori estimates on . Passing to the limit as , we obtain a minimizer v of Ψ and, by duality, a solution u of (5).
uniformly for, i.e., .
Theorem 2.1 
(a) is nondecreasing for almost all ,
(b) on a subset of Ω of a positive measure.
is contained in .
The general results of  are applied to Dirichlet problems, Neumann problems and to periodic solutions of Hamiltonian systems and hyperbolic semilinear equations. In the latter case, the dimension of the kernel of L is infinite. See the survey  by Brezis.
It is important to note that the non-resonance assumptions are related to the potential , not to the gradient . In particular, the Palais-Smale condition is not necessarily satisfied.
General non-resonance conditions are used in  in order to prove the existence and uniqueness for semilinear equations in a Hilbert space by variational or iterative methods. Applications are given to semilinear wave equations.
We describe some main features of two books by Jean Mawhin devoted to critical point theory.
The book Problèmes de Dirichlet variationnels non linéaires (1986) is a nice introduction to critical point theory. The main tools,
– dual least action principle,
– minimax methods, and
– Morse theory,
A new methodology was used in the construction of Palais-Smale sequences.
The Palais-Smale condition (at level c) is satisfied if every Palais-Smale sequence (at level c) contains a convergent subsequence.
Let us also mention the recent survey  on the Palais-Smale condition.
As written in the introduction of , the usual minimax method
1. prove an a priori compactness condition, like the Palais-Smale condition,
2. prove a deformation lemma depending upon this condition, and
3. construct a critical value,
could be replaced by the following steps:
1. prove a quantitative deformation lemma,
2. construct a Palais-Smale sequence, and
3. verify a posteriori compactness conditions.
The book  contains the first application of this methodology, using the quantitative deformation lemma in . (See  for another approach using Ekeland’s variational principle in the case of the mountain pass theorem).
then there exists a bifurcation point for (8).
In 1971, Hagedorn proved that, for Lagrangian systems of class , the equilibrium is unstable if it corresponds to a strict local maximum of the potential energy. The proof, using the theory of geodesics on Finsler manifolds, was rather involved. A new proof is given by Hagedorn and Mawhin in .
of for some suitable c.
Then Szulkin’s critical point theory  is applicable to , since K is a convex l.s.c. function and since J is a differentiable function. The strategy is to prove that a critical point of I in the sense of Definition 1.3 satisfies and hence is a solution of (9).
The first case corresponds to a ground state of I and the second case to a saddle point of I (see ). The case of mountain pass solutions is also treated. The generalization of those results to the non-radial case is a challenging open problem.
- Mawhin J: Periodic oscillations of forced pendulum-like equations.Lecture Notes in Math. 964. In Ordinary and Partial Differential Equations. Springer, Berlin; 1982:458-476.View ArticleGoogle Scholar
- Mawhin J: Periodic solutions of second order nonlinear difference systems with ϕ -Laplacian: a variational approach. Nonlinear Anal. 2012, 75(12):4672-4687. 10.1016/j.na.2011.11.018MathSciNetView ArticleMATHGoogle Scholar
- Mawhin J: Global results for the forced pendulum equation. In Handbook of Differential Equations. North Holland, Amsterdam; 2004:533-589.Google Scholar
- Mawhin J, Willem M: Multiple solutions of the periodic boundary value problem for some forced pendulum-type equations. J. Differ. Equ. 1984, 52(2):264-287. 10.1016/0022-0396(84)90180-3MathSciNetView ArticleMATHGoogle Scholar
- Mawhin J: Forced second order conservative systems with periodic nonlinearity. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1989, 6: 415-434.MathSciNetMATHGoogle Scholar
- Franks J: Generalizations of the Poincaré-Birkhoff theorem. Ann. Math. 1988, 128(2):139-151.MathSciNetView ArticleMATHGoogle Scholar
- Franks J: Erratum to: ‘Generalizations of the Poincaré-Birkhoff theorem’. Ann. Math. 2006, 164(2):1097-1098.MathSciNetView ArticleGoogle Scholar
- Fučík S Mathematics and Its Applications. In Solvability of Nonlinear Equations and Boundary Value Problems. Reidel, Dordrecht; 1980.Google Scholar
- Mawhin J: Periodic solutions of the forced pendulum: classical vs relativistic. Matematiche 2010, 65(2):97-107.MathSciNetMATHGoogle Scholar
- Brézis H, Mawhin J: Periodic solutions of the forced relativistic pendulum. Differ. Integral Equ. 2010, 23(9-10):801-810.MathSciNetMATHGoogle Scholar
- Szulkin A: Minimax principles for lower semicontinuous functions and applications to nonlinear boundary value problems. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1986, 3(2):77-109.MathSciNetMATHGoogle Scholar
- Bereanu C, Jebelean P, Mawhin J: Variational methods for nonlinear perturbations of singular φ -Laplacians. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 2011, 22: 89-111.MathSciNetView ArticleMATHGoogle Scholar
- Brézis H, Mawhin J: Periodic solutions of Lagrangian systems of relativistic oscillators. Commun. Appl. Anal. 2011, 5(2-4):235-250.MathSciNetMATHGoogle Scholar
- Clarke F: Solution périodique des équations hamiltoniennes. C. R. Acad. Sci. Paris Sér. A-B 1978, 287(14):A951-A952.MATHGoogle Scholar
- Clarke F, Ekeland I: Solutions périodiques de période donnée, des équations hamiltoniennes. C. R. Acad. Sci. Paris Sér. A-B 1978, 287(15):A1013-A1015.MathSciNetMATHGoogle Scholar
- Mawhin J Séminaire de Mathématiques Supérieurs. In Problèmes de Dirichlet variationnels non linéaires. Presses de l’Université de Montréal, Montreal; 1987.Google Scholar
- Mawhin J, Ward JR, Willem M: Variational methods and semilinear elliptic equations. Arch. Ration. Mech. Anal. 1986, 95(3):269-277.MathSciNetView ArticleMATHGoogle Scholar
- Mawhin J, Willem M: Critical points of convex perturbations of some indefinite quadratic forms and semi-linear boundary value problems at resonance. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1986, 3(6):431-453.MathSciNetMATHGoogle Scholar
- Mawhin J, Ward JR Jr., Willem M: Necessary and sufficient conditions for the solvability of a nonlinear two-point boundary value problem. Proc. Am. Math. Soc. 1985, 93(4):667-674. 10.1090/S0002-9939-1985-0776200-XMathSciNetView ArticleMATHGoogle Scholar
- Mawhin J, Willem M Aplied Mathematical Sciences 74. In Critical Point Theory and Hamiltonian Systems. Springer, New York; 1989.View ArticleGoogle Scholar
- Brézis H: Periodic solutions of nonlinear vibrating strings and duality principles. Bull. Am. Math. Soc. 1983, 8(3):409-426. 10.1090/S0273-0979-1983-15105-4View ArticleMathSciNetMATHGoogle Scholar
- Fonda A, Mawhin J: Iterative and variational methods for the solvability of some semilinear equations in Hilbert spaces. J. Differ. Equ. 1992, 98(2):355-375. 10.1016/0022-0396(92)90097-7MathSciNetView ArticleMATHGoogle Scholar
- Mawhin J, Willem M: Origin and evolution of the Palais-Smale condition in critical point theory. J. Fixed Point Theory Appl. 2010, 7(2):265-290. 10.1007/s11784-010-0019-7MathSciNetView ArticleMATHGoogle Scholar
- Willem M Progress in Nonlinear Differential Equations and Their Applications 24. In Minimax Theorems. Birkhäuser Boston, Boston; 1996.View ArticleGoogle Scholar
- Willem M Trabalho de matemática. In Lectures on Critical Point Theory. Universidade de Brasília, Brasília; 1983.Google Scholar
- Aubin JP, Ekeland I Pure and Applied Mathematics. In Applied Nonlinear Analysis. Wiley, New York; 1984.Google Scholar
- Hagedorn P, Mawhin J: A simple variational approach to a converse of the Lagrange-Dirichlet theorem. Arch. Ration. Mech. Anal. 1992, 120(4):327-335. 10.1007/BF00380318MathSciNetView ArticleMATHGoogle Scholar
- van Groesen E: Analytical mini-max methods for Hamiltonian brake orbits of prescribed energy. J. Math. Anal. Appl. 1988, 132: 1-12. 10.1016/0022-247X(88)90039-XMathSciNetView ArticleMATHGoogle Scholar
- Bereanu C, Jebelean P, Mawhin J: Multiple solutions for Neumann and periodic problems with singular ϕ -Laplacian. J. Funct. Anal. 2011, 261(11):3226-3246. 10.1016/j.jfa.2011.07.027MathSciNetView ArticleMATHGoogle Scholar
- Mawhin J: Radial solutions of Neumann problem for periodic perturbations of the mean extrinsic curvature operator. Milan J. Math. 2011, 79: 95-112. 10.1007/s00032-011-0148-5MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.