In mathematics, the symmetric decreasing rearrangement of a function is a function which is symmetric and decreasing, and whose level sets are of the same size as those of the original function.
Definition for sets Given a measurable set, A , {\displaystyle A,} in R n , {\displaystyle \mathbb {R} ^{n},} one defines the symmetric rearrangement of A , {\displaystyle A,} called A ∗ , {\displaystyle A^{*},} as the ball centered at the origin, whose volume (Lebesgue measure) is the same as that of the set A . {\displaystyle A.} An equivalent definition is
A ∗ = { x ∈ R n : ω n ⋅ | x | n < | A | } , {\displaystyle A^{*}=\left\{x\in \mathbb {R} ^{n}:\,\omega _{n}\cdot |x|^{n}<|A|\right\},}
where ω n {\displaystyle \omega _{n}} is the volume of the unit ball and where | A | {\displaystyle |A|} is the volume of A . {\displaystyle A.}
Definition for functions The rearrangement of a non-negative, measurable real-valued function f {\displaystyle f} whose level sets f − 1 ( y ) {\displaystyle f^{-1}(y)} (for y ∈ R ≥ 0 {\displaystyle y\in \mathbb {R} _{\geq 0}} ) have finite measure is
f ∗ ( x ) = ∫ 0 ∞ I { y : f ( y ) > t } ∗ ( x ) d t , {\displaystyle f^{*}(x)=\int _{0}^{\infty }\mathbb {I} _{\{y:f(y)>t\}^{*}}(x)\,dt,}
where I A {\displaystyle \mathbb {I} _{A}} denotes the indicator function of the set A . {\displaystyle A.} In words, the value of f ∗ ( x ) {\displaystyle f^{*}(x)} gives the height t {\displaystyle t} for which the radius of the symmetric rearrangement of { y : f ( y ) > t } {\displaystyle \{y:f(y)>t\}} is equal to x . {\displaystyle x.} We have the following motivation for this definition. Because the identity
g ( x ) = ∫ 0 ∞ I { y : g ( y ) > t } ( x ) d t , {\displaystyle g(x)=\int _{0}^{\infty }\mathbb {I} _{\{y:g(y)>t\}}(x)\,dt,}
holds for any non-negative function g , {\displaystyle g,} the above definition is the unique definition that forces the identity I A ∗ = I A ∗ {\displaystyle \mathbb {I} _{A}^{*}=\mathbb {I} _{A^{*}}} to hold.
Properties
The function f ∗ {\displaystyle f^{*}} is a symmetric and decreasing function whose level sets have the same measure as the level sets of f , {\displaystyle f,} that is,
| { x : f ∗ ( x ) > t } | = | { x : f ( x ) > t } | . {\displaystyle |\{x:f^{*}(x)>t\}|=|\{x:f(x)>t\}|.}
… excerpt ends here. Continue reading the full article.

