arxiv: v1 [math.ap] 7 May 2009

Similar documents
Existence and Multiplicity of Solutions for a Class of Semilinear Elliptic Equations 1

EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

EXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL

EXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

POTENTIAL LANDESMAN-LAZER TYPE CONDITIONS AND. 1. Introduction We investigate the existence of solutions for the nonlinear boundary-value problem

Nonlinear resonance: a comparison between Landesman-Lazer and Ahmad-Lazer-Paul conditions

NONLINEAR SCHRÖDINGER ELLIPTIC SYSTEMS INVOLVING EXPONENTIAL CRITICAL GROWTH IN R Introduction

A NOTE ON THE EXISTENCE OF TWO NONTRIVIAL SOLUTIONS OF A RESONANCE PROBLEM

EXISTENCE OF SOLUTIONS FOR CROSS CRITICAL EXPONENTIAL N-LAPLACIAN SYSTEMS

On a Bi-Nonlocal p(x)-kirchhoff Equation via Krasnoselskii s Genus

RNDr. Petr Tomiczek CSc.

Remarks on Multiple Nontrivial Solutions for Quasi-Linear Resonant Problems

INFINITELY MANY SOLUTIONS FOR A CLASS OF SUBLINEAR SCHRÖDINGER EQUATIONS. Jing Chen and X. H. Tang 1. INTRODUCTION

COMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS

NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION

arxiv: v1 [math.ap] 24 Oct 2014

Nonlinear elliptic systems with exponential nonlinearities

Semilinear Elliptic PDE 2 Prof. Dr. Thomas Østergaard Sørensen summer term 2016

EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM

MULTIPLE SOLUTIONS FOR AN INDEFINITE KIRCHHOFF-TYPE EQUATION WITH SIGN-CHANGING POTENTIAL

EXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM. Saeid Shokooh and Ghasem A. Afrouzi. 1. Introduction

MULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN

260 Hafida Boukhrisse and Mimoun Moussaoui

SOLUTIONS TO SINGULAR QUASILINEAR ELLIPTIC EQUATIONS ON BOUNDED DOMAINS

EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS

ASYMMETRIC SUPERLINEAR PROBLEMS UNDER STRONG RESONANCE CONDITIONS

p-laplacian problems with critical Sobolev exponents

ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz

arxiv: v1 [math.ap] 28 Aug 2018

MULTIPLE POSITIVE SOLUTIONS FOR KIRCHHOFF PROBLEMS WITH SIGN-CHANGING POTENTIAL

Existence of Multiple Positive Solutions of Quasilinear Elliptic Problems in R N

PERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC

On a Nonlocal Elliptic System of p-kirchhoff-type Under Neumann Boundary Condition

Multiple positive solutions for a class of quasilinear elliptic boundary-value problems

HOMOLOGICAL LOCAL LINKING

EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński

ON THE SCHRÖDINGER EQUATION INVOLVING A CRITICAL SOBOLEV EXPONENT AND MAGNETIC FIELD. Jan Chabrowski Andrzej Szulkin. 1.

EIGENVALUE QUESTIONS ON SOME QUASILINEAR ELLIPTIC PROBLEMS. lim u(x) = 0, (1.2)

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

INFINITELY MANY SOLUTIONS FOR A CLASS OF SUBLINEAR SCHRÖDINGER EQUATIONS

Bulletin of the. Iranian Mathematical Society

A semilinear Schrödinger equation with magnetic field

Computations of Critical Groups at a Degenerate Critical Point for Strongly Indefinite Functionals

PERIODIC SOLUTIONS FOR NON-AUTONOMOUS SECOND-ORDER DIFFERENTIAL SYSTEMS WITH (q, p)-laplacian

MULTIPLE SOLUTIONS FOR THE p-laplace EQUATION WITH NONLINEAR BOUNDARY CONDITIONS

MULTIPLE SOLUTIONS FOR A KIRCHHOFF EQUATION WITH NONLINEARITY HAVING ARBITRARY GROWTH

A nodal solution of the scalar field equation at the second minimax level

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

Necessary Conditions and Sufficient Conditions for Global Existence in the Nonlinear Schrödinger Equation

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

Generalized linking theorem with an application to semilinear Schrödinger equation

A REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL. Olaf Torné. 1. Introduction

NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS

Nonvariational problems with critical growth

On the minimax inequality and its application to existence of three solutions for elliptic equations with Dirichlet boundary condition

