`International Journal of Differential EquationsVolume 2010 (2010), Article ID 432759, 11 pageshttp://dx.doi.org/10.1155/2010/432759`
Research Article

## On the Existence of Nodal Solutions for a Nonlinear Elliptic Problem on Symmetric Riemannian Manifolds

1Dipartimento di Matematica Applicata “U.Dini”, Università di Pisa, via F. Buonarroti 1/c, 56100 Pisa, Italy
2Dipartimento di Metodi e Modelli Matematici, Università di Roma “La Sapienza”, via Antonio Scarpa 16, 00161 Roma, Italy

Received 1 October 2009; Accepted 7 December 2009

Academic Editor: Thomas Bartsch

Copyright © 2010 Anna Maria Micheletti and Angela Pistoia. 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

Given thatis a smooth compact and symmetric Riemannian -manifold, , we prove a multiplicity result for antisymmetric sign changing solutions of the problem in . Here if and if .

#### 1. Introduction

Let be a smooth compact connected Riemannian manifold without boundary of dimension . Let us consider the problem where if if and is a positive parameter. Here is the completion of with respect to It is well known that any critical point of the energy functional constrained to the Nehari manifold is a solution to (1.1). Here In [1] the authors show that the least energy solution of (1.1), that is, the minimum of on is a positive solution with a spike layer, whose peak converges to the maximum point of the scalar curvature of as goes to zero. Successively, in [2] (see also [3, 4]) the authors point out that the topology of the manifold influences the multiplicity of positive solutions of (1.1), that is, (1.1) has at least nontrivial solutions provided that is small enough. Here denotes the Lusternik-Schnirelman category of Recently, in [57] it has been proved that the existence of positive solutions is strongly related to the geometry of , that is stable critical points of the scalar curvature generate positive solutions with one or more peaks as goes to zero.

As far as it concerns the existence of sign changing solutions to (1.1), a few results are known. The first result has been obtained in [7] where it has been constructed solutions with one positive peak and one negative peak, which approach, as goes to zero, the minimum point and the maximum point of , provided the scalar curvature is not constant. In [8] the authors assume the following:

(S)the manifold is a regular submanifold of invariant with respect to , where is an orthogonal linear transformation such that and being the identity of

They prove problem (1.1) has at least pairs of sign changing solutions which change sign exactly once. Here denotes the -equivariant Lusternik-Schnirelman category for the group and

In this paper we assume satisfies () in the particular case We look for solutions of the problem We evaluate the number of solutions of problem (1.5) using Morse theory. Our main result reads as following.

Theorem 1.1. Assume that for small enough all the solutions to problem (1.5) with energy close to are nondegenerate. Then there are at least pairs of nontrivial solutions to (1.5) which change sign exactly once, where Here and is the Poincaré polynomial when

Concerning the assumptions of nondegeneracy of all the critical points with energy close to , we think that it is true “generically” in some sense with respect to where is a positive parameter and is a Riemannian metric.

We point out that problem (1.1) has been widely studied when the manifold is replaced by an open bounded and smooth domain in with Dirichlet or Neumann boundary condition. In particular, it has been studied the effect of the domain topology or the domain geometry on the number of solutions. See, for example, [919] for the Dirichlet problem and [2032] for the Neumann problem,

The paper is organized as follows. In Section 2 we set the problem and we recall some known results; in Section 3 we give the proof of Theorem 1.1; in Section 4 we prove the technical Lemma 4.5, which is crucial for the proof of Theorem 1.1.

#### 2. Setting of the Problem

First of all, we will recall some topological notions which are used in the paper.

Definition 2.1 (Poincaré polynomial). If is a couple of the topological spaces, the Poincaré polynomial is defined as the following power series in : where is the th homology group with coefficients in some fields. Moreover, we set If is a compact manifold, we have that and in this case is a polynomial and not a formal series.

Definition 2.2 (Morse index). Let be a -functional on a Banach space and an isolated critical point of with If then the (polynomial) Morse index of is the following series: where is the th homology group of the couple If is a nondegenerate critical point of then where is the (numerical) Morse index of and it is given by the dimension of the maximal subspace on which the bilinear form is negatively definite.

