An \(L^p\)-comparison, \(p\in (1,\infty)\), on the finite differences of a discrete harmonic function at the boundary of a discrete box (Q2118837)

This paper formulates and proves a discrete analogue of a classical result in the continuum setting which states that the tangential and normal component of the gradient of a harmonic function on the boundary of a domain are comparable by means of the \(L^p\)-norms, \(p\in (1,\infty)\), up to multiplicative constants that depend only on \(d,p\). Such discrete version is proved in the context of the finite differences of a discrete harmonic function at the boundary of a discrete box on the \(d\)-dimensional lattice with multiplicative constants that do not depend on the size of the box.