Borderline Variational Problems Involving Fractional Laplacians and Critical Singularities

Non-homogeneous semilinear elliptic equations involving critical Sobolev exponent

BIFURCATION AND MULTIPLICITY RESULTS FOR CRITICAL p -LAPLACIAN PROBLEMS. Kanishka Perera Marco Squassina Yang Yang

THE JUMPING NONLINEARITY PROBLEM REVISITED: AN ABSTRACT APPROACH. David G. Costa Hossein Tehrani. 1. Introduction

NONHOMOGENEOUS ELLIPTIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT AND WEIGHT

Existence of Positive Solutions to a Nonlinear Biharmonic Equation

Landesman-Lazer type results for second order Hamilton-Jacobi-Bellman equations

ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.

SUPER-QUADRATIC CONDITIONS FOR PERIODIC ELLIPTIC SYSTEM ON R N

NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction

Positive and Nodal Solutions For a Nonlinear Schrödinger Equation with Indefinite Potential

Existence of solutions to a superlinear p-laplacian equation

ON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT

Local mountain-pass for a class of elliptic problems in R N involving critical growth

A global solution curve for a class of free boundary value problems arising in plasma physics

A convergence result for an Outer Approximation Scheme

Symmetrization and minimax principles

THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS

POSITIVE GROUND STATE SOLUTIONS FOR SOME NON-AUTONOMOUS KIRCHHOFF TYPE PROBLEMS

Localization phenomena in degenerate logistic equation

Sobolev Spaces. Chapter 10

arxiv: v3 [math.ap] 1 Sep 2017

Nonlinear Maxwell equations a variational approach Version of May 16, 2018

ON THE EXISTENCE OF SIGNED SOLUTIONS FOR A QUASILINEAR ELLIPTIC PROBLEM IN R N. Dedicated to Luís Adauto Medeiros on his 80th birthday

Multiplicity of solutions for resonant elliptic systems

LIFE SPAN OF BLOW-UP SOLUTIONS FOR HIGHER-ORDER SEMILINEAR PARABOLIC EQUATIONS

STEKLOV PROBLEMS INVOLVING THE p(x)-laplacian

RADIAL SOLUTIONS FOR INHOMOGENEOUS BIHARMONIC ELLIPTIC SYSTEMS

Blow up points of solution curves for a semilinear problem

Analysis in weighted spaces : preliminary version

Nonlinear problems with lack of compactness in Critical Point Theory

Minimal periods of semilinear evolution equations with Lipschitz nonlinearity

Elliptic equations with one-sided critical growth

Existence of solutions for a boundary problem involving p(x)-biharmonic operator. Key Words: p(x)-biharmonic, Neumann problem, variational methods.

Semilinear Robin problems resonant at both zero and infinity

ON WEAK SOLUTION OF A HYPERBOLIC DIFFERENTIAL INCLUSION WITH NONMONOTONE DISCONTINUOUS NONLINEAR TERM

Homoclinic Orbits for Asymptotically Linear Hamiltonian Systems

Existence of Solutions for a Class of p(x)-biharmonic Problems without (A-R) Type Conditions

arxiv: v1 [math.ap] 16 Jan 2015

Optimization with Some Uncontrollable Variables: A Min-Equilibrium Approach

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

A non-local critical problem involving the fractional Laplacian operator

A PROPERTY OF SOBOLEV SPACES ON COMPLETE RIEMANNIAN MANIFOLDS

Weak solutions for some quasilinear elliptic equations by the sub-supersolution method

Transcription:

