Multiple Solutions for Nonlocal Elliptic Systems Involving p(x)-Biharmonic Operator

Abstract

This paper analyzes the nonlocal elliptic system involving the p(x)-biharmonic operator. We give the corresponding variational structure of the problem, and then by means of Ricceri’s Variational theorem and the definition of general Lebesgue-Sobolev space, we obtain sufficient conditions for the infinite solutions to this problem.

1. Introduction

This article analyzes the system

$$\{\begin{array}{c}{\Delta }_{p(x)}^{2}u(x)-M\left({\displaystyle {\int }_{\Omega }\frac{|\nabla u(x){|}^{p(x)}}{p(x)}dx}\right){\Delta }_{p(x)}u(x)+\mathsf{\rho }(x)|u{|}^{p(x)-2}u(x)=\mathsf{\lambda }f(x,u)in\Omega ,\\ u=\Delta u=0on\partial \Omega ,\end{array}$$

(1)

where $\Omega \subset {\mathsf{ℝ}}^N(N\ge 2)$ with a smooth boundary. $p(x)\in C(\overline{\Omega }),$ $\mathsf{\lambda }>0,\mathsf{\rho }(x)\in L^{\infty }(\Omega )$,${\Delta }_{p(x)}^2(u)$ is the operator defined as $\Delta ({|\Delta u|}^{p(x)-2}\Delta u)$. $\frac{N}{2}<p^{-}:=ess{\inf }_{x\in \Omega }p(x)\le p^{+}:=ess{\sup }_{x\in \Omega }p(x)<\infty$. The continuous function $M:[0,\infty )\to \mathsf{ℝ}$ satisfies $0<m_0\le M(t)\le m_1$ for every $t\ge 0$. $f:\overline{\Omega }\times \mathsf{ℝ}\to \mathsf{ℝ}$ has certain conditions.

The biharmonic equation have many applications, such as describing the theorem of beam vibration, image processing, and so on. In [1], under appropriate conditions and Ricceri’s three critical point theory, Li &Tang researched a class of p-biharmonic problems, and three solutions were obtained under the navier boundary value. In [2], Wang & An studied the problem:

$$\{\begin{array}{c}{\Delta }^{2}u(x)-M\left({\displaystyle {\int }_{\Omega }{\left|\nabla u\right|}^{2}dx}\right)\Delta u(x)=\mathsf{\lambda }f(x,u)in\Omega ,\\ u=\Delta u=0on\partial \Omega .\end{array}$$

(2)

In [3], when the nonlinear term $f(x,u)$ satisfying the (AR) condition, using the mountain pass theorem and local minimum theorem, two non-trivial solutions of the p-biharmonic system have been obtained. The authors in [4] researched the same problem in [3] and obtained multiple solutions according to Ricceri’s variational Principle.

The p(x)-biharmonic problem is the general form of the p-biharmonic problem. The operator is no longer a satisfied homogeneous and pointwise identity. The p(x)-biharmonic problem

$$\{\begin{array}{c}\Delta \left({\left|\Delta u\right|}^{p(x)-2}\Delta u\right)=f(x,u)in\Omega ,\\ u=\Delta u=0\partial \Omega ,\end{array}$$

(3)

has also been studied a lot, see [5,6,7,8,9,10]. When $f(x,u)=\mathsf{\lambda }|u{|}^{p(x)-2}u$ in problem (3), Ayoujil & EI Amross [5] used Ljusternik-Schnirelmann critical point theorem and found that there are multiple eigenvalues to this problem. When $f(x,u)=\mathsf{\lambda }V(x)|u{|}^{q(x)-2}u$ in problem (3), $1<q(x)<p(x)<\frac{N}{2}<s(x)$, $V(x)\in L^{s(x)}$, there are multiple eigenvalues to this problem in the neighborhood of the origin in [7]. In [9], Kong studied the p(x)-Biharmonic equation with the Mountain pass theorem. In [11], Miao obtained the many solutions to the $(p_1(x),\cdots ,p_n(x))$-biharmonic problem.

The nonlocal problems that arise in elasticity and population models and have attracted much attention in recent years, see [12,13,14,15,16,17,18,19]. In [14], Dai & Hao considered the nonlocal system

$$-M\left({\displaystyle {\int }_{\Omega }\frac{|\nabla u(x){|}^{p(x)}}{p(x)}dx}\right){\Delta }_{p(x)}u(x)=f(x,u),$$

(4)

with a Dirichlet boundary condition. When the nonlinear term $f(x,u)$ satisfying the (Ambrosetti -Rabinowitz condition, there are multiple solutions to the problem (4) using the Fountain theorem. In [20], multiple solutions for the $(p(x),q(x))$ problems with the Kirchhoff type were obtained using Ricceri’s critical point theorem. Based on the Ricceri’s variational principle, Miao [18] studied the $(p_1(x),\cdots ,p_n(x))$ problems with a Kirchhoff operator.

Although there have been many important results for biharmonic and nonlocal equations in recent years, the corresponding results have also been applied in practice. However, there is little research about the nonlocal elliptic systems involving p(x)-Biharmonic operators. At present, the problem of the variable index has important applications in many disciplines and fields. The chief aim of this article is to research the system (1) under appropriate conditions using Ricceri’s variational principle.

2. Preliminaries

This section we introduce important theorems on $L^{p(x)}(\Omega ),W^{2,p(x)}(\Omega )$ which we will use in this paper.

$$L^{p(x)}(\Omega )=\{u|\mathrm{u}\mathrm{is}\mathrm{measurable},{\displaystyle {\int }_{\Omega }|}u(x){|}^{p(x)}dx<\infty \}$$

has the norm

$$|u{|}_{p(x)}=\inf \{\mathsf{\tau }>0|{\displaystyle {\int }_{\Omega }{\left|\frac{u(x)}{\mathsf{\tau }}\right|}^{p(x)}}dx\le 1\}.$$

$$W^{m,p(x)}(\Omega )=\{u\in L^{p(x)}(\Omega )|D^{\mathsf{\gamma }}u\in L^{p(x)}(\Omega ),|\mathsf{\gamma }|\le m,m\in {\mathsf{\mathbb{Z}}}_{+}\}$$

has the norm

$$||u|{|}_{m,p(x)}={\Sigma }_{|\mathsf{\gamma }|\le m}|D^{\mathsf{\gamma }}u{|}_{p(x)}$$

$\mathsf{\gamma }$ is the multi-index and $|\mathsf{\gamma }|$ is the order.

The closure of $C_0^{\infty }(\Omega )$ in $W^{m,p(x)}(\Omega )$ is the $W_0^{m,p(x)}(\Omega )$. From [21], $L^{p(x)}(\Omega ),W^{m,p(x)}(\Omega )$ are Banach space and have reflexivity, uniform convexity and separability.

Proposition 1.

([21]) Suppose$\frac{1}{p(x)}+\frac{1}{p^0(x)}=1$, then$L^{p^0(x)}(\Omega )$and$L^{p(x)}(\Omega )$are conjugate space, and satisfy the Holder inequality:

$$\left|{\displaystyle \underset{\Omega }{\int }u}vdx\right|\le \left(\frac{1}{p^{-}}+\frac{1}{{(p^0)}^{-}}\right)|u{|}_{p(x)}|v{|}_{p^0(x)},u\in L^{p(x)}(\Omega ),v\in L^{p^0(x)}(\Omega ).$$

We denote$X:=W_0^{1,p(x)}(\Omega ){\displaystyle \cap W^{2,p(x)}}(\Omega )$and has the norm

$$||u||=\inf \left\{\mathsf{\lambda }>0|{\displaystyle {\int }_{\Omega }\left({\left|\frac{\Delta u(x)}{\mathsf{\lambda }}\right|}^{p(x)}+{\left|\frac{\nabla u(x)}{\mathsf{\lambda }}\right|}^{p(x)}+{\left|\frac{u(x)}{\mathsf{\lambda }}\right|}^{p(x)}\right)}dx\le 1\right\},$$

$X$ is separable and reflexive Banach spaces. By [22], $\Vert \cdot \Vert ,\Vert \cdot {\Vert }_{2,p(\cdot )}$ and $|△u{|}_{p(\cdot )}$ are equivalent norms of $X$.

Proposition 2.

([21,23]) For every$\forall u\in L^{p(x)}(\Omega )$, let$J(u)={\displaystyle {\int }_{\Omega }|}u{|}^{p(x)}dx$, we have:

(1) 

$|u{|}_{p(x)}<1(=1;>1)\iff J(u)<1(=1;>1)$;

(2) 

$|u{|}_{p(x)}\ge 1\Rightarrow |u{|}_{p(x)}^{p^{-}}\le J(u)\le |u{|}_{p(x)}^{p^{+}}$;

(3) 

$|u{|}_{p(x)}\le 1\Rightarrow |u{|}_{p(x)}^{p^{+}}\le J(u)\le |u{|}_{p(x)}^{p^{-}}$;

(4) 

$|u{|}_{p(x)}\to 0\iff J\to 0$.

According to the Proposition 2, for $u\in X$, we can deduce the following conclusions:

$$||u|{|}^{p^{-}}\le {\displaystyle {\int }_{\Omega }\left(|\Delta u{|}^{p(x)}+|\nabla u{|}^{p(x)}+\mathsf{\rho }(x)|u{|}^{p(x)}\right)}dx\le ||u|{|}^{p^{+}}\mathrm{if}||u||\ge 1,$$

(5)

$$||u|{|}^{p^{+}}\le {\displaystyle {\int }_{\Omega }\left(|\Delta u{|}^{p(x)}+|\nabla u{|}^{p(x)}+\mathsf{\rho }(x)|u{|}^{p(x)}\right)}dx\le ||u|{|}^{p^{-}}\mathrm{if}||u||\le 1.$$

(6)

The inequality of (5) and (6) play an important role in the deduction of main conclusions.

Proposition 3.

([10]) When$p^{-}>\frac{N}{2}$,$\Omega \subset {\mathsf{ℝ}}^N$is a bounded region, the$X\mapsto C(\overline{\Omega })$is a compact embedding.

According to the Proposition 3, $\forall u\in X$, there exists a constant $K>0$ that depends on $p(\cdot ),N,\Omega$:

$$||u|{|}_{\infty }=\underset{x\in \Omega }{\sup }|u(x)|\le K||u||.$$

(7)

Define the function $I_{\mathsf{\lambda }}:X\to \mathsf{ℝ}$

$$I_{\mathsf{\lambda }}(u)=\Phi (u)-\mathsf{\lambda }\Psi (u),$$

$$\Phi (u)={\displaystyle {\int }_{\Omega }\frac{|\Delta u{|}^{p(x)}}{p(x)}}dx+\widehat{M}\left({\displaystyle {\int }_{\Omega }\frac{|\nabla u{|}^{p(x)}}{p(x)}}dx\right)+{\displaystyle {\int }_{\Omega }\frac{\mathsf{\rho }(x)|u{|}^{p(x)}}{p(x)}}dx,$$

(8)

$$\Psi (u)={\displaystyle {\int }_{\Omega }F}(x,u)dx.$$

(9)

where $\widehat{M}(t)={\displaystyle {\int }_0^{t}M}(s)ds,F(x,u)={\displaystyle {\int }_0^{u}f}(x,t)dt$.

The functional $\Phi ,\Psi :X\to \mathsf{ℝ}$ are Gateaux differentiable functions, $\forall v\in X$, we have:

$$\langle {\Phi }^{\prime }(u),v\rangle ={\displaystyle {\int }_{\Omega }|}\Delta u{|}^{p(x)-2}\Delta u\Delta vdx+M\left({\displaystyle {\int }_{\Omega }\frac{|\nabla u{|}^{p(x)}}{p(x)}}dx\right){\displaystyle {\int }_{\Omega }|}\nabla u{|}^{p(x)-2}\nabla u\nabla vdx+{\displaystyle {\int }_{\Omega }\mathsf{\rho }}(x)|u{|}^{p(x)-2}uvdx,$$

$$\langle {\Psi }^{\prime }(u),v\rangle ={\displaystyle {\int }_{\Omega }f}(x,u)vdx,$$

Furthermore, we can deduce that in order to find the weak solution of Problem (1), we can turn to find the critical point of $I_{\mathsf{\lambda }}$. $\forall u\in X,||u||>1$, according to (5), we can get

$$\begin{array}{cc}\hfill \Phi (u)& \ge \frac{1}{p^{+}}{\displaystyle {\int }_{\Omega }|}\Delta u{|}^{p(x)}dx+m_0{\displaystyle {\int }_{\Omega }\frac{|\nabla u{|}^{p(x)}}{p(x)}}dx+\frac{1}{p^{+}}{\displaystyle {\int }_{\Omega }\mathsf{\rho }}(x)|u(x){|}^{p(x)}dx\hfill \\ & \ge \frac{M^{-}}{p^{+}}||u|{|}^{p^{-}},\hfill \end{array}$$

where $M^{-}=\min \{1,m_0\}$. Clearly $\Phi$ is coercive.

3. Main Results

The following results are due to Ricceri’s [24].

Theorem 1.

([24]) Suppose Banach space$X$is reflexive;$\Psi ,\Phi :X\to \mathsf{ℝ}$are Gateaux differential equations,$\Psi$satisfies sequentially weakly upper semicontinuity,$\Phi$satisfies coercive and sequentially weakly lower semicontinuity. When$r>\underset{X}{\inf }\Phi$, denote

$$\mathsf{\phi }(r):=in{f}_{u\in {\Phi }^{-1}((-\infty ,r))}\frac{\underset{v\in {\Phi }^{-1}((-\infty ,r))}{\sup }\Psi (v)-\Psi (u)}{r-\Phi (u)}$$

and

$$\mathsf{\gamma }:=\lim {\inf }_{r\to +\infty }\mathsf{\phi }(r),\mathsf{\delta }:=\lim {\inf }_{r\to {(\underset{X}{\inf }\Phi )}^{+}}\mathsf{\phi }(r).$$

Hence, one has

• (a)$\forall r>\underset{X}{\inf }\Phi$and$\mathsf{\lambda }\in (0,\frac{1}{\mathsf{\phi }(r)}),$the functional$I_{\mathsf{\lambda }}=\Phi -\mathsf{\lambda }\Psi$has a global minimum in${\Phi }^{-1}((-\infty ,r)),$which is a critical point (local minimum) of$I_{\mathsf{\lambda }}$in$X$.
• (b) If$\mathsf{\gamma }<+\infty$, then,$\forall \mathsf{\lambda }\in (0,\frac{1}{\mathsf{\gamma }})$, one of the following two conclusions holds: either
• (b1)$I_{\mathsf{\lambda }}$has a global minimum, or
• (b2)$I_{\mathsf{\lambda }}$has a sequence local minimum (critical points) denoted by$\left\{u_n\right\},\underset{n\to +\infty }{\lim }\Phi (u_n)=+\infty$.
• (c) If$\mathsf{\delta }<+\infty$, then,$\forall \mathsf{\lambda }\in (0,\frac{1}{\mathsf{\delta }})$, one of the following two conclusions holds: either
• (c1)$\Phi$has a global minimum which is a local minimum of$I_{\mathsf{\lambda }}$, or
• (c2)$I_{\mathsf{\lambda }}$ has a sequence of pairwise distinct local minimum (critical points) which weakly converges to a global minimum of $\Phi$.

According Theorem 1, we can receive the following conclusions

Theorem 2.

Suppose

(A1)$\forall (x,t)\in \Omega \times [0,+\infty ),F(x,t)\ge 0.$

(A2) Denote$S(\tilde{x},l_2)$as a ball with center at$\tilde{x}$and radius of$l_2,\tilde{x}\in \Omega$,$0<l_1<l_2$.$S(\tilde{x},l_2)\subset \Omega$If we put

$$\mathsf{\alpha }:=\lim {\inf }_{\mathsf{\sigma }\to +\infty }\frac{{\displaystyle {\int }_{\Omega }\underset{|t|<\mathsf{\sigma }}{\sup }}F(x,t)dx}{{\mathsf{\sigma }}^{p^{-}}},$$

$$\mathsf{\beta }:=\lim {\sup }_{t\to +\infty }\frac{{\displaystyle {\int }_{S(\tilde{x},l_1)}F}(x,t)dx}{t^{p^{+}}}.$$

One has

$$\mathsf{\alpha }<L\mathsf{\beta },$$

where

$$L=\frac{p^{-}{M}^{-}}{p^{+}{K}^{p^{-}}({\mathsf{\theta }}_1+m_1{\mathsf{\theta }}_2+|\mathsf{\rho }(x){|}_{\infty }{\mathsf{\theta }}_3)},$$

$${\mathsf{\theta }}_1=\frac{{\mathsf{\pi }}^{\frac{N}{2}}}{\Gamma (1+\frac{N}{2})}{\left(\frac{2N}{l_2^2-l_1^2}\right)}^{p^{+}}(l_2^N-l_1^N),$$

$${\mathsf{\theta }}_2=\frac{2{\mathsf{\pi }}^{\frac{N}{2}}}{\Gamma (\frac{N}{2})}{\left(\frac{2}{l_2^2-l_1^2}\right)}^{p^{+}}\frac{l_2^{p^{+}+N}-l_1^{p^{+}+N}}{p^{+}+N},$$

$${\mathsf{\theta }}_3=\frac{2{\mathsf{\pi }}^{\frac{N}{2}}}{\Gamma (\frac{N}{2})}\left[\frac{l_1^N}{N}+{\left(\frac{1}{l_2^2-l_1^2}\right)}^{p^{+}}{\displaystyle {\int }_{l_1}^{l_2}{(l_2^2-r^2)}^{p^{+}}}{r}^{N-1}dr\right],$$

Then, for every

$$\mathsf{\lambda }\in \Lambda :=\frac{M^{-}}{p^{+}{K}^{p^{-}}}\left(\frac{1}{L\mathsf{\beta }},\frac{1}{\mathsf{\alpha }}\right),$$

there exists a series of unbounded weak solutions to the problem (1).

Proof. 

Based on previous results, $\Phi ,\Psi$ meet Theorem 1. Since $\Phi (0)=0,$$\Psi (0)\ge 0$, then, when $r>0$, we have:

$$\mathsf{\phi }(r)\le \frac{\underset{\Phi (v)<r}{\sup }{\displaystyle {\int }_{\Omega }F}(x,v)dx}{r}.$$

(10)

From (A2), there exists a sequence $\left\{{\mathsf{\xi }}_n\right\}$ and ${\mathsf{\xi }}_n\to +\infty$ as $n\to +\infty$, the following conclusion is valid:

$$\underset{n\to +\infty }{\lim }\frac{{\displaystyle {\int }_{\Omega }\underset{|t|<{\mathsf{\xi }}_n}{\sup }}F(x,t)dx}{{\mathsf{\xi }}_n^{p^{-}}}=\mathsf{\alpha }<+\infty .$$

(11)

From Proposition 2, $\forall u\in X$, we have:

$$\Phi (u)\ge M^{-}\min \{\frac{||u|{|}^{p^{-}}}{p^{+}},\frac{||u|{|}^{p^{+}}}{p^{+}}\}.$$

Put $r_n=\frac{M^{-}}{p^{+}}{\left(\frac{{\mathsf{\xi }}_n}{K}\right)}^{p^{-}}$ for all $n\in \mathsf{\mathbb{N}}$. When $u\in {\Phi }^{-1}(-\infty ,r_n)$, we have $\Phi (u)<r_n$.

If $||u||\le 1$, we can deduce $\frac{M^{-}}{p^{+}}||u|{|}^{p^{+}}<r_n$, then $||u||<{\left(\frac{r_n{p}^{+}}{M^{-}}\right)}^{\frac{1}{p^{+}}}$.

If $||u||\ge 1$, we can deduce $\frac{M^{-}}{p^{+}}||u|{|}^{p^{-}}<r_n$, then $||u||<{\left(\frac{r_n{p}^{+}}{M^{-}}\right)}^{\frac{1}{p^{-}}}$.

Hence for $n$ large enough ($r_n>M^{-}$),

$$||u||<{\left(\frac{r_n{p}^{+}}{M^{-}}\right)}^{\frac{1}{p^{-}}}.$$

From (7),

$$|u(x)|<K{\left(\frac{r_n{p}^{+}}{M^{-}}\right)}^{\frac{1}{p^{-}}}={\mathsf{\xi }}_n$$

Then the inclusion of sets is valid

$${\Phi }^{-1}(-\infty ,r_n)\subseteq \{|u(x)|<{\mathsf{\xi }}_n;u\in X\}.$$

(12)

From (10)–(12), we have

$$\mathsf{\phi }(r_n)\le \frac{\underset{\Phi (v)<r_n}{\sup }{\displaystyle {\int }_{\Omega }F}(x,v)dx}{r_n}\le \frac{{\displaystyle {\int }_{\Omega }\underset{|t|<{\mathsf{\xi }}_n}{\sup }}{p}^{+}{K}^{p^{-}}F(x,t)dx}{M^{-}{\mathsf{\xi }}_n^{p^{-}}}.$$

(13)

Combination condition (A2), We can get the following conclusion

$$\mathsf{\gamma }\le \underset{n\to +\infty }{\lim \inf }\mathsf{\phi }(r_n)\le \frac{p^{+}{K}^{p^{-}}\mathsf{\alpha }}{M^{-}}<\infty .$$

(14)

Hence, $\Lambda \subset (0,\frac{1}{\mathsf{\gamma }})$.

Next step, we want to check that $I_{\mathsf{\lambda }}$ does not have global minimum for $\mathsf{\lambda }\in \Lambda$. Indeed, since

$$\frac{1}{\mathsf{\lambda }}<\frac{p^{+}{K}^{p^{-}}L\mathsf{\beta }}{M^{-}},$$

we consider a positive real sequence $\left\{{\mathsf{\eta }}_n\right\}\to +\infty$ as $n\to +\infty$ and $\mathsf{\theta }>0$ such that

$$\frac{1}{\mathsf{\lambda }}<\mathsf{\theta }<\frac{p^{+}{K}^{p^{-}}L}{M^{-}}\cdot \frac{{\displaystyle {\int }_{S(\tilde{x},l_1)}F}(x,{\mathsf{\eta }}_n)dx}{{\mathsf{\eta }}_n^{p^{+}}}.$$

(15)

For $n$ large enough, denote $u_n\in X$ by

$$u_n(x)=\{\begin{array}{cc}0,\hfill & \hfill x\in \Omega \backslash S(\tilde{x},l_2),\\ {\mathsf{\eta }}_n,\hfill & \hfill x\in S(\tilde{x},l_1),\\ \frac{{\mathsf{\eta }}_n}{l_2^2-l_1^2}(l_2^2-|x-\tilde{x}{|}^2),\hfill & \hfill x\in S(\tilde{x},l_2)\backslash S(\tilde{x},l_1).\end{array}$$

(16)

Then

$$\frac{\partial u_n(x)}{\partial x_i}=\{\begin{array}{l}0,x\in \Omega \backslash S(\tilde{x},l_2)\cup S(\tilde{x},l_1),\hfill \\ \frac{2{\mathsf{\eta }}_n}{l_2^2-l_1^2}(\widetilde{x_i^{}}-x_i),x\in S(\tilde{x},l_2)\backslash S(\tilde{x},l_1),\hfill \end{array}$$

$$\frac{{\partial }^2{u}_n(x)}{\partial x_i^2}=\{\begin{array}{l}0,x\in \Omega \backslash S(\tilde{x},l_2)\cup S(\tilde{x},l_1),\hfill \\ \frac{-2{\mathsf{\eta }}_n}{l_2^2-l_1^2},x\in S(\tilde{x},l_2)\backslash S(\tilde{x},l_1).\hfill \end{array}$$

We see that

$${\displaystyle {\int }_{\Omega }|}\Delta u_n{|}^{p(x)}dx={\int }_{S(\tilde{x},l_2)\backslash S(\tilde{x},l_1)}|\Delta u_n{|}^{p(x)}dx\le {\mathsf{\theta }}_1{\mathsf{\eta }}_n^{p^{+}},$$

(17)

$${\displaystyle {\int }_{\Omega }|}\nabla u_n{|}^{p(x)}dx={\int }_{S(\tilde{x},l_2)\backslash S(\tilde{x},l_1)}|\nabla u_n{|}^{p(x)}dx\le {\mathsf{\theta }}_2{\mathsf{\eta }}_n^{p^{+}},$$

(18)

$${\displaystyle {\int }_{\Omega }|}{u}_n{|}^{p(x)}dx={\displaystyle {\int }_{S(\tilde{x},l_1)}|}{\mathsf{\eta }}_n{|}^{p(x)}dx+{\int }_{S(\tilde{x},l_2)\backslash S(\tilde{x},l_1)}|u_n{|}^{p(x)}dx\le {\mathsf{\theta }}_3{\mathsf{\eta }}_n^{p^{+}},$$

(19)

therefore,

$$\Phi (u_n)\le \frac{1}{p^{-}}({\mathsf{\theta }}_1+m_1{\mathsf{\theta }}_2+|\mathsf{\rho }(x){|}_{\infty }{\mathsf{\theta }}_3){\mathsf{\eta }}_n^{p^{+}}.$$

(20)

At the same time, from (A1), we can get

$$\Psi (u_n)={\displaystyle {\int }_{\Omega }F}(x,u_n)dx\ge {\displaystyle {\int }_{S(\tilde{x},l_1)}F}(x,{\mathsf{\eta }}_n)dx.$$

(21)

from (15), (20) and (21). When $n$ is sufficiently large, we can deduce that

$$\begin{array}{cc}\hfill I_{\mathsf{\lambda }}(u_n)& =\Phi (u_n)-\mathsf{\lambda }\Psi (u_n)\hfill \\ & \le \frac{1}{p^{-}}({\mathsf{\theta }}_1+m_1{\mathsf{\theta }}_2+|\mathsf{\rho }(x){|}_{\infty }{\mathsf{\theta }}_3){\mathsf{\eta }}_n^{p^{+}}-\mathsf{\lambda }{\displaystyle {\int }_{S(\tilde{x},l_1)}F}(x,{\mathsf{\eta }}_n)dx\hfill \\ & \le \frac{M^{-}}{p^{+}{K}^{p^{-}}L}{\mathsf{\eta }}_n^{p^{+}}-\mathsf{\lambda }\mathsf{\theta }\frac{M^{-}}{p^{+}{K}^{p^{-}}L}{\mathsf{\eta }}_n^{p^{+}}\hfill \\ & <\frac{M^{-}}{p^{+}{K}^{p^{-}}L}(1-\mathsf{\lambda }\mathsf{\theta }){\mathsf{\eta }}_n^{p^{+}},\hfill \end{array}$$

(22)

so

$$I_{\mathsf{\lambda }}(u_n)=-\infty ,\mathrm{as}n\to +\infty .$$

According to Theorem 1 (b), Theorem 2 is proved. □

Theorem 3.

Suppose (A1) holds and:

(A3)$\forall x\in \Omega ,F(x,0)=0$;

(A4) Let$\tilde{x}\in \Omega ,0<l_1<l_2,$

$${\mathsf{\alpha }}^0:=\underset{\mathsf{\sigma }\to 0^{+}}{\lim \inf }\frac{{\displaystyle {\int }_{\Omega }\underset{|t|<\mathsf{\sigma }}{\sup }}F(x,t)dx}{{\mathsf{\sigma }}^{p^{+}}},$$

$${\mathsf{\beta }}^0:=\underset{t\to 0^{+}}{\lim \sup }\frac{{\displaystyle {\int }_{S(\tilde{x},l_1)}F}(x,t)dx}{t^{p^{-}}},$$

such that

$${\mathsf{\alpha }}^0<L_1{\mathsf{\beta }}^0,$$

where

$$L_1=\frac{p^{-}{M}^{-}}{p^{+}{K}^{p^{+}}({\mathsf{\theta }}_1^{\prime }+m_1{\mathsf{\theta }}_2^{\prime }+|\mathsf{\rho }(x){|}_{\infty }{\mathsf{\theta }}_3^{\prime })},$$

$${\mathsf{\theta }}_1^{\prime }=\frac{{\mathsf{\pi }}^{\frac{N}{2}}}{\Gamma (1+\frac{N}{2})}{\left(\frac{2N}{l_2^2-l_1^2}\right)}^{p^{-}}(l_2^N-l_1^N),$$

$${\mathsf{\theta }}_2^{\prime }=\frac{2{\mathsf{\pi }}^{\frac{N}{2}}}{\Gamma (\frac{N}{2})}{\left(\frac{2}{l_2^2-l_1^2}\right)}^{p^{-}}\frac{l_2^{p^{-}+N}-l_1^{p^{-}+N}}{p^{-}+N},$$

$${\mathsf{\theta }}_3^{\prime }=\frac{2{\mathsf{\pi }}^{\frac{N}{2}}}{\Gamma (\frac{N}{2})}\left[\frac{l_1^N}{N}+{\left(\frac{1}{l_2^2-l_1^2}\right)}^{p^{-}}{\displaystyle {\int }_{l_1}^{l_2}{(l_2^2-r^2)}^{p^{-}}}{r}^{N-1}dr\right],$$

Hence, for every

$$\mathsf{\lambda }\in {\Lambda }_1:=\frac{M^{-}}{p^{+}{K}^{p^{+}}}\left(\frac{1}{L_1{\mathsf{\beta }}^0},\frac{1}{{\mathsf{\alpha }}^0}\right),$$

the problem (1) has infinity solutions which converges to 0.

Proof. 

According to (A3), we have ${\min }_X\Phi =0$.

$\left\{{\mathsf{\xi }}_n\right\}$ is a real sequence, ${\mathsf{\xi }}_n\to 0^{+}$ as $n\to +\infty$ and

$$\underset{n\to +\infty }{\lim }\frac{{\displaystyle {\int }_{\Omega }\underset{|t|<{\mathsf{\xi }}_n}{\sup }}F(x,t)dx}{{\mathsf{\xi }}_n^{p^{+}}}={\mathsf{\alpha }}^0<\infty .$$

(23)

Put $r_n=\frac{M^{-}{\mathsf{\xi }}_n^{p^{+}}}{p^{+}{K}^{p^{+}}}$ for all $n\in \mathsf{\mathbb{N}}$. Hence, by assumption (A4), we can get

$$\mathsf{\delta }\le \underset{n\to +\infty }{\lim \inf }\mathsf{\phi }(r_n)\le \frac{p^{+}{K}^{p^{+}}}{M^{-}}\cdot \frac{{\displaystyle {\int }_{\Omega }\underset{|t|<{\mathsf{\xi }}_n}{\sup }}F(x,t)dx}{{\mathsf{\xi }}_n^{p^{+}}}=\frac{p^{+}{K}^{p^{+}}{\mathsf{\alpha }}_0}{M^{-}}<+\infty .$$

(24)

It is clear that ${\Lambda }_1\subseteq (0,\frac{1}{\mathsf{\delta }})$.

We now show that $I_{\mathsf{\lambda }}$ does not take the local minimum at 0. For $\mathsf{\lambda }\in {\Lambda }_1$, we have

$$\frac{1}{\mathsf{\lambda }}<\frac{p^{+}{K}^{p^{+}}{L}_1{\mathsf{\beta }}_0}{M^{-}}$$

$\left\{{\mathsf{\eta }}_n\right\}$ is a positive sequences ${\mathsf{\eta }}_n\to 0^{+}$ as $n\to +\infty$. $\mathsf{\theta }>0$ satisfies

$$\frac{1}{\mathsf{\lambda }}<\mathsf{\theta }<\frac{p^{+}{K}^{p^{+}}{L}_1}{M^{-}}\cdot \frac{{\displaystyle {\int }_{S(x_0,R_1)}F}(x,{\mathsf{\eta }}_n)dx}{{\mathsf{\eta }}^{p^{-}}}.$$

(25)

Let $\{u_n(x)\}$ defined by (16), we have:

$$\Phi (u_n)\le \frac{1}{p^{-}}({\mathsf{\theta }}_1^{\prime }+m_1{\mathsf{\theta }}_2^{\prime }+|\mathsf{\rho }(x){|}_{\infty }{\mathsf{\theta }}_3^{\prime }){\mathsf{\eta }}_n^{p^{-}}.$$

(26)

Combining (25) and (26), we have:

$$I_{\mathsf{\lambda }}(u_n)=\Phi (u_n)-\mathsf{\lambda }\Psi (u_n)<\frac{(1-\mathsf{\lambda }\mathsf{\theta })M^{-}{\mathsf{\eta }}_n^{p^{-}}}{p^{+}{K}^{p^{+}}{L}_1}<0=I_{\mathsf{\lambda }}(0).$$

(27)

According to Theorem 1 (c), Theorem 3 is proved. ${\text{{}\mathrm{u}}_n\text{}}$ is the solution satisfying the condition and $u_n\to 0$. □

Example 1.

Let$\Omega ={((-1,1))}^2$,$M(t)=a+bt$$(a,b>0)$for all$t\ge 0$, then$m_0=a$. $p(x)$defined on$\Omega$by$p(x_1,x_2)=x_1{}^2+x_2{}^2+3$. $\left\{a_n\right\}$is an increasing sequence given by:

$$a_1=2,a_{n+1}=n{(a_n)}^2+2(n\ge 1).$$

Define the function $f:\Omega \times \mathsf{ℝ}\to \mathsf{ℝ}$ by

$$f(x_1,x_2,t)=\{\begin{array}{cc}{(a_{n+1})}^6{e}^{1-\frac{1}{1-{(t-a_{n+1})}^2}+x_1{}^2+x_2{}^2}\frac{2(a_{n+1}-t)}{{\left[1-{(t-a_{n+1})}^2\right]}^2},& if(x_1,x_2,t)\in \Omega \times {\cup }_{n\ge 1}S(a_{n+1},1),\\ 0,& otherwise,\end{array}$$

where $S(a_{n+1},1)$ denotes a unit ball with center at $a_{n+1}$. Then we can calculate

$$F(x_1,x_2,t)=\{\begin{array}{cc}{(a_{n+1})}^6{e}^{1-\frac{1}{1-{(t-a_{n+1})}^2}+x_1{}^2+x_2{}^2},& if(x_1,x_2,t)\in \Omega \times {\cup }_{n\ge 1}S(a_{n+1},1),\\ 0,& otherwise,\end{array}$$

$F$ is nonnegative and $F(x_1,x_2,0)=0$ for $(x_1,x_2)\in \Omega$. The maximum of $F$ on $\Omega \times S(a_{n+1},1)$ is:

$$F(x_1,x_2,a_{n+1})={\left(a_{n+1}\right)}^6{e}^{x_1{}^2+x_2^2}.$$

Therefore:

$$\lim {\sup }_{n\to \infty }\frac{F(x_1,x_2,a_{n+1})}{a_{n+1}{}^5}=+\infty .$$

Then we can then get

$$\mathsf{\beta }=\lim {\sup }_{t\to +\infty }\frac{{\displaystyle {\int }_{S(\tilde{x},l_1)}}F(x_1,x_2,t)d{x}_{1}d{x}_2}{t^5}=|S(\tilde{x},l_1)|\lim {\sup }_{t\to +\infty }\frac{F(x_1,x_2,t)}{t^5}=+\infty ,$$

where $|S(\tilde{x},l_1)|$ is the measure of $S(\tilde{x},l_1)$. On the other hand, by choosing ${\mathsf{\sigma }}_n=a_{n+1}-1$, then we have ${\sup }_{|t|<{\mathsf{\sigma }}_n}F(x_1,x_2,t)={(a_n)}^6{e}^{x_1^2+x_2^2}$.

Hence

$${\lim }_{n\to \infty }\frac{{\sup }_{|t|<{\mathsf{\sigma }}_n}F(x_1,x_2,t)}{{(a_{n+1}-1)}^3}=0$$

and:

$$\lim {\inf }_{\mathsf{\sigma }\to +\infty }\frac{{\sup }_{|t|<\mathsf{\sigma }}F(x_1,x_2,t)}{{\mathsf{\sigma }}^3}=0.$$

Therefore:

$$\mathsf{\alpha }:=\underset{{}_{\mathsf{\sigma }\to +\infty }}{\lim \inf }\frac{{\displaystyle {\int }_{\Omega }{\sup }_{|t|<\mathsf{\sigma }}}F(x_1,x_2,t)d{x}_{1}d{x}_2}{{\mathsf{\sigma }}^3}=|\Omega |\lim {\inf }_{\mathsf{\sigma }\to +\infty }\frac{{\sup }_{|t|<\mathsf{\sigma }}F(x_1,x_2,t)}{{\mathsf{\sigma }}^3}=0<L\mathsf{\beta }=+\infty ,$$

Then from Theorem 2, for every $\mathsf{\lambda }>0$, the problem

$$\{\begin{array}{c}\Delta \left({\left|\Delta u\right|}^{x_1^2+x_2^2+1}\Delta u\right)-\left(a+b{\displaystyle {\int }_{\Omega }\frac{|\nabla u(x){|}^{x_1^2+x_2^2+3}}{x_1^2+x_2^2+3}dx}\right)div\left({|\nabla u|}^{x_1^2+x_2^2+1}\nabla u\right)+\mathsf{\rho }(x)|u{|}^{x_1^2+x_2^2+1}u(x)=\mathsf{\lambda }f(x,u)in\Omega ,\\ u=\Delta u=0on\partial \Omega ,\end{array}$$

exists as a series of unbounded weak solutions.

4. Discussion

When $p(x)=p$ in problem (1), the corresponding conclusions were given in [4]. The study of a nonlocal type problem involving p-biharmonic operator has been extended to the p(x)-biharmonic operator and reached more general conclusions. The results obtained in this paper can provide a theoretical basis for future research on such problems.