Let be the voltage with , , and harmonic values at every other vertex. For any other admissible , write , where . Its discrete Dirichlet energy expands as
Discrete summation by parts turns the cross term into
because is harmonic in the interior and vanishes at the boundary. Thus minimizes the energy. Under a unit voltage drop, its energy equals the total current from to , namely the effective conductance . Therefore the Dirichlet principle gives
Let the square contain the Euclidean ball of radius , set , and define the logarithmic cutoff
Then and on the boundary. On an edge at radius comparable to , the mean value theorem gives . There are edges in the annulus of radius , hence the discrete Dirichlet energy satisfies
This logarithmic cutoff is the discrete manifestation of recurrence in two dimensions.