Skip to content


  • Research
  • Open Access

Multiple solutions for Kirchhoff elliptic equations in Orlicz-Sobolev spaces

Boundary Value Problems20172017:131

  • Received: 25 May 2017
  • Accepted: 26 August 2017
  • Published:


We investigate the existence of solutions of the Kirchhoff elliptic equations with nonlinearity in \(R^{N}\). Using the ideas developed in Orlicz spaces and the technique of variation principle, we prove that there are at least three solutions in Orlicz-Sobolev spaces.


  • Kirchhoff elliptic equation
  • Orlicz-Sobolev spaces
  • Orlicz function
  • multiple solutions


  • 35J60
  • 35J70
  • 46B20
  • 58E05

1 Introduction

The equation
$$ \rho\frac{\partial^{2}u}{\partial t^{2}}-\biggl(\frac{P_{0}}{h}+\frac {E}{2L} \int_{0}^{L}\bigg|\frac{\partial u}{\partial x }\bigg|^{2}\,dx \biggr)\frac {\partial^{2}u}{\partial x^{2}}=0, $$
presented by Kirchhoff [1] in 1883, is an extension of the classical d’Alembert’s wave equation by considering the changes in the length of the string during vibrations. In (1.1), L is the length of string, h is the area of the cross section, E is the Young modulus of the material, ρ is the mass density, and \(P_{0}\) is the initial tension. The stationary form of type (1.1) is taken in the form of
$$ -k\biggl( \int_{\Omega}|\nabla u|^{2}\,dx\biggr)\triangle u = f(x,u), \quad\mbox{in } \Omega $$
which may be used for modeling several physical and biological systems, where u describes a process which depends on the average of itself, for example, the population density [2]. If \(k(\int_{\Omega }|\nabla u|^{2}\,dx)\) is replaced by \(k(\int_{\Omega}| u|^{2}\,dx)\), then the equation
$$ -k\biggl( \int_{\Omega}| u|^{2}\,dx\biggr)\triangle u = f(x,u),\quad \mbox{in } \Omega $$
arises in numerous physical models such as systems of particles in thermodynamical equilibrium via gravitational potential, thermal runaway in ohmic heating and shear bands in metal deformed under high strain rates [3].
Ricceri [4] discussed Kirchhoff equations in the form of
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} -k(\int_{\Omega}|\nabla u|^{2}\,dx)\triangle u =\lambda f(x,u)+\mu g(x,u), & \mbox{in } \Omega, \\ u= 0, &\mbox{on } \partial\Omega. \end{array}\displaystyle \right.$$
The existence of solutions was established by the critical point theorem due to Ricceri [5]. Chen [6] investigated p-Kirchhoff equations in the whole space \(R^{N}\):
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} M(\int_{R^{N}}|\nabla u|^{p}+V(x)|u|^{p}\,dx)(-\triangle _{p}u+V(x)|u|^{p-2}u)= f(x,u)+g(x), & \mbox{in } R^{N},\\ u\rightarrow0, &\mbox{as } |x|\rightarrow\infty , \end{array}\displaystyle \right. $$
where \(M(t)=t^{k}\), \(k>0\) and \(V(x)\) is a continuous function satisfying the condition that there exists \(b_{0}>0\) such that \(V(x)\geq b_{0}\) for \(x\in R^{N}\), \(V(x) \rightarrow\infty\) as \(|x| \rightarrow\infty\). The solutions were obtained by the mountain pass theorem, Ekeland’s variational principle and Krasnoselskii’s genus theory. Also Chen [7] considered (1.5) with \(M(t)=a+bt^{k}\) (\(a>0\), \(b>0\), \(k>0\)), \(f(x,u)=\lambda h_{1}(x)|u|^{q-2}u+h_{2}(x)|u|^{r-2}u+h_{3}(x)\) and \(g(x)=0\). Two nontrivial solutions were established by the mountain pass theorem and Ekeland’s variational principle.

There often arise the equations involving nonhomogeneous operators and nonlinearities, for instance, in the fields of electrorheological fluids (sometimes referred to as ‘smart fluids’), nonlinear elasticity and plasticity. The natural setting for this approach is Orlicz-Sobolev spaces.

In this article, we investigate Kirchhoff elliptic equations with nonlinearity in \(R^{N}\) in the Orlicz-Sobolev setting:
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} -k(\widetilde{\rho}_{{M}}(u))(\operatorname{div} (a(|\nabla u|)\nabla u)-a(|u|)u) =\lambda f(x,u)+\mu g(x,u), &\text{in } R^{N},\\ u\rightarrow0, &\mbox{as } |x|\rightarrow\infty, \end{array}\displaystyle \right . $$
where \(k:[0,\infty)\rightarrow[0,\infty)\) is nondecreasing and continuous, \(a(t)t \) is strictly increasing and continuous on \([0,\infty)\), such that \(\lim_{t \rightarrow0^{+}}a(t)t=0\), \(\lim_{t \rightarrow\infty }a(t)t=\infty\), λ, μ are nonnegative real numbers, f and g are Carathéodory functions, and \(\widetilde{\rho}_{{M}} \) is defined in Section 2.

Using the ideas and techniques developed in the research of Orlicz spaces, we prove the existence of at least three solutions of (1.6) but get rid of the restriction that \(M(\sqrt{t})\) is convex on \([0,\infty)\) in [813].

To our knowledge, this is the first contribution to investigate (1.6) in the whole space \(R^{N}\) in the Orlicz-Sobolev setting. For multivalued problems, please see [14]. For problems in variable exponent, please see [1517]. For hyperbolic Kirchhoff systems, please see [18, 19].

2 Preliminaries

M is called an Orlicz function provided that
$$M(s)= \int_{0}^{|s|}p(t)\,dt, \quad\forall s\in R, $$
where p is nondecreasing, right-continuous with \(p(0)=0\), \(p(t)>0\) (\(\forall t>0\)) and \(\lim_{t\rightarrow\infty }p(t)=\infty\). Its complementary function is defined as
$$\widetilde{M}(t)= \int_{0}^{|t|}\widetilde{p}(s)\,ds,\quad \forall t\in R, $$
where \(\widetilde{p}(s)=\sup\{t\geq0: p(t)\leq s\}\). Then is also an Orlicz function (see [20]).
Young’s inequality holds true
$$st\leq M(s)+\widetilde{M}(t),\quad \forall s,t\geq0, $$
and equation holds if and only if \(t=p(s)\) or \(s=\widetilde{p}(t)\).
M is said to satisfy \(\Delta_{2}\)-condition (in short, \(M \in \Delta _{2}\)) provided that there exists a positive number \(C>0\) such that
$$M(2t)\leq C M(t), \quad\forall t\geq0. $$
We use \(M\in\nabla_{2}\) to stand for \(\widetilde{M}\in\Delta_{2}\).
$$d_{{M}}:= \inf_{t>0}\frac{tp(t)}{M(t)},\qquad D_{{M}}:= \sup_{t>0}\frac {tp(t)}{M(t)},\qquad d_{M}^{*}:=\frac{Nd_{M}}{N-d_{M}},\qquad D_{M}^{*}:= \frac {ND_{M}}{N-D_{M}}. $$
For a measurable function \(u: R^{N}\rightarrow R\), denoted as \(u \in \widetilde{L}\), we define
$$\rho_{{M}}(u)= \int_{R^{N}}M\bigl(u(x)\bigr)\,dx, \qquad\widetilde{ \rho}_{{M}}(u)=\rho_{{M}}(u)+\rho_{{M}}\bigl(|\nabla u |\bigr). $$
The Orlicz space \(L_{{M}}(R^{N})\) (in short \(L_{{M}}\)) is defined by
$$L_{{M}}\bigl(R^{N}\bigr)=\bigl\{ u \in\widetilde{L}: \exists \lambda>0, \rho _{{M}}(\lambda u)< \infty \bigr\} $$
endowed with the Luxemburg norm
$$\|u\|_{(M),R^{N}}=\|u\|_{(M)}=\inf\biggl\{ \lambda>0: { \rho_{{M}}\biggl(\frac{ u}{\lambda}\biggr)}\leq1\biggr\} , $$
or with the Orlicz norm
$$\|u\|_{M,R^{N}}=\|u\|_{M}=\sup\biggl\{ \int_{R^{N}}u(x)v(x)\,dx: \int _{R^{N}}\widetilde{M}\bigl(v(x)\bigr)\,dx\leq1 \biggr\} . $$
Then \((L_{{M}}, \|\cdot\|_{(M)})\) and \((L_{{M}}, \|\cdot\|_{M})\) form Banach spaces (see [20, 21]).
For \(u\in L_{M}\), \(v\in L_{\widetilde{M}}\), the Hölder inequality holds (see [20])
$$\int_{R^{N}}u(x)v(x)\,dx\leq\|u\|_{M}\|v \|_{(\widetilde{M})}. $$
The Sobolev conjugate \(M_{*}\) of M is defined by
$$M_{*}^{-1}(t)= \int_{0}^{t}\frac{M^{-1}(s)}{s^{\frac{N+1}{N}}}\,ds,\quad t \geq0, $$
provided \(\int_{0}^{1}\frac{M^{-1}(t)}{t^{\frac{N+1}{N}}}\,dt<\infty\), \(\int_{1}^{\infty}\frac{M^{-1}(t)}{t^{\frac{N+1}{N}}}\,dt=\infty \) (see [22]).
An Orlicz-Sobolev space \(W^{1,M}(R^{N})\) (in short \(W^{1,M}\)) is defined by
$${W^{1,M}\bigl(R^{N}\bigr)}=\bigl\{ u\in L_{M} \bigl(R^{N}\bigr):D^{\alpha}u \in L_{M} \bigl(R^{N}\bigr), |\alpha|\leq1 \bigr\} $$
endowed with
$$\|u\|=\|u\|_{{ W^{1,M}}}=\inf\biggl\{ \lambda>0: \widetilde{ \rho}_{{M}}\biggl(\frac {u}{\lambda}\biggr) \leq1\biggr\} . $$

Then \((W^{1}L_{M}, \|\cdot\|_{W^{1}L_{M}})\) forms a Banach space (refer to [22]).

If \(M\in \Delta_{2}\cap\nabla_{2}\), then \(L_{M}\) and \(W^{1}L_{M}\) are separable and reflexive Banach spaces (refer to [22]).

Let \(W^{1,M}_{0}(R^{N})\) (in short \(W_{0}^{1,M}\)) be the closure of \(C_{c}^{\infty}(R^{N})\), that is, the set of all functions which are differentiable for any order and with compact support in \(W^{1,M}(R^{N})\), \(W^{1,M}_{0}(R^{N}) =W^{1,M}(R^{N})\) (refer to [22]).

3 Main results

In this section, we firstly give the main result of this paper. Secondly, we prove some lemmas for the main result. Finally, we establish the existence of at least three solutions in Orlicz-Sobolev spaces applying the variation principle.

For convenience, we set several conditions.

\(k(t)\geq C t^{\gamma}\), \(\forall t \in(0, \delta)\), for some \(C>0\), \(\delta>0\), \(\gamma\in(0,\frac{d_{{M}}^{*}}{D_{{M}}}-1)\).


\(k(t)\geq C t^{\gamma}\), \(\forall t \geq \delta\), for some \(C>0\), \(\delta>0\), \(\gamma>0 \).


\(|f(x,t)|\leq\alpha(x)p(|t|)+\beta(x)\), \(\forall(x,t)\in R^{N}\times R\), for some nonnegative functions \(\alpha(x)\in L^{\infty}(R^{N})\cap L^{\frac {D^{*}_{M}}{D^{*}_{M}-d_{M}}}(R^{N})\), \(\beta(x)\in L_{\widetilde{M}}(R^{N})\cap L^{\infty}(R^{N})\).


\(\limsup_{t\rightarrow0 }\frac{F(x,t)}{M_{*}(t)}<\infty\), uniformly \(x \in R^{N}\).


\(\int_{R^{N}}(\int_{0}^{u_{{0}}(x)}f(x,s)\,ds)\,dx>0\) for some \(u_{0}\in { W^{1,M}_{0}}\).

In the following, we always assume that \(k:[0,\infty)\rightarrow[0,\infty)\) is nondecreasing and \(k(t)>0\) (\(\forall t>0\)).

For \(u\in{ W^{1,M}_{0}}\), we define
$$\begin{gathered} K(u)= \int_{0}^{\widetilde{\rho}_{{M}}(u)}k(s)\,ds, \\ \mathcal{F}(u)= \int_{R^{N}}\biggl( \int_{0}^{u(x)}f(x,s)\,ds\biggr)\,dx= \int _{R^{N}}F\bigl(x,u(x)\bigr)\,dx, \\ \mathcal{G}(u)= \int_{R^{N}}\biggl( \int_{0}^{u(x)}g(x,s)\,ds\biggr)\,dx. \end{gathered} $$

Definition 3.1

\(u\in W_{0}^{1,M}\) is called a weak solution of problem (1.6) if, for all \(v \in { W^{1,M}_{0}}\),
$$k\bigl(\widetilde{\rho}_{{M}}(u)\bigr) \int_{\Omega} \bigl[a\bigl( |\nabla u|\bigr)\nabla u\cdot\nabla v+a\bigl( |u|\bigr)uv \bigr]\,dx=\lambda \int_{\Omega}f(x,u)v\,dx+\mu \int_{\Omega}g(x,u)v\,dx. $$

The main result of this paper is as follows.

Theorem 3.1

Let \(1< d_{{M}}\leq D_{{M}}< N\) and \(D_{{M}}< d^{*}_{{M}}\). Assume that k satisfies \(k(0)\) and \(k(\infty)\), f satisfies \(H_{1}\), \(H_{2}\), \(H_{3}\) and g satisfies \(H_{1}\). Then, for all \([a, b] \subset(0,\infty)\), there exists \(\sigma>0\) such that for each \(\lambda\in[a,b]\) there exists \(\delta>0\) such that for each \(\mu\in[0,\delta]\), the problem
has at least three solutions whose norms are less than σ in an Orlicz-Sobolev space \({ W^{1,M}_{0}}\) for a strictly convex and smooth Orlicz function \(M(t)=\int_{0}^{|t|}a(\tau)\tau\, d\tau\).

4 Proof of the main results

In the proof of Lemmas 4.1 and 4.2, we get rid of the restriction that \(M(\sqrt{t})\) is convex on \([0,\infty)\) as in [8, Theorem 3.1], [9, Lemma 3.2], [10, Lemma 5], [12, Lemma 2.4], in which by this condition a Clarkson-type inequality was established in order to show that a sequence strongly converges. Here, we get the convergent sequence by using the ideas and techniques developed in Orlicz spaces research without the help of Clarkson-type inequality.

Lemma 4.1

Given that M is strictly convex and \(M\in\Delta_{2}\). For \(\{u_{n}\} \), a sequence weakly converging to u in \(W_{0}^{1}L_{M}\), and \(\lim_{n\rightarrow\infty}K(u_{n})= K(u)\), we have that \(\{u_{n}\}\) strongly converges to u in \(W_{0}^{1}L_{M}\).


