# Liouville property in Z^d [closed]

It is well known that $\mathbb{Z}^d$ has Liouville property, i. e. every bounded harmonic function on this graph is constant.

(harmonic means that the value of $f$ in a point $x$ is equal to the average of $f$ over neighbours of $x$ in the lattice $\mathbb{Z}^d$).

What are the nicest/shortest/most ingenious proofs of this fact that you know?

-

## closed as too localized by Gjergji Zaimi, Wadim Zudilin, Steve Huntsman, Mark Sapir, Willie WongJan 17 '11 at 1:41

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

This is almost a contest problem. Actually it has appeared in contests :) I think artofproblemsolving would be a better forum for your question. – Gjergji Zaimi Jan 13 '11 at 12:52
I disagree - although there are completely elementary and short proofs of this fact, there are also more sophisticated ones that illustrate important mathematical techniques or results (e. g. Krein-Milman theorem, Markov chains). – Michal Kotowski Jan 13 '11 at 13:13
There are at least 5 proofs in the link. The only additional thing requested in your question is which one is one's favorite proof. You haven't really explained how that is of any use to you or anyone else. artofproblemsolving.com/Forum/… – Gjergji Zaimi Jan 13 '11 at 13:18
So, if you know several (elementary) proofs, what do you ask?! And what's your motivation to ask? (This could be curiosity, of course.) – Wadim Zudilin Jan 13 '11 at 13:19
I wonder wether there is an elementary proof for functions bounded from belov (a priori not from above). – Fedor Petrov Jan 13 '11 at 15:40

If one wants to use more machinery from probability theory, the Hewitt-Savage 0-1 law implies that the tail $\sigma$-field $\mathcal{T}$ associated with the SRW on $\mathbb{Z}^d$ is trivial. But the tail $\sigma$-field is a superset of the 'invariant' sigma field $\mathcal{I} := \{F\in\mathcal{F}:F\circ \theta_n = F \text{ for all }n\}$, and the invariant sigma field being $\mathbb{P}^x$-trivial for all $x$ is equivalent to the graph having the Liouville property.