Existence of solutions for a problem of resonance road space with weight arxiv:0905.1016v1 [math.ap] 7 May 2009 Antonio Ronaldo G. Garcia, Moisés D. dos Santos and Adrião D. D. Neto 2 Abstract Universidade Federal Rural do Semi-Árido UFERSA Universidade Federal do Rio Grande do Norte UFRN In this work we use variational methods to show the existence of weak solutions for a nonlinear problem of the type elliptic. This problem was initially study by the authors Ahmad, Lazer and Paul (see [1]) considering the space Ω R n a bounded domains. In this work we extend your result now considering the domain R n. Indeed, the main theorems in this paper constitute an extension to R n of your previous results in bounded domains. Key words: Resonance, weight space, variational methods, elliptic equation Introduction In this work we obtain a result of existence of weak solution for the problem { u + u = λk h(x)u + g(x, u), on R n, n 3 u H 1 (R n (1) ) where h : R n R +, g : R n R R, are continuous functions satisfying the following conditions: 2000 Mathematics Subject Classification, 35J20 Email address: ronaldogarcia@ufersa.edu.br, mdantas@ufersa.edu.br and adriao@dca.ufrn.br (Antonio Ronaldo G. Garcia, Moisés D. dos Santos and Adrião D. D. Neto) URL: www.ufersa.edu.br and www.dca.ufrn.br (Antonio Ronaldo G. Garcia, Moisés D. dos Santos and Adrião D. D. Neto) 1 Departamento de Ciências Exatas e Naturais DCEN, CEP.: 59625-900, Mossoró-RN 2 Departamento de Engenharia de Computação e Automação DCA, CEP.: 59078-900, Natal-RN Preprint submitted to Ordinary Diffential Equation May 7, 2009

(i) h L 1 (R n ) L (R n ); (ii) There is a function Z L 1 (R n ) L (R n ) such that Z(x) > 0, x R n, and g(x, t) Z(x), (x, t) R n R. (2) Furthermore, λ k is the k-th eigenvalue associated with the problem { u + u = λh(x)u, on R n, n 3 u H 1 ( ) characterizing the problem (1) as a problem of resonance (see Definition 1.2 pg. 2 of [4]). Furthermore, we assume that g satisfies one of the conditions (g 2 + ) or (g2 ), this is, G(x, v(x)) d x ±, (4) v where v N λk the eigenspace associated with the eigenvalue λ k and G(x, ) = s 0 g(x, τ) dτ is the primitive of the function g(x, ). We find a weak solution for the problem (1) determining critical points of the energy functional associated Φ : H 1 (R n ) R defined by Φ(u) = 1 2 ( u 2 + u 2) d x λ k R 2 n u 2 h dx G(x, u) dx. R n R n In this work we generalized the result from Lazer-Ahmad-Paul in [1]. For this was necessary some theorics results once again that the domain considered here is no bounded. In a space no bounded no exists immersion compact of the Soboleve space H 1 (R n ) in L p (R n ). We contorted this working in spaces with weight. Problems at resonance have been of interest to researchers ever since the pioneering work of Landesman and Lazer [7] in 1970 for second order elliptic operators in bounded domains. The literature on resonance problems in bounded domains is quite vast; of particular interest to this paper are the works of Ahmad, Lazer and Paul [1] in 1976 and of Rabinowitz in 1978, in which critical point methods are applied. Recently, using other tecnic, Garza and Rumbos [4] do a result that is a extension to R n of the Ahmad, Lazer 2 (3)

and Paul result. In this paper, furthermore of resonance they obtain result on strong resonance. Resonance problems on unbounded domains, and in particular in R n, have been studied recently by Costa and Tehrani [2] and by Jeanjean [6], and by Stuart and Zhou [9] for radially symmetric solutions for asymptotically linear problems in R n. In all these references variational methods were used. Hetzer and Landesman [5] for resonant problems for a class of operators which includes the Schrödinger operator. The problem of resonance that we work can be see in [10] for bounded domain. We write in general the direction of our proposal, In the Section we define spaces with weight and show that this space is Banach. In the Section 2 we show two important results, a of immersions continuous and the other of immersion compact space of the space H 1 (R n ) in L p (R n, h d x). Finally, in the Section 3 we show the main result of this work that guarantees the existence of weak solution to the problem (1). 1. Spaces with weight In this section we define spaces with weight and show some properties involving these spaces. For this, start with the following: Definition 1. Let h : (0, + ) be a measurable function and 1 < p <. We define the space L p (, hdx) the space of all the measurable functions f : R n R such that R n f(x) p h(x) d x <, i.e, L p (, hdx ) := { f : R measurable In the that follow we denoted by } f(x) p h(x) d x <. ( ( u = u 2 + u 2) ) 1/2 ( d x and f = p,h f p h d x the norms in H 1 ( ) and L p (, h d x), respectively. ) 1/p Theorem 1. The space ( L p (, h dx); p,h ) with 1 p < is a Banach s space. 3

Proof. Let {u n } L p (, hdx) be a Cauchy s sequence. Then, give ǫ > 0 there exists n 0 N such that Define v n = h 1 p un, it follow from (5) that u n u m p,h < ǫ, n, m n 0. (5) v n v m L p ( ) < ǫ, n, m n 0. Since L p ( ) is a Banach space, there exists w L p ( ) with Defining, u(x) = w(x), note that h(x) 1 p u n u p,h = = v n n w (6) ( u n u p hdx R ( N ) 1 p ) 1 h 1 p un h 1 p p p u dx u n u p,h = ( v n w p dx = v n w L p (R ). N ) 1 p From (6), we have u n u p,h n 0, that is, u n Therefore, L p (, hdx) is a Banach s space. u in L p (, hdx). n From Theorem 1 we can conclude that ( L 2 (, hdx), 2,h ) is a Hilbert s space with the inner product (f, g) 2,h = hfg d x. 2. Auxiliary results In this section we show two auxiliary results important for we show that the problem (1) have weak solution. The first is a result of continuous immersion and the second a result of compact immersion, both of the space H 1 (R n ) in L p (R n, h dx). 4

2.1. A result of continuous immersion Theorem 2. If h L ( ), then applies continuous immersion H 1 ( ) L p (, hdx) for all p [1, 2 ] (2 = 2N/(N 2)) if N 3. Proof. For u H 1 ( ), we have ( u p hdx ) 1 p ) 1 h u (R p p d x N = h u L p ( ). Since h L ( ). From Sobolev s continuous immersion, we have H 1 ( ) L p ( ), p [2, 2 ], if N 3. Thus, there exists C > 0 such that u L p ( ) C u, u H1 ( ). Therefore, ( ) 1/p u p hdx C h u, u H 1 ( ). Considering C 1 = C h, we have ( ) 1/p u p hdx C 1 u, that is, u p,h C 1 u, u H 1 ( ) showing the continuous immersion. 5

2.2. A result of Compact immersion Lemma 1. Give ǫ > 0, there exists R > 0 such that u nj u L p (B c R (0),hdx) < ǫ 2, n j. Proof. Indeed, to R > 0 and using the Hölder inequality with exponents = 1, we get 1 + 1 γ 2 p B c R (0) unj u p h dx h L γ (B c R (0)). unj u p L 2 p (Bc R (0)) B c R (0) unj u p h dx h L γ (B c R (0)). unj u p L 2 ( ) and from the Sobolev s continuous immersions, we have B c R (0) unj u p h dx C h L γ (B c R (0)). unj u p. Consequently, h u nj u p d x C 1 h L γ BR c (0) (BR c (0)). (7) Follows the theory of measure that if h L γ ( ), γ [1, ), give ǫ > 0 there exists R > 0 such that ( ǫ ) p h L γ (BR c (0)) < 1. 2 C 1 Now, from result above and from (7), we obtain h unj u ( p ǫ ) p dx n j. BR c (0) 2 Therefore, unj u L p (B c R (0),h dx) < ǫ 2 n j (8) which show the lemma. 6

Theorem 3. If h L 1 ( ) L ( ), has the compact immersion if N 3. H 1 ( ) L p (, h dx), p [1, 2 ) Proof. Let (u n ) H 1 ( ) be a bounded sequence, using the fact that H 1 ( ) is a reflexive space there exists (u nj ) (u n ) such that Furthermore, u nj u L p (B R (0),h d x) = u nj u in H 1 ( ). ( B R (0) h unj u ) 1 p p dx h. u nj u L p (B R (0)). From Sobolev s compact immersions, we have H 1 ( ) L p (B R (0)), of where follows u nj u in n j Lp (B R (0)). Thus, give ǫ > 0 there exists n j0 such that u nj u L p (B R (0)) < ǫ 2 h, n j n j0, thus, we have u nj u L p (B R (0),h d x) < ǫ 2, n j n j0. (9) From Lemma 1 and (9), we have unj u p,h < ǫ, n j n j0 u nj showing the compactness. u in n j Lp (, h d x) 7

3. Main result 3.1. Preliminaries We consider the functional Φ : H 1 ( ) R such that Φ(u) = 1 ( u 2 + u 2 ) dx λ k u 2 h d x G(x, u) dx. (10) 2 R 2 N This functional is well defined in H 1 ( ), is of class C 1 (H 1 ( ), R) (see [3]) and its critical points are weak solutions of (1). We set the linear operator Lu = u λ k S(u), we have (Lu, u) H 1 ( ) = ( (Lu) u + Lu.u) dx, thus, (Lu, u) H 1 ( ) = ( (u λ k S(u)) u dx + (u λ k S(u))u dx, this is, (Lu, u) H 1 ( ) = ( u 2 + u 2 ) d x λ k ( S(u) u+s(u)u) dx. (11) Moreover, considering S(u) = w, we have { w + w = hu, R N w H 1 ( ) ( φ w + φw) dx = uhφ dx, φ H 1 ( ). Fixing u = φ, ( S(u) u + S(u)u) dx = u 2 h dx. (12) Therefore, from (11) and (12), we have 1 2 (Lu, u) H 1 ( ) = 1 ( u 2 + u 2 ) d x λ k 2 R 2 N 8 u 2 h dx

from which follows Φ(u) = 1 2 (Lu, u) H 1 ( ) G(x, u) dx. where Now, we fix the following orthogonal decomposition of X = H 1 ( ), X = X X 0 X +, X 0 = N λk, X = N λ1 N λ2... N λk 1 and X + = N λk+1 N λk+2... Proposition 1. If u X 0, then (Lu, u) H 1 ( ) = 0. Proof. As we have seen that (Lu, u) H 1 ( ) = ( u 2 + u 2 ) dx λ k u 2 h d x, since u X 0, it is solution of the problem { u + u = λk hu, of where, we have Fixing φ = u, showing that if u X 0. ( φ u + φu) = λ k u H 1 ( ) ( u 2 + u 2 ) dx = λ k uφh dx, φ H 1 ( ). (Lu, u) H 1 ( ) = 0, u 2 h dx, Proposition 2. If u X, then there exists α > 0 such that this is, L is negative defined in X. (Lu, u) H 1 ( ) α u 2, 9

Proof. Let u X = N λ1 N λ2... N λk 1, be, then u = φ 1 + φ 2 +... + φ k 1 and u = φ 1 + φ 2 +... + φ k 1. Note that from (11) (Lu, u) H 1 ( ) = ( u 2 + u 2 ) d x λ k ( S(u) u + us(u)) dx thus, (Lu, u) H 1 ( ) = (u, u) H 1 ( ) λ k (S(u), u) H 1 ( ). (13) Provided that φ j satisfies { φj + φ j = λ j hφ j, From definition of the solution operator φ j H 1 ( ) S(λ j φ j ) = φ j therefore, S(φ j ) = 1 λ j φ j and S(φ j ) = 1 λ j φ j. From linearity of S, we have Thus, S(u) = S(φ 1 ) + S(φ 2 ) + + S(φ k 1 ) S(u) = 1 λ 1 φ 1 + 1 λ 2 φ 2 + + 1 λ k 1 φ k 1. (S(u), u) H 1 ( ) = (S(φ 1 ) + S(φ 2 ) + + S(φ k 1 ), φ 1 + φ 2 + + φ k 1 ) H 1 ( ) and provided that (φ j, φ k ) H 1 ( ) = 0, if j k, we obtain (S(u), u) H 1 ( ) = 1 λ 1 (φ 1, φ 1 ) H 1 ( ) + + 1 λ k 1 (φ k 1, φ k 1 ) H 1 ( ). 10

It follows from definition of inner product in H 1 ( ) that (S(u), u) H 1 ( ) = 1 ( φ 1 2 + φ 1 2 ) d x+ + 1 ( φ k 1 2 + φ k 1 2 ) dx λ 1 R λ N k 1 which implies this is, Furthermore, hence, k 1 λ k λ k (S(u), u) H 1 ( ) = ( φ j 2 + φ j 2 ) dx, R λ N j j=1 k 1 λ k (S(u), u) H 1 ( ) = λ k φ j 2. λ j (u, u) H 1 ( ) = (φ 1 + φ 2 + + φ k 1, φ 1 + φ 2 + + φ k 1 ) H 1 ( ) j=1 k 1 k 1 (u, u) H 1 ( ) = ( φ j 2 + φ j 2 ) dx = φ j 2. j=1 Now, we can to writer (13) of the follows way and using the fact that k 1 (Lu, u) H 1 ( ) = j=1 ( 1 λ ) k φ j 2 λ j λ j λ k 1, j {1, 2,..., k 1} j=1 thus, (Lu, u) H 1 ( ) 1 λ k λ k 1 1 λ k λ j = k 1 ( 1 λ ) k φ j 2 λ j=1 k 1 ( 1 λ ) k k 1 φ j 2. λ k 1 j=1 11

Therefore, from where we have this is, and α > 0. (Lu, u) H 1 ( ) (Lu, u) H 1 ( ) ( 1 λ ) k u 2 λ k 1 ( ) λk 1 u 2, λ k 1 (Lu, u) H 1 ( ) α u 2 < 0, u X \ {0} Proposition 3. If u X +, then there exists α > 0 such that (Lu, u) H 1 ( ) α u 2, this is, L is positive defined in X +. Proof. Suppose that u X + = N λk+1 N λk+2.... Then u = φ k+1 +φ k+2 +... We consider, u = φ j = lim N w N, where w N = N φ j, w N X +. We show that there exists α > 0 independent of N such that Indeed, note that (Lw N, w N ) H 1 ( ) α w N 2, N {k + 1, k + 2,... }. (Lw N, w N ) H 1 ( ) = ( N Lφ j, N ( N (Lw N, w N ) H 1 ( ) = (φ j λ k S(φ j )), consequently, (Lw N, w N ) H 1 ( ) = ( N φ j, N φ j ) H 1 ( ) ( N φ j ) N H 1 ( ) φ j ) λ k S(φ j ), Now, using the same reasoning from Proposition 2, we have (Lw N, w N ) H 1 ( ) = N 12 φ j 2 N λ k λ j φ j 2 H 1 ( ) N φ j ) H 1 ( ).

and noting that λ k λ k+1 we find 1 λ k 1 λ k. λ j λ k+1 Therefore, Thus, showing that (Lw N, w N ) H 1 ( ) (Lw N, w N ) H 1 ( ) ( 1 λ ) N k φ j 2. λ k+1 ( 1 λ ) k w N 2 λ k+1 where α = (Lw N, w N ) H 1 ( ) α w N 2, N {k + 1, k + 2,... }, (14) ( 1 λ k λ k+1 ). Using the fact that w N N u, we obtain w N 2 N u 2 and from continuity of L, we obtain L(w N ) N L(u). Consequently, (Lw N, w N ) H 1 ( ) N (Lu, u) H 1 ( ) thus, passing to the limit at (14) follows that (Lu, u) H 1 ( ) α u 2 Notation 1. In the that follows, we denoted by P, P 0 and P + the orthogonais projections on X, X 0 and X +, respectively. Lemma 2. If u = P 0 u+p + u X 0 X +, then (Lu, u) H 1 ( ) = (LP + u, P + u) H 1 ( ). Proof. Suppose that (Lu, u) H 1 ( ) = (L(P 0 u+p + u), P 0 u+p + u) H 1 ( ). Then (Lu, u) H 1 ( ) = (LP 0 u + LP + u, P 0 u + P + u) H 1 ( ). Using the Proposition 1 and the fact that L is symmetric operator, we obtain (Lu, u) H 1 ( ) = 2(LP 0 u, P + u) H 1 ( ) + (LP + u, P + u) H 1 ( ). 13

Note that (LP 0 u, P + u) H 1 ( ) = (P 0 u λ k S(P 0 u), P + u) H 1 ( ) hence, (LP 0 u, P + u) H 1 ( ) = λ k (S(P 0 u), P + u) H 1 ( ). Therefore, by the definition of operator solution, we obtain (LP 0 u, P + u) H 1 ( ) = (P 0 u, P + u) L 2 (,hdx) = 0, where the last equality we use the orthogonality of the projections. Thus, (Lu, u) H 1 ( ) = (LP + u, P + u) H 1 ( ). Proposition 4. Suppose valid the conditions (2) and (g 2 ). Then (a) Φ(u), u X. u + (b) Φ(u) +, u X 0 X +. u + Proof. (a) Suppose that u X. Using the fact that L is defined negative in X, we obtain Φ(u) 1 2 α u 2 G(x, u) dx. Note that for the mean value Theorem, we have G(x, u) G(x, 0) = G (x, s) u, s(x) [0, u(x)] or s(x) [u(x), 0], thus from (2) G(x, u) G(x, 0) Z(x) u therefore, G(x, u) dx u 1,Z, of where we have that Φ(u) 1 2 α u 2 + u 1,Z. From Theorem 3 follows that u 2,Z C 1 u, then Φ(u) 1 2 α u 2 + C 2 u consequently, Φ(u) u +, u X. (b) Suppose that u = P 0 u+p + u X 0 X +. Using the Lemma 2 has been Φ(u) = 1 (LP 2 +u, P + u) H 1 ( ) G(x, u) dx. Furthermore, since L defined positive in X + follows that Φ(u) 1 2 α P +u 2 [G(x, u) G(x, P 0 u)] dx G(x, P 0 u) dx. 14

Using again the mean value Theorem and (2), we have [G(x, u) G(x, P 0 u)] dx G(x, u) G(x, P 0 u) dx u P 0 u Z(x) dx [G(x, u) G(x, P 0 u) dx P + u 1,Z. Therefore, follows from the continuous immersion (see Theorem 2) that Φ(u) 1 2 α P +u 2 C P + u G(x, P 0 u) dx. (15) Now, using the condition (g 2 ), the fact that u 2 = P + u 2 + P 0 u 2 and analyzing the cases: (i) P 0 u + and P + u M. Using (g2 ) and doing the analysis in (15), we have Φ(u) +. u + (ii) P + u + e P 0 u K. Note that R G(x, P 0 u) dx G(x, P 0 u) dx N R N P 0 u Z(x) dx, that is, R G(x, P 0 u)dx K 1, K 1 R +. N Thus, doing the analysis in (15), we have Φ(u) u + +. (iii) If P + u + and P 0 u +. Again the condition (g2 ) and doing the analysis in (15, follows that Φ(u) which shows (b). u + +, Remark 1. If we had assumed the condition (g + 2 ) to (g 2 ) instead of the reasoning used was the same and the conclusions were the following: (a) Φ(u) (b) Φ(u), u X 0 X. u + +, u X +. u + 15

3.2. Weak solution to the problem (1) We are ready to state and prove the main result of our work. This result guarantees the existence of a critical point to the functional Φ, and therefore the existence of a weak solution to the problem (1). For we show the existence of weak solution for the problem (1) we use the theorem from the saddle of Rabionowitz. Theorem 4 (Saddle Point Theorem [8]). Let X = V W be a Banach space, of way that dim V <, and let φ C 1 (X, R) be a maps satisfying the condition of Palais-Smale. If D is a bounded neighborhood of the 0 in V such that a = max φ < inf φ b, (16) D W then c = inf max h Γ u D is a critical value of φ with c b, where φ(h(u)) Γ = { h C ( D, X ) h(u) = u, u D }. Theorem 5. If the conditions (g + 2 ) or (g 2 ) are true, then (1) has a weak solution, i.e., there exists u H 1 ( ) such that u is a weak solution of (1). Proof. As we already know that Φ C 1 (X, R), We show that Φ satisfies the Palais-Smale condition (PS), i.e, give the sequence (u n ) H 1 ( ) with Φ(u n ) c and Φ (u n ) 0 we have that (u n ) has been a subsequence convergent. Indeed, since Φ(u n ) = 1 2 (Lu n, u n ) H 1 ( ) G(x, u n ) dx, then (Φ (u n ))v = (Lu n, v) H 1 ( ) g(x, u n )v d x (Φ (u n ))v = (Lu n, v) g(x, u n )v d x. (17) 16

Furthermore, (Φ (u n ))v Φ (u n ) v where we have (Φ (u n ))v v, v H 1 ( ), for n large enough, since Φ (u n ) 0 Φ (u n ) 0 thus, Φ (u n ) 1. Now, our next step is to show that is bounded. Note that u n = P 0 u n + P u n + P + u n (18) (i) If v = P + u n, replacing in (17) follows that (Φ (u n ))P + u n = (Lu n, P + u n ) g(x, u n )P + u n d x. Note that using the same reasoning from Lemma 2, (Lu n, P + u n ) = (L(P u n ) + L(P 0 u n ) + L(P + u n ), P + u n ) = (L(P + u n ), P + u n ). Hence, using the fact that L is defined positive in X +, we have that Furthermore, P + u n (Lu n, P + u n ) = (L(P + u n ), P + u n ) From Theorem 2, we have that thus P + u n is bounded. α P + u n 2. Φ (u n )P + u n (Lu n, P + u n ) g(x, u n )P + u n dx P + u n α P + u n 2 P + u n 1,Z. P + u n α P + u n 2 C P + u n, 17

(ii) Again, considering v = P u n in 17, we obtain (Φ (u n ))(P u n ) (Lu n, P u n ) + g(x, u n ) P + u n dx, from which follow that (Φ (u n ))(P u n ) α P u n 2 + P u n 1,Z thus, consequently, Thus, P u n is bounded. Now, from (i) and (ii) has been P u n Φ (u n )P u n α P u n 2 + C 1 P u n P u n α P u n 2 C 1 P u n. u n P 0 u n = P + u n + P u n K, K R +. (19) For another side, we can write Φ(u n ) = 1 2 (L(u n P 0 u n ), u n P 0 u n ) [G(x, u n ) G(x, P 0 u n ) dx G(x, P 0 u n ) dx we have that, G(x, P 0 u n ) d x = 1 R 2 (L(u n P 0 u n ), u n P 0 u n ) Φ(u n ) N [G(x, u n ) G(x, P 0 u n )] d x. Now, since L = I λ k S, we have that L is bounded, thus (L(u n P 0 u n ), u n P 0 u n ) L(u n P 0 u n ) u n P 0 u n L u n P 0 u n 2, 18

and from (19), we obtain (L(u n P 0 u n ), u n P 0 u n ) C, C R +. Note that G(x, P 0 u n ) d x 1 R 2 (L(u n P 0 u n ), u n P 0 u n ) + Φ(u n ) + N + [G(x, u n ) G(x, P 0 u n )] dx therefore, G(x, P 0 u n )dx C 1, C 1 R +. Hence, using the condition (g 2 ) we can conclude that P 0u n is bounded. Note that the orthogonality of the projection, we have that u n 2 = P 0 u n 2 + P u n 2 + P + u n 2, showing that (u n ) is bounded. We know that (Φ (u))v = ( u v + uv) dx (ψ (u))v, u, v H 1 ( ) where thus Therefore, ψ(u) = ( ) λk 2 u2 h + G(x, u) d x, ( (Φ(u)), v) H 1 ( ) = (u, v) H 1 ( ) ( (ψ(u)), v) H 1 ( ). ( (Φ(u)), v) H 1 ( ) = (u (ψ(u)), v) H 1 ( ) and consequently, (Φ(u)) = u (ψ(u)). Considering T(u) = (ψ(u)), we have that (Φ(u)) = u T(u). Therefore, (Φ(u n )) = u n T(u n ) u n = (Φ(u n )) + T(u n ). 19

Now, since T : H 1 ( ) H 1 ( ) compact (see Appendix C of [3]), there exists (u nj ) (u n ) such that T(u nj ) n j + u and using the fact that Φ (u n ) 0 Φ (u n ) 0 φ(u n ) 0 Φ(u n ) 0, passing to the limit in u nj = (Φ(u nj )) + T(u nj ) we find u nj u nj showing that Φ satisfies the conditions (PS). Finally, we have that Φ C 1 (H 1 ( ), R), and Φ satisfies the condition of Palais-Smale and using the Proposition 4 we can apply the Theorem from the saddle of Rabionowitz with V = X and W = X 0 X + and ensure the existence of a critical point for Φ, therefore, a weak solution for the problem (1). References [1] S. Ahmad, A. C. Lazer, and J. L. Paul, Elementary critical point theory and pertubations of elliptic boudary-value problems at resonance, Indiana Univ. Math. J. 25, (1976), pp. 933 944. [2] D. G. Costa and H. Tehrani, On a class of asymptotically linear elliptic problems in R n, D. Diff. Eqs., (2001), pp. 470 494. [3] M. D. dos Santos, Existência de soluções para uma classe de problemas elípticos via métodos variacionais, master s thesis, Universidade Federal de Campina Grande - UFCG, 2005. [4] G. L. Garza and A. J. Rumbos, Resonance and strong resonance for semilinear elliptic equations in R n, Electronic Journal of Differential Equations, (2003). 20

[5] G. Hetzer and E. M. Landesman, On the solvability of a semilinear operator equation at resonance as applied to elliptic boundary value problems in unbounded domains, Journal of Differential Equations, 50 (1983). [6] L. Jeanjean, On the existence of bounded palais-smale sequences and application to a landesman-lazer type problem set on R n, Proc. Roy. Soc. Edinburg, (1999), pp. 787 809. [7] E. M. Landesman and A. C. Lazer, Nonlinear pertubations of linear elliptic boundary value problems at resonance, J. Math. Mech., (1970), pp. 609 623. [8] P. H. Rabinowitz, Minimax methods in critical point theory with applications to partial differential equations, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, Number 65 AMS, 1984. [9] H. S. Stuart, C. A. and Zhou, Applying the mountainpass theorem to an asymptotically linear elliptic equation on R n, Comm. Part. Diff. Eqs., (1999), pp. 1731 1758. [10] M. Willem, Minimax theorems, Progress in Nonlinear Differential Equations and Their Applications, Birkhäuser, 24 (1996). 21