# Infinitely Many Solutions of Strongly Indefinite Semilinear Elliptic Systems

- Kuan-Ju Chen
^{1}Email author

**2009**:865408

**DOI: **10.1155/2009/865408

© Kuan-Ju Chen. 2009

**Received: **16 December 2008

**Accepted: **6 July 2009

**Published: **17 August 2009

## Abstract

We proved a multiplicity result for strongly indefinite semilinear elliptic systems in , in where and are positive numbers which are in the range we shall specify later.

## 1. Introduction

has to be redefined, and we then need fractional Sobolev spaces.

Hence the energy functional is strongly indefinite, and we shall use the generalized critical point theorem of Benci [1] in a version due to Heinz [2] to find critical points of . And there is a lack of compactness due to the fact that we are working in .

We shall propose herein a result similar to [3] for problem (1.1).

## 2. Abstract Framework and Fractional Sobolev Spaces

We recall some abstract results developed in [4] or [5].

It is known that is an isomorphism, and so we denote by the inverse of .

We can then prove that has two eigenvalues and , whose corresponding eigenspaces are

for .

In the sequel denotes the norm in , and we denote by the weighted function spaces with the norm defined on by . According to the properties of interpolation space, we have the following embedding theorem.

Theorem 2.1.

Then the inclusion of into is compact if .

Proof.

where ; hence is well defined.

so that by H lder's inequality, we observe that, for any , we can choose a so that the integral over ( ) is smaller than for all , while for this fixed , by strong convergence of to in on any bounded region, the integral over ( ) is smaller than for large enough. We thus have proved that strongly in ; that is, the inclusion of into is compact if .

## 3. Main Theorem

and we assume that

so that, under assumption (H), Theorem 2.1 holds, respectively, with and , and and ; that is, the inclusion of into and the inclusion of into are compact.

denote the energy of . It is well known that under assumption (H) the energy functional is well defined and continuously differentiable on , and for all we have

and it is also well known that the critical points of are weak solutions of problem (3.1). The main theorem is the following.

Theorem 3.1.

Under assumption (H), problem (3.1) possesses infinitely many solutions .

Since the functional are strongly indefinite, a modified multiplicity critical points theorem Heinz [2] which is the generalized critical point theorem of Benci [1] will be used. For completeness, we state the result from here.

Theorem 3.2.

(see [2]) Let be a real Hilbert space, and let be a functional with the following properties:

where is an invertible bounded self-adjoint linear operator in and where is such that and the gradient is a compact operator;

(ii) is even, that is ;

- (a)
suppose that there is an -dimensional linear subspace of ( ) such that for the spaces , one has

(iv) such that , ;

- (b)
a similar result holds when , and one takes , .

Lemma 3.3.

The functional defined in (3.6) satisfies conditions (ii), (iv), and (v) of Theorem 3.2.

Proof.

and since , , we conclude that for with small.

The same arguments can be applied if . So the result follows from (3.16).

A sequence is said to be the Palais-Smale sequence for (PS)-sequence for short) if uniformly in and in . We say that satisfies the Palais-Smale condition (PS)-condition for short) if every (PS)-sequence of is relatively compact in .

Lemma 3.4.

Under assumption (H), the functional satisfies the (PS)-condition.

Proof.

Since and , we conclude that both and are bounded, and consequently and are also bounded in terms of (3.24).

and by Theorem 2.1, we conclude that strongly in and strongly in .

Proof of Theorem 3.1.

Applying Lemmas 3.3 and 3.4 and Theorem 3.2, we can obtain the conclusion of Theorem 3.1.

## Authors’ Affiliations

## References

- Benci V: On critical point theory for indefinite functionals in the presence of symmetries.
*Transactions of the American Mathematical Society*1982, 274(2):533-572. 10.1090/S0002-9947-1982-0675067-XMATHMathSciNetView ArticleGoogle Scholar - Heinz H-P: Existence and gap-bifurcation of multiple solutions to certain nonlinear eigenvalue problems.
*Nonlinear Analysis: Theory, Methods & Applications*1993, 21(6):457-484. 10.1016/0362-546X(93)90128-FMATHMathSciNetView ArticleGoogle Scholar - Yang J: Multiple solutions of semilinear elliptic systems.
*Commentationes Mathematicae Universitatis Carolinae*1998, 39(2):257-268.MATHMathSciNetGoogle Scholar - de Figueiredo DG, Felmer PL: On superquadratic elliptic systems.
*Transactions of the American Mathematical Society*1994, 343(1):99-116. 10.2307/2154523MATHMathSciNetView ArticleGoogle Scholar - de Figueiredo DG, Yang J: Decay, symmetry and existence of solutions of semilinear elliptic systems.
*Nonlinear Analysis: Theory, Methods & Applications*1998, 33(3):211-234. 10.1016/S0362-546X(97)00548-8MATHMathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.