Abstract
In this paper, we investigate the existence and multiplicity of nontrivial solutions for poly-Laplacian system on a finite graph \(G=(V, E)\), which is a generalization of the Yamabe equation on a finite graph. When the nonlinear term F satisfies the super-\((p, q)\)-linear growth condition, by using the mountain pass theorem we obtain that the system has at least one nontrivial solution, and by using the symmetric mountain pass theorem, we obtain that the system has at least dim W nontrivial solutions, where W is the working space of the poly-Laplacian system. We also obtain the corresponding result for the poly-Laplacian equation. In some sense, our results improve some results in (Grigor’yan et al. in J. Differ. Equ. 261(9):4924–4943, 2016).
Similar content being viewed by others
1 Introduction
In this paper, we mainly consider the following high-order Yamabe-type coupled system, which is called the poly-Laplacian system:
where V is a finite graph, \(m_{i}\geq 2\), \(i=1,2\), \(p,q>1\) are integers, \(h_{i}:V\to \mathbb{R}^{+}\), \(i=1,2\), \(F:V\times \mathbb{R}\times \mathbb{R}\to \mathbb{R}\), and \(\text{\pounds}_{m,p}\) is defined as follows: for any function \(\phi :V\to \mathbb{R}\),
When \(p=2\), \(\text{\pounds}_{m,p}=(-\Delta )^{m}u\) is called the poly-Laplacian operator of u, and when \(m=1\), \(\text{\pounds}_{m,p}=-\Delta _{p}u\). A detailed definition is given in Sect. 2; see also [1].
When \(m_{1}=m_{2}=m\), \(p=q\), and \(u=v\), system (1.1) becomes the scalar equation
where \(f(x,u)=F_{u}(x,u)\) for \(x\in V\), and can be seen as a generalization of the following Yamabe equation on a finite graph:
In recent years, some scholars are devoted to studying the Yamabe equation on finite and infinite graphs. We refer the readers to [1–7]. Ge [2] studied the following Yamabe-type equations with p-Laplacian operator on finite graphs:
where \(1< m-1\leq \alpha \), \(f>0\), \(h>0\), and \(\Delta _{p}\) is defined by
where \(\omega _{xy}\) is the weight of the edge connecting x and y. When the nonlinear term \(f>0\), \(m=p-1\), and \(\lambda \in \mathbb{R}\), Ge established the existence of a positive solution. When \(1\leq \alpha \leq p\leq q\), \(h\leq 0\), and \(f>0\), Zhang [3], extended the case of \(m=p-1\) in (1.5) to \(m=q-1\) and proved the existence of a positive solution. Ge and Jiang [5] and Zhang and Lin [6] extended the existence results of solutions on finite graphs to infinite graphs for \(p=2\) and \(p>2\) and obtained the existence of one positive solution. Han and Shao [4] investigated the nonlinear p-Laplacian equation
where \(p\geq 2\), where the definition of the p-Laplacian operator \(\Delta _{p}\) is different:
Under appropriate conditions on the nonlinear terms \(f(x,u)\) and \(a(x)\), the author obtained the existence of a positive solution for equation (1.6) via the mountain pass theorem. Pinamonti and Stefani [7] studied the following equation with the \((m, p)\)-Laplacian operator on locally finite weighted graphs:
where \(\Omega ^{\circ}\) and ∂Ω are the interior and boundary of Ω, respectively. They established the existence of at least one nontrivial solution when \(0<\lambda <\Lambda \) for some \(\Lambda >0\) via the variational method. Besides, they also investigated the following Yamabe-type equations”
where \(f\in L^{1}(\Omega )\), \(h\in L^{1}(\partial \Omega )\), and \(g: \Omega \times \mathbb{R}\rightarrow \mathbb{R}\) is a function such that \(g(x,0)=0\) and \(t\mapsto g(x,t)\) is nondecreasing for all \(x\in \Omega \). They obtained the uniqueness of weak solutions.
The research of this paper is mainly inspired by a recent work due to Grigor’yan, Lin, and Yang [1], who investigated the Yamabe equation and its generalization, that is, poly-Laplacian equation on locally finite and finite graphs. To be specific, in [1], for equation (1.3) on a finite graph V, they assumed that \(h(x)>0\) for all \(x\in V\) and F satisfies the following conditions:
- (\(V_{1}\)):
-
\(F(x,s)=\int _{0}^{s} f(x,t)\,dt\) for \(x\in V\), \(f(x,0)=0\), and \(f(x,t)\) is continuous with respect to \(t\in \mathbb{R}\);
- (\(V_{2}\)):
-
\(\limsup_{t\rightarrow 0}\frac{|f(x,t)|}{|t|^{p-1}}< \lambda _{mp}(V)\), where \(\lambda _{mp}\) is the first eigenvalue of the operator \(\text{\pounds}_{m,p}\), and
$$ \lambda _{mp}(V)=\inf_{u\not \equiv 0} \frac{\int _{V}( \vert \nabla ^{m} u \vert ^{p}+h \vert u \vert ^{p})\,d\mu}{\int _{V} \vert u \vert ^{p}\,d\mu};$$ - (\(V_{3}\)):
-
there exist \(\theta >p\) and \(M>0\) such that if \(|s|\geq M\), then
$$ 0< \theta F(x,s)\leq sf(x,s)\quad \forall x\in V. $$
They obtained the existence of a nontrivial solution via the mountain pass theorem.
In this paper, we would like to generalize and improve the above result in [1]. We use the mountain pass theorem to study the existence of a nontrivial solution and use the symmetric mountain pass theorem to study the multiplicity of nontrivial solutions for system (1.1) on a finite graph, where the nonlinear term F satisfies the super-\((p,q)\)-linear growth condition. Our work is also inspired by Luo and Zhang [8], who considered the following nonlinear p-Laplacian difference system:
where \(p\geq 2\), \(\phi _{p}(s)=|s|^{p-2}s\), \(\Delta u(n)=u(n+1)-u(n)\), \(F(n,x)\) is continuously differentiable in x for all \(n\in \{1,\dots ,M\}\), and \(M>1\) is a positive integer. By the linking theorem in [9] they obtained that the system has at least one nonconstant periodic solution when F satisfies super-p-linear growth condition.
Notations
\(h_{i,\min}:=\min_{x\in V} h_{i}(x)\), \(i=1,2\); \(h_{\min}:=\min_{x\in V} h(x)\); \(\mu _{\min}:=\min_{x\in V} \mu (x)\), where \(\mu :V\rightarrow \mathbb{R}^{+}\) is a finite measure; \(W:=W^{m_{1},p}(V)\times W^{m_{2},q}(V)\) with the norm \(\|(u,v)\|=\|u\|_{W^{m_{1},p}(V)}+\|v\|_{W^{m_{2},q}(V)}\) defined in Sect. 2.
Next, we state our main results.
Theorem 1.1
Assume that F satisfies the following conditions:
- (\(F_{1}\)):
-
\(F(x,0,0)=0\), and \(F(x,t,s)\) is continuously differentiable in \((t,s)\in \mathbb{R}^{2}\) for all \(x\in V\);
- (\(F_{2}\)):
-
\(\lim_{|(t,s)|\rightarrow 0}\frac{F(x,t,s)}{|t|^{p}+|s|^{q}}< \min \{\frac{1}{pK_{1}^{p}},\frac{1}{qK_{2}^{q}}\}\) for all \(x\in V\), where
$$ K_{1}= \frac{ (\sum_{x\in V}\mu (x) )^{\frac{1}{p}}}{\mu _{\min}^{\frac{1}{p}}h_{1,\min}^{\frac{1}{p}}}, \qquad K_{2}= \frac{ (\sum_{x\in V}\mu (x) )^{\frac{1}{q}}}{\mu _{\min}^{\frac{1}{q}}h_{2,\min}^{\frac{1}{q}}}; $$ - (\(F_{3}\)):
-
\(\lim_{|(t,s)|\rightarrow \infty} \frac{F(x,t,s)}{|t|^{p}+|s|^{q}}=+\infty \) for all \(x\in V\);
- (\(F_{4}\)):
-
there are constants \(\gamma _{1}>0\) and \(\gamma _{2}>0\) such that
$$ \liminf_{ \vert (t,s) \vert \rightarrow \infty} \frac{F_{t}(x,t,s)t+F_{s}(x,t,s)s-\max \{p,q\}F(x,t,s)}{ \vert t \vert ^{\gamma _{1}}+ \vert s \vert ^{\gamma _{2}}} >0 \quad \textit{for all } x\in V, $$where \(F_{t}(x,t,s)=\frac{\partial F(x,t,s)}{\partial t}\) and \(F_{s}(x,t,s)=\frac{\partial F(x,t,s)}{\partial s}\). Then system (1.1) has at least one nontrivial solution.
Theorem 1.2
Assume that (\(F_{1}\))–(\(F_{4}\)) and the following condition hold:
- (\(F_{5}\)):
-
\(F(x,-t,-s)=F(x,t,s)\) for \((x,t,s)\in V\times \mathbb{R}^{2}\).
Then system (1.1) has at least dim W nontrivial solutions.
Remark 1.1
In Theorems 1.1 and 1.2, we do not eliminate the case of seminontrivial solutions. Hence, in Theorems 1.1 and 1.2 the solutions have three possibilities: \((u_{*},v_{*})=(0,v_{*})\), \((u_{*},v_{*})=(u_{*},0)\), or \((u_{*},v_{*})\neq(0,0)\).
From Theorems 1.1 and 1.2 we easily obtain the following results corresponding to (1.3).
Theorem 1.3
Assume that F satisfies the following conditions:
- (\(F'_{1}\)):
-
\(F(x,0)=0\), and \(F(x,t)\) is continuously differentiable in \(t\in \mathbb{R}\) for all \(x\in V\);
- (\(F'_{2}\)):
-
\(\lim_{|t|\rightarrow 0}\frac{F(x,t)}{|t|^{p}}< \frac{1}{pK^{P}}\) for all \(x\in V\), where \(K= \frac{ (\sum_{x\in V}\mu (x) )^{\frac{1}{p}}}{\mu _{\min}^{\frac{1}{p}}h_{\min}^{\frac{1}{p}}} \);
- (\(F'_{3}\)):
-
\(\lim_{|t|\rightarrow \infty}\frac{F(x,t)}{|t|^{p}}=+\infty \) for all \(x\in V\);
- (\(F'_{4}\)):
-
there exists a constant \(\gamma >0\) such that
$$ \liminf_{ \vert t \vert \rightarrow \infty} \frac{F_{t}(x,t)t-pF(x,t)}{ \vert t \vert ^{\gamma}} >0 \quad \textit{for all } x \in V, $$where \(F_{t}(x,t)=\frac{\partial F(x,t)}{\partial t}\). Then equation (1.3) has at least one nontrivial solution.
Theorem 1.4
Assume that (\(F'_{1}\))–(\(F'_{4}\)) and the following condition hold:
- (\(F'_{5}\)):
-
\(F(x,-t)=F(x,t)\) for \((x,t)\in V\times \mathbb{R}\).
Then equation (1.3) has at least dim \(W^{m,p}(V)\) nontrivial solutions.
Remark 1.2
There are examples satisfying the conditions of Theorem 1.1, for example,
Remark 1.3
It is not difficult to verify that (\(V_{3}\)) implies (\(F'_{3}\)) and (\(F'_{4}\)). There exist examples satisfying the conditions of Theorem 1.3 but not satisfying (\(V_{1}\))–(\(V_{3}\)), for example, \(F(x,t)=\ln (1+|t|^{p})|t|^{p} \) for \(x\in V\).
Remark 1.4
In some sense, (\(F_{1}'\))–(\(F_{4}'\)) can be seen as a generalization of the assumptions in [8], where the difference equation (1.7) is studied, defined on the set \(\mathbb{Z}\) of integers. However, in this paper, we study the high-order Yamabe-type coupled system involving the poly-Laplacian on a finite graph. Hence we generalize those conditions in [8] from \(m=1\) to \(m\geq 2\) and from \(n\in \mathbb{Z}\) to \(x\in V\), which is a finite graph. Moreover, we also present the multiplicity results, that is, Theorems 1.2 and 1.4, which are not considered in [1].
2 Preliminaries
In this section, we state some useful properties of poly-Laplacian and Sobolev spaces on graphs. For details, we refer to [1].
Let \(G=(V, E)\) be a finite graph with vertex set V and edge set E. For any edge \(xy\in E\) with two vertexes of \(x,y\in V\), assume that its weight \(\omega _{xy}>0\) and \(\omega _{xy}=\omega _{yx}\). For any \(x\in V\), its degree is defined as \(\deg(x)=\sum_{y\thicksim x}\omega _{xy}\), where we write \(y\thicksim x\) if \(xy\in E\). Let \(\mu :V\rightarrow \mathbb{R}^{+}\) be a finite measure. Define
The corresponding gradient form is
Write \(\Gamma (\psi )=\Gamma (\psi ,\psi )\). The length of the gradient is defined by
Similarly to the case in Euclidean space, we use \(|\nabla ^{m}\psi |\) to represent the length of the mth-order gradient of ψ defined by
where \(|\nabla \Delta ^{\frac{m-1}{2}}\psi |\) is defined as in (2.3) with ψ replaced by \(\Delta ^{\frac{m-1}{2}}\psi \), and \(|\Delta ^{\frac{m}{2}}\psi |\) denotes the absolute value of the function \(\Delta ^{\frac{m}{2}}\psi \). For any function \(\psi :V\rightarrow \mathbb{R}\), we denote
and \(|V|=\sum_{x\in V}\mu (x)\).
When \(p\geq 2\), we define the p-Laplacian operator by \(\Delta _{p}\psi \) by
In the distributional sense, \(\Delta _{p} \psi \) can be written as follows. For any \(\phi \in \mathcal{C}_{c}(V)\),
where \(\mathcal{C}_{c}(V)\) is the set of all real functions with compact support. It is easy to see that \(\text{\pounds}_{m,p}\) defined by (1.2) is a generalization of \(\Delta _{p} \psi \).
Define the space
endowed with the norm
where \(m\geq 2\), \(p>1\), and \(h(x)>0\) for all \(x\in V\). Then \(W^{m,p}(V)\) is a Banach space of finite dimension. Let \(1< r<+\infty \). Define
with the norm
Let X be a Banach space, and let \(\varphi \in C^{1}(X,\mathbb{R})\). We say that the functional φ satisfies the Palais–Smale (PS) condition if \(\{u_{n}\}\) has a convergent subsequence in X whenever \(\varphi (u_{n})\) is bounded and \(\varphi '(u_{n})\rightarrow 0\). We call that φ satisfies the Cerami (C) condition if \(\{u_{n}\}\) has a convergent subsequence in X whenever \(\varphi (u_{n})\) is bounded and \(\|\varphi '(u_{n})\|\times (1+\| u_{n}\|)\rightarrow 0\).
Lemma 2.1
(Mountain pass theorem [10])
Let X be a real Banach space, and let \(\varphi \in C^{1}(X,\mathbb{R})\), \(\varphi (0)=0\) satisfy the (PS)-condition. Suppose that φ satisfies the following conditions:
-
(i)
there exists a constant \(\rho >0\) such that \(\varphi |_{\partial B_{\rho}(0)}> 0 \), where \(B_{\rho}=\{w\in X:\|w\|_{X}<\rho \}\);
-
(ii)
there exists \(w\in X\backslash \bar{B}_{\rho} (0)\) such that \(\varphi (w)\leq 0 \).
Then φ has a critical value c with
where
Lemma 2.2
(Symmetric mountain pass theorem [10])
Let X be an infinite-dimensional Banach space, let \(X=Y\oplus Z\), where Y is finite-dimensional, and let \(\varphi \in C^{1}(X,\mathbb{R})\), \(\varphi (0)=0\), satisfy the (PS)-condition. Suppose that φ satisfies the following conditions:
-
(i)
\(\varphi (0)=0\), \(\varphi (-u)=\varphi (u)\) for all \(u\in X\);
-
(ii)
there exists a constant \(\rho , \alpha >0\), such that \(\varphi |_{\partial B_{\rho}(0)\cap Z}\geq \alpha \);
-
(iii)
for any finite-dimensional subspace \(\widetilde{X}\subset X\), there is \(R=R(\widetilde{X})>0\) such that \(\varphi (u)\leq 0 \) on \(\widetilde{X}\backslash B_{R}(0)\).
Then φ possesses an unbounded sequence of critical values.
Remark 2.1
As shown in [11], the deformation lemma can be proved with the weaker (C)-condition instead of the (PS)-condition, so that Lemmas 2.1 and 2.2 also hold under the (C)-condition.
Remark 2.2
If X is finite-dimensional, the result of Lemma 2.2 can also be obtained with the conclusion that φ possesses at least dim Z critical values (see [10], Remark 9.36).
Lemma 2.3
Let \(p>1\). For all \(\psi \in W^{m,p}(V)\), we have
where \(\|\psi \|_{\infty}=\max_{x\in V}|\psi (x)|\) and \(d= (\frac{1}{\mu _{\min}h_{\min}} )^{\frac{1}{p}}\).
Proof
Indeed,
□
Lemma 2.4
Let \(G=(V,E)\) be a finite graph. Let m be any positive integer, and let \(q>1\). Then \(W^{m,p}(V)\hookrightarrow L^{q}(V)\) for all \(1\leq q\leq +\infty \). In particular, if \(1< q<+\infty \), then for all \(\psi \in W^{m,p}(V)\),
where
In addition, \(W^{m,p}(V)\) is precompact, that is, if \(\{\psi _{k}\}\) is bounded in \(W^{m,p}(V)\), then up to a subsequence, there exists \(\psi \in W^{m,p}(V)\) such that \(\psi _{k}\rightarrow \psi \) in \(W^{m,p}(V)\).
Proof
Note that V is a bounded set. Then \(W^{m,p}(V)\) is a finite-dimensional space. Hence it is precompact. According to Lemma 2.3, we have
□
Remark 2.3
The proofs of Lemmas 2.3 and 2.4 are given in [1]. However, the precise values of d and K are not given. In Lemmas 2.3 and 2.4, we specify their values.
3 Proofs of main results
Note that the space \(W:=W^{m_{1},p}(V)\times W^{m_{2},q}(V)\) with the norm \(\|(u,v)\|=\|u\|_{W^{m_{1},p}(V)}+\|v\|_{W^{m_{2},q}(V)}\) is a finite-dimensional Banach space. Consider the functional \(\varphi :W\to \mathbb{R}\) defined as
Then \(\varphi \in C^{1}(W,\mathbb{R})\), and
for all \((u,v),(\phi _{1},\phi _{2})\in W\). Then \((u,v)\in W\) is a critical point of φ if and only if
and
By the arbitrariness of \(\phi _{1}\) and \(\phi _{2}\) we conclude that
Thus the problem of finding the solutions of system (1.1) is reduced to finding the critical points of the functional φ on W.
Lemma 3.1
Assume that (\(F_{4}\)) holds. Then the functional φ satisfies condition \((C)\), that is, \(\{(u_{k},v_{k})\}\) has a convergent subsequence in W whenever \(\varphi (u_{k},v_{k})\) is bounded and \(\|\varphi '(u_{k},v_{k})\|\times (1+\| (u _{k},v_{k})\|)\rightarrow 0\) as \(k\rightarrow \infty \).
Proof
Let \(\{(u_{k},v_{k})\}\) be a sequence in W such that \(\varphi (u_{k},v_{k})\) is bounded and \(\|\varphi '(u_{k},v_{k})\|(1+\|( u_{k},v_{k})\|)\rightarrow 0\) as \(k\rightarrow \infty \). Then there exists a positive constant L such that
for every \(k\in \mathbb{N}\). By \((F_{4})\),there are constants \(C_{1}>0\) and \(\delta _{1}>0\) such that
for all \(|(t,s)|>\delta _{1}\) and \(x\in V\). Therefore
for all \((t, s)\in \mathbb{R}^{2}\) and \(x\in V\), where
Then for all large k, we have
When \(\max \{p,q\}=p\),
Therefore \(\|v_{k}\|_{W^{m_{2},q}(V)}\), \(\|u_{k}\|_{L^{\gamma _{1}}(V)}\), and \(\| v_{k}\|_{L^{\gamma _{2}}(V)}\) are bounded. Since \((W,\|\cdot \|)\) is a finite-dimensional space, there exist positive constants \(D_{1}\) and \(D_{2}\) such that
Thus \(\|u_{k}\|_{W^{m_{1},p}(V)}\) and \(\|v_{k}\|_{W^{m_{2},q}(V)}\) are bounded. So \(\{(u_{k},v_{k})\}\) is bounded in W. Similarly, when \(\max \{p,q\}=q\), we can also prove that \(\{(u_{k},v_{k})\}\) is bounded in W. To sum up, \(\{(u_{k},v_{k})\}\) is bounded in W. Since W is of finite dimension, there is a convergent subsequence of \(\{(u_{k},v_{k})\}\). Hence φ satisfies the \((C)\)-condition. □
Lemma 3.2
There exists a constant \(\rho >0\) such that \(\varphi |_{\partial B_{\rho}(0)}> 0 \), where \(B_{\rho}=\{(u,v)\in W:\|(u,v)\|_{W}<\rho \}\).
Proof
By (\(F_{2}\)) there are \(0< C_{4}<\min \{\frac{1}{pK_{1}^{P}},\frac{1}{qK_{2}^{q}} \}\) and a positive constant \(\delta _{2}< C_{3}\), where \(C_{3}=\max \{\frac{1}{\mu _{\min} h_{1,\min}}, \frac{1}{\mu _{\min} h_{2,\min}} \}\), such that
for all \(|(t,s)|\leq \delta _{2}\). By Lemma 2.4 we have
where \(K_{1}\), \(K_{2}\) is defined in \((F_{2})\). For every \((u,v)\in W\) with \(\|(u,v)\|=\rho =\delta _{2} C_{3}^{-1}<1\), by Lemma 2.3 we have
Then by (3.5) and (3.6), for all \((u,v)\in W\) with \(\|(u,v)\|=\rho \), we have
The proof is completed. □
Lemma 3.3
Assume that \((F_{1})\) and \((F_{3})\) hold. Then there exists \((u_{0},v_{0})\in W\backslash \bar{B}_{\rho} (0)\) such that \(\varphi (u_{0},v_{0})\leq 0 \).
Proof
Choose \(e=(e_{1},e_{2}) \in W\) such that \(\|e_{1}\|_{L^{p}(V)}\neq 0\) and \(\|e_{2}\|_{L^{q}(V)}\neq 0\). By \((F_{3})\) there exist \(\varepsilon _{1}>0\) and \(\delta _{3}>0\) such that
for all \(|(t,s)|>\delta _{3}\) and \(x\in V\). Thus by \((F_{1})\) there exists \(C_{5}>0\) such that for all \((t, s)\in \mathbb{R}^{2}\) and all \(x\in V\),
Then for every \(\lambda >0\), we have
Hence there exists a sufficiently large \(\lambda ^{*}>1 \) such that \(\varphi (\lambda ^{*} e_{1},\lambda ^{*} e_{2})<0\). Let \(\lambda ^{*} e_{1}=u_{0}\) and \(\lambda ^{*} e_{2}=v_{0}\). Then \(\varphi (u_{0},v_{0})\leq 0 \). □
Proof of Theorem 1.1
It is easy to see that \(\varphi (0,0)=0\). It follows from Lemmas 2.1 and 3.1–3.3, φ possesses a critical value \(c\ge \alpha >0\), that is, there exists a point \((u_{*},v_{*})\in W\) such that
Hence the associated point \((u_{*},v_{*})\in W\) is a nontrivial weak solution of system (1.1). □
Lemma 3.4
Assume that (\(F_{1}\)) and (\(F_{3}\)) hold. Then for any finite-dimensional subspace \(\widetilde{X}\subset W\), there is \(R=R(\widetilde{X})>0\) such that \(\varphi (u)\leq 0 \) on \(\widetilde{X}\backslash B_{R}(0)\).
Proof
Let \(\operatorname{dim} \widetilde{X}=m \). Then there exist positive constants \(C_{6}(m)\) and \(C_{7}(m)\) such that
for all \((u,v)\in \widetilde{X}\). By \((F_{3})\) we know that there exist constants \(\beta >\frac{C_{6}(m)^{p}}{p}+\frac{C_{7}(m)^{q}}{q}\) and \(r>0\) such that
It follows from (\(F_{1}\)) and (3.8) that there exists \(C_{8}>0\) such that
Then by (3.7) and (3.9) we have
for all \((u,v)\in \widetilde{X}\). Note that \(\beta >\frac{C_{6}(m)^{p}}{p}+\frac{C_{7}(m)^{q}}{q}\). So \(\varphi (u,v)\to -\infty \) as \(\|(u,v)\|\to \infty \). Thus we complete the proof. □
Proof of Theorem 1.2
By \((F_{1})\) and \((F_{5})\) we know that φ is even and \(\varphi (0,0)=0\). Let \(X=W\), \(Y=\{0\}\) and \(Z=W\). Then by Lemma 3.1, Lemma 3.2, Lemma 3.4, Remark 2.1, Remark 2.2, and Lemma 2.2 we obtain that φ possesses at least dimW critical values. Thus we complete the proof. □
Availability of data and materials
Not applicable.
References
Grigor’yan, A., Lin, Y., Yang, Y.: Yamabe type equations on graphs. J. Differ. Equ. 261(9), 4924–4943 (2016)
Ge, H.: A p-th Yamabe equation on graph. Proc. Am. Math. Soc. 146(5), 2219–2224 (2018)
Zhang, X., Lin, A.: Positive solutions of p-th Yamabe type equations on graphs. Front. Math. China 13(6), 1501–1514 (2018)
Han, X.L., Shao, M.Q.: p-Laplacian equations on locally finite graphs. Acta Math. Sin. 37, 1645–1678 (2021)
Ge, H., Jiang, W.: Yamabe equations on infinite graphs. J. Math. Anal. Appl. 460(2), 885–890 (2018)
Zhang, X., Lin, A.: Positive solutions of p-th Yamabe type equations on infinite graphs. Proc. Am. Math. Soc. 147(4), 1421–1427 (2019)
Pinamonti, A., Stefani, G.: Existence and uniqueness theorems for some semilinear equations on locally finite graphs. Proc. Am. Math. Soc. (to appear), https://arxiv.org/abs/2106.10447. https://www.ams.org/cgi-bin/mstrack/accepted_papers/proc
Luo, Z., Zhang, X.: Existence of nonconstant periodic solutions for a nonlinear discrete system involving the p-Laplacian. Bull. Malays. Math. Soc. 35(2), 373–382 (2012)
Chang, K.C.: Critical Point Theory and Its Applications (Chinese), Xiandai Shuxue Congshu. Shanghai Kexue Jishu Chubanshe, Shanghai (1986)
Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence (1986)
Bartolo, P., Benci, V., Fortunato, D.: Abstract critical point theorems and applications to some nonlinear problems with “strong” resonance at infinity. Nonlinear Anal., Theory Methods Appl. 7(9), 981–1012 (1983)
Acknowledgements
Not applicable.
Funding
This project is supported by Yunnan Ten Thousand Talents Plan Young & Elite Talents Project and Candidate Talents Training Fund of Yunnan Province, China (No: 2017HB016).
Author information
Authors and Affiliations
Contributions
XZ and XZ wrote the main manuscript text, and JX and XY participated in the proofs of theorems. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhang, X., Zhang, X., Xie, J. et al. Existence and multiplicity of nontrivial solutions for poly-Laplacian systems on finite graphs. Bound Value Probl 2022, 32 (2022). https://doi.org/10.1186/s13661-022-01613-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-022-01613-1