Since \(u_{n}\rightharpoonup u\) weakly and \(M \in\Delta _{2}\), by [9, Lemma 2.3], we assume \(\lim_{n\rightarrow\infty}\widetilde{\rho}_{{M}}( u_{n})=d \geq0\), if necessary passing to a subsequence. By \(\lim_{n\rightarrow\infty }K(u_{n}) = K(u)\) and \(\int_{0}^{t}k(s)\,ds\) is strictly increasing with respect to \(t>0\), we obtain
$$ \lim_{n\rightarrow\infty}\widetilde{\rho}_{{M}}( u_{n})=\widetilde {\rho}_{{M}}(u), $$
and \(\widetilde{\rho}_{{M}}(\frac{u_{n}+u}{2}) \leq\frac{\widetilde {\rho}_{{M}}( u_{n})+\widetilde{\rho}_{{M}}(u)}{2}\rightarrow \widetilde{\rho}_{{M}}(u)\). Therefore, \(\limsup_{n\rightarrow\infty}\widetilde{\rho}_{{M}}(\frac {u_{n}+u}{2})\leq\widetilde{\rho}_{{M}}(u)\).
By the convexity of M and [23, Theorem 25.20], K is sequentially weakly lower semicontinuous. Since \(u_{n}\rightharpoonup u \) weakly, it follows that \(\frac{u_{n} +u}{2}\rightharpoonup u \) weakly and \(\liminf_{n \rightarrow\infty}K(\frac{u_{n} +u}{2})\geq K(u)\). Consequently, \(\liminf_{n\rightarrow\infty}\widetilde{\rho}_{{M}}(\frac{u_{n} +u}{2})\geq\widetilde{\rho}_{{M}}(u)\), and thus
$$ \lim_{n\rightarrow\infty}\widetilde{\rho}_{{M}}\biggl( \frac{u_{n} +u}{2}\biggr)=\widetilde{\rho}_{{M}}(u). $$

If \(u=\theta\) (that is, \(\theta(x)=0\), μ-a.e. \(x\in R^{N}\)), thanks to \(M\in\Delta_{2}\), (4.1) implies \(\lim_{n\rightarrow\infty}\widetilde{\rho}_{{M}}( u_{n})=0=\lim_{n\rightarrow\infty}\| u_{n}\|\).

If \(u\neq\theta\), then \(\widetilde{\rho}_{{M}}(u)>0 \) and \(\| u_{n}\|>0\).


\(\{u_{n}\}\) converges to u in measure.

Otherwise, we suppose that for some \(\varepsilon_{0}>0\), \(\sigma_{0}>0\), there exists a subsequence \(\{u_{n_{j}}\}\) such that \(\mu\{x\in R^{N}:|u_{n_{j}}(x)-u(x)|\geq\sigma_{0}\}\geq \varepsilon_{0}>0 \). Set \(c=M^{-1} (\frac{6 \widetilde{\rho }_{{M}}(u)}{\varepsilon_{0}} )>0\), we get that
$$\begin{aligned} \widetilde{\rho}_{{M}}(u)&= \int_{R^{N}}\bigl[M\bigl(u(x)\bigr)+M\bigl(\big|\nabla u(x)\big|\bigr) \bigr]\, dx\geq \int_{R^{N}}M\bigl(u(x)\bigr)\,dx \\ &\geq \int_{|u(x)|>c}M\bigl(u(x)\bigr)\,dx \geq M(c)\mu\bigl\{ x\in R^{N}:\big|u(x)\big|> c\bigr\} \\ &= \frac{6\widetilde{\rho}_{{M}}(u)}{\varepsilon_{0}}\mu\bigl\{ x\in R^{N}:\big|u(x)\big|> c\bigr\} . \end{aligned} $$
The above inequality yields \(\mu\{x\in R^{N}:|u(x)|> c\}\leq\frac {\varepsilon_{0}}{6}< \frac{\varepsilon_{0}}{3}\).
From (4.1), there exists \(j_{0}\), for all \(j\geq j_{0}\),
$$\begin{aligned} 2\widetilde{\rho}_{{M}}(u)&\geq\widetilde{ \rho}_{{M}}(u_{n_{j}}) \geq \int_{R^{N}}M\bigl(u_{n_{j}}(x)\bigr)\,dx \geq \int_{|u_{n_{j}}(x)|>c}M\bigl(u_{n_{j}}(x)\bigr)\,dx \\ &\geq M(c)\mu\bigl\{ x\in R^{N}:\big|u_{n_{j}}(x)\big|> c\bigr\} = \frac{6\widetilde{\rho}_{{M}}(u)}{\varepsilon_{0}}\mu\bigl\{ x\in R^{N}:\big|u_{n_{j}}(x)\big|> c\bigr\} . \end{aligned} $$
Consequently, for all \(j\geq j_{0}\), we obtain that \(\mu\{x\in R^{N}:|u_{n_{j}}(x)|> c\}\leq \frac{\varepsilon_{0}}{3}\).
$$\begin{gathered} \bigl\{ x\in R^{N}:\big|u_{n_{j}}(x)-u(x)\big| \geq\sigma_{0}\bigr\} \\ \quad \subset\bigl\{ x\in R^{N}:\big|u(x)\big|> c\bigr\} \\ \qquad{} \cup\bigl\{ x\in R^{N}:\big|u_{n_{j}}(x)\big|> c\bigr\} \\ \qquad{} \cup \bigl\{ x\in R^{N}:\big|u_{n_{j}}(x)-u(x)\big|\geq \sigma_{0}, \big|u(x)\big|\leq c, \big|u_{n_{j}}(x)\big|\leq c\bigr\} , \end{gathered} $$
one has
$$ \begin{aligned}[b]\mu E&:=\mu\bigl\{ x\in R^{N}:\big|u_{n_{j}}(x)-u(x)\big| \geq\sigma_{0}, \big|u(x)\big|\leq c, \big|u_{n_{j}}(x)\big|\leq c\bigr\} \\&\geq \varepsilon_{0}-\frac{\varepsilon _{0}}{3}-\frac{\varepsilon_{0}}{3}= \frac{\varepsilon_{0}}{3}. \end{aligned}$$
Since \(M(t)\) is strictly convex, from [24, Proposition 1.4], there exists \(\delta>0\) such that
$$ M \biggl( \frac{t'+t''}{2} \biggr)\leq (1-\delta) \frac{M(t')+M(t'')}{2} $$
for all \(|t'|\leq c\), \(|t''|\leq c\) and \(|t'-t''|\geq\sigma_{0}\). By (4.3) and (4.4),
$$\begin{aligned} \widetilde{\rho}_{{M}}\biggl( \frac{u_{n_{j}} +u}{2}\biggr) \leq{}& \int_{E}(1-\delta)\frac{M( u_{n_{j}}(x)) +M(u(x))}{2}\,dx + \int_{R^{N}\setminus E}\frac{M( u_{n_{j}}(x)) +M(u(x))}{2}\,dx \\ &+ \int_{R^{N}}\frac{M( |\nabla u_{n_{j}}(x)|) +M(|\nabla u(x)|)}{2}\, dx \\ \leq{}& \frac{\widetilde{\rho}_{{M}}({u_{n_{j}}) +\widetilde{\rho }_{{M}}(u)}}{2}-\delta M\biggl(\frac{\sigma_{0}}{2}\biggr) \frac{\varepsilon _{0}}{3} . \end{aligned} $$

Letting \(j\rightarrow\infty\), by (4.1) and (4.2) we obtain \(\widetilde{\rho}_{{M}}(u)\leq\frac{\widetilde{\rho}_{{M}}(u) +\widetilde{\rho}_{{M}}(u)}{2}-\delta M(\frac{\sigma_{0}}{2})\frac {\varepsilon_{0}}{3}<\widetilde{\rho}_{{M}}(u)\), which is a contradiction.

