On three balls theorem for discrete harmonic functions (Q476375)

The three balls theorem, a quantitative statement with many applications, holds for holomorphic functions in an annulus and can also be used for more delicate propagation of smallness results for solutions of elliptic equations with analytic coefficients. In this work the authors consider the case of discrete harmonic functions on the lattice. They provide an elementary argument to prove the theorem for continuous harmonic functions in \(\mathbb R^n\) which can be adapted to the case of discrete harmonic functions. The discrete analog of the three balls theorem obtained is mesh dependent. The term which contains the dependence on the lattice mesh goes to zero as the mesh size does so. It is also shown that any discrete harmonic function on a cube coincides with a discrete harmonic polynomial on this cube.