Startseite On a Quasilinear Schrödinger Problem at Resonance
Artikel Open Access

On a Quasilinear Schrödinger Problem at Resonance

  • João Marcos do Ó EMAIL logo , Olímpio H. Miyagaki und Sandra I. Moreira
Veröffentlicht/Copyright: 20. Mai 2016

Abstract

In this paper we establish the existence of standing wave solutions for quasilinear Schrödinger equations involving subcritical growth at resonance. By using a change of variables, the quasilinear equation is reduced to a semilinear one, whose associated functional is well defined in the usual Sobolev space. The “first” eigenvalue type of a nonhomogeneous operator has been studied. Using this fact and a variant of the monotone operator theorem, we show that the problem at resonance has at least one nontrivial solution.

1 Introduction

This paper is concerned with the quasilinear elliptic equation

(1.1) - Δ u + V ( x ) u - k Δ ( u 2 ) u = p ( u ) in N

with N1, V:N a function called potential and p: a continuous function. Such problems arise in various branches of mathematical physics, and they have been the subject of extensive study in recent years. Part of the interest is due to the fact that the solutions of (1.1) are related to the existence of standing waves of the following quasilinear Schrödinger equation:

(1.2) i t z = - Δ z + W ( x ) z - p ( | z 2 | ) z - k Δ [ g ( | z 2 | ) ] g ( | z 2 | ) z ,

where W=W(x), xN, is a given potential, k is a real constant and p,g are real functions.

Quasilinear equations of the form (1.2) have been established in several areas of physics corresponding to various types of g. For instance, the case g(s)=s was used for the superfluid film equation in plasma physics in [13]. In the case g(s)=(1+s)1/2, the equation (1.2) models the self-channeling of a high-power ultrashort laser in matter, see [3, 4].

Here we consider the case where g(s)=s and k=1, and our special interest is in the existence of standing wave solutions, that is, solutions of type zψ(t,x)=exp(-iEt)u(x), where E and u>0 is a real function. It is well known that ψ satisfies (1.2) if and only if the function u(x) solves the equation of elliptic type (1.1), where V(x):=W(x)-E is the new potential.

In order to seek solutions for equation (1.1) two variational methods have been widely used, mainly in the subcritical and critical situation. That is, for the case p(s)=|s|r-1s with N3 and r+122*=4N/(N-2), where 22* behaves like a critical exponent for equation (1.1), for details see [16, Remark 3.13]. For the subcritical case r+1<22*, which was started in [19] and extended in [15], constrained minimization arguments were used to provide existence of positive solutions results with an unknown Lagrange multiplier λ in front of the nonlinear term. The second and more general method, which was started in [16], uses an innovative change of variables which allows to rewrite the functional in semilinear form. With this tool, they were able to overcome the problem that the functional is not well defined. Thus, critical points can be found in an associated Orlicz space and existence results are given for the case of bounded, coercive or radial potentials. We recall that, in this new framework, the new problem becomes nonhomogeneous. Following the strategy developed in [5] on a related problem, Colin and Jeanjean [6] also used a change of variables and they defined an associated equation that they called “dual”. In a recent article [14], X.-Q. Liu, J.-Q. Liu and Z.-Q. Wang solved equation (1.1) using subcritical approximations. This approach requires certain conditions on monotonicity of the structure equations.

The critical exponent case r+1=22* was also considered recently, among others, in [9, 14, 18, 20, 21, 22], see also the references therein. Moreover, in [17] the class of quasilinear Schrödinger equations was considered, and with a new perturbation approach, the critical exponent case was treated, giving new existence results.

We are concerned with the existence of solutions for problem (1.1) at resonance, and for that, the study of the first eigenvalue for the nonhomogeneous operator Lu=-Δu-Δ(u2)u was the initial difficulty and a challenge that we had to overcome. To the best of our knowledge, there exist a few works studying the spectrum of this operator.

To be precise, one of our objectives in this work is to study the problem

