リース＝ソリンの定理
数学におけるリース＝ソリンの定理（リース＝ソリンのていり、）とは、「作用素の補間」に関する一結果で、しばしばリース＝ソリンの補間定理（Riesz-Thorin interpolation theorem）やリース＝ソリンの凸性定理（Riesz-Thorin convexity theorem）と呼ばれる。リース・マルツェルとその指導学生の名にちなむ。
この定理では、の間で作用する線型写像のノルムに対する評価が与えられる。そのような空間のいくつかは、その他の空間よりもより簡単な構造を備えるため、この定理の有用性が保証される。通常はそのような空間として、ヒルベルト空間である や、、 などが考えられる。したがって、二つの簡単な場合において定理を証明し、リース＝ソリンの定理を使うことでその簡単な場合をより複雑な場合へと拡張することで、より複雑な場合についての定理を証明することが出来る。は同様の定理であるが、それはある非線型写像のクラスに対しても適用される。
はじめに次の定義が必要となる：
各 は次を満たす：
この結果の名前は、 上の写像 の凸性に由来するものである。これにより が分かる。
一方、レイヤーケーキ分解 を考えると、 および であることが分かり、したがって次の結果が得られる：
特に上述の結果は、 はすべての可測函数からなる空間内の および と の に属することを意味する。したがって、包含関係に関する次の系が得られる：
実際、加法的和集合 上で定義される作用素を扱うことはしばしばある。例えば、によると、フーリエ変換は を に写す有界作用素であり、プランシュレルの定理によるとフーリエ変換は からそれ自身への有界作用素である。したがってフーリエ変換 formula_2 は、次のように定めることで へと拡張することが出来る：
ただし および である。したがって、そのような作用素の振る舞いを「補間部分空間」 上で調べることは自然な成り行きとなる。
そのため、元の例に戻り、加法的和集合 上のフーリエ変換は同じ作用素の二つの具体化の和を取る事で得られることに注意されたい。すなわち
が成立する。これらは実際、部分空間 上で一致するという意味で「同一の」作用素である。その共通部分には単函数が含まれるため、その作用素は および の両空間において稠密である。稠密に定義された連続函数は一意な拡張を許すため、formula_6 および formula_7 は「同一」と考えることに問題はない。
したがって、加法的和集合 上の作用素を研究する問題は、本質的には二つの自然な空間 および から二つの目的空間 および への有界作用素を研究する問題に帰着される。そのような作用素は加法的和集合の空間 を に写すため、それらの作用素は補間空間 を対応する補間空間 に写すものであると期待することは自然である。
リース＝ソリンの補間定理を述べる上でいくつかの方法がある：前節での記号を利用するために、ここでは加法的和集合を用いた方式を採用する。
言い換えると、 が -型かつ -型であるなら、 はすべての に対して -型ということになる。このため、この補間定理は絵を用いて表現することが出来る。実際 のリース図（Riesz diagram）は、単位正方形 内の点 で が -型であるようなものすべての集合として描かれる。補間定理は、 のリース図が凸集合であることを述べている。すなわち、リース図内の与えられた二点に対して、それらを結ぶ線分もまたその図に含まれる。
この補間定理は、元々リース・マルツェルによって1927年に証明された。その1927年の論文では、リース図の下半分の三角形、すなわち、 かつ が成り立つ部分においてのみ証明が与えられた。はその残りの部分も含めた正方形全体に対して補間定理を拡張した。ソリンの証明は元々1938年に出版され、1948年の彼の学位論文で拡張された。
リース＝ソリンの補間定理の証明は、必要な上界を得る上で、に主に依っている。Lp空間の双対空間の特徴付けにより、次の等式が成立することが分かる。
を得ることが出来る。この での値は
となる。このとき、直線 および 上での の上界を得るために仮定を用いることが出来る。するとアダマールの三線定理によって、直線 上の の補間的な上界を得ることが出来る。あとはその での上界が求めるものであることを調べればよい。
前節で紹介されている証明の概要は、すでに が解析的に変動する場合に対しても一般化されている。実際、整函数
の上界を得る上ためには、同様の証明を行えば良い。すると、の1956年の論文において出版された次の結果が導かれる。
実ハーディ空間との理論により、ハーディ空間 と有界平均振動の空間 上の作用素を扱う上でスタインの補間定理を使うことが可能となる。これはチャールズ・フェファーマンとによる結果である。
本記事の第一節で、フーリエ変換 formula_2 は から への有界作用素かつ からそれ自身への有界作用素であることが確かめられた。同様の議論により、周期函数 を、値がフーリエ係数
であるような函数 formula_18 に写すフーリエ級数作用素は、 から への有界作用素かつ から への有界作用素であることが分かる。このとき、リース＝ソリンの定理は次を意味する：
ただし かつ である。これはハウスドルフ＝ヤングの不等式である。
ハウスドルフ＝ヤングの不等式はまた、局所コンパクトアーベル群上のフーリエ変換に対しても成立することが示される。ここで 1 のノルム評価は最適ではないことに注意されたい。例えばハウスドルフ＝ヤングの不等式の記事を参照されたい。
を固定された可積分函数とし、 を との畳み込み作用素、すなわち各函数 に対して で与えられる作用素とする。
このような が から への有界作用素であることはよく知られており、 から への有界作用素であることは自明である（いずれの場合も、 によって評価される）。したがって、リース＝ソリンの定理より次が成立する。
この不等式に対し、作用素と被作用子の役割を変える、すなわち を との畳み込み作用素とし、 は から "L" への有界作用素である場合を考える。 は に属すため、ヘルダーの不等式の観点から、 は から への有界作用素であることが再び分かる。ただし である。したがって補間により
が得られる。ただし "p"、"r" および "s" の間の関係は次で与えられる。
のヒルベルト変換は次で与えられる。
ここで p.v. は積分のコーシーの主値を表す。このヒルベルト変換は、ある特定の単純な乗数を伴うである：
プランシュレルの定理より、ヒルベルト変換は からそれ自身への有界作用素となる。
しかし、ヒルベルト変換は あるいは 上で有界とはならず、直接的にリース＝ソリンの補間定理を用いることは出来ない。それらの終点の境界が得られない理由を探るためには、簡単な函数 および のヒルベルト変換を計算すれば十分である。しかし、すべてのシュワルツ函数 に対しては
が成り立ち、この等式は、すべての に対してヒルベルト変換が からそれ自身への有界作用素を示すために、コーシー＝シュワルツの不等式と組合せて用いることが出来る。補間によって、次の評価が得られる：
ただし である。 の場合にこの評価を適用する上では、ヒルベルト変換の自己共役性が活用される。
リース＝ソリンの補間定理とその変形版は、補間された作用素ノルムに関する明確な推定を与える上で有用な道具となる一方、それらには多くの欠点も存在する。その内いくつかは主要なものではないが、いくつかはより厳しい欠点である。はじめに、リース＝ソリンの補間定理の証明における複素解析的な設定により、スカラー場は とされることに注意されたい。拡大実数値函数に対しては、この制限は函数を至る所で有界であるように再定義することによって回避することが出来る。可積分函数に関してはほとんど至る所で有界とすればよい。より深刻な問題は、実際、ハーディ＝リトルウッド極大作用素や
のような多くの作用素には良い終点評価が存在しないことである
前節のヒルベルト変換の場合では、いくつかの中点でのノルム評価を陽的に計算することによって、この問題を回避することが出来た。しかしこれは厄介な問題で、一般の場合では同様の手順は頻繁には用いることが出来ない。そのような作用素の多くは次の弱型評価（weak-type estimates）
を満たすものであるから、のような実補間定理はそれらに対してより適切なものとなる。さらに、ハーディ＝リトルウッド極大作用素のような重要な作用素の多くは、であるに過ぎない。これは実補間定理を適用する上での障害ではないが、複素補間定理は非線型作用素を扱う上では不十分である。一方、実補間法は複素補間法と比較して、中間の作用素ノルムに関するよくない評価を与え、リース図における非対角も同様に良い振る舞いはしない。マーシンキウィッツの補間定理の非対角版では、ローレンツ空間の構成が求められ、-空間上のノルム評価は必ずしも得られない。
B. ミチャギンは、リース＝ソリンの定理を次のように拡張した：ここで述べられる拡張は、を伴う数列空間の特別な場合に対して定式化されるものである。
次を仮定する。
このとき
が任意の無条件バナッハ空間の列 、すなわち、任意の formula_30 および formula_31 に対して formula_32 が満たされるようなものに対して成り立つ。
この証明は、クレイン＝ミルマンの定理に基づく。