Multiplication operators on the energy space

This paper studies the "energy space" $\mathcal{H}_{\mathcal{E}}$ (the Hilbert space of functions of finite energy, aka the Dirichlet-finite functions) on an infinite network (weighted connected graph), from the point of view of the multiplication operators $M_f$ associated to functions $f$ on the network. We show that the multiplication operators $M_f$ are not Hermitian unless $f$ is constant, and compute the adjoint $M_f^\star$ in terms of a reproducing kernel for $\mathcal{H}_{\mathcal{E}}$. A characterization of the bounded multiplication operators is given in terms of positive semidefinite functions, and we give some conditions on $f$ which ensure $M_f$ is bounded. Examples show that it is not sufficient that $f$ be bounded or have finite energy. Conditions for the boundedness of $M_f$ are also expressed in terms of the behavior of the simple random walk on the network. We also consider the bounded elements of $\mathcal{H}_{\mathcal{E}}$ and the (possibly unbounded) multiplication operators corresponding to them. In a previous paper, the authors used functional integration to construct a type of boundary for infinite networks. The boundary is described here in terms of a certain subalgebra of these multiplication operators, and is shown to embed into the Gel'fand space of that subalgebra. In the case when the only harmonic functions of finite energy are constant, we show that the Gel'fand space is the 1-point compactification of the underlying network.

[1]  Erin P. J. Pearse,et al.  Operator theory of electrical resistance networks , 2008, 0806.3881.

[2]  W. Stinespring Positive functions on *-algebras , 1955 .

[3]  S. Salimi,et al.  Continuous-time quantum walks on semi-regular spidernet graphs via quantum probability theory , 2009, Quantum Inf. Process..

[4]  W. Arveson An Invitation To C*-Algebras , 1976 .

[5]  Fan Chung,et al.  Spectral Graph Theory , 1996 .

[6]  Heat kernels on metric graphs and a Trace Formula , 2007, math-ph/0701009.

[7]  Erin P. J. Pearse,et al.  Resistance Boundaries of Infinite Networks , 2009, 0909.1518.

[8]  Erin P. J. Pearse,et al.  Gel'fand triples and boundaries of innite networks , 2009, 0906.2745.

[9]  Erin P. J. Pearse,et al.  A Hilbert Space Approach to Effective Resistance Metric , 2009, 0906.2535.

[10]  Simone Severini,et al.  A Note on Observables for Counting Trails and Paths in Graphs , 2009, J. Math. Model. Algorithms.

[11]  Laplacians on Metric Graphs: Eigenvalues, Resolvents and Semigroups , 2006, math-ph/0601041.

[12]  Erin P. J. Pearse,et al.  A discrete Gauss-Green identity for unbounded Laplace operators, and the transience of random walks , 2009, 0906.1586.

[13]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[14]  A. B. Dieker Interlacings for Random Walks on Weighted Graphs and the Interchange Process , 2010, SIAM J. Discret. Math..

[15]  Erin P. J. Pearse,et al.  Spectral reciprocity and matrix representations of unbounded operators , 2009, 0911.0185.