Intuitivamente, le funzioni subarmoniche sono correlate alle funzioni convesse di una variabile come segue. Se il grafico di una funzione convessa e una linea si intersecano in due punti, allora il grafico della funzione convessa è sotto la linea tra quei punti. Allo stesso modo, se i valori di una funzione subarmonica non sono maggiori dei valori di una funzione armonica sul bordo di una palla , allora i valori della funzione subarmonica non sono maggiori dei valori della funzione armonica anche all'interno della palla .
Le funzioni superarmoniche possono essere definite dalla stessa descrizione, sostituendo solo "non più grande" con "non più piccolo". In alternativa, una funzione superarmonica è solo il negativo di una funzione subarmonica, e per questo motivo qualsiasi proprietà delle funzioni subarmonica può essere facilmente trasferita alle funzioni superarmonica.
Il massimo di una funzione subarmonica non può essere raggiunto all'interno del suo dominio a meno che la funzione non sia costante, questo è il cosiddetto principio del massimo . Tuttavia, il minimo di una funzione subarmonica può essere raggiunto all'interno del suo dominio.
Le funzioni subarmoniche creano un cono convesso , cioè anche una combinazione lineare di funzioni subarmoniche con coefficienti positivi è subarmonica.
Il limite di una sequenza decrescente di funzioni subarmoniche è subarmonico (o identicamente uguale a ).
Le funzioni subarmoniche non sono necessariamente continue nella topologia usuale, tuttavia si può introdurre la topologia fine che le rende continue.
Esempi
Se è
analitico, allora è subarmonico. Altri esempi possono essere costruiti utilizzando le proprietà sopra elencate, prendendo massimi, combinazioni convesse e limiti. In dimensione 1, tutte le funzioni subarmonica possono essere ottenute in questo modo.
Teorema di rappresentazione di Riesz
Se è subarmonica in una regione ,
nello spazio euclideo di dimensione , è armonica in , e , allora è detta maggiore armonica di . Se esiste una maggiorente armonica, allora esiste la minore maggiore armonica, e
mentre nella dimensione 2,
dove è la minore maggiore armonica, ed è una misura di Borel in . Questo è chiamato il teorema di rappresentazione di Riesz .
Si può dimostrare che una funzione continua a valori reali di una variabile complessa (cioè di due variabili reali) definita su un insieme è subarmonica se e solo se per ogni disco chiuso di centro e raggio si ha
Intuitivamente, ciò significa che una funzione subarmonica è in qualsiasi punto non maggiore della media dei valori in un cerchio attorno a quel punto, un fatto che può essere utilizzato per derivare il principio di massimo .
Se è una funzione olomorfa, allora
è una funzione subarmonica se definiamo il valore di in corrispondenza degli zeri di essere −∞. Ne consegue che
è subarmonica per ogni α > 0. Questa osservazione gioca un ruolo nella teoria degli spazi di Hardy , specialmente per lo studio di H p quando 0 < p < 1.
Nell'ambito del piano complesso, il collegamento con le funzioni convesse può realizzarsi anche dal fatto che una funzione subarmonica su un dominio costante nella direzione immaginaria è convessa nella direzione reale e viceversa.
Maggiori armoniche di funzioni subarmoniche
Se è subarmonica in una
regione del piano complesso, ed è armonica su , allora è maggiore armonica di in se in . Tale disuguaglianza può essere vista come una condizione di crescita su .
Funzioni subarmoniche nel disco dell'unità. Funzione massima radiale
Sia φ subarmonico, continuo e non negativo in un aperto del piano complesso contenente il disco unitario chiuso D (0, 1). La funzione radiale massima per la funzione φ (limitato al disco unità) è definita sul cerchio unitario da
Si può dimostrare che l'ultimo integrale è inferiore al valore e iθ della funzione massimale Hardy-Littlewood φ * della restrizione di φ al cerchio unitario T ,
in modo che 0 ≤ M φ ≤ φ ∗ . È noto che l'operatore di Hardy-Littlewood è limitato su L p ( T ) quando 1 < p < ∞. Ne segue che per qualche costante universale C ,
Se f è una funzione olomorfa in Ω e 0 < p < ∞, allora la disuguaglianza precedente si applica a φ = | f | p /2 . Si può dedurre da questi fatti che qualsiasi funzione F nello spazio di Hardy classico H p soddisfa
Con più lavoro, si può dimostrare che F ha limiti radiali F ( e iθ ) quasi ovunque sulla circonferenza unitaria, e (dal teorema di convergenza dominato ) che F r , definito da F r ( e iθ ) = F ( r e iθ ) tende a F in L p ( T ).
Funzioni subarmoniche su varietà Riemanniane
Le funzioni subarmoniche possono essere definite su una varietà Riemanniana arbitraria .
Definizione: Sia M una varietà Riemanniana e una funzione
semicontinua superiore . Assumiamo che per ogni aperto , e qualsiasi funzione armonica f 1 su U , tale che sul confine di U , la disuguaglianza vale su tutti U . Allora f si dice subarmonico .
Questa definizione è equivalente a quella data sopra. Inoltre, per funzioni due volte differenziabili, la subarmonia è equivalente alla disuguaglianza , dove è il solito
^ Rosenblum, Marvin; Rovnyak, James (1994), p.35 (vedi Bibliografia)
^
Greene, RE; Wu, H. (1974). "Integrali di funzioni subarmoniche su varietà di curvatura non negativa". Invenzioni matematiche . 27 (4): 265-298. doi : 10.1007/BF01425500 ., MR 0382723
Rosenblum, Marvin; Rovnyak, James (1994). Argomenti nelle classi Hardy e funzioni univalenti . Birkhauser Advanced Texts: libri di testo di Basilea. Basilea: Birkhauser Verlag.