A note on the surjectivity of operators on vector bundles over discrete spaces

TL;DR

This paper provides a concise proof of a criterion for solvability of linear equations in infinite variables and applies it to analyze the surjectivity of magnetic Schrödinger operators on bundles over graphs.

Contribution

It introduces a simplified proof of Eidelheit's criterion and applies it to the study of operator surjectivity on discrete space bundles.

Findings

Established a criterion for solvability in infinite-dimensional linear equations.

Applied the criterion to magnetic Schrödinger operators on graph bundles.

Provided conditions for operator surjectivity in discrete settings.

Abstract

In this note we give a short and self-contained proof for a criterion of Eidelheit on the solvability of linear equations in infinitely many variables. We use this criterion to study the surjectivity of magnetic Schr\"odinger operators on bundles over graphs.

Equations

$$\sum _{m=1}^{\infty }{a}_{nm}{\xi }_m={\eta }_n,n\in \mathbb{N}.$$

$$({\xi }_n)\mapsto (\sum _{m=1}^{\infty }{a}_{nm}{\xi }_m).$$

$$\Gamma (X;F):=\prod _{x\in X}{F}_x=\{f:X\to \underset{x\in X}{⨆}{F}_x\mid f(x)\in F_x\text{ for all }x\in X\}$$

$${\Gamma }_c(X;F):=\{f\in \Gamma (X;F)\mid \text{ there exists a finite }K\subseteq X\text{ such that }f{|}_{X\setminus K}=0\}.$$

$$p_K:\Gamma (X;F)\to [0,\infty ),p_K(f)=\sum _{x\in K}\Vert f(x){\Vert }_x,K\subseteq X\text{ finite}.$$

$$A^{\prime }\phi (f)=\phi (Af),f\in \Gamma (X;F),\phi \in {\Gamma }_c(X;F^{\prime }).$$

$$\{y\in V\mid b(x,y)>0\}$$

$$q_V:C_c(X)\to \mathbb{R},q_V(f)=\frac{1}{2}\sum _{x,y\in X}b(x,y)|f(x)-f(y){|}^2+\sum _{x\in X}|f(x){|}^{2}V(x).$$

$$D(\mathcal{M}):=\{f\in \Gamma (X;F)\mid \sum _{y\in X}b(x,y)\Vert f(y){\Vert }_y<\infty \text{ for all }x\in X\},$$

$$\mathcal{M}f(x):=\sum _{y\in X}b(x,y)(f(x)-{\Phi }_{xy}f(y))+W(x)f(x).$$

$$D(\mathcal{L})=\{f\in C(X)\mid \sum _{y\in X}b(x,y)|f(y)|<\infty \text{ for all }x\in X\}$$

$$\mathcal{L}f(x)=\sum _{y\in X}b(x,y)(f(x)-f(y))+V(x)f(x).$$

$$U_K:=\{f\in \Gamma (X;F)\mid p_K(f)\le 1\}.$$

$$\overline{A{U}_K}\supseteq \epsilon U_{K^{\prime }}.$$

$$A\Gamma (X;F)=\bigcup _{n\in \mathbb{N}}nA{U}_K\supseteq \bigcup _{n\in \mathbb{N}}n{\epsilon }^{\prime }{U}_{K^{\prime }}=\Gamma (X;F).$$

$${\Gamma }_c(X;F^{\prime })\to \Gamma (X;F{)}^{\prime },\phi \mapsto (\phi ,\cdot )$$

$$(\phi ,f)=\sum _{x\in X}(\phi (x),f(x){)}_x,f\in \Gamma (X;F),$$

$$M^{\circ }=\{\phi \in {\Gamma }_c(X;F^{\prime })\mid |(\phi ,f)|\le 1\text{ for all }f\in M\}$$

$$N^{\circ }=\{f\in \Gamma (X;F)\mid |(\phi ,f)|\le 1\text{ for all }\phi \in N\}.$$

$$\overline{M}=(M^{\circ }{)}^{\circ },$$

$$\overline{A(U_K)}\supseteq \epsilon U_{K^{\prime }}.$$

$$\overline{A{U}_K}$$

$$=\{f\in \Gamma (X;F)\mid |(\phi ,f)|\le 1\text{ for all }\phi \text{ s.t. }|(A^{\prime }\phi ,g)|\le 1\text{ for all }g\in U_K\}.$$

$$|(A^{\prime }\phi ,g)|\le 1\text{ for all }g\in U_K$$

$$\mathrm{supp}{A}^{\prime }\phi \subseteq K\text{ and }\underset{x\in K}{\max }\Vert A^{\prime }\phi (x){\Vert }_{F_x^{\prime }}\le 1.$$

$$V:=\{\phi \in {\Gamma }_c(X;F^{\prime })\mid \mathrm{supp}{A}^{\prime }\phi \subseteq K\}.$$

$$\Vert \phi {\Vert }_d:=\underset{x\in X}{\max }\Vert \phi (x){\Vert }_{F_x^{\prime }}.$$

$$\{\phi \in {\Gamma }_c(X;F^{\prime })\mid \mathrm{supp}{A}^{\prime }\phi \subseteq K\text{ and }\Vert \phi {\Vert }_d\le 1\}=\{\phi \in V\mid \Vert A^{\prime }\phi {\Vert }_d\le 1\}$$

$$\overline{A{U}_K}=\{f\in \Gamma (X;F)\mid |(\phi ,f)|\le 1\text{ for all }\phi \in V\text{ with }\Vert A^{\prime }\phi {\Vert }_d\le 1\}.$$

$$A(U_K)\supseteq \epsilon U_{K^{\prime }}.$$

$$\overline{A(U_K)}\supseteq {\epsilon }^{\prime }{U}_{K^{\prime }}.$$

Full text

1. Introduction

Given a double sequence $(a_{nm})$ of complex numbers (or of linear operators) it is a fundamental question for which $(\eta_{n})$ there exists $(\xi_{n})$ that solves the infinite system of linear equations

[TABLE]

For continuous linear functionals $(a_{nm})$ on Fréchet spaces a classical result of Eidelheit [5] characterizes the solvability of this system of equations for all $(\eta_{n})$. In other words it provides a characterization for the surjectivity of the map

[TABLE]

The proof of Eidelheit’s result is based on a general surjectivity criterion for linear operators between Fréchet spaces due to Orlicz and Mazur [12, 13]. We refer to [14] for a presentation of this classical result with modern notation and terminology, which basically follows Eidelheit’s original arguments.

This note has two purposes: We give a short functional analytic proof for a special case of Eidelheit’s theorem, which does not use the previously mentioned surjectivity criterion for operators on Fréchet spaces. More precisely, we consider the situation when $(a_{nm})$ is a sequence of linear operators between finite dimensional vector spaces with finite hopping range (that is for each $n\in{\mathbb{N}}$ we assume $a_{nm}=0$ for all but finitely many $m$), see Theorem 2.1. Secondly, we apply the theorem to obtain a criterion for the surjectivity of magnetic Schrödinger operators on bundles over graphs, see Theorem 2.2. A particular consequence of our presentation is a short and self-contained proof for the surjectivity of the (weighted) graph Laplacian of an infinite connected locally finite graph, which uses the bipolar theorem as the only nontrivial ingredient from functional analysis.

The surjectivity of graph Laplacians has recently received some attention. Based on surjectivity results for linear cellular automata from [3], the surjectivity of the graph Laplacian was first established for Cayley graphs of finitely generated infinite amenable groups in [2] and then extended to arbitrary connected locally finite infinite graphs in [4]. The proofs in these papers are based on a Mittag-Leffler argument, which is well known to have applications in all kinds of surjectivity problems, see e.g. [18] and references therein. With the same arguments a version of Eidelheit’s theorem for linear cellular automata was proven in [17]. There it is called a ’Garden of Eden theorem’111This comes from the observation that initial states which are not in the image of a given cellular automaton can never be attained after iterating it. A garden of Eden theorem is then a theorem that provides criteria for the non-existence of such states, that is, criteria for the surjectivity of the automaton.. It seems that the authors of the previously mentioned papers were not aware of Eidelheit’s theorem and it was only noted in [8] that Eidelheit’s theorem can be applied to obtain the surjectivity of graph Laplacians and other discrete operators that satisfy a pointwise maximum principle.

As mentioned above, we prove Eidelheit’s surjectivity criterion for finite hopping range operators on finite-dimensional vector bundles over infinite discrete set. It includes the result for linear cellular automata from [17] but can also be applied to magnetic Schrödinger operators on bundles, which were recently introduced in [6]. Our result for magnetic Schrödinger operators (Theorem 2.2) contains the aforementioned results for graph Laplacians and discrete Schrödinger operators (graph Laplacian plus real potential). Instead of a pointwise maximum principle as in [8] we assume the nonnegativity of a certain quadratic form associated with the magnetic Schrödinger operator. For scalar discrete Schrödinger operators we give a characterization of the pointwise maximum principle and, in doing so, show that our result covers situations where the maximum principle fails.

This paper is organized as follows. In Section 2 we introduce the model and discuss the main results. In Section 3 we proof Theorem 2.1 and in Section 4 we prove Theorem 2.2 and discuss the maximum principle. In Section 5 we give several examples that show that we cannot drop any of the assumptions in Theorem 2.2.

Parts of this paper are based on the first named authors master’s thesis.

Acknowledgements: The authors are grateful to thank Daniel Lenz for pointing out the problem to them. Moreover, M.S. thanks Jürgen Voigt for an interesting discussion on closed range theorems.

2. Setup and main results

Let $X\neq\emptyset$ be a countable set. A vector bundle over $X$ is a family $F=(F_{x})_{x\in X}$ of finite-dimensional complex vector spaces. The corresponding space of vector fields is

[TABLE]

and the subspace of finitely supported vector fields is given by

[TABLE]

For each $x\in X$ we equip $F_{x}$ with the unique vector space topology on it and for simplicity we fix a complete norm $\|\cdot\|_{x}$ that induces this topology. We equip $\Gamma(X;F)$ with the product topology of the family $F=(F_{x})_{x\in X}$. It coincides with the locally convex topology generated by the family of seminorms

[TABLE]

It is readily verified that the continuous dual space of $\Gamma(X;F)$ is isomorphic to $\Gamma_{c}(X;F^{\prime})$, where $F^{\prime}=(F_{x}^{\prime})_{x\in X}$ is the dual vector bundle that consists of the dual spaces of the $F_{x}$, see also Section 3.

A linear operator $A\colon\Gamma(X;F)\to\Gamma(X;F)$ is continuous if and only if for each $x\in X$ there exists a finite subset $K\subseteq X$ such that $Af(x)$ only depends on $f|_{K}$. Operators with the latter properties are said to have finite hopping range. In this case, its dual operator $A^{\prime}\colon\Gamma_{c}(X;F^{\prime})\to\Gamma_{c}(X;F^{\prime})$ is defined by

[TABLE]

As mentioned above, it is one of the goals of this paper to give a short and self-contained functional analytic proof for the following result. It is a generalization of the corresponding result for linear maps between finite-dimensional spaces.

Theorem 2.1**.**

Let $A\colon\Gamma(X;F)\to\Gamma(X;F)$ be a continuous linear operator. The following assertions are equivalent.

• (i)

$A$* is surjective.*

• (ii)

The dual operator $A^{\prime}\colon\Gamma_{c}(X;F^{\prime})\to\Gamma_{c}(X;F^{\prime})$ is injective.

Remark**.**

Since the fibers of the bundle $F$ are finite-dimensional vector spaces and $X$ is countable, $\Gamma(X;F)$ is isomorphic to the space of all complex valued sequences. For continuous operators (finite hopping range operators) on this space it was noted in [8] that the previous theorem can be deduced from Eidelheit’s theorem. The case when all fibers of $F$ are equal is treated in [17] with a Mittag-Leffler argument.

The second goal of this paper is to apply the previous theorem to graph Laplacians and, more generally, discrete magnetic Schrödinger operators. This is discussed next.

A weighted graph is a pair $(X,b)$, where $X$ is a countable set and $b\colon X\times X\to[0,\infty)$ is a map with the properties

1. (b0)

$b(x,x)=0$ for all $x\in X$, 2. (b1)

$b(x,y)=b(y,x)$ for all $x,y\in X$, 3. (b2)

${\rm deg}(x):=\sum_{y\in X}b(x,y)<\infty$ for all $x\in X$.

The elements of $X$ are then interpreted as vertices of a graph; two such vertices $x,y\in X$ are connected by an edge if $b(x,y)>0$, in which case we write $x\sim y$. If, additionally, for every $x\in X$ the set of neighbors of $x$

[TABLE]

is finite, then $b$ is called locally finite. For $n\in{\mathbb{N}}$ a path of length $(n-1)$ is a finite sequence of vertices $x_{1},\ldots,x_{n}$ such that for all $i=1,\ldots,n-1$ we have $x_{i}\sim x_{i+1}$. Two vertices $x,y\in X$ are said to be connected by a path if they are contained in a path. In this case, the combinatorial distance $d(x,y)$ between $x$ and $y$ is the length of the shortest path containing $x$ and $y$. Being connected by a path is an equivalence relation on $X$ and its equivalence classes are called connected components.

We write $C(X)$ for the complex-valued functions on $X$ and $C_{c}(X)$ for the subspace of functions of finite support. For a given graph $(X,b)$ and a potential $V\colon X\to\mathbb{R}$ we define the quadratic form $q_{V}:=q_{b,V}$ by

[TABLE]

We say that $q_{V}$ is nonnegative if $q_{V}(f)\geq 0$ for all $f\in C_{c}(X)$.

We call a vector bundle $F=(F_{x})_{x\in X}$ Hermitian if for all $x\in X$ the space $F_{x}$ is equipped with a complete inner product $\langle\cdot,\cdot\rangle_{x}$. In this case, a connection on $F$ is a family of unitary maps $\Phi=(\Phi_{xy}\colon F_{y}\to F_{x})_{x,y\in X}$ with the property that $\Phi_{yx}=\Phi_{xy}^{-1}$ for all $x,y\in X$. A self-adjoint bundle endomorphism on $F$ is a family of self-adjoint linear maps $W=(W(x)\colon F_{x}\to F_{x})_{x\in X}$ and for $x\in X$ we denote by ${W_{\rm min}}(x)$ the smallest eigenvalue of $W(x)$ and by ${W_{\rm max}}(x)$ the largest eigenvalue of $W(x)$.

Given a graph $(X,b)$, a Hermitian vector bundle $F$, a connection $\Phi$ and a bundle endomorphism $W$, the domain of the associated magnetic Schrödinger operator ${\mathcal{M}}={\mathcal{M}}_{b,\Phi,W}$ on $\Gamma(X;F)$ is

[TABLE]

on which it acts by

[TABLE]

If $(X,b)$ is locally finite, then $D({\mathcal{M}})=\Gamma(X;F)$ and ${\mathcal{M}}$ is continuous as it has finite hopping range.

In the case when $F=({\mathbb{C}})$ (the trivial line bundle) and $(\Phi_{xy})=({\rm Id}_{\mathbb{C}})$, we can identify $\Gamma(X;F)$ with $C(X)$ and $\Gamma_{c}(X;F^{\prime})$ with $C_{c}(X)$ and any self-adjoint bundle endomorphism on $\Gamma(X;F)$ acts as multiplication on $C(X)$ by a potential $V\colon X\to\mathbb{R}$. In this case, the operator ${\mathcal{M}}$ is the graph Laplacian (plus potential $V$), which we denote by $\mathcal{L}=\mathcal{L}_{V}$. It acts on its domain

[TABLE]

by

[TABLE]

For magnetic Schrödinger operators on graphs our main theorem reads as follows.

Theorem 2.2**.**

Let $(X,b)$ be a weighted graph, let $F$ be a Hermitian vector bundle over $X$ and let $W\colon F\to F$ be a self-adjoint bundle endomorphism. Furthermore, assume the following three conditions.

1. (1)

$(X,b)$* is locally finite.* 2. (2)

All connected components of $(X,b)$ are infinite. 3. (3)

The quadratic form $q_{W_{\rm min}}$ is nonnegative or the quadratic form $q_{-{W_{\rm max}}-2{\rm deg}}$ is nonnegative.

Then the operator ${\mathcal{M}}$ is surjective.

Remark**.**

1. (a)

For the graph Laplacian without potential this result is contained in [4]. Moreover, [8] contains the surjectivity of ${\mathcal{L}}_{V}$ (the scalar case) under the condition that ${\mathcal{L}}_{V}$ satisfies a pointwise maximum principle. This maximum principle is equivalent to the fact that at any $x\in X$ we have either $V(x)\geq 0$ or $V(x)+2{\rm deg}(x)\leq 0$, see Proposition 4.4. The nonnegativity of $q_{V}$ is of course satisfied if $V\geq 0$ but this is not necessary. If $q_{0}$ satisfies some Hardy inequality, see e.g. the discussion in [10, 11], or the graph has positive Cheeger constant, see e.g. [1], then also certain $V$ without a fixed sign induce a nonnegative form $q_{V}$. In this case, we can choose $V$ without fixed sign that also satisfies $V+2{\rm deg}>0$. This shows that for Schrödinger operators our theorem can treat potentials that violate the pointwise maximum principle of [8]. 2. (b)

The local finiteness condition ensures the continuity of the operator ${\mathcal{M}}$ while the other two conditions guarantee that its dual is injective. We shall see that the previous theorem is optimal in the sense that there are counterexamples when dropping any of the assumptions. However, we also give an example that shows that neither the nonnegativity of $q_{V}$ nor of $q_{-V-2{\rm deg}}$ is necessary for the surjectivity of ${\mathcal{L}}_{V}$, see Section 5.

3. Proof of Theorem 2.1

Let us sketch the proof of Theorem 2.1. In general it is a consequence of the Hahn-Banach theorem that the surjectivity of a continuous linear operator between locally convex vector spaces implies that its dual operator is injective. Since the dual space of $\Gamma(X;F)$ is given by $\Gamma_{c}(X;F^{\prime})$, in our situation this implication can be verified explicitly without using the Hahn-Banach theorem. Hence, it suffices to prove that the injectivity of $A^{\prime}$ implies the surjectivity of $A$. For $K\subseteq X$ finite we set

[TABLE]

We will show that if $A^{\prime}$ is injective, then for every finite $\emptyset\neq K\subseteq X$ there exists $\varepsilon>0$ and finite $\emptyset\neq K^{\prime}\subseteq X$ such that

[TABLE]

With a standard argument we remove the closure in the above inclusion such that for some $0<\varepsilon^{\prime}<\varepsilon$ we have $AU_{K}\supseteq\varepsilon^{\prime}U_{K^{\prime}}$ . From this we deduce surjectivity via

[TABLE]

Before giving the details we recall some elementary facts about polar sets. First we note that an isomorphism between the continuous dual of $\Gamma(X;F)$ and $\Gamma_{c}(X;F^{\prime})$ is given as follows. We denote by $(\cdot,\cdot)_{x}\colon F_{x}^{\prime}\times F_{x}\to\mathbb{C}$ the dual pairing between $F_{x}^{\prime}$ and $F_{x}$, that is $(\varphi,f)_{x}:=\varphi(f)$ for $\varphi\in F^{\prime}_{x}$ and $f\in F_{x}$. Then the map

[TABLE]

with

[TABLE]

is a vector space isomorphism and we tacitly identify $\Gamma_{c}(X;F^{\prime})$ with $\Gamma(X;F)^{\prime}$ via this map.

Recall that the polar sets of $M\subseteq\Gamma(X;F)$ and of $N\subseteq\Gamma(X;F)^{\prime}=\Gamma_{c}(X;F^{\prime})$ are defined by

[TABLE]

and

[TABLE]

The bipolar theorem states that for any convex $M\subseteq\Gamma(X;F)$ we have

[TABLE]

where $\overline{M}$ denotes the closure of $M$ in $\Gamma(X;F)$. We can now prove the main lemma for the surjectivity of $A$.

Lemma 3.1**.**

Let $A^{\prime}$ be injective. For every finite $\emptyset\neq K\subseteq X$ there exists $\varepsilon>0$ and $\emptyset\neq K^{\prime}\subseteq X$ finite such that

[TABLE]

Proof.

The bipolar theorem implies

[TABLE]

By the definition of the dual pairing between $\Gamma_{c}(X;F^{\prime})$ and $\Gamma(X;F)$ we have

[TABLE]

if and only if

[TABLE]

Here, $\|\psi\|_{F_{x}^{\prime}}$ denotes the operator norm of the functional $\psi\in F_{x}^{\prime}$.

We consider the vector space

[TABLE]

Since $A^{\prime}$ is injective, $V$ is finite-dimensional and $A^{\prime}|_{V}\colon V\to A^{\prime}(V)$ is a vector space isomorphism. In particular, there exists a finite $K^{\prime}\subseteq X$ such that ${\mathrm{supp}\,}\varphi\subseteq K^{\prime}$ for all $\varphi\in V$ (e.g. choose a finite basis $(\varphi_{i})_{i\in I}$ of $V$ and set $K^{\prime}=\cup_{i}{\rm supp}\,\varphi_{i}$).

We equip the vector space $\Gamma_{c}(X;F^{\prime})$ (and all of its subspaces) with the norm $\|\cdot\|_{d}$ defined by

[TABLE]

