Home An elliptic system with logarithmic nonlinearity
Article Open Access

An elliptic system with logarithmic nonlinearity

  • Claudianor Alves , Abdelkrim Moussaoui and Leandro Tavares EMAIL logo
Published/Copyright: November 27, 2017

Abstract

In the present paper, we study the existence of solutions for some classes of singular systems involving the Δ p ( x ) and Δ q ( x ) Laplacian operators. The approach is based on bifurcation theory and the sub-supersolution method for systems of quasilinear equations involving singular terms.

MSC 2010: 35J75; 35J48; 35J92

1 Introduction and statement of the main results

Let Ω N ( N 2 ) be a bounded domain with smooth boundary Ω . We are interested in the following quasilinear system:

(1.1) { - Δ p ( x ) u = - γ log v + θ v α ( x ) in  Ω , - Δ q ( x ) v = - γ log u + θ u β ( x ) in  Ω , u , v > 0 in  Ω , u = v = 0 on  Ω ,

which exhibits a singularity at zero through logarithm function. The variable exponents α ( ) , β ( ) are positive, the constants γ and θ are both greater than 0, and Δ p ( x ) (resp. Δ q ( x ) ) stands for the p ( x ) -Laplacian (resp. q ( x ) -Laplacian) differential operator on W 0 1 , p ( x ) ( Ω ) (resp. W 0 1 , q ( x ) ( Ω ) ) with p , q C 1 ( Ω ¯ ) ,

(1.2) p ( x ) p ( x ) , q ( x ) q ( x ) , 1 < p - p + < N , 1 < q - q + < N ,

where p ( x ) = N p ( x ) N - p ( x ) and q ( x ) = N q ( x ) N - q ( x ) . In the sequel, we set

s - = inf x Ω s ( x ) , s + = sup x Ω s ( x )    for  s C ( Ω ¯ ) .

Throughout this paper, we denote by C 1 ( Ω ¯ ) × C 1 ( Ω ¯ ) the pair of functions ( u , v ) C 1 ( Ω ¯ ) × C 1 ( Ω ¯ ) such that there is a constant c > 0 , which depends on u and v, verifying

(1.3) u ( x ) , v ( x ) c d ( x ) in  Ω ,

where d ( x ) := dist ( x , Ω ) .

A weak solution of (1.1) is a pair ( u , v ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) with u, v being positive a.e. in Ω and satisfying

Ω | u | p ( x ) - 2 u ϕ d x = Ω ( - γ log v + θ v α ( x ) ) ϕ 𝑑 x ,
Ω | v | q ( x ) - 2 v ψ d x = Ω ( - γ log u + θ u β ( x ) ) ψ 𝑑 x

for all ( ϕ , ψ ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) .

The study of problems involving variable exponents growth conditions is widely justified with many physical examples, and these problems arise from a variety of nonlinear phenomena. They are used in electrorheological fluids as well as in image restorations. For more inquiries on modeling physical phenomena involving the p ( x ) -growth condition, we refer to [1, 2, 4, 6, 7, 14, 19, 21, 20, 23, 22].

Elliptic problems involving the logarithmic nonlinearity appear in some physical models like in the dynamic of thin films of viscous fluids; see for instance [12]. An interesting point regarding these problems comes from the fact that - log x is sign changing and behaving at the origin like the power function t α for α < 0 with a slow growth. In addition, the logarithmic function is not invariant by scaling, which does not hold for the power function. These facts motivated the recent studies in [16, 8, 12], where de Queiroz et al. considered the scalar semilinear case of (1.1) (that is, p ( x ) = q ( x ) = 2 ) with constant exponents and by essentially using the linearity of the principal part. We also mention [15], focusing on problems with constant exponents involving nonlinear operators.

The essential point in this work is that the singularity in system (1.1) comes through logarithmic nonlinearities involving variable exponents growth conditions. According to our knowledge, this happens for the first time when such problems are studied. Our main results provide the existence and regularity of (positive) solutions for problem (1.1). They are stated as follows.

Theorem 1.1.

Assume (1.2) holds.

  1. If

    (1.4) 0 < α - α + < q - - 1 , 0 < β - β + < p - - 1 ,

    then problem ( 1.1 ) has a solution ( u , v ) for all θ , γ > 0 .

  2. If

    (1.5) α - > q + - 1 , β - > p + - 1 ,

    then problem ( 1.1 ) has a solution ( u , v ) for γ small enough and for all θ > 0 .

  3. If

    (1.6) α + > q - - 1 , β + > p - - 1 ,

    then problem ( 1.1 ) admits a solution ( u , v ) for γ and θ small enough.

Theorem 1.2.

Assume (1.2) and that

(1.7) { γ θ e < α - α + < min { p - - 1 , q ( x ) p ( x ) } , γ θ e < β - β + < min { q - - 1 , p ( x ) q ( x ) }

holds for all x Ω , where e denotes the Euler number. Then problem (1.1) has a positive solution

( u , v ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω )

satisfying (1.3).

The proof of Theorem 1.1 is done in Section 4. Our approach relies on the sub-supersolutions techniques. However, this method in its system version (see [5, p. 269]) does not work for problem (1.1) due to its noncooperative character, which means that the right-hand sides of the equations in (1.1) are not necessarily increasing whenever u (resp. v) is fixed in the first (resp. second) equation in (1.1). Another reason this approach cannot be directly implemented is the presence of singularities in (1.1). To overcome this difficulties, we disturb problem (1.1) by introducing a parameter ε > 0 . This gives rise to a regularized system for (1.1) depending on ε > 0 , whose study is relevant for our initial problem. We construct a sub-supersolution pair for the regularized system independent on ε, and we show the existence of a positive family of solutions ( u ε , v ε ) C 1 , γ ( Ω ¯ ) × C 1 , γ ( Ω ¯ ) , for certain γ ( 0 , 1 ) , through a new result regarding sub-supersolutions for quasilinear competitive (noncooperative) systems involving variable exponents growth conditions (see Section 3). Then a (positive) solution of (1.1) is obtained by passing to the limit as ε 0 essentially relying on the independence on ε of the upper and lower bounds of the approximate solutions ( u ε , v ε ) and on Arzelà–Ascoli’s Theorem. An important part of our result lies in obtaining the sub and supersolution, which cannot be constructed easily. Precisely, this is due to the fact that the p ( x ) -Laplacian operator is inhomogeneous and, in general, it has no first eigenvalue, that is, the infimum of the eigenvalues of the p ( x ) -Laplacian equals 0 (see [9]). At this point, the choice of suitable functions with an adjustment of adequate constants is crucial.

The proof of Theorem 1.2 is done in Section 5. It is chiefly based on a theorem by Rabinowitz (see [18]) which establishes, for each ε > 0 , the existence of positive solutions ( u ε , v ε ) for the regularized problem of (1.1) in W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) . The solution of (1.1) under assumption (1.7) is obtained by passing to the limit as ε 0 . This is based on a priori estimates, the Hardy–Sobolev inequality and Lebesgue’s dominated convergence theorem.

A significant feature of our existence results concerns the regularity part. In Theorem 1.1, the regularity of the obtained solution for problem (1.1) is derived through the weak comparison principle and the regularity result in [3].

2 Preliminaries

Let p C ( Ω ¯ ) with p ( x ) > 1 in Ω. Consider the Lebesgue space

L p ( x ) ( Ω ) := { u : Ω : u  is measurable and  Ω | u ( x ) | p ( x ) 𝑑 x < + } ,

which is a Banach space with the Luxemburg norm

u L p ( x ) ( Ω ) := { λ > 0 : Ω | u ( x ) λ | p ( x ) 𝑑 x 1 } .

The Banach space W 1 , p ( x ) ( Ω ) is defined as

W 1 , p ( x ) ( Ω ) := { u L p ( x ) ( Ω ) : | u | L p ( x ) ( Ω ) } ,

equipped with the norm

u W 1 , p ( x ) ( Ω ) := u L p ( x ) ( Ω ) + u L p ( x ) ( Ω ) .

The space W 0 1 , p ( x ) ( Ω ) is defined as the closure of C 0 ( Ω ) in W 1 , p ( x ) ( Ω ) with respect to the norm. The space W 0 1 , p ( x ) ( Ω ) is a separable and reflexive Banach space when p - > 1 . For a later use, we recall that the embedding

W 0 1 , p ( x ) ( Ω ) L r ( x ) ( Ω )

is compact with 1 r ( x ) < p ( x ) .

The following result gives important properties related to the logarithmic nonlinearity.

Lemma 2.1.

  1. For each α , θ > 0 , there is a constant C that depends only on α and θ such that

    | log ( x ) | x - α + C x θ

    for all x > 0 .

  2. For each θ , ε > 0 , there is a constant C that depends only on ε and θ such that

    | l o g ( x + ε ) | x θ + C

    for all x 0 .

  3. Let γ, θ and δ be real numbers. If γ , θ > 0 and δ > γ θ e , then the function f ( x ) = γ x δ - θ log x , x > 0 , attains a positive global minimum.

Proof.

With respect to the inequalities, we only prove (i) because (ii) can be justified similarly. A simple computation provides

lim x 0 + | log ( x ) | x - α = 0 .

Thus, there is a small m > 0 such that

| log ( x ) | x - α for  x ( 0 , m ) .

On the other hand, the limit

lim x + | log ( x ) | x θ = 0

implies that there is M > 0 such that

| log ( x ) | x θ for  x ( M , + ) .

Since the function | log ( x ) | / x θ , x > 0 , is continuous for all x > 0 , there is a constant which depends on α and θ such that | log ( x ) | C x θ in [ m , M ] . Therefore, | log ( x ) | x - α + C x θ for all x > 0 , where the constant C depends only on α and θ.

In order to show (iii), observe that f ( x ) = θ δ x δ - 1 - γ x . Then f has a unique critical point at x 0 = ( γ θ δ ) 1 / δ . Thus, by solving the inequalities f ( x ) > 0 and f ( x ) < 0 for x > 0 , it follows that f is increasing on the interval [ x 0 , + ) and decreasing on ( - , x 0 ] . By noticing that

f ( x 0 ) = γ δ ( 1 - log ( γ θ δ ) ) ,

the condition δ > γ θ e implies that f ( x 0 ) > 0 , which proves the result. ∎

3 Sub-supersolution theorem

Let us introduce the quasilinear system

(3.1) { - Δ p ( x ) u = H ( x , u , v ) in  Ω , - Δ q ( x ) v = G ( x , u , v ) in  Ω , u = v = 0 on  Ω ,

where H , G : Ω × + × + are Carathéodory functions satisfying the following assumption:

  1. Given T , S > 0 , there is a constant C > 0 such that

    | H ( x , s , t ) | , | G ( x , s , t ) | C for all  ( x , s , t ) Ω × [ 0 , T ] × [ 0 , S ] .

The following result is a key point in the proof of Theorem 1.1.

Theorem 3.1.

Assume that H and G satisfy (I), and let u ¯ W 0 1 , p ( x ) ( Ω ) L ( Ω ) and v ¯ W 0 1 , q ( x ) ( Ω ) L ( Ω ) , with u ¯ , v ¯ 0 in Ω and u ¯ , v ¯ W 1 , ( Ω ) such that

u ¯ u ¯ 𝑎𝑛𝑑 v ¯ v ¯    in  Ω .

Suppose that

Ω | u ¯ | p ( x ) - 2 u ϕ d x Ω H ( x , u ¯ , v ¯ ) ϕ 𝑑 x ,
Ω | v ¯ | q ( x ) - 2 v ψ d x Ω G ( x , u ¯ , v ¯ ) ψ 𝑑 x

and

Ω | u ¯ | p ( x ) - 2 u ϕ d x Ω H ( x , u ¯ , v ¯ ) ϕ 𝑑 x ,
Ω | v ¯ | p ( x ) - 2 u ϕ d x Ω H ( x , u ¯ , v ¯ ) ψ 𝑑 x

for all nonnegative functions ( ϕ , ψ ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) . Then problem (3.1) has a (positive) solution

( u , v ) ( W 0 1 , p ( x ) ( Ω ) L ( Ω ) ) × ( W 0 1 , q ( x ) ( Ω ) L ( Ω ) )

satisfying

u ¯ ( x ) u ( x ) u ¯ ( x ) 𝑎𝑛𝑑 v ¯ ( x ) v ( x ) v ¯ ( x )    for a.e.  x Ω .

Proof.

The proof is chiefly based on pseudomonotone operator theory. Define the functions

H 1 ( x , s , t ) = { H ( x , u ¯ ( x ) , v ¯ ( x ) ) , s u ¯ ( x ) , H ( x , s , v ¯ ( x ) ) , u ¯ ( x ) s u ¯ ( x )  and  t v ¯ ( x ) , H ( x , s , t ) , u ¯ ( x ) s u ¯ ( x )  and  v ¯ ( x ) t v ¯ ( x ) , H ( x , s , v ¯ ( x ) ) , u ¯ ( x ) s u ¯ ( x )  and  t v ¯ ( x ) , H ( x , u ¯ ( x ) , v ¯ ( x ) ) , s u ¯ ( x )  and  t v ¯ ( x ) ,

and

G 1 ( x , s , t ) = { G ( x , u ¯ ( x ) , v ¯ ( x ) ) , t v ¯ ( x ) , G ( x , s , v ¯ ( x ) ) , v ¯ ( x ) t v ¯ ( x )  and  s u ¯ ( x ) , G ( x , s , t ) , v ¯ ( x ) t v ¯ ( x )  and  u ¯ ( x ) s u ¯ ( x ) , G ( x , s , v ¯ ( x ) ) , v ¯ ( x ) t v ¯ ( x )  and  s u ¯ ( x ) , G ( x , u ¯ ( x ) , v ¯ ( x ) ) , t v ¯ ( x ) .

In what follows, we fix l ( 0 , 1 ) with min { p - , q - } > 1 + l and set

γ 1 ( x , s ) := - ( ( u ¯ ( x ) - s ) + ) l + ( ( s - u ¯ ( x ) ) + ) l ,
γ 2 ( x , s ) := - ( ( v ¯ ( x ) - s ) + ) l + ( ( s - v ¯ ( x ) ) + ) l .

Using the above functions, we introduce the auxiliary problem

(3.2) { - Δ p ( x ) u = H 2 ( x , u , v ) in  Ω , - Δ q ( x ) v = G 2 ( x , u , v ) in  Ω , u = v = 0 on  Ω ,

where

(3.3) H 2 ( x , s , t ) := H 1 ( x , s , t ) - γ 1 ( x , s )

and

G 2 ( x , s , t ) := G 1 ( x , s , t ) - γ 2 ( x , s ) .

By the Minty–Browder theorem (see, e.g., [17]), problem (3.2) has a solution ( u , v ) in W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) . Indeed, let B : E E be a function defined by

B ( u , v ) , ( ϕ , ψ ) := Ω | u | p ( x ) - 2 u ϕ + | v | q ( x ) - 2 v ψ d x - Ω H 2 ( x , u , v ) ϕ 𝑑 x - Ω G 2 ( x , u , v ) ϕ 𝑑 x ,

where E is the Banach space W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) endowed with the norm

( u , v ) = max { u 1 , p ( x ) , v 1 , q ( x ) } , ( u , v ) E .

Let us show that the function B satisfies the hypotheses of the Minty–Browder theorem.

(i) B is continuous.

Let ( u n , v n ) E be a sequence that converges to ( u , v ) in E. We need to prove that B ( u n , v n ) - B ( u , v ) E 0 . To this end, let ( ϕ , ψ ) E with ( ϕ , ψ ) E 1 . By the Hölder inequality, one has

| Ω | u n | p ( x ) - 2 u n ϕ - | u | p ( x ) - 2 u ϕ d x | C | u n | p ( x ) - 2 u n - | u | p ( x ) - 2 u L p ( x ) p ( x ) - 1 ( Ω ) .

Up to a subsequence, we can assume that u n ( x ) u ( x ) a.e in Ω and that there exists a function U ( L p ( x ) ( Ω ) ) N such that | u n ( x ) | U ( x ) a.e in Ω. Therefore, Lebesgue’s dominated convergence theorem yields

| u n | p ( x ) - 2 u n - | u | p ( x ) - 2 u L p ( x ) p ( x ) - 1 ( Ω ) 0 .

Note that

| Ω ( H 2 ( x , u n , v n ) - H 2 ( x , u , v ) ) ϕ 𝑑 x | Ω | H 1 ( x , u n , v n ) - H 1 ( x , u , v ) | | ϕ | 𝑑 x + Ω | γ 1 ( x , u n ) - γ 1 ( x , u ) | | ϕ | 𝑑 x .

Then the continuity and the boundedness of H, together with Lebesgue’s dominated convergence theorem and the Hölder inequality, gives

sup ϕ 1 Ω | H 1 ( x , u n , v n ) - H 1 ( x , u , v ) | | ϕ | 𝑑 x 0 .

On the other hand, we can assume that u n ( x ) u ( x ) a.e in Ω and that there exists w L p ( x ) ( Ω ) such that | u n ( x ) | w ( x ) a.e in Ω. Arguing as before, we get

γ 1 ( x , u ) - γ 1 ( x , u n ) L p ( x ) p ( x ) - 1 ( Ω ) 0 ,

and so

sup ϕ 1 Ω ( H 2 ( x , u n , v n ) - H 2 ( x , u , v ) ) ϕ 𝑑 x 0 .

Hence, the previous reasoning provides

| v n | q ( x ) - 2 v n - | v | q ( x ) - 2 v L q ( x ) q ( x ) - 1 ( Ω ) 0

and

sup ψ 1 Ω ( G 2 ( x , u n , v n ) - G 2 ( x , u , v ) ) ψ 𝑑 x 0 ,

which justify the continuity of B.

(ii) B is bounded.

Let us show that if U E is a bounded set, then B ( U ) E is bounded. To this end, consider a bounded set U and ( ϕ , ψ ) E such that ( ϕ , ψ ) 1 . Then for ( u , v ) U the Hölder inequality gives

| Ω | u | p ( x ) - 2 u ϕ + | u | q ( x ) - 2 v ψ d x | C ( | u | p ( x ) - 1 L p ( x ) p ( x ) - 1 ( Ω ) + | v | q ( x ) - 1 L q ( x ) q ( x ) - 1 ( Ω ) ) C .

Since H 1 ( x , u , v ) is bounded, we derive that

Ω | H 1 ( x , u , v ) | | ϕ | 𝑑 x C Ω | ϕ | 𝑑 x C .

On the other hand, since

Ω | γ 1 ( x , u ) | p ( x ) p ( x ) - 1 𝑑 x C Ω ( 1 + | u ( x ) | + | u ¯ ( x ) | + | u ¯ ( x ) | ) p ( x ) p ( x ) - 1 𝑑 x ,

the Hölder inequality ensures

Ω | γ 1 ( x , u ) | | ϕ | 𝑑 x C .

From the above arguments we obtain the boundedness of B.

(iii) B is coercive.

Next, we prove that

B ( u , v ) , ( u , v ) ( u , v ) + as  ( u , v ) + .

Note that

(3.4) Ω H 1 ( x , u , v ) u 𝑑 x - Ω | H 1 ( x , u , v ) | | u | 𝑑 x - C u L p ( x ) ( Ω ) ,

where C is a positive constant. The triangular inequality and the fact that ( a + b ) θ a θ + b θ for nonnegative numbers a and b with θ ( 0 , 1 ) give

Ω - γ 1 ( x , u ) u d x = { u ¯ u } ( u ¯ - u ) l u 𝑑 x - { u u ¯ } ( u - u ¯ ) l u 𝑑 x
- { u ¯ u } ( | u ¯ | + | u | ) l | u | 𝑑 x - { u u ¯ } ( u - u ¯ ) l u 𝑑 x
- { u ¯ u } ( | u ¯ | l + | u | l ) | u | 𝑑 x - { u u ¯ } { u > 0 } ( u - u ¯ ) l u 𝑑 x - { u u ¯ } { u < 0 } ( u - u ¯ ) l u 𝑑 x
- Ω ( | u ¯ | l + | u | l ) | u | 𝑑 x - Ω ( | u ¯ | l + | u | l ) | u | 𝑑 x .

Gathering the last inequality with the embeddings

W 1 , p ( x ) ( Ω ) L p ( x ) ( Ω ) and L p ( x ) ( Ω ) L 1 + l ( Ω ) ,

we derive

(3.5) Ω γ 1 ( x , u ) u 𝑑 x - C u L p ( x ) ( Ω ) - Ω | u | 1 + l 𝑑 x - C u L p ( x ) ( Ω ) - C u L p ( x ) ( Ω ) 1 + l .

From (3.3)–(3.5) we have

- Ω H 2 ( x , u , v ) u 𝑑 x - C u L p ( x ) ( Ω ) - C u L p ( x ) ( Ω ) 1 + l - C ( u , v ) - C ( u , v ) 1 + l ,

where C is a positive constant. In the same manner, we can see that

- Ω G 2 ( x , u , v ) u 𝑑 x - C v L q ( x ) ( Ω ) - C v L q ( x ) ( Ω ) 1 + l - C ( u , v ) - C ( u , v ) 1 + l .

  1. If u L p ( x ) ( Ω ) 1 and v L q ( x ) ( Ω ) < 1 , then

    Ω | u | p ( x ) 𝑑 x + Ω | v | q ( x ) 𝑑 x u L p ( x ) ( Ω ) p - + v L q ( x ) ( Ω ) q +

  2. If u L p ( x ) ( Ω ) 1 and v L q ( x ) ( Ω ) 1 , then

    Ω | u | p ( x ) 𝑑 x + Ω | v | q ( x ) 𝑑 x u L p ( x ) ( Ω ) p - + u L q ( x ) ( Ω ) q - .

Consider in E a sequence { ( u n , v n ) } n such that ( u n , v n ) + . Thus,

u n L p ( x ) ( Ω ) + or v n L q ( x ) ( Ω ) + .

Suppose that the first possibility happens and that u n L p ( x ) ( Ω ) 1 for all n . Then we consider two cases:

  1. u n L p ( x ) ( Ω ) 1 and v n L q ( x ) ( Ω ) < 1 for n . In this case, we have

    B ( u n , v n ) , ( u n , v n ) ( u n , v n ) E u n L p ( x ) ( Ω ) p - + v n L q ( x ) ( Ω ) q + u n L p ( x ) ( Ω ) - C v n L q ( x ) ( Ω ) 1 + l u n L p ( x ) ( Ω ) - C - C u n L p ( x ) ( Ω ) l
    u n L p ( x ) ( Ω ) p - - 1 - C u n L p ( x ) ( Ω ) - C - u n L p ( x ) ( Ω ) l .

  2. u n L p ( x ) ( Ω ) 1 and v n L q ( x ) ( Ω ) 1 for n . In this second case, we have

    B ( u n , v n ) , ( u n , v n ) ( u n , v n ) E
    ( max { u n L p ( x ) ( Ω ) , v n L q ( x ) ( Ω ) } ) min { p - , q - } max { u n L p ( x ) ( Ω ) , v n L q ( x ) ( Ω ) } - C - C ( max { u n L p ( x ) ( Ω ) , v n L q ( x ) ( Ω ) } ) l .

Consequently, in both cases studied above, one has

B ( u n , v n ) , ( u n , v n ) ( u n , v n ) E as  n + .

The other situations regarding u n L p ( x ) ( Ω ) and v n L q ( x ) ( Ω ) can be handled in much the same way.

(iv) B is pseudomonotone.

We recall that B is a pseudomonotone operator if ( u n , v n ) ( u , v ) in E and

(3.6) lim sup n + B ( u n , v n ) , ( u n , v n ) - ( u , v ) 0 .

Then

lim inf n + B ( u n , v n ) , ( u n , v n ) - ( ϕ , ψ ) B ( u , v ) , ( u , v ) - ( ϕ , ψ )

for all ( ϕ , ψ ) E .

If ( u n , v n ) ( u , v ) , then u n u and v n v in W 1 , p ( x ) ( Ω ) and W 1 , q ( x ) ( Ω ) , respectively. Since H 1 and G 1 are bounded, we must have

Ω H 1 ( x , u n , v n ) ( u n - u ) 𝑑 x 0

and

Ω G 1 ( x , u n , v n ) ( u n - u ) 𝑑 x 0 .

Note that

B ( u n , v n ) , ( u n , v n ) - ( u , v ) = Ω | u n | p ( x ) - 2 u n , u n - u 𝑑 x + Ω H 2 ( x , u n , v n ) ( u n - u ) 𝑑 x
+ Ω | v n | q ( x ) - 2 v n , v n - v 𝑑 x + Ω G 2 ( x , u n , v n ) ( v n - v ) 𝑑 x .

The previous arguments can be repeated to show that

Ω H 2 ( x , u n , v n ) ( u n - u ) 𝑑 x = Ω [ H 1 ( x , u n , v n ) ( u n - u ) - γ 1 ( x , u n ) ( u n - u ) ] 𝑑 x ,
lim n + Ω H 2 ( x , u n , v n ) ( u n - u ) 𝑑 x = 0 ,
lim n + Ω G 2 ( x , u n , v n ) ( v n - v ) 𝑑 x = 0 .

Gathering the above limits together with (3.6), we have

(3.7) lim ¯ Ω | u n | p ( x ) - 2 u n , ( u n - u ) 𝑑 x + Ω | v n | q ( x ) - 2 v n , ( v n - v ) 𝑑 x 0 .

From the weak convergence we get

Ω | u | p ( x ) - 2 u , ( u n - u ) 𝑑 x = o n ( 1 )

and

Ω | v | p ( x ) - 2 v , ( v n - v ) 𝑑 x = o n ( 1 ) .

Therefore,

(3.8) Ω | u n | p ( x ) - 2 u n , ( u n - u ) 𝑑 x = Ω | u n | p ( x ) - 2 u n - | u | p ( x ) - 2 u , ( u n - u ) 𝑑 x + o n ( 1 )

and

(3.9) Ω | v n | p ( x ) - 2 v n , ( v n - v ) 𝑑 x = Ω | v n | p ( x ) - 2 v n - | v | p ( x ) - 2 v , ( v n - v ) 𝑑 x + o n ( 1 ) .

By using (3.8) and (3.9) in (3.7), the ( S + ) property of the operators - Δ p ( x ) and - Δ q ( x ) guarantees that u n u in W 0 1 , p ( x ) ( Ω ) and v n v in W 0 1 , q ( x ) ( Ω ) . Thus, by the continuity of B, it turns out that

lim n + B ( u n , v n ) , ( u n , v n ) - ( ϕ , ψ ) = B ( u , v ) , ( u , v ) - ( ϕ , ψ )

for all ( ϕ , ψ ) E .

Finally, from properties (i)–(iv) we are in a position to apply [17, Theorem 3.3.6] which ensures that B is surjective. Thereby, there exists ( u , v ) E such that

B ( u , v ) , ( ϕ , ψ ) = 0 for all  ( ϕ , ψ ) E ,

and, in particular, ( u , v ) is a solution of (3.2).

It remains to prove that

(3.10) u ¯ u u ¯ and v ¯ v v ¯    in  Ω .

We only prove the first inequalities in (3.10) because the second ones can be justified similarly. Set ( ϕ , ψ ) := ( ( u - u ¯ ) + , 0 ) . From the definition of H 2 we obtain

Ω | u | p ( x ) - 2 u ( u - u ¯ ) + = { u u ¯ } H 1 ( x , u , v ) ( u - u ¯ ) + d x - { u u ¯ } ( - ( ( u ¯ - u ) + ) l + ( ( u - u ¯ ) + ) l ) ( u - u ¯ ) + d x
= { u u ¯ } H ( x , u ¯ , v ¯ ) ( u - u ¯ ) + 𝑑 x - Ω ( ( u - u ¯ ) + ) l + 1 𝑑 x
Ω | u ¯ | p ( x ) - 2 u ¯ ( u - u ¯ ) + d x - Ω ( ( u - u ¯ ) + ) l + 1 d x .

Therefore,

Ω | u | p ( x ) - 2 u , | u ¯ | p ( x ) - 2 u ¯ , ( u - u ¯ ) + d x - Ω ( ( u - u ¯ ) + ) l + 1 d x 0 ,

wich implies that u u ¯ in Ω. Using a quite similar argument for ( ϕ , ψ ) := ( ( u ¯ - u ) + , 0 ) , we get u ¯ u in Ω. This completes the proof. ∎

4 Proof of Theorem 1.1

For every ε > 0 , let us introduce the auxiliary problem

(4.1) { - Δ p ( x ) u = - γ log ( | v | + ε ) + θ | v | α ( x ) in  Ω , - Δ q ( x ) v = - γ log ( | u | + ε ) + θ | u | β ( x ) in  Ω , u = v = 0 on  Ω .

Our goal is to show through Theorem 3.1 that (4.1) has a positive solution ( u ε , v ε ) . Then, by passing to the limit as ε 0 + , we get a solution for the original problem (1.1).

Let Ω ~ be a bounded domain in N with smooth boundary Ω ~ such that Ω ¯ Ω ~ , and set d ~ ( x ) = dist ( x , Ω ~ ) . In [24, Lemma 3.1], Yin and Zang have proved that, for δ > 0 small enough and for constants η > 0 , the function

w C 1 ( Ω ~ ¯ ) C 0 ( Ω ~ )

defined by

w ( x ) = { ξ d ~ ( x ) if  d ~ ( x ) < δ , ξ δ + δ d ~ ( x ) ξ ( 2 δ - t δ ) 2 p - - 1 if  δ d ~ ( x ) < 2 δ , ξ δ + δ 2 δ ξ ( 2 δ - t δ ) 2 p - - 1 if  2 δ d ~ ( x ) ,

is a subsolution of the problem

{ - Δ p ( x ) u = η in  Ω ~ , u = 0 on  Ω ~ ,

where δ > 0 is a number that does not depend on η, and

ξ = c 0 η 1 p + - 1 + τ ,

with a fixed number τ ( 0 , 1 ) and c 0 > 0 is a number depending only on δ, τ, Ω ~ and p. Note that

w ( x ) = c 0 η 1 p + - 1 + τ d ~ ( x ) for  d ~ ( x ) < δ ,
c 0 η 1 p + - 1 + τ δ w ( x ) for  d ~ ( x ) δ .

Given λ > 1 , let u ¯ and v ¯ in C 1 ( Ω ~ ¯ ) be the unique solutions of the problems

(4.2) { - Δ p ( x ) u ¯ = λ σ in  Ω ~ , u ¯ = 0 on  Ω ~ , and { - Δ q ( x ) v ¯ = λ σ in  Ω ~ , v ¯ = 0 on  Ω ~ ,

where σ is a real constant.

If σ > 0 , considering the corresponding function w for η = λ σ and applying the weak maximum principle, we get

(4.3) { C 0 λ σ p + - 1 + τ 1 min { δ , d ~ ( x ) } u ¯ ( x ) C 1 λ σ p - - 1 , C 0 λ σ q + - 1 + τ 2 min { δ , d ~ ( x ) } v ¯ ( x ) C 1 λ σ q - - 1 , in  Ω ~ ,

where C 0 , C 0 , C 1 , C 1 > 0 and τ 1 , τ 2 ( 0 , 1 ) are constants that do not depend on λ. If - 1 < σ < 0 , from [11, Lemma 2.1] and for λ large one has

(4.4) u ¯ ( x ) k 2 λ σ p - - 1 c 2 λ σ p + - 1 and v ¯ ( x ) k 2 λ σ q - - 1 c 2 λ σ q + - 1    in  Ω ~ ,

where k 2 , k 2 , c 2 and c 2 are positive constants independent of λ. Moreover, by the strong maximum principle there is a constant c 0 > 0 (that can depend on λ) such that

(4.5) c 0 d ~ ( x ) min { u ¯ ( x ) , v ¯ ( x ) }

Now, let u ¯ and v ¯ in C 1 ( Ω ¯ ) be the unique solutions of the homogeneous Dirichlet problems

(4.6) { - Δ p ( x ) u ¯ = λ - 1 in  Ω , u ¯ = 0 on  Ω , and { - Δ q ( x ) v ¯ = λ - 1 in  Ω , v ¯ = 0 on  Ω .

By [10, Lemma 2.1] and [11], there exist positive constants k 0 , K 1 and K 2 independent of λ such that

(4.7) u ¯ ( x ) K 1 λ - 1 p - - 1 and v ¯ ( x ) K 2 λ - 1 q - - 1    in  Ω

and

(4.8) k 0 d ( x ) min { u ¯ ( x ) , v ¯ ( x ) } in  Ω .

By the weak maximum principle, we have u ¯ u ¯ and v ¯ v ¯ in Ω ¯ for λ > 1 sufficiently large.

We state the following existence result for the regularized problem (4.1).

Theorem 4.1.

Under the assumptions of Theorem 1.1, there exists ε 0 > 0 such that system (4.1) has a positive solution

( u ε , v ε ) ( W 0 1 , p ( x ) ( Ω ) L ( Ω ) ) × ( W 0 1 , q ( x ) ( Ω ) L ( Ω ) )

for all ε ( 0 , ε 0 ) . Moreover,

(4.9) u ¯ ( x ) u ε ( x ) u ¯ ( x ) 𝑎𝑛𝑑 v ¯ ( x ) v ε ( x ) v ¯ ( x )    for a.e.  x Ω .

Proof.

First, let us show that ( u ¯ , v ¯ ) is a subsolution for problem (4.1) for all ε ( 0 , ε 0 ) . To this end, pick ε 0 1 2 . Then from (4.6) and (4.7), for all ε ( 0 , ε 0 ) , one has

- Δ p ( x ) u ¯ = λ - 1 - γ log ( K 2 λ - 1 q - - 1 + ε 0 ) - γ log ( v ¯ ( x ) + ε ) - γ log ( v ¯ ( x ) + ε ) + θ v ¯ ( x ) α ( x ) in  Ω

and

- Δ q ( x ) v ¯ = λ - 1 - γ log ( K 1 λ - 1 p - - 1 + ε 0 ) - γ log ( u ¯ ( x ) + ε ) - γ log ( u ¯ ( x ) + ε ) + θ u ¯ ( x ) β ( x ) in  Ω

for all γ , θ > 0 , provided that λ > 1 is sufficiently large.

Next, we will show that ( u ¯ , v ¯ ) is a supersolution for problem (4.1) for all ε ( 0 , ε 0 ) . Set δ := dist ( Ω ~ , Ω ) and fix ε 0 ( 0 , 1 ) . By Lemma 2.1, there are constants σ 1 , σ 2 ( 0 , 1 ) and C σ 1 , α + , C σ 2 , β + > 0 such that, for all ε ( 0 , ε 0 ) , one has

(4.10) - γ log ( v ¯ + ε ) + θ v ¯ α ( x ) γ ( 1 ( v ¯ + ε ) σ 1 + C σ , 1 α + ( v ¯ + ε ) α + ) + θ v ¯ α ( x )

and

(4.11) - γ log ( u ¯ + ε ) + θ u ¯ β ( x ) γ ( 1 ( u ¯ + ε ) σ 2 + C σ 2 , β + ( u ¯ + ε ) β + ) + θ u ¯ β ( x ) .

If (1.4) holds, it follows from (4.3), (4.10), (4.11) and for σ > 0 in (4.2) that

- γ log ( v ¯ + ε ) + θ v ¯ α ( x ) γ ( 1 v ¯ σ 1 + C σ 1 , α + ( v ¯ + ε 0 ) α + ) + θ ( v ¯ + 1 ) α +
γ v ¯ σ 1 + 2 α + - 1 ( γ C σ 1 , α + + θ ) ( v ¯ α + + 1 )
γ ( v ¯ ) σ 1 + 2 α + - 1 ( γ C σ 1 , α + + θ ) C 1 ( λ σ α + q - - 1 + 1 ) γ ( C 0 λ σ q + - 1 + τ 2 min { δ , δ } ) σ 1
+ 2 α + - 1 ( γ C σ 1 , α + + θ ) ( C 1 λ σ α + q - - 1 + 1 )
(4.12) λ σ in  Ω

and

- γ log ( u ¯ + ε ) + θ u ¯ β ( x ) γ ( 1 u ¯ σ 2 + C σ 2 , β + ( u ¯ + ε ) β + ) + θ ( u ¯ + 1 ) β +
γ u ¯ σ 2 + 2 β + - 1 ( γ C σ 2 , β + + θ ) ( u ¯ β + + 1 )
γ ( C 0 λ σ p + - 1 + τ 1 min { δ , δ } ) σ 2 + 2 β + ( γ C σ 2 , α + + θ ) ( C 1 λ σ β + p - - 1 + 1 )
(4.13) λ σ in  Ω

for all γ , θ > 0 , provided that λ is large enough.

If (1.5) is satisfied, combining Lemma 2.1 with (4.4) and (4.5), by (4.10), (4.11) and for σ ( - 1 , 0 ) in (4.2), we get

- γ log ( v ¯ + ε ) + θ v ¯ α ( x ) γ ( 1 ( v ¯ + ε ) σ 1 + C σ , 1 α - ( v ¯ + ε ) α - ) + θ v ¯ α ( x )
γ ( 1 v ¯ σ 1 + C σ 1 , α - 2 α - - 1 v ¯ α - + C σ 1 , α - ε 0 α - 2 α - - 1 ) + θ v ¯ α ( x )
γ ( 1 ( c 0 δ ) σ 1 + C σ 1 , α - 2 α - - 1 λ σ α - q + - 1 + C σ 1 , α - 2 α - - 1 ) + θ c 2 λ σ α ( x ) q + - 1
γ ( 1 ( c 0 δ ) σ 1 + C σ 1 , α - 2 α - - 1 λ σ α - q + - 1 + C σ 1 , α - 2 α - - 1 ) + θ c 2 λ σ α - q + - 1
(4.14) λ σ in  Ω

and

(4.15) - γ log ( u ¯ + ε ) + u ¯ β ( x ) γ ( c 0 δ ) σ 1 + γ C σ 1 , β - 2 β - - 1 λ σ α - q + - 1 + γ C σ 1 , β - 2 β - - 1 + c 2 λ σ β - p + - 1 λ σ in  Ω

for γ > 0 small enough, for all θ > 0 and all ε ( 0 , ε 0 ) , provided that λ is sufficiently large.

Finally, if (1.6) holds, using (4.3), (4.5), (4.10) and (4.11), for σ ( - 1 , 0 ) in (4.2), we obtain

- γ log ( v ¯ + ε ) + θ v ¯ α ( x ) γ ( 1 ( v ¯ + ε ) σ 1 + C σ 1 , α + ( v ¯ + 1 ) α + ) + θ v ¯ α ( x )
γ ( 1 v ¯ σ 1 + C σ 1 , α + ( v ¯ α + + 1 ) ) + θ ( v ¯ + 1 ) α +
γ ( 1 ( c 0 δ ) σ 1 + C σ 1 , α + ( v ¯ α + + 1 ) ) + 2 α + θ ( v ¯ α + + 1 )
γ ( 1 ( c 0 δ ) σ 1 + C σ 1 , α + ( λ σ α + q - - 1 + 1 ) ) + 2 α + θ ( λ σ α + q - - 1 + 1 )
(4.16) λ σ in  Ω ¯ ,

and similarly

(4.17) - γ log ( u ¯ + ε ) + θ u ¯ β ( x ) γ ( 1 u ¯ σ 2 + C σ 2 , β + ( u ¯ + 1 ) β + ) + θ u ¯ β ( x ) λ σ in  Ω ¯

for all γ , θ > 0 small and all ε ( 0 , ε 0 ) , provided that λ > 0 is large enough.

Consequently, it turns out from (4.12), (4.13), (4.14), (4.15), (4.16) and (4.17) that

Ω | u ¯ | p ( x ) - 2 u ¯ ϕ d x Ω ( - γ log ( v ¯ + ε ) + θ v ¯ α ( x ) ) ϕ 𝑑 x

and

Ω | v ¯ | q ( x ) - 2 v ¯ ψ d x Ω ( - γ log ( u ¯ + ε ) + θ u ¯ α ( x ) ) ψ 𝑑 x

for all ( ϕ , ψ ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) with ϕ , ψ 0 . This shows that ( u ¯ , v ¯ ) is a supersolution for (4.1) for all ε ( 0 , ε 0 ) .

Then, owing to Theorem 3.1, we conclude that the perturbed problem (4.1) has a solution

( u ε , v ε ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω )

within [ u ¯ , u ¯ ] × [ v ¯ , v ¯ ] for all ε ( 0 , ε 0 ) . Moreover, according to Lemma 2.1 combined with (4.8) and (4.9), we have that for σ 1 , σ 2 ( 0 , 1 N ) there are constants C σ 1 , C σ 2 > 0 such that

- γ log ( v ε + ε ) + θ v ε α ( x ) γ ( v ε - σ 1 + C σ 1 v ε σ 1 ) + θ v ε α ( x )
= v ε - σ 1 ( γ + γ C σ 1 v ε 2 σ 1 + θ v ε α ( x ) + σ 1 )
v ¯ - σ 1 ( γ + γ C σ 1 v ¯ 2 σ 1 + θ v ¯ α ( x ) + σ 1 )
( k 0 d ( x ) ) - σ 1 ( γ + γ C σ 1 v ¯ 2 σ 1 + θ v ¯ α ( x ) + σ 1 )
A 1 d ( x ) - σ 1 in  Ω

and

- γ log u ε + u ε β ( x ) γ ( u ε - σ 2 + C σ 2 u ε σ 2 ) + θ u ε β ( x )
= u ¯ - σ 2 ( γ + γ C σ 2 u ¯ 2 σ 2 + θ u ¯ β ( x ) + σ 2 )
( k 0 d ( x ) ) - σ 2 ( γ + γ C σ 2 u ¯ 2 σ 2 + θ u ¯ β ( x ) + σ 2 )
A 2 d ( x ) - σ 2 in  Ω

for some positive constants A 1 and A 2 . Then, thanks to [3, Lemma 2], we deduce that

( u ε , v ε ) C 1 , ν ( Ω ¯ ) × C 1 , ν ( Ω ¯ )

for certain ν ( 0 , 1 ) . ∎

Proof of Theorem 1.1.

Set ε := 1 n for n 1 / ε 0 . By Theorem 4.1, we know that there exists a positive solution ( u n , v n ) := ( u 1 / n , v 1 / n ) bounded in C 1 , ν ( Ω ¯ ) × C 1 , ν ( Ω ¯ ) , for certain ν ( 0 , 1 ) , for the problem

{ - Δ p ( x ) u n = - γ log ( | v n | + 1 n ) + θ | v n | α ( x ) in  Ω , - Δ q ( x ) v n = - γ log ( | u n | + 1 n ) + θ | u n | β ( x ) in  Ω , u n = v n = 0 on  Ω .

Moreover, the property formulated in (4.9) holds true. Employing Arzelà–Ascoli’s theorem, we may pass to the limit in C 1 ( Ω ¯ ) × C 1 ( Ω ¯ ) and the limit functions ( u , v ) C 1 ( Ω ¯ ) × C 1 ( Ω ¯ ) satisfy (1.1) with ( u , v ) [ u ¯ , u ¯ ] × [ v ¯ , v ¯ ] . This completes the proof. ∎

5 Proof of Theorem 1.2

This section is devoted to the proof of Theorem 1.2. For ε > 0 , let us consider the regularized problem

(5.1) { - Δ p ( x ) u = - γ log ( | v | + ε ) + θ ( | v | + ε ) α ( x ) in  Ω , - Δ q ( x ) v = - γ log ( | u | + ε ) + θ ( | u | + ε ) β ( x ) in  Ω , u = v = 0 on  Ω .

Our demonstration strategy will be to show, by applying the well-known result due to Rabinowitz [18], that for each λ > 0 system (5.1) possesses a positive solution ( u ε , v ε ) in W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) , and then derive a solution of (1.1) by taking the limit ε 0 .

5.1 Existence result for the regularized system

Fix ε > 0 , and for each pair ( f , g ) L p ( x ) ( Ω ) × L q ( x ) ( Ω ) let us consider the auxiliary problem

(5.2) { - Δ p ( x ) u = λ ( - γ log ( | g | + ε ) + θ ( | g | + ε ) α ( x ) ) in  Ω , - Δ q ( x ) v = λ ( - γ log ( | f | + ε ) + θ ( | f | + ε ) β ( x ) ) in  Ω , u = v = 0 on  Ω .

Observe the following facts:

  1. - log ( | g | + ε ) L p ( x ) ( Ω ) : Indeed, consider θ > 0 such that 0 < θ ( p ) + q ( x ) for all x Ω ¯ . By Lemma 2.1, one has

    | log ( | g ( x ) | + ε ) | p ( x ) ( | g ( x ) | θ p ( x ) + C ) ( ( 1 + | g ( x ) | ) θ p ( x ) + C ) .

    From (1.2) the claim follows.

  2. ( | g ( x ) | + ε ) α ( x ) L p ( x ) : By (1.2), notice that

    ( | g ( x ) | + ε ) α ( x ) p ( x ) ( | g ( x ) | + 1 ) α ( x ) p ( x ) ( | g ( x ) | + 1 ) q ( x ) .

    Since W 1 , q ( x ) ( Ω ) L q ( x ) ( Ω ) , the claim is proved.

In the same manner, we have | log ( | f | + ε ) | L q ( Ω ) and ( | f | + ε ) β ( x ) L q ( x ) for all f L p ( x ) ( Ω ) . Then, on account of the above remarks, the unique solvability of ( u , v ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) in (5.2) is readily derived from the Minty–Browder theorem. Therefore, the solution operator

𝒯 : + × L p ( x ) ( Ω ) × L q ( x ) ( Ω ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω )

is well defined.

Lemma 5.1.

The operator T : R + × L p ( x ) ( Ω ) × L q ( Ω ) L p ( x ) ( Ω ) × L q ( x ) ( Ω ) is continuous and compact.

Proof.

Consider a sequence ( λ n , f n , g n ) ( λ , f , g ) in + × L p ( x ) ( Ω ) × L q ( x ) ( Ω ) , and ( u n , v n ) := 𝒯 ( λ n , f n , g n ) . By using u n as a test function, one gets

Ω | u n | 𝑑 x = λ n ( Ω - γ u n log ( | g n | + ε ) + θ u n ( | g n | + ε ) α ( x ) ) d x
(5.3) C u n L p ( x ) ( Ω ) log ( | g n | + ε ) L p ( x ) ( Ω ) + C u n L p ( x ) ( Ω ) ( | g n | + ε ) α ( x ) L p ( x ) ( Ω ) .

Since { g n } is bounded in L q ( x ) ( Ω ) , by Lemma 2.1, { u n } is bounded in W 1 , p ( x ) ( Ω ) . Let ( u , v ) := 𝒯 ( λ , f , g ) . Using u n - u as a test function, we have

Ω | u n | p ( x ) - 2 u n - | u | p ( x ) - 2 u , ( u n - u ) 𝑑 x
= γ Ω ( λ log ( | g | + ε ) - λ log ( | g n | + ε ) ) ( u n - u ) 𝑑 x
(5.4)     + θ Ω ( λ ( | g | + ε ) α ( x ) - λ n ( | g n | + ε ) α ( x ) ) ( u n - u ) 𝑑 x .

Note that

(5.5) | γ Ω ( λ log ( | g | + ε ) - λ n log ( | g n | + ε ) ) ( u n - u ) 𝑑 x |
(5.6) C u n - u L p ( x ) ( Ω ) ( λ log ( | g | + ε ) - λ n log ( | g n | + ε ) ) L p ( x ) ( Ω ) ,

where the constant C does not depend on n .

In the sequel, up to a subsequence, we can assume that g n ( x ) g ( x ) a.e in Ω and | g n ( x ) | h a.e in Ω for some h L q ( x ) ( Ω ) . Then, by Lemma 2.1 and the Lebesgue theorem, we have

(5.7) γ Ω ( λ log ( | g | + ε ) - λ n log ( | g n | + ε ) ) ( u n - u ) 𝑑 x 0 .

A similar reasoning leads to

(5.8) θ Ω ( λ ( | g | + ε ) α ( x ) - λ n ( | g n | + ε ) α ( x ) ) ( u n - u ) 𝑑 x 0 .

Since { u n } is bounded in W 0 1 , p ( x ) ( Ω ) , from (5.4) we deduce that u n u in W 0 1 , p ( x ) ( Ω ) . This proves that 𝒯 is continuous.

In order to show that 𝒯 is compact, it suffices to prove that 𝒯 ( U ) ¯ is compact for all U E bounded. At this point, a quite similar argument as above produces the desired conclusion. This completes the proof. ∎

Theorem 5.2.

Under assumptions (1.2) and (1.7), problem (5.1) admits a solution ( u ε , v ε ) for all ε > 0 .

Proof.

From Lemma 5.1 and by invoking [18], there is an unbounded continuum 𝒞 of solutions of the equation ( u , v ) = 𝒯 ( λ , u , v ) , that is, ( λ , u , v ) 𝒞 is a solution of (5.1).

On the other hand, by Lemma 2.1, the function f ( x ) = θ x δ - γ log x , for x > 0 , attains a strictly positive minimum if δ > γ θ e . Since α - , α + > γ θ e , we obtain the following assertions:

  1. If | u | + ε 1 , then

    - γ log ( | u | + ε ) + θ ( | u | + ε ) α ( x ) - γ log ( | u | + ε ) + θ ( | u | + ε ) α - m - > 0 ,

    where m - = min { - γ log x + θ x α - : x > 0 } .

  2. If | u | + ε < 1 , then

    - log ( | u | + ε ) + ( | u | + ε ) α ( x ) - log ( | u | + ε ) + ( | u | + ε ) α + m + > 0 ,

    where m + = min { - γ log x + θ x α + : x > 0 } .

Therefore, - Δ p ( x ) u m 1 > 0 , where m 1 = min { m - , m + } , and, with a quite similar reasoning, we get - Δ q ( x ) v m 2 > 0 for some m 2 > 0 . Thus, by the maximum principle, 𝒞 { ( 0 , 0 , 0 ) } must be constituted by strictly positive functions.

Next, we show that the component 𝒞 is unbounded with respect to λ 0 . By contradiction, suppose that there is λ > 0 such that ( λ , u , v ) 𝒞 implies that λ λ . Fix 0 < γ ¯ ( q / p ) - . Using u as a test function, we get

(5.9) Ω | u | p ( x ) 𝑑 x = λ ( Ω - γ u log ( | v | + ε ) d x + Ω θ ( | v | + ε ) α ( x ) u 𝑑 x )

and

(5.10) Ω | - γ u log ( | v | + ε ) | 𝑑 x Ω γ | u | ( ( | v | + ε ) - γ ¯ + C γ , γ ¯ ( | v | + ε ) γ ¯ ) 𝑑 x C u L p ( x ) ( Ω ) + C Ω | u | | v | γ ¯ 𝑑 x ,

where C depends on λ , ε, γ and γ ¯ . Note that

(5.11) Ω θ | u | ( | v | + ε ) α ( x ) 𝑑 x Ω θ | u | ( | v | + 1 ) α ( x ) 𝑑 x C u L p ( x ) ( Ω ) + C Ω | u | | v | α ( x ) 𝑑 x ,

where C depends on θ and ε. Now we will estimate the integral Ω | u | | v | α ( x ) 𝑑 x . We have | v ( x ) | α ( x ) L p ( x ) ( Ω ) . In order to prove this, note that

| v ( x ) | α ( x ) p ( x ) ( 1 + | v ( x ) | ) α ( x ) p ( x ) ( 1 + | v ( x ) | ) q ( x ) .

The last function belongs to L 1 ( Ω ) because W 1 , q ( x ) ( Ω ) L q ( x ) ( Ω ) L q ( x ) ( Ω ) . Thus, by the Hölder inequality we obtain

Ω | v | α ( x ) | u | 𝑑 x C | v | α ( x ) L p ( x ) ( Ω ) u W 1 , p ( x ) ( Ω ) .

By the Hölder inequality and considering all the possibilities for the norms

| v | α ( x ) L p ( Ω ) and | v | α ( x ) L q ( x ) α ( x ) p ( x ) ( Ω ) ,

we get

| v | α ( x ) L p ( x ) ( Ω ) C | v | α ( x ) p ( x ) L q ( x ) α ( x ) p ( x ) ( Ω ) 1 ( p ) + + 1 + C | v | α ( x ) p ( x ) L q ( x ) α ( x ) p ( x ) ( Ω ) 1 ( p ) -
C ( ( Ω | v | q ( x ) 𝑑 x ) 1 ( p ) + ( α ( x ) p ( x ) q ( x ) ) + + 1 + ( Ω | v | q ( x ) 𝑑 x ) 1 ( p ) + ( α ( x ) p ( x ) q ( x ) ) - )
(5.12) + C ( ( Ω | v | q ( x ) 𝑑 x ) 1 ( p ) - ( α ( x ) p ( x ) q ( x ) ) + + 1 + ( Ω | v | q ( x ) 𝑑 x ) 1 ( p ) - ( α ( x ) p ( x ) q ( x ) ) - ) .

Using the embedding W 1 , q ( x ) ( Ω ) L q ( x ) ( Ω ) , considering all the possibilities for the norms v L q ( x ) ( Ω ) and u L p ( x ) ( Ω ) and estimates (5.9), (5.10), (5.11) and (5.12), and repeating the arguments for the integral Ω | u | | v | γ 𝑑 x , we obtain

u W 1 , p ( x ) ( Ω ) C u W 1 , p ( x ) ( Ω ) 1 p - ( 1 + v W 1 , q ( x ) ( Ω ) ) α + p - + C u W 1 , p ( x ) ( Ω ) 1 p + ( 1 + v W 1 , q ( x ) ( Ω ) ) α + p -
+ C u W 1 , p ( x ) ( Ω ) 1 p - + C u W 1 , p ( x ) ( Ω ) 1 p + .

Thus,

(5.13) u W 1 , p ( x ) ( Ω ) p - C u W 1 , p ( x ) ( Ω ) ( 1 + v n W 1 , p ( x ) ( Ω ) ) α + + C ( 1 + u W 1 , p ( x ) ( Ω ) ) .

A similar reasoning leads to

(5.14) v W 1 , p ( x ) ( Ω ) q - C v W 1 , q ( x ) ( Ω ) ( 1 + u W 1 , p ( x ) ( Ω ) ) β + + C ( 1 + v W 1 , q ( x ) ( Ω ) ) .

Since α + + 1 < p - and β + + 1 < q - , it follows that the component 𝒞 is bounded, which is absurd. Consequently, 𝒞 crosses the set { 1 } × L p ( x ) ( Ω ) × L q ( x ) ( Ω ) , and this implies that there is a solution ( u ε , v ε ) of (5.1). The proof is completed. ∎

5.2 Passage to the limit

Set ε = 1 n in (5.1) with any integer n 1 . By applying Theorem 5.2, we know that there exist u 1 / n := u n and v 1 / n := v n that solve the problem (5.1) with ε = 1 n .

Claim.

The sequences { u n } and { v n } are bounded in W 0 1 , p ( x ) ( Ω ) and W 0 1 , q ( x ) ( Ω ) , respectively, and the weak limits (that exist up to a subsequence) are strictly positive in Ω.

First of all, we know that - Δ p ( x ) u n m 1 > 0 , where m 1 = min { m - , m + } . If w 1 denotes the unique positive solution of

{ - Δ p ( x ) w 1 = m 1 in  Ω , w 1 = 0 on  Ω ,

the maximum principle gives

u n w 1 > 0 in  Ω .

By the strong maximum principle (see [11, Theorem 1.2]), we have w 1 η > 0 , where η is the inward normal vector of Ω . Let ϕ q - be an eigenfunction associated to the first eigenvalue of the operator ( - Δ q - , W 0 1 , q - ( Ω ) ) . Note that

P 1 ϕ q - ( x ) w 1 ( x ) ,

where P 1 is a positive constant that does not depend on x Ω .

Denote by ϕ p - an eigenfunction associated to the first eigenvalue of the operator ( - Δ p - , W 0 1 , p - ( Ω ) ) . Reasoning as above, we also have v n w 2 > 0 and

(5.15) L 1 ϕ p - ( x ) w 2 ( x ) ,

where L 1 is a positive constant that does not depend on x Ω , with w 2 being the unique positive solution of

{ - Δ q ( x ) w 2 = m 2 in  Ω , w 2 = 0 on  Ω .

Let δ ( 0 , 1 ) . By using u n as a test function in its corresponding system of equations and arguing as in the set of inequalities (5.10) and (5.11), we get

Ω | u n | p ( x ) 𝑑 x C ( Ω | u n | | v n | δ 𝑑 x + Ω | u n | | v n | δ 𝑑 x + u n L p ( x ) ( Ω ) ) + C Ω | u n | | v n | α ( x ) 𝑑 x ,

where C is a constant that depends on γ and θ. By the Hardy–Sobolev inequality (see [13]), together with the embedding W 0 1 , p ( x ) ( Ω ) W 0 1 , p - ( Ω ) and the relation (5.15), it follows that

(5.16) Ω | u n | | v n | δ 𝑑 x Ω | u n | w 2 δ 𝑑 x Ω | u n | C ϕ p - δ 𝑑 x C u n L p ( x ) ( Ω ) ,

where the constant C does not depend on n .

By (5.16) and using the reasoning that leads to (5.13) and (5.14), we obtain that ( u n , v n ) is bounded in E. Passing to a subsequence, we have

  1. u n u in W 1 , p ( x ) ( Ω ) ,

  2. u n u in L p ( x ) ( Ω ) ,

  3. u n u a.e in Ω,

  4. v n v in W 1 , p ( x ) ( Ω ) ,

  5. v n v in L p ( x ) ( Ω ) ,

  6. v n v a.e in Ω

for some pair ( u , v ) E . From the previous pointwise convergence and the relations between w 1 , u n and w 2 , v n , we conclude that u > 0 and v > 0 , which proves the claim.

Taking u n as a test function and repeating the arguments of relations (5.3)–(5.8), we get that u n u in W 0 1 , p ( x ) ( Ω ) . Notice that the same argument provides that v n v in W 0 1 , q ( x ) ( Ω ) .

From the previous strong convergence of u n and v n , combined with Lebesgue’s dominated convergence theorem, we obtain

Ω | u | p ( x ) - 2 u ϕ d x = Ω - γ ϕ log v d x + Ω θ ϕ v 𝑑 x

and

Ω | v | p ( x ) - 2 u ψ d x = Ω - γ ψ log u d x + Ω θ ψ u 𝑑 x

for all ( ϕ , ψ ) W 0 1 , p ( x ) ( Ω ) × W 0 1 , q ( x ) ( Ω ) , and the existence of a solution is proved.

Award Identifier / Grant number: 304036/2013-7

Award Identifier / Grant number: 402792/2015-7

Funding statement: The first author was partially supported by Conselho Nacional de Desenvolvimento Científico (304036/2013-7) and Instituto Nacional de Ciência de Tecnologia. The second author was supported by Conselho Nacional de Desenvolvimento Científico (402792/2015-7).

Acknowledgements

The authors thank the anonymous referees and the editor, Prof. Vicentiu Rădulescu, for their valuable comments which helped to improve this work. The work was started while the second and the third authors were visiting the Federal University of Campina Grande. They thank Prof. Claudianor Alves and the other members of the department for hospitality.

References

[1] E. Acerbi and G. Mingione, Regularity results for stationary electrorheological fluids, Arch. Ration. Mech. Anal. 164 (2002), 213–259. 10.1016/S1631-073X(02)02337-3Search in Google Scholar

[2] E. Acerbi and G. Mingione, Regularity results for electrorheological fluids: Stationary case, C. R. Math. Acad. Sci. Paris 334 (2002), 817–822. 10.1016/S1631-073X(02)02337-3Search in Google Scholar

[3] C. O. Alves and A. Moussaoui, Existence and regularity of solutions for a class of singular ( p ( x ) , q ( x ) ) -Laplacian systems, Complex Var. Elliptic Equ. (2017), 10.1080/17476933.2017.1298589. 10.1080/17476933.2017.1298589Search in Google Scholar

[4] S. N. Antontsev and J. F. Rodrigues, On stationary thermo-rheological viscous flows, Ann. Univ. Ferrara Sez. VII Sci. Mat. 52 (2006), 19–36. 10.1007/s11565-006-0002-9Search in Google Scholar

[5] S. Carl, V. K. Le and D. Motreanu, Nonsmooth Variational Problems and Their Inequalities, Comparaison Principles and Applications, Springer, New York, 2007. 10.1007/978-0-387-46252-3Search in Google Scholar

[6] A. Chambolle and P. L. Lions, Image recovery via total variation minimization and related problems, Numer. Math. 76 (1997), 167–188. 10.1007/s002110050258Search in Google Scholar

[7] Y. Chen, S. Levine and M. Rao, Variable exponent, linear growth functionals in image restoration, SIAM J. Appl. Math. 66 (2006), 1383–1406. 10.1137/050624522Search in Google Scholar

[8] O. S. de Queiroz, A Neumann problem with logarithmic nonlinearity in a ball, Nonlinear Anal. 70 (2009), no. 4, 1656–1662. 10.1016/j.na.2008.02.048Search in Google Scholar

[9] X. Fan, Q. Zhang and D. Zhao, Eigenvalues of p ( x ) -Laplacian Dirichlet problem, J. Math. Anal. Appl. 302 (2005), 306–317. 10.1016/j.jmaa.2003.11.020Search in Google Scholar

[10] X. L. Fan, On the sub-supersolution method for p ( x ) -Laplacian equations, J. Math. Anal. Appl. 330 (2007), 665–682. 10.1016/j.jmaa.2006.07.093Search in Google Scholar

[11] X. L. Fan, Y. Z. Zhao and Q. H. Zhang, A strong maximum principle for p ( x ) -Laplace equations, Chinese J. Contemp. Math. 24 (2003), no. 3, 1–7. Search in Google Scholar

[12] L. C. Ferreira and O. S. de Queiroz, A singular parabolic equation with logarithmic nonlinearity and L p -initial data, J. Differential Equations 249 (2010), no. 2, 349–365. 10.1016/j.jde.2010.03.019Search in Google Scholar

[13] O. Kavian, Inegalité de Hardy–Sobolev et applications, Thése de Doctorate de 3eme cycle, Université de Paris VI, 1978. Search in Google Scholar

[14] M. Mihăilescu and V. Rădulescu, On a nonhomogeneous quasilinear eigenvalue problem in Sobolev spaces with variable exponent, Proc. Amer. Math. Soc. 135 (2007), no. 9, 2929–2937. 10.1090/S0002-9939-07-08815-6Search in Google Scholar

[15] J. Mo and Z. Yang, Existence of solutions to p-Laplace equations with logarithmic nonlinearity, Electron. J. Differential Equations 87 (2009), 1–10. Search in Google Scholar

[16] M. Montenegro and O. S. de Queiroz, Existence and regularity to an elliptic equation with logarithmic nonlinearity, J. Differential Equations 246 (2009), no. 2, 482–511. 10.1016/j.jde.2008.06.035Search in Google Scholar

[17] J. Necas, Introduction to the Theory of Nonlinear Elliptic Equations, John Willey & Sons, Chichester, 1983. Search in Google Scholar

[18] P. H. Rabinowitz, Some global results for nonlinear eigenvalue problems, J. Funct. Anal. 7 (1971), 487–513. 10.1016/0022-1236(71)90030-9Search in Google Scholar

[19] V. Rădulescu, Nonlinear elliptic equations with variable exponent: Old and new, Nonlinear Anal. 121 (2015), 336–369. 10.1016/j.na.2014.11.007Search in Google Scholar

[20] V. Rădulescu and D. Repovš, Combined effects in nonlinear problems arising in the study of anisotropic continuous media, Nonlinear Anal. 75 (2012), no. 3, 1524–1530. 10.1016/j.na.2011.01.037Search in Google Scholar

[21] V. Rădulescu and D. Repovš, Partial Differential Equations with Variable Exponents. Variational Methods and Qualitative Analysis, Monogr. Res. Notes Math., CRC Press, Boca Raton, 2015. 10.1201/b18601Search in Google Scholar

[22] D. Repovš, Stationary waves of Schrödinger-type equations with variable exponent, Anal. Appl. (Singap.) 13 (2015), no. 6, 645–661. 10.1142/S0219530514500420Search in Google Scholar

[23] M. Ruzicka, Electrorheological Fluids: Modeling and Mathematical Theory, Lecture Notes in Math. 1748, Springer, Berlin, 2000. 10.1007/BFb0104029Search in Google Scholar

[24] H. Yin and Z. Yang, Existence and asymptotic behavior of positive solutions for a class of ( p ( x ) , q ( x ) ) -Laplacian systems, Differ. Equ. Appl. 6 (2014), 403–415. 10.7153/dea-06-22Search in Google Scholar

Received: 2017-09-11
Revised: 2017-10-11
Accepted: 2017-10-13
Published Online: 2017-11-27

© 2019 Walter de Gruyter GmbH, Berlin/Boston

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

Articles in the same Issue

  1. Frontmatter
  2. Asymptotic behavior of evolution systems in arbitrary Banach spaces using general almost periodic splittings
  3. Solvability of a product-type system of difference equations with six parameters
  4. On Dirichlet problem for fractional p-Laplacian with singular non-linearity
  5. Absence of Lavrentiev gap for non-autonomous functionals with (p,q)-growth
  6. On a class of fully nonlinear parabolic equations
  7. On sign-changing solutions for (p,q)-Laplace equations with two parameters
  8. Weighted Caffarelli–Kohn–Nirenberg type inequalities related to Grushin type operators
  9. On the fractional p-Laplacian equations with weight and general datum
  10. An elliptic equation with an indefinite sublinear boundary condition
  11. Liouville-type theorems for elliptic equations in half-space with mixed boundary value conditions
  12. Well/ill-posedness for the dissipative Navier–Stokes system in generalized Carleson measure spaces
  13. Hypercontractivity, supercontractivity, ultraboundedness and stability in semilinear problems
  14. Theoretical analysis of a water wave model with a nonlocal viscous dispersive term using the diffusive approach
  15. A multiplicity result for asymptotically linear Kirchhoff equations
  16. Higher-order anisotropic models in phase separation
  17. Well-posedness and maximum principles for lattice reaction-diffusion equations
  18. Existence of a bound state solution for quasilinear Schrödinger equations
  19. Existence and concentration behavior of solutions for a class of quasilinear elliptic equations with critical growth
  20. Homoclinics for strongly indefinite almost periodic second order Hamiltonian systems
  21. A new method for converting boundary value problems for impulsive fractional differential equations to integral equations and its applications
  22. Diffusive logistic equations with harvesting and heterogeneity under strong growth rate
  23. On viscosity and weak solutions for non-homogeneous p-Laplace equations
  24. Periodic impulsive fractional differential equations
  25. A result of uniqueness of solutions of the Shigesada–Kawasaki–Teramoto equations
  26. Solutions of vectorial Hamilton–Jacobi equations are rank-one absolute minimisers in L
  27. Large solutions to non-divergence structure semilinear elliptic equations with inhomogeneous term
  28. The elliptic sinh-Gordon equation in a semi-strip
  29. The Gelfand problem for the 1-homogeneous p-Laplacian
  30. Boundary layers to a singularly perturbed Klein–Gordon–Maxwell–Proca system on a compact Riemannian manifold with boundary
  31. Subharmonic solutions of Hamiltonian systems displaying some kind of sublinear growth
  32. Multiple solutions for an elliptic system with indefinite Robin boundary conditions
  33. New solutions for critical Neumann problems in ℝ2
  34. A fractional Kirchhoff problem involving a singular term and a critical nonlinearity
  35. Existence and non-existence of solutions to a Hamiltonian strongly degenerate elliptic system
  36. Characterizing the strange term in critical size homogenization: Quasilinear equations with a general microscopic boundary condition
  37. Nonlocal perturbations of the fractional Choquard equation
  38. A pathological example in nonlinear spectral theory
  39. Infinitely many solutions for cubic nonlinear Schrödinger equations in dimension four
  40. On Cauchy–Liouville-type theorems
  41. Maximal Lp -Lq regularity to the Stokes problem with Navier boundary conditions
  42. Besov regularity for solutions of p-harmonic equations
  43. The classical theory of calculus of variations for generalized functions
  44. On the Cauchy problem of a degenerate parabolic-hyperbolic PDE with Lévy noise
  45. Hölder gradient estimates for a class of singular or degenerate parabolic equations
  46. Critical and subcritical fractional Trudinger–Moser-type inequalities on
  47. Multiple nonradial solutions for a nonlinear elliptic problem with singular and decaying radial potential
  48. Quantization of energy and weakly turbulent profiles of solutions to some damped second-order evolution equations
  49. An elliptic system with logarithmic nonlinearity
  50. The Caccioppoli ultrafunctions
  51. Equilibrium of a production economy with non-compact attainable allocations set
  52. Exact behavior around isolated singularity for semilinear elliptic equations with a log-type nonlinearity
  53. The higher integrability of weak solutions of porous medium systems
  54. Classification of stable solutions for boundary value problems with nonlinear boundary conditions on Riemannian manifolds with nonnegative Ricci curvature
  55. Regularity results for p-Laplacians in pre-fractal domains
  56. Carleman estimates and null controllability of a class of singular parabolic equations
  57. Limit profiles and uniqueness of ground states to the nonlinear Choquard equations
  58. On a measure of noncompactness in the space of regulated functions and its applications
  59. p-fractional Hardy–Schrödinger–Kirchhoff systems with critical nonlinearities
  60. On the well-posedness of a multiscale mathematical model for Lithium-ion batteries
  61. Global existence of a radiative Euler system coupled to an electromagnetic field
  62. On the existence of a weak solution for some singular p ( x ) -biharmonic equation with Navier boundary conditions
  63. Choquard-type equations with Hardy–Littlewood–Sobolev upper-critical growth
  64. Clustered solutions for supercritical elliptic equations on Riemannian manifolds
  65. Ground state solutions for the Hénon prescribed mean curvature equation
  66. Quasilinear equations with indefinite nonlinearity
  67. Concentrating solutions for a planar elliptic problem with large nonlinear exponent and Robin boundary condition
  68. Retraction of: Concentrating solutions for a planar elliptic problem with large nonlinear exponent and Robin boundary condition
Downloaded on 25.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/anona-2017-0200/html
Scroll to top button