Skip to main content

Multiple solutions for Kirchhoff elliptic equations in Orlicz-Sobolev spaces


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.

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

figure a

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

figure b

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.


  1. Kirchhoff, G: Mechanik. Teubner, Leipzig (1883)

    MATH  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

  3. Aouaoui, S: Multiplicity result for some nonlocal anisotropic equation via nonsmooth critical point theory approach. Appl. Math. Comput. 218, 532-541 (2011)

    MathSciNet  MATH  Google Scholar 

  4. Ricceri, B: On an elliptic Kirchhoff-type problem depending on two parameters. J. Glob. Optim. 46(4), 543-549 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  5. Ricceri, B: A further refinement of a three critical points theorem. Nonlinear Anal. 71, 4151-4157 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  6. Chen, CS, Song, HX, Xiu, ZH: Multiple solutions for p-Kirchhoff equations in \(R^{N}\). Nonlinear Anal. 86, 146-156 (2013)

    Article  MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google Scholar 

  8. Cammaroto, F, Vilasi, L: Multiple solutions for a nonhomogeneous Dirichlet problem in Orlicz-Sobolev spaces. Appl. Math. Comput. 218, 11518-11527 (2012)

    MathSciNet  MATH  Google 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)

    Article  MATH  Google 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)

    MathSciNet  MATH  Google Scholar 

  11. Chung, NT: Multiple solutions for a nonlocal problem in Orlicz-Sobolev spaces. Ric. Mat. 63, 169-182 (2014)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

  13. Aouaoui, S: On some eigenvalue problem involving a non-homogeneous differential operator. Complex Var. Elliptic Equ. 58(10), 1421-1429 (2013)

    Article  MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google Scholar 

  15. Radulescu, V, Repovs, D: Partial Differential Equation with Variable Exponents: Variable Method and Qualitative Analysis. CRC Press, Boca Raton (2015)

    Book  MATH  Google Scholar 

  16. Radulescu, V: Nonlinear elliptic equations with variable exponent: old and new. Nonlinear Anal. 121, 336-369 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  17. Repovs, D: Stationary waves of Schrodinger-type equations with variable exponent. Anal. Appl. 13(6), 645-661 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  18. Autuori, G, Pucci, P: Kirchhoff systems with nonlinear source and boundary damping terms. Commun. Pure Appl. Anal. 9(5), 1161-1188 (2010)

    Article  MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google Scholar 

  22. Adams, RA, Fournier, JJF: Sobolev Spaces, 2nd edn. Academic Press, New York (2003)

    MATH  Google Scholar 

  23. Zeidler, E: Nonlinear Functional Analysis and Its Applications. Springer, New York (1990)

    Book  MATH  Google Scholar 

  24. Chen, ST: Geometry of Orlicz Spaces. Polish Sci., Warszawa (1996)

    MATH  Google 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)

    Article  MathSciNet  MATH  Google 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)

    Article  MathSciNet  MATH  Google Scholar 

Download references


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).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Shujun Wu.

Additional information


Not applicable.

Competing interests

The author declares that they have no competing interests.

Authors’ contributions

All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wu, S. Multiple solutions for Kirchhoff elliptic equations in Orlicz-Sobolev spaces. Bound Value Probl 2017, 131 (2017).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: