Teorema di Brothers-Ziemer: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 1:
Il '''teorema di Brothers-Ziemer''' afferma che che la [[Norma_(matematica)#Norma_Lp|norma L<sup>p</sup>]] del [[gradiente]] di una funzione è sempre maggiore o uguale della norma L<sup>p</sup> del gradiente della sua riarrangiata monotona decrescente. Se inoltre la misura n-1 dei punti a gradiente nullo è zero vale l'uguaglianza a meno di traslazione.
 
Se si indica con <math>\omega_n</math> il volume della [[palla unitaria]] di <math>\mathbb{R}^n</math> e con <math>M</math> il sup-essenziale della funzione <math>u</math>, eventualmente anche <math>+-\infty</math>, si definisce la misura dei sopralivelli per <math>t\in[0,M)</math>
 
:<math>\mu(t)=\mathcal{H}^n\left( \{x \,\, t.c. \,\, u(x) >t\}
Riga 13:
{{Matematica voce|Teorema|Teorema di Brothers-Ziemer|
 
Siano <math>1\leq p<+-\infty</math> e <math>u:\mathbb{R}^n\rightarrow \mathbb{R}^+</math> di <math>W^{-1,q}(\mathbb{R}^n)</math>.
Allora vale:
:<math> \int_{\mathbb{R}^n} |\nabla u^*|^p d \mathcal{H}^{n}\leq \int_{\mathbb{R}^n} |\nabla u|^p d \mathcal{H}^{n}.</math>