マルチンケーヴィッチの定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > マルチンケーヴィッチの定理の意味・解説 

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

(Marcinkiewicz interpolation theorem から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/04/16 09:05 UTC 版)

数学において、Józef Marcinkiewicz (1939)により発見されたマルチンケーヴィッチの補間定理(マルチンケーヴィッチのほかんていり、: Marcinkiewicz interpolation theorem)とは、Lp空間上の非線型作用素のノルム評価を与える一結果である。

マルチンケーヴィッチの定理は、線型作用素に関するリース=ソリンの定理と似ているが、非線型作用素に対しても適用できる。

準備

f を、測度空間 (XF, ω) 上で定義される実数値あるいは複素数値の可測関数とする。f分布関数は次で定義される。

このとき f であるとは、ある定数 C が存在して、f の分布関数が任意の t > 0 に対して次の不等式を満たすことをいう:

この不等式を満たす最小の C のことを ノルムといい、通常 あるいは と表す。同様に、この関数による空間を通常 L1,w あるいは L1,∞ と表す。

(注釈:この表記はわずかに誤解を招くおそれがある。実際、 上の関数 の和のノルムは 2 ではなく 4 であることについて考えれば分かるが、弱ノルムは三角不等式を満たさない。)

任意の L1 関数は L1,w に属し、次の不等式が成り立つ。

これはマルコフの不等式(チェビシェフの不等式としても知られる)に他ならない。この逆は真ではない。例えば、関数 1/xL1,w に属すが、L1 には属さない。

同様に、L1,w に属すような関数 f の空間として 空間を定義することが出来る。このとき ノルムは次で定義できる。

より具体的に、Lp,w ノルムは、任意の t > 0 に対して次の不等式を満たす最小の C で定義される。

定理

マルシンケーヴィッチの定理は、非公式的には次のようなものである。

定理T から への有界線型作用素であり、同時に から への有界線型作用素でもあるとする。このとき pq の間の任意の r に対して、T から への有界線型作用素となる。

言い換えると、端点 p および q での弱有界性のみを仮定したとしても、その内側では通常の有界性が得られるということになる。これをより正式に言うために、T稠密部分集合上でのみ有界で完全であることを説明する必要がある。詳細についてはリース=ソリンの定理を参照されたい。

マルチンケーヴィッチの定理がリース=ソリンの定理よりも弱い点は、ノルムの評価である。この定理では T ノルムに対する上界が与えられているが、rp あるいは q に収束につれてこの上界は発散する。具体的に (DiBenedetto 2002, Theorem VIII.9.2)、次を仮定する。

すなわち Lp から Lp,w へのT作用素ノルムは高々 Np であり、 Lq から Lq,w へのT作用素ノルムは高々 Nq である。このとき、次の補間不等式が、pq の間のすべての r と、すべての f ∈ Lr に対して成り立つ:

ここで

および

である。この定数 δ および γ は、q=∞ に対しても極限を取ることで与えられる。

関連項目

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「マルチンケーヴィッチの定理」の関連用語

マルチンケーヴィッチの定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



マルチンケーヴィッチの定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのマルチンケーヴィッチの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS