リース＝ソリンの定理

数学におけるリース＝ソリンの定理（リース＝ソリンのていり、Riesz-Thorin theorem）とは、「作用素の補間」に関する一結果で、しばしばリース＝ソリンの補間定理（Riesz-Thorin interpolation theorem）やリース＝ソリンの凸性定理（Riesz-Thorin convexity theorem）と呼ばれる。リース・マルツェルとその指導学生Olof Thorinの名にちなむ。
この定理は、の間の線形写像のノルムを評価する。この定理の有用性は、のいくつかが、その他の空間よりも簡単な構造を備えることに由来する。通常はそのような空間として、ヒルベルト空間である  や、 などが考えられる。したがって、リース＝ソリンの定理を使うことで、2つの簡単な場合に成り立つ定理を、より複雑な場合へ拡張することができる。マルチンケーヴィッチの定理は同様の定理であるが、それはある非線形写像のクラスに対しても適用される。

**動機**
はじめに次の定義が必要となる：
定義  を、 を満たす2つの数とする。このとき  に対して、 を次の関係式を満たすものとして定義する：
を積  に分解し、その  次の冪にヘルダーの不等式を適用することで、 空間の研究の基礎となる次の結果を得ることが出来る：
命題（-ノルムの対数凸性）
各  は次を満たす：

この結果の名前は、 上の写像  の凸性に由来するものである。これにより  が分かる。
一方、レイヤーケーキ分解  を考えると、 および  であることが分かり、したがって次の結果が得られる：
命題 Lpθ 内の各  f  は和  として書くことが出来る。ただし g ∈ Lp0 および h ∈ Lp1 である。
特に上述の結果は、Lpθ はすべての可測函数からなる空間内の Lp0 + Lp1 および Lp0と Lp1 のMinkowski addition に属することを意味する。したがって、包含関係に関する次の系が得られる：
系 Lp0 ∩ Lp1 ⊂ Lpθ ⊂ Lp0 + Lp1.
実際、加法的和集合 Lp0 + Lp1 上で定義される作用素を扱うことはしばしばある。例えば、Riemann-Lebesgue lemmaによると、フーリエ変換は L1(Rd) を L∞(Rd) に写す有界作用素であり、プランシュレルの定理によるとフーリエ変換は L2(Rd) からそれ自身への有界作用素である。したがってフーリエ変換  は、次のように定めることで (L1 + L2) (Rd) へと拡張することが出来る：
 
ただし  f1  ∈ L1(Rd) および  f2  ∈ L2(Rd) である。したがって、そのような作用素の振る舞いを「補間部分空間」Lpθ 上で調べることは自然な成り行きとなる。
そのため、元の例に戻り、加法的和集合 L1 + L2 上のフーリエ変換は同じ作用素の二つの具体化の和を取る事で得られることに注意されたい。すなわち


が成立する。これらは実際、部分空間 (L1 ∩ L2) (Rd) 上で一致するという意味で「同一の」作用素である。その共通部分には単函数が含まれるため、その作用素は L1(Rd) および L2(Rd) の両空間において稠密である。稠密に定義された連続函数は一意な拡張を許すため、 および  は「同一」と考えることに問題はない。
したがって、加法的和集合 Lp0 + Lp1 上の作用素を研究する問題は、本質的には二つの自然な空間 Lp0 および Lp1 から二つの目的空間 Lq0 および Lq1 への有界作用素を研究する問題に帰着される。そのような作用素は加法的和集合の空間 Lp0 + Lp1 を Lq0 + Lq1 に写すため、それらの作用素は補間空間 Lpθ を対応する補間空間 Lqθ に写すものであると期待することは自然である。

