Teorema di Brothers-Ziemer: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Salento81 (discussione | contributi)
Nessun oggetto della modifica
Salento81 (discussione | contributi)
Riga 23:
==Conseguenze==
[[File:Copy of Esempio di riarrangiamento.svg|thumb|right|150px|Funzione non simmetrica e sua riarrangiata con la stessa norma <math>W^{1,p}</math>]]
Il teorema di Brothers e Ziemer risulta un completamento della [[disuguaglianza di Polya-Szego]]. Il teorema di Polya-SzegoEsso afferma che il riordinamento radiale di una funzione ha norma <math>W^{1,p}</math> minore o al più uguale della funzione stessa. In pratica se si vuole minimizzare la norma in <math>W^{1,p}</math> è possibile cercare tale minimo tra le funzioni a simmetria radiale, avendo il riordinamento tale proprietà. Non è detto però che non esistano funzioni che non hanno simmetria radiale che minimizzano tale norma.
In figura è presentata una funzione non simmetrica ed il suo riordinamento radiale. É evidente in questo caso che la norma <math>W^{1,p}</math> delle due funzioni è la stessa. L'esempio costruito presenta una funzione in cui l'insieme dei punti a gradiente nullo è positivo.
Il teorema di Brothers e Ziemer, con l'ulterire ipotesi che l'insieme in cui il gradiente è nullo abbia misura nulla, permette di concludere che le funzioni che minimizzano la norma <math>W^{1,p}</math> sono tutte e sole quelle a simmetria radiale.