Quiero establecer la equivalencia de las 3 definiciones estándar, y que la armónica de funciones se $C^\infty$. El 3 definiciones son:
- Valor medio de la propiedad y continua.
- $C^2$ $0$ Laplaciano.
- Valor medio de la propiedad sobre arbitrariamente pequeñas bolas y continua.
La única ayuda creo que tengo aquí es una prueba de la existencia y unicidad de solución para el problema de Dirichlet en la bola. (Que me ayudaría a conseguir 3 implica 2, junto con la máxima de la propiedad para armónica de las funciones de tipo 3, que debe ser fácil de demostrar.) 2 implica 1 utilizando los argumentos para tomar un derivado de la virtud de la integral, y, a continuación, el uso de gauss teorema de la divergencia. 1 implica 3 obviamente. También necesito ayuda para ver que la armónica de funciones debe ser $C^\infty$. No estoy acostumbrado a los métodos que no impliquen el análisis complejo, ya que debe ser utilizado aquí.
Sé que no es una teoría de la plurisubharmonic funciones. Como un bono pregunta, ¿de aquellos que tienden a ser útiles en el exterior de análisis complejo, y se ha discutido por la extraña dimensión? Por ejemplo, nunca los he visto discutido en el análisis armónico, tampoco parecen ser muy útiles en relación a Browniano de las mociones, que es la razón por la que estoy aprendiendo el d-dimensional versión de armónica de la teoría de la función ahora.
Edit: ahora que lo pienso, también me gustaría un poco de ayuda demostrando el abierto de asignación de la propiedad y la máxima propiedades para armónica de funciones. Por favor, sólo asume la definición 3 de aquí, porque yo lo uso y una conexión argumento para establecer 3 implica 2. La declaración precisa de la definición 3 es como en Greene y Krantz, pero para d dimensiones:
$f$ es "armónico (3)" si $f$ es continua y $\forall x \in U$ el dominio de $f$ existe $\epsilon>0$ tal que todas las bolas de radio $\epsilon$ o menos centrada en $x$ están contenidos en U y $f$ satisface el MVP para que la bola/de la cáscara esférica.