Abstract and Applied Analysis

Volume 2012, Article ID 434631, 9 pages

http://dx.doi.org/10.1155/2012/434631

## On the Variational Eigenvalues Which Are Not of Ljusternik-Schnirelmann Type

Department of Mathematics and N.T.I.S., University of West Bohemia, Univerzitní 22, 306 14 Plzeň, Czech Republic

Received 29 November 2011; Revised 12 January 2012; Accepted 12 January 2012

Academic Editor: Donal O'Regan

Copyright © 2012 Pavel Drábek. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We discuss nonlinear homogeneous eigenvalue problems and the variational characterization of their eigenvalues. We focus on the Ljusternik-Schnirelmann method, present one possible alternative to this method and compare it with the Courant-Fischer minimax principle in the linear case. At the end we present a special nonlinear eigenvalue problem possessing an eigenvalue which allows the variational characterization but is not of Ljusternik-Schnirelmann type.

The question of characterization of the set of all eigenvalues of nonlinear homogeneous eigenvalue problem is a very important problem of the calculus of variations that has been open since the 1970s, see, for example, [1]. While the well-known Courant-Fischer minimax principle provides complete characterization of the set of eigenvalues of the linear eigenvalue problem, its nonlinear counterparts, like the Ljusternik-Schnirelmann method, do not exhaust the entire set of eigenvalues in general. The *purpose of this paper* is to discuss this issue in the context of general homogeneous nonlinear eigenvalue problem (1). In particular, we want to explain that “variational characterization” is not a synonym for “Ljusternik-Schnirelmann characterization.” Indeed, this *obfuscation* is quite common in the literature (cf. [2]) and might lead to many misunderstandings.

We present a *variational argument* in order to find an eigenvalue that is not characterized by the Ljusternik-Schnirelmann formula. For this purpose we present the periodic problem for the one-dimensional -Laplacian from [3] as a concrete example and heuristically enlighten technically involved estimates. We show the local character of our variational characterization contrary to the global character of the Ljusternik-Schnirelmann method. This illustrates the striking difference between the linear and nonlinear problems. Note that also this “local procedure” does not yield all the eigenvalues of the problem in question.

The novelty of this paper is thus to point out some connections might be hidden in more technically complicated papers and to remind some challenging problems of the calculus of variations. We also rigorously show that the second eigenvalue of Ljusternik-Schnirelmann type for (1) can be found as a minimax over a special class of curves rather than the family of sets of genus greater than or equal to 2. This fact makes the construction of the second eigenvalue more geometrically transparent and might be useful in numerical approach to find its concrete value.

Let be odd and homogeneous operator from a Banach space into its dual, . A real number and an element , , for which
are called an *eigenvalue* and an *eigenvector* of the *eigenvalue problem* (1). Set
where stands for the duality pairing between and . Assume that and are such that and are -functionals from into ,
is a -manifold without boundary that does not contain the zero element . The Lagrange multiplier method implies that is an *eigenvalue* of (1) and is the corresponding *eigenvector* if and only if is a *critical point* of and (i.e., is the corresponding *critical level*). There are several methods to find critical points of on . However, it seems that with the exception of some special situations (e.g., and are linear operators) none of the “nonlinear” methods describes the entire set of critical levels and critical points of . One of the most frequently used methods is based on the notion of the *Krasnoselskii genus*.

Set . The Krasnoselskii genus of a set , , is defined as follows: For any consider a family of sets defined by Assume that . Then, for any and it is invariant under any continuous and odd map from into itself.

Let us assume that satisfies the Palais-Smale condition on . The *Ljusternik-Schnirelmann method *yields a sequence given by
Every is a *critical level *of subject to , and it is achieved at some , that is,
(cf. [4, 5]). It follows that is an eigenvalue of (1) and is the corresponding eigenvector. In general, the sequence given by (6) does not exhaust the set of all critical levels of , and thus it *might not be *the set of *all eigenvalues* of (1). An eigenvalue of (1) that allows the characterization (6) is called an *eigenvalue of Ljusternik-Schnirelmann type*.

