04.06.2013 Views

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

Carlos Ivorra Castillo AN´ALISIS MATEM´ATICO - Tecnologia-Tecnica

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

12.3. Funciones subharmónicas 437<br />

luego ∆f(x2) ≤−2nc < 0, en contra de lo supuesto. Por consiguiente el máximo<br />

de fB − h es menor o igual que 0yasí f es subharmónica.<br />

Recíprocamente, si f es subharmónica en Ω pero ∆f 0 convergente a 0, entonces f es<br />

subharmónica en Ω.<br />

Demostración: Sea h la función harmónica en Br(x0) que coincide con f<br />

en la frontera. Entonces<br />

<br />

1<br />

f(x0) ≤ h(x0) =<br />

f(x) dσ.<br />

r n−1 σn−1<br />

x−x0=r<br />

Veamos el recíproco. Sea x0 ∈ Ω y sea R>0 tal que BR(x0) ⊂ Ω. Sea h la<br />

función harmónica en la bola que coincide con f en la frontera. Hemos de probar<br />

que f ≤ h. Sea g = f − h y m su supremo en la bola cerrada. Hemos de ver que<br />

es menor o igual que 0. Supongamos, por el contrario, que m>0. Como g es<br />

nula en la frontera de la bola, el conjunto E = {x ∈ BR(x0) | g(x) =m} es un<br />

subconjunto compacto de BR(x0). Sea x1 ∈ E tal que x1 − x0 sea máximo.<br />

De este modo, para todo r suficientemente pequeño, al menos media esfera de<br />

centro x1 y radio r está fuera de E. Tomando como r uno de los valores para<br />

los que se cumple la desigualdad del enunciado obtenemos:<br />

<br />

1<br />

m = g(x1) =f(x1) − h(x1) ≤<br />

(f(x) − h(x)) dσ<br />

<<br />

1<br />

r n−1 σn−1<br />

<br />

x−x1=r<br />

r n−1 σn−1<br />

mdσ = m,<br />

x−x1=r<br />

lo que prueba que m = 0, o sea, f ≤ h en la bola. Así pues, f es subharmónica.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!