マルチンケーヴィッチの定理

数学において、により発見されたマルチンケーヴィッチの補間定理（マルチンケーヴィッチのほかんていり、）とは、"L"p空間上の非線型作用素のノルム評価を与える一結果である。
マルチンケーヴィッチの定理は、線型作用素に関するリース＝ソリンの定理と似ているが、非線型作用素に対しても適用できる。
準備.
 を、測度空間 上で定義される実数値あるいは複素数値の可測関数とする。 の分布関数は次で定義される。
このとき が弱 formula_2 であるとは、ある定数 が存在して、 の分布関数が任意の に対して次の不等式を満たすことをいう：
この不等式を満たす最小の のことを弱 formula_2 ノルムといい、通常 formula_5 あるいは formula_6 と表す。同様に、この関数による空間を通常 あるいは と表す。
（注釈：この表記はわずかに誤解を招くおそれがある。実際、formula_7 上の関数 formula_8 と formula_9 の和のノルムは 2 ではなく 4 であることについて考えれば分かるが、弱ノルムは三角不等式を満たさない。）
任意の 関数は に属し、次の不等式が成り立つ。
これはマルコフの不等式（チェビシェフの不等式としても知られる）に他ならない。この逆は真ではない。例えば、関数 は に属すが、 には属さない。
同様に、formula_11 が に属すような関数 の空間として弱 formula_12 空間を定義することが出来る。このとき弱 formula_12 ノルムは次で定義できる。
より具体的に、 ノルムは、任意の に対して次の不等式を満たす最小の で定義される。
定理.
マルシンケーヴィッチの定理は、非公式的には次のようなものである。
定理： " は formula_12 から formula_17 への有界線型作用素であり、同時に formula_18 から formula_19 への有界線型作用素でもあるとする。このとき と の間の任意の に対して、 は formula_20 から formula_20 への有界線型作用素となる。"
言い換えると、端点 および での弱有界性のみを仮定したとしても、その内側では通常の有界性が得られるということになる。これをより正式に言うために、 は稠密部分集合上でのみ有界で完全であることを説明する必要がある。詳細についてはリース＝ソリンの定理を参照されたい。
マルチンケーヴィッチの定理がリース＝ソリンの定理よりも弱い点は、ノルムの評価である。この定理では の formula_20 ノルムに対する上界が与えられているが、 が あるいは に収束につれてこの上界は発散する。具体的に 、次を仮定する。
すなわち から への の作用素ノルムは高々 であり、 から への の作用素ノルムは高々 である。このとき、次の補間不等式が、 と の間のすべての と、すべての に対して成り立つ：
ここで
および
である。この定数 δ および γ は、"q"=∞ に対しても極限を取ることで与えられる。