Gradient systems with sublinear term near the origin and asymptotically linear term near infinity
© Cai and Su; licensee Springer. 2013
Received: 24 September 2013
Accepted: 3 December 2013
Published: 30 December 2013
In this paper we study the existence of nontrivial solutions for a sublinear gradient system with a nontrivial critical group at infinity.
MSC:35J10, 35J65, 58E05.
Keywordsgradient system sublinear critical group Morse theory
where is a bounded open domain with a smooth boundary ∂ Ω and designates the partial derivative with respect to u of the nonlinearity . The solutions of such systems are steady-states of reaction-diffusion systems arising in many applied sciences such as biology, chemistry, ecology or physics. It is well known that (GS) has variational structure when the nonlinearity F satisfies the subcritical growth condition
where if and if .
for . The weak solutions to (GS) in E are exactly critical points of Φ in E.
with the functions satisfying the conditions that for all , which means A is cooperative, and that .
When F satisfies , for , the system (GS) admits a trivial solution . We are interested in the nontrivial solutions for (GS). In the current paper we apply the Morse theory to study the existence of nontrivial solutions of (GS) when the problem is sublinear near the origin and is asymptotically linear near infinity.
We make the following assumption near the origin.
The numbers , are well determined and finite.
We assume that the nonlinear system (GS) is asymptotically linear at infinity in the sense that the function F satisfies
Associated to , we set , , . Denote , . We say that the system (GS) is nonresonant at infinity if , while it is resonant at infinity if .
We first consider the nonresonance case. We have the following.
Theorem 1.1 Assume that F satisfies (), () and . Then (GS) has at least one nontrivial weak solution in E.
Next we consider the resonance case. We need additional assumptions on F near infinity.
Theorem 1.2 Let F satisfy (), () and (). Then (GS) has at least one nontrivial weak solution in E. Moreover, if F is even in z, then (GS) has infinitely many nontrivial weak solutions in E.
Theorem 1.3 Let F satisfy (), () and (). Then (GS) has at least one nontrivial weak solution in E.
See  for details. Near the origin we impose (), which means that ∇F is sublinear or F is sub-quadratic near zero. This kind of condition caught our attention first in a preprint by Liu and Wu  where a single elliptic equation was considered. This is the first use for gradient system in the current paper.
The asymptotically linear gradient systems (GS) have received some attention for years. We mention some recent related works [7–12] and the references therein. In these works, existence and multiplicity of nontrivial solutions for (GS) were obtained by combining various arguments involving Morse theory, saddle point reduction method (see [9–11]) and three critical point theorem (see ), etc. All above mentioned works dealt with the case that at least one of the critical groups of Φ at 0 is nontrivial somewhere. In the present paper, we study via Morse theory the case that all critical groups of Φ at 0 are trivial under the condition (). Due to (), the saddle point reduction methods [9–11] cannot be applied and there is no linking at 0. Comparing with known ones, the existence and multiplicity results for (GS) are all new. See more remarks in the last section of the paper.
The paper is organized as follows. In Section 2, we collect some basic abstract tools. In Section 3 we compute the critical groups at zero and infinity. The proofs of Theorems 1.1-1.3 and comments are given in Section 4.
In this section we cite some preliminaries that will be used to prove the main results of the paper. We first collect some results on Morse theory (see [14, 15]) for a functional Φ defined on a Hilbert space E.
for either or ;
is non-increasing in t for any ;
We say that Φ possesses the deformation property if Φ possesses the deformation property at each level .
In applications the deformation property is ensured by the Palais-Smale condition or the Cerami condition.
We say that Φ satisfies the Palais-Smale condition at the level if any sequence satisfying and as has a convergent subsequence. Φ satisfies the Palais-Smale condition if Φ satisfies the Palais-Smale condition at each . We say that Φ satisfies the Cerami condition [16, 17] at the level if any sequence satisfying that , as has a convergent subsequence. Φ satisfies the Cerami condition if Φ satisfies the Cerami condition at each .
is called the q th critical group of Φ at , where denotes a singular relative homology group of the pair with integer coefficients.
is called the q th critical group of Φ at infinity .
Assume that Φ satisfies the deformation property and is a finite set. The Morse type numbers of the pair are defined by , and the Betti numbers of the pair are defined by .
If , then for all . From (2.1) one can deduce that for all . Thus if for some , then Φ must have a critical point with . If , then for all . Thus if for some , then Φ must have a new critical point. Therefore the basic idea in applying Morse theory to find critical points of Φ is to compute critical groups both at infinity and at known critical points clearly and then to find unknown critical points by applying formulas (2.1) and (2.2).
Now we state an abstract result for the critical groups at infinity.
- (1)If , then
- (2)If , then
provided Φ satisfies the angle conditions with respect to :
Next we recall an abstract critical point theorem built by Wang in .
Proposition 2.3 ()
where , then Φ has a sequence of critical values satisfying as .
and each eigenvalue of (LA) has a finite multiplicity. All eigenvectors of (LA) form a Hilbertian basis of E and that E can be split as , where , , are the negative, positive definite invariant subspaces and the kernel of , respectively. We refer to [2, 3] for more properties related to the eigenvalue problem (LA) and the operator .
3 Critical groups and compactness
In this section we verify the compactness of the functional Φ and compute the critical groups of Φ at both zero and infinity. Without loss of generality, we assume that (GS) has finitely many weak solutions so that the trivial solution is an isolated critical point of Φ. We first compute the critical groups . The idea was from an unpublished preprint by Liu and Wu  where a single elliptic equation was studied.
Proof Denote . By definition of critical groups, we can write . We will construct a deformation mapping from to for small.
This contradicts (3.9). Thus and (3.8) holds.
The proof is complete. □
We note here that () is not comparable with () since () is a local condition and although () implies ()(i) but ()(ii) is a global condition.
The functional Φ is coercive on E and satisfies the Palais-Smale condition.
This is a contradiction. Thus Φ is coercive on E.
By the coercivity of Φ, a Palais-Smale sequence of Φ must be bounded. Since F has a subcritical growth, a standard argument shows that has a convergent subsequence.
The proof is complete. □
Φ satisfies the Cerami condition.
if () holds.
if () holds.
This is a contradiction with (3.25).
(iii) This case is proved in a similar way.
The proof is finished. □
4 Proofs of main theorems
In this section we give the proofs of main theorems in this paper.
By (4.2) and (4.3), we see that and then is a nontrivial weak solution of (GS). □
We still have (4.3). Thus is a nontrivial weak solution of (GS). In fact, is a global minimizer of Φ.
Assume that is even in z. We will employ Proposition 2.3 to prove the multiplicity in Theorem 1.2. Now Φ is even, . By Lemma 3.2, Φ satisfies the Palais-Smale condition and is bounded from below following from the coercivity.
With all the conditions of Proposition 2.3 being verified, we get the conclusion that Φ has a sequence of critical values satisfying as . Thus (GS) has infinitely many nontrivial weak solutions in E. The proof is finished. □
Proof of Theorem 1.3 By a similar argument, it follows from Lemma 3.1 and Lemma 3.3. □
We conclude the paper with further comments and remarks.
Remark 4.1 (i) In Theorem 1.1, when which implies and F is even in z, by the same arguments as the last part of the proof of Theorem 1.2, one can show that (GS) has infinitely many nontrivial weak solutions in E with negative energies which converge to zero.
() is weaker than ().
Indeed, in this case, Φ satisfies the Cerami condition and Φ has a saddle point structure at infinity with respect to in the sense that Φ is bounded from below on and is anti-coercive on . Then Proposition 3.8 in  is applied to get .
Remark 4.2 In Theorem 1.2, we proved the multiplicity result by a critical point theorem in  when Φ is even. This result is completely new for gradient systems. Since the critical groups of Φ at both zero and infinity are clearly computed, when Φ is even, the Morse equality may provide us an idea to give a different proof provided we have in hand the following basic conclusion.
(⋆) If is a solution of (HS), then for finitely many .
a contradiction. Similarly, if (⋆) is valid and F is even, then we have the same multiplicity result in Theorems 1.1 and 1.3.
We note here that the conclusion (⋆) is valid for Φ is of . A natural problem arises here whether or not that (⋆) is valid for a functional. It is still open to the best of our knowledge. We will focus on this problem in near future.
Supported by NSFC11271264, NSFC11171204 and PHR201106118.
- Rabinowitz P CBMS 65. In Minimax Methods in Critical Point Theory with Application to Differential Equations. Am. Math. Soc., Providence; 1986.View ArticleGoogle Scholar
- Chang KC: An extension of the Hess-Kato theorem to elliptic systems and its applications to multiple solutions problems. Acta Math. Sin. 1999, 15: 439-454. 10.1007/s10114-999-0078-0View ArticleMathSciNetMATHGoogle Scholar
- Chang KC: Principal eigenvalue for weight in elliptic systems. Nonlinear Anal. 2001, 46: 419-433. 10.1016/S0362-546X(00)00140-1MathSciNetView ArticleMATHGoogle Scholar
- Landesman E, Lazer A: Nonlinear perturbations of linear eigenvalues problem at resonance. J. Math. Mech. 1970, 19: 609-623.MathSciNetMATHGoogle Scholar
- Bartsch T, Chang KC, Wang Z-Q: On the Morse indices of sign changing solution of nonlinear elliptic problem. Math. Z. 2000, 233: 655-677. 10.1007/s002090050492MathSciNetView ArticleMATHGoogle Scholar
- Liu, JQ, Wu, SP: A note on a class of sublinear elliptic equation. Research Report 84, Peking University (1997)Google Scholar
- da Silva ED: Multiplicity of solutions for gradient systems. Electron. J. Differ. Equ. 2010., 2010: Article ID 64Google Scholar
- da Silva ED: Multiplicity of solutions for gradient systems using Landesman-Lazer conditions. Abstr. Appl. Anal. 2010., 2010: Article ID 237826Google Scholar
- Furtado MF, de Paiva FOV: Multiplicity of solutions for resonant elliptic systems. J. Math. Anal. Appl. 2006, 319: 435-449. 10.1016/j.jmaa.2005.06.038MathSciNetView ArticleMATHGoogle Scholar
- Furtado MF, de Paiva FOV: Multiple solutions for resonant elliptic systems via reduction method. Bull. Aust. Math. Soc. 2010, 82: 211-220. 10.1017/S0004972710000092MathSciNetView ArticleMATHGoogle Scholar
- Li C, Liu S: Homology of saddle point reduction and applications to resonant elliptic systems. Nonlinear Anal. 2013, 81: 236-246.MathSciNetView ArticleMATHGoogle Scholar
- Lü L, Su J: Solutions to a gradient system with resonance at both zero and infinity. Nonlinear Anal. 2011, 74: 5340-5351. 10.1016/j.na.2011.05.018MathSciNetView ArticleMATHGoogle Scholar
- Liu JQ, Su J: Remarks on multiple nontrivial solutions for quasi-linear resonant problems. J. Math. Anal. Appl. 2001, 258: 209-222. 10.1006/jmaa.2000.7374MathSciNetView ArticleMATHGoogle Scholar
- Chang KC: Infinite Dimensional Morse Theory and Multiple Solutions Problems. Birkhäuser, Boston; 1993.View ArticleGoogle Scholar
- Mawhin J, Willem M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin; 1989.View ArticleMATHGoogle Scholar
- Bartolo P, Benci V, Fortunato D: Abstract critical point theorems and applications to nonlinear problems with ‘strong’ resonance at infinity. Nonlinear Anal. 1983, 7: 981-1012. 10.1016/0362-546X(83)90115-3MathSciNetView ArticleMATHGoogle Scholar
- Cerami G: Un criterio di esistenza per i punti critici su varietà illimitate. Rend. - Ist. Lomb., Accad. Sci. Lett., a Sci. Mat. Fis. Chim. Geol. 1978, 112: 332-336.MathSciNetGoogle Scholar
- Bartsch T, Li S: Critical point theory for asymptotically quadratic functionals and applications to problems with resonance. Nonlinear Anal. 1997, 28: 419-441. 10.1016/0362-546X(95)00167-TMathSciNetView ArticleMATHGoogle Scholar
- Wang Z-Q: Multiple solutions for indefinite functionals and applications to asymptotically linear problems. Acta Math. Sin. New Ser. 1989, 5(2):101-113. 10.1007/BF02107664View ArticleMathSciNetMATHGoogle Scholar
- Su J: Nontrivial periodic solutions for the asymptotically linear Hamiltonian systems with resonance at infinity. J. Differ. Equ. 1998, 145(2):252-273. 10.1006/jdeq.1997.3360View ArticleMathSciNetMATHGoogle Scholar
- Su J, Zhao L: An elliptic resonance problem with multiple solutions. J. Math. Anal. Appl. 2006, 319: 604-616. 10.1016/j.jmaa.2005.10.059MathSciNetView ArticleMATHGoogle Scholar
- Wang Z-Q: Nonlinear boundary value problems with concave nonlinearities near the origin. Nonlinear Differ. Equ. Appl. 2001, 8: 15-33. 10.1007/PL00001436View ArticleMathSciNetMATHGoogle Scholar
- Moroz V: Solutions of superlinear at zero elliptic equations via Morse theory. Topol. Methods Nonlinear Anal. 1997, 10: 387-397.MathSciNetMATHGoogle Scholar
- Costa DG, Magalhães CA: Variational elliptic problems which are nonquadratic at infinity. Nonlinear Anal. 1994, 23: 1401-1412. 10.1016/0362-546X(94)90135-XMathSciNetView ArticleMATHGoogle Scholar
- Su J, Tang C: Multiplicity results for semilinear elliptic equations with resonance at higher eigenvalues. Nonlinear Anal. 2001, 44: 311-321. 10.1016/S0362-546X(99)00265-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.