Let f:Z2→[0,1] be a function such that for any integers x and y,
f(x,y)=2f(x−1,y)+f(x,y−1).
We will prove that the only functions satisfying this condition are constant functions.
First, we use induction on n to show that
f(x,y)=2nf(x−n,y)+(1n)f(x−n+1,y−1)+⋯+(1n)f(x−1,y−n+1)+f(x,y−n).
Next, consider the function f(x−1,y+1):
f(x−1,y+1)=2nf(x−1−n,y+1)+(1n)f(x−n,y)+⋯+(1n)f(x−2,y−n+2)+f(x−1,y+1−n).
Subtracting these two expressions, we get:
2n(f(x,y)−f(x−1,y+1))=f(x−1−n,y+1)+(1−(1n))f(x−n,y)+((1n)−(2n))f(x−n+1,y−1)+⋯+((1n)−1)f(x−1,y+1−n)+f(x,y−n).
Since f(x,y)∈[0,1], the right-hand side is bounded by (⌊2n⌋n). Thus,
2n(f(x,y)−f(x−1,y+1))≤(⌊2n⌋n).
For large n, this inequality becomes impossible because 2n grows exponentially while (⌊2n⌋n) grows polynomially. Therefore, we must have f(x,y)=f(x−1,y+1).
From the initial equation, it follows that f(x,y)=f(x−n,y)=f(x,y−n) for all n. Hence, f(x,y) must be constant for all (x,y)∈Z2.
Thus, the only functions f:Z2→[0,1] that satisfy the given condition are constant functions. Therefore, the answer is:
f(x,y)=C for some constant C∈[0,1].