Since linear operators on finite dimensional normed spaces are always continuous, the inverse $(A^{\prime}|_{V})^{-1}:A^{\prime}(V)\to V$ is continuous with respect to this norm. Hence, there is some constant $C>0$ such that the $\|\cdot\|_{d}$ norm of every element in the set

[TABLE]

is bounded by $C$.

The discussion at the beginning of the proof shows

[TABLE]

Since $\|\varphi\|_{d}\leq C$ and ${\rm supp}\,\varphi\subseteq K^{\prime}$ whenever $\varphi\in V$ and $\|A^{\prime}\varphi\|_{d}\leq 1$, we obtain that $f\in\Gamma(X;F)$ with $p_{K^{\prime}}(f)\leq C^{-1}$ satisfies $f\in\overline{AU_{K}}$. This finishes the proof. ∎

Remark**.**

This lemma is the only place in the proof of Theorem 2.1 where we used the concrete structure of the space $\Gamma(X;F)$. It is the main step in the proof of Theorem 2.1.

As already mentioned above, we can remove the closure in the previous lemma. This is based on a standard argument for mappings between complete metrizable topological vector spaces. We include a proof for the convenience of the reader, see also [14, Lemma 3.9].

Lemma 3.2**.**

Let $A^{\prime}$ be injective. For every finite $\emptyset\neq K\subseteq X$ there exists $\varepsilon>0$ and $\emptyset\neq K^{\prime}\subseteq X$ finite such that

[TABLE]

Proof.

Let $\emptyset\neq K\subseteq X$ finite and let $\varepsilon^{\prime}>0$ and $\emptyset\neq K^{\prime}\subseteq X$ finite such that

[TABLE]

We choose an increasing sequence of finite subsets $(K_{n})$ of $X$ with $K_{1}=K$ and $\cup_{n}K_{n}=X$. Lemma 3.1 yields that there exists an increasing sequence of finite sets $(K^{\prime}_{n})$ with $K^{\prime}_{1}=K^{\prime}$, $\cup_{n}K_{n}^{\prime}=X$ and $L_{n}\geq 1$ such that

[TABLE]

Rescaling this inclusion shows that for every $n\in{\mathbb{N}}$, every $\gamma,\delta>0$ and every $h\in\Gamma(X;F)$ there exists $g\in\Gamma(X;F)$ with

[TABLE]

Note that for $h$ with $p_{K^{\prime}_{n}}(h)\neq 0$ the $\gamma$ in the first inequality can be omitted. Let $f\in 1/2U_{K^{\prime}}$. We construct $g\in 2L_{1}U_{K}$ with $Ag=f$, from which the claim follows with $\varepsilon=1/4L_{1}$.

By applying ($\heartsuit$ ‣ 3) to $n=1$, $h=f\in 1/2U_{K^{\prime}},\gamma=1/2$ and $\delta=L_{1}/(4L_{2})$ we choose $g_{1}$ with $p_{K_{1}}(g_{1})\leq L_{1}$ and $p_{K^{\prime}_{2}}(Ag_{1}-f)\leq\frac{L_{1}}{4L_{2}}$ and construct $(g_{n})$ inductively as follows. Suppose that we have chosen $g_{1},\ldots,g_{n}$ with

[TABLE]

By applying ($\heartsuit$ ‣ 3) to $n+1$, $h=f-A(g_{1}+\ldots+g_{n})$, $\gamma=L_{1}/(2^{n+1}L_{n+1}),\delta=L_{1}/(2^{n+2}L_{n+2})$ we choose $g_{n+1}$ with

[TABLE]

We let $s_{n}:=g_{1}+\ldots+g_{n}$. Since $(K_{n})$ is increasing and covers $X$, it follows from this construction that for every $x\in X$ the sequence $(s_{n}(x))$ is Cauchy in $F_{x}$. Thus, $(s_{n})$ converges in $\Gamma(X;F)$ to some $g$. We obtain

[TABLE]

Moreover, since $(K^{\prime}_{n+1})$ is increasing and covers $X$, for $x\in X$ we conclude

[TABLE]

Note that for the last inequality we used $L_{n+1}\geq 1$. This finishes the proof. ∎

Proof of Theorem 2.1.

With the help of the previous lemma, the proof can be given exactly as sketched at the beginning of this section. ∎

Remark**.**

As already discussed in the introduction there are several ways to prove Theorem 2.1. Yet another functional analytic proof that is not based on Eidelheit’s theorem, but uses further nontrivial results about the Fréchet space $\Gamma(X;F)$, was communicated to us by Jürgen Voigt. Using the structure of $\Gamma(X;F)$ and its dual it is possible to deduce from the closed range theorem [7, Theorem 9.6.3] that all continuous operators on $\Gamma(X;F)$ have closed range. Since injectivity of $A^{\prime}$ yields that the range of $A$ is dense, we also obtain that $A$ is surjective.

4. An application to magnetic Schrödinger operators

In this section we apply the general surjectivity criterion to magnetic Schrödinger operators. We prove Theorem 2.2 and we discuss how the maximum principle from [8] is related to our condition on the nonnegativity of $q_{V}$ in the scalar case. The strategy for the proof of Theorem 2.2 is as follows. Using Theorem 2.1 and the structure of magnetic Schrödinger operators we show that it suffices to verify that ${\mathcal{M}}|_{\Gamma_{c}(X;F)}$ is injective. We establish this injectivity for the graph Laplacian $\mathcal{L}_{W_{\rm min}}$ respectively ${\mathcal{L}}_{-{W_{\rm min}}-2{\rm deg}}$ and then extend it to ${\mathcal{M}}$ by domination.

Let $F$ be a Hermitian vector bundle over $X$. We write $|\cdot|_{x}$ for the norm on $F_{x}$ which is induced by the scalar product $\langle\cdot,\cdot\rangle_{x}$ (which is assumed to be linear in the second variable). In this case we identify $\Gamma(X;F)^{\prime}$ and $\Gamma_{c}(X;F)$. The dual pairing between $\Gamma(X;F)$ and $\Gamma_{c}(X;F)$ is then given by

[TABLE]

For $f\in\Gamma(X;F)$ we denote by $|f|$ the function $|f|\colon X\to{\mathbb{R}},|f|(x)=|f(x)|_{x}$. In what follows $b$ is a graph over $X$, $\Phi$ is a unitary connection on $F$ and $W$ is a self-adjoint bundle endomorphism and we let ${\mathcal{M}}={\mathcal{M}}_{b,\Phi,W}$ the associated magnetic Schrödinger operator.

Lemma 4.1** (Domination).**

For every $\varphi\in\Gamma_{c}(X;F)$ we have

[TABLE]

Proof.

The statement follows from of a discrete Version of Kato’s inequality

[TABLE]

see e.g. [16, Lemma 2.2], combined with Green’s formula

[TABLE]

see e.g. [16, Lemma 2.1]. This finishes the proof. ∎

Lemma 4.2** (Dual operator).**

Let $(X,b)$ be locally finite. Then $\mathcal{M}$ is continuous and the dual operator of $\mathcal{M}$ is given by $\mathcal{M}|_{\Gamma_{c}(X;F)}$. In particular, $\mathcal{M}$ is surjective if and only if $\mathcal{M}|_{\Gamma_{c}(X;F)}$ is injective.

Proof.

Green’s formula, see e.g. [16, Lemma 2.1], implies that for $\varphi,\psi\in\Gamma_{c}(X;F)$ we have

[TABLE]

The local finiteness of $(X,b)$ yields that ${\mathcal{M}}$ is continuous (it has finite hopping range) and ${\mathcal{M}}\Gamma_{c}(X;F)\subseteq\Gamma_{c}(X;F)$. Hence, the above identity shows $(\varphi,{\mathcal{M}}\psi)=({\mathcal{M}}\varphi,\psi)$.

With these observations the ’In particular’-part follows from Theorem 2.1. ∎

Remark**.**

In view of the identification of $\Gamma_{c}(X;F^{\prime})$ with $\Gamma_{c}(X;F)$, a subspace of $\Gamma(X;F)$ we call a continuous operator $A\colon\Gamma(X;F)\to\Gamma(X;F)$ symmetric if its dual operator satisfies $A^{\prime}=A|_{\Gamma_{c}(X;F)}$. In the previous lemma we proved that any magnetic Schrödinger operator is symmetric and it is not hard to prove that any continuous symmetric operator is indeed a magnetic Schrödinger operator.

Lemma 4.3** (Kernel of $q_{V}$).**

Let $V\colon X\to{\mathbb{R}}$. If $q_{V}$ is nonnegative, then for every $h\in C_{c}(X)$ with $q_{V}(h)=0$ the set $\{h\neq 0\}$ is a union of connected components. In particular, if all connected components of $(X,b)$ are infinite, every such $h$ has to vanish.

Proof.

As can easily be seen from the definition of the form $q_{V}$, for any $\varphi\in C_{c}(X)$ we have $q_{V}(|\varphi|)\leq q_{V}(\varphi)$. Since $0\leq q_{V}(|h|)\leq q_{V}(h)=0$, it suffices to consider the case $h\geq 0$. As a first step we show that for any $\varphi\in C_{c}(X)$ the inequality

[TABLE]

holds.

Since $\varphi$ has finite support, there exists a constant $M>0$ such that

[TABLE]

Here $\wedge$ denotes the pointwise minimum of two functions and $\vee$ denotes their pointwise maximum. Using the formula $2(a\wedge b)=a+b-|a-b|$, $a,b\in{\mathbb{R}}$, that $q_{V}$ is a nonnegative quadratic form and $q_{V}(|\psi|)\leq q_{V}(\psi)$, $\psi\in C_{c}(X)$, we obtain

[TABLE]

This inequality combined with a similar argument for $\varphi\vee(-Mh)$ implies Inequality ($\heartsuit$ ‣ 4).

To finish the proof we have to show that for a given $x\in X$ with $h(x)>0$ and a given $y\in X$ that is connected with $x$ we have $h(y)>0$. By induction we can assume that $y$ is a neighbor of $x$, that is, $b(x,y)>0$. Suppose that $h(y)=0$. We write $\delta_{z}$ for the function on $X$ that is $1$ at $z$ and [math] otherwise. For $\alpha>0$ the definition of $q_{V}$, $h(y)=0$ and Inequality ($\heartsuit$ ‣ 4) yield

[TABLE]

Rearranging and dividing by $\alpha>0$ shows $2b(x,y)\leq\alpha q_{V}(\delta_{y})$. Letting $\alpha\to 0+$ yields $b(x,y)=0$, a contradiction. ∎

Remark**.**

The idea for the proof of Inequality ($\heartsuit$ ‣ 4) and its application in the proof of the previous theorem are taken from [15].

Proof of Theorem 2.2.

Obviously we have

[TABLE]

and $(-W-2{\rm deg})_{\rm min}(x)=-{W_{\rm max}}(x)-2{\rm deg}(x)$. Moreover, $-{\mathcal{M}}_{b,\Phi,W}$ is surjective if and only if ${\mathcal{M}}_{b,\Phi,W}$ is surjective. Therefore, it suffices to consider the case that $q_{{W_{\rm min}}}$ is nonnegative.

Since $(X,b)$ is assumed to be locally finite, by Lemma 4.2 it suffices to verify that ${\mathcal{M}}|_{\Gamma_{c}(X;F)}$ is injective. Let $\varphi\in\Gamma_{c}(X;F)$ with ${\mathcal{M}}\varphi=0$. Lemma 4.1 and that $q_{{W_{\rm min}}}$ is nonnegative show

[TABLE]

Since the connected components of $(X,b)$ are assumed to be infinite, we infer $|\varphi|=0$ from Lemma 4.3 and hence $\varphi=0$. This finishes the proof. ∎

We finish this section with the discussion of a pointwise maximum principle in the scalar case. For $x\in X$ and $n\in{\mathbb{N}}_{0}$ we denote by $B_{n}(x)$ the vertices with combinatorial distance less or equal than $n$ from $x$. As in [8] we say that a continuous operator $A\colon C(X)\to C(X)$ satisfies the maximum principle at $x\in X$ if there exists $n\in{\mathbb{N}}$ such that for every $f\in C(X)$ the identities $Af(x)=0$ and

[TABLE]

imply $|f(x)|=|f(y)|$ for all $y\in B_{n}(x)$. Moreover, $A$ is said to satisfy the pointwise maximum principle if it satisfies the maximum principle at every $x\in X$. We obtain the following characterization of the maximum principle for ${\mathcal{L}}_{V}$.

Proposition 4.4**.**

Let $(X,b)$ be locally finite and let $x\in X$. The following assertions are equivalent:

1. (i)

${\mathcal{L}}_{V}$* satisfies the maximum principle at $x$.* 2. (ii)

$V(x)\geq 0$* or $V(x)+2{\rm deg}(x)\leq 0$.*

Before proving this proposition we note the following elementary observation.

Lemma 4.5**.**

Let $(X,b)$ be locally finite, let $f\in C(X)$ nonnegative and let $x\in X$. If $V(x)\geq 0$, then ${\mathcal{L}}_{V}f(x)\leq 0$ and

[TABLE]

imply $f(x)=f(y)$ for all $y\in B_{1}(x)$.

Proof.

The nonnegativity of $f$ and $V(x)\geq 0$ yield

[TABLE]

From this inequality the claim follows immediately. ∎

Proof of Proposition 4.4.

(ii) $\Rightarrow$ (i): If $V(x)\geq 0$ the statement follows directly from the previous lemma as ${\mathcal{L}}_{V}f=0$ implies ${\mathcal{L}}_{V}|f|\leq 0$. For the case $V(x)+2{\rm deg}(x)\leq 0$ we argue as follows. Let $f\in C(X)$ with ${\mathcal{L}}_{V}f(x)=0$ and $|f(x)|=\sup_{y\in B_{1}(x)}|f(y)|$ be given. Without loss of generality we assume $f(x)\geq 0$. The properties of $f$ yield

[TABLE]

With this at hand, the statement follows from Lemma 4.5.

(i) $\Rightarrow$ (ii): Suppose that (ii) does not hold. Then $V(x)<0<V(x)+2{\rm deg}(x)$. For $\beta\in{\mathbb{R}}$ we consider $f_{\beta}\in C(X)$ defined by

[TABLE]

It satisfies

[TABLE]

In particular, for $\beta=(V(x)+{\rm deg}(x))/{\rm deg}(x)$ we have ${\mathcal{L}}_{V}f_{\beta}(x)=0$. The bounds on $V(x)$ yield $|\beta|<1$, so that $|f_{\beta}|$ attains its global maximum at $x$. Hence, $f_{\beta}$ violates the maximum principle at $x$. ∎

With the characterization of the maximum principle we also recover the main result from [8] for the Schrödinger operator ${\mathcal{L}}_{V}$ and make it somewhat more explicit.

Corollary 4.6**.**

If $(X,b)$ is locally finite, all connected components are infinite and for all $x\in X$ either $V(x)\geq 0$ or $V(x)+2{\rm deg}(x)\leq 0$, then ${\mathcal{L}}_{V}$ is surjective.

Proof.

The pointwise maximum principle for ${\mathcal{L}}_{V}$ and that connected components of $(X,b)$ are infinite clearly imply that any $f\in C_{c}(X)$ with ${\mathcal{L}}_{V}f=0$ must vanish. Hence, we can deduce the surjectivity of ${\mathcal{L}}_{V}$ as in the proof of Theorem 2.2. ∎

Remark**.**

1. (a)

The main result of [8] states that a continuous linear operator $A$ on $C(X)$ is surjective if it satisfies the pointwise maximum principle (with respect to a locally finite connected infinite graph). Hence, the previous corollary is the main result of [8] applied to the Schrödinger operator ${\mathcal{L}}_{V}$. For other continuous operators on $C(X)$ the pointwise maximum principle cannot be easily characterized. 2. (b)

As remarked above after Theorem 2.2, our form criterion in Theorem 2.2 can also treat certain $V$ in the regime $V+2{\rm deg}>0>V$, which are not covered by this corollary. However, note that our form criterion does not cover the case when $V(x)\geq 0$ for some $x\in X$ and $V(x)+2{\rm deg}(x)\leq 0$ for some $x\in X$.

5. Examples

In this section we illustrate with several examples that none of the assumptions of Theorem 2.2 can be dropped for inferring surjectivity.

The necessity of infinite connected components can be seen as follows. If $X$ is finite (or $(X,b)$ is locally finite and has at least one finite connected component), the constant functions (the functions that are constant on finite connected components and vanish elsewhere) are finitely supported eigenfunctions to the eigenvalue [math] for the graph Laplacian ${\mathcal{L}}={\mathcal{L}}_{0}$. Hence, on such graphs the Laplacian ${\mathcal{L}}$ can not be surjective.

The following example shows that local finiteness is also essential for surjectivity.

Example 5.1** (Infinite Star).**

Let $X={\mathbb{N}}_{0}$ and let $(b_{n})_{n\in{\mathbb{N}}}$ be a sequence of nonnegative numbers with $\sum_{n}b_{n}<\infty$. We define $b\colon{\mathbb{N}}_{0}\times{\mathbb{N}}_{0}\to[0,\infty)$ by $b(n,0)=b(0,n)=b_{n}$, $n\in{\mathbb{N}}$, and $b(n,m)=0$, otherwise. In this case, we have $D({\mathcal{L}})=\{f\in C({\mathbb{N}}_{0})\mid\sum_{n}b_{n}|f(n)|<\infty\}$.

Now suppose that $g\in D({\mathcal{L}})$ and $f\in C(X)$ satisfy ${\mathcal{L}}g=f$. For $n\in{\mathbb{N}}$ we obtain

[TABLE]

Since $g\in D({\mathcal{L}})$, this implies $f\in\ell^{1}({\mathbb{N}}_{0})$. Moreover, for $n=0$ we get

[TABLE]

Substituting the first identity into the second yields that

[TABLE]

is a necessary condition for $f$ to lie in the image of ${\mathcal{L}}$. It is readily verified that this condition is also sufficient, that is,

[TABLE]

The last example in this section shows that the nonnegativity of $q_{{W_{\rm min}}}$ cannot be dropped in Theorem 2.2. The reason behind this is the existence of finitely supported eigenfunctions on certain locally finite graphs. If $\varphi\in C_{c}(X)$ satisfies ${\mathcal{L}}\varphi=\lambda\varphi$ for some $\lambda>0$, then ${\mathcal{L}}-\lambda={\mathcal{L}}_{-\lambda}$ is not surjective by Lemma 4.2.

Example 5.2**.**

According to the discussion preceding this example, we construct a locally finite graph with infinite connected components that admits finitely supported eigenfunctions for the Laplacian ${\mathcal{L}}={\mathcal{L}}_{0}$. We first consider the following finite graph with standard weights.

b_{1}$$b_{3}$$b_{5}$$b_{6}$$b_{4}$$b_{2}$$a_{1}$$a_{2}$$a_{3}$$a_{4}$$a_{5}$$a_{6}

More precisely, we let $X_{1}=\{a_{1},\ldots,a_{6},b_{1},\ldots,b_{6}\}$ and define $b_{1}\colon X_{1}\times X_{1}\to\{0,1\}$ by $b_{1}(x,y)=1$ if there is an edge between $x$ and $y$ in the picture above, and $b_{1}(x,y)=0$, otherwise. The function $\varphi\colon X_{1}\to{\mathbb{R}}$ given by $\varphi(b_{i})=0$ and $\varphi(a_{i})=(-1)^{i}$, $i=1,\ldots,6,$ satisfies ${\mathcal{L}}^{1}\varphi=6\varphi$, where ${\mathcal{L}}^{1}$ is the Laplacian of the weighted graph $(X_{1},b_{1})$. This is an eigenfunction that is supported on the ’interior’ but not on the ’boundary’ of $(X_{1},b_{1})$.

Next we glue an infinite graph to the vertex $b_{1}$. We let $(X_{2},b_{2})$ be a locally finite graph with infinite connected components and choose $o\in X_{2}$. We define $X:=X_{1}\sqcup X_{2}$ and define $b\colon X\times X\to[0,\infty)$ through $b|_{X_{1}\times X_{1}}=b_{1},b|_{X_{2}\times X_{2}}=b_{2},b(o,b_{1})=b(b_{1},o)=1$ and $b(x,y)=0$, otherwise.

The so constructed graph $(X,b)$ is locally finite and has infinite connected components. If we denote by $\psi$ the function with $\psi=\varphi$ on $X_{1}$ and $\varphi=0$ on $X_{2}$, it is readily verified that ${\mathcal{L}}\psi=6\psi$, where ${\mathcal{L}}$ is the Laplacian of $(X,b)$.

Remark**.**

Note that nonnegativity of $q_{V}$ or $q_{-V-2{\rm deg}}$ is not necessary for the surjectivity of ${\mathcal{L}}_{V}$. There are infinite connected locally finite planar graphs whose Laplacians do not admit finitely supported eigenfunctions, see [9]. In this case, for each $\lambda\in{\mathbb{R}}$ the restriction of the operator ${\mathcal{L}}-\lambda={\mathcal{L}}_{-\lambda}$ to $C_{c}(X)$ is injective and hence ${\mathcal{L}}_{-\lambda}$ is surjective. Moreover, such $\lambda$ can always be chosen such that neither the form $q_{-\lambda}$ nor the form $q_{\lambda-2{\rm deg}}$ are nonnegative. For example, $\lambda$ in the spectrum of the restriction of ${\mathcal{L}}$ to $\ell^{2}(X)$ that do not lie at the edges of the spectrum have this property. We refrain from giving details.