The model example of the abstract setting presented above is the *eigenvalue problem* for the *Dirichlet **-Laplacian.* Indeed, set , , and
where is a bounded domain. Then,
and a critical point satisfies
for any . But this is a weak formulation of the problem
and, therefore, is an eigenvalue and is the corresponding eigenvector (eigenfunction) of the Dirichlet -Laplacian (11).

If and , , it is a *long-standing open problem *whether or not the sequence given by (6) exhausts the entire set of eigenvalues of (11). On the other hand, if , , or , , and (i.e., the problem (11) is linear), the sequence given by (6) is the set of all eigenvalues of (11). To prove this fact in the former case the ODE techniques (uniqueness of the solution of an associated initial value problem) are employed while in the latter case the linearity of the problem plays the key role.

There are several other variational characterizations similar to (6). Namely, the family of sets can be replaced by an other family , which is *invariant with respect to any continuous odd semiflow * such that , is a homeomorphism for any fixed and is nonincreasing for any fixed . Then,
is a critical level of .

We give a *concrete example *of below (cf. [6]). Let be the unit sphere in .

Set It is clear that , which implies

It is also obvious that . We claim that as well. Indeed, for an there exists (arbitrarily small) symmetric neighborhood such that (see, [7, Proposition 2.3]). Without loss of generality we may assume that is a pathwise connected set in (otherwise , a contradiction). Choosing , we have by symmetry, and there is a continuous path from to . By symmetry of we also have . But for some continuous and odd map of into . Since the neighborhood can be chosen small enough, the value of can be made smaller than any positive number. This implies , which proves the claim.

The author is not aware of any assumptions laid on and that would guarantee that also for (cf. [6]).

It is instructive to compare formula (12) with the classical *Courant-Fisher minimax principle*:
under the assumptions that are linear operators, is a Hilbert space and defines an equivalent inner product on (cf. problem (11) with ).

Let , . Then, is homeomorphic to , that is, and hence . In order to prove the opposite inequality we need the following assertion.

Lemma 1 (cf. [5]). *Any compact and symmetric subset of a Hilbert space, such that contains at least mutually orthogonal vectors .*

Since for , there exist such that for . Set . It follows from the linearity of that , which implies . Together with the opposite inequality proved above we thus get Similarly, one proves that also .

In particular, it follows from our discussion that the second Ljusternik-Schnirelmann eigenvalue of (1) can be characterized as follows: where is the family of all continuous symmetric and closed curves in .

The idea of construction of an eigenvalue that is not of Ljusternik-Schnirelmann type comes from the following *heuristics*.

Set Then, that is, is a “global minimum” of over the set (cf. [5]). The idea is to find a “local minimum” of over , say , which satisfies , that is, . For this purpose we find a subset of curves , which is invariant with respect to any continuous odd semiflow and which satisfies The invariance of then guarantees that is a critical point of .

Below we present a *concrete example*. The technical details and precise estimates can be found in [3]. We set , the Sobolev space of all periodic functions such that the restriction of to the interval belongs to and . This space is endowed with the norm
Here,
We also set
Let be a fixed number, and let be a given continuous -periodic function of .

We define by for . We also set The operator equation corresponds to the weak formulation of the following eigenvalue problem: For the set of all eigenvalues of (26) is given by the sequence and it is proved in [2] that each eigenvalue has a Ljusternik-Schnirelmann variational characterization: The eigenvalue is simple, and the corresponding eigenfunction is a constant (and thus does not change the sign in ). For any , we have that is not a simple eigenvalue. Given any fixed , every function of is an eigenfunction associated with . Here, for is defined implicitly by the formula and then extended to an odd (about 0), -periodic function on .

*Remark 2. *The reader should notice that only in the linear case do the corresponding eigenfunctions associated with form a linear space of dimension two. In contrast, if , then the multiplicity should be understood in the sense of the Ljusternik-Schnirelmann variational characterization (28). In fact, in this case the *set of all eigenfunctions* associated with each eigenvalue is a *two-dimensional manifold*, the *linear hull* of which is *infinite-dimensional* (cf. [2]). If these eigenfunctions are normalized by a scalar multiplication factor in order to belong to , they form a one-dimensional submanifold in , which is diffeomorphic to a circle, the linear hull of which is again infinite-dimensional.

