ローレンツ空間

数学の解析学の分野におけるローレンツ空間（ローレンツくうかん、テンプレート:Lang-en-short）は、1950年代にジョージ・ローレンツによって導入された概念で、よく知られた $L^p$ 空間の一般化である。

ローレンツ空間は $L^{p,q}$ と表される。$L^p$ 空間のように、それは函数の「大きさ」に関する情報を表すノルム（正確には準ノルム）によって特徴づけられる。そのような函数の大きさに関する基本的な定性的概念として次の二つがある：その函数のグラフの高さがどの程度か、またそれがどの程度広がっているか、である。ローレンツノルムは、値域 ($p$) と定義域 ($q$) の両方について測度を指数的にリスケールすることで、それら二つのいずれについても $L^p$ ノルムより強い制御を与える。ローレンツノルムは、しかし $L^p$ ノルムのように函数の値の任意の再配分の下で不変である。

定義

測度空間 $(X,\mu )$ 上のローレンツ空間は、次の準ノルムが有限であるような X 上の複素数値可測函数 $f$ の空間である：

$\Vert f{\Vert }_{L^{p,q}(X,\mu )}=p^{\frac{1}{q}}{\Vert t\mu \{|f|\ge t{\}}^{\frac{1}{p}}\Vert }_{L^q({𝐑}^{+},\frac{dt}{t})}.$

ここで $0<p<\mathrm{\infty }$ および $0<q\le \mathrm{\infty }$ である。したがって、$q<\mathrm{\infty }$ のとき、

$\Vert f{\Vert }_{L^{p,q}(X,\mu )}=p^{\frac{1}{q}}{\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{t}^q\mu {\{x:|f(x)|\ge t\}}^{\frac{q}{p}}\frac{dt}{t}\right)}^{\frac{1}{q}}$

であり、$q=\mathrm{\infty }$ のときは

$\Vert f{\Vert }_{L^{p,\mathrm{\infty }}(X,\mu )}^p=\underset{t>0}{\sup }\left(t^p\mu \{x:|f(x)|>t\}\right)$

となる。また慣習的に $L^{\mathrm{\infty },\mathrm{\infty }}(X,\mu )=L^{\mathrm{\infty }}(X,\mu )$ とすることとなっている。

減少再配分

ローレンツ空間の準ノルムは、その定義により、函数 $f$ の値の再配分（rearranging）の下で不変である。特に、ある測度空間 $(X,\mu )$ 上で定義される複素数値可測函数 $f$ が与えられたとき、その減少再配分（decreasing rearrangement）函数 $f^{\ast }:[0,\mathrm{\infty })\to [0,\mathrm{\infty }]$ は次で定義される：

$f^{\ast }(t)=\inf \{\alpha \in {𝐑}^{+}:d_f(\alpha )\le t\}.$

但し $d_f$ は、次のような $f$ のいわゆる分布函数（distribution function）である：

$d_f(\alpha )=\mu (\{x\in X:|f(x)|>\alpha \}).$

ここで記号の都合上、$\inf \varnothing$ は $\mathrm{\infty }$ と定義する。

二つの函数 $|f|$ と $f^{\ast }$ が同程度可測（equimeasurable）であるとは、次が成り立つことをいう。

$\mu (\{x\in X:|f(x)|>\alpha \})=\lambda (\{t>0:f^{\ast }(t)>\alpha \}),\alpha >0.$

ここで $\lambda$ は実数直線上のルベーグ測度である。関連する対称減少再配分函数は、$f$ と同程度可測であり、実数直線上で次のように定義される。

$𝐑\ni t\mapsto \frac{1}{2}{f}^{\ast }(|t|).$

これらの定義の下で、$0<p<\mathrm{\infty }$ および $0<q\le \mathrm{\infty }$ に対し、ローレンツ準ノルムは次で与えられる。

$\Vert f{\Vert }_{L^{p,q}}=\{\begin{array}{cc}{\left(\underset{0}{\overset{\mathrm{\infty }}{\int }}{(t^{\frac{1}{p}}{f}^{\ast }(t))}^q\frac{dt}{t}\right)}^{\frac{1}{q}}& q\in (0,\mathrm{\infty }),\\ \sup {\mathrm{\backslash limits}}_{t>0}{t}^{\frac{1}{p}}{f}^{\ast }(t)& q=\mathrm{\infty }.\end{array}$

性質

ローレンツ空間は、カヴァリエリの原理より任意の $p$ に対して $L^{p,p}=L^p$ が成立する意味で、$L^p$ 空間の真の一般化である。さらに $L^{p,\mathrm{\infty }}$ は弱 $L^p$ 空間と一致する。それらは準バナッハ空間（すなわち、完備な準ノルム空間）であり、$1<p<\mathrm{\infty }$ および $1\le q\le \mathrm{\infty }$ に対してノルム付け可能（normable）である。$p=1$ のとき、$L^{1,1}=L^1$ はノルムを備えるが、弱 $L^1$ 空間である $L^{1,\mathrm{\infty }}$ の準ノルムと同値なノルムを定義することは不可能である。$L^{1,\mathrm{\infty }}$ において三角不等式が成立しない具体例として、次を考える。

$f(x)=\frac{1}{x}{\chi }_{(0,1)}(x)\text{and}g(x)=\frac{1}{1-x}{\chi }_{(0,1)}(x).$

これらの $L^{1,\mathrm{\infty }}$ 準ノルムの値は 1 であるが、それらの和 $f+g$ の準ノルムの値は 4 である。

空間 $L^{p,q}$ は、$q<r$ ならばいつでも $L^{p,r}$ に含まれる。ローレンツ空間は、$L^1$ と $L^{\mathrm{\infty }}$ の間の実テンプレート:仮リンクである。

関連項目

• テンプレート:仮リンク
• ハーディ＝リトルウッドの不等式

参考文献

• テンプレート:Citation.

外部リンク

• http://www.kanenko.com/~kanenko/Preprint/geotomo.pdf
• http://www.cajpn.org/refs/topics-94.pdf