Quiero probar lo siguiente:
Si es un conjunto compacto en una región , probar que existe una constante , dependiendo solo de y , tal que toda función armónica positiva en satisface por dos puntos cualesquiera .
Esto aparece como un ejercicio en el texto de Análisis Complejo de Ahlfors, con respecto a la desigualdad de Harnack:
Si es positivo y armónico en el disco cerrado entonces
Mi intento:
Dejar Sea alguna función armónica, y sea Sea un subconjunto compacto. puede ser cubierto por donde los radios se eligen de tal manera que los discos cerrados permanecer en .
Desde es compacto admite una subcubierta finita .
Considere un disco de la cubierta, la desigualdad de Harnack implica que para cualquier en ese disco
Esto muestra que está acotado superiormente por 9, donde se encuentran en el mismo disco de la cubierta.
Mi dificultad es extender esta idea al caso donde yacen en diferentes discos .
¿Me podría ayudar? (Pensé en dar pasos intermedios tal que cada punto adyacente se encuentra en el mismo disco, pero si no está conectado esto claramente falla).
¡Gracias!
Gracias a una respuesta proporcionada por Daniel Fischer, creo que puedo terminar la prueba:
Voy a empezar desde el principio:
Dejar Sea alguna función armónica positiva, y sea Sea un subconjunto compacto. Usando la respuesta de Daniel podemos encontrar un conjunto compacto y conectado . puede ser cubierto por donde los radios se eligen de tal manera que los discos cerrados permanecer en .
Desde es compacto admite una subcubierta finita .
Considere un disco de la cubierta, la desigualdad de Harnack implica que para cualquier en ese disco
Dejar . Desde está conectado, tenemos que los discos puede ordenarse de tal manera que se encuentra en el primero, se encuentra en el último, y cada disco se cruza con uno de los anteriores (si existen) en un conjunto no vacío. Tomando un representante de cada intersección podemos formar una secuencia usando como máximo pasos intermedios. Aplicando el resultado anterior encontramos
daniel pescador