(1.3) { - Δ u - Δ ( u 2 ) u = λ u in Ω , u = 0 on Ω , 0 u 0 on Ω ,

where λ is a positive constant and ΩN is a bounded smooth domain.

Our main result is the following theorem.

Theorem 1.1

There exists a number Λ with λ1<Λ+ such that for all λ1λ<Λ, problem (1.3) admits a nonnegative solution, where λ1 is the first eigenvalue of the Laplacian operator.

As a consequence of the above result, we obtain the following proposition.

Proposition 1.2

There exists 0v0W:=H01(Ω), which is a minimizer of the minimizing problem

λ ¯ λ ¯ ( Ω ) = inf 0 u W Ω | u | 2 𝑑 x Ω | f ( u ) | 2 𝑑 x ,

where f is defined by

(1.4) { f ( t ) = 1 1 + 2 f 2 ( t ) in [ 0 , + ) , f ( t ) = - f ( - t ) in ( - , 0 ] .

Remark 1.3

The number λ¯ is the “first” eigenvalue of the nonhomogeneous operator Lu=-Δu-Δ(u2)u.

As an application of the above results, we will study a resonance problem, which was inspired by an article by Benouhiba and Belyacine [2]. Consider the following problem at resonance for a nonhomogeneous operator:

(1.5) { - Δ u - Δ ( u 2 ) u = λ ¯ u - g ( x , u ) in Ω , u = 0 on Ω ,

where λ¯ is defined in Proposition 1.2, ΩN is a bounded smooth domain, and g satisfies the following assumptions:

  1. g:Ω¯× is a Carathéodory function and g(x,0)0,

  2. |g(x,s)|σ(x)+ρ(x)|s|r for almost every xΩ and s, where 0<r<2(2*)-2,σL(2*)(Ω) and 0ρL(Ω),

  3. infs,s0g(x,s)/s>λ¯.

We get the following result.

Theorem 1.4

If assumptions (G1)(G3) are fulfilled, then problem (1.5) has at least one weak nontrivial solution.

The paper is organized as follows. In Section 2, we prove Theorems 1.11.4, and in Section 3 we provide some abstract results that we use to prove our main results.

Throughout the paper we make use of the following notations:

  1. ϕ1 denotes the first eigenfunction of the operator -Δ in H01(Ω).

  2. λ1 is the first eigenvalue associated with the eigenfunction ϕ1.

  3. BR(0) denotes the ball centered at the origin and of radius R.

  4. us=(Ω|u|s)1/s denotes the usual norm in the Ls-space.

  5. C,C1,C2, denote positive (possible different) constants.

  6. N(B) and R(B) denote the null space and the range of a linear mapping B, respectively.

  7. dim and codim are the dimension and the codimension, respectively.

  8. X* denotes the topological dual of the space X.

  9. ” and “” denote the weak and strong convergence in X, respectively.

  10. Ωf denotes Ωf(x)𝑑x.

  11. W denotes H01(Ω) and |A| means the Lebesgue measure of AN.

2 Proofs of the Results

2.1 Proof of Theorem 1.1

2.1.1 Reformulation of Problem (1.3) and Preliminaries

As observed, there are some technical difficulties in applying variational methods directly to the formal functional associated to problem (1.3) given by

J λ ( u ) = 1 2 Ω ( 1 + 2 u 2 ) | u | 2 - λ 2 Ω | u | 2 .

The main difficulty is related to the fact that J is not well defined in the usual Sobolev space. To overcome this difficulty, we employ an argument developed in [16] (see also [6]). We make the change of variables v=f-1(u), where f is defined in (1.4).

Thus, we can write

:= I λ ( v ) J λ ( f ( v ) ) = 1 2 Ω | v | 2 - λ 2 Ω | f ( v ) | 2 , v W .

We observe that nontrivial critical points for Iλ are weak solutions for the problem

(2.1) { - Δ v = λ f ( v ) f ( v ) in Ω , v = 0 on Ω .

Lemma 2.1

The function f(t) enjoys the following properties:

  1. f is a uniquely defined C function and invertible,

  2. |f(t)|1 for all t,

  3. |f(t)||t| for all t,

  4. f(t)/2tf(t)f(t) for all t0,

  5. |f(t)|21/4|t|1/2 for all t,

  6. |f(t)f(t)|1/2 for all t,

  7. There exists a positive constant C such that

    | f ( t ) | { C | t | if | t | 1 , C | t | 1 / 2 if | t | 1 .

Proof.

The proofs of (1)–(7) can be found in [10, Lemma 2.1] (see also [16, 12, 6]). ∎

Proposition 2.2

If v is a critical point of Iλ, then any critical point is of class C2,α(Ω). Moreover, if vC2,α(Ω) is a critical point of Iλ , then the function u=f(v) is a classical solution of (1.3).

Proof.

The proof is similar to the proof of [10, Propostion 2.6]. ∎

In order to seek solutions to problem (2.1), we follow the steps carried out in [1]. To prove the above theorem we need to state and prove some lemmas.

Lemma 2.3

Setting

Λ = sup { λ > λ 1 : (2.1) admits a nonnegative solution } ,

we have Λ>λ1.

Proof.

We shall use bifurcation theory to show that (2.1) admits positive solutions for λ>λ1 near λ1. To do this we define :C02,β(Ω)×C0,β(Ω) by (u,λ)=-Δu-λf(u)f(u). We have that (0,λ)=0 for all λ. Moreover, by Lemma 2.1 (4) and since f(0)=1, we also have that u(0,λ1)v=-Δv-λ1v. Hence,

N ( u ( 0 , λ 1 ) ) = ϕ 1 , codim R ( u ( 0 , λ 1 ) ) = 1 and λ , u ( 0 , λ 1 ) ϕ 1 = - ϕ 1 R ( u ( 0 , λ 1 ) ) .

It follows that (0,λ1) is a bifurcation point for (see [7]).

Thus, if we decompose

C 0 2 , β ( Ω ) = ϕ 1 V , where V = ϕ 1 ,

then by Theorem 3.1 we obtain a neighborhood U of (0,λ1) in C02,β(Ω)×, and continuous functions ϕ:(-a,a), ψ:(-a,a)V with ϕ(0)=λ1,ψ(0)=0 and

- 1 { 0 } U = { ( α ϕ 1 + α ψ ( α ) , ϕ ( α ) ) : α ( - a , a ) } { ( 0 , λ ) : ( 0 , λ ) U } .

Set uα=αϕ1+αψ(α). Note that, in particular, ψ(α)0 in C1,β(Ω¯) as α0, and that uα>0 in Ω for α sufficiently small.

Next we show that ϕ(α)>λ1 for all positive and sufficiently small α.

Suppose, by contradiction, that there exists a sequence αn0+ with ϕ(αn)λ1. Let un be the positive solution of problem (2.1) associated with λ=ϕ(αn). Then,

- Ω Δ u n ϕ 1 𝑑 x - Ω ϕ ( α n ) f ( u n ) f ( u n ) ϕ 1 𝑑 x = 0 ,

equivalently, we have

λ 1 Ω u n ϕ 1 = Ω ϕ ( α n ) f ( u n ) f ( u n ) ϕ 1 𝑑 x .

But, by (2) and (3) in Lemma 2.1, we obtain

λ 1 Ω u n ϕ 1 = Ω ϕ ( α n ) f ( u n ) f ( u n ) ϕ 1 𝑑 x λ 1 Ω f ( u n ) f ( u n ) ϕ 1 𝑑 x < λ 1 Ω u n ϕ 1 𝑑 x ,

which gives a contradiction, since un>0 for all n. In the last inequality we used that if f(t)=1t=0, then f(t)f(t)<t for all t>0. Therefore, ϕ(α)>λ1. ∎

Figure 1 
							Deformable capacitor.
Figure 1

Deformable capacitor.

Lemma 2.4

Let λ(λ1,Λ). Then, problem (2.1) admits a supersolution.

Proof.

From the definition of Λ it follows that there exists a λ0(λ,Λ) such that problem (2.1) admits a nonnegative solution u+. We have that u+ is a supersolution of (2.1).

Indeed, for any ϕW, ϕ0 in Ω, by Lemma 2.1 (4), we have

Ω u + ϕ d x - λ Ω f ( u + ) f ( u + ) ϕ 𝑑 x = λ 0 Ω u + ϕ 𝑑 x - λ Ω f ( u + ) f ( u + ) ϕ 𝑑 x
( λ 0 - λ ) Ω f ( u + ) f ( u + ) ϕ 𝑑 x
0 .

By Lemma 2.4 there exists a nonnegative supersolution u+ of problem (2.1). Thus, without loss of generality, there exists R0 such that u+0 in BR0(0). We can choose 2R<R0 so that u+(x)Co>0 for all B2R(0).

Let ϵ>0 be fixed, and define

v ( x ) = ϵ α u ( ϵ x ) , α > 0 ,

where u is a solution of problem

{ - Δ u = 1 in B ϵ R ( 0 ) Ω N , u = 0 on B ϵ R ( 0 ) .

Then, v satisfies

{ - Δ v = ϵ α + 2 in B R ( 0 ) Ω N , v = 0 on B R ( 0 ) ,

and by the maximum principle we have v>0.

Lemma 2.5

The function

u - = { v in B R ( 0 ) , 0 in N B R ( 0 ) ,

is a subsolution of (2.1) and, by construction, we can see that u-<u+.

Proof.

Assume that ψC0(Ω) with ψ0. See Figure 1. We need to consider two cases.

Case (1): suppψBR(0)=. We have that I(u-)ψ=0, so u- is solution and, therefore, a subsolution of the problem.

Case (2): suppψBR(0). In this case, by Lemma 2.1 (4)–(7), we have

I ( u - ) ψ = I ( v ) ψ = B R ( 0 ) v ψ - λ B R ( 0 ) f ( v ) f ( v ) ψ
= ϵ α + 2 B R ( 0 ) ψ - λ B R ( 0 ) f ( v ) f ( v ) ψ
= ϵ α + 2 B R ( 0 ) ψ - λ B R ( 0 ) { v 1 } f ( v ) f ( v ) ψ - λ B R ( 0 ) { v 1 } f ( v ) f ( v ) ψ
ϵ α + 2 B R ( 0 ) ψ - λ C 2 ( B R ( 0 ) { v 1 } ψ + B R ( 0 ) { v 1 } v ψ )
ϵ α + 2 B R ( 0 ) ψ - λ C 2 ( B R ( 0 ) { v 1 } v ( x ) ψ ( x ) ) ,

where C is a positive constant independent of ϵ. Notice that for ϵ sufficiently small, we can consider

B R ( 0 ) { v 1 } ψ ( x ) = B R ( 0 ) χ { v 1 } ψ ( x ) B R ( 0 ) ψ ( x ) - ϵ α + 2 .

Therefore,

I ( u - ) ψ = I ( v ) ψ ϵ α + 2 B R ( 0 ) ψ - λ C C o 2 ϵ α B R ( 0 ) { v 1 } ψ ( x )
ϵ α + 2 B R ( 0 ) ψ - λ C C o 2 ϵ α B R ( 0 ) ψ ( x ) + λ C C o 2 ϵ α + 2
< 0

for ϵ small enough, where Co and C are positive constants independent of ϵ. ∎

Proof of Theorem 1.1.

From Lemma 2.4, for each λ(λ1,Λ), we have that problem (2.1) admits a supersolution u+. Moreover, by Lemma 2.5 there is a subsolution u- of problem (2.1) satisfying u-<u+ in Ω. Therefore, there exists a nonnegative solution u of problem (2.1), verifying u-uu+ in Ω, and by Proposition 2.2 we conclude that Theorem 1.1 is valid in this case.

Remark 2.6

In the case λ=λ1, we have that the first eigenfunction of the Laplacian acts as a supersolution. Indeed, from (2) and (3) in Lemma 2.1, we obtain

Ω ϕ 1 ϕ d x - λ Ω f ( ϕ 1 ) f ( ϕ 1 ) ϕ 𝑑 x = λ 1 Ω ϕ 1 ϕ 𝑑 x - λ 1 Ω f ( ϕ 1 ) f ( ϕ 1 ) ϕ 𝑑 x
= λ 1 Ω [ 1 - f ( ϕ 1 ) ϕ 1 f ( ϕ 1 ) ] ϕ 1 ϕ 𝑑 x
0 .

By Lemma 2.5, there exists a subsolution u- of (2.1) . Since u-<ϕ1 in Ω, we have, also in this case, that u is a nonnegative solution of problem (2.1). ∎

2.2 Proof of Proposition 1.2

We consider λ0<Λ, so that there exists a weak nonnegative solution u0 of problem (2.1), that is,

Ω u 0 v = λ 0 Ω f ( u 0 ) f ( u 0 ) v for all v W .

Setting v=u0, we obtain

Ω | u 0 | 2 = λ 0 Ω f ( u 0 ) f ( u 0 ) u 0 .

By Lemma 2.1 (4), we have

Ω | u 0 | 2 λ 0 Ω f 2 ( u 0 ) ,

and this implies λ¯λ0<Λ. On the other hand, by Lemma 2.1 (3), we obtain λ¯λ1. Considering problem (2.1) with λ=λ¯, we have that

Ω | u | 2 λ ¯ Ω | f ( u ) | 2 ,

where u is a solution of the problem in question. Therefore, we have that the infimum is attained.

2.3 The Resonant Problem

2.3.1 Reformulation of the Problem and Preliminaries

We observe that the natural functional associated to problem (1.5) is given by

J ( u ) = 1 2 Ω ( 1 + 2 u 2 ) | u | 2 𝑑 x - λ ¯ 2 Ω | u | 2 𝑑 x - Ω G ( x , u ) 𝑑 x .

Again, we use the argument developed in [16] (see also [6]), that is, we make the change of variables v=f-1(u), where f is defined by (1.4). Thus, we can write J(u) as

I λ ( v ) = 1 2 Ω | v | 2 𝑑 x - λ ¯ 2 Ω | f ( v ) | 2 𝑑 x - Ω G ( x , f ( v ) ) 𝑑 x , v W .

Moreover, nontrivial critical points of Iλ correspond precisely to the nontrivial weak solutions of the equation

(2.2) { - Δ v = λ ¯ f ( v ) f ( v ) - g ( x , f ( v ) ) f ( v ) in Ω , v = 0 Ω ,

which is equivalent to find uW, with u0 such that

(2.3) Ω | u | ξ d x - λ ¯ Ω f ( u ) f ( u ) ξ 𝑑 x + Ω g ( x , f ( u ) ) f ( u ) ξ = 0 for all ξ W .

We will give the proof of the existence of weak solution to problem (2.2) using Theorem 3.2.

We define the operators J,H,F:WW* by

J ( u ) , v = Ω | u | v d x ,
H ( u ) , v = Ω f ( u ) f ( u ) v 𝑑 x ,
F ( u ) , v = Ω g ( x , f ( u ) ) f ( u ) v 𝑑 x

for all u,vW. We put,

T u = J - λ ¯ H + F .

Then, the operator equality Tu=0 in W is equivalent to the integral identity (2.3).

Lemma 2.7

Let unu in W as n. Then, H(un)H(u) and F(un)F(u) as n.

Proof.

Since unu in W as n, by Sobolev embedding, up to a subsequence, we have unu in Lp(Ω) as n , 2p<2* and un(x)u(x) a.e. in Ω and there exists hLp such that |un|h a.e. in Ω. By Lemma 2.1 (1) we have f(un(x))f(u(x)) a.e. in Ω and f(un(x))f(u(x)) a.e. in Ω.

For all vW,

H ( u n ) - H ( u ) , v = Ω [ f ( u n ) f ( u n ) - f ( u ) f ( u ) ] v 𝑑 x ,

since f(un)f(un)f(u)f(u) a.e. in Ω and by Lemma 2.1 (6), which together with the Lebesgue dominated convergence theorem imply that

Ω f ( u n ) f ( u n ) v Ω f ( u ) f ( u ) v as n .

We observe that

F ( u n ) - F ( u ) , v = Ω [ g ( x , f ( u n ) ) f ( u n ) - g ( x , f ( u ) ) f ( u ) ] v 𝑑 x ,

and by (G1) we have

g ( x , f ( u n ) ) f ( u n ) g ( x , f ( u ) ) f ( u ) as n .

By (G2) and Lemma 2.1 (5), it follows that

| g ( x , f ( u n ) ) f ( u n ) | σ ( x ) + ρ ( x ) | f ( u n ) | r σ ( x ) + C ρ ( x ) | u n | r / 2 ,

and g(,f(un))g(,f(u)) in L(2*)(Ω) as n, because ρL and so σ(x)+ρhr/2L(2*)(Ω). ∎

2.3.2 Proof of Theorem 1.4

The proof will be done in four steps. Step 1: We begin by proving that J,H,F are bounded operators. Let uW such that uM for some M>0. By the Hölder inequality we get

sup v = 1 | J ( u ) , v | M .

It follows that J is a bounded operator from W into W*. Using again the Hölder inequality and the Poincaré inequality, we have

| Ω f ( u ) f ( u ) v d x | Ω | f ( u ) f ( u ) v | 1 2 Ω | v | d x C v .

Thus,

sup v = 1 | H ( u ) , v | C M .

Now, by Hölder inequality, (G2) and Lemma 2.1 (5), we have

| Ω g ( x , f ( u ) ) f ( u ) v d x | Ω σ v + C Ω ρ | u | r / 2 v
( Ω | σ | ( 2 * ) ) 1 / ( 2 * ) ( Ω | v | ( 2 * ) ) 1 / ( 2 * ) + C ( Ω | u | ( 2 * ) ) r / ( 22 * ) ( Ω | ρ v | 22 * / ( 22 * - r ) ) ( 22 * - r ) / ( 22 * )
( Ω | σ | ( 2 * ) ) 1 / ( 2 * ) ( Ω | v | ( 2 * ) ) 1 / ( 2 * ) + C ( Ω | u | ( 2 * ) ) r / ( 22 * ) ( | Ω | ) 1 / s ( Ω | v | 2 * ) 1 / 2 * ,

where s=2(2*)/[2(2*)-r-2]. So, by Sobolev embedding this yields

| Ω g ( x , f ( u ) ) f ( u ) v d x | C ( ( Ω | σ | ( 2 * ) ) 1 / ( 2 * ) + u r ( | Ω | ) 1 / s v ) ,

consequently,

sup v = 1 | F ( u ) , v | C ( ( Ω | σ | ( 2 * ) ) 1 / ( 2 * ) + M r ( | Ω | ) 1 / s ) < .

Step 2: Next, we will show that T is continuous. The continuity of the operators H and F is guaranteed by Lemma 2.7. Let un,uW such that un-u0 as n. By the Hölder inequality, we have

J ( u n ) - J ( u ) * = sup v = 1 | J ( u n ) - J ( u ) , v | sup v = 1 ( Ω | | u n | - | u | | ( 2 * ) d x ) 1 / ( 2 * ) v p .

Therefore,

J ( u n ) - J ( u ) * 0 as n .

Step 3: From the coercivity of T we get

T u , u = Ω | u | 2 d x + Ω [ g ( x , f ( u ) ) f ( u ) u - λ ¯ f ( u ) f ( u ) u ] d x .

From assumption (G3) we have that g(x,f(u))f(u)u-λ¯f(u)f(u)u0, and then the coercivity of T follows immediately.

Step 4: Let us define the operator ϕ:W×WW* by

ϕ ( u , w ) , v = J ( u ) , v + ( F - λ ¯ H ) ( w ) , v .

It is clear that ϕ(u,u)=T(u) for all uW. Let tn be a real sequence such that tn0 and u,v,wW. Then,

ϕ ( u + t n v , w ) = J ( u + t n v ) + ( F - λ ¯ H ) ( w ) .

Since J is a continuous operator, then ϕ(u+tnv,w)ϕ(u,w). For all u,wW, we have

ϕ ( u , u ) - ϕ ( w , u ) , u - w = J ( u ) - J ( w ) , u - w .

By the Hölder inequality, we have

J ( u ) - J ( w ) , u - w Ω | u | 2 + Ω | w | 2 - ( Ω | u | 2 ) 1 / 2 ( Ω | w | 2 ) 1 / 2 - ( Ω | w | 2 ) 1 / 2 ( Ω | v | 2 ) 1 / 2
= ( u - w ) 2 0 .

Hence, ϕ(u,u)-ϕ(w,u),u-w0. Let now unu in W as n, and

lim n ϕ ( u n , u n ) - ϕ ( u , u n ) , u n - u = 0 .

It follows that unu as n. Thus, from the continuity of the operator (F-λ¯H) it follows that ϕ(w,un)ϕ(w,u) as n for arbitrary wW. Let now wW, unu in W and ϕ(w,un)z as n. We have

ϕ ( w , u n ) , u n = ϕ ( w , u n ) , u + ϕ ( w , u n ) , u n - u .

By assumption ϕ(w,un),u=z,u. Then we must show that ϕ(w,un),un-u0 as n. By definition, we have

ϕ ( w , u n ) , u n - u = J ( w ) , u n - u + ( F - λ ¯ H ) u n , u n - u
= J ( w ) + ( F - λ ¯ H ) u , u n - u + ( F - λ ¯ H ) u n - ( F - λ ¯ H ) u , u n - u .

We observe that J(w)+(F-λ¯H)u,un-u0 as n, since unu as n and

| ( F - λ ¯ H ) u n - ( F - λ ¯ H ) u , u n - u | ( F - λ ¯ H ) u n - ( F - λ ¯ H ) u * u n - u
C ( F - λ ¯ H ) u n - ( F - λ ¯ H ) u * ,

since un is weakly convergent, and so it is bounded in W. By Lemma 2.7 we have

( F - λ ¯ H ) u n - F - λ ¯ H ) u , u n - u * 0 as n .

Therefore,

ϕ ( w , u n ) , u n - u 0 as n ,

and then

ϕ ( w , u n ) , u n z , u .

From Theorem 3.2 it follows that the equation Tu=0 has at least one solution in W. This solution is a weak nontrivial solution of problem (2.2) because T(0)0.

Completing the proof of Theorem 1.4, we observe that the following proposition is valid.

Proposition 2.8

If vW is a critical point of Iλ, then u=f(v)W is a weak solution of (1.5).

Proof.

The arguments used in the proof of [12, Proposition 2.4] can be repeated to prove our result. ∎

3 Abstract Results

We will state two abstract results. The first is due to Crandall and Rabinowitz and the second one is due to Leray and Lions.

Theorem 3.1

Theorem 3.1 ([8, Lemma 1.1])

Let X,Y be Banach spaces, V an open neighborhood 0, I=(a,b) an open interval and F:I×VY a twice continuously Fréchet differentiable mapping. Suppose that λ0I and also that the following hold:

  1. F(λ,0)=0 for λI,

  2. dimN(Fx(λ0,0))=codimR(Fx(λ0,0))=1,

  3. Fλx(λ0,0)x0R(Fx(λ0,0)), where x0X spans N(Fx(λ0,0)).

Let Z be any complement of span{x0} in X. Then, there exist an open interval I~ containing 0, and continuously differentiable functions λ:I~ and ψ:I~Z such that λ(0)=λ0 and ψ(0)=0. Also, if x(s)=sx0+sψ(s), then F(λ(s),x(s))=0. Moreover, F-1({0}) near (λ0,0) consists precisely of the curves x=0 and (λ(s),x(s)),sI~.

Theorem 3.2

Theorem 3.2 (Leray–Lions [11])

Let X be a reflexive real Banach space. Let T:XX* be an operator satisfying the conditions:

  1. T is bounded,

  2. T is demicontinuous,

  3. T is coercive.

Moreover, let there exist a bounded mapping ϕ:X×XX* with the following properties:

  1. ϕ(u,u)=T(u) for every uX.

  2. For all u , w , h X and for any sequence { t n } of real numbers such that t n 0 , we have

    ϕ ( u + t n h , w ) ϕ ( u , w ) .

  3. For all u , w X , we have

    ϕ ( u , u ) - ϕ ( w , u ) , u - w 0

    (the so-called condition of monotonicity in the principal part).

  4. If u n u and

    lim n ϕ ( u n , u n ) - ϕ ( u , u n ) , u n - u = 0 ,

    then

    ϕ ( w , u n ) ϕ ( w , u ) for arbitrary w X .

  5. If wX, unu and ϕ(w,un)z, then

    lim n ϕ ( w , u n ) , u n = z , u .

Then, the equation

T ( u ) = f *

has at least one solution uX for every f*X*.

Funding statement: This research was supported, in part, by INCT–mat/MCT/Brazil, CNPq, CAPES/Brazil, and Fapemig/Brasil (CEX-APQ 00025-11).

Part of this work was done while the third author was visiting the Universidade Federal de Juiz de Fora; she would like to thank Professor Sérgio Guilherme de Assis Vasconcelos and all faculty and staff of UFJF for their kind hospitality. The authors would like to thank the referee for his/her valuable remarks.

References

[1] Alama S. and Tarantello G., On semilinear elliptic equations with indefinite nonlinearities, Calc. Var. Partial Differential Equations 1 (1993), 439–475. 10.1007/BF01206962Suche in Google Scholar

[2] Benouhiba N. and Belyacine Z., On the solutions of the (p,q)-Laplacian problem at resonance, Nonlinear Anal. 77 (2013), 74–81. 10.1016/j.na.2012.09.012Suche in Google Scholar

[3] Borovskii A. and Galkin A., Dynamical modulation of an ultrashort high-intensity laser pulse in matter, J. Exp. Theor. Phys. 77 (1983), 562–573. Suche in Google Scholar

[4] Brandi H., Manus C., Mainfray G., Lehner T. and Bonnaud G., Relativistic and ponderomotive self-focusing of a laser beam in a radially inhomogeneous plasma, Phys. Fluids B5 (1993), 3539–3550. 10.1063/1.860828Suche in Google Scholar

[5] Colin M., Stability of stationary waves for a quasilinear Schrödinger equation in space dimension 2, Adv. Differential Equations 8 (2003), 1–28. 10.57262/ade/1355926866Suche in Google Scholar

[6] Colin M. and Jeanjean L., Solutions for a quasilinear Schrödinger equation: A dual approach, Nonlinear Anal. 56 (2004), 213–226. 10.1016/j.na.2003.09.008Suche in Google Scholar

[7] Crandall M. and Rabinowitz P., Bifurcation from simple eigenvalues, J. Funct. Anal. 8 (1971), 321–340. 10.1016/0022-1236(71)90015-2Suche in Google Scholar

[8] Crandall M. and Rabinowitz P., Bifurcation, perturbation of simple eigenvalues and linearized stability, Arch. Ration. Mech. Anal. 52 (1973), 161–180. 10.1007/BF00282325Suche in Google Scholar

[9] do Ó J. M., Miyagaki O. H. and Soares S. H. M., Soliton solutions for quasilinear Schrödinger equations with critical growth, J. Differential Equations 248 (2010), 722–744. 10.1016/j.jde.2009.11.030Suche in Google Scholar

[10] do Ó J. M. and Severo U., Quasilinear Schrödinger equations involving concave and convex nonlinearities, Commun. Pure Appl. Anal. 8 (2009), 621–644. 10.3934/cpaa.2009.8.621Suche in Google Scholar

[11] Drábek P. and Milota J., Methods of Nonlinear Analysis. Applications to Differential Equations, Birkhäuser Adv. Texts Basler Lehrbücher, Birkhäuser, Basel, 2007. Suche in Google Scholar

[12] Gloss E., Existence and concentration of positive solutions for a quasilinear equation in N, J. Math. Anal. Appl. 371 (2010), 465–484. 10.1016/j.jmaa.2010.05.033Suche in Google Scholar

[13] Kurihura S., Large-amplitude quasi-solitons in superfluids films, J. Phys. Soc. Japan 50 (1981), 3262–3267. 10.1143/JPSJ.50.3262Suche in Google Scholar

[14] Liu X.-Q., Liu J.-Q. and Wang Z.-Q., Ground states for quasilinear Schrödinger equations with critical growth, Calc. Var. Partial Differential Equations 46 (2013), 641–669. 10.1007/s00526-012-0497-0Suche in Google Scholar

[15] Liu J. and Wang Z.-Q., Soliton solutions for quasilinear Schrödinger equations. I, Proc. Amer. Math. Soc. 131 (2003), 441–448. 10.1090/S0002-9939-02-06783-7Suche in Google Scholar

[16] Liu J.-Q., Wang Y.-Q. and Wang Z.-Q., Soliton solutions for quasilinear Schrödinger equations. II, J. Differential Equations 187 (2003), 473–493. 10.1016/S0022-0396(02)00064-5Suche in Google Scholar

[17] Liu X.-Q., Liu J.-Q. and Wang Z.-Q., Quasilinear elliptic equations with critical growth via perturbation method, J. Differential Equations 248 (2013), 102–124. 10.1016/j.jde.2012.09.006Suche in Google Scholar

[18] Moameni A., Existence of soliton solutions for a quasilinear Schrödinger equation involving critical exponent in RN, J. Differential Equations 229 (2006), 570–587. 10.1016/j.jde.2006.07.001Suche in Google Scholar

[19] Poppenberg M., Schmitt K. and Wang Z.-Q., On the existence of soliton solutions to quasilinear Schrödinger equations, Calc. Var. Partial Differential Equations 14 (2002), 329–344. 10.1007/s005260100105Suche in Google Scholar

[20] Silva E. A. B. and Vieira G. F., Quasilinear asymptotically periodic Schrödinger equations with critical growth, Calc. Var. Partial Differential Equations 39 (2010), 1–33. 10.1007/s00526-009-0299-1Suche in Google Scholar

[21] Wang Y., Multiple solutions for quasilinear elliptic equations with critical growth, J. Korean Math. Soc. 48 (2011), 1269–1283. 10.4134/JKMS.2011.48.6.1269Suche in Google Scholar

[22] Wang Y. J., Zhang Y. M. and Shen Y. T., Multiple solutions for quasilinear Schrödinger equations involving critical exponent, Appl. Math. Comput. 216 (2010), 849–856. 10.1016/j.amc.2010.01.091Suche in Google Scholar

Received: 2013-11-13
Revised: 2015-03-30
Accepted: 2015-04-01
Published Online: 2016-05-20
Published in Print: 2016-08-01

© 2016 by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Heruntergeladen am 2.10.2025 von https://www.degruyterbrill.com/document/doi/10.1515/ans-2015-5045/html?lang=de
Button zum nach oben scrollen