For the problem (26) possesses a sequence of eigenvalues tending to infinity and given by
for . The first eigenvalue is simple, and the corresponding eigenfunction does not change sign. For each we have
where equalities may possibly occur. Eigenfunctions associated with and have precisely zeros in , and, for each , we have
(see [2]). It is also proved in [2] that for any integers and for any , small enough, there exists a *special *-periodic function such that and the open interval contains at least eigenvalues of (26). In particular, these eigenvalues do not allow the variational characterization (30). In the paper [3] we have shown that in contrast with the eigenvalues of Ljusternik-Schnirelmann type that are “globally variational,” some of the above mentioned “new” eigenvalues from have a variational characterization that has a “local character,” meaning that the minimum part (inf) of the minimax formula (30) is taken only locally in the sense mentioned above. In order to illustrate our method we focus on , that is, we find “local variational” eigenvalue of (26) in the interval , provided is small enough.

The first critical level of Ljusternik-Schnirelmann type (L.S. type for short) for on , is attained at . The second critical level of L.S. type, , is defined by the minimax formula where is the set of all continuous curves in that connect the “south pole” with the “north pole” . The level is attained at the point on the curve defined by where and is a normalized eigenfunction associated with (see [3]). Notice that the curves correspond to the “meridians” on with the points of “longitude” and the “latitude” .

For construction of a special function the following observation plays the key role: the function from to , is real analytic in the open set and, furthermore, it is not at the point if and it is not at the point if . Due to these facts a function can be found that controls the “splitting process” that involves the eigenvalues and . In particular, is constructed in such a way that the function of the independent variable ,
has a global minimizer and a local minimizer such that
This property together with fine estimates for (see [3]) allows us to prove *the local hyperbolic geometry* of the functional on . Namely, thanks to (37), we can "localize" the set of curves that pass through a suitable open neighborhood of the function in the topology of . The “inf” in the variational characterization of is then approached “away from” curves that belong to . The family of curves is then proved to be invariant with respect to continuous odd semiflow on and
holds for small enough. Then,
is the desired *variational eigenvalue* that *is not of the L.S. type. *

This construction is not possible in the linear case, . Besides the fact that all eigenvalues of the linear problem are of L.S. type, this follows from the analyticity of the function . For this reason the functional with desired properties does not exist in the case , which illustrates the striking difference between the linear and nonlinear eigenvalue problem.

#### Acknowledgment

This work was supported by the European Regional Development Fund (ERDF), project “NTIS—New Technologies for Information Society,” European Center of Excellence, CZ.1.05/1.1.00/02.0090 and project KONTAKT ME09109.

#### References

- S. Fučík, J. Nečas, J. Souček, and V. Souček,
*Spectral Analysis of Nonlinear Operators*, vol. 346 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 1973. - P. Binding and B. Rynne, “Variational and non-variational eigenvalues of the
*p*-Laplacian,”*Journal of Differential Equations*, vol. 244, no. 1, pp. 24–39, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - P. Drábek and P. Takáč, “On variational eigenvalues of the
*p*-Laplacian which are not of Ljusternik-Schnirelmann type,”*Journal of the London Mathematical Society*, vol. 81, no. 3, pp. 625–649, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - N. Ghoussoub,
*Duality and Perturbation Methods in Critical Point Theory*, vol. 107 of*Cambridge Tracts in Mathematics*, Cambridge University Press, Cambridge, UK, 1993. View at Publisher · View at Google Scholar - M. Struwe,
*Variational Methods*, Springer, Berlin, Germany, 2nd edition, 1996. - P. Drábek and S. Robinson, “Resonance problems for the
*p*-Laplacian,”*Journal of Functional Analysis*, vol. 169, no. 1, pp. 189–200, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Szulkin, “Ljusternik-Schnirelmann theory on ${C}^{1}$-manifolds,”
*Annales de l'Institut Henri Poincaré*, vol. 5, no. 2, pp. 119–139, 1988. View at Google Scholar