バーンバウム＝オルリッチ空間

数学の解析学、特に実解析や調和解析の分野において、バーンバウム＝オルリッチ空間（バーンバウム＝オルリッチくうかん、テンプレート:Lang-en-short）は、L^p 空間を一般化する函数の空間である。L^p 空間と同様に、この空間はバナッハ空間である。1931年にこの空間を定義したテンプレート:仮リンクとテンプレート:仮リンクの名にちなむ。

L^p 空間の他にも、解析学において自然に現れる多くの函数空間はバーンバウム＝オルリッチ空間である。そのような空間の一つとして、ハーディ＝リトルウッドの極大函数の研究に現れる空間 L log⁺ L がある。この空間は、次の積分が有限となるような可測函数 f からなる。

$\underset{{ℝ}^n}{\int }|f(x)|{\log }^{+}|f(x)|dx<\mathrm{\infty }.$

ここで log⁺ は対数の正の部分 log⁺t = max(log t, 0) である。その他にも、多くの重要なソボレフ空間もバーンバウム＝オルリッチ空間に含まれる。

正式な定義

μ は集合 X 上の テンプレート:仮リンクとし、Φ : [0, ∞) → [0, ∞) はヤング函数、すなわち次を満たす凸函数とする：

$\frac{\mathrm{\Phi }(x)}{x}\to \mathrm{\infty },\mathrm{a}\mathrm{s}x\to \mathrm{\infty },$

$\frac{\mathrm{\Phi }(x)}{x}\to 0,\mathrm{a}\mathrm{s}x\to 0.$

$L_{\mathrm{\Phi }}^{†}$ を、積分

$\underset{X}{\int }\mathrm{\Phi }(|f|)d\mu$

が有限であるような可測函数 f : X → R の集合とする。ここで、通常どおり、ほとんど至る所で一致する函数は同一のものと見なされる。

この空間はベクトル空間でない可能性もある（スカラー倍について閉じないことがありうる）。$L_{\mathrm{\Phi }}^{†}$ によって張られる函数のベクトル空間がバーンバウム＝オルリッチ空間であり、$L_{\mathrm{\Phi }}$ と表記される。

$L_{\mathrm{\Phi }}$ 上のノルムを定義するために、Ψ を Φ のヤング補函数（Young complement）とする。すなわち

$\mathrm{\Psi }(x)=\underset{0}{\overset{x}{\int }}({\mathrm{\Phi }}^{\prime }{)}^{-1}(t)dt$

を満たすものとする。ここで次のヤングの不等式が成立することに注意されたい：

$ab\le \mathrm{\Phi }(a)+\mathrm{\Psi }(b).$

このときノルムは次で与えられる。

$\Vert f{\Vert }_{\mathrm{\Phi }}=\sup \{\Vert fg{\Vert }_1\mid \int \mathrm{\Psi }\circ |g|d\mu \le 1\}.$

空間 $L_{\mathrm{\Phi }}$ はこのノルムが有限であるような可測函数の空間となる。

L_Φ 上の同値なノルムとして、次のものがあるテンプレート:Harv。

$\Vert f\Vert {\text{'}}_{\mathrm{\Phi }}=\inf \{k\in (0,\mathrm{\infty })\mid \underset{X}{\int }\mathrm{\Phi }(|f|/k)d\mu \le 1\}.$

L_Φ(μ) はこのノルムが有限であるような可測函数の空間となる。

例

ここでは $L_{\mathrm{\Phi }}^{†}$ がベクトル空間ではなく、厳密に $L_{\mathrm{\Phi }}$ よりも小さい例を紹介する。X を単位開区間 (0, 1) とし、Φ(x) = exp(x) − 1 − x および f(x) = log(x) を定める。このとき af は空間 $L_{\mathrm{\Phi }}$ に含まれるが、|a| < 1 ならば $L_{\mathrm{\Phi }}^{†}$ にのみ含まれる。

性質

• オルリッチ空間は次の意味で L^p 空間（$1<p<\mathrm{\infty }$）の一般化である：$\phi (t)=|t{|}^p$ ならば $\Vert u{\Vert }_{L^{\phi }(X)}=\Vert u{\Vert }_{L^p(X)}$ となる。すなわち、$L^{\phi }(X)=L^p(X)$ である。
• オルリッチ空間 $L^{\phi }(X)$ はバナッハ空間、すなわち完備ノルム空間である。

ソボレフ空間との関係

ある種のソボレフ空間はオルリッチ空間に埋め込まれる。すなわち、リプシッツ領域 $\partial X$ を持つ有界開集合 $X\subseteq {ℝ}^n$ に対して、

$\phi (t):=\exp (|t{|}^{p/(p-1)})-1$

ならば

$W_0^{1,p}(X)\subseteq L^{\phi }(X)$

が成り立つ。これは次のテンプレート:仮リンクの解析的な内容である：リプシッツ境界 $\partial X$ を持つ開かつ有界な集合 $X\subseteq {ℝ}^n$ に対して、空間 $W_0^{k,p}(X)$, $kp=n$ を考える。このとき、次を満たす定数 $C_1,C_2>0$ が存在する。

$\underset{X}{\int }\exp \left({\left(\frac{|u(x)|}{C_1\Vert {\mathrm{D}}^{k}u{\Vert }_{L^p(X)}}\right)}^{p/(p-1)}\right)\mathrm{d}x\le C_2|X|.$

確率変数のオルリッチノルム

同様に、確率変数のオルリッチノルムは空間を次のように特徴づける：

$\Vert X{\Vert }_{\mathrm{\Psi }}\triangleq \inf \{k\in (0,\mathrm{\infty })\mid E[\mathrm{\Psi }(|X|/k)]\le 1\}.$

このノルムは同次であり、この集合が空でない場合のみ定義される。

$\mathrm{\Psi }(x)=x^p$ のとき、このノルムは確率変数の p 次モーメントと一致する。指数函数の族におけるその他の特別な場合は、函数 ${\mathrm{\Psi }}_q(x)=\exp (x^q)-1$（$q\ge 1$）に対して考えられる。${\mathrm{\Psi }}_2$ ノルムが有限であるような確率変数はテンプレート:仮リンクと呼ばれ、${\mathrm{\Psi }}_1$ ノルムが有限であるような確率変数は劣指数的（sub-exponential）と呼ばれる。実際、${\mathrm{\Psi }}_p$ ノルムの有界性は次の確率密度函数の極限における挙動を特徴づける：

$\Vert X{\Vert }_{{\mathrm{\Psi }}_p}=c\to \underset{x\to \mathrm{\infty }}{\lim }{f}_X(x)\exp (|x/c{|}^p)=0.$

したがってこの確率密度函数の末尾は漸近的に似たものであり、$\exp (-|x/c{|}^p)$ によって上に有界となる。

${\mathrm{\Psi }}_1$ ノルムは狭義単調積率母函数によって容易に計算できる。例えば、自由度 K のカイ自乗確率変数 X の積率母函数は $M_X(t)=(1-2t{)}^{-K/2}$ であり、したがって ${\mathrm{\Psi }}_1$ ノルムの逆は積率母函数の函数的逆と関連する。すなわち

$\Vert X{\Vert }_{{\mathrm{\Psi }}_1}^{-1}=M_X^{-1}(2)=(1-4^{-1/K})/2$

が成立する。

参考文献

• テンプレート:Citation PDF.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.