フレシェ＝コルモゴロフの定理

フレシェ＝コルモゴロフの定理

フレシェ＝コルモゴロフの定理は、数学における函数解析学の基本的な定理であり、特に関数集合がLp空間において相対コンパクトであるための基準を提供します。この定理は、リースやヴェイユといった他の著名な数学者の名前が関連付けられることがあり、アスコリ＝アルツェラの定理のLp版としても理解されます。

定理の概要

定理の内容として、まずpが1以上無限大以下の実数であるとし、BをL^p(R^n)内の有界集合とします。このとき、Bが相対コンパクトであるためには、以下の2つの条件が成り立つ必要があります。

1. 有界集合Bに対して、媒介変数rが無限大に近づく際にB上で次の等式が成り立つこと：

\[
\lim _{r\to \infty }\int _{|x|>r}|f|^{p}dx=0
\]

これは、B内の関数が無限遠で小さくなることを示します。

2. もう一つの条件は、次のように定義される並進作用素\(\tau_{a}f\)が関数fに対して成り立つことです：

\[
\lim _{a\to 0}\Vert \tau_{a}f-f\Vert _{L^{p}(\mathbb{R}^{n})}=0
\]

ここで、\(\tau_{a}f(x)=f(x-a)\)は、引数xに対して、aだけ平行移動させた関数を表します。この場合、任意の正の数εに対して、ある正の数δが存在し、|a|がδより小さいすべてのaと、Bのすべてのfに対して次の不等式が成立します：

\[
\Vert \tau_{a}f-f\Vert _{L^{p}(\mathbb{R}^{n})}<\varepsilon
\]

これにより、関数fが平行移動に対して連続的であることが示されます。

重要性

この定理は、解析的および幾何的な性質を理解するための強力な道具であり、高次元空間における関数の振る舞いを解析する際によく用いられます。また、関数の集まりの収束性やコンパクト性を分析する上で、非常に重要な役割を果たします。この理論は、一部の物理学的な問題や最適化問題、さらには偏微分方程式に関連する研究分野でも応用されています。

参考文献

• - Brezis, Haïm (2010). Functional analysis, Sobolev spaces, and partial differential equations. Universitext. Springer. p. 111. ISBN 978-0-387-70913-0
• - Marcel Riesz, « Sur les ensembles compacts de fonctions sommables », dans Acta Sci. Math., vol. 6, 1933, p. 136–142
• - Precup, Radu (2002). Methods in nonlinear integral equations. Springer. p. 21. ISBN 978-1-4020-0844-3

もう一度検索