Suriettività

Per D.M. da me e R.N.

È vero che il duale di c={successioni convergenti} è isomorfo a . Però l'isomorfismo non è quello che uno si aspetta. Infatti sarebbe portato a definire per un funzonale r in c* una successione sommabile come , dove sono i vettori della base canonica di c00={successioni finite}. Tuttavia questa applicazione f:r --> x(r) non è quella giusta.

Si prenda per mostrarlo il funzionale lineare r, continuo su c che ad una successione y associa il suo limite, i.e. r(y)=lim(y). Ovviamente . Quindi l'applicazione f ha come immagine una succesione sommabile, cioè (0,0,...). Ma questa successione sommabile non è quella giusta, perchè applicata ad una successione di c non restituisce il suo limite.

Detto in altre parole, f non è surgettiva.

Funzioni armoniche (I)

Mi sto avvicinando alla discussione della tesi, e ho deciso di riguardarmi un po' di cose che stanno pian piano scomparendo dalla memoria. Ne approfitto per risvegliare dalla sua morte apparente il mio blog, rendendo onore al suo nome.

Perchè l'operatore di Laplace è fondamentale?

Tutti sanno che per un campo vettoriale v vale il teorema della divergenza



Ora, immaginiamo che il campo vettoriale sia il gradiente di una funzione f sufficientemente regolare. Dato che vale la relazione (basta farsi i conti!)



allora usando il teorema della divergenza sul gradiente di f si ottiene che



dove la seconda uguaglianza altro non è che la definizione della derivata normale.

Questa relazione ha un sacco di consequenze divertenti. Ad esempio, supponiamo che f sia armonica, cioè che e supponiamo che il nostro dominio sia unapalla di raggio R. Allora la derivata normale su ogni sfera di raggio r < R può essere espressa come



per ogni r e con F funzione crescente. Se f è armonica, allora l'espressione, che è continua in r, si annulla, e quindi assume sempre il valore assunto in 0, che è f(0). (se non vi ricordate cos'è F, basta moltiplicarla per l'inverso di f(0)).

In pratica, quello che abbiamo appena derivato è il teorema del valor medio, che dice che se f è armonica allora f(0) è uguale al valore dell'integrale di f su ogni sfera.