ボホナーの定理

ボホナーの定理（ボホナーのていり、英: Bochner's theorem）は、実数直線上の正の有限なボレル測度のフーリエ変換を特徴付ける定理である。この定理はサロモン・ボホナー（Salomon Bochner）にちなんで命名された。

より一般的には、調和解析において、局所コンパクトアーベル群上の連続な正定値関数と、そのポントリャーギン双対群上の有限な正の測度との間に対応関係があることを述べる。

離散群に対する特別な場合は、グスタフ・ヘルグロッツによって最初に示され、ヘルグロッツ表現定理とも関係する。
 局所コンパクトアーベル群における定理 
局所コンパクトアーベル群  に対し、ポントリャーギン双対群を  とする。

定理： 上の正規化された連続正定値関数  に対して、 上の一意な確率測度  が存在し、次の等式が成り立つ：逆に、 上の確率測度  のフーリエ変換もまた、 上の正規化された連続正定値関数となる。

この対応はC*-環  と  の間のゲルファンド変換に対応する同型写像として解釈できる。

証明は、 の強連続なユニタリ表現とベクトル状態を用いて構成される。

まず、 を、 上の有限個の点でのみ非零となる複素数値関数の集合とする。この空間上に、関数  によって定義される正定値カーネル：

を用いて内積を導入し、退化部分空間を商空間化し完備化することでヒルベルト空間  が得られる。

次に、 の各元  に対してシフト作用素  を：

により定義する。これはユニタリ作用素であり、写像  によって得られる表現は、 の強連続なユニタリ表現となる。

このとき、が成り立つ。ここで  は、 の単位元で1、それ以外で0となる関数の同値類である。このベクトル状態は、 上の状態として  上の状態の引き戻しに対応し、ある確率測度  による積分として表現される：逆に、 を  上の確率測度とすると、上記の式で定義される関数  は連続な正定値関数となり、ルベーグの収束定理により連続性、ヒルベルト空間上のベクトル状態によって正定値性が保証される。
 特殊な場合 
特に、離散群  に対するボホナーの定理は、しばしばヘルグロッツの定理として知られる。

 が  かつ正定値であるとき、単位円周  上の確率測度  が存在して：と表される。また、 が  上の連続関数で  を満たすとき、正定値性と以下の積分表現は同値である：

 応用 
統計学において、ボホナーの定理は時系列解析に応用され、自己共分散関数のフーリエ変換としてスペクトル密度関数が定式化される。

平均0の定常時系列  に対して、共分散関数

は正定値関数となる。

ボホナーの定理により、区間  上の一意な正の測度  が存在し、

と表される。この  はスペクトル測度と呼ばれ、時系列の周期構造を記述する。

例として、 を  次単位根、 を平均0・分散1の確率変数としたとき、時系列  に対して：

となり、対応するスペクトル測度は  におけるディラック測度である。 の減衰が速い場合、 は絶対連続となり、そのラドン＝ニコディム導関数  はスペクトル密度関数と呼ばれ、 のとき  はそのフーリエ変換に一致する。
 関連項目 

 Bochner–Minlosの定理
 特性関数 (確率論)
 正定値関数
 調和解析
 フーリエ変換

 脚注 

 参考文献 

 M. Reed and Barry Simon, Methods of Modern Mathematical Physics, vol. II, Academic Press, 1975.


Category:統計学の定理
Category:フーリエ解析の定理
Category:関数解析学の定理
Category:測度論の定理
Category:調和解析の定理
Category:数学のエポニム
Category:数学に関する記事