- Research
- Open access
- Published:
Infinitely many solutions for three quasilinear Laplacian systems on weighted graphs
Boundary Value Problems volume 2024, Article number: 45 (2024)
Abstract
We investigate a generalized poly-Laplacian system with a parameter on weighted finite graphs, a generalized poly-Laplacian system with a parameter and Dirichlet boundary value on weighted locally finite graphs, and a \((p,q)\)-Laplacian system with a parameter on weighted locally finite graphs. We utilize a critical points theorem built by Bonanno and Bisci [Bonanno, Bisci, and Regan, Math. Comput. Model. 52(1-2):152–160, 2010], which is an abstract critical points theorem without compactness condition, to obtain that these systems have infinitely many nontrivial solutions with unbounded norm when the parameters locate some well-determined range.
1 Introduction
Assume that \(G=(V, E)\) is a graph, where V is the vertex set and E is the edge set. G is usually known as a finite graph when V and E have finite elements, and G is usually known as a locally finite graph when for any \(x\in V\), there exist finite \(y\in V\) satisfying \(xy\in E\), where xy represents an edge linking x and y. The weight on any given edge \(xy\in E\) is denoted by \(\omega _{xy}\), which is supposed to satisfy \(\omega _{xy}>0\) and \(\omega _{xy}=\omega _{yx}\). Moreover, we set \(\deg(x)=\sum_{y\thicksim x}\omega _{xy}\) for any fixed \(x\in V\). Here, we use \(y\thicksim x\) to represent those y linked to x. \(d(x,y)\) represents the distance between any two points \(x,y\in V\), which is defined by the minimal number of edges linking x to y. Suppose that Ω is a subset in V. If there exists a positive constant D such that \(d(x,y)\le D\) for all \(x,y\in \Omega \), then Ω is known as a bounded domain in V. Set
which is known as the boundary of Ω. The interior of Ω is represented by \(\Omega ^{\circ}=\Omega \backslash \partial \Omega \), which obviously satisfies \(\Omega ^{\circ}=\Omega \).
Thereinafter, \(\mu :V\rightarrow \mathbb{R}^{+}\) is supposed to be a finite measure. Set
which is the directional derivative of \(u:V\rightarrow \mathbb{R}\), and then the gradient of u is defined as
that is a vector and is indexed by y. Set
Then it is obvious that
Define
which represents the length of ∇u. Furthermore, the length of m-order gradient of u is represented by \(|\nabla ^{m} u|\) that is defined by
Here, we define \(\nabla \Delta ^{\frac{m-1}{2}}u\) by (1.2) with substituting \(\Delta ^{\frac{m-1}{2}}u\) for u, and \(\Delta ^{\frac{m}{2}}u=\Delta (\Delta ^{\frac{m}{2}-1}u)\), where the Laplacian operator Δ of u is defined as
For any given \(l>1\), set
which is known as the l-Laplacian operator of u. l-Laplacian operator obviously becomes the Laplacian operator of u as \(l=1\).
For convenience, we set
For any \(r\in \mathbb{R}\) with \(r\ge 1\), set
equipped by the norm
For any \(u:V\to \mathbb{R}\), according to the distributional sense, we write \(\Delta _{l}\) as
where \(v\in \mathcal{C}_{c}(V)\) and \(\mathcal{C}_{c}(V)\) is the set of all real functions with compact support. Furthermore, a more general operator \(\text{\pounds}_{m,l}\) could be defined as
for any \(\phi \in \mathcal{C}_{c}(V)\), where \(l\in \mathbb{R}\) with \(l>1\) and \(m\in \mathbb{N}\). \(\text{\pounds}_{m,p}\) is known as the poly-Laplacian of u as \(m=2\), and \(\text{\pounds}_{m,l}\) degenerates to the l-Laplacian operator as \(m=1\). Those above concepts and more related details refer to [6] and [10].
In this paper, we focus on the existence of infinitely many solutions for the following generalized poly-Laplacian system on finite graph \(G=(V,E)\):
where \(m_{i}\in \mathbb{N}\), \(h_{i}:V\rightarrow \mathbb{R}^{+}\), \(i=1,2\), \(1< p\), \(q<+\infty \), \(\lambda >0\), and \(F:V\times \mathbb{R}^{2}\rightarrow \mathbb{R}\).
Moreover, if \(G=(V,E)\) is a locally finite graph, we focus on the existence of infinitely many solutions for the following generalized poly-Laplacian system with Dirichlet boundary condition:
where \(1< p\), \(q<+\infty \), \(\lambda >0\), \(m_{i}\in \mathbb{N}\) with \(m_{i}\geq 1\), \(i=1,2\), and \(\Omega \subset G(V,E)\) is a bounded domain.
Finally, we are also concerned with the existence of infinitely many solutions for the following \((p,q)\)-Laplacian system on locally finite graph \(G=(V,E)\):
where \(-\Delta _{p}\) and \(-\Delta _{q}\) are defined by (1.8) with \(l=p,q\), \(p\ge 2\) and \(q\ge 2\), \(F:V\times \mathbb{R}^{2} \to \mathbb{R}\), \(h_{i}:V\rightarrow \mathbb{R}^{+}\), \(i=1,2\), and \(\lambda > 0\).
The existence and asymptotic properties of nontrivial solutions for quasilinear elliptic equations have been studied extensively on Euclidean domain (for example, [13, 14, 16, 24]). With the development of machine learning, data analysis, social network, image processing and traffic network, the analysis on graphs has attracted some attentions [1–3, 7, 20, 21]. In particular, recently, in [10] and [11], Grigor’yan, Lin, and Yang studied several nonlinear elliptic equations on graphs and first established the Sobolev spaces and the variational framework on graphs. Subsequently, there have been some works on p-Laplacian equations and more general poly-Laplacian equations on graphs. For example, in [15], Pinamonti and Stefani studied some semi-linear equations with the poly-Laplacian operator on locally finite graphs. They established some existence results of weak solutions via a variational method by using the continuity properties of the energy functionals. In [19], Shao studied a nonlinear p-Laplacian equation on a locally finite graph. Some existence results of positive solutions and positive ground state solutions are established by exploiting the mountain pass theorem and the Nehari manifold. For more related results, also refer to, for example, [8, 9, 12, 17], and [18].
In addition to the case of single equations, recently, the study of systems on graphs has also yielded some results. For example, in [25], Zhang et al. considered system (1.13) with \(\lambda =1\). They supposed that F takes on the super-\((p,q)\) growth and then established the existence result of a nontrivial solution by exploiting the mountain pass theorem. They also established a multiplicity result by utilizing the symmetric mountain pass theorem. In [23], Yu et al. considered (1.14) and system (1.15) with \(p=q\), \(\lambda =1\), and \(F(x,u)=-K(x,u)+W(x,u)\) for all \(x\in V\). By utilizing the mountain pass theorem, they achieved that (1.14) has a nontrivial solution. In [22], Yang and Zhang investigated (1.15) with perturbations and two parameters \(\lambda _{1}\) and \(\lambda _{2}\). Under the assumptions that the nonlinearity satisfies a sub-\((p, q)\) conditions, they achieved that system has at least one nontrivial solution by Ekeland’s variational principle. When the nonlinearity equipped the super-\((p, q)\) conditions, they established that system has at least one nontrivial solution with positive energy and one nontrivial solution with negative energy by exploiting mountain pass theorem and Ekeland’s variational principle. In [17], when \(h_{1}(x)=\lambda a +1\) and \(h_{2}(x)=\lambda b +1\), Shao studied (1.15) with \(p=q\). By the Nehari manifold method and some analytical techniques, under some suitable assumptions on the potentials and nonlinear terms, they proved that system possesses a ground state solution \((u_{\lambda}, v_{\lambda})\) when the parameter λ is large enough.
Our investigation is mainly motivated by the above mentioned works and [4, 5]. In [4], Bonanno and Bisci established the existence result of a sequence \(\{u_{n}\}\) of critical points for the functional \(f_{\lambda}:=\Phi -\lambda \Psi \) with \(\lambda \in \mathbb{R}\), and got a well-determined interval of the parameter λ. In [5], Bonanno and Bisci obtained that a class of quasilinear elliptic system in the Euclidean framework possesses infinitely many weak solutions by the abstract theorem established in [4]. In the present paper, we also apply the critical points theorem developed by Bonanno and Bisci [4] to system (1.13), (1.14), and (1.15), and we obtain that these systems have infinitely many nontrivial solutions with unbounded norm when the parameters λ locate some well-determined ranges. To the best of our knowledge, there seemed to be no works to investigate the existence of infinitely many solutions for equations or systems on finite graph or locally finite graph. Our works are a preliminary attempt in this field.
2 Preliminaries
In this section, we recall some basic knowledge on the Sobolev space on graph. For more details, refer to [10, 22, 25]. We also recall an abstract critical point theorem built in [4], which is exploited to prove our main results.
Suppose that \(G=(V,E)\) is a finite graph. For any fixed \(m\in \mathbb{N}\) and any fixed \(l\in \mathbb{R}\) with \(l>1\), set
equipped with the norm
where \(h(x)>0\) for all \(x\in V\). \(W^{m,l}(V)\) is a Banach space with finite dimension.
Suppose that \(G=(V,E)\) is a locally finite graph and Ω is a bounded domain in V. For any fixed \(l\in \mathbb{R}\) with \(l>1\) and any fixed \(m\in \mathbb{N}\), set
equipped with the norm
Define
\(W_{0}^{m,l}(\Omega )\) is seen as the completion of \(C_{0}^{m}(\Omega )\) in \(W^{m,l}(\Omega )\). \(W_{0}^{m,l}(\Omega )\) is a finite dimensional Banach space since Ω is a finite set. On \(W_{0}^{m,l}(\Omega )\), one can also equip the following norm:
Then \(\|u\|_{W_{0}^{m,l}(\Omega )} \) is equivalent to \(\|u\|_{W^{m,l}(\Omega )}\).
Suppose that \(G=(V,E)\) is a locally finite graph. \(W^{1,l}(V)\) (\(l>1\)) is the completion of \(\mathcal{C}_{c}(V)\) based on the norm
where \(h:V\to \mathbb{R}\) and there exists a positive constant \(h_{0}\) such that \(h(x)\geq h_{0} \). Set the space
equipped with the norm \(\|u\|_{W_{h}^{1,l}(V)}\).
Lemma 2.1
Suppose that \(G=(V,E)\) is a finite graph. For any \(\psi \in W^{m,l}(V)\), there exists
where \(\|\psi \|_{\infty}=\max_{x\in V}|\psi (x)|\) and \(K_{l}= (\frac{1}{\mu _{\min}h_{\min}} )^{\frac{1}{l}}\) with \(\mu _{\min}=\min_{x\in V} \mu (x)\) and \(h_{\min}=\min_{x\in V} h(x)\).
Lemma 2.2
Suppose that \(G=(V,E)\) is a locally finite graph and Ω is a bounded domain in V satisfying \(\Omega ^{\circ}\neq \emptyset \). Let \(m\in \mathbb{N}\) and \(l>1\). Then \(W_{0}^{m,l}(\Omega )\) is continuously embedded into \(L^{\theta}(\Omega )\) for all \(1\leq \theta \leq +\infty \). In particular, there exists a positive constant \(C(m,l,\Omega )\), which just depends on m, l, and Ω satisfying
for all \(1\leq \theta \leq +\infty \) and all \(u\in W_{0}^{m,l}(\Omega )\), where \(\|u\|_{\Omega ,\infty}=\max_{x\in \Omega}|u(x)|\) and \(\mu _{\min ,\Omega}=\min_{x\in \Omega}\mu (x)\). Moreover, \(W_{0}^{m,l}(\Omega )\) is pre-compact, that is, if \(\{u_{n}\}\) is bounded in \(W_{0}^{m,l}(\Omega )\), then up to a subsequence, there exists some \(u\in W_{0}^{m,l}(\Omega )\) such that \(u_{n}\rightarrow u\) in \(W_{0}^{m,l}(\Omega )\).
Lemma 2.3
([22])
Suppose that \(G=(V,E)\) is a locally finite graph, and \(h(x)>h_{0}\) and \(\mu (x)>\mu _{0}\) for all \(x\in V\), some \(h_{0}>0\) and some \(\mu _{0}>0\). If \((H_{1})\) holds, then \(W_{h}^{1,l}(V)\) is continuously embedded into \(L^{r}(V)\) for all \(1< l\leq r\leq \infty \), and the following inequalities hold:
and
Lemma 2.4
([4])
Assume that X is a reflexive real Banach space, \(\Phi ,\Psi :X\to \mathbb{R}\) are two Gâteaux differentiable functionals satisfying Φ is continuous, sequentially weakly lower semicontinuous, and coercive, and Ψ is sequentially weakly upper semicontinuous. For each \(r>\inf_{X}\Phi \), set
and
Then,
\((a)\) if \(\gamma <+\infty \), for each \(\lambda \in (0,\frac{1}{\gamma})\), the following alternative holds: either
\((a_{1})\) \(I_{\lambda}:=\Phi -\lambda \Psi \) admits a global minimum, or
\((a_{2})\) there exists a sequence \(\{u_{n}\}\) of critical points (local minima) of \(I_{\lambda}\) satisfying \(\lim_{n\rightarrow \infty}\Phi (u_{n})=+\infty \).
\((b)\) if \(\delta <+\infty \), for each \(\lambda \in (0,\frac{1}{\delta})\), the following alternative holds: either
\((b_{1})\) there exists a global minimum of Φ that is a local minimum of \(I_{\lambda}\), or
\((b_{2})\) there exists a sequence of pairwise distinct critical points (local minima) of \(I_{\lambda}\) that weakly converges to a global minimum of Φ.
3 Result and proofs for system (1.13)
In this section, we investigate the generalized poly-Laplacian system (1.13) and obtain the following result.
Let
Theorem 3.1
Suppose that \(G=(V,E)\) is a finite graph and the following conditions hold:
\((H)\) \(h_{i}(x)>0\) for all \(x\in V\), \(i=1,2\);
\((F_{0})\) \(F(x,s,t)\) is continuously differentiable in \((s,t)\in \mathbb{R}^{2}\) for all \(x\in V\);
\((F_{1})\) \(\int _{V}F(x,0,0)\,d\mu =0\);
\((F_{2})\)
where \(\delta =\min \{p,q\}\). Then, for each \(\lambda \in (\lambda _{1,V},\lambda _{2,V})\) with \(\lambda _{1,V}=\frac{\varrho _{V}}{B_{V}}\) and \(\lambda _{2,V}=\frac{1}{p2^{p-1}K_{V}A_{V}}\), system (1.13) possesses an unbounded sequence of solutions.
To prove Theorem 3.1, we work in the space \(W_{V}:=W^{m_{1},p}(V)\times W^{m_{2},q}(V)\) equipped with the norm \(\|(u,v)\|_{V}=\|u\|_{W^{m_{1},p}(V)}+\|v\|_{W^{m_{2},q}(V)}\). Then \((W_{V},\|\cdot \|_{V})\) is a finite dimensional Banach space.
Consider the functional \(I_{\lambda ,V}:W_{V}\to \mathbb{R}\) as
Then, under the assumptions of Theorem 3.1, \(I_{\lambda ,V}\in C^{1}(W_{V},\mathbb{R})\) and
for any \((u,v),(\phi _{1},\phi _{2})\in W_{V}\).
A standard argument implies that \((u,v)\in W_{V}\) is a critical point of \(I_{\lambda , V}\) iff
and
for all \((\phi _{1},\phi _{2})\in W_{V}\). Furthermore, by the arbitrariness of \(\phi _{1}\) and \(\phi _{2}\), it can be achieved that
Therefore, seeking the solutions for system (1.13) is equivalent to seeking the critical points of \(I_{\lambda ,V}\) on \(W_{V}\) (see [25] for example).
To apply Lemma 2.4, we shall exploit the functionals \(\Phi _{V}:W_{V}\rightarrow \mathbb{R}\) and \(\Psi _{V}:W_{V}\rightarrow \mathbb{R}\), which are set by
and
Then \(I_{\lambda ,V}(u,v)=\Phi _{V}-\lambda \Psi _{V}\). For each \(r>\inf_{W_{V}}\Phi _{V}\), define
Lemma 3.1
Assume that \((F_{2})\) holds. Then \(\gamma _{V}:=\liminf_{r\rightarrow +\infty}\varphi _{V}(r)<+\infty \).
Proof
Let \(\{c_{n}\}\) be a real sequence satisfying \(\lim_{n\rightarrow \infty}c_{n}=+\infty \) and
Write
By Lemma 2.1, for all \((u,v)\in W\) with \(\Phi _{V}(u,v)\leq r_{n}\), we get
Next, we claim that there exists \(n_{0}\in \mathbb{N}\) such that \(|u(x)|+|v(x)|\leq c_{n}\) for all \(n\ge n_{0}\), all \(x\in V\), and all \((u,v)\in W_{V}\) with \(\Phi _{V}(u,v)\leq r_{n}\). We prove the claim through the following three cases. Without loss of generality, we let \(\delta =q\).
(1) Assume that \(\|u\|_{\infty ,V}< 1\) and \(\|v\|_{\infty ,V}< 1\). It is obvious that there exists \(n_{1}\in \mathbb{N}\) such that \(\|u\|_{\infty ,V}+\|v\|_{\infty ,V}\leq c_{n}\) for all \(n>n_{1}\) by the fact \(\lim_{n\rightarrow \infty}c_{n}=+\infty \).
(2) Assume that \(\|u\|_{\infty ,V}\geq 1\), \(\|v\|_{\infty ,V}\geq 1\) or \(\|u\|_{\infty ,V}\geq 1\), \(\|u\|_{\infty ,V}< 1\). Then
which together with (3.2), implies that
Thus \(\|u\|_{\infty ,V}+\|v\|_{\infty ,V}\leq c_{n}\).
(3) Assume that \(\|u\|_{\infty ,V}< 1\) and \(\|v\|_{\infty ,V}\geq 1\). Then
If \(\min \{\frac{1}{p},\frac{\|v\|_{\infty ,V}^{q-p}}{q}\}=\frac{1}{p}\), by (3.2) and (3.4), we have
Thus \(\|u\|_{\infty ,V}+\|v\|_{\infty ,V}\leq c_{n}\).
By (3.2), we have
Note that \(q-p\leq 0\). Then the above inequality implies that
Thus, if \(\min \{\frac{1}{p},\frac{\|v\|_{\infty ,V}^{q-p}}{q}\}= \frac{\|v\|_{\infty ,V}^{q-p}}{q}\), by (3.2) and (3.4), we have
Hence, an easy computation implies that
Thus, based on the three cases, we conclude that for all \((u,v)\in W_{V}\) with \(\Phi _{V}(u,v)\leq r_{n}\), we have \(|u(x)|+|v(x)|\leq c_{n}\) for all \(x\in V\). Therefore, it follows from \((F_{1})\) that
Hence, \((F_{2})\) implies that
This finishes the proof of the lemma. □
Lemma 3.2
For any fixed \(\lambda \in (\lambda _{1,V},\lambda _{2,V})\), \(I_{\lambda ,V}(u,v)=\Phi _{V}(u,v)-\lambda \Psi _{V}(u,v)\) is unbounded from below.
Proof
Assume that \(\{\xi _{n}\}\) and \(\{\eta _{n}\}\) are two positive real sequences satisfying \(\lim_{n\rightarrow \infty}|\xi _{n}|+|\eta _{n}|=+\infty \) and
For each \(n\in \mathbb{N}\), we define
It is obvious that \((u_{n},v_{n})\in W_{V}\), \(|\nabla ^{m_{i}}u_{n}|=0\), and \(|\nabla ^{m_{i}}v_{n}|=0\) for all \(m_{i}\ge 1\), \(i=1,2\). Then, for every \(n\in \mathbb{N}\), we have
where \(\varrho _{V}\) is defined by (3.1).
If \(B_{V}<+\infty \), choosing \(\epsilon _{\lambda}\in (\frac{\varrho _{V}}{\lambda B},1)\), by (3.5), there exists \(n_{\epsilon _{\lambda}}>0\) such that
Then, combining with (3.6), we get
Then
If \(B_{V}=+\infty \), we consider \(M_{\lambda}>\frac{\varrho _{V}}{\lambda}\). By (3.5), there exists \(n_{M_{\lambda}}\) such that
Then, combining with (3.6), we get
Noticing the choice of \(M_{\lambda}\), we also have
Thus, we finish the proof of the lemma. □
Lemma 3.3
\(\Phi _{V}\) is sequentially weakly lower semi-continuous.
Proof
The proof is easily finished by exploiting the weak lower semi-continuity of the norm. □
Lemma 3.4
\(\Psi _{V}\) is sequentially weakly upper semi-continuous.
Proof
Assume that \((u_{n},v_{n})\rightharpoonup (u_{0},v_{0})\) in \(W_{V}\). Note that \(W_{V}\) is of finite dimension. Then \((u_{n},v_{n})\rightarrow (u_{0},v_{0})\) in \(W_{V}\). By \((F_{0})\) and the fact that V is a finite set, it is easy to obtain that
Hence, \(\Psi _{V}\) is sequentially weakly upper semi-continuous in \(W_{V}\). □
Proof of Theorem 3.1
It is easy to see that \(\Phi _{V}:W_{V}\to \mathbb{R}\) is coercive. Lemma 3.1–Lemma 3.4 imply that all of conditions in Lemma 2.4 are satisfied. Hence, Lemma 2.4 (a) implies that for each \(( \lambda _{1,V} \lambda _{2,V} )\), the functional \(I_{\lambda ,V}\) has a sequence \(\{(u_{n}^{*},v_{n}^{*})\}\) of critical points that are solutions of system (1.13) such that \(\lim_{n\to \infty}\Phi _{V}(u_{n}^{*},v_{n}^{*})=+\infty \). □
4 Result and proofs for system (1.14)
In this section, we investigate the generalized poly-Laplacian system (1.14) and obtain the following result.
Let
where \(C(m_{1},p,\Omega) \) and \(C(m_{2},q,\Omega )\) are defined in Lemma 2.2.
Theorem 4.1
Assume that \(G=(V,E)\) is a locally finite graph and the following conditions hold:
\((H)'\) \(h_{i}(x)>0\) for all \(x\in \Omega \), \(i=1,2\);
\((F_{0})'\) \(F(x,s,t)\) is continuously differentiable in \((s,t)\in \mathbb{R}^{2}\) for all \(x\in \Omega \);
\((F_{1})'\) \(\int _{\Omega}F(x,0,0)\,d\mu =0\);
\((F_{2})'\)
where \(\delta =\min \{p,q\}\). Then, for each \(\lambda \in (\lambda _{1,\Omega},\lambda _{2,\Omega})\) with \(\lambda _{1,\Omega}=\frac{1}{B_{\Omega}}\) and \(\lambda _{2,\Omega}=\frac{1}{pK_{\Omega}2^{p-1}A_{\Omega}}\), system (1.14) possesses an unbounded sequence of solutions.
The proofs of Theorem 4.1 are the essentially same as Theorem 3.1 with some slight modifications. To prove Theorem 4.1, we work in the space \(W_{0}:=W_{0}^{m_{1},p}(\Omega )\times W_{0}^{m_{2},q}(\Omega )\) equipped with the norm \(\|(u,v)\|_{0}=\|u\|_{W_{0}^{m_{1},p}(\Omega )}+\|v\|_{W_{0}^{m_{2},q}( \Omega )}\). Then \((W_{0},\|\cdot \|_{0})\) is a finite dimensional Banach space. Consider the functional \(I_{\lambda ,\Omega}:W_{0}\to \mathbb{R}\) as
Then, under the assumptions of Theorem 4.1, \(I_{\lambda ,\Omega}\in C^{1}(W_{0},\mathbb{R})\) and
for any \((u,v),(\phi _{1},\phi _{2})\in W_{0}\).
Obviously, \((u,v)\in W_{0}\) is a critical point of \(I_{\lambda ,\Omega}\) iff
and
for all \((\phi _{1},\phi _{2})\in W_{0}\). Furthermore, by the arbitrariness of \(\phi _{1}\) and \(\phi _{2}\), it can be achieved that system (1.14) holds. Therefore, seeking the solutions for system (1.14) is equivalent to seeking the critical points of \(I_{\lambda ,V}\) on \(W_{0}\).
To apply Lemma 2.4, we will use the functionals \(\Phi _{\Omega}:W_{0}\rightarrow \mathbb{R}\) and \(\Psi _{\Omega}:W_{0}\rightarrow \mathbb{R}\) defined by
and
Then \(I_{\lambda ,\Omega}(u,v)=\Phi _{\Omega}-\lambda \Psi _{\Omega}\) and for every \(r>\inf_{W_{0}}\Phi _{\Omega}\), define
Lemma 4.1
Assume that \((F_{2})'\) holds. Then \(\gamma _{\Omega}:=\liminf_{r\rightarrow +\infty}\varphi _{\Omega}(r)<+ \infty \).
Proof
The proof is the same as that of Theorem 3.1 with substituting Ω, \(K_{\Omega}\), \(A_{\Omega}\), \(B_{\Omega}\), \(\|u\|_{\infty , \Omega}\), and \(\|v\|_{\infty , \Omega}\) for V, \(K_{V}\), \(A_{V}\), \(B_{V}\), \(\|u\|_{\infty , V}\), and \(\|v\|_{\infty , V}\), respectively. We omit the details. □
Lemma 4.2
For any fixed \(\lambda \in (\lambda _{1,\Omega},\lambda _{2,\Omega})\), \(I_{\lambda ,\Omega}(u,v)=\Phi _{\Omega}(u,v)-\lambda \Psi _{\Omega}(u,v)\) is unbounded from below.
Proof
Suppose that \(\{\xi _{n}\}\) and \(\{\eta _{n}\}\) are two positive real sequences such that \(\lim_{n\rightarrow \infty}|\xi _{n}|+|\eta _{n}|=+\infty \) and
For each \(n\in \mathbb{N}\), we define
It is easy to check that \((u_{n},v_{n})\in W_{0}\), \(|\nabla ^{m_{i}}u_{n}|=0\) and \(|\nabla ^{m_{i}}v_{n}|=0\) for all \(m_{i}\ge 1\), \(i=1,2\). Then
If \(B_{\Omega}<+\infty \), choosing \(\epsilon _{\lambda}\in (0,\frac{1}{\lambda B_{\Omega}})\), by (4.3), there exists \(n_{\epsilon _{\lambda}}\) such that
Hence
Thus,
If \(B_{\Omega}=+\infty \), consider \(M_{\lambda}>\frac{1}{\lambda}\). By (4.3), there exists \(n_{M_{\lambda}}\) such that
Hence
By the choice of \(M_{\lambda}\), we also have
Thus, we finish the proof of this lemma. □
Lemma 4.3
\(\Phi _{\Omega}\) is sequentially weakly lower semi-continuous.
Proof
The proof is easily completed by using the weak lower semi-continuity of the norm. □
Lemma 4.4
\(\Psi _{\Omega}\) is sequentially weakly upper semi-continuous.
Proof
The proof is the same as that of Lemma 3.4 with replacing W with \(W_{0}\) and V with Ω. □
Proof of Theorem 4.1
It is obvious that \(\Phi _{\Omega}:W_{0}\to \mathbb{R}\) is coercive. Lemma 4.1–Lemma 4.4 imply that all of conditions in Lemma 2.4 are satisfied. Hence, Lemma 2.4(a) implies that for each \(( \lambda _{1,\Omega},\lambda _{2,\Omega} )\), \(I_{\lambda ,\Omega}\) has a sequence \(\{(u_{n}^{\star},v_{n}^{\star})\}\) of critical points that are solutions of system (1.14) such that \(\lim_{n\to \infty}\Phi _{\Omega}(u_{n}^{\star},v_{n}^{\star})=+ \infty \). □
5 Result and proofs for system (1.15)
In this section, we investigate the \((p,q)\)-Laplacian system (1.15). We first make the following assumptions:
\((M_{1})\) There exists \(\mu _{0}>0\) such that \(\mu (x)\ge \mu _{0}\) for all \(x\in V\);
\((M_{2})\) There exists \(x_{0}\in V\) such that \(M_{1}(x_{0})\leq M_{1}(x)\) and \(M_{2}(x_{0})\leq M_{2}(x)\) for all \(x\in V\), where
\((H_{1})\) There exists a constant \(h_{0}>0\) such that \(h_{i}(x)\geq h_{0}>0\) for all \(x\in V\), \(i=1,2\);
Let
Theorem 5.1
Suppose that \(G=(V,E)\) is a locally finite graph, and \((M_{1})\), \((M_{2})\), \((H_{1})\) and the following conditions hold:
\((\tilde{F}_{0})\) \(F(x,s,t)\) is continuously differentiable in \((s,t)\in \mathbb{R}^{2}\) for all \(x\in V\), and there exist a function \(a\in C(\mathbb{R}^{+},\mathbb{R}^{+})\) and a function \(b:V\to \mathbb{R}^{+}\) with \(b\in L^{1}(V)\) such that
for all \(x\in V\) and all \((s,t)\in \mathbb{R}^{2}\);
\((\tilde{F}_{1})\) \(\int _{V} F(x,0,0)\,d\mu =0\);
\((\tilde{F}_{2})\)
where \(\delta =\min \{p,q\}\).
Then, for each \(\lambda \in (\Theta _{1},\Theta _{2})\) with \(\Theta _{1}=\frac{ \varrho}{B}\) and \(\Theta _{2}=\frac{1}{pK2^{p-1}A}\), system (1.15) possesses an unbounded sequence of solutions.
We work in the space \(W:=W_{h_{1}}^{1,p}(V)\times W_{h_{2}}^{1,q}(V)\) with the norm equipped with \(\|(u,v)\|=\|u\|_{W_{h_{1}}^{1,p}(V)}+\|v\|_{W_{h_{2}}^{1,q}(V)}\) and then \((W,\|\cdot \|)\) is a Banach space that is infinite dimensional.
We consider the functional \(I_{\lambda}:W\to \mathbb{R}\) as
Then, by Appendix A.2 in [22], under the assumptions of Theorem 5.1, \(I_{\lambda}\in C^{1}(W,\mathbb{R})\), and
for any \((u,v),(\phi _{1},\phi _{2})\in W\).
Obviously, \((u,v)\in W\) is a critical point of \(I_{\lambda}\) iff
and
for all \((\phi _{1},\phi _{2})\in W\). Furthermore, by the arbitrariness of \(\phi _{1}\) and \(\phi _{2}\), it can be achieved that system (1.15) holds. Therefore, seeking the solutions for system (1.15) is equivalent to seeking the critical points of \(I_{\lambda}\) on W.
Define \(\Phi :W\rightarrow \mathbb{R}\) and \(\Psi :W\rightarrow \mathbb{R}\) by
and
Then \(I_{\lambda}(u,v)= \Phi -\lambda \Psi \). For every \(r>\inf \Phi \), set
Lemma 5.1
Assume that \((\tilde{F}_{2})\) holds. Then \(\gamma :=\liminf_{r\rightarrow +\infty}\varphi (r)<+\infty \).
Proof
The proof is essentially the same as that of Theorem 3.1 with substituting the locally finite graph V, K, A, B, \(\|u\|_{\infty}\), and \(\|v\|_{\infty}\) for the finite graph V, \(K_{V}\), \(A_{V}\), \(B_{V}\), \(\|u\|_{\infty , V}\), and \(\|v\|_{\infty , V}\), respectively. We omit the details. □
Lemma 5.2
For any given \(\lambda \in (\Theta _{1},\Theta _{2})\), the functional \(I_{\lambda}(u ,v )=\Phi (u ,v )-\lambda \Psi (u ,v )\) is unbounded from below.
Proof
By \((\tilde{F}_{2})\), we can assume that \(\{\xi _{n}\}\) and \(\{\eta _{n}\}\) are two positive real sequences satisfying \(\lim_{n\rightarrow \infty}|\xi _{n}|+|\eta _{n}|=+\infty \) and
For each \(n\in \mathbb{N}\), define
where \(x_{0}\) is given in assumption \((M_{2})\). Then a simple calculation implies that
and
Then
and similarly,
where \(M_{1}(x_{0})\) and \(M_{2}(x_{0})\) are given in assumption \((M_{2})\). Then \(\{(u_{n},v_{n})\}\subset W\) and for every \(n\in \mathbb{N}\), we have
where ϱ is given in (5.1).
If \(B<+\infty \), choosing \(\tilde{\epsilon}_{\lambda }\in (\frac{ \varrho}{\lambda B},1)\), by (5.4), there exists \(n_{\tilde{\epsilon}_{\lambda}}\) such that
Thus, combining with (5.5), we have
Hence
If \(B=+\infty \), let us consider \(\tilde{M}_{\lambda}>\frac{ \varrho}{\lambda}\). By (5.4), there exists \(n_{\tilde{M}_{\lambda}}\) such that
Thus
Combining the choice of \(\tilde{M}_{\lambda}\), in this case, we also have
Thus we complete the proof of this lemma. □
Lemma 5.3
Φ is sequentially weakly lower semi-continuous.
Proof
The proof is easily completed by using the weak lower semi-continuity of the norm. □
Lemma 5.4
Ψ is sequentially weakly upper semi-continuous.
Proof
Assume that \((u_{k},v_{k})\rightharpoonup (u_{0},v_{0})\) for some \((u_{0},v_{0})\in W\). Then
which implies that
by choosing
Similarly, we have
By \((\tilde{F}_{0})\) and Lebesgue dominated convergence theorem, it is easy to obtain that
Hence, Ψ is sequentially weakly upper semi-continuous in W. □
Proof of Theorem 5.1
Obviously, \(\Phi :W \to \mathbb{R}\) is coercive. Lemma 5.1–Lemma 5.4 imply that all of conditions in Lemma 2.4(a) hold for \(I_{\lambda}\). Hence, Lemma 2.4(b) implies that for each \(\lambda \in ( \Theta _{1}, \Theta _{2} )\), \(I_{\lambda}\) has a sequence \(\{(u_{n},v_{n})\}\) of critical points that are solutions of system (1.15) such that \(\lim_{n\to \infty}\Phi (u_{n},v_{n})=+\infty \). □
6 The results for the scalar equations
By using similar arguments as those of Theorem 3.1, we can also obtain similar results for the following scalar equation on finite graph \(G=(V,E)\):
where \(m\geq 1\) is an integer, \(h:V\rightarrow \mathbb{R}\), \(p>1\), \(\lambda >0\), and \(f:V\times \mathbb{R}\rightarrow \mathbb{R}\).
Theorem 6.1
Let \(G=(V,E)\) be a finite graph and \(F(x,s)=\int _{0}^{s} f(x,\tau )\,d\tau \) for all \(x\in V\). Assume that the following conditions hold:
\((h)\) \(h(x)>0\) for all \(x\in V\);
\((f_{0})\) \(F(x,s)\) is continuously differentiable in \(s\in \mathbb{R}\) for all \(x\in V\);
\((f_{1})\) \(\int _{V}F(x,0)\,d\mu =0\);
\((f_{2})\)
Then, for each \(\lambda \in (\tilde{\lambda}_{1,V},\tilde{\lambda}_{2,V})\) with \(\tilde{\lambda}_{1,V}=\frac{\tilde{\varrho}_{V}}{\tilde{B}_{V}}\) and \(\tilde{\lambda}_{2,V}=\frac{1}{p\tilde {K}_{V}\tilde{A}_{V}}\), where \(\tilde {K}_{V}=\frac{1}{h_{\min}\mu _{\min}}\) and \(\tilde{\varrho}_{V}=\frac{1}{p}\int _{V} h(x)\,d\mu \), equation (6.1) possesses an unbounded sequence of solutions.
The proofs of Theorem 6.1 are almost the same as those of Theorem 3.1 and even simpler because there is no couple term. Here, we just present the proof that \(\tilde{\gamma}_{V}:=\liminf_{r\rightarrow +\infty}\tilde{\varphi}_{V}(r)<+ \infty \), which is related to the range of the parameter of λ and also show that the proof for single equation is indeed simpler, where
and \(\tilde{I}_{\lambda ,V}=\tilde{\Phi}_{V}-\lambda \tilde{\Psi}_{V}\) is the corresponding variational functional of (6.1).
In fact, let \(\{c_{n}\}\) be a real sequence satisfying \(\lim_{n\rightarrow \infty}c_{n}=+\infty \) and
Write
By Lemma 2.1, for all \((u,v)\in W\) with \(\tilde{\Phi}_{V}(u)\leq r_{n}\), we get
Hence, \(|u(x)|\le c_{n}\) for all \(x\in V\). Therefore, it follows from \((f_{1})\) that
Hence, \((f_{2})\) implies that
Thus we finish the proof.
By using similar arguments as those of Theorem 4.1, we can also obtain similar results for the following scalar equation with Dirichlet boundary value on a locally finite graph \(G=(V,E)\):
where \(p > 1\), \(m\in \mathbb{N}\), \(\lambda >0\), and \(f:V\times \mathbb{R}\rightarrow \mathbb{R}\) and \(\Omega \subset G(V,E)\) is a bounded domain.
Theorem 6.2
Suppose that \(G=(V,E)\) is a locally finite graph, \(F(x,s)=\int _{0}^{s} f(x,\tau )\,d\tau \) for all \(x\in \Omega \), \(\Omega ^{\circ}\neq\emptyset \), and the following conditions hold:
\((h)'\) \(h(x)>0\) for all \(x\in \Omega \);
\((f_{0})'\) \(F(x,s)\) is continuously differentiable in \(s\in \mathbb{R}\) for all \(x\in \Omega \);
\((f_{1})'\) \(\int _{\Omega}F(x,0)\,d\mu =0\);
\((f_{2})'\)
Then, for each \(\lambda \in (\tilde{\lambda}_{1,\Omega},\tilde{\lambda}_{2,\Omega})\) with \(\tilde{\lambda}_{1,\Omega}=\frac{1}{\tilde{B}_{\Omega}}\) and \(\tilde{\lambda}_{2,\Omega}= \frac{1}{p\tilde {K}_{\Omega}\tilde{A}_{\Omega}}\), where \(\tilde {K}_{\Omega}=\frac{C^{p}(m,p,\Omega )}{\mu _{\min ,\Omega}}\), equation (6.2) possesses an unbounded sequence of solutions.
By using similar arguments as those of Theorem 5.1, we can also obtain similar results for the following scalar equation on locally finite graph \(G=(V,E)\):
where \(h:V\rightarrow \mathbb{R}\), \(p\geq 2\), \(\lambda >0\), and \(f:V\times \mathbb{R}\rightarrow \mathbb{R}\). We make the following assumptions:
\((h)\) There exists a constant \(h_{0}>0\) such that \(h(x)\geq h_{0}>0\) for all \(x\in V\);
\((M)\) There exists \(x_{0}\in V\) such that \(M(x_{0})\leq M(x)\) for all \(x\in V\), where
Let
Theorem 6.3
Let \(G=(V,E)\) be a locally finite graph and \(F(x,s)=\int _{0}^{s} f(x,\tau )\,d\tau \) for all \(x\in V\). Assume that \((h)\), \((M)\) and the following conditions hold:
\((\tilde{f}_{0})\) \(F(x,s)\) is continuously differentiable in \(s\in \mathbb{R}\) for all \(x\in V\), and there exist a function \(a\in C(\mathbb{R}^{+},\mathbb{R}^{+})\) and a function \(b:V\to \mathbb{R}^{+}\) with \(b\in L^{1}(V)\) such that
for all \(x\in V\) and all \(s\in \mathbb{R}\);
\((\tilde{f}_{1})\) \(\int _{V} F(x,0)\,d\mu =0\);
\((\tilde{f}_{2})\)
Then, for each \(\lambda \in (\tilde{\Theta}_{1},\tilde{\Theta}_{2})\) with \(\tilde{\Theta}_{1}=\frac{\tilde{\varrho}}{\tilde{B}}\) and \(\tilde{\Theta}_{2}=\frac{1}{p\tilde {K}\tilde{A}}\), equation (6.3) possesses an unbounded sequence of solutions.
Data Availability
No datasets were generated or analysed during the current study.
References
Alkama, S., Desquesnes, X., Elmoataz, A.: Infinity Laplacian on graphs with gradient term for image and data clustering. Pattern Recognit. Lett. 41, 65–72 (2014)
Arnaboldi, V., Passarella, A., Conti, M., Dunbar, R.: Online Social Networks: Human Cognitive Constraints in Facebook and Twitter Personal Graphs. Elsevier, Amsterdam (2015)
Bini, A.A., Bhat, M.S.: A fourth-order partial differential equation model for multiplicative noise removal in images//2013 international conference on emerging trends in communication. In: Control, Signal Processing and Computing Applications (C2SPCA), pp. 1–5. IEEE, Los Alamitos (2013)
Bonanno, G., Bisci, G.M.: Infinitely many solutions for a boundary value problem with discontinuous nonlinearities. Bound. Value Probl. 2009, Article ID 670675 (2009)
Bonanno, G., Bisci, G.M., O’Regan, D.: Infinitely many weak solutions for a class of quasilinear elliptic systems. Math. Comput. Model. 52(1–2), 152–160 (2010)
Chung, S., Berenstein, C.: ω-Harmonic functions and inverse conductivity problems on networks. SIAM J. Appl. Math. 65, 1200–1226 (2005)
Elmoataz, A., Toutain, M., Tenbrinck, D.: On the p-Laplacian and ∞-Laplacian on graphs with applications in image and data processing. SIAM J. Imaging Sci. 8(4), 2412–2451 (2015)
Ge, H.: A p-th Yamabe equation on graph. Proc. Am. Math. Soc. 146(5), 2219–2224 (2018)
Ge, H., Jiang, W.: Yamabe equations on infinite graphs. J. Math. Anal. Appl. 460(2), 885–890 (2018)
Grigor’yan, A., Lin, Y., Yang, Y.: Yamabe type equations on graphs. J. Differ. Equ. 261(9), 4924–4943 (2016)
Grigor’yan, A., Lin, Y., Yang, Y.: Existence of positive solutions to some nonlinear equations on locally finite graphs. Sci. China Math. 60, 1311–1324 (2017)
Imbesi, M., Molica Bisci, G., Repovs, D.: Elliptic problems on weighted locally finite graphs. Topol. Methods Nonlinear Anal. 61(1), 501–526 (2023)
Li, Q., Radulescu, V., Zhang, W.: Normalized ground states for the Sobolev critical Schödinger equation with at least mass critical growth. Nonlinearity 37, 025018 (2024)
Papageorgiou, N., Zhang, J., Zhang, W.: Solutions with sign information for noncoercive double phase equations. J. Geom. Anal. 34, 14 (2024)
Pinamonti, A., Stefani, G.: Existence and uniqueness theorems for some semi-linear equations on locally finite graphs. Proc. Am. Math. Soc. 150, 4757–4770 (2022)
Qin, D., Tang, X., Zhang, J.: Ground states for planar Hamiltonian elliptic systems with critical exponential growth. J. Differ. Equ. 308, 130–159 (2022)
Shao, M.: Existence and convergence of solutions for p-Laplacian systems with homogeneous nonlinearities on graphs. J. Fixed Point Theory Appl. 25(2), 50 (2023)
Shao, M.: Existence and multiplicity of solutions to p-Laplacian equations on graphs. Rev. Mat. Complut. (2023). https://doi.org/10.1007/s13163-022-00452-z. (Online)
Shao, M., Yang, M., Zhao, L.: Positive solutions to p-Laplace equations on locally finite graphs (2023). arXiv:2306.14121
Ta, V.T., Elmoataz, A., Lézoray, O.: Partial Difference Equations on Graphs for Mathematical Morphology Operators over Images and Manifolds//2008 15th IEEE International Conference on Image Processing, pp. 801–804. IEEE, Los Alamitos (2008)
Ta, V.T., Elmoataz, A., Lézoray, O.: Nonlocal PDEs-based morphology on weighted graphs for image and data processing. IEEE Trans. Image Process. 20(6), 1504–1516 (2010)
Yang, P., Zhang, X.: Existence and multiplicity of nontrivial solutions for a \((p, q) \)-Laplacian system on locally finite graphs (2023). arXiv:2304.12676
Yu, X., Zhang, X., Xie, J., Zhang, X.: Existence of nontrivial solutions for a class of poly-Laplacian system with mixed nonlinearity on graphs. Math. Methods Appl. Sci. (2023). https://doi.org/10.1002/mma.9621. (Online)
Zhang, J., Zhou, H., Mi, H.: Multiplicity of semiclassical solutions for a class of nonlinear Hamiltonian elliptic system. Adv. Nonlinear Anal. 13, 20230139 (2024)
Zhang, X., Zhang, X., Xie, J., Yu, X.: Existence and multiplicity of nontrivial solutions for poly-Laplacian systems on finite graphs. Bound. Value Probl. 2022, 32 (2022)
Funding
This project is supported by Yunnan Fundamental Research Projects of China (grant No: 202301AT070465) and Xingdian Talent Support Program for Young Talents of Yunnan Province of China.
Author information
Authors and Affiliations
Contributions
The authors contribute the manuscript equally.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
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 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
Pang, Y., Xie, J. & Zhang, X. Infinitely many solutions for three quasilinear Laplacian systems on weighted graphs. Bound Value Probl 2024, 45 (2024). https://doi.org/10.1186/s13661-024-01846-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01846-2