リース＝ソリンの定理のソースを表示

[[数学]]における'''リース＝ソリンの定理'''（リース＝ソリンのていり、{{Lang-en-short|Riesz-Thorin theorem}}）とは、「作用素の補間」に関する一結果で、しばしば'''リース＝ソリンの補間定理'''（Riesz-Thorin interpolation theorem）や'''リース＝ソリンの凸性定理'''（Riesz-Thorin convexity theorem）と呼ばれる。[[リース・マルツェル]]とその指導学生{{仮リンク|オロフ・ソリン|en|Olof Thorin}}の名にちなむ。

この定理は、<math>L^p</math>の間の線形写像のノルムを評価する。この定理の有用性は、<math>L^p</math>のいくつかが、その他の空間よりも簡単な構造を備えることに由来する。通常はそのような空間として、[[ヒルベルト空間]]である <math>L^2</math> や、<math>L^1,\ L^\infty</math> などが考えられる。したがって、リース＝ソリンの定理を使うことで、2つの簡単な場合に成り立つ定理を、より複雑な場合へ拡張することができる。[[マルチンケーヴィッチの定理]]は同様の定理であるが、それはある非線形写像のクラスに対しても適用される。

== 動機 ==

はじめに次の定義が必要となる：

:'''定義''' <math>p_0, p_1</math> を、<math>0<p_0<p_1 \le \infty</math> を満たす2つの数とする。このとき <math>0<\theta<1</math> に対して、<math>p_\theta</math> を次の関係式を満たすものとして定義する：<math>\frac{1}{p_\theta}=\frac{1-\theta}{p_0}+\frac{\theta}{p_1}.</math>

<math>f \in L^{p_\theta}</math> を積 <math>|f|=|f|^{1-\theta}|f|^\theta</math> に分解し、その <math>p_\theta</math> 次の冪に[[ヘルダーの不等式]]を適用することで、<math>L^p</math> 空間の研究の基礎となる次の結果を得ることが出来る：

:'''命題（'''<math>L^p</math>'''-ノルムの対数凸性）'''

各 <math>f \in L^{p_0} \cap L^{p_1}</math> は次を満たす：

:<math>\|f\|_{p_\theta} \leq \|f\|_{p_0}^{1-\theta}\|f\|_{p_1}^\theta.</math>

この結果の名前は、<math>[0,\infty]</math> 上の写像 <math>p \mapsto \log\|f\|_{L^p}</math> の凸性に由来するものである。これにより <math>L^{p_0} \cap L^{p_1} \subset L^{p_\theta}</math> が分かる。

一方、レイヤーケーキ分解 {{math|1=''f'' = ''f''&thinsp;'''1'''<sub>{{mset|{{mabs|''f''}}>1}}</sub> + ''f''&thinsp;'''1'''<sub>{{mset|{{mabs|''f''}}≤1}}</sub>}} を考えると、{{math|&thinsp;''f''&thinsp;'''1'''<sub>{{mset|{{mabs|''f''}}>1}}</sub> ∈ ''L''<sup>''p''<sub>0</sub></sup>}} および {{math|''f''&thinsp;'''1'''<sub>{{mset|{{mabs|''f''}}≤1}}</sub> ∈ ''L''<sup>''p''<sub>1</sub></sup>}} であることが分かり、したがって次の結果が得られる：

:'''命題''' {{math|''L<sup>p<sub>θ</sub></sup>''}} 内の各 {{math|&thinsp;''f''&thinsp;}} は和 {{math|&thinsp;''f''&thinsp; {{=}} ''g'' + ''h''}} として書くことが出来る。ただし {{math|''g'' ∈ ''L''<sup>''p''<sub>0</sub></sup>}} および {{math|''h'' ∈ ''L''<sup>''p''<sub>1</sub></sup>}} である。

特に上述の結果は、{{math|''L<sup>p<sub>θ</sub></sup>''}} はすべての可測函数からなる空間内の {{math|''L''<sup>''p''<sub>0</sub></sup> + ''L''<sup>''p''<sub>1</sub></sup>}} および {{math|''L''<sup>''p''<sub>0</sub></sup>}}と {{math|''L''<sup>''p''<sub>1</sub></sup>}} の{{仮リンク|ミンコフスキー和|label=加法的和集合|en|Minkowski addition}} に属することを意味する。したがって、包含関係に関する次の系が得られる：