Replacing \(u_{n}\), u by \(\nabla u_{n}\), u, respectively, we deduce that \(\{\nabla u_{n}\}\) converges to u in measure.

By the Riesz theorem, there exists a subsequence, still denoted by \(\{ u_{n_{j}}\}\), such that \(u_{n_{j}}(x)\rightarrow u(x)\), \(\nabla u_{n_{j}}(x)\rightarrow\nabla u(x)\) a.e. in \(R^{N}\), so \(|\nabla u_{n_{j}}(x)|\rightarrow|\nabla u(x)|\) a.e. in \(R^{N}\). Applying the Fatou lemma and (4.1), we get that
$$\begin{aligned} \widetilde{\rho}_{{M}}(u)={}& \int_{R^{N}}\bigl[M\bigl(u(x)\bigr)+M\bigl(\big|\nabla u(x)\big|\bigr) \bigr]\,dx \\ ={}& \int_{R^{N}}\lim_{j\rightarrow\infty} \biggl[ \frac{ M(u_{n_{j}}(x)) +M(u(x))}{2}-M \biggl(\frac{ u_{n_{j}}(x) -u(x)}{2} \biggr) \\ &+\frac{M(|\nabla u_{n_{j}}(x)| )+M(|\nabla u(x)|)}{2}-M \biggl(\frac{ |\nabla u_{n_{j}}(x) -\nabla u(x)|}{2} \biggr) \biggr]\,dx \\ \leq{}& \liminf_{j\rightarrow\infty} \int_{R^{N}} \biggl[\frac{ M(u_{n_{j}}(x)) +M(u(x))}{2}-M \biggl(\frac{ u_{n_{j}}(x) -u(x)}{2} \biggr) \\ &+\frac{M(|\nabla u_{n_{j}}(x)| )+M(|\nabla u(x)|)}{2}-M \biggl(\frac{ |\nabla u_{n_{j}}(x) -\nabla u(x)|}{2} \biggr) \biggr]\,dx \\ ={}&\widetilde{\rho}_{{M}}(u)- \limsup_{j\rightarrow\infty} \int _{R^{N}} \biggl[M \biggl(\frac{ u_{n_{j}}(x) -u(x)}{2} \biggr) +M \biggl(\frac{ |\nabla u_{n_{j}}(x) -\nabla u(x)|}{2} \biggr) \biggr]\,dx \\ =&\widetilde{\rho}_{{M}}(u)- \limsup_{j\rightarrow\infty}\widetilde {\rho}_{{M}}\biggl(\frac{u_{n_{j}}-u}{2}\biggr). \end{aligned} $$
Hence, \(\limsup_{j\rightarrow\infty}\widetilde{\rho}_{{M}}(\frac {u_{n_{j}}-u}{2})\leq0\). Combining \(\liminf_{j\rightarrow\infty }\widetilde{\rho}_{{M}}(\frac{u_{n_{j}}-u}{2})\geq0\), we see that \(\lim_{j\rightarrow\infty}\widetilde{\rho}_{{M}}(\frac {u_{n_{j}}-u}{2})=0\). From \(M\in\Delta_{2}\), we obtain \(\lim_{j\rightarrow\infty}\|u_{n_{j}}-u\|=0 \). Arguing by contradiction, we deduce that \(\lim_{n\rightarrow\infty}\| u_{n}-u\|=0\). □

Lemma 4.2