It is useful to recall the following result (see [33]).

Remark 2.3. Let and be topological spaces. If and are continuous maps such that is homotopic to the identity map on then where is a polynomial with non negative coefficients.

Now, let us point out that the transformation induces a transformation on We define the linear operator as follows: The operator is selfadjoint with respect to the following scalar product on which is equivalent to the usual one: which induces the norm In particular, we have Here denotes the norm in which is equivalent to the usual one. Therefore, in virtue of the Palais Principle, the nontrivial solutions of (1.5) are the critical points of the restriction of to the -invariant Nehari manifold where

In fact, since and is a selfadjoint operator, we have and so if

Let us set and let be as in (1.6).

It is easy to verify that satisfies the Palais-Smale condition on Then, there exists minimizer of and is a critical point of on Thus and belong to then We recall that as it has been shown in [2, Remark ].

It is well known that there exists a unique positive spherically symmetric (with respect to the origin) function minimizer of Obviously this fact implies that in and for any we can define a family of functions satisfying the following equation in .

On the tangent bundle of any compact connected Riemannian manifold , it is defined the exponential map which is a -map. Then for sufficiently small (smaller than the injectivity radius of ) the manifold possesses a special set of charts given by where is identified with for Here denotes the ball in centered at with radius and denotes the ball in centered at with radius with the distance given by the metric The system of coordinates corresponding to those charts are called normal coordinates.

#### 3. The Main Ingredient of the Proof

Let us sketch the proof of our main result.

Since (see Lemma 4.3), given for small enough, we have Thus is not a critical value of for any Fixed if the number of critical points of is finite in we can choose such that is not a critical value of

Let be the set obtained by identifying antipodal points of the Nehari manifold It is easy to check that the set is homeomorphic to the projective space which is obtained by identifying antipodal points in un unit sphere in the space

We are looking for pairs of nontrivial critical points if the functional that is we are searching critical points for the functional defined by We use the same arguments as in [33]. The following relation can be proved as in [33, 34] (see [33,Lemma ]):

By Lemma 4.5 we deduce that where is homotopic to the identity map and is homotopically equivalent to Therefore by Remark 2.3 we get where is a polynomial with nonnegative integer coefficients.

By our assumption we have that for small enough all the critical points such that are nondegenerate. Moreover the functional satisfies the Palais-Smale condition. Then by Morse theory and relations (3.1) and (3.3) we get at least pairs of nontrivial solutions for (1.5). By Remark (4.7) these solutions change sign exactly once. That concludes the proof of Theorem 1.1.

Remark 3.1. By [33, Lemma ] we deduce that Since is homeomorphic to we get Provided the homology is evaluated with -coefficients (see, e.g., [35, Theorem ]), we have Then, if all the critical points are nondegenerate, we get infinitely many pairs of nontrivial solutions for (1.5).

#### 4. Technical Results

Let be a smooth cut-off function such that Fixing a point and , let us define the function on as We choose smaller than the injectivity radius of and such that for any For any we can define a positive number such that Namely, verifies In [2, Proposition ] the following lemma has been proved.

Lemma 4.1. Given the map is continuous. Moreover, given there exists such that if then

Now, fixing a point let us define the function It holds that By (4.4) and (4.6), we deduce The proof of the next results follows the same arguments as in [8].

Lemma 4.2. Given the map is continuous. Moreover, given there exists such that if then

Proof. Since is a radially symmetric function, we set Moreover, since we have we get because by (4.7) we have Hence
To get that it is enough to prove that because by Lemma 4.1 the statement will follow. Since the support of the function is and by (4.6) and the definition of the function , we get That concludes the proof.

Lemma 4.3. One has that

Proof. By Lemma 4.2 and (4.12) we have that for any there exists such that for any it holds that Since (see [2,Remark ]) we get the claim.

For any function we can define a point by

Lemma 4.4. There exists such that for any for any (as in Lemma 4.2), and for any function , it holds that where

Proof. Let Since we set and It is easy to see that Then we have Since we have and by [2, Proposition ] we get the claim.

