 Research
 Open access
 Published:
On the subsupersolution method for p(x)Kirchhoff type equations
Journal of Inequalities and Applications volume 2012, Article number: 283 (2012)
Abstract
This paper deals with the subsupersolution method for the p(x)Kirchhoff type equations. A subsupersolution principle for the Dirichlet problems involving p(x)Kirchhoff is established. A strong comparison theorem for the p(x)Kirchhoff type equations is presented. We also give some applications of the abstract theorems obtained in this paper to the eigenvalue problems for the p(x)Kirchhoff type equation.
MSC:35D05, 35D10, 35J60.
1 Introduction
In this paper, we study the following problem:
where Ω is a bounded smooth domain in {\mathbb{R}}^{N} with N\ge 1, p=p(x)\in C(\overline{\mathrm{\Omega}}) with 1<{p}^{}:={inf}_{\mathrm{\Omega}}p(x)\le {p}^{+}:={sup}_{\mathrm{\Omega}}p(x)<+\mathrm{\infty}, f\in C(\overline{\mathrm{\Omega}}\times \mathbb{R},\mathbb{R}), M(t) is a continuous function with t:={\int}_{\mathrm{\Omega}}\frac{1}{p(x)}{\mathrm{\nabla}u}^{p(x)}\phantom{\rule{0.2em}{0ex}}dx and satisfies the following condition:
({M}_{0}) M:[0,+\mathrm{\infty})\to ({m}_{0},+\mathrm{\infty}) is a continuous and increasing function with {m}_{0}>0.
The operator div({\mathrm{\nabla}u}^{p(x)2}\mathrm{\nabla}u) is said to be p(x)Laplacian. The study of various mathematical problems with the variable exponent growth condition has received considerable attention in recent years. These problems are interesting in applications and raise many difficult mathematical problems. We refer the reader to [1] for an overview of and references on this subject.
The solvability of the problem (1.1) can be studied by several approaches; for example, the variational method (see, e.g., [2]). It is well known that, compared with other methods, the subsupersolution method, or the order method, when it is applicable, has some distinctive advantages. For example, it usually gives some order properties of the solutions. For the applications of the subsupersolution method to semilinear and quasilinear elliptic problems, we refer to [3, 4] and the references therein. In [3], Fan established a subsupersolution principle for Dirichlet problems involving p(x)Laplacian and a strong comparison theorem for p(x)Laplacian equations. The goal of this paper is to study the subsupersolution method for (1.1), which is a new research topic.
The problem (1.1) is related to the stationary problem of a model introduced by Kirchhoff [5]. We refer the reader to [6] for an overview of and references on this subject.
In [3], the subsupersolution principle for p(x)Laplacian equations established by Fan is based on the properties of p(x)Laplace, the regularity results and the comparison principle. The aim of the present paper is to establish a subsupersolution principle for p(x)Kirchhoff equations.
The rest of this paper is organized as follows. In Section 2, we establish a general principle of the subsupersolution method for the problem (1.1) based on the regularity results and the comparison principle. In Section 3, we give a special strong comparison principle for the p(x)Kirchhoff. In Section 4, we give an application of our abstract theorems.
2 Subsupersolution principle
In this section, we give a general principle of subsupersolution method for the problem (1.1) based on the regularity results and the comparison principle. We would like to point out that the comparison principle in this section (see Theorem 2.2) is a generalization of Proposition 2.3 of [3]. In addition to the principle of subsupersolution, we shall establish also a generalization of Theorem 2.1 of [3]. For simplicity, we write X={W}_{0}^{1,p(x)}(\mathrm{\Omega}).
Definition 2.1 (1) We say that u\in X is a weak solution of (1.1) if
for any \phi \in X.

(2)
u\in {W}^{1,p(x)} is called a subsolution (respectively a supersolution) of (1.1) if u\le (\text{respectively}\ge )\phantom{\rule{0.2em}{0ex}}0 on ∂ Ω and, for all \phi \in X with \phi \ge 0,
M\left({\int}_{\mathrm{\Omega}}\frac{1}{p(x)}{\mathrm{\nabla}u}^{p(x)}\phantom{\rule{0.2em}{0ex}}dx\right){\int}_{\mathrm{\Omega}}{\mathrm{\nabla}u}^{p(x)2}\mathrm{\nabla}u\mathrm{\nabla}\phi \phantom{\rule{0.2em}{0ex}}dx\le (\text{respectively}\ge )\phantom{\rule{0.2em}{0ex}}{\int}_{\mathrm{\Omega}}f(x,u)\phi \phantom{\rule{0.2em}{0ex}}dx.
Regularity results and comparison principles are the basis of the subsupersolution method. For the regularity results in the variable exponent case, see [7–9]. More precisely, for the {L}^{\mathrm{\infty}} and {C}^{0,\alpha} regularity, see [8]; for the local {C}^{1,\alpha} regularity of the minimizers of the corresponding integral functional, see [7]; for the global {C}^{1,\alpha} regularity, see [9].
If f is independent of u, we have
Theorem 2.1 If ({M}_{0}) holds and f(x,u)=f(x), f\in {L}^{\frac{q(x)}{q(x)1}}(\mathrm{\Omega}), then (1.1) has a unique weak solution.
Proof Clearly, (f,v):={\int}_{\mathrm{\Omega}}f(x)v\phantom{\rule{0.2em}{0ex}}dx (for any v\in X) defines a continuous linear functional on X. According to Theorem 4.1 of [10], {\mathrm{\Phi}}^{\prime} is a homeomorphism. So, (1.1) has a unique solution, where \mathrm{\Phi}(u)=\stackrel{\u02c6}{M}({\int}_{\mathrm{\Omega}}\frac{1}{p(x)}{\mathrm{\nabla}u}^{p(x)}\phantom{\rule{0.2em}{0ex}}dx). □
From Theorem 2.1 we know that, for a given h\in {L}^{\frac{q(x)}{q(x)1}}(\mathrm{\Omega}), where q\in {C}_{+}(\overline{\mathrm{\Omega}}) and
the problem
has a unique solution u\in X under the condition ({M}_{0}). We denote by K(h):=u the unique solution. K is called a solution operator for (2.2).
From the regularity results and the embedding theorems, we can obtain the properties of the solution operator K as follows.
Proposition 2.1 (1) If ({M}_{0}) holds, the mapping K:{L}^{\frac{q(x)}{q(x)1}}(\mathrm{\Omega})\to X is continuous and bounded. Moreover, the mapping K:{L}^{\frac{q(x)}{q(x)1}}(\mathrm{\Omega})\hookrightarrow {L}^{q(x)}(\mathrm{\Omega}) is completely continuous since the embedding X\hookrightarrow {L}^{q(x)}(\mathrm{\Omega}) is compact.

(2)
If ({M}_{0}) holds and p is logHölder continuous on \overline{\mathrm{\Omega}}, then the mapping K:{L}^{\mathrm{\infty}}(\mathrm{\Omega})\to {C}^{0,\alpha}(\overline{\mathrm{\Omega}}) is bounded, and hence the mapping K:{L}^{\mathrm{\infty}}(\mathrm{\Omega})\to C(\overline{\mathrm{\Omega}}) is completely continuous.

(3)
If ({M}_{0}) holds and p is Hölder continuous on \overline{\mathrm{\Omega}}, then the mapping K:{L}^{\mathrm{\infty}}(\mathrm{\Omega})\to {C}^{1,\alpha}(\overline{\mathrm{\Omega}}) is bounded, and hence the mapping K:{L}^{\mathrm{\infty}}(\mathrm{\Omega})\to {C}^{1}(\overline{\mathrm{\Omega}}) is completely continuous.
Definition 2.2 Let u,v\in {W}^{1,p(x)}(\mathrm{\Omega}). We say that M({I}_{0}(u)){\mathrm{\Delta}}_{p(x)}(u)\le M({I}_{0}(v)){\mathrm{\Delta}}_{p(x)}(v) if for all \phi \in X with \phi \ge 0,
where {I}_{0}(u)={\int}_{\mathrm{\Omega}}\frac{1}{p(x)}{\mathrm{\nabla}u}^{p(x)}\phantom{\rule{0.2em}{0ex}}dx.
Now we give the comparison principle as follows.
Theorem 2.2 (1) Let u,v\in {W}^{1,p(x)}(\mathrm{\Omega}) and ({M}_{0}) hold. If M({I}_{0}(u)){\mathrm{\Delta}}_{p(x)}(u)\le M({I}_{0}(v))\times {\mathrm{\Delta}}_{p(x)}(v) and {(uv)}^{+}\in {W}_{0}^{1,p(x)}(\mathrm{\Omega}), then u\le v in Ω.

(2)
Under the conditions of (1) above, let in addition u,v\in C(\overline{\mathrm{\Omega}}) and denote S=\{x\in \mathrm{\Omega}:u(x)=v(x)\}. If S is a compact subset of Ω, then S=\mathrm{\varnothing}.
Proof (1) Taking \lambda =0 in the proof of Theorem 3.2 of [11], we can get the conclusion.

(2)
Suppose that S is a compact subset of Ω and S\ne \mathrm{\varnothing}. Then there is an open subset {\mathrm{\Omega}}_{3} of Ω such that S\subset {\mathrm{\Omega}}_{3}\subset {\overline{\mathrm{\Omega}}}_{3}\subset \mathrm{\Omega}. Thus u<v on \partial {\mathrm{\Omega}}_{3} and consequently there is an \epsilon >0 such that u<v\epsilon on \partial {\mathrm{\Omega}}_{3}. Noting that \mathrm{\nabla}(v\epsilon )=\mathrm{\nabla}v and applying the conclusion (1) to u and v\epsilon on {\mathrm{\Omega}}_{3}, we obtain u\le v\epsilon in {\mathrm{\Omega}}_{3}, which contradicts u=v on S. □
It follows from Theorem 2.2(1) that the solution operator K is increasing under the condition ({M}_{0}), that is, K(u)\le K(v) if u\le v. We define T(u)=K(f(x,u)). It is easy to see that if u is a subsolution (respectively a supersolution) of (1.1), then u\le T(u) (respectively u\ge T(u)), and u is a solution of (1.1) if and only if u=T(u), i.e., u is a fixed point of T.
The basic principle of the subsupersolution method for (1.1) is the following result.
Theorem 2.3 Let ({M}_{0}) hold and suppose that f satisfies the subcritical growth condition
and the function f(x,t) is nondecreasing in t\in \mathbb{R}. If there exist a subsolution {u}_{0}\in {W}^{1,p(x)}(\mathrm{\Omega}) and a supersolution {v}_{0}\in {W}^{1,p(x)}(\mathrm{\Omega}) of (1.1) such that {u}_{0}\le {v}^{0}, then (1.1) has a minimal solution {u}_{\ast} and a maximal solution {v}^{\ast} in the order interval [{u}_{0},{v}^{0}], i.e., {u}_{0}\le {u}_{\ast}\le {v}^{\ast}\le {v}^{0} and if u is any solution of (1.1) such that {u}_{0}\le u\le {v}^{0}, then {u}_{\ast}\le u\le {v}^{\ast}.
Proof Define T(u)=K(f(x,u)). Then, under the assumptions of Theorem 2.3, T:{L}^{q(x)}(\mathrm{\Omega})\to {L}^{q(x)}(\mathrm{\Omega}) is completely continuous and increasing, {u}_{0}\le {v}^{0}, {u}_{0},{v}^{0}\in {L}^{q(x)}(\mathrm{\Omega}), {u}_{0}\le T({u}_{0}), {v}^{0}\ge T({v}^{0}), and consequently T:[{u}_{0},{v}^{0}]\to [{u}_{0},{v}^{0}]. It is clear that the cone of all nonnegative functions in {L}^{q(x)}(\mathrm{\Omega}) is normal. Noting the minimal (maximal) fixed point (see [4]) of T is the minimal (maximal) solution of (1.1), so our Theorem 2.3 now follows by applying the wellknown fixed point theorem for the increasing operator on the order interval (see, e.g., [4]). □
In the practical problems, it is often known that the subsolution {u}_{0} and the supersolution {v}^{0} are of class {L}^{\mathrm{\infty}}(\mathrm{\Omega}), so the restriction on the growth condition of f is needless. Hence, the following theorem is more suitable.
Theorem 2.4 Let ({M}_{0}) hold and suppose that {u}_{0},{v}^{0}\in {W}^{1,p(x)}(\mathrm{\Omega})\cap {L}^{\mathrm{\infty}}(\mathrm{\Omega}), {u}_{0} and {v}^{0} are a subsolution and a supersolution of (1.1) respectively, and {u}_{0}\le {v}^{0}. If f\in C(\overline{\mathrm{\Omega}}\times \mathbb{R},\mathbb{R}) satisfies the condition
then the conclusion of Theorem 2.3 is valid.
The above results show that the general principle of the subsupersolution method for p(x)Kirchhoff type equations (1.1) is of the same type as in the case of p(x)Laplacian type equations. An essential prerequisite for the subsupersolution method is to find a subsolution {u}_{0} and a supersolution {v}^{0} such that {u}_{0}\le {v}^{0}. It is well known that the homogeneity of the pLaplacian operator and the positivity of the first eigenvalue of pLaplacian Dirichlet problem play an important role in finding sub and supersolutions of the pLaplacian equation [12]. Unlike the pLaplacian, when p(x) is not identical with a constant, the p(x)Laplacian operator is inhomogeneous and usually the infimum of its eigenvalues is 0. It is obvious that the eigenvalues of (1.1) are {\mu}_{j}=M({\int}_{\mathrm{\Omega}}\frac{1}{p(x)}{\mathrm{\nabla}{\phi}_{j}}^{p(x)}\phantom{\rule{0.2em}{0ex}}dx){\lambda}_{j}, where {\lambda}_{j} and {\phi}_{j} are, respectively, the eigenvalues and eigenfunctions of {\mathrm{\Delta}}_{p(x)} in X. Thus, usually, the infimum of {\mu}_{j} is also 0. Therefore, it is often difficult to find a subsolution {u}_{0} and a supersolution {v}^{0} of (1.1) with {u}_{0}\le {v}^{0}.
At the end of this section, we give a lemma which is useful to find a supersolution of (1.1). We denote by {C}_{0} the best embedding constant of {W}_{0}^{1,1}(\mathrm{\Omega})\subset {L}^{\frac{N}{N1}}(\mathrm{\Omega}).
Lemma 2.1 Let ({M}_{0}) hold, \mathcal{M}>0 and let u be the unique solution of the problem
Set h=\frac{{m}_{0}{p}^{}}{2{\mathrm{\Omega}}^{1/N}{C}_{0}}. Then, when \mathcal{M}\ge h, {u}_{\mathrm{\infty}}\le {C}^{\ast}{\mathcal{M}}^{1/({p}^{}1)}, and when \mathcal{M}<h, {u}_{\mathrm{\infty}}\le {C}^{\ast}{\mathcal{M}}^{1/({p}^{+}1)}, where {C}^{\ast} and {C}_{\ast} are positive constants depending on {p}^{+}, {p}^{}, N, \mathrm{\Omega}, {C}_{0} and {m}_{0}.
Proof Let u be the solution of (2.4), Theorem 2.2 implies u\ge 0. For k\ge 0, set {A}_{k}=\{x\in \mathrm{\Omega}:u(x)>k\}. Taking {(uk)}^{+} as a test function in (2.4) and using the Young inequality, we have
When \mathcal{M}\ge h, taking
then \epsilon \le 1 and
Consequently, from this and (2.5), it follows that
From (2.5) and (2.6), we have
By Lemma 5.1 in [[13], Chapter 2], (2.7) implies that
where \gamma =M(\frac{2\mathcal{M}{C}_{0}{\epsilon}^{{({p}^{})}^{\prime}}}{{p}^{}{m}_{0}{({p}^{+})}^{\prime}}{\mathrm{\Omega}}^{1+1/N})\frac{2{C}_{0}{\epsilon}^{{({p}^{})}^{\prime}}}{{m}_{0}{({p}^{+})}^{\prime}}. From (2.7) and (2.8), we obtain
where
When \mathcal{M}<h, taking
(noting that in this case \epsilon >1) and using arguments similar to those above, we can obtain
where
The proof is complete. □
Remark 2.1 We would like to point out that the fact that a solution of (2.4) is bounded in {L}^{\mathrm{\infty}}(\mathrm{\Omega}) is useful for finding a supersolution of (1.1). Indeed, the fact can be used to estimate the relation of nonlinearity and ℳ (for details, see the proof of Theorem 4.1).
3 A strong comparison principle for p(x)Kirchhoff problem
The energy functional associated with the problem (1.1) is
where \stackrel{\u02c6}{M}(t)={\int}_{0}^{t}M(\tau )\phantom{\rule{0.2em}{0ex}}d\tau and F(x,u)={\int}_{0}^{u}f(x,t)\phantom{\rule{0.2em}{0ex}}dt. In this section, we give a special strong comparison principle for the p(x)Kirchhoff, which is suitable for finding a positive {C}^{1} local minimizer of the integral functional J in the {C}^{1} topology. In [14], Fan established a BrezisNirenberg type theorem (Theorem 1.1 of [14]), which asserts that every local minimizer of J in the {C}^{1}(\mathrm{\Omega}) topology is also a local minimizer of J in the {W}_{0}^{1,p(x)}(\mathrm{\Omega}) topology. Applying this theorem, we have the following special form.
Theorem 3.1 Let ({M}_{0}), (2.1) hold and let {u}_{0}\in X be a local minimizer (resp. a strictly local minimizer) of J in the {C}^{1}(\mathrm{\Omega}) topology. Then {u}_{0} is a local minimizer (resp. a strictly local minimizer) of J in the X topology.
Applying Theorem 1.1 of [15], we can easily get the following strong maximum principle.
Theorem 3.2 Suppose that p(x)\in {C}_{+}(\overline{\mathrm{\Omega}})\cap {C}^{1}(\overline{\mathrm{\Omega}}), u\in X, u\ge 0 and u\not\equiv 0 in Ω. If
where t={\int}_{\mathrm{\Omega}}(\frac{1}{p(x)}{\mathrm{\nabla}u}^{p(x)}+\frac{1}{q(x)}d(x){u}^{q(x)})\phantom{\rule{0.2em}{0ex}}dx, M(t)\ge {m}_{0}>0, 0\le d(x)\in {L}^{\mathrm{\infty}}(\mathrm{\Omega}), q(x)\in C(\overline{\mathrm{\Omega}}) with p(x)\le q(x)\le {p}^{\ast}(x), then u>0 in Ω.
Now we give a special strong comparison principle for the p(x)Kirchhoff.
Theorem 3.3 Let ({M}_{0}) hold and suppose that u,v\in {C}^{1}(\overline{\mathrm{\Omega}}), u\ge v in Ω, g,h\in {L}^{\mathrm{\infty}}(\mathrm{\Omega}),
and g(x)\not\equiv h(x) in Ω. If
where n is the inward unit normal on ∂ Ω, then u>v in Ω and there is a positive constant ε such that
Proof We denote by {\mathbf{n}}_{y} the inward unit normal at y\in \partial \mathrm{\Omega}. For \delta >0, set {\mathrm{\Omega}}_{\delta}=\{x\in \mathrm{\Omega}:dist(x,\partial \mathrm{\Omega})<\delta \}. Denoting A(x,\eta )=M({I}_{0}(\eta )){\eta }^{p(x)2}\eta, as in the proof of [3], we have
We claim that uv\not\equiv 0 in {\mathrm{\Omega}}_{\delta}. Indeed, if u\equiv v in {\mathrm{\Omega}}_{\delta}, then g\equiv h in {\mathrm{\Omega}}_{\delta}, and consequently g(x)\not\equiv h(x) in \mathrm{\Omega}\setminus {\mathrm{\Omega}}_{\delta}. Take \phi \in X such that \phi >0 in Ω, \phi =1 on \mathrm{\Omega}\setminus {\mathrm{\Omega}}_{\delta}. By (3.1) and the property of φ, we have
which contradicts {\int}_{\mathrm{\Omega}}g(x)\phi (x)\phantom{\rule{0.2em}{0ex}}dx>{\int}_{\mathrm{\Omega}}h(x)\phi (x)\phantom{\rule{0.2em}{0ex}}dx. Hence the claim is true. So, by the wellknown strong maximum principle for linear elliptic equations, u>v in {\mathrm{\Omega}}_{\delta} and (3.2) holds. Setting S=\{x\in \mathrm{\Omega}:u(x)=v(x)\}, then S is a compact subset of Ω. By Theorem 2.2(2), S=\mathrm{\varnothing}, hence u>v in Ω and the proof is complete. □
The following theorem provides a method to find a positive {C}^{1} local minimizer of the integral functional J in the {C}^{1} topology.
Theorem 3.4 Let ({M}_{0}) hold and suppose that {u}_{0},{v}^{0}\in X are a subsolution and a supersolution of (1.1) respectively, M(I({u}_{0})){\mathrm{\Delta}}_{p(x)}{u}_{0}=g(x), M(I({v}^{0})){\mathrm{\Delta}}_{p(x)}{v}^{0}=h(x), g,h\in {L}^{\mathrm{\infty}}(\mathrm{\Omega}), 0\le g\le h, g(x)\not\equiv h(x) and 0\le {u}_{0}\le {v}^{0} in Ω. Suppose that p\in {C}^{1}(\overline{\mathrm{\Omega}}), f\in C(\overline{\mathrm{\Omega}}\times \mathbb{R},\mathbb{R}) satisfies the condition of Theorem 2.3. If neither {u}_{0} nor {v}^{0} is a solution of (1.1), or neither {u}_{0} nor {v}^{0} is a minimizer of J on [{u}_{0},{v}^{0}]\cap X in the case of being a solution of (1.1), then there exists {u}_{\ast}\in [{u}_{0},{v}^{0}]\cap {C}^{1,\alpha}(\overline{\mathrm{\Omega}}) such that J({u}_{\ast})=inf\{J(u):u\in [{u}_{0},{v}^{0}]\cap X\}, {u}_{\ast} is a solution of (1.1) and {u}_{\ast} is a local minimizer of J in the {C}^{1} topology.
Proof The proof is similar to the proof of [3], we omit it here (for details, see the proof of Theorem 3.3 in [3]). □
4 Applications
As an application of the above abstract theorems, let us consider the following eigenvalue problem:
where Ω is a bounded smooth domain in {\mathbb{R}}^{N}, p\in {C}^{1}(\overline{\mathrm{\Omega}}), q\in C(\overline{\mathrm{\Omega}}), {q}^{}>{p}^{+}, f\in C(\overline{\mathrm{\Omega}}\times \mathbb{R},\mathbb{R}), f(x,t)\ge 0 for x\in \mathrm{\Omega} and t\ge 0, f(x,t) is nondecreasing in t\ge 0, \mu \ge 0 is fixed. The energy functional associated with the problem (4.1) is
where F(x,t)={\int}_{0}^{t}f(x,s)\phantom{\rule{0.2em}{0ex}}ds.
Firstly, we recall the (PS)_{ c } condition and the mountain pass lemma which we shall use later.
Definition 4.1 Let X be a Banach space. We say that I satisfies the (PS)_{ c } condition in X if any sequence \{{u}_{n}\}\subset X, such that I({u}_{n})\le c and {I}^{\prime}({u}_{n})\to 0 as n\to +\mathrm{\infty}, has a convergent subsequence, where (PS) means PalaisSmale.
Lemma 4.1 (see [16])
Let X be a Banach space, \phi \in {C}^{1}(X,\mathbb{R}), e\in X and r>0 be such that \parallel e\parallel >r and
If φ satisfies the (PS)_{ c } condition with
then c is a critical value of φ.
The main results are the following.
Theorem 4.1 Suppose that f satisfies the condition either

(i)
f(x,0)\not\equiv 0 in Ω, or

(ii)
f(x,0)\equiv 0 and there are an open set U\subset \mathrm{\Omega}, a closed ball \overline{B}({x}_{0},\rho )\subset U, some positive constants {r}_{0}>1 and {c}_{3} such that f(x,t)\ge {c}_{3}{t}^{{r}_{0}1} for x\in \overline{B}({x}_{0},\rho ) and t\in [0,1], and {r}_{0}<p(x) for x\in \partial U.
Then we have the following assertions:

(1)
For sufficiently small \lambda >0, (4.1) has a solution {u}_{\lambda} which is a local minimizer of {J}_{\lambda} in the {C}^{1} topology. Moreover, {\parallel {u}_{\lambda}\parallel}_{{C}^{1}(\overline{\mathrm{\Omega}})}\to 0 as \lambda \to 0.

(2)
Define {\mathrm{\Lambda}}_{0}=\{\lambda >0:\text{(4.1)}\mathit{\text{has a solution}}\phantom{\rule{0.5em}{0ex}}{u}_{\lambda}\phantom{\rule{0.5em}{0ex}}\mathit{\text{which is a local minimizer of}}\phantom{\rule{0.5em}{0ex}}{J}_{\lambda}\phantom{\rule{0.5em}{0ex}}\mathit{\text{in}}\phantom{\rule{0.5em}{0ex}}\mathit{\text{the}}\phantom{\rule{0.5em}{0ex}}{C}^{1}\phantom{\rule{0.5em}{0ex}}\mathit{\text{topology}}\} and \mathrm{\Lambda}=\{\lambda >0:\text{(4.1)}\mathit{\text{has a solution}}\phantom{\rule{0.5em}{0ex}}{u}_{\lambda}\}. Then {\mathrm{\Lambda}}_{0} and Λ are both intervals, inf{\mathrm{\Lambda}}_{0}=inf\mathrm{\Lambda}=0 and {\mathrm{\Lambda}}_{0}\supset int\mathrm{\Lambda}.

(3)
In addition, suppose that \mu >0, q(x)<{p}^{\ast}(x) for x\in \overline{\mathrm{\Omega}} and
f(x,t)\le c(1+{t}^{r(x)})\phantom{\rule{1em}{0ex}}\mathit{\text{for}}\phantom{\rule{0.5em}{0ex}}x\in \mathrm{\Omega}\phantom{\rule{0.5em}{0ex}}\mathit{\text{and}}\phantom{\rule{0.5em}{0ex}}t\in \mathbb{R},
where r(x)<{p}^{\ast}(x) for x\in \overline{\mathrm{\Omega}} and {r}^{+}<{q}^{}. Then for each \lambda \in int\mathrm{\Lambda}, (4.1) has at least two solutions {u}_{\lambda} and {v}_{\lambda} such that {u}_{\lambda}<{v}_{\lambda} and {u}_{\lambda} is a local minimizer of {J}_{\lambda} in the {W}^{1,p(x)} topology.
Proof (1) Take 0<\mathcal{M}<h, where h is as in Lemma 2.1, and let v={v}_{\mathcal{M}} be the unique positive solution of (2.4). Then by Lemma 2.1, {v}_{\mathrm{\infty}}\le {C}_{\ast}{\mathcal{M}}^{1/({p}^{+}1)}. Because {q}^{}>p+, we can choose ℳ small enough such that \mu {({C}_{\ast}{M}^{1/({p}^{+}1)})}^{{q}^{}1}<\frac{\mathcal{M}}{2}, which implies that \mu {v}^{q(x)1}<\frac{\mathcal{M}}{2}. Let \lambda >0 be sufficiently small such that \lambda f(x,v)<\frac{\mathcal{M}}{2}. Then for such λ,
which shows that v is a supersolution of (4.1) and is not a solution of (4.1). By Theorem 3.2, v>0 in Ω and \frac{\partial v}{\partial \mathbf{n}}>0 on ∂ Ω.
In the case when f satisfies the condition (i), 0 is a subsolution of (4.1) and 0 does not satisfy the equation in (4.1). Moreover, by Theorem 3.4, (4.1) has a solution {u}_{\lambda}\in [0,v]\cap {C}^{1}(\overline{\mathrm{\Omega}}), which is a local minimizer of {J}_{\lambda} in the {C}^{1} topology.
In the case when f satisfies the condition (ii), 0 satisfies the equation in (4.1). We claim that 0 is not a minimizer of {J}_{\lambda} on [0,v]\cap X. To see this, noting {J}_{\lambda}(0)=0, it is sufficient to show that {inf}_{[0,v]\cap X}{J}_{\lambda}(u)<0. For \delta >0, denote {U}_{\delta}=\{x\in U:dist(x,\partial U)<\delta \}. By the condition (ii), we can find sufficiently small positive constants ρ such that \overline{B}({x}_{0},\rho )\subset U\setminus {U}_{\delta}, {r}_{0}<{p}^{}({U}_{\delta}):=inf\{p(x):x\in {U}_{\delta}\}. Define a function w\in {C}_{0}^{\mathrm{\infty}}(U) such that 0\le w\le 1 and w=1 on U\setminus {U}_{\delta}. Then for sufficiently small 1>t>0, we have that tw\in [0,v] and
which shows that the claim is true. By Theorem 3.4, there exists {u}_{\lambda}\in [0,v]\cap {C}^{1,\alpha}(\overline{\mathrm{\Omega}}) such that {J}_{\lambda}({u}_{\lambda})={inf}_{[0,v]\cap X}{J}_{\lambda}(u), {u}_{\lambda} is a solution of (4.1) and {u}_{\lambda} is a local minimizer of {J}_{\lambda} in the {C}^{1} topology.
When \lambda \to 0, we can take \mathcal{M}\to 0, consequently {{v}_{\mathcal{M}}}_{\mathrm{\infty}}\to 0 and {{u}_{\lambda}}_{\mathrm{\infty}}\to 0. Furthermore, {\parallel {v}_{\mathcal{M}}\parallel}_{X}\to 0 and {\parallel {v}_{\mathcal{M}}\parallel}_{{C}^{1}(\overline{\mathrm{\Omega}})}\to 0. Assertion (1) is proved.
(2) The proof is similar to the proof of [3], we omit it here (for details, see the proof of Theorem 4.1 in [3]).

(3)
Note that, under additional assumptions, it is easy to verify that {J}_{\lambda}\in {C}^{1}(X,\mathbb{R}) and {J}_{\lambda} satisfies the (PS)_{ c } condition for all λ. Now let \lambda \in int\mathrm{\Lambda}\subset {\mathrm{\Lambda}}_{0} be given arbitrarily. Take {\lambda}_{1},{\lambda}_{2}\in {\mathrm{\Lambda}}_{0} with {\lambda}_{2}<\lambda <{\lambda}_{1}, and let {u}_{{\lambda}_{1}}, {u}_{\lambda} and {u}_{{\lambda}_{2}} be the solutions of (4.1), (4.1_{ λ }) and (4.1) respectively, {u}_{{\lambda}_{2}}\le {u}_{\lambda}\le {u}_{{\lambda}_{1}}, and let {u}_{\lambda} be a local minimizer of {J}_{\lambda} in the {C}^{1} topology. Then by Theorem 3.1, {u}_{\lambda} is also a local minimizer of {J}_{\lambda} in the {W}^{1,p(x)} topology. Define
Consider the problem
and denote the associated functional to (4.2) by {\tilde{J}}_{\lambda}. It is easy to see that {u}_{{\lambda}_{2}} and {u}_{{\lambda}_{1}} are a subsolution and a supersolution of (4.2), respectively. By Theorem 3.4, there exists {u}_{\lambda}^{\ast}\in [{u}_{{\lambda}_{2}},{u}_{{\lambda}_{1}}]\cap {C}^{1}(\overline{\mathrm{\Omega}}) such that {u}_{\lambda}^{\ast} is a solution of (4.2) and is a local minimizer of {\tilde{J}}_{\lambda} in the {C}^{1} topology. By Theorem 2.2(1), we can see that {u}_{\lambda}^{\ast}\ge {u}_{\lambda} and consequently {u}_{\lambda}^{\ast} is also a solution of (4.1_{ λ }). If {u}_{\lambda}^{\ast}\ne {u}_{\lambda}, then assertion (3) already holds, hence we can assume that {u}_{\lambda}^{\ast}={u}_{\lambda}. Now {u}_{\lambda} is a local minimizer of {\tilde{J}}_{\lambda} in the {C}^{1} topology, and so also in the {W}^{1,p(x)} topology. We can assume that {u}_{\lambda} is a strictly local minimizer of {\tilde{J}}_{\lambda} in the {W}^{1,p(x)} topology, otherwise we have obtained assertion (3). It is easy to verify that, under the additional assumptions in the statement (3), {\tilde{J}}_{\lambda}\in {C}^{1}(X,\mathbb{R}) and {\tilde{J}}_{\lambda} satisfies the (PS)_{ c } condition. From {q}^{}>{p}^{+}, ({M}_{0}) and \mu >0, it follows that inf\{{\tilde{J}}_{\lambda}(u):u\in X\}=\mathrm{\infty}. Using Lemma 4.1, we know that (4.2) has a solution {v}_{\lambda} such that {v}_{\lambda}\ne {u}_{\lambda}, as a solution of (4.2), {v}_{\lambda} must satisfy {v}_{\lambda}\ge {u}_{\lambda}, and consequently, by Theorem 3.2 and Theorem 3.3, {v}_{\lambda}>{u}_{\lambda}. Noting that {v}_{\lambda} is also a solution of (4.1_{ λ }) since {v}_{\lambda}\ge {u}_{\lambda}, thus the proof of assertion (3) is complete. □
Note that in the case of Theorem 4.1(1) and (2), the variational method cannot be used directly because we do not suppose that q(x)\le {p}^{\ast}(x) and do not restrict the growth rate of f.
References
Diening L, Harjulehto P, Hästö P, Ruzicka M Lecture Notes in Mathematics 2017. In Lebesgue and Sobolev Spaces with Variable Exponents. Springer, Berlin; 2011.
Fan XL:On nonlocal p(x)Laplacian Dirichlet problems. Nonlinear Anal. 2010, 72: 3314–3323. 10.1016/j.na.2009.12.012
Fan XL:On the subsupersolution methods for p(x)Laplacian equations. J. Math. Anal. Appl. 2007, 330: 665–682. 10.1016/j.jmaa.2006.07.093
Amann H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 1976, 18: 620–709. 10.1137/1018114
Kirchhoff G: Mechanik. Teubner, Leipzig; 1883.
Dai G, Ma R:Solutions for a p(x)Kirchhoff type equation with Neumann boundary data. Nonlinear Anal., Real World Appl. 2011, 12: 2666–2680. 10.1016/j.nonrwa.2011.03.013
Acerbi E, Mingione G: Regularity results for a class of functionals with nonstandard growth. Arch. Ration. Mech. Anal. 2001, 156: 121–140. 10.1007/s002050100117
Fan XL, Zhao D: A class of De Giorgi type and Hölder continuity. Nonlinear Anal. 1996, 36: 295–318.
Fan XL:Global {C}^{1,\alpha} regularity for variable exponent elliptic equations in divergence form. J. Differ. Equ. 2007, 235: 397–417. 10.1016/j.jde.2007.01.008
Dai, G: Three solutions for a nonlocal Dirichlet boundary value problem involving the p(x)Laplacian. Appl. Anal., 1–20 (2011) (iFirst). doi:10.1080/00036811.2011.602633
Ma R, Dai G, Gao C:Existence and multiplicity of positive solutions for a class of p(x)Kirchhoff type equations. Bound. Value Probl. 2012., 2012: Article ID 16
Drábek P, Hernández J: Existence and uniqueness of positive solutions for some quasilinear elliptic problems. Nonlinear Anal. 2001, 44: 189–204. 10.1016/S0362546X(99)002588
Ladyzenskaja OA, Ural’tzeva NN: Linear and Quasilinear Elliptic Equations. Academic Press, New York; 1968.
Fan XL:A BrezisNirenberg type theorem on local minimizers for p(x)Kirchhoff Dirichlet problems and applications. Differ. Equ. Appl. 2010, 2(4):537–551.
Fan XL, Zhao YZ, Zhang QH:A strong maximum principle for p(x)Laplace equations. Chin. J. Contemp. Math. 2003, 24(3):277–282.
Willem M: Minimax Theorems. Birkhäuser, Boston; 1996.
Acknowledgements
Research was supported by the NSFC (No. 11261052, No. 11101335, No. 11061030).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
GD conceived of the study, and participated in its design and coordination and helped to draft the manuscript. XH participated in the design of the study. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Han, X., Dai, G. On the subsupersolution method for p(x)Kirchhoff type equations. J Inequal Appl 2012, 283 (2012). https://doi.org/10.1186/1029242X2012283
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2012283