Abstract and Applied Analysis

Volume 2008 (2008), Article ID 578417, 6 pages

http://dx.doi.org/10.1155/2008/578417

## On Existence of Solution for a Class of Semilinear Elliptic Equations with Nonlinearities That Lies between Different Powers

Departamento de Matemática e Estatística, Universidade Federal de Campina Grande, CEP 58.109-970, Campina Grande - PB, Brazil

Received 24 August 2007; Revised 9 January 2008; Accepted 14 May 2008

Academic Editor: Mitsuharu Otani

Copyright © 2008 Claudianor O. Alves and Marco A. S. Souto. 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 prove that the semilinear elliptic equation , in , , on has a positive solution when the nonlinearity belongs to a class which satisfies at infinity and behaves like near the origin, where if and if . In our approach, we do not need the Ambrosetti-Rabinowitz condition, and the nonlinearity does not satisfy any hypotheses such those required by the blowup method. Furthermore, we do not impose any restriction on the growth of .

#### 1. Introduction

Since the 70s, several authors have been studying existence of solutions for the semilinear elliptic Dirichlet problemwhere is a bounded domain in , .
Most part of these results were done under some hypotheses on the nonlinearity in order to make variational methods work. The
most used hypothesis is the Ambrosetti-Rabinowitz condition [1] which makes the
Euler-Lagrange functional associated to subcritical problem (*P*) satisfies the Palais-Smale condition. Also,
the blowup method, due to Gidas and Spruck [2], is used to get existence of
solutions and, to work, it needs an asymptotical behaviour like for the subcritical nonlinearity (this is, for the case ,
when or when ). Most recently, two existence results
related to the subject have been published: de Figueiredo and Yang [3] considered problem (*P*), where variational techniques were applied
together with Morse's index, in Azizieh and Clément [4] using also variational
techniques and the blowup method; problem (*P*) was studied for the -Laplacean operator, with .
In both papers [3, 4], the existence of
solutions depends on the following condition:

Our results complete those above in the sense that this paper treats this subject for a class of nonlinearities that lies between two different powers and , with no restrictions on . A multiplicity of solutions result was done by Li and Liu [5] with critical growth restriction on . Here, we will suppose that is a locally Hölder continuous function with the following decomposition . The hypotheses on the functions and are the following.

(H_{1})(H_{2})There exists such thatwhere .(H_{3})If there exists and if such that(H_{4})There is a positive real sequence satisfying ,
and

For convenience, we rewrite problem (*P*) in the following way:

Observe that conditions and implywhere is the first eigenvalue of . Moreover, since for all , a necessary condition for the existence of solution for problem () is that the nonlinearity crosses the line .

As an example, we may consider The function satisfies the above conditions but does not satisfy Ambrosetti-Rabinowitz conditions. Moreover, also does not belong to any class of solutions contained in the references [1–3] or [4].

Our main result is the following.Theorem 1.1. *There exists such that problem ( P) has a positive solution for all .*In our
proof, we adapt an idea explored by Chabrowski and Yang in [6]. Comparing our approach to
others cited in the literature, it is important to stress that ours does not
use Morse Index method and consequently we do not need derivatives of the
nonlinearity as in [3], and we do not have any restriction as required in [4], for the case .

#### 2. Proof of Theorem 1.1

Hereafter, let us denote by the usual norm of , that is,and by the minimax level obtained by the mountain-pass theorem of Ambrosetti and Rabinowitz applied to the functionalwhere .

The proposition below establishes an estimate involving the -norm of a solution related to a subcritical problem. This estimate is an important point in our approach, and its proof is an immediate consequence of bootstrap arguments. The constant that appears in Theorem 1.1 depends only on the constant below and on the sequence given by , as we can see in this section.

Proposition 2.1. *Let be a solution of the problem** where is a continuous functions verifying ,
for all .
Then, for all ,
there exists a constant such that if*

Applying Proposition 2.1, for the constant there exists a constant such that (2.4) holds.

Let us fix such that and let satisfywhere denotes the Lebesgue's measure of the set .

For that previously fixed , let us consider the function given by From condition (),and then satisfies the inequality , since .

It is easy to check that the truncated function satisfies Ambrosetti-Rabinowitz condition in the interval , that is,where . In fact, denoting we havefor , which impliesIntegrating inequality , from to , we haveConsequently, from (2.10) and (2.11), the inequalityholds. Thus,which, together with (), impliesas we wanted to check (observe that and imply that ).

Now, consider the following truncated problem:

Let us recall that and . It is well known that problem () has a positive solutions . This occurs since the energy functional related to () given byorsatisfies the hypotheses of the mountain pass theorem [1]. Moreover, from the inequality , for all , the minimax level of functional satisfies .

Thus, from
equality we haveand from (2.8) we haveFrom inequality (2.7), we have in ,
henceFrom the choice of ,
we get Using the constant obtained in Proposition 2.1 and from the last
inequality, we have that for all .
But implies that and thus is a solution for (*P*).
The proof is done.*Remark 2.2. *Hypothesis can be replaced by

(H_{4})^{'}There is a positive real satisfying

#### 3. Final Comments

The methods applied in this paper with few modifications can be used to establish existence of positive solutions for the problem with and verifying

(H_{5})(H_{6}) There exists such thatwhere .(H_{7}) There exists such that(H_{8}) There is a positive real sequence satisfying ,
and

The ideas developed in this paper may be used when we
deal with the *p*-Laplacian operator. The main difference is concerned with the
proof of Proposition 2.1, where we should replace bootstrap arguments by Moser's
iteration methods, and then repeat the same approach explored by Chabrowski
and Yang [6].

#### Acknowledgments

This work is partially sponsored by CNPq-Milenium-AGIMB. The second author is supported by CNPq - Brazil.

#### References

- A. Ambrosetti and P. H. Rabinowitz, “Dual variational methods in critical point theory and applications,”
*Journal of Functional Analysis*, vol. 14, no. 4, pp. 349–381, 1973. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Gidas and J. Spruck, “Global and local behavior of positive solutions of nonlinear elliptic equations,”
*Communications on Pure and Applied Mathematics*, vol. 34, no. 4, pp. 525–598, 1981. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. G. de Figueiredo and J. Yang, “On a semilinear elliptic problem without ($\mathrm{PS}$) condition,”
*Journal of Differential Equations*, vol. 187, no. 2, pp. 412–428, 2003. View at Publisher · View at Google Scholar · View at MathSciNet - C. Azizieh and P. Clément, “A priori estimates and continuation methods for positive solutions of $p$-Laplace equations,”
*Journal of Differential Equations*, vol. 179, no. 1, pp. 213–245, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Li and Z. Liu, “Multiplicity of solutions for some elliptic equations involving critical and supercritical Sobolev exponents,”
*Topological Methods in Nonlinear Analysis*, vol. 28, no. 2, pp. 235–261, 2006. View at Google Scholar · View at MathSciNet - J. Chabrowski and J. Yang, “Existence theorems for elliptic equations involving supercritical Sobolev exponent,”
*Advances in Differential Equations*, vol. 2, no. 2, pp. 231–256, 1997. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet