Existence of three solutions for a Navier boundary value problem involving the (
          p
          (
          x
          )
          ,
          q
          (
          x
          )
          ) -biharmonic

Feng-Li Huang; Guang-Sheng Chen; Yu-Qi Niu; Ti Song

doi:10.1186/1687-2770-2013-228

Impact Factor 0.819

Research

Open Access

Existence of three solutions for a Navier boundary value problem involving the $(p (x), q (x))$ -biharmonic

Feng-Li Huang¹,
Guang-Sheng Chen²Email author,
Yu-Qi Niu³ and
Ti Song⁴

Boundary Value Problems20132013:228

https://doi.org/10.1186/1687-2770-2013-228

Received: 31 July 2013

Accepted: 4 September 2013

Published: 7 November 2013

Abstract

In this paper, we study $(p (x), q (x))$ -biharmonic systems with Navier boundary condition on a bounded domain and obtain three solutions under appropriate hypotheses. The technical approach is mainly based on the general three critical points theorem obtained by Ricceri.

Keywords

three solutions

(p (x), q (x))

-biharmonic Navier condition Ricceri’s three critical points theorem

1 Introduction and main results

In this paper, we consider the Navier boundary value problem involving the

(p (x), q (x))

-biharmonic systems

{\begin{cases} Δ (| Δ u |^{p (x) - 2} Δ u) = λ F_{u} (x, u, v) + μ G_{u} (x, u, v), & in Ω, \\ Δ (| Δ u |^{q (x) - 2} Δ u) = λ F_{v} (x, u, v) + μ G_{v} (x, u, v), & in Ω, \\ u = Δ u = v = Δ v = 0, & on \partial Ω, \end{cases}

(P)

where

λ, μ \in [0, + \infty)

,

Ω \subset R^{N}

(

N \geq 1

) is a nonempty bounded open set with a boundary ∂ Ω of class

C^{1}

,

F, G : Ω \times R \times R \to R

are functions such that

F (\cdot, s, t)

,

G (\cdot, s, t)

are measurable in Ω for all

(s, t) \in R \times R

and

F (x, \cdot, \cdot)

is

C^{1}

in

R \times R

for a.e.

x \in Ω

,

F_{i}

denotes the partial derivative of F with respect to i,

i = u, v

, so does

G_{i}

. And

p, q \in C (\bar{Ω})

,

1 < p^{-} = {inf}_{x \in \bar{Ω}} p (x) \leq p^{+} = {sup}_{x \in \bar{Ω}} p (x) < + \infty

,

1 < q^{-} = {inf}_{x \in \bar{Ω}} q (x) \leq q^{+} = {sup}_{x \in \bar{Ω}} q (x) < + \infty

. Moreover,

p^{*} (x) = {\begin{cases} \frac{N p (x)}{N - p (x)} & if p (x) < N, \\ \infty & if p (x) \geq N, \end{cases}

is the critical exponent just as in many papers. Obviously, $p (x) < p^{*} (x)$ , $q (x) < q^{*} (x)$ for all $x \in Ω$ .

In what follows, E denotes the Cartesian product of two Sobolev spaces $W^{2, p (x)} (Ω) \cap W_{0}^{1, p (x)} (Ω)$ and $W^{2, q (x)} (Ω) \cap W_{0}^{1, q (x)} (Ω)$ , i.e., $E = (W^{2, p (x)} (Ω) \cap W_{0}^{1, p (x)} (Ω)) \times (W^{2, q (x)} (Ω) \cap W_{0}^{1, q (x)} (Ω))$ , and X denotes the Sobolev space $W^{2, p (x)} (Ω) \cap W_{0}^{1, p (x)} (Ω)$ .

In recent years, the study of differential equations and variational problems with $p (x)$ -growth conditions has been an interesting topic resulting from nonlinear electrorheological fluids (see [1]) and elastic mechanics (see [2]).

Some authors considered elliptic systems (see [3–16]) which have been used in a wide range of applications. Existence and multiplicity results for elliptic systems involving variational structure have been extensively investigated.

In [3], Boccardo and Figueiredo studied the following boundary value problem involving the

(p, q)

-Laplacian:

{\begin{cases} - Δ_{p} u = F_{u} (x, u, v), \\ - Δ_{q} u = F_{v} (x, u, v), \end{cases}

where p and q are real numbers larger than 1.

In [4], applying the fibering method established by Pohozaev, Bozhkova and Mitidieri, the authors studied the existence of multiple solutions for quasilinear system involving a pair of $(p, q)$ -Laplacian operators.

In [5], Chun Li and Chun-Lei Tang ensured the existence of three solutions for the problem

{\begin{cases} - Δ_{p} u = λ F_{u} (x, u, v), & in Ω, \\ - Δ_{q} u = λ F_{v} (x, u, v), & in Ω, \\ u = v = 0, & on \partial Ω, \end{cases}

where $p > N$ , $q > N$ and F satisfies suitable assumptions.

In [6], Afrouzi and Heidarkhani studied the existence of three solutions for a class of Dirichlet quasilinear elliptic systems involving the $(p_{1}, \dots, p_{n})$ -Laplacian. In [7], Jing-Jing Liu and Xia-Yang Shi proved the existence of multiple solutions for a quasilinear system involving a pair of $(p (x), q (x))$ -Laplacian operators. In [8], Bin Ge and Ji-Hong Shen obtained multiple solutions for a class of differential inclusion systems involving the $(p (x), q (x))$ -Laplacian.

Recently, Lin Li and Chun-Lei Tang (see [9]) considered the Navier boundary value problem involving the

(p, q)

-biharmonic systems

{\begin{cases} Δ (| Δ u |^{p - 2} Δ u) = λ F_{u} (x, u, v) + μ G_{u} (x, u, v), & in Ω, \\ Δ (| Δ u |^{q - 2} Δ u) = λ F_{v} (x, u, v) + μ G_{v} (x, u, v), & in Ω, \\ u = Δ u = v = Δ v = 0, & on \partial Ω, \end{cases}

where $p > max {1, \frac{N}{2}}$ , $q > max {1, \frac{N}{2}}$ , and F, G satisfy suitable assumptions.

The main result of this paper is the following theorem.

Theorem 1.1 Suppose that there exist two positive constants C, d and two functions $γ (x), β (x) \in C (\bar{Ω})$ with $1 < γ^{-} < γ^{+} < p^{-}$ , $1 < β^{-} < β^{+} < q^{-}$ such that

(j1) $F (x, s, t) \geq 0$ for a.e. $x \in Ω$ and all $(s, t) \in [0, d] \times [0, d]$ ;

(j2)

\exists p_{1} (x), q_{1} (x) \in C (\bar{Ω})

and

p^{+} < p_{1}^{-} \leq p_{1} (x) < p^{*} (x)

,

q^{+} < q_{1}^{-} \leq q_{1} (x) < q^{*} (x)

such that

\underset{(s, t) \to (0, 0) x \in Ω}{lim sup sup} \frac{F (x, s, t)}{| s |^{p_{1} (x)} + | t |^{q_{1} (x)}} < + \infty;

(j3) $| F (x, s, t) | \leq C (1 + | s |^{γ (x)} + | t |^{β (x)})$ for a.e. $x \in Ω$ and all $(s, t) \in R \times R$ ;

(j4)

F (x, 0, 0) = 0

for a.e.

x \in Ω

. Then there exist an open interval

Λ \subseteq [0, + \infty)

and a positive real number r with the following property: for each

λ \in Λ

and each function

G : Ω \times R \times R \mapsto R

, measurable in Ω,

C^{1}

in

R \times R

and satisfying

sup_{(x, s, t) \to (Ω \times R \times R)} \frac{| G (x, s, t) |}{1 + | s |^{p_{2} (x)} + | t |^{q_{2} (x)}} < \infty,

where $p_{2}, q_{2} \in C (\bar{Ω})$ and $p_{2} (x) < p^{*} (x)$ , $q_{2} (x) < q^{*} (x)$ for all $x \in \bar{Ω}$ , there exists $δ > 0$ such that, for each $μ \in [0, δ]$ , problem (P) has at least three weak solutions whose norms in $(W^{2, p (x)} (Ω) \cap W_{0}^{1, p (x)} (Ω)) \times (W^{2, q (x)} (Ω) \cap W_{0}^{1, q (x)} (Ω))$ are less than r.

The paper is organized as follows. In Section 2, we present some necessary preliminary knowledge about the Lebesgue and Sobolev spaces with variable exponents, and present Ricceri’s three-critical-points theorem. In Section 3, we prove the main result.

2 Preliminaries

Assume that Ω is a bounded domain of

R^{N}

(

N \geq 1

) with a smooth boundary ∂ Ω. Let

\begin{matrix} C_{+} (\bar{Ω}) = {h | h \in C (\bar{Ω}), h (x) > 1 for all x \in \bar{Ω}}, \\ L_{+}^{\infty} (Ω) = {p \in L^{\infty} (Ω) : \underset{x \in Ω}{ess inf} p (x) > 1} . \end{matrix}

For

p \in L_{+}^{\infty} (Ω)

, set

p^{-} = p^{-} (Ω) = \underset{x \in Ω}{ess inf} p (x), p^{+} = p^{+} (Ω) = \underset{x \in Ω}{ess sup} p (x) .

For

p \in L_{+}^{\infty} (Ω)

, define

L^{p (x)} (Ω) = {u | u : Ω \to R is measurable and \int_{Ω} | u |^{p (x)} d x < \infty}

with the norm

{∥ u ∥}_{L^{p (x)} (Ω)} = | u |_{p (x)} = inf {λ : \int_{Ω} | \frac{u}{λ} |^{p (x)} d x \leq 1}

and

W^{1, p (x)} (Ω) = {u \in L^{p (x)} (Ω) : | \nabla u | \in L^{p (x)} (Ω)}

endowed with the norm

{∥ u ∥}_{W^{1, p (x)} (Ω)} = | u |_{p (x)} + | \nabla u |_{p (x)} .

We denote by $W_{0}^{1, p (x)} (Ω)$ the closure of $C_{0}^{\infty} (Ω)$ in $W^{1, p (x)} (Ω)$ .

For the basic properties of the spaces $L^{p (x)} (Ω)$ , $W^{1, p (x)} (Ω)$ and $W_{0}^{1, p (x)} (Ω)$ , please refer to [17–20]. Now we recite some known results which will be used later.

Proposition 2.1 (see [17])

(i)

The spaces $L^{p (x)} (Ω)$ , $W^{1, p (x)} (Ω)$ and $W_{0}^{1, p (x)} (Ω)$ are separable and reflexive Banach spaces;
(ii)

If $q \in C_{+} (\bar{Ω})$ and $q (x) < p^{*} (x)$ for any $x \in \bar{Ω}$ , then the imbedding from $W^{1, p (x)} (Ω)$ to $L^{q (x)} (Ω)$ is compact and continuous;
(iii)

There is a constant $C > 0$ such that $| u |_{p (x)} \leq C | \nabla u |_{p (x)}$ $\forall u \in W_{0}^{1, p (x)} (Ω)$ .

By (iii) of Proposition 2.1, we know that $| \nabla u |_{p (x)}$ and $∥ u ∥$ are equivalent norms on $W_{0}^{1, p (x)} (Ω)$ . We use $| \nabla u |_{p (x)}$ to replace $∥ u ∥$ in the following discussion.

Proposition 2.2 (see [18])

Set

ρ (u) = \int_{Ω} | u |^{p (x)} d x

for

u, u_{k} \in L^{p (x)} (Ω)

, we obtain

(1)

For $u \neq 0$ , $| u |_{p (x)} = λ \Leftrightarrow ρ (\frac{u}{λ}) = 1$ ;
(2)

$| u |_{p (x)} < 1 (= 1; > 1) \Leftrightarrow ρ (\frac{u}{λ}) < 1 (= 1; > 1)$ ;
(3)

If $| u |_{p (x)} > 1$ , then $| u |_{p (x)}^{p^{-}} \leq ρ (u) \leq | u |_{p (x)}^{p^{+}}$ ;
(4)

If $| u |_{p (x)} < 1$ , then $| u |_{p (x)}^{p^{+}} \leq ρ (u) \leq | u |_{p (x)}^{p^{-}}$ ;
(5)

${lim}_{k \to \infty} | u_{k} |_{p (x)} = 0 \Leftrightarrow {lim}_{k \to \infty} ρ (u_{k}) = 0$ ;
(6)

$| u_{k} |_{p (x)} \to \infty \Leftrightarrow ρ (u_{k}) \to \infty$ .

In this paper, the space E is endowed with the following equivalent norm:

∥ (u, v) ∥ = ∥ u ∥ + ∥ v ∥,

where

∥ u ∥ = inf {λ > 0 : \int_{Ω} | \frac{Δ u}{λ} |^{p (x)} d x \leq 1}, ∥ v ∥ = inf {μ > 0 : \int_{Ω} | \frac{Δ v}{μ} |^{q (x)} d x \leq 1} .

Similar to Proposition 2.2, we obtain the following.

Proposition 2.3 Let

ϕ (u) = \int_{Ω} | Δ u |^{p (x)} d x

for

u, u_{k} \in W^{2, p (x)} (Ω)

, we obtain:

(1)

For $u \neq 0$ , $∥ u ∥ = λ \Leftrightarrow ϕ (\frac{u}{λ}) = 1$ ;
(2)

$∥ u ∥ < 1 (= 1; > 1) \Leftrightarrow ϕ (\frac{u}{λ}) < 1 (= 1; > 1)$ ;
(3)

If $∥ u ∥ > 1$ , then ${∥ u ∥}^{p^{-}} \leq ϕ (u) \leq {∥ u ∥}^{p^{+}}$ ;
(4)

If $∥ u ∥ < 1$ , then ${∥ u ∥}^{p^{+}} \leq ϕ (u) \leq {∥ u ∥}^{p^{-}}$ ;
(5)

${lim}_{k \to \infty} ∥ u_{k} ∥ = 0 \Leftrightarrow {lim}_{k \to \infty} ϕ (u_{k}) = 0$ ;
(6)

$∥ u_{k} ∥ \to \infty \Leftrightarrow ϕ (u_{k}) \to \infty$ .

Let

G (u) = \int_{Ω} \frac{1}{p (x)} | Δ u |^{p (x)} d x

,

u \in X

and denote

L = G^{'} : X \to X^{*}

, then

(L (u), v) = \int_{Ω} | Δ u |^{p (x) - 2} Δ u Δ v d x \forall u, v \in X .

Proposition 2.4 (see [17])

(i)

$L : X \to X^{*}$ is a continuous, bounded and strictly monotone operator;
(ii)

L is a mapping of type $(S_{+})$ , i.e., if $u_{n} \to u$ in X and $\bar{{lim}_{n \to \infty}} ((L (u_{n}) - L (u), u_{n} - u)) \leq 0$ , then $u_{n} \to u$ in X;
(iii)

$L : X \to X^{*}$ is a homeomorphism.

Proposition 2.5 (see [21])

Let X be a separable and reflexive real Banach space;

I \subseteq R

; let

Φ : X \to R

be a continuously Gâteaux differentiable and sequentially weakly lower semicontinuous functional whose Gâteaux derivative admits a continuous inverse on

X^{*}

;

J : X \to R

is a continuously Gâteaux differentiable functional whose Gâteaux derivative is compact. In addition, Φ is bounded on each bounded subset of X. Assume that

lim_{∥ u ∥ \to + \infty} (Φ (u) + λ J (u)) = + \infty

(2.1)

for all

λ \in I \subseteq [0, \infty [

, and that there exists

ρ \in R

such that

sup_{λ \in I} inf_{u \in X} (Φ (u) + λ (J (u) + ρ)) < inf_{u \in X} sup_{λ \in I} (Φ (u) + λ (J (u) + ρ)) .

(2.2)

Then there exist a nonempty open set

A \subseteq I

and a positive real number r with the following property: for every

λ \in A

and every

C^{1}

functional

Ψ : X \to R

with a compact derivative, there exists

δ > 0

such that, for each

μ \in [0, δ]

, the equation

Φ^{'} (u) + λ J^{'} (u) + μ Ψ^{'} (u) = 0

has at least three solutions in X whose norms are less than r.

Proposition 2.6 (see [22])

Let X be a nonempty set, and let Φ, J be two real functionals on X. Assume that there are

r > 0

and

x_{0}, x_{1} \in X

such that

\begin{matrix} Φ (x_{0}) + J (x_{0}) = 0, Φ (x_{1}) > r, \\ sup_{x \in Φ^{- 1} (] - \infty, r])} J (x) < r \frac{J (x_{1})}{Φ (x_{1})} . \end{matrix}

(2.3)

Then, for each ρ satisfying

sup_{x \in Φ^{- 1} (] - \infty, r])} J (x) < ρ < r \frac{J (x_{1})}{Φ (x_{1})},

one has

sup_{λ \geq 0} inf_{x \in X} (Φ (x) + λ (ρ - J (x))) < inf_{x \in X} sup_{λ \geq 0} (Φ (x) + λ (ρ - J (x))) .

3 Proof of the main result

Definition 3.1 A weak solution of problem (P) is any

(u, v) \in E

such that

\begin{aligned} \int_{Ω} (| Δ u |^{p (x) - 2} Δ u Δ ξ + | Δ v |^{q (x) - 2} Δ v Δ η) d x \\ - λ \int_{Ω} (F_{u} ξ + F_{v} η) d x - μ \int_{Ω} (G_{u} ξ + G_{v} η) d x = 0 \end{aligned}

for all

\forall (ξ, η) \in E

. We define the corresponding energy functional of problem (P) as

\begin{aligned} H (u, v) & = Φ (u, v) + λ J (u, v) + μ Ψ (u, v) \\ = \int_{Ω} (\frac{1}{p (x)} | Δ u |^{p (x)} + \frac{1}{q (x)} | Δ v |^{q (x)}) d x - λ \int_{Ω} F (x, u, v) d x - μ \int_{Ω} G (x, u, v) d x, \end{aligned}

where

\begin{matrix} Φ (u, v) = \int_{Ω} (\frac{1}{p (x)} | Δ u |^{p (x)} + \frac{1}{q (x)} | Δ v |^{q (x)}) d x, \\ J (u, v) = - \int_{Ω} F (x, u, v) d x; Ψ (u, v) = - \int_{Ω} G (x, u, v) d x . \end{matrix}

Then $H (u, v)$ is a $C^{1}$ functional and the critical points of it are weak solutions of problem (P).

Proof of Theorem 1.1 Let Φ, J, Ψ as above. So, for each

u, v, ξ, η \in E

, one has

\begin{matrix} Φ^{'} (u, v) (ξ, η) = \int_{Ω} (| Δ u |^{p (x) - 2} Δ u Δ ξ + | Δ v |^{q (x) - 2} Δ v Δ η) d x, \\ J^{'} (u, v) (ξ, η) = - \int_{Ω} F_{u} (x, u, v) ξ d x - \int_{Ω} F_{v} (x, u, v) η d x, \\ Ψ^{'} (u, v) (ξ, η) = - \int_{Ω} G_{u} (x, u, v) ξ d x - \int_{Ω} G_{v} (x, u, v) η d x . \end{matrix}

Therefore, the weak solutions of problem (P) are exactly the solutions of the equation

Φ^{'} (u, v) + λ J^{'} (u, v) + μ Ψ^{'} (u, v) = 0 .

In view of Proposition 2.4 (or [17] for details), certainly, Φ is a continuously Gâteaux differentiable and sequentially weakly lower semi-continuous functional whose Gâteaux derivative admits a continuous inverse on $E^{*}$ . Moreover, J and Ψ are continuously Gâteaux differentiable functionals whose Gâteaux derivatives are compact. Obviously, Φ is bounded on each bounded subset of X under our assumptions.

By Proposition 2.3, set

G (u) = \int_{Ω} \frac{1}{p (x)} | Δ u |^{p (x)} d x

just as before, then for

∥ u ∥ \geq 1

,

\frac{1}{p^{+}} {∥ u ∥}^{p^{-}} \leq G (u) \leq \frac{1}{p^{-}} {∥ u ∥}^{p^{+}};

(3.1)

for

∥ u ∥ < 1

,

\frac{1}{p^{+}} {∥ u ∥}^{p^{+}} \leq G (u) \leq \frac{1}{p^{-}} {∥ u ∥}^{p^{-}} .

(3.2)

Actually, for

∥ u ∥ < 1

, set

C_{0} \geq \frac{1}{p^{+}} {∥ u ∥}^{p^{-}} - \frac{1}{p^{+}} {∥ u ∥}^{p^{+}} \geq 0

, then we can obtain

G (u) = \int_{Ω} \frac{1}{p (x)} | Δ u |^{p (x)} d x \geq \frac{1}{p^{+}} {∥ u ∥}^{p^{-}} - C_{0} .

Hence we have

G (u) = \int_{Ω} \frac{1}{p (x)} | Δ u |^{p (x)} d x \geq \frac{1}{p^{+}} {∥ u ∥}^{p^{-}} - C_{0}, \forall u \in X .

So, there exists a constant

C_{1} \geq 0

such that

\begin{aligned} Φ (u, v) & = \int_{Ω} (\frac{1}{p (x)} | Δ u |^{p (x)} + \frac{1}{q (x)} | Δ v |^{q (x)}) d x \\ \geq \frac{1}{p^{+}} {∥ u ∥}^{p^{-}} + \frac{1}{q^{+}} {∥ u ∥}^{q^{-}} - C_{1} \end{aligned}

holds for any

(u, v) \in E

.

\begin{aligned} λ J (u, v) & = - λ \int_{Ω} F (x, u, v) d x \\ \geq - λ \int_{Ω} C (1 + | u |^{γ (x)} + | v |^{β (x)}) d x \\ \geq - λ C (| Ω | + | u |_{γ (x)}^{γ^{+}} + | u |_{γ (x)}^{γ^{-}} + | v |_{β (x)}^{β^{+}} + | v |_{β (x)}^{β^{-}}) \\ \geq - C_{2} (1 + | u |_{γ (x)}^{γ^{+}} + | v |_{β (x)}^{β^{+}}) \\ \geq - C_{3} (1 + {∥ u ∥}^{γ^{+}} + {∥ v ∥}^{β^{+}}) \end{aligned}

holds for any

(u, v) \in E

, where constants

C_{2} \geq 0

,

C_{3} \geq 0

. Here, by using conditions (j3) and (ii) of Proposition 2.1, combining the two inequalities above, we can obtain

Φ (u, v) + λ J (u, v) \geq \frac{1}{p^{+}} {∥ u ∥}^{p^{-}} + \frac{1}{q^{+}} {∥ v ∥}^{q^{-}} - C_{3} (1 + {∥ u ∥}^{γ^{+}} + {∥ v ∥}^{β^{+}}) - C_{1} .

Due to

γ^{+} < p^{-}

,

β^{+} < q^{-}

, we get

lim_{∥ (u, v) ∥ \to + \infty} (Φ (u, v) + λ J (u, v)) = + \infty \forall (u, v) \in E, λ \in [0, \infty) .

Then assumption (2.1) of Proposition 2.5 is fulfilled.

Next, we derive that assumption (2.2) is also fulfilled. It is easy to verify the conditions of Proposition 2.6. Let

(u_{0}, v_{0}) = (0, 0)

, we can easily have

Φ (u_{0}, v_{0}) = - J (u_{0}, v_{0}) = 0 .

Then there exist $γ > 0$ and $(u_{1}, v_{1}) \in E$ such that $Φ (u_{1}, v_{1}) > γ$ and (2.3) is satisfied.

There is a point

x^{0} \in Ω

since it is a nonempty bounded open set. Let

r_{2} > r_{1} > 0

, put

w (x) = {\begin{cases} 0, & x \in Ω ∖ B (x^{0}, r_{2}), \\ \frac{d (3 (l^{4} - r_{2}^{4}) - 4 (r_{1} + r_{2}) (l^{3} - r_{2}^{3}) + 6 r_{1} r_{2} (l^{2} - r_{2}^{2}))}{(r_{2} - r_{1}) (r_{1} + r_{2})}, & x \in B (x^{0}, r_{2}) ∖ B (x^{0}, r_{1}), \\ d, & x \in B (x^{0}, r_{1}), \end{cases}

where

B (x, r)

is the open ball in

R^{N}

of radius r centered at x,

l = dist (x, x^{0}) = \sqrt{\sum_{i = 1}^{N} {(x_{i} - x_{i}^{0})}^{2}} .

Let

(u_{1} (x), v_{1} (x)) = (w (x), w (x))

, then by (j1) we can derive that

- J (u_{1}, v_{1}) = - J (w, w) = \int_{Ω} F (x, w, w) d x > 0 .

From (j2),

\exists η \in [0, 1]

,

C_{1} > 0

such that

\begin{aligned} F (x, s, t) & < C_{1} (| s |^{p_{1} (x)} + | t |^{q_{1} (x)}) \\ < C_{1} (| s |^{p_{1}^{-}} + | t |^{q_{1}^{-}}) \forall (s, t) \in [- η, η] \times [- η, η] a.e. x \in Ω . \end{aligned}

By (j3), there are nine positive real numbers

M_{i}

(

i = 1, 2, \dots, 9

) according to

| s |

,

| t |

larger or smaller than η and 1. For example, when

| s | > 1

,

| t | < η

some

M_{i} = sup_{| s | > 1, | t | < η} \frac{C (1 + | s |^{γ^{+}} + | s |^{β^{-}})}{| s |^{p_{1}^{-}} + | t |^{q_{1}^{-}}} .

Set

M = max {C_{1}, M_{1}, \dots, M_{9}}

, then

F (x, s, t) < M (| s |^{p_{1}^{-}} + | t |^{q_{1}^{-}}) \forall (s, t) \in R \times R a.e. x \in Ω .

Hence, fix γ such that

0 < γ < 1

. And for

\frac{1}{p^{+}} {∥ u ∥}^{p^{+}} + \frac{1}{q^{+}} {∥ v ∥}^{q^{+}} \leq γ < 1

, by the Sobolev embedding theorem (

X \to L^{p_{1}^{-}} (Ω)

is continuous), there exist suitable positive constants

C_{2}

and

C_{3}

such that

\begin{aligned} - J (u, v) & = \int_{Ω} F (x, u, v) d x < M \int_{Ω} (| u |^{p_{1}^{-}} + | v |^{q_{1}^{-}}) d x \\ \leq C_{2} ({∥ u ∥}^{p_{1}^{-}} + {∥ v ∥}^{q_{1}^{-}}) \\ \leq C_{3} (γ^{\frac{p_{1}^{-}}{P^{+}}} + γ^{\frac{q_{1}^{-}}{q^{+}}}) . \end{aligned}

Since

p_{1}^{-} > p^{+}

,

q_{1}^{-} > q^{+}

, we have

lim_{γ \to 0^{+}} \frac{{sup}_{\frac{1}{p^{+}} {∥ u ∥}^{p^{+}} + \frac{1}{q^{+}} {∥ v ∥}^{q^{+}} \leq γ} - J (u, v)}{γ} = 0 .

(3.3)

We choose

w (x) \in X

as above such that

- J (w, w) > 0

. Fix

γ_{0}

such that

0 < γ < γ_{0} < min {\frac{1}{p^{+}}, \frac{1}{q^{+}}} \cdot min {{∥ w ∥}^{p^{+}} + {∥ w ∥}^{q^{+}}, {∥ w ∥}^{p^{-}} + {∥ w ∥}^{q^{-}}, 1} \leq 1

. Then we divide the proof into two cases.

(i)

For $∥ w ∥ < 1$ , by (3.2) we have
$\begin{aligned} Φ (u_{1}, v_{1}) & = Φ (w, w) \\ = \int_{Ω} (\frac{1}{p (x)} | Δ w |^{p (x)} + \frac{1}{q (x)} | Δ w |^{q (x)}) d x \\ \geq min {\frac{1}{p^{+}}, \frac{1}{q^{+}}} \int_{Ω} (| Δ w |^{p (x)} + | Δ w |^{q (x)}) d x \\ \geq min {\frac{1}{p^{+}}, \frac{1}{q^{+}}} ({∥ w ∥}^{p^{+}} + {∥ w ∥}^{q^{+}}) \\ \geq γ_{0} > γ . \end{aligned}$

By (3.3), we obtain

\begin{aligned} sup_{\frac{1}{p^{+}} {∥ u ∥}^{p^{+}} + \frac{1}{q^{+}} {∥ v ∥}^{q^{+}} \leq γ} - J (u, v) & \leq \frac{γ}{2} \frac{- J (u_{1}, v_{1})}{max {\frac{1}{p^{-}}, \frac{1}{q^{-}}} ({∥ w ∥}^{p^{-}} + {∥ w ∥}^{q^{-}})} \\ \leq \frac{γ}{2} \frac{- J (u_{1}, v_{1})}{Φ (u_{1}, v_{1})} < γ \frac{- J (u_{1}, v_{1})}{Φ (u_{1}, v_{1})} . \end{aligned}

(ii)

For $∥ w ∥ \geq 1$ , from (3.1) we get
$\begin{aligned} Φ (u_{1}, v_{1}) & = Φ (w, w) \\ = \int_{Ω} (\frac{1}{p (x)} | Δ w |^{p (x)} + \frac{1}{q (x)} | Δ w |^{q (x)}) d x \\ \geq min {\frac{1}{p^{+}}, \frac{1}{q^{+}}} \int_{Ω} (| Δ w |^{p (x)} + | Δ w |^{q (x)}) d x \\ \geq min {\frac{1}{p^{+}}, \frac{1}{q^{+}}} ({∥ w ∥}^{p^{-}} + {∥ w ∥}^{q^{-}}) \\ \geq γ_{0} > γ . \end{aligned}$

From (3.3), we have

\begin{aligned} sup_{\frac{1}{p^{+}} {∥ u ∥}^{p^{+}} + \frac{1}{q^{+}} {∥ v ∥}^{q^{+}} \leq γ} - J (u, v) & \leq \frac{γ}{2} \frac{- J (u_{1}, v_{1})}{max {\frac{1}{p^{-}}, \frac{1}{q^{-}}} ({∥ w ∥}^{p^{+}} + {∥ w ∥}^{q^{+}})} \\ \leq \frac{γ}{2} \frac{- J (u_{1}, v_{1})}{Φ (u_{1}, v_{1})} < γ \frac{- J (u_{1}, v_{1})}{Φ (u_{1}, v_{1})} . \end{aligned}

For any

(u, v) \in Φ^{- 1} ((- \infty, γ])

, we can obtain

Φ (u, v) < γ

, i.e.,

Φ (u, v) = \int_{Ω} (\frac{1}{p (x)} | Δ u |^{p (x)} + \frac{1}{q (x)} | Δ v |^{q (x)}) d x \leq γ .

Then we can have

min {\frac{1}{p^{+}}, \frac{1}{q^{+}}} \int_{Ω} (| Δ u |^{p (x)} + | Δ v |^{q (x)}) d x \leq γ .

So,

\int_{Ω} (| Δ u |^{p (x)} + | Δ v |^{q (x)}) d x < γ \cdot \frac{1}{min {\frac{1}{p^{+}}, \frac{1}{q^{+}}}} < γ_{0} \cdot \frac{1}{min {\frac{1}{p^{+}}, \frac{1}{q^{+}}}} < 1 .

This inequality implies

\int_{Ω} | Δ u |^{p (x)} d x < 1, \int_{Ω} | Δ v |^{q (x)} d x < 1,

i.e.,

∥ u ∥ < 1, ∥ v ∥ < 1 .

Therefore we have

\frac{1}{p^{+}} {∥ u ∥}^{p^{+}} + \frac{1}{q^{+}} {∥ u ∥}^{q^{+}} < \int_{Ω} (\frac{1}{p (x)} {| Δ u |}^{p (x)} + \frac{1}{q (x)} {| Δ v |}^{q (x)}) d x \leq γ .

So, we can get that

Φ^{- 1} ((- \infty, γ]) \subset {(u, v) : (u, v) \in E, \frac{1}{p^{+}} {∥ u ∥}^{p^{+}} + \frac{1}{q^{+}} {∥ u ∥}^{q^{+}} < γ} .

Then

sup_{(u, v) \in Φ^{- 1} ((- \infty, γ])} - J (u, v) \leq sup_{\frac{1}{p^{+}} {∥ u ∥}^{p^{+}} + \frac{1}{q^{+}} {∥ v ∥}^{q^{+}} \leq γ} - J (u, v) < γ \frac{- J (u_{1}, v_{1})}{Φ (u_{1}, v_{1})},

that is,

sup_{(u, v) \in Φ^{- 1} ((- \infty, γ])} - J (u, v) < γ \frac{- J (u_{1}, v_{1})}{Φ (u_{1}, v_{1})} .

Hence we can find

γ > 0

,

u_{1} = v_{1} = w

and

Φ (w, w) \leq γ

satisfying (2.3). Also, we can find ρ satisfying

sup_{(u, v) \in Φ^{- 1} ((- \infty, γ])} - J (u, v) < ρ < γ \frac{- J (u_{1}, v_{1})}{Φ (u_{1}, v_{1})} .

Put $I = [0, \infty)$ , moreover, $Φ (u, v)$ , $- J (u, v)$ fulfil the assumption of Proposition 2.6. So, applying Proposition 2.6, we can easily get that (2.2) is fulfilled.

Thus, Φ, J and Ψ fulfil all the assumptions of Proposition 2.5, and our conclusion follows from Proposition 2.5. □

Remark Applying Theorem 2.1 in [23] to the proof of Theorem 1.1, an upper bound of the interval of parameters λ, for which (P) has at least three weak solutions, is obtained. To be precise, in the conclusion of Theorem 1.1, one has

Λ \subseteq [0, \frac{h γ}{inf_{(u, v) \in Φ^{- 1} ((- \infty, γ])} J (u, v) - γ \frac{J (u_{1}, v_{1})}{Φ (u_{1}, v_{1})}}]

for each $h > 1$ and $(u_{1}, v_{1})$ as in the proof of Theorem 1.1 (namely, $u_{1} = v_{1} = w$ ).

Declarations

Acknowledgements

The authors would like to thank the editors and the referees for their valuable suggestions to improve the quality of this paper. This work was supported by the Scientific Research Project of Guangxi Education Department (No. 201204LX672).

Authors’ Affiliations

(1)

School of Information & Statistics, Guangxi University of Financial and Economics

(2)

Department of Construction and Information Engineering, Guangxi Modern Vocational Technology College

(3)

School of Mathematics and Statistics, Xuchang University

(4)

School of Civil Engineering, Hebei University of Technology

References

Ržuička M: Electrorheological Fluids Modeling and Mathematical Theory. Springer, Berlin; 2000.Google Scholar
Zhikov VV: Averaging of functionals of the calculus of variations and elasticity theory. Math. USSR, Izv. 1987, 9: 33-66.View ArticleMATHGoogle Scholar
Boccardo L, Figueiredo D: Some remarks on a system of quasilinear elliptic equations. Nonlinear Differ. Equ. Appl. 2002, 9: 309-323. 10.1007/s00030-002-8130-0View ArticleMathSciNetMATHGoogle Scholar
Bozhkova Y, Mitidieri E: Existence of multiple solutions for quasilinear systems via fibering method. J. Differ. Equ. 2003, 190: 239-267. 10.1016/S0022-0396(02)00112-2View ArticleMathSciNetMATHGoogle Scholar
Li C, Tang CL:Three solutions for a class of quasilinear elliptic systems involving the $(p, q)$ -Laplacian. Nonlinear Anal. 2008, 69: 3322-3329. 10.1016/j.na.2007.09.021MathSciNetView ArticleMATHGoogle Scholar
Afrouzi GA, Heidarkhani S:Existence of three solutions for a class of Dirichlet quasilinear elliptic systems involving the $(p_{1}, \dots, p_{n})$ -Laplacian. Nonlinear Anal. 2009, 70: 135-143. 10.1016/j.na.2007.11.038MathSciNetView ArticleMATHGoogle Scholar
Liu JJ, Shi XY:Existence of three solutions for a class of quasilinear elliptic systems involving the $(p (x), q (x))$ -Laplacian. Nonlinear Anal. 2009, 71: 550-557. 10.1016/j.na.2008.10.094MathSciNetView ArticleMATHGoogle Scholar
Ge B, Shen JH:Multiple solutions for a class of differential inclusion system involving the $(p (x), q (x))$ -Laplacian. Abstr. Appl. Anal. 2012., 2012: Article ID 971243Google Scholar
Li L, Tang CL:Existence of three solutions for $(p, q)$ -biharmonic systems. Nonlinear Anal. 2010, 73: 796-805. 10.1016/j.na.2010.04.018MathSciNetView ArticleMATHGoogle Scholar
Drábek P, Stavrakakis NM, Zographopoulos NB: Multiple nonsemitrivial solutions for quasilinear elliptic systems. Differ. Integral Equ. 2003, 16(12):1519-1531.MathSciNetMATHGoogle Scholar
Djellit A, Tas S: On some nonlinear elliptic systems. Nonlinear Anal. 2004, 59: 695-706.MathSciNetView ArticleMATHGoogle Scholar
Djellit A, Tas S:Quasilinear elliptic systems with critical Sobolev exponents in $R^{N}$ . Nonlinear Anal. 2007, 66: 1485-1497. 10.1016/j.na.2006.02.005MathSciNetView ArticleMATHGoogle Scholar
Kristály A: Existence of two non-trivial solutions for a class of quasilinear elliptic variational systems on strip-like domains. Proc. Edinb. Math. Soc. 2005, 48(2):465-477. 10.1017/S0013091504000112MathSciNetView ArticleMATHGoogle Scholar
Liu Q:Existence of three solutions for $p (x)$ -Laplacian equations. Nonlinear Anal. 2008, 68: 2119-2127. 10.1016/j.na.2007.01.035MathSciNetView ArticleMATHGoogle Scholar
Teramoto T: On positive radial entire solutions of second-order quasilinear elliptic systems. J. Math. Anal. Appl. 2003, 282: 531-552. 10.1016/S0022-247X(03)00153-7MathSciNetView ArticleMATHGoogle Scholar
Zhang GQ, Liu XP, Liu SY:Remarks on a class of quasilinear elliptic systems involving the $(p, q)$ -Laplacian. Electron. J. Differ. Equ. 2005, 2005(20):1-10.MathSciNetMATHGoogle Scholar
Fan XL, Shen JS, Zhao D:Sobolev embedding theorems for spaces $W^{k, p (x)} (Ω)$ . J. Math. Anal. Appl. 2001, 262: 749-760. 10.1006/jmaa.2001.7618MathSciNetView ArticleMATHGoogle Scholar
Fan XL, Deng SG:Remarks on Ricceri’s variational principle and applications to the $p (x)$ -Laplacian equations. Nonlinear Anal. 2007, 67: 3064-3075. 10.1016/j.na.2006.09.060MathSciNetView ArticleMATHGoogle Scholar
Fan XL, Zhang QH:Existence of solutions for $p (x)$ -Laplacian Dirichlet problems. Nonlinear Anal. 2003, 52: 1843-1852. 10.1016/S0362-546X(02)00150-5MathSciNetView ArticleMATHGoogle Scholar
Fan XL, Zhao D:On the spaces $L^{p (x)} (Ω)$ and $W^{m, p (x)} (Ω)$ . J. Math. Anal. Appl. 2001, 263: 424-446. 10.1006/jmaa.2000.7617MathSciNetView ArticleMATHGoogle Scholar
Ricceri B: A three critical points theorem revisited. Nonlinear Anal. 2009, 70: 3084-3089. 10.1016/j.na.2008.04.010MathSciNetView ArticleMATHGoogle Scholar
Ricceri B: Existence of three solutions for a class of elliptic eigenvalue problem. Math. Comput. Model. 2000, 32: 1485-1494. 10.1016/S0895-7177(00)00220-XMathSciNetView ArticleMATHGoogle Scholar
Bonanno G: Some remarks on a three critical points theorem. Nonlinear Anal. 2003, 54: 651-665. 10.1016/S0362-546X(03)00092-0MathSciNetView ArticleMATHGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Existence of three solutions for a Navier boundary value problem involving the ( p ( x ) , q ( x ) ) -biharmonic

Abstract

Keywords

1 Introduction and main results

2 Preliminaries

3 Proof of the main result

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright

Existence of three solutions for a Navier boundary value problem involving the $(p (x), q (x))$ -biharmonic