対称減少再配分

数学においてある函数の対称減少再配分（たいしょうげんしょうさいはいぶん、テンプレート:Lang-en-short）とは、等位集合の大きさがその函数のものと等しいような、対称かつ減少な函数のことをいう^[1]。

集合の定義

Rⁿ 内のある可測集合 $A$ が与えられたとき、その対称再配分 $A^{*}$ は次で与えられる。

A^{*} = {x \in 𝐑^{n} : ω_{n} \cdot | x |^{n} < | A |} .

ここで $ω_{n}$ は単位球の体積で、 $| A |$ は $A$ の体積である。これは、体積が集合 $A$ と等しい原点中心の球を表すことに注意されたい。

等位集合が有限測度を持つような非負の可測函数 $f$ の再配分は、次で与えられる。

f^{*} (x) = \int_{0}^{\infty} 𝕀_{{y : f (y) > t}^{*}} (x) d t .

すなわち $f^{*} (x)$ の値は、 ${y : f (y) > t}$ の対称再配分の半径が x と等しいような高さ t を与える。この定義には、次のような動機がある。任意の非負の函数 $g$ に対して、等式

g (x) = \int_{0}^{\infty} 𝕀_{{y : g (y) > t}} (x) d t

が成り立つため、上述の定義は等式 $𝕀_{A}^{*} = 𝕀_{A^{*}}$ が成り立つための唯一つの定義となる。

函数 $f^{*}$ は、等位集合が $f$ の等位集合と同じ測度を持つ、すなわち

| {x : f^{*} (x) > t} | = | {x : f (x) > t} |

が成り立つような対称かつ減少な函数である。 $f$ が $L^{p}$ 内の函数であるなら、次が成り立つ。

‖ f ‖_{L^{p}} = ‖ f^{*} ‖_{L^{p}} .

\int f g \leq \int f^{*} g^{*}

となる。さらにテンプレート:仮リンクが成り立つ。すなわち $1 \leq p < \infty$ かつ $f \in W^{1, p}$ なら、次が成り立つ。

‖ \nabla f^{*} ‖_{p} \leq ‖ \nabla f ‖_{p} .

対称減少再配分は、順序保存であり、 $L^{p}$ 距離を減少させる。すなわち

f \leq g \Rightarrow f^{*} \leq g^{*}

および

‖ f - g ‖_{L^{p}} \geq ‖ f^{*} - g^{*} ‖_{L^{p}}

が成り立つ。

ポーヤ＝セゲーの不等式より、極限においては $p = 1$ として等周不等式が成り立つ。また、レイリー＝フェイバー＝クラーンの不等式を証明するために調和函数との関係を利用することが出来る。