:'''系''' {{math|''L''<sup>''p''<sub>0</sub></sup> ∩ ''L''<sup>''p''<sub>1</sub></sup> ⊂ ''L<sup>p<sub>θ</sub></sup>'' ⊂ ''L''<sup>''p''<sub>0</sub></sup> + ''L''<sup>''p''<sub>1</sub></sup>}}.

実際、加法的和集合 {{math|''L''<sup>''p''<sub>0</sub></sup> + ''L''<sup>''p''<sub>1</sub></sup>}} 上で定義される[[作用素 (関数解析学)|作用素]]を扱うことはしばしばある。例えば、{{仮リンク|リーマン＝ルベーグの補題|en|Riemann-Lebesgue lemma}}によると、[[フーリエ変換]]は {{math|''L''<sup>1</sup>('''R'''<sup>''d''</sup>)}} を {{math|''L''<sup>∞</sup>('''R'''<sup>''d''</sup>)}} に写す[[有界作用素]]であり、[[プランシュレルの定理]]によるとフーリエ変換は {{math|''L''<sup>2</sup>('''R'''<sup>''d''</sup>)}} からそれ自身への有界作用素である。したがってフーリエ変換 <math>\mathcal{F}</math> は、次のように定めることで {{math|(''L''<sup>1</sup> + ''L''<sup>2</sup>) ('''R'''<sup>''d''</sup>)}} へと拡張することが出来る：

:<math>\mathcal{F}(f_1+f_2) = \mathcal{F}_{L^1}(f_1) + \mathcal{F}_{L^2}(f_2)</math> 

ただし {{math|&thinsp;''f''<sub>1</sub>&thinsp; ∈ ''L''<sup>1</sup>('''R'''<sup>''d''</sup>)}} および {{math|&thinsp;''f''<sub>2</sub>&thinsp; ∈ ''L''<sup>2</sup>('''R'''<sup>''d''</sup>)}} である。したがって、そのような作用素の振る舞いを「補間部分空間」{{math|''L<sup>p<sub>θ</sub></sup>''}} 上で調べることは自然な成り行きとなる。

そのため、元の例に戻り、加法的和集合 {{math|''L''<sup>1</sup> + ''L''<sup>2</sup>}} 上のフーリエ変換は同じ作用素の二つの具体化の和を取る事で得られることに注意されたい。すなわち

:<math>\mathcal{F}_{L^1}:L^1(\mathbf{R}^d) \to L^\infty(\mathbf{R}^d), </math>
:<math>\mathcal{F}_{L^2}:L^2(\mathbf{R}^d) \to L^2(\mathbf{R}^d) </math>

が成立する。これらは実際、部分空間 {{math|(''L''<sup>1</sup> ∩ ''L''<sup>2</sup>) ('''R'''<sup>''d''</sup>)}} 上で一致するという意味で「同一の」作用素である。その共通部分には[[単函数]]が含まれるため、その作用素は {{math|''L''<sup>1</sup>('''R'''<sup>''d''</sup>)}} および {{math|''L''<sup>2</sup>('''R'''<sup>''d''</sup>)}} の両空間において稠密である。稠密に定義された連続函数は一意な拡張を許すため、<math>\mathcal{F}_{L^1}</math> および <math>\mathcal{F}_{L^2}</math> は「同一」と考えることに問題はない。

したがって、加法的和集合 {{math|''L''<sup>''p''<sub>0</sub></sup> + ''L''<sup>''p''<sub>1</sub></sup>}} 上の作用素を研究する問題は、本質的には二つの自然な空間 {{math|''L''<sup>''p''<sub>0</sub></sup>}} および {{math|''L''<sup>''p''<sub>1</sub></sup>}} から二つの目的空間 {{math|''L''<sup>''q''<sub>0</sub></sup>}} および {{math|''L''<sup>''q''<sub>1</sub></sup>}} への有界作用素を研究する問題に帰着される。そのような作用素は加法的和集合の空間 {{math|''L''<sup>''p''<sub>0</sub></sup> + ''L''<sup>''p''<sub>1</sub></sup>}} を {{math|''L''<sup>''q''<sub>0</sub></sup> + ''L''<sup>''q''<sub>1</sub></sup>}} に写すため、それらの作用素は補間空間 {{math|''L<sup>p<sub>θ</sub></sup>''}} を対応する補間空間 {{math|''L<sup>q<sub>θ</sub></sup>''}} に写すものであると期待することは自然である。

== 定理の内容 ==

リース＝ソリンの補間定理を述べる上でいくつかの方法がある<ref>Stein and Weiss (1971) および Grafakos (2010) では単函数上の作用素が用いられ、Muscalu and Schlag (2013) では共通部分 {{math|''L''<sup>''p''<sub>0</sub></sup> ∩ ''L''<sup>''p''<sub>1</sub></sup>}} の一般の稠密部分集合上の作用素が用いられている。それらとは対照的に、Duoanddikoetxea (2001)、Tao (2010) および Stein and Shakarchi (2011) では、本節で説明している加法的和集合の式が用いられている。</ref>：前節での記号を利用するために、ここでは加法的和集合を用いた方式を採用する。

:'''リース＝ソリンの補間定理''' {{math|(Ω<sub>1</sub>, Σ<sub>1</sub>, ''μ''<sub>1</sub>)}} および {{math|(Ω<sub>2</sub>, Σ<sub>2</sub>, ''μ''<sub>2</sub>)}} を {{mvar|σ}}-有限測度空間とする。{{math|1 ≤ ''p''<sub>0</sub> ≤ ''p''<sub>1</sub> ≤ ∞, 1 ≤ ''q''<sub>0</sub> ≤ ''q''<sub>1</sub> ≤ ∞}} とし、{{math|''T'' : ''L''<sup>''p''<sub>0</sub></sup>(''μ''<sub>1</sub>) + ''L''<sup>''p''<sub>1</sub></sup>(''μ''<sub>1</sub>) → ''L''<sup>''q''<sub>0</sub></sup>(''μ''<sub>2</sub>) + ''L''<sup>''q''<sub>1</sub></sup>(''μ''<sub>2</sub>)}} を {{math|''L''<sup>''p''<sub>0</sub></sup>(''μ''<sub>1</sub>)}}（{{math|''L''<sup>''p''<sub>1</sub></sup>(''μ''<sub>1</sub>)}}）から {{math|''L''<sup>''q''<sub>0</sub></sup>(''μ''<sub>2</sub>)}}（{{math|''L''<sup>''q''<sub>1</sub></sup>(''μ''<sub>2</sub>)}}）への[[有界作用素|有界]][[線型作用素]]とする。また {{math|0 < ''θ'' < 1}} に対し、{{math|''p<sub>θ</sub>'', ''q<sub>θ</sub>''}} を前節のように定義する。このとき {{mvar|T}} は {{math|''L<sup>p<sub>θ</sub></sup>''(''μ''<sub>1</sub>)}} から {{math|''L<sup>q<sub>θ</sub></sup>''(''μ''<sub>2</sub>)}} への有界作用素であり、[[作用素ノルム]]に関する次の不等式を満たす：
::<math>\|T\|_{L^{p_\theta} \to L^{q_\theta}} \leq \|T\|^{1-\theta}_{L^{p_0} \to L^{q_0}} \|T\|^{\theta}_{L^{p_1} \to L^{q_1}}.</math>

言い換えると、{{mvar|T}} が {{math|(''p''<sub>0</sub>, ''q''<sub>0</sub>)}}-型かつ {{math|(''p''<sub>1</sub>, ''q''<sub>1</sub>)}}-型であるなら、{{mvar|T}} はすべての {{math|0 < ''θ'' < 1}} に対して {{math|(''p<sub>θ</sub>'', ''q<sub>θ</sub>'')}}-型ということになる。このため、この補間定理は絵を用いて表現することが出来る。実際 {{mvar|T}} の'''リース図'''（Riesz diagram）は、単位正方形 {{math|[0, 1] × [0, 1]}} 内の点 {{math|({{sfrac|1|''p''}},{{sfrac|1|''q''}})}} で {{mvar|T}} が {{math|(''p'', ''q'')}}-型であるようなものすべての集合として描かれる。補間定理は、{{mvar|T}} のリース図が凸集合であることを述べている。すなわち、リース図内の与えられた二点に対して、それらを結ぶ線分もまたその図に含まれる。

この補間定理は、元々[[リース・マルツェル]]によって1927年に証明された<ref>Riesz (1927) を参照。証明では双線型形式の理論における凸性に関する結果が利用された。このため Stein and Weiss (1971) などの多くの古典的な文献では、この定理のことは'''リースの凸性定理'''（Riesz convexity theorem）と呼ばれている。</ref>。その1927年の論文では、リース図の下半分の三角形、すなわち、{{math|''p''<sub>0</sub> ≤ ''q''<sub>0</sub>}} かつ {{math|''p''<sub>1</sub> ≤ ''q''<sub>1</sub>}} が成り立つ部分においてのみ証明が与えられた。{{仮リンク|オロフ・ソリン|en|Olof Thorin}}はその残りの部分も含めた正方形全体に対して補間定理を拡張した。ソリンの証明は元々1938年に出版され、1948年の彼の学位論文で拡張された<ref>Thorin (1948)</ref>。

== 証明の概要 ==

リース＝ソリンの補間定理の証明は、必要な上界を得る上で、{{仮リンク|アダマールの三線定理|en|Hadamard three-lines theorem}}に主に依っている。[[Lp空間]]の双対空間の特徴付けにより、次の等式が成立することが分かる。

: <math> \|Tf\|_{q_\theta} = \sup_{\|g\|_{p_{\theta}} \leq 1} \left| \int (Tf)g \, d\mu_2 \right|.</math>

{{math|'''C'''}} 内の各 {{mvar|z}} に対し、{{math|&thinsp;''f''&thinsp;}} および {{mvar|g}} の適切な派生形 {{math|&thinsp;''f<sub>z</sub>''&thinsp;}} および {{math|''g<sub>z</sub>''}} を定義することで、次の[[整函数]]

:<math> \phi(z) = \int \left (Tf_z \right )g_z \, d\mu_2</math>

を得ることが出来る。この {{math|''z'' {{=}} ''θ''}} での値は

:<math>\int (Tf) g </math> 

となる。このとき、直線 {{math|Re(''z'') {{=}} 0}} および {{math|Re(''z'') {{=}} 1}} 上での {{math|Φ}} の上界を得るために仮定を用いることが出来る。するとアダマールの三線定理によって、直線 {{math|Re(''z'') {{=}} ''θ''}} 上の {{math|Φ}} の補間的な上界を得ることが出来る。あとはその {{math|''z'' {{=}} ''θ''}} での上界が求めるものであることを調べればよい。


== 作用素の族の補間 ==

前節で紹介されている証明の概要は、すでに {{mvar|T}} が解析的に変動する場合に対しても一般化されている。実際、整函数

:<math>\varphi(z) = \int (T_z f_z)g_z \, d\mu_2</math>

の上界を得る上ためには、同様の証明を行えば良い。すると、[[エリアス・スタイン]]の1956年の論文において出版された次の結果が導かれる<ref>Stein (1956). [[チャールズ・フェファーマン]]の書 Fefferman, Fefferman, Wainger (1995) で指摘されているように、スタインの補間定理の証明は本質的にはリース＝ソリンの定理と同じであるが、作用素には {{mvar|z}} が加えられている。この埋め合わせのために、[[:en:Isidore Isaac Hirschman, Jr.|Isidore Isaac Hirschman, Jr.]]による{{仮リンク|アダマールの三線定理|en|Hadamard three-lines theorem}}のより強いヴァージョンが用いられ、求める上界が得られている。詳細な証明については Stein and Weiss (1971) を参照されたい。またこの定理のハイレヴェルな解説については　[http://terrytao.wordpress.com/2011/05/03/steins-interpolation-theorem/ a blog post of Tao] を参照されたい。</ref>。

:'''スタインの補間定理'''. {{math|(Ω<sub>1</sub>, Σ<sub>1</sub>, ''μ''<sub>1</sub>)}} および {{math|(Ω<sub>2</sub>, Σ<sub>2</sub>, ''μ''<sub>2</sub>)}} を{{仮リンク|Σ-有限測度|label={{mvar|σ}}-有限測度空間|en|Σ-finite measure}}とする。{{math|1 ≤ ''p''<sub>0</sub> ≤ ''p''<sub>1</sub> ≤ ∞, 1 ≤ ''q''<sub>0</sub> ≤ ''q''<sub>1</sub> ≤ ∞}} を仮定し、次を定義する：
::{{math|''S'' {{=}} {''z'' ∈ '''C''' : 0 < Re(''z'') < 1} }},
::{{math|{{overline|''S''}} {{=}} {''z'' ∈ '''C''' : 0 ≤ Re(''z'') ≤ 1} }}.
:{{math|''L''<sup>1</sup>(''μ''<sub>1</sub>)}} 内の単函数の空間から、{{math|Ω<sub>2</sub>}} 上のすべての {{math|''μ''<sub>2</sub>}}-可測函数の空間への線型作用素の集まり {{math|{''T<sub>z</sub>'' : ''z'' ∈ {{overline|''S''}}} }} を考える。この作用素に対し、次の性質を仮定する：
:* 写像
:::<math> z \mapsto \int (T_zf)g \, d\mu_2</math>
::は、すべての単函数 {{math|&thinsp;''f''&thinsp;}} および {{mvar|g}} に対して、{{math|{{overline|''S''}}}} 上連続かつ {{mvar|S}} 上正則である。
:* ある定数 {{math|''k'' < ''π''}} に対し、それらの作用素は次の一様有界性を満たす：
:::<math> \sup_{z \in S} e^{-k|\text{Im}(z)|} \left| \int (T_zf)g \, \mu_2 \right| < \infty</math>
:* {{math|''T<sub>z</sub>''}} は、{{math|Re(''z'') {{=}} 0}} なら、 {{math|''L''<sup>''p''<sub>0</sub></sup>(''μ''<sub>1</sub>)}} から {{math|''L''<sup>''q''<sub>0</sub></sup>(''μ''<sub>2</sub>)}} への[[有界作用素]]である。
:* {{math|''T<sub>z</sub>''}} は、{{math|Re(''z'') {{=}} 1}} なら、{{math|''L''<sup>''p''<sub>1</sub></sup>(''μ''<sub>1</sub>)}} から {{math|''L''<sup>''q''<sub>1</sub></sup>(''μ''<sub>2</sub>)}} への有界作用素である。 
:* 作用素ノルムは次の一様有界性を満たす。
:::<math>\sup_{\text{Re}(z) = 0, 1} e^{-k|\text{Im}(z)|} \log \left \|T_z \right \| < \infty.</math>

:すると、各 {{math|0 < ''θ'' < 1}} に対し、作用素 {{math|''T<sub>θ</sub>''}} は {{math|''L<sup>p<sub>θ</sub></sup>''(''μ''<sub>1</sub>)}} から {{math|''L<sup>q<sub>θ</sub></sup>''(''μ''<sub>2</sub>)}} への有界作用素となる。

[[ハーディ空間|実ハーディ空間]]と{{仮リンク|有界平均振動|en|bounded mean oscillation}}の理論により、ハーディ空間 {{math|''H''<sup>1</sup>('''R'''<sup>''d''</sup>)}} と有界平均振動の空間 {{math|BMO}} 上の作用素を扱う上でスタインの補間定理を使うことが可能となる。これは[[チャールズ・フェファーマン]]と[[エリアス・スタイン]]による結果である<ref>Fefferman and Stein (1972)</ref>。

== 応用 ==
=== ハウスドルフ＝ヤングの不等式 ===
{{main|ハウスドルフ＝ヤングの不等式}}

本記事の第一節で、[[フーリエ変換]] <math>\mathcal{F}</math> は {{math|''L''<sup>1</sup>('''R'''<sup>''d''</sup>)}} から {{math|''L''<sup>∞</sup>('''R'''<sup>''d''</sup>)}} への有界作用素かつ {{math|''L''<sup>2</sup>('''R'''<sup>''d''</sup>)}} からそれ自身への有界作用素であることが確かめられた。同様の議論により、周期函数 {{math|&thinsp;''f''&thinsp; : '''T''' → '''C'''}} を、値がフーリエ係数

: <math>\hat{f}(n) = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(x) e^{-inx} \, dx</math>

であるような函数 <math>\hat{f}:\mathbf{Z} \to \mathbf{C}</math> に写す[[フーリエ級数|フーリエ級数作用素]]は、{{math|''L''<sup>1</sup>('''T''')}} から {{math|ℓ<sup>∞</sup>('''Z''')}} への有界作用素かつ {{math|''L''<sup>2</sup>('''T''')}} から {{math|ℓ<sup>2</sup>('''Z''')}} への有界作用素であることが分かる。このとき、リース＝ソリンの定理は次を意味する：

:<math>\begin{align}
\left \|\mathcal{F}f \right \|_{L^{q}(\mathbf{R}^d)} &\leq \|f\|_{L^p(\mathbf{R}^d)} \\
\left \|\hat{f} \right \|_{\ell^{q}(\mathbf{Z})} &\leq \|f\|_{L^p(\mathbf{T})}.
\end{align}</math>

ただし {{math|1 ≤ ''p'' ≤ 2}} かつ {{math|{{sfrac|1|''p''}} + {{sfrac|1|''q''}} {{=}} 1}} である。これは[[ハウスドルフ＝ヤングの不等式]]である。

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

=== 畳み込み作用素 ===
{{main|ヤングの不等式}}

{{math|&thinsp;''f''&thinsp;}} を固定された可積分函数とし、{{mvar|T}} を {{math|&thinsp;''f''&thinsp;}} との畳み込み作用素、すなわち各函数 {{mvar|g}} に対して {{math|''Tg'' {{=}} &thinsp;''f''&thinsp; * ''g''}} で与えられる作用素とする。

このような {{mvar|T}} が {{math|''L''<sup>1</sup>}} から {{math|''L''<sup>1</sup>}} への有界作用素であることはよく知られており、{{math|''L''<sup>∞</sup>}} から {{math|''L''<sup>∞</sup>}} への有界作用素であることは自明である（いずれの場合も、{{math|{{!!}}&thinsp;''f''&thinsp;{{!!}}<sub>1</sub>}} によって評価される）。したがって、リース＝ソリンの定理より次が成立する。

:<math>\| f * g \|_p \leq \|f\|_1 \|g\|_p.</math>

この不等式に対し、作用素と被作用子の役割を変える、すなわち {{mvar|S}} を {{mvar|g}} との畳み込み作用素とし、{{mvar|S}} は {{math|''L''<sup>1</sup>}} から ''L<sup>p</sup>'' への有界作用素である場合を考える。{{mvar|g}} は {{math|''L<sup>p</sup>''}} に属すため、ヘルダーの不等式の観点から、{{mvar|S}} は {{math|''L<sup>q</sup>''}} から {{math|''L''<sup>∞</sup>}} への有界作用素であることが再び分かる。ただし {{math|{{sfrac|1|''p''}} + {{sfrac|1|''q''}} {{=}} 1}} である。したがって補間により

:<math>\|f*g\|_s\leq \|f\|_r\|g\|_p</math>

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

:<math>\frac{1}{r}+\frac{1}{p}=1+\frac{1}{s}.</math>

=== ヒルベルト変換 ===
{{main|ヒルベルト変換}}

{{math|&thinsp;''f''&thinsp; : '''R''' → '''C'''}} の'''ヒルベルト変換'''は次で与えられる。

: <math> \mathcal{H}f(x) = \frac{1}{\pi} \, \mathrm{p.v.} \int_{-\infty}^\infty \frac{f(x-t)}{t} \, dt = \left(\frac{1}{\pi} \, \mathrm{p.v.} \frac{1}{t} \ast f\right)(x)</math>,

ここで p.v. は積分の[[コーシーの主値]]を表す。このヒルベルト変換は、ある特定の単純な乗数を伴う{{仮リンク|乗数 (フーリエ解析)|label=フーリエ乗数作用素|en|Multiplier (Fourier analysis)}}である：

: <math> \widehat{\mathcal{H}f}(\xi) = -i \, \mathrm{sgn}(\xi) \hat{f}(\xi). </math>

[[プランシュレルの定理]]より、ヒルベルト変換は {{math|''L''<sup>2</sup>('''R''')}} からそれ自身への有界作用素となる。

しかし、ヒルベルト変換は {{math|''L''<sup>1</sup>('''R''')}} あるいは {{math|''L''<sup>∞</sup>('''R''')}} 上で有界とはならず、直接的にリース＝ソリンの補間定理を用いることは出来ない。それらの終点の境界が得られない理由を探るためには、簡単な函数 {{math|'''1'''<sub>(−1,1)</sub>(''x'')}} および {{math|'''1'''<sub>(0,1)</sub>(''x'') − '''1'''<sub>(0,1)</sub>(−''x'')}} のヒルベルト変換を計算すれば十分である。しかし、すべての[[シュワルツ空間|シュワルツ函数]] {{math|&thinsp;''f''&thinsp; : '''R''' → '''C'''}} に対しては

: <math>(\mathcal{H}f)^2 = f^2 + 2\mathcal{H}(f\mathcal{H}f)</math>

が成り立ち、この等式は、すべての {{math|''n'' ≥ 2}} に対してヒルベルト変換が {{math|''L''<sup>2<sup>''n''</sup></sup>('''R'''<sup>''d''</sup>)}} からそれ自身への有界作用素を示すために、[[コーシー＝シュワルツの不等式]]と組合せて用いることが出来る。補間によって、次の評価が得られる：

:<math> \|\mathcal{H}f\|_p \leq A_p \|f\|_p. </math>

ただし {{math|2 ≤ ''p'' < ∞}} である。{{math|1 ≤ ''p'' ≤ 2}} の場合にこの評価を適用する上では、ヒルベルト変換の[[自己共役作用素|自己共役性]]が活用される。

== 実補間法との比較 ==

リース＝ソリンの補間定理とその変形版は、補間された作用素ノルムに関する明確な推定を与える上で有用な道具となる一方、それらには多くの欠点も存在する。欠点にはそれほど問題にならないものもあるが、深刻なものもある。はじめに、リース＝ソリンの補間定理の証明における複素解析的な設定により、スカラー場は {{math|'''C'''}} とされることに注意されたい。拡大実数値函数に対しては、この制限は函数を至る所で有界であるように再定義することによって回避することが出来る。可積分函数に関してはほとんど至る所で有界とすればよい。より深刻な問題は、実際、[[ハーディ＝リトルウッドの極大函数|ハーディ＝リトルウッド極大作用素]]や
{{仮リンク|label=カルデロン＝ジグムントの補題|カルデロン＝ジグムント作用素|en|Calderón–Zygmund lemma}}といった多くの作用素には良い終点評価が存在しないことである<ref>[[エリアス・スタイン]] は、[[調和解析]]に現れる興味深い作用素が {{math|''L''<sup>1</sup>}} や {{math|''L''<sup>∞</sup>}} 上で有界であることは滅多にないと述べている。</ref> 

前節のヒルベルト変換の場合では、いくつかの中点でのノルム評価を陽的に計算することによって、この問題を回避することが出来た。しかし、このような評価は手間がかかり、一般の場合ではしばしば不可能である。そのような作用素の多くは次の'''弱型評価'''（weak-type estimates）

: <math> \mu \left( \{x : Tf(x) > \alpha \} \right) \leq \left( \frac{C_{p,q} \|f\|_p}{\alpha} \right)^q
</math>

を満たすものであるから、{{仮リンク|マーシンキウィッツの補間定理|en|Marcinkiewicz interpolation theorem}}のような実補間定理がそれらに対してより適切なものとなる。さらに、ハーディ＝リトルウッド極大作用素のような重要な作用素の多くは、{{仮リンク|劣線型函数|label=劣線型|en|Sublinear function}}であるに過ぎない。これは実補間定理を適用する上では障害にならないが、複素補間定理は非線型作用素を扱うことができない。一方、実補間法は中間の作用素ノルムに関して複素補間法ほど良い評価を与えず、リース図における非対角でも良く振舞わない。マーシンキウィッツの補間定理の非対角版では、[[ローレンツ空間]]の構成が求められ、{{math|''L<sup>p</sup>''}}-空間上のノルム評価が得られるとは限らない。

== ミチャギンの定理 ==

B. ミチャギンは、リース＝ソリンの定理を次のように拡張した：ここで述べられる拡張は、{{仮リンク|シャウダー基底|en|Schauder basis}}を伴う[[数列空間]]の特別な場合に対して定式化されるものである。

次を仮定する。

:<math>\|A\|_{\ell_1 \to \ell_1}, \|A\|_{\ell_\infty \to \ell_\infty} \leq M.</math>

このとき

:<math>\|A\|_{X \to X} \leq M</math> 

が任意の無条件バナッハ空間の列 {{mvar|X}} 、すなわち、任意の <math>(x_i) \in X</math> および <math>(\varepsilon_i) \in \{-1, 1 \}^\infty</math> に対して <math>\| (\varepsilon_i x_i) \|_X = \| (x_i) \|_X </math> が満たされるようなものに対して成り立つ。

この証明は、[[クレイン＝ミルマンの定理]]に基づく。

== 関連項目 ==
* {{仮リンク|マーシンキウィッツの補間定理|en|Marcinkiewicz interpolation theorem}}
* {{仮リンク|補間空間|en|Interpolation space}}

== 注釈 ==
{{reflist}}

== 参考文献 ==
* {{citation|first1=N.|last1=Dunford|first2=J.T.|last2=Schwartz|authorlink2=:en:Jacob T. Schwartz|title=Linear operators, Parts I and II|publisher=Wiley-Interscience|year=1958}}.
* {{Citation | last1=Fefferman |first1=Charles | last2=Stein | first2=Elias M. | title=<math>H^p</math> Spaces of Several variables | year=1972 | volume=129 | journal=Acta Mathematica | pages=137–193}}
* {{citation|first1=I.M.|last1=Glazman|first2=Yu.I.|last2=Lyubich|title=Finite-dimensional linear analysis: a systematic presentation in problem form''|publisher=The M.I.T. Press|publication-place=Cambridge, Mass.|year=1974}}.  Translated from the Russian and edited by G. P. Barker and G. Kuerti.
* {{citation|mr=0717035|first=L.|last= Hörmander|authorlink=ラース・ヘルマンダー|title=The analysis of linear partial differential operators I|series= Grundl. Math. Wissenschaft. |volume= 256 |publisher= Springer  |year=1983|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}}
* {{Citation |last1= Riesz | first1=Marcel | title=Sur les maxima des formes bilinéaires et sur les fonctionnelles linéaires | year=1927 | volume=49 | journal=Acta Mathematica | pages=465–497}}
* {{Citation | last1=Stein | first1=Elias M. | title=Interpolation of Linear Operators | year=1956 | volume=83 | journal=Trans. Amer. Math. Soc.  | pages=482–492}}
* {{Citation | last1=Stein |first1=Elias M. | last2=Shakarchi | first2=Rami | title=Functional Analysis: Introduction to Further Topics in Analysis | year=2011 | publisher=Princeton University Press}}
* {{Citation | last1=Stein |first1=Elias M. | last2=Weiss | first2=Guido | title=Introduction to Fourier Analysis on Euclidean Spaces | year=1971 | publisher=Princeton University Press}}

{{DEFAULTSORT:りいすそりんのていり}}
[[Category:調和解析の定理]]
[[Category:フーリエ解析の定理]]
[[Category:関数解析学の定理]]
[[Category:作用素論]]
[[Category:バナッハ空間]]
[[Category:リース・マルツェル]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]