He visto varias veces el argumento de la unicidad, pero no lo entiendo muy bien.
El argumento es que si dos funciones armónicas $f$ y $g$ coinciden en la frontera de algún dominio, entonces $f-g$ o $g-f$ es $0$ en el límite, y a partir de aquí las pruebas suelen afirmar que "por el principio máximo se sigue el resultado", es decir, $f$ es único.
¿De qué manera es esto un resultado del principio máximo?
Además, si $f$ armónico tiene valor límite = $0$ ¿no puede tener negativo valores dentro del dominio? Esto no contradiría el principio máximo.
Gracias,