Given that k is continuous, M is a strictly convex smooth Orlicz function and \(M\in\Delta_{2}\cap\nabla _{2}\). Then \((K')^{-1}:({ W^{1,M}_{0}})^{*} \rightarrow{ W^{1,M}_{0}}\) is continuous.


For \(u,v\in{ W^{1,M}_{0}}\), by [25, Lemma 3.4], we obtain
$$ \bigl\langle K'(u), v\bigr\rangle =k\bigl(\widetilde{ \rho}_{{M}}(u)\bigr) \int_{R^{N}} \biggl[p\bigl(|\nabla u|\bigr)\frac{\nabla u\cdot\nabla v}{|\nabla u|}+p\bigl(|u|\bigr) \frac {uv}{|u|} \biggr]\,dx, $$
\(K':{ W^{1,M}_{0}}\rightarrow({ W^{1,M}_{0}})^{*}\) and \(K\in C^{1}({ W^{1,M}_{0}},R)\).

Next, we show that \(K'\) is strictly monotone.

For \(u_{1},u_{2}\in{ W^{1,M}_{0}}\) with \(u_{1}\neq u_{2}\), it follows that \(\mu A:=\mu\{x\in R^{N}:u_{1}(x)\neq u_{2}(x)\}>0 \). Since M is strictly convex, we get that
$$\begin{gathered}\int_{A}M \biggl(\frac{u_{1}(x)+u_{2}(x)}{2} \biggr)\,dx< \int_{A}\frac {M(u_{1}(x))+M(u_{2}(x))}{2}\,dx,\\ \int_{R^{N}\setminus A} \biggl[\frac{M(u_{1}(x))+M(u_{2}(x))}{2}-M\biggl(\frac {u_{1}(x)+u_{2}(x)}{2}\biggr) \biggr]\,dx\geq0,\end{gathered}$$
$$\int_{R^{N}} \biggl[\frac{M(|\nabla u_{1}(x)|)+M(|\nabla u_{2}(x)|)}{2}-M\biggl(\frac{|\nabla u_{1}(x)+\nabla u_{2}(x)|}{2}\biggr) \biggr]\, dx\geq0 .$$
The above inequalities yield \(\widetilde{\rho}_{{M}}(\frac {u_{1}+u_{2}}{2})<\frac{\widetilde{\rho}_{{M}}(u_{1})+\widetilde{\rho }_{{M}}(u_{2})}{2}\). By [23, Theorem 25.8 ], we get that \(K'\) is strictly monotone.

By (4.5), we deduce that \(K'\) is coercive and hemi-continuous. In view of [23, Theorem 26.A], \((K')^{-1}:({ W^{1,M}_{0}})^{*} \rightarrow{ W^{1,M}_{0}}\) is strictly monotone, bounded and demi-continuous.

Finally, we show that \((K')^{-1}\) is continuous on \(({ W^{1,M}_{0}})^{*}\).

For \(\{\tau_{n}\} \subset({ W^{1,M}_{0}})^{*}\), \(\tau\in({ W^{1,M}_{0}})^{*}\), if \(\|\tau_{n}-\tau\|\rightarrow0\), we will prove that \(\|u_{n}-u\|\rightarrow0\), where \(u_{n}= (K ')^{-1}(\tau_{n})\), \(u= (K')^{-1}(\tau)\).

Since \((K')^{-1}\) is demi-continuous, it follows that \(\langle K'(u_{n})-K'(u),u_{n}-u\rangle=\langle\tau_{n}-\tau , u_{n}-u\rangle \rightarrow0 \). By \(K'(u)\in( W_{0}^{1}L_{M})^{*}\), it follows that
$$\begin{aligned}& \bigl\langle K'(u),u_{n}-u\bigr\rangle \rightarrow0 , \end{aligned}$$
$$\begin{aligned}& \bigl\langle K'(u_{n}),u_{n}-u \bigr\rangle =\bigl\langle K'(u_{n})-K'(u),u_{n}-u \bigr\rangle +\bigl\langle K'(u),u_{n}-u\bigr\rangle \rightarrow0 . \end{aligned}$$


\(\widetilde{\rho}_{{M}}(u_{n})\rightarrow\widetilde{\rho}_{{M}}(u)\), as \(n\rightarrow\infty\).

Since M is an Orlicz function, by (4.5) we obtain
$$\begin{aligned}& \begin{aligned}[b] &\bigl\langle K'(u),u_{n}-u \bigr\rangle \\ &\quad=k\bigl(\widetilde{\rho}_{{M}}(u)\bigr) \int_{R^{N}} \biggl[p\bigl(|\nabla u|\bigr)\frac {\nabla u\cdot\nabla(u_{n}-u)}{|\nabla u|}+p\bigl(|u|\bigr) \frac {u(u_{n}-u)}{|u|} \biggr]\,dx \\ &\quad\leq k\bigl(\widetilde{\rho}_{{M}}(u)\bigr) \int_{R^{N}} \bigl[p\bigl(|\nabla u|\bigr) \bigl(|\nabla u_{n}|-| \nabla u|\bigr)+p\bigl(|u|\bigr) \bigl(|u_{n}|-|u|\bigr) \bigr]\,dx \\ &\quad\leq k\bigl(\widetilde{\rho}_{{M}}(u)\bigr) \bigl(\widetilde{\rho }_{{M}}(u_{n})-\widetilde{\rho}_{{M}}(u)\bigr), \end{aligned} \end{aligned}$$
$$\begin{aligned}& \begin{aligned}[b] &\bigl\langle K^{'}(u_{n}),u_{n}-u \bigr\rangle \\ &\quad= k\bigl(\widetilde{\rho}_{{M}}(u_{n})\bigr) \int_{R^{N}} \biggl[p\bigl(|\nabla u_{n}|\bigr) \frac{\nabla u_{n}\cdot\nabla(u_{n}-u)}{|\nabla u_{n}|}+p\bigl(|u_{n}|\bigr)\frac{u_{n}(u_{n}-u)}{|u_{n}|} \biggr]\,dx \\ &\quad\geq k\bigl(\widetilde{\rho}_{{M}}(u_{n})\bigr) \int_{R^{N}} \bigl[p\bigl(|\nabla u_{n}|\bigr) \bigl(|\nabla u_{n}|-|\nabla u|\bigr)+p\bigl(|u_{n}|\bigr) \bigl(|u_{n}|-|u|\bigr) \bigr]\,dx \\ &\quad\geq k\bigl(\widetilde{\rho}_{{M}}(u_{n})\bigr) \bigl( \widetilde{\rho }_{{M}}(u_{n})-\widetilde{ \rho}_{{M}}(u)\bigr) . \end{aligned} \end{aligned}$$

If \(u=\theta\), then \(\widetilde{\rho}_{{M}}(u)=0\). (4.7) and (4.9) yield \(0\leq k(\widetilde{\rho}_{M}(u_{n}))\widetilde{\rho}_{M}(u_{n}) \leq \langle K'(u_{n}),u_{n}\rangle\rightarrow 0\). Because of the positivity of \(k(t)\), we obtain \(\widetilde{\rho }_{M}(u_{n})\rightarrow0=\widetilde{\rho}_{M}(u)\).

If \(u\neq\theta\), then \(\widetilde{\rho}_{M}(u)>0\). From (4.6) and (4.8), we deduce that \(\widetilde{\rho}_{{M}}(u_{n})-\widetilde{\rho}_{{M}}(u)\geq\frac {\langle K'(u),u_{n}-u\rangle}{k(\widetilde{\rho}_{{M}}(u))}\). Letting \(n\rightarrow\infty\), one has \(\liminf_{n\rightarrow\infty}(\widetilde{\rho }_{{M}}(u_{n})-\widetilde{\rho}_{{M}}(u))\geq0\). Combining (4.7) and (4.9), we deduce that there exists \(n_{0}\), for all \(n\geq n_{0}\),
$$\widetilde{\rho}_{{M}}(u_{n})-\widetilde{ \rho}_{{M}}(u)\leq\frac {\langle K'(u_{n}),u_{n}-u\rangle}{k(\widetilde{\rho }_{{M}}(u_{n}))}\leq\frac{ \vert \langle K'(u_{n}),u_{n}-u\rangle \vert }{k(\frac{\widetilde{\rho}_{{M}}(u)}{2})}\rightarrow 0. $$
Thus, we have \(\limsup_{n\rightarrow\infty} (\widetilde{\rho }_{{M}}(u_{n})-\widetilde{\rho}_{{M}}(u) )\leq 0 \). Consequently, \(\lim_{n\rightarrow\infty}\widetilde{\rho }_{{M}}(u_{n})=\widetilde{\rho}_{{M}}(u)\). Moreover, \(\lim_{n\rightarrow\infty}K(u_{n})= K(u)\). By Lemma 4.1, we obtain \(\|u_{n}-u\|\rightarrow0\). □

Lemma 4.3

Given that \(M\in\Delta_{2}\cap\nabla_{2}\) with \(D_{{M}}< N\), f satisfies \(H_{1}\) and \(\alpha(x)\in L^{\frac {D^{*}_{M}}{D^{*}_{M}-d_{M}}}(R^{N})\). Then \(D_{{M}}< d_{{M}}^{*}\) implies that \(\mathcal{F}' \) is compact.


Using the same arguments as those in [25, Lemma 3.4], we get that
$$\bigl\langle \mathcal{F}'(u),v\bigr\rangle = \int_{R^{N}}f\bigl(x,u(x)\bigr)v(x)\,dx. $$
\(\mathcal{F}': { W^{1,M}_{0}}\rightarrow({ W^{1,M}_{0}})^{*}\), \(\mathcal{F} \in C^{1}({ W^{1,M}_{0}},R)\).

For \(\{u_{n}\}\) a bounded sequence in \(W_{0}^{1}L_{M}\), by the Alaoglu-Banach theorem, there exists a subsequence \(\{u_{n_{j}}\} \) such that \(u_{n_{j}} \rightharpoonup u\) weakly. We will show that \(\{ \mathcal{F}'(u_{n})\}\) admits a subsequence strongly converging to \(\mathcal{F}'(u)\).

By \(M\in\Delta_{2}\) and the Hölder inequality, for any measurable subset \(\Omega\subset R^{N}\), it holds uniformly for all \(v\in{ W^{1,M}_{0}}\) with \(\|v\|\leq1\),
$$\begin{aligned}& \begin{aligned}[b] & \int_{\Omega}\bigl[\alpha(x)p\bigl(\big|u(x)\big|\bigr)+2\beta(x)\bigr]v(x) \,dx \\ &\quad\leq\big\| \alpha p\bigl(|u|\bigr)+2\beta\big\| _{\widetilde{M}, \Omega}\|v\|_{(M), \Omega} \leq\big\| \alpha p\bigl(|u|\bigr)+2\beta\big\| _{\widetilde{M}, \Omega}, \end{aligned} \end{aligned}$$
$$\begin{aligned}& \begin{aligned} \int_{\Omega}\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big|\bigr)v(x)\,dx \leq\big\| \alpha p\bigl(|u_{n_{j}}|\bigr)\big\| _{\widetilde{M}, \Omega} . \end{aligned} \end{aligned}$$
By (4.10), for \(\varepsilon>0\), there exists \(r^{*}>0\), \(\Omega^{*}:=\{x\in R^{N}:|x|>r^{*}\}\) such that
$$ \int_{\Omega^{*}}\bigl[\alpha(x)p\bigl(\big|u(x)\big|\bigr)+2\beta(x)\bigr]v(x) \,dx< \varepsilon. $$
Due to \(M, \widetilde{M} \in\Delta_{2}\), by [24, Theorem 1.13], it follows that \(p, \widetilde{p} \in\Delta_{2}\). We deduce that
$$ \begin{aligned}[b] &\widetilde{M} \bigl(\alpha(x)p \bigl(\big|u_{n_{j}}(x)\big|\bigr) \bigr) \\ &\quad\leq \alpha(x)p\bigl(\big|u_{n_{j}}(x)\big|\bigr)\widetilde{p} \bigl(\alpha (x)p \bigl(\big|u_{n_{j}}(x)\big|\bigr) \bigr) \leq\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big| \bigr)\widetilde{p} \bigl(\|\alpha\|_{\infty }p\bigl(\big|u_{n_{j}}(x)\big| \bigr) \bigr) \\ &\quad\leq\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big|\bigr)\widetilde{p} \bigl(2\|\alpha \|_{\infty }\bigl(p\bigl(\big|u_{n_{j}}(x)\big|\bigr)-\varepsilon(x)\bigr) \bigr) \\ &\quad\leq c'_{1}\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big|\bigr) \widetilde{p} \bigl(p\bigl(\big|u_{n_{j}}(x)\big|\bigr)-\varepsilon(x) \bigr) \\ &\quad\leq c'_{1}\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big| \bigr)\big|u_{n_{j}}(x)\big| \leq c'_{1}\alpha(x)M \bigl(2\big|u_{n_{j}}(x)\big|\bigr) \leq c_{1}\alpha(x)M \bigl(\big|u_{n_{j}}(x)\big|\bigr), \end{aligned} $$
where \(\varepsilon(x)>0\) is taken small enough for \(u_{n_{j}}(x) \neq 0\), \(\varepsilon(x)=0\) for \(u_{n_{j}}(x) = 0\).
By (4.13), \(D_{{M}}< d_{{M}}^{*}\) and [26, Lemma 2.1, Lemma 2.2],
$$\begin{aligned} & \int_{|u_{n_{j}}(x)|\leq1}\widetilde{M}\bigl(\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big| \bigr)\bigr)\, dx \\ &\quad\leq c_{1} \int_{|u_{n_{j}}(x)|\leq1}\alpha(x)M\bigl(\big|u_{n_{j}}(x)\big|\bigr)\,dx \leq c_{1} \int_{|u_{n_{j}}(x)|\leq1}\alpha (x)M(1)\big|u_{n_{j}}(x)\big|^{d_{M}}\,dx \\ &\quad\leq c_{1}M(1) \biggl( \int_{|u_{n_{j}}(x)|\leq1}\alpha(x)^{\frac {D^{*}_{M}}{D^{*}_{M}-d_{M}}}\,dx \biggr)^{\frac {D^{*}_{M}-d_{M}}{D^{*}_{M}}} \biggl( \int_{|u_{n_{j}}(x)|\leq 1}\big|u_{n_{j}}(x)\big|^{d_{M}\cdot\frac{D^{*}_{M}}{d_{M}}}\,dx \biggr)^{\frac {d_{M}}{D^{*}_{M}}} \\ &\quad\leq c_{1}M(1)\|\alpha\|_{L^{\frac{D^{*}_{M}}{D^{*}_{M}-d_{M}}}} \biggl( \int_{|u_{n_{j}}(x)|\leq1}\frac{1}{M_{*}(1)}M_{*} \bigl(\big|u_{n_{j}}(x)\big|\bigr)\, dx \biggr)^{\frac{d_{M}}{D^{*}_{M}}} \leq c_{2}'\|\alpha\|_{L^{\frac{D^{*}_{M}}{D^{*}_{M}-d_{M}}}}. \end{aligned} $$
Using the same arguments, we obtain
$$\int_{|u_{n_{j}}(x)|> 1}\widetilde{M}\bigl(\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big| \bigr)\bigr)\,dx \leq c_{2}''\|\alpha \|_{L^{\frac{d^{*}_{M}}{d^{*}_{M}-D_{M}}}} . $$
Combining the above inequalities, taking \({r}\geq r^{*}\), \({\Omega_{r}}=\{x\in R^{N}:|x|>{r}\}\), we deduce that \(\int_{{\Omega_{r}}}\widetilde{M}(\alpha(x)p(|u_{n_{j}}(x)|))\, dx<\varepsilon\), \(j=1,2,\ldots\) .
By [26, Lemma 2.5] and (4.11),
$$ \int_{{\Omega_{r}}}\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big|\bigr)v(x)\,dx \leq\big\| \alpha p\bigl(|u_{n_{j}}|\bigr)\big\| _{\widetilde{M},\Omega_{r}}\leq2\varepsilon^{\frac {d_{M}-1}{d_{M}}},\quad j=1,2,\ldots. $$
By \(H_{1}\), (4.12) and (4.14), we deduce that it holds uniformly for all \(v\in{ W^{1,M}_{0}}\) with \(\|v\|\leq1\)
$$ \begin{aligned}[b] & \int_{{\Omega_{r}}} \bigl[f\bigl(x,u_{n_{j}}(x)\bigr)-f \bigl(x,u(x)\bigr)\bigr]v(x)\,dx \\ &\quad\leq \int_{{\Omega_{r}}}\bigl[\alpha(x)p\bigl(\big|u_{n_{j}}(x)\big|\bigr)+ \alpha (x)p\bigl(\big|u(x)\big|\bigr)+2\beta(x)\bigr]\big|v(x)\big|\,dx \\ &\quad< 2\varepsilon^{\frac{d_{M}-1}{d_{M}}}+\varepsilon, \quad j=1,2,\ldots. \end{aligned} $$
For \(B_{ {r}}=R^{N}\setminus{\Omega_{r}}=\{x\in R^{N}:|x|\leq{r}\}\), combining \(u_{n_{j}}\rightharpoonup u\) weakly, we get \(\|u_{n_{j}}-u\| _{(M),B_{ {r}}}\rightarrow0\). By applying the Lebesgue dominated convergence theorem, we deduce \(\int_{B_{{r}}}\widetilde{M}{(f(x,u_{n_{j}}(x))-f(x,u(x)))}\, dx\rightarrow0 \). By \(\widetilde{M}\in\Delta_{2}\), there exists \(j_{0}\), for all \(j\geq j_{0}\),
$$ \big\| f(x,u_{n_{j}})-f(x,u)\big\| _{\widetilde{M},B_{{r}}}< \varepsilon. $$

In view of (4.15) and (4.16), we complete the proof. □

Lemma 4.4

Given that \(d_{{M}}< N\) and \(D_{{M}}< d^{*}_{{M}}\), k satisfies \(k(0)\) and \(k(\infty)\), f satisfies \(H_{1}\), \(H_{2}\). Then \(\limsup_{\|u\|\rightarrow\infty}\frac{\mathcal{F}(u)}{K(u)}\leq 0\), \(\limsup_{\|u\|\rightarrow 0}\frac{\mathcal{F}(u)}{K(u)}\leq0\).


Given δ in Condition \(k(\infty)\). For \(\|u\|>1+\delta \), so \(\widetilde{\rho}_{{M}}(u)>1+\delta\).

By \(H_{1}\), the Hölder inequality and \(k(\infty)\),
$$\begin{aligned} \frac{\mathcal{F}(u)}{K(u)} &\leq\frac{\int_{R^{N}}[\alpha(x)M(|u(x)|) +\beta(x)|u(x)|]\,dx}{\int_{\delta}^{\widetilde{\rho}_{{M}}(u)}k(s)\, ds} \\ &\leq\frac{\|\alpha\|_{\infty}\widetilde{\rho}_{{M}}(u) +\|\beta\|_{\widetilde{M}}\|u\|}{\frac{C}{\gamma+1} ((\widetilde {\rho}_{{M}}(u))^{\gamma+1}-(\delta)^{\gamma+1} )} \leq\frac{(\|\alpha\|_{\infty}+\|\beta\|_{\widetilde{M}})\widetilde {\rho}_{{M}}(u)}{\frac{C}{\gamma+1} ((\widetilde{\rho }_{{M}}(u))^{\gamma+1}-(\delta)^{\gamma+1} )}, \end{aligned} $$
which implies \(\limsup_{\|u\|\rightarrow\infty}\frac{\mathcal {F}(u)}{K(u)}\leq0\).

By \(H_{2}\), for some positive constants \(\delta_{0}\in(0,1)\), \(c_{1}>0\), one has \(F(x,t)\leq c_{1}M_{*}(t)\) for all \(|t|<\delta_{0}\). Due to \(W_{0}^{1}L_{M}(R^{N})\hookrightarrow L_{M_{*}}(R^{N})\), there exists \(C_{*}>0\) such that \(\|u\|_{(M_{*})}\leq C_{*}\|u\|\) for all \(u\in W_{0}^{1}L_{M}(R^{N})\). For \(\|u\|<\min\{1, \frac{1}{C_{*}},\delta'\}\) (where \(\delta'\) is of in \(k(0)\)), by [26, Lemma 2.2], we obtain \(\rho _{{M_{*}}}(u)\leq\|u\|^{d^{*}_{M}}_{(M_{*})}\leq C_{*}^{d^{*}_{M}}\| u\|^{d^{*}_{M}}\).

By \(D_{{M}}< d^{*}_{{M}}\) and Condition \(k(0)\), we get that
$$ \begin{aligned} \frac{\int_{|u(x)|< \delta_{0}}F(x,u(x))\,dx}{K(u)} \leq \frac{c_{1}\rho_{{M_{*}}}(u)}{\frac{C}{\gamma+1}(\widetilde{\rho }_{{M}}(u))^{\gamma+1}} \leq\frac{c_{1}C_{*}^{d^{*}_{M}}(\gamma+1)}{C}\|u\| ^{d^{*}_{M}-D_{M}(\gamma+1)}\rightarrow 0 . \end{aligned} $$
Since M is an Orlicz function, combining [26, Lemma 2.2], there exists \(c_{2}>0\) such that
$$ \int_{|u(x)|\geq\delta_{0}}F\bigl(x,u(x)\bigr)\,dx \leq c_{2} \int_{|u(x)|\geq\delta_{0}}\big|u(x)\big|^{d_{M}^{*}}\,dx. $$
By \(1>\int_{R^{N}}M(u(x))\,dx\geq M(\delta_{0})\mu\{x\in R^{N}:|u(x)|\geq\delta_{0}\}\), we obtain \(\mu\{x\in R^{N}:|u(x)|\geq\delta_{0}\}\leq\frac{1}{ M(\delta _{0})}<\infty\). From [22, Theorem 8.12] and \(t^{d_{M}^{*}}\leq\frac {1}{M_{*}(1)}M_{*}(t)\), \(\forall t\geq1\), there exists \(c_{3}>0\) such that, for all \(v\in L^{d_{M}^{*}}(\{|u(x)|\geq\delta_{0}\})\),
$$ \|v\|_{L^{d_{M}^{*}}(\{|u(x)|\geq\delta_{0}\})}\leq c_{3}\|v\| _{(M_{*}),\{|u(x)|\geq\delta_{0}\}} \leq c_{3}C_{*}\|v\| . $$
Combining \(k(0)\) and (4.18)-(4.19), we have
$$ \begin{aligned}[b] \frac{\int_{|u(x)|\geq\delta_{0}}F(x,u(x))\,dx}{K(u)} &\leq \frac{c_{2}\int_{|u(x)| \geq\delta_{0}}|u(x)|^{d_{M}^{*}}\,dx}{ \frac{C}{\gamma+1}(\widetilde{\rho}_{{M}}(u))^{\gamma+1}} \\ &\leq \frac{c_{2}(c_{3}C_{*})^{d^{*}_{M}}(\gamma+1)}{C}\|u\| ^{d^{*}_{M}-D_{M}(\gamma+1)}\rightarrow 0. \end{aligned} $$
By (4.17) and (4.20), it follows that \(\limsup_{{\|u\|}\rightarrow 0}\frac{\mathcal{F}(u)}{K(u)}\leq0\). □

Lemma 4.5


Let X be a separable and reflexive real Banach space; let \(\Phi:X\rightarrow R\) be a coercive, sequentially weakly lower semi-continuous \(C^{1}\) functional, belonging to \(\mathcal{W}_{X} \) (if \(\{u_{n}\}\) is a sequence in X converging weakly to u and \(\liminf_{n\rightarrow\infty}\Phi (u_{n})\leq\Phi(u)\), then \(\{u_{n}\}\) has a subsequence converging strongly to u), bounded on each bounded subset of X and whose derivative admits a continuous inverse on \(X^{*}\); let \(J:X\rightarrow R\) be a \(C^{1}\) functional with compact derivative. Assume that Φ has a local minimum \(x_{0}\) with \(\Phi (x_{0})=J(x_{0})=0\). Finally, setting
$$\begin{gathered} \alpha=\max\biggl\{ 0,\limsup_{\|x\|\rightarrow+\infty} \frac{J(x)}{\Phi (x)},\limsup_{x\rightarrow x_{0}}\frac{J(x)}{\Phi(x)}\biggr\} , \\ \beta=\sup_{x\in\Phi^{-1}((0,+\infty))}\frac{J(x)}{\Phi(x)}, \end{gathered} $$
assume that \(\alpha< \beta\).
Then, for each compact interval \([a,b]\subset(\frac{1}{ \beta},\frac {1}{\alpha})\) (with the conventions \(\frac{1}{0}=+\infty\), \(\frac {1}{+\infty}=0\)), there exists \(r>0\) with the following property: for each \(\lambda\in[a,b]\) and every \(C^{1}\) functional Ψ with compact derivative, there exists \(\delta >0\) such that, for each \(\mu\in[0,\delta]\), the equation
$$\Phi^{'}(x)=\lambda J^{'}(x)+\mu\Psi^{'}(x) $$
has at least three solutions whose norms are less than r.

Now, we give the proof of the main result.


Let \(p(t)=a(t)t\), \(\forall t>0\), and \(M(s)=\int _{0}^{|s|}p(t)\,dt\), \(\forall s\in R\). Then M is a strictly convex smooth Orlicz function.

Applying Lemmas 4.1 and 4.2, we deduce that K is sequentially weakly lower semi-continuous belonging to the class \(\mathcal{W}_{{ W^{1,M}_{0}}}\) and \((K')^{-1}\) is continuous. In view of Lemma 4.3, we deduce that \(\mathcal{F}, \mathcal{G} \in C^{1}({ W^{1,M}_{0}},R) \) with compact derivatives. From the definitions of K and \(\mathcal{F}\), we see that \(K(\theta)=\mathcal{F}(\theta)=0\) and \(K(u) >0\) for all \(u \neq\theta\). By Lemma 4.4 and \(H_{3}\), it follows that \(\beta> \alpha\).

Summarily, the critical points theorem in Lemma 4.5 guarantees that
$$K'(u)=\lambda\mathcal{F}'(u)+\mu\mathcal{G}'(u) $$
has at least three solutions, which implies that Problem (1.6) has at least three solutions. □

5 Corollaries and examples

By Theorem 3.1, we get the following.

Corollary 5.1

Let \(1< d_{{M}}\leq D_{{M}}< N\) and \(D_{{M}}< d^{*}_{{M}}\). Assume that k satisfies \(k(0)\) and \(k(\infty)\), f satisfies \(H_{1}\), \(H_{2}'\), \(H_{3}\)
$$H_{2}': \limsup_{t\rightarrow0 } \frac {f(x,t)}{t|t|^{D_{M}^{*}-2}}< \infty,\quad \textit{uniformly }x \in R^{N}, $$
and g satisfies \(H_{1}\). Then, for all \([a, b] \subset(0,\infty)\), there exists \(\sigma>0\) such that for each \(\lambda\in[a,b]\) there exists \(\delta>0\) such that for each \(\mu\in[0,\delta]\), the problem
has at least three solutions whose norms are less than σ in an Orlicz-Sobolev space \({ W^{1,M}_{0}}\) for a strictly convex and smooth Orlicz function \(M(t)=\int_{0}^{|t|}a(\tau)\tau\, d\tau\).

The following example shows that Theorem 3.1 is a substantial improvement, where the function M listed below satisfies the conditions of Theorem 3.1 but it does not satisfy those of [8, Theorem 3.1], [9, Lemma 3.2], [10, Lemma 5], [12, Lemma 2.4].

Example 5.2

For \(p\in(1,2)\),
$$M(t):= |t|^{p}. $$

Then M satisfies all the assumptions in Theorem 3.1. However, the function \(M(\sqrt{t})= t^{\frac{p}{2}}\) is not convex w.r.t. \(t\in[0, \infty)\) due to \(\frac{1}{2}<\frac{p}{2}<1\).

6 Conclusion

We prove the existence of three solutions for the Kirchhoff elliptic problem (1.6) using the ideas developed in Orlicz spaces and the technique of variation principle. We point out that the convexity of the Orlicz function \(M(\sqrt{t})\), which is required in [810, 12], is unnecessary during the proof of strong convergence. We also notice that the result in Theorem 3.1 extends the result for bounded domains.



The author would like to thank the handling editors for the help in the processing of the paper. This work was supported by “the Fundamental Research Funds for the Central Universities” (17CX02032A).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

College of Science, China University of Petroleum, Qingdao, 266580, China


  1. Kirchhoff, G: Mechanik. Teubner, Leipzig (1883) MATHGoogle Scholar
  2. Alves, CO, Corrêa, FJSA, Ma, TF: Positive solutions for a quasilinear elliptic equation of Kirchhoff type. Comput. Math. Appl. 49, 85-93 (2005) MathSciNetView ArticleMATHGoogle Scholar
  3. Aouaoui, S: Multiplicity result for some nonlocal anisotropic equation via nonsmooth critical point theory approach. Appl. Math. Comput. 218, 532-541 (2011) MathSciNetMATHGoogle Scholar
  4. Ricceri, B: On an elliptic Kirchhoff-type problem depending on two parameters. J. Glob. Optim. 46(4), 543-549 (2010) MathSciNetView ArticleMATHGoogle Scholar
  5. Ricceri, B: A further refinement of a three critical points theorem. Nonlinear Anal. 71, 4151-4157 (2009) MathSciNetView ArticleMATHGoogle Scholar
  6. Chen, CS, Song, HX, Xiu, ZH: Multiple solutions for p-Kirchhoff equations in \(R^{N}\). Nonlinear Anal. 86, 146-156 (2013) MathSciNetView ArticleMATHGoogle Scholar
  7. Chen, CS, Huang, JC, Liu, LH: Multiple solutions to the nonhomogeneous p-Kirchhoff elliptic equation with concave-convex nonlinearities. Appl. Math. Comput. 26, 754-759 (2013) MathSciNetMATHGoogle Scholar
  8. Cammaroto, F, Vilasi, L: Multiple solutions for a nonhomogeneous Dirichlet problem in Orlicz-Sobolev spaces. Appl. Math. Comput. 218, 11518-11527 (2012) MathSciNetMATHGoogle Scholar
  9. Kristály, A, Mihăilescu, M, Rădulescu, V: Two nontrivial solutions for a nonhomogeneous Neumann problem: an Orlicz-Sobolev setting. Proc. R. Soc. Edinb. 139A, 367-379 (2009) View ArticleMATHGoogle Scholar
  10. Mihăilescu, M, Repovš, D: Multiple solutions for a nonlinear and nonhomogeneous problem in Orlicz-Sobolev spaces. Appl. Math. Comput. 217, 6624-6632 (2011) MathSciNetMATHGoogle Scholar
  11. Chung, NT: Multiple solutions for a nonlocal problem in Orlicz-Sobolev spaces. Ric. Mat. 63, 169-182 (2014) MathSciNetView ArticleMATHGoogle Scholar
  12. Chung, NT: Three solutions for a class of nonlocal problems in Orlicz-Sobolev spaces. J. Korean Math. Soc. 50(6), 1257-1269 (2013) MathSciNetView ArticleMATHGoogle Scholar
  13. Aouaoui, S: On some eigenvalue problem involving a non-homogeneous differential operator. Complex Var. Elliptic Equ. 58(10), 1421-1429 (2013) MathSciNetView ArticleMATHGoogle Scholar
  14. Figueiredo, GJM, Santos, JA: On a Φ-Kirchhoff multivalued problem with critical growth in an Orlicz-Sobolev space. Asymptot. Anal. 89(1-2), 151-172 (2014) MathSciNetMATHGoogle Scholar
  15. Radulescu, V, Repovs, D: Partial Differential Equation with Variable Exponents: Variable Method and Qualitative Analysis. CRC Press, Boca Raton (2015) View ArticleMATHGoogle Scholar
  16. Radulescu, V: Nonlinear elliptic equations with variable exponent: old and new. Nonlinear Anal. 121, 336-369 (2015) MathSciNetView ArticleMATHGoogle Scholar
  17. Repovs, D: Stationary waves of Schrodinger-type equations with variable exponent. Anal. Appl. 13(6), 645-661 (2015) MathSciNetView ArticleMATHGoogle Scholar
  18. Autuori, G, Pucci, P: Kirchhoff systems with nonlinear source and boundary damping terms. Commun. Pure Appl. Anal. 9(5), 1161-1188 (2010) MathSciNetView ArticleMATHGoogle Scholar
  19. Pucci, P, Xiang, M, Zhang, B: Existence and multiplicity of entire solutions for fractional p-Kirchhoff equations. Adv. Nonlinear Anal. 5(1), 27-55 (2016) MathSciNetMATHGoogle Scholar
  20. Krasnoselski, M, Rutickii, Y: Convex Functions and Orlicz Space. Noordhoff, Groningen (1961) Google Scholar
  21. Dominguez, T, Hudzik, H, López, G, Mastyło, M, Sims, B: Complete characterizations of Kadec-Klee properties in Orlicz spaces. Houst. J. Math. 29(4), 1027-1044 (2003) MathSciNetMATHGoogle Scholar
  22. Adams, RA, Fournier, JJF: Sobolev Spaces, 2nd edn. Academic Press, New York (2003) MATHGoogle Scholar
  23. Zeidler, E: Nonlinear Functional Analysis and Its Applications. Springer, New York (1990) View ArticleMATHGoogle Scholar
  24. Chen, ST: Geometry of Orlicz Spaces. Polish Sci., Warszawa (1996) MATHGoogle Scholar
  25. García-Huidobro, M, Le, VK, Manásevich, R, Schmitt, K: On principal eigenvalues for quasilinear elliptic differential operators: an Orlicz-Sobolev space setting. Nonlinear Differ. Equ. Appl. 6, 207-225 (1999) MathSciNetView ArticleMATHGoogle Scholar
  26. Fukagai, N, Ito, M, Narukawa, K: Positive solutions of quasilinear elliptic equations with critical Orlicz-Sobolev nonlinearity on \({R^{N}}\). Funkc. Ekvacioj 49, 235-267 (2006) MathSciNetView ArticleMATHGoogle Scholar


© The Author(s) 2017