Proprietà della media

La media sferica di una funzione armonica possiede importanti proprietà che, come vedremo, caratterizzano le funzioni armoniche stesse.

Teorema (Proprietà della media delle funzioni armoniche)

Sia aperto, armonica. Allora:

[1] Il valore della funzione armonica in corrisponde alla media sferica su una palla centrata in .

 


Dimostrazione

Dimostriamo prima il teorema per la media sferica su .

Consideriamo per la funzione:

Per . E' un proungamento per continuità.

Dimostriamo che cioè che questa funzione non varia al variare del raggio su cui eseguiamo la media.

Facciamo prima di tutto un cambio di variabile per eseguire la media sulla sfera centrata nell'origine di raggio 1. Possiamo considerare la variabile di integrazione come dove è un versore radiale e è la traslazione dall'origine.

Mostriamo più esplicitamente che il cambio di variabile non cambia la forma dell'integrale:
Questo accade perchè il cambio di variabile equivale a scalare il raggio di un fattor , quindi il differenziale di superificie sferica scala come .

Ora possiamo derivare rispetto a perchè l'insieme di integrazione è fissato.

Ora utilizziamo la prima formula di Green con e . Otteniamo:

dove i termini di bordo scompaiono perchè e la formula si annulla a causa dell'armonicità di . Quidni è costante e .


Dimostriamo ora il teorema per la media sulla palla . Dobbiamo procedere per strati e utilizzando la dimostrazione precedente.

Quindi ricostruendo la media sulla palla:

Quindi anche la media sulla palla corrisponde al valore della funzione nel centro.

 


Le funzioni armoniche sono quindi uguali alle loro medie sulle sfere. Ma vale il contrario?

Teorema (Inverso della proprietà della media)

Sia con aperto tale che soffisfi la proprietà della media:

Allora su .

 


Dimostrazione

Come nella dimostrazione precedente consideriamo , per ipotesi abbiamo che Possiamo eseguire gli stessi calcoli della dimostrazione precedente ottenendo:

Ora se per assurdo in un punto essendo si avrebbe che in intorno di il laplaciano sarebbe o positivo o negativo. Quindi non potrebbe essere 0. Assurdo. Di conseguenza è necessariamente armonica.

 
  1. Attenzione! Utilizziamo qui il simbolo per indicare gli ingrali di media sferica e sulla palla, non integrali di linea
 PrecedenteSuccessivo