SOBRE LAS FUNCIONES ARMONICAS

ACOTADAS EN Z2
ALEJANDRO KOCSARD

Problema: Diremos que una fun ion

n; m 2 Z se veri a:

! R es armoni a

: Z2

si para todos

+ 1; n) + f (m; n + 1) + f (m 1; n) + f (m; n 1)
:
4
Probar que toda fun ion armoni a a otada es ne esariamente onstante.
(

)=

f m; n

f m

Solu ion: Sea la fun ion

: Z2 ! R denida por

(
) := f (m + 1; n); 8 m; n 2 Z:
g es laramente arm
oni a. Por otra parte, ualquier ombina ion lineal de fun iones armoni as es armoni a. Luego, la fun ion h := f g es tambien armoni a.
Del he ho de que f es a otada, y por ende g tambien, se sigue que
g m; n

:= sup

)j < 1:

h m; n

2Z

m;n

Si S = 0 y f no es onstante, enton es existira r 6= 0 tal que:

f (m; n) = f (0; 0) + nr;
m; n 2 Z:
Y de esta manera, f no es a otada, lo ual ontradi e la hipotesis del problema.
Enton es sea S > 0. Sin perdida de generalidad podemos suponer que

= sup

h m; n ;

2Z

m;n

ya que si lo anterior no fuese ierto, ento es tendramos

S

= sup

2Z

h m; n ;

)>S

S=

m;n

y en ese aso trabajaramos on h (que tambien es una fun ion armoni a) en lugar
de h.
Sea k un numero natural arbitrario, y sea (a; b) 2 Z2 tal que
(

h a; b

Dado que h es armoni a, tenemos

1
(h(a + 1; b) + h(a; b + 1) + h(a 1; b) + h(a; b 1)) = h(a; b) > S
4
Considerando que h  S , onlumos, de la ultima desigualdad, que

y de ah sigue que

1
(h(a + 1; b) + 3S ) > S
4
( + 1; b) > S

h a

4
1

2
=S
4k

S=

2
;
4k

S=

S=

4k

2
:
4k

S=

ALEJANDRO KOCSARD

En forma general, repitiendo el razonamiento anterior, se on luye que:

( + i; b) > S

h a

De esto ultimo surge:

S=

>

para i = 0; 1; : : : ; k

( + k; b)

f a

)=

f a; b

( + i; b) > k

h a

2
lo ual, dada la arbitrariedad de k , ontradi e la a ota ion de f .
=0

E-mail address :

ako sardf eia.unr.edu.ar

1: