Abstract
Let \(G=(V,E)\) be a locally finite graph. Firstly, using calculus of variations, including a direct method of variation and the mountain-pass theory, we get sequences of solutions to several local equations on G (the Schrödinger equation, the mean field equation, and the Yamabe equation). Secondly, we derive uniform estimates for those local solution sequences. Finally, we obtain global solutions by extracting convergent sequence of solutions. Our method can be described as a variational method from local to global.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Partial differential equations on Euclidean space or manifolds are important topics in mathematical physics and differential geometry. As their discrete versions, it is important to study the difference equations on graph, particularly the existence problem for such equations.
About five years ago, joined with Grigor’yan, we systematically raised and studied Kazdan–Warner equations, Yamabe equations and Schördinger equations on graphs in [6,7,8]. We first established the Sobolev spaces and the functional framework. Then the problem of solving the equations is transformed into finding critical points of various functionals. As a consequence, variational methods are applied to these problems. If the graph is finite, then all the Sobolev spaces have finite dimensions, and whence they are pre-compact. For this reason, the variational problems for finite graph are comparatively simple [6, 7]. Since the graph has no concept of dimension, if it includes infinite vertices, the Sobolev embedding theorems becomes unusual. An easy-to-understand one was observed by us [8] under the assumption that the graph is locally finite and its measure has positive lower bound (see next section for details). Any other Sobolev embedding theorem for infinite graph would be extremely interesting.
In recent years, the research in this field has aroused great interest. Motivated by [8, 15], Zhang–Zhao [17] obtained nontrivial solutions to certain nonlinear Schrödinger equation. Similar equations on infinite metric graphs were studied by Akduman–Pankov [2]. The Kazdan–Warner equation was extended by Keller–Schwarz [11] to canonically compactifiable graphs, and by Ge–Jiang [5] to certain infinite graph. For other related works, we refer the reader to [9, 10, 12,13,14, 16] and the references therein.
In this paper, we study various equations on locally finite graphs, say Schrördinger equation, Mean field equation and Yamabe equation. Assuming that the weights of the graph have a positive lower bound and the distance function of the graph belongs to \(L^p\), we derive a Sobolev embedding theorem, which is crucial in our analysis. In addition to the Sobolev embedding theorem, we also employ calculus of variations, including a direct method of variation and the mountain-pass theorem. It is remarkable that we show how to get solutions from local to global by using variational method.
2 Notations and main results
Let \(G=(V,E)\) be a connected graph, where V denotes the vertex set and E denotes the edge set. For any edge \(xy\in E\), we assume that its weight \(w_{xy}>0\) and that \(w_{xy}=w_{yx}\). Let \(\mu :V\rightarrow {\mathbb {R}}^+\) be a finite measure. For any function \(u:V\rightarrow {\mathbb {R}}\), the Laplacian of u is defined as
where \(y\sim x\) means \(xy\in E\) or y is adjacent to x. The gradient form is written by
Denote \(\Gamma (u)=\Gamma (u,u)\) and \(\nabla u\nabla v=\Gamma (u,v)\). The length of the gradient of u is represented by
The integral of a function f on V is given as
For any \(q>0\), we let \(L^q(V)\) be a linear space of functions \(f:V\rightarrow {\mathbb {R}}\) with the norm
While \(L^\infty (V)\) includes all functions \(f:V\rightarrow {\mathbb {R}}\) satisfying
If \(x,y\in V\) and y is adjacent to x, then the distance between x and y is defined as 1. While if y is not adjacent to x, then there exists a shortest path \(\gamma \) connecting y and x, and thus the distance between x and y is defined as the number of edges belonging to \(\gamma \). Given any \(O\in V\). Denote the distance between x and O by
For any integer \(k\ge 1\), we denote a ball centered at O with radius k by
The boundary of \(B_k\) is written as
According to [7], \(W_0^{1,2}(B_k)\) stands for a Sobolev space including all functions \(u:B_k\rightarrow {\mathbb {R}}\) with \(u=0\) on the boundary \(\partial B_k\) given as in (8). For any fixed k, it is pre-compact. Precisely, if \((u_j)\) is a bounded sequence in \(W_0^{1,2}(B_k)\), i.e.
where the notations in (2), (3) and (4) are used, then there exists a subsequence of \((u_j)\) converging to some function u under the norm in (9).
Recall another important Sobolev space \(W^{1,2}(V)\) including all functions \(u:V\rightarrow {\mathbb {R}}\) with
Let \(C_c(V)\) be a set of all functions with finite support, and \(W_0^{1,2}(V)\) be a completion of \(C_c(V)\) under the norm as in (10). Both of \(W^{1,2}(V)\) and \(W_0^{1,2}(V)\) are Hilbert spaces with the same inner product \(\langle u,v\rangle =\int _V(\nabla u\nabla v+uv)d\mu \).
A connected graph is said to be locally finite if for any fixed \(O\in V\), \(B_k\) is a finite subgraph. In [8], we made a key observation under the assumption that G is locally finite, and there exists a constant \(\mu _0>0\) satisfying
Namely, a Sobolev embedding theorem holds.
Theorem 1
[8]. Let \(G=(V,E)\) be a connected locally finite graph. If (11) is satisfied, then for any \(u\in W^{1,2}(V)\) and any \(2\le q\le \infty \), there exists a positive constant C depending only on q and \(\mu _0\) satisfying \(\Vert u\Vert _{L^q(V)}\le C\Vert u\Vert _{W^{1,2}(V)}\). In particular,
If instead of (11), there exists some constant \(w_0>0\) such that
and the distance function \(\rho (x)\) defined as in (6) belongs to \(L^p(V)\), we shall prove a Sobolev embedding as follows.
Theorem 2
Let \(G=(V,E)\) be a connected locally finite graph. If the weights \(w_{xy}\) satisfy (12), and the distance function \(\rho (x)=\rho (x,O)\in L^p(V)\) for some \(p>0\) and some \(O\in V\), then there exists some constant C depending only on \(w_0\), \(\mu (O)\) and p such that
If a function \(h:V\rightarrow {\mathbb {R}}\) has a positive lower bound on V, then we define a subspace of \(W_0^{1,2}(V)\), which is also a Hilbert space, namely
with an inner product
The first equation we concern is the following linear Schrödinger equation
where \(\Delta \) is the Laplacian operator defined as in (1), and \({\mathscr {H}}\) is defined as in (13). We now state the following existence result.
Theorem 3
Let \(G=(V,E)\) be a connected locally finite graph. Assume there is some constant \(a_0>0\) such that \(h(x)\ge a_0\) for all \(x\in V\). If one of the following three hypotheses is satisfied:
- (i):
-
\(f\in L^2(V)\);
- (ii):
-
\(\mu (x)\ge \mu _0>0\) for all \(x\in V\), \(f\in L^1(V)\);
- (iii):
-
the weights of the graph satisfies (12), the distance function \(\rho (x)=\rho (x,O)\in L^p(V)\) for some \(p>1\), \(O\in V\), and \(f\in L^{p/(p-1)}(V)\),
then the Eq. (15) has a unique solution. If in addition \(f\ge 0\) and \(f\not \equiv 0\) on V, then \(u(x)>0\) for all \(x\in V\).
The second equation we concern is the mean field equation, which is also known as the Kazdan–Warnar equation, namely
Theorem 4
Let \(G=(V,E)\) be a locally finite graph. Suppose that \(g\le f<0\) on V and \(g\in L^1(V)\). Then the Eq. (16) has a solution.
We remak that using a method of the heat equation, Ge-Jiang [5] obtained similar result as that of Theorem 4 under different assumptions on f and g. In the case \(g>0\), it is not likely to find a nontrivial solution as in Theorem 4 in general. The main difficulty is that \(\int _V|\nabla u|^2d\mu \) does not control \(\Vert u\Vert _{W^{1,2}(V)}\) if V is an infinite graph. However, it is natural to consider the following mean field equation
where h has a positive lower bound, and \({\mathscr {H}}\) is defined as in (13). To seek solutions of (17), we need certain Trudinger–Moser embedding. It suffices to assume (11) for the graph in order to get that kind of embedding. Precisely we have the following:
Theorem 5
Let \(G=(V,E)\) be a connected locally finite graph. Suppose (11) is satisfied, there exists some constant \(a_0>0\) such that \(h(x)\ge a_0\) for all \(x\in V\), \(g\ge 0\) and \(g\not \equiv 0\) on V, \(g\in L^1(V)\), and \(f\in L^q(V)\) for some \(q\in [1,2]\). Then the Eq. (17) has a solution.
Note that in Theorem 5, the function f allows the form \(\sum _{i=1}^\ell c_i\delta _{x_i}\) for some constants \(c_1,\cdots ,c_\ell \), where \(\delta _{x_i}\) stands for the Dirac function satisfying
As a consequence, it makes sense to consider Chern–Simons–Higgs model in locally finite graph. Such a model in finite graph was recently studied by Huang–Lin–Yau [10].
The third equation we are interested in is the Yamabe equation
where h has a positive lower bound, \({\mathscr {H}}\) is defined as in (13), and \(q>2\). In order to find a solution to the Eq. (18), we seek the Sobolev embedding theorem, say Theorem 1 or Theorem 2. Inspired by [1, 4, 15], we have solved this problem in [8] by employing Theorem 1. For application of Theorem 2, we state the following:
Theorem 6
Let \(G=(V,E)\) be a connected locally finite graph. Let O be a fixed point of V, the distance function \(\rho (x)=\rho (x,O)\in L^p(V)\) for some \(p>2\). Suppose \(h(x)\ge a_0>0\) for some constant \(a_0\) and all \(x\in V\). If further \(1/h\in L^1(V)\) or \(h(x)\rightarrow +\infty \) as \(\rho (x)\rightarrow +\infty \), then for any q with \(2<q<p\), the Eq. (18) has a nontrivial solution.
The remaining part of this paper is organized as follows: In Sect. 3, a Sobolev embedding theorem (Theorem 2) is proved; In Sect. 4, we study the linear Schrödinger equation, and prove Theorem 3; In Sect. 5, the mean field equations are discussed, and Theorems 4 and 5 are proved; In Sect. 6, we consider the Yamabe equation and prove Theorem 6. Throughout this paper, we do not distinguish sequence and subsequence, and denote various constants by the same C.
3 A Sobolev embedding
In this section, using definitions of \(W^{1,2}(V)\) and \(L^p(V)\), we prove Theorem 2.
Proof of Theorem 2
Let O be a fixed point in V. For any \(x\in V\), we denote the distance between x and O by \(\rho (x)=\rho (x,O)\). Choose a shortest path \(\gamma =\{x_1,\cdots ,x_{k+1}\}\) connecting x and O. In particular \(x_1=x\), \(\cdots \), \(x_{k+1}=O\), \(x_i\) is adjacent to \(x_{i+1}\) for all \(1\le i\le k\), and \(k=\rho (x)\). For any \(u\in W^{1,2}(V)\), we get
Noting that (10) implies
and that \(\mu (z)>0\) for all \(z\in V\), we have
since \(w_{zy}\ge w_0>0\) for all z adjacent to y, in view of (20),
Combining (19), (21) and (22), we obtain
Since \(\rho \in L^p(V)\) for some \(p>0\) and \(\rho (x,y)\ge 1\) for all \(x\not =y\), in view of (5), there holds
This together with (23) leads to
for some constant C depending only on \(w_0\), \(\mu (O)\) and p, as we expected. \(\square \)
4 Schrödinger equation
In this section, we prove Theorem 3 by using a direct method of variation from local to global.
Proof of Theorem 3
Fix some point \(O\in V\). Denote the distance between x and O by \(\rho (x)=\rho (x,O)\). For any positive integer k, we write \(B_k=\{x\in V: \rho (x)<k\}\). Note that \(h(x)\ge a_0>0\) for all \(x\in V\). Let \(W_0^{1,2}(B_k)\) be the Sobolev space including all functions \(u:B_k\rightarrow {\mathbb {R}}\), \(u=0\) on \(\partial B_k\), with the norm
For any fixed k, the norm in (24) is equivalent to that in (9), due to the Poincaré inequality
where \(C_k\) is a constant depending on k. In general, \(C_k\) tends to infinity as \(k\rightarrow \infty \). It is convenient for us to use (24) as the norm in \(W_0^{1,2}(B_k)\). Define a functional \(J_k: W_0^{1,2}(B_k)\rightarrow {\mathbb {R}}\) by
Set \(\Lambda _k=\inf _{u\in W_0^{1,2}(B_k)}J_k(u)\). Obviously
Case (i). \(f\in L^2(V)\).
By the Hölder inequality and the Young inequality, we have
where \(\Vert u\Vert _{W_0^{1,2}(B_k)}\) is defined as in (24). It follows from (25) and (27) that
Hence
Combining (26) and (29), we know that \((\Lambda _k)\) is a bounded sequence of numbers. Now we fix a positive integer k and take a sequence of functions \(({\widetilde{u}}_j)\subset W_0^{1,2}(B_k)\) satisfying
It follows from (28) that \(({\widetilde{u}}_j)\) is bounded in \(W_0^{1,2}(B_k)\). By the Sobolev embedding theorem for finite graph [7], there exists a \(u_k\in W_0^{1,2}(B_k)\) such that up to a subsequence, \({\widetilde{u}}_j\) converges to \(u_k\) under the norm (24). Clearly \(J_k(u_k)=\Lambda _k\), and \(u_k\) satisfies the Euler–Lagrange equation
Noting that \((\Lambda _k)\) is bounded, in view of (28) and (30), we obtain
for some constant C independent of k. For any finite set \(K\subset V\), there holds \(K\subset B_k\) for sufficiently large k. The power of (32) is evident. It ensures that
Note that \((u_k)\) is naturally viewed as a sequence of functions defined on V, say \(u_k\equiv 0\) on \(V\setminus B_k\). There would exist a subsequence of \((u_k)\) (which is still denoted by \((u_k)\)) and a function \(u^*\) such that \((u_k)\) converges to \(u^*\) locally uniformly in V, i.e. for any fixed positive integer \(\ell \),
Now we show that
Since \(u_k\) is viewed as a function on the whole V, \(u_k=0\) on \(V\setminus B_k\), and the weights of the graph is symmetric, i.e. \(w_{xy}=w_{yx}\) for all y adjacent to x, we have the following estimate
Up to a subsequence, we assume \((u_k)\) converges to \(u^*\) locally uniformly in V. In view of (32) and (34), we know that \((u_k)\) is bounded in \({\mathscr {H}}\). Since every Hilbert space is weakly compact, it follows that up to a subsequence, \((u_k)\) converges to some function \(u_1^*\) weakly in \({\mathscr {H}}\). This in particular implies
Let \(z\in V\) be any fixed point. In the above estimate, we take \(\phi \) satisfying \(\phi (x)=1\) at \(x=z\) and \(\phi (x)=0\) at \(x\not =z\). Then \(u_k(z)\rightarrow u_1^*(z)\). Hence by the uniqueness of the limit, \(u_1^*(z)\equiv u^*(z)\) for all \(z\in V\), and (33) follows immediately.
It then follows from (31) that for any fixed \(x\in V\), there holds
Therefore \(u^*\) is a solution of (15). To prove that \(u^*\) is a unique solution of (15), it suffices to show the homogenueous equation
has only one solution \(u\equiv 0\). Since \(u\in {\mathscr {H}}\), there exists a sequence \((\varphi _k)\subset C_c(V)\) such that \(\varphi _k\rightarrow u\) in \({\mathscr {H}}\). Testing (35) by \(\varphi _k\), we have by integration by parts
where \(\langle \cdot ,\cdot \rangle _{{\mathscr {H}}}\) is the inner product in \({\mathscr {H}}\) defined as in (14). Passing to the limit \(k\rightarrow \infty \), we conclude \(\langle u,u\rangle _{{\mathscr {H}}}=0\), and thus \(u\equiv 0\). This confirms the uniqueness of \(u^*\).
If \(f(x)\ge 0\) for all \(x\in V\), then applying the maximum principle to (31), we obtain \(u_k(x)\ge 0\) for all \(x\in B_k\). Indeed, suppose there exists some \(x_0\in B_k\) satisfying \(\min _{B_k}u_k=u_k(x_0)<0\), we have by (31) that
This is impossible, and leads to \(u_k\ge 0\) on \(B_k\). As a consequence, \(u^*(x)\ge 0\) for all \(x\in V\). Since \(f\not \equiv 0\), one has \(u^*\not \equiv 0\). We now prove \(u^*(x)>0\) for all \(x\in V\). Suppose not, there would be a point \(x^*\in V\) such that \(u^*(x^*)=0=\min _Vu^*\) and \(\Delta u^*(x^*)>0\). It follows that
which is a contradiction, and implies \(u^*(x)>0\) for all \(x\in V\).
Case (ii). \(\mu (x)\ge \mu _0>0\) for all \(x\in V\).
By the Sobolev embedding theorem (Theorem 1), we have for all \(u\in W_0^{1,2}(B_k)\),
Similar to (27), there holds
In the same way, for any \(u\in W_0^{1,2}(B_k)\), we obtain analogs of (28) and (29), namely
and
The remaining part of the proof is completely analogous to that of the case (i), and is omitted.
Case (iii). \(w_{xy}\ge w_0>0\) for all y adjacent to x, \(\rho \in L^p(V)\) and \(f\in L^{{p}/{(p-1)}}(V)\) for some \(p\in [1,\infty ]\), in particular \(f\in L^\infty (V)\) if \(p=1\).
It follows from the Sobolev embedding (Theorem 2) that there exists some constant C depending only on \(w_0\), \(\mu (O)\), \(\Vert \rho \Vert _{L^p(V)}\) and p satisfying
Similar to (27), we have
As a consequence, we obtain analogs of (28) and (29) as follows:
and
Again the remaining part of the proof in this case is completely analogous to that of Case (i), and thus is omitted. \(\square \)
5 Mean field equation
In this section, we consider mean field equations. Precisely we prove Theorems 4 and 5 by variational method from local to global.
5.1 The case \(g\le f<0\)
Proof of Theorem 4
Fix some point \(O\in V\). For any \(x\in V\), \(\rho (x)=\rho (x,O)\) denotes the distance between x and O. For any positive integer k, we let \(B_k=\{x\in V:\rho (x)<k\}\), and define a functional \(J_k:W_0^{1,2}(B_k)\rightarrow {\mathbb {R}}\) by
Step 1. For any positive integer k, \(J_k\) has a lower bound on \(W_0^{1,2}(B_k)\).
Since \(g\le f<0\) and \(g\in L^1(V)\), we have also \(f\in L^1(V)\). An elementary inequality \(e^t\ge 1+t\) for all \(t\in {\mathbb {R}}\) implies that for all \(u\in W_0^{1,2}(B_k)\),
where \(o_k(1)\rightarrow 0\) as \(k\rightarrow \infty \). Denoting \(c_k=\int _{B_k}(-f)d\mu \), we obtain \(J_k(u)\ge c_k\) for all \(u\in W_0^{1,2}(B_k)\).
Step 2. For any positive integer k, there exists a function \(u_k\in W_0^{1,2}(B_k)\) such that
Moreover \(u_k\) satisfies the Euler–Lagrange equation
Obviously there holds
This together with (36) gives
Take a minimizing sequence \(({\widetilde{u}}_j)\subset W_0^{1,2}(B_k)\) satisfying
For any function \(v:V\rightarrow {\mathbb {R}}\), we write
To see a lower bound of \(J_k({\widetilde{u}}_j)\), we calculate
Combining (40) and (41), and noting that \(g(x)\le f(x)<0\), \({\widetilde{u}}_j^-(x)\le 0\) for all \(x\in B_k\), we conclude that \(({\widetilde{u}}_j^-)\) is bounded in \(B_k\) with respect to j, or equivalently there exists some constant C depending on k such that
Note also that
which together with (40) and (41) leads to
where C is some constant depending on k. It follows from (42) and (43) that \((u_j)\) is uniformly bounded in \(B_k\) with respect to j. Hence there exist a subsequence of \(({\widetilde{u}}_j)\), which is still denoted by \(({\widetilde{u}}_j)\), and a function \({u}_k\in W_0^{1,2}(B_k)\) such that \({\widetilde{u}}_j\) converges to \({u_k}\) uniformly in \(B_k\) as \(j\rightarrow \infty \). This together with (40) immediately leads to (37). By a straightforward calculation, \({u}_k\) satisfies the Euler–Lagrange equation (38).
Step 3. For any finite set \(A\subset V\) , \((u_k)\) is uniformly bounded in A .
Let A be a finite subset of V. An obvious analog of (41) reads
provided that k is sufficiently large. As a consequence, one derives
Combining (37), (39) and (44), we conclude that there exists some constant C depending only on h, g, \(\mu \) and A such that
Step 4. There exists a subsequence of \((u_k)\), which is still denoted by \((u_k)\), and a function \(u^*:V\rightarrow {\mathbb {R}}\) such that \((u_k)\) converges to \(u^*\) locally uniformly in V. Moreover, \(u^*\) is a solution of the equation (16).
By Step 3, \((u_k)\) is uniformly bounded in \(B_1\). Hence there exists a subsequence of \((u_k)\), which is written as \((u_{1,k})\), and a function \(u_1^*\) such that \(u_{1,k}\) converges to \(u_1^*\) in \(B_1\). By Step 3 again, \((u_{1,k})\) is uniformly bounded in \(B_2\). Then there would exist a subsequence of \((u_{1,k})\), which is written as \((u_{2,k})\), and a function \(u_2^*\) such that \(u_{2,k}\) convergence to \(u_2^*\) uniformly in \(B_2\). Obviously \(u_{2}^*=u_1^*\) on \(B_1\). Repeating this process, one finds a diagonal subsequence \((u_{k,k})\), which is still denoted by \((u_{k})\), and a function \(u^*:V\rightarrow {\mathbb {R}}\) such that for any finite set \(A\subset V\), \((u_k)\) converges to \(u^*\) uniformly in A. For any fixed \(x\in V\), passing to the limit \(k\rightarrow \infty \) in (38), we obtain
This ends the final step and completes the proof of the theorem. \(\square \)
5.2 The case \(g>0\)
Proof of Theorem 5
Fix some point \(O\in V\). For any \(x\in V\), \(\rho (x)=\rho (x,O)\) denotes the distance between x and O. Let \(B_k=\{x\in V:\rho (x)<k\}\), \(W_0^{1,2}(B_k)\) be the Sobolev space including all functions u satisfying \(u=0\) on \(\partial B_k\), with the norm
where \(h(x)\ge a_0>0\), \(\mu (x)\ge \mu _0>0\) for all \(x\in V\). Define a functional \(J_k:W_0^{1,2}(B_k)\rightarrow {\mathbb {R}}\) by
Since \(f\in L^q(V)\) for some q with \(1\le q\le 2\), we have by the Sobolev embedding (Theorem 1),
for some constant C depending only on \(\mu _0\), \(a_0\) and q, where \(1/p+1/q=1\). Since
there holds for any \(\epsilon >0\),
It then follows that
Note that \(\Vert g\Vert _{L^1(V)}>0\), since \(g\ge 0\) but \(g\not \equiv 0\). Inserting (46) and (47) into (45), we obtain
Choosing \(\epsilon =1/8\), we immediately have for any \(u\in W_0^{1,2}(B_k)\),
Hence \(J_k\) has a lower bound in \(W_0^{1,2}(B_k)\). Take a minimizing sequence \(({\widetilde{u}}_j)\subset W_0^{1,2}(B_k)\) such that
Since \(g\ge 0\) and there exists some \(x_0\in V\) such that \(g(x_0)>0\), there holds
and thus
Combining (48), (49) and (50), we have
for some constant C independent of k. Hence there exists a subsequence of \(({\widetilde{u}}_j)\), which is still denoted by \(({\widetilde{u}}_j)\), and a function \(u_k\in W_0^{1,2}(B_k)\) such that \(({\widetilde{u}}_j)\) converges to \(u_k\) uniformly in \(B_k\) as \(j\rightarrow \infty \). It is easy to see that \(u_k\) is a minimizer of \(J_k\), or equivalently
Moreover \(u_k\) satisfies the Euler–Lagrange equation
Since \((\Lambda _k)\) is bounded due to (48) and (50), we conclude that
for some constant C independent of k. Using the same argument as Step 4 of the proof of Theorem 4, one easily extracts a subsequence of \(u_k\), which is still denoted by \(u_k\), and finds some function \(u^*\) such that \((u_k)\) converges to \(u^*\) locally uniformly in V. In view of (52), the Sobolev embedding theorem (Theorem 1) implies
This immediately leads to
where \(\gamma _k\) is given as in (51). Then up to a subsequence, \(\gamma _k\) converges to some number \(\gamma ^*\) with
It follows from (51) and (54) that
We now prove
On one hand, for any fixed \(\ell >1\), there holds
which leads to
On the other hand, in view of (53) and the assumption \(g\in L^1(V)\), for any \(\eta >0\), there would exist a sufficiently large \(\ell _0>1\) such that if \(\ell \ge \ell _0\), then
Indeed, (53) and \(g\in L^1(V)\) lead to
where \(o_\ell (1)\rightarrow 0\) as \(\ell \rightarrow \infty \). Thus (58) is satisfied. Passing to the limit \(k\rightarrow \infty \) first, and then \(\ell \rightarrow \infty \) in (58), we obtain
Since \(\eta >0\) is arbitrary, there must hold
Hence (56) follows from (57) and (59) immediately. Combining (56) and (55), we conclude that \(u^*\) is a solution of
Since \(u_k\) is naturally viewed as a function on V, using the same argument as the proof of (33), we conclude from (52) and (34) that \(u^*\in {\mathscr {H}}\). This completes the proof of the theorem. \(\square \)
6 Yamabe equation
In this section, using the mountain-pass theorem due to Ambrosetti–Rabinowitz [3], we prove the existence of nontrivial solutions to the Yamabe equation (18). The key estimate is the Sobolev embedding theorem. In [8], we have used Theorem 1 under the assumption (11). Here we shall apply Theorem 2 to the mountain-pass theory. Our assumptions on the locally finite graph are \(w_{xy}\ge w_0>0\) for all y adjacent to x, and
for some \(p>2\), where \(\rho (x)=\rho (x,O)\) denotes the distance between x and O. It seems that Theorem 2 has a lot of room for improvement.
To begin with, we have the following compactness embedding for \({\mathscr {H}}\), where \({\mathscr {H}}\) is a Hilbert space defined as in (13).
Lemma 7
If \(h\ge a_0>0\) and \(1/h\in L^1(V)\), then \({\mathscr {H}}\) is embedded in \(L^q(V)\) compactly for all \(1\le q<p\); If \(h\ge a_0>0\) and \(h(x)\rightarrow +\infty \) as \(\rho (x)\rightarrow +\infty \), then \({\mathscr {H}}\) is embedded in \(L^q(V)\) compactly for all \(2\le q<p\).
Proof
Suppose \((u_k)\) is a bounded sequence in \({\mathscr {H}}\), namely
Since the Hilbert space \({\mathscr {H}}\) is reflexive, there exists some function \(u\in {\mathscr {H}}\) such that up to a subsequence, \((u_k)\) converges to u weakly in \({\mathscr {H}}\), locally uniformly in V. If \(1/h\in L^1(V)\), then for any \(\epsilon >0\), there exists some \(\ell >1\) such that
Moreover, there holds
This immediately implies
For any \(q\in (1,p)\), there exists a unique \(\lambda \in (0,1)\) such that \(q=\lambda +(1-\lambda )p\). By the Hölder inequality, (60) and Theorem 2,
which together with (61) leads to
If \(h(x)\rightarrow +\infty \) as \(\rho (x)\rightarrow \infty \), then for any \(\epsilon >0\), there exists some \(\ell _1>1\) such that
As a consequence
This implies that
Using the same argument as in the proof of (62), we obtain from (63) that
This ends the proof of the lemma. \(\square \)
Let f be a function of one variable defined by
and F be its primitive function, namely
Obviously \(sf(s)=qF(s)\) for all \(s\in {\mathbb {R}}\). Define a functional \(J:{\mathscr {H}}\rightarrow {\mathbb {R}}\) by
Lemma 8
Assume \(q\in (2,p)\), f, F and J are defined as in (64), (65) and (66) respectively. Then for any \(c\in {\mathbb {R}}\), J satisfies the \((PS)_c\) condition. Precisely, if for any sequence \((u_k)\subset {\mathscr {H}}\) with \(J(u_k)\rightarrow c\) and \(J^\prime (u_k)\rightarrow 0\), then up to a subsequence, \((u_k)\rightarrow u\) in \({\mathscr {H}}\) for some function \(u\in {\mathscr {H}}\).
Proof
Since \((u_k)\subset {\mathscr {H}}\), \(J(u_k)\rightarrow c\) and \(J^\prime (u_k)\rightarrow 0\), we have
Taking \(\phi =u_k\) in (68) and noting that \(u_k(x)f(u_k(x))=qF(u_k(x))\) for all \(x\in V\), we obtain
Since \(2<q<p\), (69) implies that \((u_k)\) is bounded in \({\mathscr {H}}\). By Lemma 7, there exist a subsequence of \((u_k)\), which is still denoted by \((u_k)\), and some function \(u\in {\mathscr {H}}\) such that
One calculates
where Theorem 2 is used, C is a constant independent of k, and \(\xi _k\) lies between \(u_k\) and u. Combining (70) and (71), we obtain
In the same way,
As a consequence
Taking \(\phi =u_k-u\) in (68) and noting (73), we obtain
Since up to a subsequence, \(u_k\rightharpoonup u\) weakly in \({\mathscr {H}}\), it follows that
Combining (74) and (75), we conclude that \((u_k)\) converges to u in \({\mathscr {H}}\). In view of (67), (68), (72) and (73), we have
This ends the proof of the lemma. \(\square \)
Proof of Theorem 6
Let \(J\in C^1({\mathscr {H}}, {\mathbb {R}})\) be the functional defined as in (66). We claim that J satisfies \((H_1)\) \(J(0)=0\); \((H_2)\) for some \(\delta >0\), \(\inf _{\Vert u\Vert _{{\mathscr {H}}}=\delta }J(u)>0\); \((H_3)\) \(J(v)<0\) for some \(v\in {\mathscr {H}}\) with \(\Vert v\Vert _{{\mathscr {H}}}>\delta \). Firstly, \((H_1)\) is obvious. Secondly, to see \((H_2)\), we have by Lemma 7,
for some constant C depending on q. Hence, if \(\Vert u\Vert _{{\mathscr {H}}}=\delta \) for sufficiently small \(\delta >0\), there holds \(J(u)\ge C>0\) for some constant C depending on q and \(\delta \). This confirms \((H_2)\). Finally, to see \((H_3)\), we take a function
for some fixed point \(O\in V\). It then follows that
since \(2<q<p\). If we choose \(v=tu_0\) for sufficiently large \(t>0\), then \(J(v)<0\) and \((H_3)\) holds.
Let
where \(\Gamma =\{\gamma |\gamma :[0,1]\rightarrow {\mathscr {H}}\,\,\mathrm{is\,\,a\,\,} C^1\,\,\mathrm{curve\,\, with}\,\,\gamma (0)=0,\gamma (1)=v \}\). Clearly \(0<c<+\infty \). In view of Lemma 8, applying the mountain-pass theorem due to Ambrosetti–Rabinowitz [3], we conclude that c is a critical value of J. In particular, there exists some \(u\in {\mathscr {H}}\) such that \(J(u)=c\), \(J^\prime (u)=0\). Clearly \(u\not \equiv 0\), and u satisfies the Euler–Lagrange equation (18). \(\square \)
References
Adimurthi A, Yang Y: An interpolation of Hardy inequality and Trudinger–Moser inequality in \({\mathbb{R}}^N\) and its applications. Int. Math. Res. Not. 13, 2394–2426 (2010)
Akduman, S., Pankov, A.: Nonlinear Schrödinger equation with growing potential on infinite metric graphs. Nonlinear Anal. 184, 258–272 (2019)
Ambrosetti, A., Rabinowitz, P.: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349–381 (1973)
do Ó, J.M., Medeiros, E., Severo, U.: On a quasilinear nonhomogeneous elliptic equation with critical growth in \(\mathbb{R}^{N}\). J. Differ. Equ. 246, 1363–1386 (2009)
Ge, H., Jiang, W.: Kazdan–Warner equation on infinite graphs. J. Korean Math. Soc. 55, 1091–1101 (2018)
Grigor’yan, A., Lin, Y., Yang, Y.: Kazdan–Warner equation on graph. Calc. Var. 55, 92 (2016)
Grigor’yan, A., Lin, Y., Yang, Y.: Yamabe type equations on graphs. J. Differ. Equ. 261, 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)
Han, X., Shao, M., Zhao, L.: Existence and convergence of solutions for nonlinear biharmonic equations on graphs. J. Differ. Equ. 268, 3936–3961 (2020)
Huang, A., Lin, Y., Yau, S.: Existence of solutions to mean field equations on graphs. Commun. Math. Phys. 377, 613–621 (2020)
Keller, M., Schwarz, M.: The Kazdan–Warner equation on canonically compactifiable graphs. Calc. Var. 57, 70 (2018)
Liu, S., Yang, Y.: Multiple solutions of Kazdan–Warner equation on graphs in the negative case. Calc. Var. 59, 164 (2020)
Man, S.: On a class of nonlinear Schrödinger equations on finite graphs. Bull. Aust. Math. Soc. 101, 477–487 (2020)
Tian, C., Zhang, Q., Zhang, L.: Global stability in a networked SIR epidemic model. Appl. Math. Lett. 107, 106444 (2020)
Yang, Y.: Existence of positive solutions to quasi-linear elliptic equations with exponential growth in the whole Euclidean space. J. Funct. Anal. 262, 1679–1704 (2012)
Zhang, X., Lin, A.: Positive solutions of \(p\)-th Yamabe type equations on infinite graphs. Proc. Am. Math. Soc. 147, 1421–1427 (2019)
Zhang, N., Zhao, L.: Convergence of ground state solutions for nonlinear Schrödinger equations on graphs. Sci. China Math. 61, 1481–1494 (2018)
Acknowledgements
We thank the reviewers for their careful reading and valuable comments. Yong Lin is supported by the NSFC (Grant No. 12071245). Yunyan Yang is supported by the NSFC (Grant No. 11721101) and the National Key Research and Development Project SQ2020YFA070080. Both of the two authors are supported by the NSFC (Grant No. 11761131002).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Lin, Y., Yang, Y. Calculus of variations on locally finite graphs. Rev Mat Complut 35, 791–813 (2022). https://doi.org/10.1007/s13163-021-00405-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13163-021-00405-y