リース=ソリンの定理 – Wikipedia
数学におけるリース=ソリンの定理(リース=ソリンのていり、英: Riesz-Thorin theorem)とは、「作用素の補間」に関する一結果で、しばしばリース=ソリンの補間定理(Riesz-Thorin interpolation theorem)やリース=ソリンの凸性定理(Riesz-Thorin convexity theorem)と呼ばれる。リース・マルツェルとその指導学生オロフ・ソリンの名にちなむ。
この定理では、
Lp{displaystyle L^{p}}L2{displaystyle L^{2}} の間で作用する線形写像のノルムに対する評価が与えられる。そのような空間のいくつかは、その他の空間よりもより簡単な構造を備えるため、この定理の有用性が保証される。通常はそのような空間として、ヒルベルト空間である
L1, L∞{displaystyle L^{1}, L^{infty }} や、
マーシンキウィッツの補間定理は同様の定理であるが、それはある非線形写像のクラスに対しても適用される。
などが考えられる。したがって、2つの簡単な場合において定理を証明し、リース=ソリンの定理を使うことでその簡単な場合をより複雑な場合へと拡張することで、より複雑な場合についての定理を証明することが出来る。はじめに次の定義が必要となる:
- 定義
r0,r1{displaystyle r_{0},r_{1}}
を、
f∈Lpθ{displaystyle fin L^{p_{theta }}}
|f|=|f|1−θ|f|θ{displaystyle |f|=|f|^{1-theta }|f|^{theta }} を積
pθ{displaystyle p_{theta }} に分解し、その
Lp{displaystyle L^{p}} 次の冪にヘルダーの不等式を適用することで、
空間の研究の基礎となる次の結果を得ることが出来る:
- 命題( Lp{displaystyle L^{p}} -ノルムの対数凸性)
各
f∈Lp0∩Lp1{displaystyle fin L^{p_{0}}cap L^{p_{1}}}は次を満たす:
- ‖f‖pθ≤‖f‖p01−θ‖f‖p1θ.{displaystyle |f|_{p_{theta }}leq |f|_{p_{0}}^{1-theta }|f|_{p_{1}}^{theta }.}
この結果の名前は、
[0,∞]{displaystyle [0,infty ]}p↦log‖f‖Lp{displaystyle pmapsto log |f|_{L^{p}}} 上の写像
Lp0∩Lp1⊂Lpθ{displaystyle L^{p_{0}}cap L^{p_{1}}subset L^{p_{theta }}} の凸性に由来するものである。これにより
が分かる。
一方、レイヤーケーキ分解 f = f 1{|f|>1} + f 1{|f|≤1} を考えると、 f 1{|f|>1} ∈ Lp0 および f 1{|f|≤1} ∈ Lp1 であることが分かり、したがって次の結果が得られる:
- 命題 Lpθ 内の各 f は和 f = g + h として書くことが出来る。ただし g ∈ Lp0 および h ∈ Lp1 である。
特に上述の結果は、Lpθ はすべての可測函数からなる空間内の Lp0 + Lp1 および Lp0と Lp1 の加法的和集合 に属することを意味する。したがって、包含関係に関する次の系が得られる:
- 系 Lp0 ∩ Lp1 ⊂ Lpθ ⊂ Lp0 + Lp1.
実際、加法的和集合 Lp0 + Lp1 上で定義される作用素を扱うことはしばしばある。例えば、リーマン=ルベーグの補題によると、フーリエ変換は L1(Rd) を L∞(Rd) に写す有界作用素であり、プランシュレルの定理によるとフーリエ変換は L2(Rd) からそれ自身への有界作用素である。したがってフーリエ変換
F{displaystyle {mathcal {F}}}(L1 + L2) (Rd) へと拡張することが出来る:
は、次のように定めることで- F(f1+f2)=FL1(f1)+FL2(f2){displaystyle {mathcal {F}}(f_{1}+f_{2})={mathcal {F}}_{L^{1}}(f_{1})+{mathcal {F}}_{L^{2}}(f_{2})}
ただし f1 ∈ L1(Rd) および f2 ∈ L2(Rd) である。したがって、そのような作用素の振る舞いを「補間部分空間」Lpθ 上で調べることは自然な成り行きとなる。
そのため、元の例に戻り、加法的和集合 L1 + L2 上のフーリエ変換は同じ作用素の二つの具体化の和を取る事で得られることに注意されたい。すなわち
- FL1:L1(Rd)→L∞(Rd),{displaystyle {mathcal {F}}_{L^{1}}:L^{1}(mathbf {R} ^{d})to L^{infty }(mathbf {R} ^{d}),}
- FL2:L2(Rd)→L2(Rd){displaystyle {mathcal {F}}_{L^{2}}:L^{2}(mathbf {R} ^{d})to L^{2}(mathbf {R} ^{d})}
が成立する。これらは実際、部分空間 (L1 ∩ L2) (Rd) 上で一致するという意味で「同一の」作用素である。その共通部分には単函数が含まれるため、その作用素は L1(Rd) および L2(Rd) の両空間において稠密である。稠密に定義された連続函数は一意な拡張を許すため、
FL1{displaystyle {mathcal {F}}_{L^{1}}}FL2{displaystyle {mathcal {F}}_{L^{2}}} および
は「同一」と考えることに問題はない。
したがって、加法的和集合 Lp0 + Lp1 上の作用素を研究する問題は、本質的には二つの自然な空間 Lp0 および Lp1 から二つの目的空間 Lq0 および Lq1 への有界作用素を研究する問題に帰着される。そのような作用素は加法的和集合の空間 Lp0 + Lp1 を Lq0 + Lq1 に写すため、それらの作用素は補間空間 Lpθ を対応する補間空間 Lqθ に写すものであると期待することは自然である。
定理の内容[編集]
リース=ソリンの補間定理を述べる上でいくつかの方法がある[1]:前節での記号を利用するために、ここでは加法的和集合を用いた方式を採用する。
- リース=ソリンの補間定理 (Ω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 < θ < 1 に対し、pθ, qθ を前節のように定義する。このとき T は Lpθ(μ1) から Lqθ(μ2) への有界作用素であり、作用素ノルムに関する次の不等式を満たす:
- ‖T‖Lpθ→Lqθ≤‖T‖Lp0→Lq01−θ‖T‖Lp1→Lq1θ.{displaystyle |T|_{L^{p_{theta }}to L^{q_{theta }}}leq |T|_{L^{p_{0}}to L^{q_{0}}}^{1-theta }|T|_{L^{p_{1}}to L^{q_{1}}}^{theta }.}
言い換えると、T が (p0, q0)-型かつ (p1, q1)-型であるなら、T はすべての 0 < θ < 1 に対して (pθ, qθ)-型ということになる。このため、この補間定理は絵を用いて表現することが出来る。実際 T のリース図(Riesz diagram)は、単位正方形 [0, 1] × [0, 1] 内の点 (1/p、1/q) で T が (p, q)-型であるようなものすべての集合として描かれる。補間定理は、T のリース図が凸集合であることを述べている。すなわち、リース図内の与えられた二点に対して、それらを結ぶ線分もまたその図に含まれる。
この補間定理は、元々リース・マルツェルによって1927年に証明された[2]。その1927年の論文では、リース図の下半分の三角形、すなわち、p0 ≤ q0 かつ p1 ≤ q1 が成り立つ部分においてのみ証明が与えられた。オロフ・ソリンはその残りの部分も含めた正方形全体に対して補間定理を拡張した。ソリンの証明は元々1938年に出版され、1948年の彼の学位論文で拡張された[3]。
証明の概要[編集]
リース=ソリンの補間定理の証明は、必要な上界を得る上で、アダマールの三線定理に主に依っている。Lp空間の双対空間の特徴付けにより、次の等式が成立することが分かる。
- ‖Tf‖qθ=sup‖g‖pθ≤1|∫(Tf)gdμ2|.{displaystyle |Tf|_{q_{theta }}=sup _{|g|_{p_{theta }}leq 1}left|int (Tf)g,dmu _{2}right|.}
C 内の各 z に対し、 f および g の適切な派生形 fz および gz を定義することで、次の整函数
- ϕ(z)=∫(Tfz)gzdμ2{displaystyle phi (z)=int left(Tf_{z}right)g_{z},dmu _{2}}
を得ることが出来る。この z = θ での値は
- ∫(Tf)g{displaystyle int (Tf)g}
となる。このとき、直線 Re(z) = 0 および Re(z) = 1 上での Φ の上界を得るために仮定を用いることが出来る。するとアダマールの三線定理によって、直線 Re(z) = θ 上の Φ の補間的な上界を得ることが出来る。あとはその z = θ での上界が求めるものであることを調べればよい。
作用素の族の補間[編集]
前節で紹介されている証明の概要は、すでに T が解析的に変動する場合に対しても一般化されている。実際、整函数
- φ(z)=∫(Tzfz)gzdμ2{displaystyle varphi (z)=int (T_{z}f_{z})g_{z},dmu _{2}}
の上界を得る上ためには、同様の証明を行えば良い。すると、エリアス・スタインの1956年の論文において出版された次の結果が導かれる[4]。
- スタインの補間定理. (Ω1, Σ1, μ1) および (Ω2, Σ2, μ2) をσ-有限測度空間とする。1 ≤ p0 ≤ p1 ≤ ∞, 1 ≤ q0 ≤ q1 ≤ ∞ を仮定し、次を定義する:
- S = {z ∈ C : 0 < Re(z) < 1} ,
- S = {z ∈ C : 0 ≤ Re(z) ≤ 1} .
- L1(μ1) 内の単函数の空間から、Ω2 上のすべての μ2-可測函数の空間への線型作用素の集まり {Tz : z ∈ S} を考える。この作用素に対し、次の性質を仮定する:
-
- z↦∫(Tzf)gdμ2{displaystyle zmapsto int (T_{z}f)g,dmu _{2}}
- は、すべての単函数 f および g に対して、S 上連続かつ S 上正則である。
- ある定数 k < π に対し、それらの作用素は次の一様有界性を満たす:
-
- supz∈Se−k|Im(z)||∫(Tzf)gμ2|<∞{displaystyle sup _{zin S}e^{-k|{text{Im}}(z)|}left|int (T_{z}f)g,mu _{2}right|
- Tz は、Re(z) = 0 なら、 Lp0(μ1) から Lq0(μ2) への有界作用素である。
- Tz は、Re(z) = 1 なら、Lp1(μ1) から Lq1(μ2) への有界作用素である。
- 作用素ノルムは次の一様有界性を満たす。
-
- supRe(z)=0,1e−k|Im(z)|log‖Tz‖<∞.{displaystyle sup _{{text{Re}}(z)=0,1}e^{-k|{text{Im}}(z)|}log left|T_{z}right|
-
- すると、各 0 < θ < 1 に対し、作用素 Tθ は Lpθ(μ1) から Lqθ(μ2) への有界作用素となる。
実ハーディ空間と有界平均振動の理論により、ハーディ空間 H1(Rd) と有界平均振動の空間 BMO 上の作用素を扱う上でスタインの補間定理を使うことが可能となる。これはチャールズ・フェファーマンとエリアス・スタインによる結果である[5]。
ハウスドルフ=ヤングの不等式[編集]
本記事の第一節で、フーリエ変換
F{displaystyle {mathcal {F}}}L1(Rd) から L∞(Rd) への有界作用素かつ L2(Rd) からそれ自身への有界作用素であることが確かめられた。同様の議論により、周期函数 f : T → C を、値がフーリエ係数
は- f^(n)=12π∫−ππf(x)e−inxdx{displaystyle {hat {f}}(n)={frac {1}{2pi }}int _{-pi }^{pi }f(x)e^{-inx},dx}
であるような函数
f^:Z→C{displaystyle {hat {f}}:mathbf {Z} to mathbf {C} }L1(T) から ℓ∞(Z) への有界作用素かつ L2(T) から ℓ2(Z) への有界作用素であることが分かる。このとき、リース=ソリンの定理は次を意味する:
に写すフーリエ級数作用素は、- ‖Ff‖Lq(Rd)≤‖f‖Lp(Rd)‖f^‖ℓq(Z)≤‖f‖Lp(T).{displaystyle {begin{aligned}left|{mathcal {F}}fright|_{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{aligned}}}
ただし 1 ≤ p ≤ 2 かつ 1/p + 1/q = 1 である。これはハウスドルフ=ヤングの不等式である。
ハウスドルフ=ヤングの不等式はまた、局所コンパクトアーベル群上のフーリエ変換に対しても成立することが示される。ここで 1 のノルム評価は最適ではないことに注意されたい。例えばハウスドルフ=ヤングの不等式の記事を参照されたい。
畳み込み作用素[編集]
f を固定された可積分函数とし、T を f との畳み込み作用素、すなわち各函数 g に対して Tg = f * g で与えられる作用素とする。
このような T が L1 から L1 への有界作用素であることはよく知られており、L∞ から L∞ への有界作用素であることは自明である(いずれの場合も、|| f ||1 によって評価される)。したがって、リース=ソリンの定理より次が成立する。
- ‖f∗g‖p≤‖f‖1‖g‖p.{displaystyle |f*g|_{p}leq |f|_{1}|g|_{p}.}
この不等式に対し、作用素と被作用子の役割を変える、すなわち S を g との畳み込み作用素とし、S は L1 から Lp への有界作用素である場合を考える。g は Lp に属すため、ヘルダーの不等式の観点から、S は Lq から L∞ への有界作用素であることが再び分かる。ただし 1/p + 1/q = 1 である。したがって補間により
- ‖f∗g‖s≤‖f‖r‖g‖p{displaystyle |f*g|_{s}leq |f|_{r}|g|_{p}}
が得られる。ただし p、r および s の間の関係は次で与えられる。
- 1r+1p=1+1s.{displaystyle {frac {1}{r}}+{frac {1}{p}}=1+{frac {1}{s}}.}
ヒルベルト変換[編集]
f : R → C のヒルベルト変換は次で与えられる。
- Hf(x)=1πp.v.∫−∞∞f(x−t)tdt=(1πp.v.1t∗f)(x){displaystyle {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 fright)(x)} ,
ここで p.v. は積分のコーシーの主値を表す。このヒルベルト変換は、ある特定の単純な乗数を伴うフーリエ乗数作用素である:
- Hf^(ξ)=−isgn(ξ)f^(ξ).{displaystyle {widehat {{mathcal {H}}f}}(xi )=-i,mathrm {sgn} (xi ){hat {f}}(xi ).}
プランシュレルの定理より、ヒルベルト変換は L2(R) からそれ自身への有界作用素となる。
しかし、ヒルベルト変換は L1(R) あるいは L∞(R) 上で有界とはならず、直接的にリース=ソリンの補間定理を用いることは出来ない。それらの終点の境界が得られない理由を探るためには、簡単な函数 1(−1,1)(x) および 1(0,1)(x) − 1(0,1)(−x) のヒルベルト変換を計算すれば十分である。しかし、すべてのシュワルツ函数 f : R → C に対しては
- (Hf)2=f2+2H(fHf){displaystyle ({mathcal {H}}f)^{2}=f^{2}+2{mathcal {H}}(f{mathcal {H}}f)}
が成り立ち、この等式は、すべての n ≥ 2 に対してヒルベルト変換が L2n(Rd) からそれ自身への有界作用素を示すために、コーシー=シュワルツの不等式と組合せて用いることが出来る。補間によって、次の評価が得られる:
- ‖Hf‖p≤Ap‖f‖p.{displaystyle |{mathcal {H}}f|_{p}leq A_{p}|f|_{p}.}
ただし 2 ≤ p < ∞ である。1 ≤ p ≤ 2 の場合にこの評価を適用する上では、ヒルベルト変換の自己共役性が活用される。
実補間法との比較[編集]
リース=ソリンの補間定理とその変形版は、補間された作用素ノルムに関する明確な推定を与える上で有用な道具となる一方、それらには多くの欠点も存在する。その内いくつかは主要なものではないが、いくつかはより厳しい欠点である。はじめに、リース=ソリンの補間定理の証明における複素解析的な設定により、スカラー場は C とされることに注意されたい。拡大実数値函数に対しては、この制限は函数を至る所で有界であるように再定義することによって回避することが出来る。可積分函数に関してはほとんど至る所で有界とすればよい。より深刻な問題は、実際、ハーディ=リトルウッド極大作用素や
カルデロン=ジグムントの補題のような多くの作用素には良い終点評価が存在しないことである[6]
前節のヒルベルト変換の場合では、いくつかの中点でのノルム評価を陽的に計算することによって、この問題を回避することが出来た。しかしこれは厄介な問題で、一般の場合では同様の手順は頻繁には用いることが出来ない。そのような作用素の多くは次の弱型評価(weak-type estimates)
-
μ({x:Tf(x)>α})≤(Cp,q‖f‖pα)q{displaystyle mu left({x:Tf(x)>alpha }right)leq left({frac {C_{p,q}|f|_{p}}{alpha }}right)^{q}}
マーシンキウィッツの補間定理のような実補間定理はそれらに対してより適切なものとなる。さらに、ハーディ=リトルウッド極大作用素のような重要な作用素の多くは、劣線型であるに過ぎない。これは実補間定理を適用する上での障害ではないが、複素補間定理は非線型作用素を扱う上では不十分である。一方、実補間法は複素補間法と比較して、中間の作用素ノルムに関するよくない評価を与え、リース図における非対角も同様に良い振る舞いはしない。マーシンキウィッツの補間定理の非対角版では、ローレンツ空間の構成が求められ、Lp-空間上のノルム評価は必ずしも得られない。
ミチャギンの定理[編集]
B. ミチャギンは、リース=ソリンの定理を次のように拡張した:ここで述べられる拡張は、シャウダー基底を伴う数列空間の特別な場合に対して定式化されるものである。
次を仮定する。
- ‖A‖ℓ1→ℓ1,‖A‖ℓ∞→ℓ∞≤M.{displaystyle |A|_{ell _{1}to ell _{1}},|A|_{ell _{infty }to ell _{infty }}leq M.}
このとき
- ‖A‖X→X≤M{displaystyle |A|_{Xto X}leq M}
が任意の無条件バナッハ空間の列 X 、すなわち、任意の
(xi)∈X{displaystyle (x_{i})in X}(εi)∈{−1,1}∞{displaystyle (varepsilon _{i})in {-1,1}^{infty }} および
‖(εixi)‖X=‖(xi)‖X{displaystyle |(varepsilon _{i}x_{i})|_{X}=|(x_{i})|_{X}} に対して
が満たされるようなものに対して成り立つ。
この証明は、クレイン=ミルマンの定理に基づく。
関連項目[編集]
- ^ Stein and Weiss (1971) および Grafakos (2010) では単函数上の作用素が用いられ、Muscalu and Schlag (2013) では共通部分 Lp0 ∩ Lp1 の一般の稠密部分集合上の作用素が用いられている。それらとは対照的に、Duoanddikoetxea (2001)、Tao (2010) および Stein and Shakarchi (2011) では、本節で説明している加法的和集合の式が用いられている。
- ^ Riesz (1927) を参照。証明では双線型形式の理論における凸性に関する結果が利用された。このため Stein and Weiss (1971) などの多くの古典的な文献では、この定理のことはリースの凸性定理(Riesz convexity theorem)と呼ばれている。
- ^ Thorin (1948)
- ^ Stein (1956). チャールズ・フェファーマンの書 Fefferman, Fefferman, Wainger (1995) で指摘されているように、スタインの補間定理の証明は本質的にはリース=ソリンの定理と同じであるが、作用素には z が加えられている。この埋め合わせのために、Isidore Isaac Hirschman, Jr.によるアダマールの三線定理のより強いヴァージョンが用いられ、求める上界が得られている。詳細な証明については Stein and Weiss (1971) を参照されたい。またこの定理のハイレヴェルな解説については a blog post of Tao を参照されたい。
- ^ Fefferman and Stein (1972)
- ^ エリアス・スタイン は、調和解析に現れる興味深い作用素が L1 や L∞ 上で有界であることは滅多にないと述べている。
参考文献[編集]
- Dunford, N.; Schwartz, J.T. (1958), Linear operators, Parts I and II, Wiley-Interscience .
- Fefferman, Charles; Stein, Elias M. (1972), “
Hp{displaystyle H^{p}} Spaces of Several variables”, Acta Mathematica 129: 137–193 - Glazman, I.M.; Lyubich, Yu.I. (1974), Finite-dimensional linear analysis: a systematic presentation in problem form, Cambridge, Mass.: The M.I.T. Press . Translated from the Russian and edited by G. P. Barker and G. Kuerti.
- Hörmander, L. (1983), The analysis of linear partial differential operators I, Grundl. Math. Wissenschaft., 256, Springer, ISBN 3-540-12104-8, MR0717035 .
- Mitjagin [Mityagin], B.S. (1965), “An interpolation theorem for modular spaces (Russian)”, Mat. Sb. (N.S.) 66 (108): 473–482 .
- Thorin, G. O. (1948), “Convexity theorems generalizing those of M. Riesz and Hadamard with some applications”, Comm. Sem. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.] 9: 1–58, MR0025529
- Riesz, Marcel (1927), “Sur les maxima des formes bilinéaires et sur les fonctionnelles linéaires”, Acta Mathematica 49: 465–497
- Stein, Elias M. (1956), “Interpolation of Linear Operators”, Trans. Amer. Math. Soc. 83: 482–492
- Stein, Elias M.; Shakarchi, Rami (2011), Functional Analysis: Introduction to Further Topics in Analysis, Princeton University Press
- Stein, Elias M.; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press
Recent Comments