Boundary limit of discrete Dirichlet potentials (Q760542)

Let \(\{\) X,Y,K\(\}\) be a connected, locally finite graph with no self- loop, where X and Y are countable sets of nodes and arcs respectively and K is the node-arc incidence function. The authors work with the network \(N=\{X,Y,K,r\}\), where r is a positive function on Y. Let L(X) be the set of all real functions on X and let \(L_ 0(X)\) be the set of all such functions with finite support. For \(u\in L(X)\) and \(1<p<\infty\), the Dirichlet integral \(D_ p(u)\) is defined to be \(\sum_{y\in Y}(r(y))^{1-p}| \sum_{x\in X}K(x,y)u(x)|^ p;\) there is a corresponding definition for \(p=\infty\). A norm \(\|.\|_ p\), closely related to \(D_ p(u)\), is defined on the space \({\mathcal D}^{(p)}(N)=\{u\in L(X):\quad D_ p(u)<\infty \},\) and (\({\mathcal D}^{(p)}(N),\|.\|_ p)\) is a Banach space. An element of this space which lies in the closure of \(L_ 0(X)\) is called a Dirichlet potential of order p. The main result is analogous to a result in classical potential theory and shows that if u is such a Dirichlet potential, then the set of all paths along which u(x) does not tend to 0 as x tends to the ideal boundary \(\infty\) of N is small in some sense.