Abstract
We study upper bounds for the first non-zero eigenvalue of the Steklov problem defined on finite graphs with boundary. For finite graphs with boundary included in a Cayley graph associated to a group of polynomial growth, we give an upper bound for the first non-zero Steklov eigenvalue depending on the number of vertices of the graph and of its boundary. As a corollary, if the graph with boundary also satisfies a discrete isoperimetric inequality, we show that the first non-zero Steklov eigenvalue tends to zero as the number of vertices of the graph tends to infinity. This extends recent results of Han and Hua, who obtained a similar result in the case of \(\mathbb {Z}^n\). We obtain the result using metric properties of Cayley graphs associated to groups of polynomial growth.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let M be a compact Riemannian manifold of dimension \(n\ge 2\) with boundary \(\partial M\). The Steklov problem on M is
where \(\triangle \) is the Laplace–Beltrami operator and \(\frac{\partial u}{\partial n}\) is the outward normal derivative along the boundary \(\partial M\). It is a well-known result that if the boundary is sufficiently regular, the spectrum of the Steklov problem is discrete and its eigenvalues form a sequence \(0=\sigma _0<\sigma _1\le \sigma _2\le \cdots \nearrow \infty \).
An important question in studying the spectral geometry of the Steklov problem is to maximize its eigenvalues under a constraint on the volume of the boundary or on the volume of the manifold. For simply connected planar domains of prescribed perimeter, it has been shown by R. Weinstock that the disk maximizes \(\sigma _1\) (see [16]). For bounded Lipschitz domains of fixed volume in \(\mathbb {R}^n\), F. Brock proved that the ball maximizes \(\sigma _1\) (see [2]). Several upper bounds have also been obtained for different families of manifolds where the volume or the volume of the boundary is fixed. In 2017, a survey of the literature on this question has been given in [10]. More recently, it was shown in [3] that a Weinstock-type inequality holds in \(\mathbb {R}^n\) in the class of convex sets, that is, that among all bounded convex sets in \(\mathbb {R}^n\) with prescribed volume of the boundary, the ball maximizes \(\sigma _1\).
In this article, we investigate isoperimetric upper bounds for \(\sigma _1\) of the Steklov problem on graphs. The Steklov problem on graphs is a discrete analogue of the Steklov problem and has recently received attention in the literature. In [13] and [14], lower bounds for the first non-zero eigenvalue are given. A lower bound for higher eigenvalues is given in [1]. For subgraphs of integer lattices, an upper bound has been obtained by Hua and Han [12]. In [5], a relation between the eigenvalues of the Steklov problem on a manifold and the eigenvalues of a discrete problem is established. Hence, results in the discrete and in the Riemannian settings are closely related and the study of the discrete problem is a possible approach to understand the spectral geometry of the Steklov problem.
Definition 1
A graph with boundary is a pair \((\varGamma , B)\), where \(\varGamma =(V,E)\) is a simple, that is without loops or multiple edges, connected graph and \(B\subset V\) is a subset of V such that \(B\not = \emptyset \) and \(E(B,B)=\emptyset \). We call B the boundary of the graph and \(B^{c}\) the interior.
In this paper, we always consider graphs with boundary that are finite. The space of all real functions defined on the vertices V, denoted by \(\mathbb {R}^{V}\), is the Euclidean space of dimension |V|. Similarly, the space of real functions defined on the vertices of the boundary, denoted \(\mathbb {R}^{B}\), is the Euclidean space of dimension |B|.
The Laplacian \(\triangle \) of a function \(v\in \mathbb {R}^{V}\) is defined by
where \(i\sim j\) signifies that \(\{i,j\}\in E\).
A function \(v\in \mathbb {R}^V\) is called harmonic if
The normal derivative operator \(\frac{\partial }{\partial n}:\mathbb {R}^V \rightarrow \mathbb {R}^{B}\) is defined by
Definition 2
The Steklov problem on a finite graph with boundary \((\varGamma ,B)\) is the eigenvalue problem
where \(v\not \equiv 0\) and \(\sigma \) is a spectral parameter.
As shown in [14], the solutions of this problem coincide with the eigenvalues of the discrete Dirichlet-to-Neumann operator defined in [13]. They form a finite sequence \(0=\sigma _0\le \sigma _1\le \cdots \le \sigma _{b-1}\), where \(b=|B|\).
We recall that we are interested in upper bounds for \(\sigma _1\). Therefore, we will always assume that \(|B|>1\) because if not, \(\sigma _1\) is not defined. A first remark is that without any additional geometric constraint on \((\varGamma , B)\), \(\sigma _1\) may become unbounded. This occurs in the following example.
Example 1
We consider the family of graphs with boundary \(\{(G_n,B)\}_{n\in \mathbb {N}}\) as shown in Fig. 1, that is, two boundary vertices (the bigger vertices) are connected by n paths of length 2. By computation, we obtain that \(\sigma _1(G_n,B)=n\) and hence \(\sigma _1\) tends to \(+\infty \) as n tends to \(+\infty \).
If we assume that the degree of the graph, d, is bounded, it is easy to obtain that \(\sigma _1\le d\). The goal of this paper is to show isoperimetric upper bounds for the Steklov eigenvalues of graphs with boundary that are included in a Cayley graph with polynomial growth (we recall the notions of geometric group theory that we use in Sect. 2).
Definition 3
A graph with boundary \((\varGamma '=(V',E'), B)\) is included in a graph \(\varGamma =(V,E)\) if \(V'\subset V\) and \(E'\subset E\).
Remark 1
The Steklov problem is defined on finite graphs with boundary. In contrast, the Cayley graphs with polynomial growth that we use as host graph are infinite.
The main result is the following.
Theorem 1
Let \(\varGamma =(V,E)\) be a Cayley graph with polynomial growth of order D. There exists \(C(\varGamma )>0\) such that for any finite graph with boundary \((\varGamma '=(V',E'),B)\) included in \(\varGamma \) and such that \(|B|>1\), we have
This result can be pushed further for a particular class of graph with boundary included in the Cayley graph \(\varGamma =(V,E)\), graphs with boundary induced by a subset \(\varOmega \subset V\).
Definition 4
Let \(\varGamma =(V,E)\) be a graph.
-
(1)
The vertex boundary of a subset \(\varOmega \subset \varGamma \) is
$$\begin{aligned} \delta \varOmega :=\{i\in V \setminus \varOmega : \exists j \in \varOmega , i\sim j \} \end{aligned}$$where \(i\sim j\) signifies that \(\{i,j\}\in E\).
-
(2)
The set of edges between two subset \(\varOmega _1, \varOmega _2 \subset V\) is
$$\begin{aligned} E(\varOmega _1,\varOmega _2):=\{\{i,j\}\in E : i\in \varOmega _1, j\in \varOmega _2\}. \end{aligned}$$ -
(3)
Given \(\varOmega \subsetneq V\), consider the graph \(\varGamma '\) with vertex set \({\bar{\varOmega }}:=\varOmega \cup \delta \varOmega \) and edge set \(E(\varOmega ,{\bar{\varOmega }})\). This defines a graph with boundary, with \(B=\delta \varOmega \), which is called graph with boundary induced by a subset \(\varOmega \subsetneq V\).
-
(4)
Given a subset \(\varOmega \subsetneq V\), \(\sigma _1(\varOmega )\) is the eigenvalue \(\sigma _1\) of the graph with boundary induced by \(\varOmega \) (Fig. 2).
Because graphs with boundary induced by a finite subset \(\varOmega \) of the set of vertices of a Cayley graph with polynomial growth satisfy a discrete isoperimetric inequality, we can deduce the following two corollaries of Theorem 1 for this particular case.
Corollary 1
Let \(\varGamma =(V,E)\) be a Cayley graph with polynomial growth of order \(D\ge 2\). There exists \(C(\varGamma )>0\) such that for any finite connected subset \(\varOmega \) of the set of vertices V we have
Corollary 2
Let \(\varGamma =(V,E)\) be a Cayley graph with polynomial growth of order \(D\ge 2\). There exists \(C(\varGamma )>0\) such that for any finite connected subset \(\varOmega \) of the set of vertices V we have
where \({\bar{\varOmega }}=\delta \varOmega \cup \varOmega \).
A direct consequence is that for a sequence of graphs with boundary induced by subsets in a Cayley graph with polynomial growth such that the number of vertices tends to infinity, \(\sigma _1\) tends to zero. It is easy to find examples (see, e.g., [14, Example 1]) showing that this is not true if we do not assume that the graphs with boundary are induced by subsets of the Cayley graph.
In \(\mathbb {Z}^n\), with \(n\ge 2\), Corollary 2 corresponds to a recent result of Han and Hua (see Corollary 1.4 in [12]). They show it using a very interesting method to reduce to the case of domains in \(\mathbb {R}^n\), which also allows them to give explicit constants. In the contrast to the proof of the result of Han and Hua, the proof of our main result is direct because it does not use known results for domains in Euclidean space. It essentially uses the control of the growth function of the Cayley graph. The method was inspired by the methods used in [4]. A straightforward example of a Cayley graph of a group of polynomial growth that is different from \(\mathbb {Z}^n\) is a Cayley graph associated to the discrete Heisenberg group of dimension 3, which has polynomial growth of order 4. Many other examples exist (see Example 4) where the result holds.
2 Groups with Polynomial Growth and Cayley Graphs
In this article, we work in the setting of Cayley graphs of groups with polynomial growth. We recall here the definitions and the geometric group theory notions that we will use. For further details on this topic, one can see, e.g., [7].
Let G be a finitely generated infinite discrete group and S=\(\{g_1,\ldots ,g_k\}\) a generating set of G. For \(n\in \mathbb {N}^*\), we denote the ball of radius n \(B(n):=\{x \in G: x=g_{i_1}^{\epsilon _1},\ldots ,g_{i_n}^{\epsilon _n}, i_1,\ldots ,i_n\in \{1,\ldots ,k\}, \epsilon _j=\pm 1\}\). The growth function of G is \(V(n):=|B(n)|\). If there exist \(D\in \mathbb {N}^*\) and \(C>0\) such that
we say that the growth rate is polynomial of order D. Since the growth rate does not depend on the choice of generating set, we can speak of the growth type of a group.
Let G be a group and S a generating set that does not contain the identity element of the group and is symmetric, that is, satisfies \(S=S^{-1}\). The Cayley graph \(\varGamma =\varGamma (G,S)\) associated to (G, S) is the graph with vertices \(V=G\) and edges \(E=\{\{x,y\}: x,y\in V \text { and } \exists s\in S\text { such that } y=xs\}\). Since S is symmetric and does not contain the identity element, the graph is simple, and since S is a generating set of G, the graph is connected. We say that a Cayley graph has polynomial growth of order D if it is associated to a group with polynomial growth of order D.
We now give two properties of Cayley graphs with polynomial growth that we will need to prove our results.
Lemma 1
Let \(\varGamma =(V,E)\) be a Cayley graph with polynomial growth of order D. Let \(a,b\in \mathbb {R}^*_+\) and B(x, aR) be a ball in \(\varGamma \) of radius aR. Then \(\exists N\in \mathbb {N}^*\) such that B(x, aR) is the union of N balls of radius bR and this number does not depend on R. More precisely, we can take \(N=\lceil C^2\left( \frac{2a+b}{b}\right) ^D\rceil \) where C is a constant satisfying \(C^{-1}n^D\le V(n) \le Cn^D\).
Proof
Let \(\{y_i\}_{i=1}^{m}\) be a maximal subset of vertices in B(x, aR) such that \(d(y_i,y_j)\ge bR \text { for } i\not = j\). Then \(\cup _{i=1}^n B(y_i,bR)\supset B(x,aR)\) and, by the triangle inequality, \(B\left( y_i,\frac{bR}{2}\right) \cap B\left( y_j,\frac{bR}{2}\right) =\emptyset \). This implies
Since the graph has polynomial growth of order D, we know that there exists C such that \(C^{-1}n^D\le |B(z,n)|\le C n^D\) \(\forall z\in V\). We approximate the volume of the balls in Eq. (1) using the latter inequality and we obtain that \(m\le C^2\left( \frac{2a+b}{b}\right) ^D\). \(\square \)
The second property is a discrete isoperimetric inequality.
Proposition 1
Let \(\varGamma =(V,E)\) be a Cayley graph with polynomial growth of order D. There exists C such that for any finite subset \(\varOmega \subset V,\) \(\delta \varOmega \) its boundary, and \({\bar{\varOmega }}:=\varOmega \cup \delta \varOmega ,\) we have that
For the proof of this proposition, we refer to [6]. In fact, the result that we give corresponds to the first particular case of Theorem 1 of [6], but formulated in the setting of Cayley graphs.
3 Isoperimetric Upper Bound for \(\sigma _1\) in Cayley Graphs with Polynomial Growth
In this section, we prove the results presented in the introduction and give examples of application.
The following variational characterization of the Steklov eigenvalues on graphs with boundary is important for the proof of our main result, Theorem 1.
where E is the set of all linear subspaces of \(\mathbb {R}^V\) of dimension \(j+1\), and R(v) is the Rayleigh quotient associated to the Dirichlet-to-Neumann operator (see [13])
3.1 Proof of Theorem 1
The proof consists of finding two regions of the graph with boundary with a sufficient number of vertices of the boundary, then building test functions, evaluating their Rayleigh quotient, and using the variational characterization in order to obtain an upper bound for \(\sigma _1\).
Proof
By Lemma 1, there exists \(c_1\) such that a ball of radius 3R in \(\varGamma \) is the union of \(c_1\) balls of radius \(\frac{1}{2}R\).
If \(|B|\le c_1+1\), it is easy to show that the result is true using that \(\sigma _1\) is bounded from above by d, the degree of the host Cayley graph: we have that
and, if \(D\ge 2\),
From now on, we will assume \(|B|>c_1+1\). We define
Let \(x\in V\). We set
and
Then, we have that \(\forall x \in V\), \(|B(x,R-1)\cap B|<\alpha \) and there exists \(x_0 \text { such that } |B(x_0,R)\cap B|\ge \alpha \). We remark that \(R\ge 1\). Since \(B(x,R-1)\ge B\left( x,\frac{1}{2}R\right) \) we have that \(B(x_0,3R)\) is the union of \(c_1\) balls of radius \(R-1\). This implies
and consequently
Hence, we have found two regions, \(B(x_0,R)\) and \(B(x_0,3R)^c\), such that
and
We define two test functions, one with support \(B(x_0,2R)\), and the other with support \(B(x_0,2R)^c\).
We consider the linear subspace W of \(\mathbb {R}^V\) generated by \(f_1\) and \(f_2\). The variational characterization of Eq. (3) gives
Since \(f_1\) and \(f_2\) have disjoint support, it implies
\(R(f_1)\) can be evaluated in the following way. The denominator is
The only edges contributing to the sum in the numerator \(\sum _{i\sim j}(f_1(i)-f_1(j))^2\) are the ones in \(B(x_0,2R)\setminus B(x_0,R)\). In this annulus, for two adjacent vertices, we have that \((f_1(i)-f_1(j))^2\le \frac{1}{R^2}\). Moreover, the number of edges in this annulus is smaller than or equal to the number of edges in \(B(x_0,3R)\). Hence we have
Because the graph has polynomial growth of order D, there exists \(c_3>0 \) such that \(|B(x_0,3R)|\le c_3 (3R)^D\). We recall that the graph is the Cayley graph defined by a group G and a generating set S of G. The degree of the graph is \(|S|=|B(y,1)|\le c_3\). By the handshaking lemma, \(|E(B(x_0,3R),B(x_0,3R))|\le \frac{1}{2} |B(x_0,3R)||S|\le \frac{1}{2}c_3^2(3R)^D:=c_4 R^D\). Consequently, for \(D=1\) or 2, we have
and the Rayleigh quotient of \(f_1\) becomes
If \(D\ge 2\), we note that we have the following equality:
The left factor is bounded by a constant:
For the right factor, we have
and we obtain
Hence, if \(D\ge 2\), the numerator of the Rayleigh quotient satisfies
The Rayleigh quotient of \(f_1\) becomes
By the definition of the test functions, the same upper bound can be obtained for \(f_2\). We conclude that
In order to unify the case \(|B|\le c_1+1\) and the general case, we take \(C:=\max \{c_5,c_2\}\) if \(D\le 2\) or \(C:=\max \{c_8,c_2\}\) if \(D\ge 2\). This completes the proof. \(\square \)
Remark 2
The proof is qualitative rather than quantitative since the goal here is not to find an optimal constant (the constant depends on the generating set of the group).
Example 2
An example of a group with polynomial growth of order D is \(\mathbb {Z}^D\).
Example 3
The Heisenberg group over \(\mathbb {Z}\),
is an example of a group with polynomial growth of order 4, which is not quasi-isometric to \(\mathbb {Z}^4\) (on this affirmation, see [9], p. 13, for example). Hence, for the Steklov problem on a graph with boundary \((\varGamma '=(V',E'),B)\) included in a Cayley graph associated to the Heisenberg group, \(\sigma _1\) is bounded from above by \(C(\mathrm{Heis}(\mathbb {Z}))\frac{|V'|^{1/2}}{|B|}\).
Example 4
An important theorem due to M. Gromov characterizes finitely generated groups of polynomial growth (see [11]). It says that a group is of polynomial growth if and only if it has a nilpotent subgroup of finite index. Lattices in nilpotent Lie groups, which are finitely generated and themselves nilpotent, are other examples where the theorem holds (for the existence of such lattices, see, e.g., [15] and [8]).
Remark 3
Given a Cayley graph \(\varGamma =(V,E)\) with polynomial growth of order 1 or 2, Theorem 1 shows that for a sequence \(\{(\varGamma '_n,B_n)\}_{n\in \mathbb {N}}\) of graphs with boundary included in \(\varGamma \) and satisfying \(|B_n| \rightarrow \infty \), we have that \(\sigma _1\) tends to 0 as n tends to infinity.
3.2 Application to Subgraphs
Proof of Corollary 1
By the isoperimetric inequality in Proposition 1, there exists \(c_1>0\) such that \(\frac{|{\bar{\varOmega }}|^{\frac{(D-1)}{D}}}{|\delta \varOmega |}\le c_1\), where \({\bar{\varOmega }}=\delta \varOmega \cup \varOmega \). We raise the latter inequality to the power of \(\frac{D-2}{D-1}\) and obtain \(|{\bar{\varOmega }}|^{\frac{D-2}{D}}\le (c_1|\delta \varOmega |) ^{\frac{D-2}{D-1}}=:c_2 |\delta \varOmega | ^{\frac{D-2}{D-1}}\). By Theorem 1, there exists \(c_3\) such that \(\sigma _1\le c_3\frac{|{\bar{\varOmega }}|^{\frac{D-2}{D}}}{|\delta \varOmega |}\). Consequently,
\(\square \)
Remark 4
For \(D=1\), we remark that by Theorem 1, we have that \(\sigma _1(\varOmega )\le C(\varGamma )\frac{1}{|\delta \varOmega |}\).
Proof of Corollary 2
By the isoperimetric inequality in Proposition 1, there exists \(c_1>0\) such that \(\frac{|{\bar{\varOmega }}|^{\frac{(D-1)}{D}}}{|\delta \varOmega |}\le c_1\). By Theorem 1, there exists \(c_2\) such that \(\sigma _1\le c_2\frac{|{\bar{\varOmega }}|^{\frac{D-2}{D}}}{|\delta \varOmega |}\). Hence, we have
\(\square \)
Remark 5
Since \({\bar{\varOmega }}=\delta \varOmega \cup \varOmega \), we also have \(\sigma _1\le C(\varGamma )\frac{1}{|\varOmega |^{\frac{1}{D}}}\) and \(\sigma _1\le C(\varGamma )\frac{1}{|\delta \varOmega |^{\frac{1}{D}}}\) but this last bound is weaker than Corollary 1.
Remark 6
In a Cayley graph with polynomial growth of order \(D\ge 2\), for a sequence \(\{\varOmega _n\}_{n\in \mathbb {N}}\) of finite subsets satisfying \(|\varOmega _n| \rightarrow \infty \), we have that \(\sigma _1(\varOmega _n)\) tends to 0 as n tends to infinity.
Remark 7
For graphs with boundary induced by a finite subset of \(\mathbb {Z}^n\), the result of Corollary 2 was recently obtained by Han and Hua (see [12, Corollary 1.4]), who also give an explicit constant.
References
Asma, H., Laurent, M.: Higher order Cheeger inequalities for Steklov eigenvalues. Ann. Sci. Éc. Norm. Super. Preprint (2017). arXiv:1705.08643
Brock, F.: An isoperimetric inequality for eigenvalues of the Stekloff problem. Z. Angew. Math. Mech. 81(1), 69–71 (2001)
Bucur, D., Ferone, V., Nitsch, C., Trombetti, C.: Weinstock inequality in higher dimensions. J. Differ. Geom. Preprint. arXiv:1710.04587 (2017)
Colbois, B., El Soufi, A., Girouard, A.: Isoperimetric control of the Steklov spectrum. J. Funct. Anal. 261(5), 1384–1399 (2011)
Colbois, B., Girouard, A., Raveendran, B.: The Steklov spectrum and coarse discretizations of manifolds with boundary. Pure Appl. Math. Q. 14(2), 357–392 (2018)
Coulhon, T., Saloff-Coste, L.: Isopérimétrie pour les groupes et les variétés. Rev. Mat. Iberoam. 9(2), 293–314 (1993)
de la Harpe, P.: Topics in Geometric Group Theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago (2000)
Eberlein, P.: Geometry of 2-step nilpotent groups with a left invariant metric. II. Ann. Sci. l’Éc. Norm. Supér. Quatr. Sér. 5, 06 (1994)
Étienne, G., de la Pierre, H.: Espaces métriques hyperboliques. In: Gromov, M. (ed) Sur les groupes hyperboliques d’après (Bern, 1988), Progress in Mathematics, , vol. 83, pp 27–45. Birkhäuser Boston, Boston (1990)
Girouard, A., Polterovich, I.: Spectral geometry of the Steklov problem (survey article). J. Spectr. Theory 7(2), 321–359 (2017)
Gromov, M.: Groups of polynomial growth and expanding maps. Inst. Hautes Études Sci. Publ. Math. 53, 53–73 (1981)
Hua, B., Han, W.: Steklov eigenvalue problem on subgraphs of integer lattices (2019). arXiv preprint. arXiv:1902.05831
Hua, B., Huang, Y., Wang, Z.: First eigenvalue estimates of Dirichlet-to-Neumann operators on graphs. Calc. Var. Partial Differ. Equ. 56(6), 21 (2017). Article 178
Perrin, H.: Lower bounds for the first eigenvalue of the Steklov problem on graphs. Calc. Var. Partial Differ. Equ. 58(2), 12 (2019). Article 67
Raghunathan,M.S.: Discrete Subgroups of Lie Groups. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 68. Springer, New York (1972)
Weinstock, R.: Inequalities for a classical eigenvalue problem. J. Ration. Mech. Anal. 3, 745–753 (1954)
Acknowledgements
I would like to thank the anonymous referee for the helpful comments and suggestions to improve the manuscript.
Funding
Open Access funding provided by University of Neuchâtel
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
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
Perrin, H. Isoperimetric Upper Bound for the First Eigenvalue of Discrete Steklov Problems. J Geom Anal 31, 8144–8155 (2021). https://doi.org/10.1007/s12220-020-00572-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-020-00572-2