**定理の内容**
リース＝ソリンの補間定理を述べる上でいくつかの方法がある：前節での記号を利用するために、ここでは加法的和集合を用いた方式を採用する。
リース＝ソリンの補間定理 (Ω1, Σ1, μ1) および (Ω2, Σ2, μ2) を σ-有限測度空間とする。1 ≤ p0 ≤ p1 ≤ ∞, 1 ≤ q0 ≤ q1 ≤ ∞ とし、T : Lp0(μ1) + Lp1(μ1) → Lq0(μ2) + Lq1(μ2) を Lp0(μ1)（Lp1(μ1)）から Lq0(μ2)（Lq1(μ2)）への有界線型作用素とする。また 0 θ, qθ を前節のように定義する。このとき T は Lpθ(μ1) から Lqθ(μ2) への有界作用素であり、作用素ノルムに関する次の不等式を満たす：
:
言い換えると、T が (p0, q0)-型かつ (p1, q1)-型であるなら、T はすべての 0 θ, qθ)-型ということになる。このため、この補間定理は絵を用いて表現することが出来る。実際 T のリース図（Riesz diagram）は、単位正方形 math|0, 1 × 0, 1 内の点  で T が (p, q)-型であるようなものすべての集合として描かれる。補間定理は、T のリース図が凸集合であることを述べている。すなわち、リース図内の与えられた二点に対して、それらを結ぶ線分もまたその図に含まれる。
この補間定理は、元々リース・マルツェルによって1927年に証明された。その1927年の論文では、リース図の下半分の三角形、すなわち、p0 ≤ q0 かつ p1 ≤ q1 が成り立つ部分においてのみ証明が与えられた。Olof Thorinはその残りの部分も含めた正方形全体に対して補間定理を拡張した。ソリンの証明は元々1938年に出版され、1948年の彼の学位論文で拡張された。

**証明の概要**
リース＝ソリンの補間定理の証明は、必要な上界を得る上で、Hadamard three-lines theoremに主に依っている。Lp空間の双対空間の特徴付けにより、次の等式が成立することが分かる。
 
内の各 z に対し、 f  および g の適切な派生形  fz  および gz を定義することで、次の整函数

を得ることが出来る。この  での値は
 
となる。このとき、直線  および  上での Φ の上界を得るために仮定を用いることが出来る。するとアダマールの三線定理によって、直線  上の Φ の補間的な上界を得ることが出来る。あとはその  での上界が求めるものであることを調べればよい。

**作用素の族の補間**
前節で紹介されている証明の概要は、すでに T が解析的に変動する場合に対しても一般化されている。実際、整函数

の上界を得る上ためには、同様の証明を行えば良い。すると、エリアス・スタインの1956年の論文において出版された次の結果が導かれる。
スタインの補間定理. (Ω1, Σ1, μ1) および (Ω2, Σ2, μ2) をとする。1 ≤ p0 ≤ p1 ≤ ∞, 1 ≤ q0 ≤ q1 ≤ ∞ を仮定し、次を定義する：
:,
:.
L1(μ1) 内の単函数の空間から、Ω2 上のすべての μ2-可測函数の空間への線型作用素の集まり  を考える。この作用素に対し、次の性質を仮定する：- 写像
::
:は、すべての単函数  f  および g に対して、 上連続かつ S 上正則である。- ある定数 k z は、 なら、 Lp0(μ1) から Lq0(μ2) への有界作用素である。- Tz は、 なら、Lp1(μ1) から Lq1(μ2) への有界作用素である。 - 作用素ノルムは次の一様有界性を満たす。
::
すると、各 0 θ は Lpθ(μ1) から Lqθ(μ2) への有界作用素となる。
実ハーディ空間とbounded mean oscillationの理論により、ハーディ空間 H1(Rd) と有界平均振動の空間 BMO 上の作用素を扱う上でスタインの補間定理を使うことが可能となる。これはチャールズ・フェファーマンとエリアス・スタインによる結果である。

**応用**

**ハウスドルフ＝ヤングの不等式**
本記事の第一節で、フーリエ変換  は L1(Rd) から L∞(Rd) への有界作用素かつ L2(Rd) からそれ自身への有界作用素であることが確かめられた。同様の議論により、周期函数  f  : T → C を、値がフーリエ係数
 
であるような函数  に写すフーリエ級数作用素は、L1(T) から ℓ∞(Z) への有界作用素かつ L2(T) から ℓ2(Z) への有界作用素であることが分かる。このとき、リース＝ソリンの定理は次を意味する：

ただし 1 ≤ p ≤ 2 かつ  である。これはハウスドルフ＝ヤングの不等式である。
ハウスドルフ＝ヤングの不等式はまた、局所コンパクトアーベル群上のフーリエ変換に対しても成立することが示される。ここで 1 のノルム評価は最適ではないことに注意されたい。例えばハウスドルフ＝ヤングの不等式の記事を参照されたい。

**畳み込み作用素**
を固定された可積分函数とし、T を  f  との畳み込み作用素、すなわち各函数 g に対して  で与えられる作用素とする。
このような T が L1 から L1 への有界作用素であることはよく知られており、L∞ から L∞ への有界作用素であることは自明である（いずれの場合も、 によって評価される）。したがって、リース＝ソリンの定理より次が成立する。

この不等式に対し、作用素と被作用子の役割を変える、すなわち S を g との畳み込み作用素とし、S は L1 から Lp への有界作用素である場合を考える。g は Lp に属すため、ヘルダーの不等式の観点から、S は Lq から L∞ への有界作用素であることが再び分かる。ただし  である。したがって補間により

が得られる。ただし p、r および s の間の関係は次で与えられる。


**ヒルベルト変換**
のヒルベルト変換は次で与えられる。
 ,
ここで p.v. は積分のコーシーの主値を表す。このヒルベルト変換は、ある特定の単純な乗数を伴うMultiplier (Fourier analysis)である：
 
プランシュレルの定理より、ヒルベルト変換は L2(R) からそれ自身への有界作用素となる。
しかし、ヒルベルト変換は L1(R) あるいは L∞(R) 上で有界とはならず、直接的にリース＝ソリンの補間定理を用いることは出来ない。それらの終点の境界が得られない理由を探るためには、簡単な函数 1(−1,1)(x) および 1(0,1)(x) − 1(0,1)(−x) のヒルベルト変換を計算すれば十分である。しかし、すべてのシュワルツ函数  f  : R → C に対しては
 
が成り立ち、この等式は、すべての n ≥ 2 に対してヒルベルト変換が L2n(Rd) からそれ自身への有界作用素を示すために、コーシー＝シュワルツの不等式と組合せて用いることが出来る。補間によって、次の評価が得られる：

ただし 2 ≤ p p-空間上のノルム評価が得られるとは限らない。

**ミチャギンの定理**
B. ミチャギンは、リース＝ソリンの定理を次のように拡張した：ここで述べられる拡張は、Schauder basisを伴う数列空間の特別な場合に対して定式化されるものである。
次を仮定する。

このとき
 
が任意の無条件バナッハ空間の列 X 、すなわち、任意の  および  に対して  が満たされるようなものに対して成り立つ。
この証明は、クレイン＝ミルマンの定理に基づく。

**関連項目**
 Marcinkiewicz interpolation theorem- Interpolation space

**注釈**

**参考文献**
 year=1958.-  pages=137–193- year=1974.  Translated from the Russian and edited by G. P. Barker and G. Kuerti.- ISBN=3-540-12104-8 .- citation|first=B.S.|last=Mitjagin Mityagin|title=An interpolation theorem for modular spaces (Russian)|journal=Mat. Sb. (N.S.)|volume=66|issue=108|year=1965|pages=473–482.- Citation | last1=Thorin | first1=G. O. | title=Convexity theorems generalizing those of M. Riesz and Hadamard with some applications | mr=0025529 | year=1948 | journal=Comm. Sem. Math. Univ. Lund Medd. Lunds Univ. Mat. Sem. | volume=9 | pages=1–58-  pages=465–497-  pages=482–492-  publisher=Princeton University Press-  publisher=Princeton University Press