It is easy to check that and Moreover, by Lemmas 4.1 and 4.2, we can define a map by By Lemma 4.4 we can define a map by

Lemma 4.5. There exists such that for any the map is well defined, continuous, and homotopic to the identity map.

Proof. By Lemmas 4.2 and 4.4, is well defined. In order to show that is homotopic to the identity, we estimate the following difference: Hence because for a constant which does not depend on the point Therefore ; that concludes the proof.

Remark 4.6. We have only to prove that any solution of (1.5) such that changes sign exactly once. In fact, assume that the set has connected components Set if and otherwise. We have and Then This concludes the proof.

#### References

1. J. Byeon and J. Park, “Singularly perturbed nonlinear elliptic problems on manifolds,” Calculus of Variations and Partial Differential Equations, vol. 24, no. 4, pp. 459–477, 2005.
2. V. Benci, C. Bonanno, and A. M. Micheletti, “On the multiplicity of solutions of a nonlinear elliptic problem on Riemannian manifolds,” Journal of Functional Analysis, vol. 252, no. 2, pp. 464–489, 2007.
3. N. Hirano, “Multiple existence of solutions for a nonlinear elliptic problem on a Riemannian manifold,” Nonlinear Analysis. Theory, Methods & Applications, vol. 70, no. 2, pp. 671–692, 2009.
4. D. Visetti, “Multiplicity of solutions of a zero mass nonlinear equation on a Riemannian manifold,” Journal of Differential Equations, vol. 245, no. 9, pp. 2397–2439, 2008.
5. E. N. Dancer, A. M. Micheletti, and A. Pistoia, “Multipeak solutions for some singularly perturbed nonlinear elliptic problems on Riemannian manifolds,” Manuscripta Mathematica, vol. 128, no. 2, pp. 163–193, 2009.
6. A. M. Micheletti and A. Pistoia, “The role of the scalar curvature in a nonlinear elliptic problem on Riemannian manifolds,” Calculus of Variations and Partial Differential Equations, vol. 34, no. 2, pp. 233–265, 2009.
7. A. M. Micheletti and A. Pistoia, “Nodal solutions for a singularly perturbed nonlinear elliptic problem on Riemannian manifolds,” Advanced Nonlinear Studies, vol. 9, no. 3, pp. 565–577, 2009.
8. M. Ghimenti and A. M. Micheletti, “On the number of nodal solutions for a nonlinear elliptic problem on symmetric Riemannian manifolds,” to appear in Electronic Journal of Differential Equations.
9. V. Benci and G. Cerami, “Positive solutions of some nonlinear elliptic problems in exterior domains,” Archive for Rational Mechanics and Analysis, vol. 99, no. 4, pp. 283–300, 1987.
10. D. Cao, N. E. Dancer, E. S. Noussair, and S. Yan, “On the existence and profile of multi-peaked solutions to singularly perturbed semilinear Dirichlet problems,” Discrete and Continuous Dynamical Systems, vol. 2, no. 2, pp. 221–236, 1996.
11. E. N. Dancer and S. Yan, “Effect of the domain geometry on the existence of multipeak solutions for an elliptic problem,” Topological Methods in Nonlinear Analysis, vol. 14, no. 1, pp. 1–38, 1999.
12. E. N. Dancer and S. Yan, “A singularly perturbed elliptic problem in bounded domains with nontrivial topology,” Advances in Differential Equations, vol. 4, no. 3, pp. 347–368, 1999.
13. E. N. Dancer and J. Wei, “On the effect of domain topology in a singular perturbation problem,” Topological Methods in Nonlinear Analysis, vol. 11, no. 2, pp. 227–248, 1998.
14. M. del Pino, P. L. Felmer, and J. Wei, “Multi-peak solutions for some singular perturbation problems,” Calculus of Variations and Partial Differential Equations, vol. 10, no. 2, pp. 119–134, 2000.
15. M. del Pino, P. L. Felmer, and J. Wei, “On the role of distance function in some singular perturbation problems,” Communications in Partial Differential Equations, vol. 25, no. 1-2, pp. 155–177, 2000.
16. M. Grossi and A. Pistoia, “On the effect of critical points of distance function in superlinear elliptic problems,” Advances in Differential Equations, vol. 5, no. 10–12, pp. 1397–1420, 2000.
17. Y. Y. Li and L. Nirenberg, “The Dirichlet problem for singularly perturbed elliptic equations,” Communications on Pure and Applied Mathematics, vol. 51, no. 11-12, pp. 1445–1490, 1998.
18. W.-M. Ni and J. Wei, “On the location and profile of spike-layer solutions to singularly perturbed semilinear Dirichlet problems,” Communications on Pure and Applied Mathematics, vol. 48, no. 7, pp. 731–768, 1995.
19. J. Wei, “On the interior spike solutions for some singular perturbation problems,” Proceedings of the Royal Society of Edinburgh. Section A, vol. 128, no. 4, pp. 849–874, 1998.
20. G. Cerami and J. Wei, “Multiplicity of multiple interior peak solutions for some singularly perturbed Neumann problems,” International Mathematics Research Notices, no. 12, pp. 601–626, 1998.
21. E. N. Dancer and S. Yan, “Multipeak solutions for a singularly perturbed Neumann problem,” Pacific Journal of Mathematics, vol. 189, no. 2, pp. 241–262, 1999.
22. M. del Pino, P. L. Felmer, and J. Wei, “On the role of mean curvature in some singularly perturbed Neumann problems,” SIAM Journal on Mathematical Analysis, vol. 31, no. 1, pp. 63–79, 1999.
23. M. Grossi, A. Pistoia, and J. Wei, “Existence of multipeak solutions for a semilinear Neumann problem via nonsmooth critical point theory,” Calculus of Variations and Partial Differential Equations, vol. 11, no. 2, pp. 143–175, 2000.
24. C. Gui, “Multipeak solutions for a semilinear Neumann problem,” Duke Mathematical Journal, vol. 84, no. 3, pp. 739–769, 1996.
25. C. Gui and J. Wei, “Multiple interior peak solutions for some singularly perturbed Neumann problems,” Journal of Differential Equations, vol. 158, no. 1, pp. 1–27, 1999.
26. C. Gui and J. Wei, “On multiple mixed interior and boundary peak solutions for some singularly perturbed Neumann problems,” Canadian Journal of Mathematics, vol. 52, no. 3, pp. 522–538, 2000.
27. C. Gui, J. Wei, and M. Winter, “Multiple boundary peak solutions for some singularly perturbed Neumann problems,” Annales de l'Institut Henri Poincaré, vol. 17, no. 1, pp. 47–82, 2000.
28. Y. Y. Li, “On a singularly perturbed equation with Neumann boundary condition,” Communications in Partial Differential Equations, vol. 23, no. 3-4, pp. 487–545, 1998.
29. W.-M. Ni and I. Takagi, “Locating the peaks of least-energy solutions to a semilinear Neumann problem,” Duke Mathematical Journal, vol. 70, no. 2, pp. 247–281, 1993.
30. W.-M. Ni and I. Takagi, “On the shape of least-energy solutions to a semilinear Neumann problem,” Communications on Pure and Applied Mathematics, vol. 44, no. 7, pp. 819–851, 1991.
31. J. Wei, “On the boundary spike layer solutions to a singularly perturbed Neumann problem,” Journal of Differential Equations, vol. 134, no. 1, pp. 104–133, 1997.
32. J. Wei, “On the interior spike layer solutions to a singularly perturbed Neumann problem,” The Tôhoku Mathematical Journal, vol. 50, no. 2, pp. 159–178, 1998.
33. V. Benci and G. Cerami, “Multiple positive solutions of some elliptic problems via the Morse theory and the domain topology,” Calculus of Variations and Partial Differential Equations, vol. 2, no. 1, pp. 29–48, 1994.
34. V. Benci, “Introduction to Morse theory: a new approach,” in Topological Nonlinear Analysis, vol. 15 of Progress in Nonlinear Differential Equations and Their Applications, pp. 37–177, Birkhäuser, Boston, Mass, USA, 1995.
35. G. W. Whitehead, Elements of Homotopy Theory, vol. 61 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 1978.