概周期函数

数学における概周期函数（がいしゅうきかんすう、）とは、大雑把に言うと、適切に長く well-distributed な「概周期」が与えられた際、任意の正確さのもとで周期的であるような実数函数のことを言う。この概念はハラルト・ボーアによって初めて研究され、、ヘルマン・ワイル、やその他の研究者によって一般化された。局所コンパクトアーベル群上の概周期函数の概念は、ジョン・フォン・ノイマンによって初めて研究された。
概周期性（almost periodicity）は、位相空間に沿った力学系の経路を（正確ではないが）逆に辿る際に現れる性質である。一例として、尽数関係にない周期で動く軌道上の惑星（すなわち、整数ベクトルに比例しない周期ベクトル）を伴う惑星系が挙げられる。ディオファントス近似に現れるクロネッカーの定理によると、一度現れた任意の配置の形状は、任意に指定した精度で再現する。すなわち、十分長く待てば、すべての惑星はかつて居た位置からたとえば角度 1 秒以内の位置にまた戻ってくることが分かる。
動機.
概周期函数にはいくつかの同値でない定義が存在する。第一の定義はハラルト・ボーアによって与えられた。彼の興味は、初めは有限ディリクレ級数に注がれていた。実際、リーマンゼータ函数 ζ("s") に関する級数を有限にするために打ち切ることで、次の型の項の有限和が得られる。
ただし "s" は実部 "σ" と虚部 "it" の和 ("σ" + "it") として書かれている。"σ" を固定し、複素平面内の単一の縦軸にのみ注意することで、上の表現を書き換えた次のものを考えることが出来る。
このようなｎについての項の「有限」和を取る事で、領域 σ < 1 への解析接続の困難さを避けることが出来る。ここで「振動数」 log "n" はすべて通約できない（それらは整数 "n" が乗法独立である限り、有理数上で線形独立である。したがってそれらの素因数分解に帰着される）。
独立な振動数の三角多項式のタイプを考えるための、この初めの動機をもって、様々なノルムに基づいて基礎函数の集合の閉包を議論するために解析学が利用された。
その他のノルムを使った理論は、、、ヘルマン・ワイル、ジョン・フォン・ノイマン、アラン・チューリング、サロモン・ボホナーやその他の研究者によって1920年代および1930年代に発展された。
一様あるいはボーアあるいはボホナー概周期函数.
 は、（R 上の有界函数 "f" に対する）一様ノルム
に関する三角多項式の閉包として、一様概周期函数（uniformly almost-periodic function）を定義した。言い換えると、ある函数 "f" が一様概周期的であるとは、すべての ε > 0 に対し、一様ノルムに関して "f" からの距離が ε よりも小さいような正弦波と余弦波の有限な線形結合が存在することを言う。ボーアは、任意の ε > 0 に対し、この定義は ε 概周期のの存在と同値であることを証明した。すなわち、与えられたεに対して、変数 "t" についての平行移動 "T"(ε) = "T" によって
が得られる。 による代わりの定義は、ボーアのものと同値で、次のように比較的簡単に述べることが出来る：
函数 "f" が概周期的であるとは、"f" の平行移動のすべての列 {"ƒ"("t" + "T""n")} が、(−∞, +∞) 内の "t" に関する一様収束部分列を持つことを言う。
ボーアの概周期函数は、本質的には実数のに関する連続函数と同じである。
ステパノフの概周期函数.
"p" ≥ 1 に対するステパノフの概周期函数の空間 "S""p" は、V.V. によって導入された。この空間はボーアの概周期函数の空間を含むものであり、任意の固定された正の値 "r" に対するノルム
の下での三角多項式の閉包である。"r" の値が異なる場合でも、ノルムは同じ位相を与えるので、同じ概周期函数の空間が導かれる（ただしこの空間上のノルムは "r" の選び方に依存する）。
ワイルの概周期函数.
"p" ≥ 1 に対するワイルの概周期函数の空間 "W""p" は、 によって導入された。この空間はステパノフの概周期函数の空間 "S""p" を含むものであり、セミノルム
の下での三角多項式の閉包である。注意：コンパクトな台を持つ任意の有界函数のように、||"ƒ"||W,p = 0 を満たす非ゼロの函数 "ƒ" が存在する。したがってバナッハ空間を得るためには、それらの函数を除外する必要がある。
ベシコヴィッチの概周期函数.
ベシコヴィッチの概周期函数の空間 "B""p" は、 によって導入された。この空間はセミノルム
の下での三角多項式である。注意：コンパクトな台を持つ任意の有界函数のように、||"ƒ"||B,"p" = 0 となる非ゼロの函数 "ƒ" が存在する。したがってバナッハ空間を得るためには、それらの函数を除く必要がある。
"B"2 内のベシコヴィッチの概周期函数は、（必ずしも収束しない）展開
を持つ。ただし Σ "a""n"2 は有限で λ"n" は実数である。逆に、このような級数はすべてあるベシコヴィッチの周期函数の展開である（一意ではない）。
"p" ≥ 1 に対するベシコヴィッチの概周期函数の空間 "B""p" は、ワイルの概周期函数の空間 "W""p" を含む。「null」函数からなる部分空間を除けば、この空間は実数のボーアのコンパクト化上の "L""p" 函数の空間と一致する。
局所コンパクトアーベル群上の概周期函数.
理論の発展と抽象的手法（、ポントリャーギン双対およびバナッハ環）の発見に伴い、一般論を構築することが可能となった。局所コンパクトアーベル群 "G" との関連において概周期性の一般のアイデアは、"G" による平行移動が相対コンパクト集合を形成するような "L"∞("G") 内の函数 "F" に対するものへと変わった。また同値であるが、概周期函数の空間は "G" の指標の有限線型結合のノルム閉包である。"G" がコンパクトであるなら、概周期函数は連続函数と等しい。
"G" のは、"G" の双対群のあり得るすべての不連続指標からなるコンパクトアーベル群で、"G" を稠密部分群として含むコンパクト群である。"G" 上の一様概周期函数の空間は、"G" のボーアコンパクト化上のすべての連続函数の空間と一致する。より一般に、ボーアコンパクト化は任意の位相群 "G" に対して定義でき、そのボーアコンパクト化上の連続あるいは "L""p" 函数の空間は "G" 上の概周期函数と見なされる。局所コンパクトな連結群 "G" に対し、"G" からそのボーアコンパクト化への写像が単射であるための必要十分条件は、"G" があるコンパクト群の中心拡大であること、あるいは同値であるが、コンパクト群と有限次元ベクトル空間との積であることである。
音響および音楽合成における準周期信号.
音声処理、音響信号処理および音楽合成において、準周期信号あるいは準調和信号としばしば呼ばれるものは、実質的には微視的に周期的であるが、必ずしもそうではない波形のことを言う。これは Wikipedia の記事準周期函数において説明されているものとは異なり、周期が実質的には近接する周期と同等であるが、はるか先の時間における周期とは必ずしも同等ではないという意味で、むしろ概周期函数に類似の概念である。これは、（初期の響波の後に）すべてのあるいは倍音が調和的となる（すなわち、すべての倍音は元の音の基本周波数の整数倍の周波数である）ような音楽のケースに現れる。
いま信号 formula_9 が周期 formula_10 で全周期的（fully periodic）であるなら、その信号は
あるいは
を満たす。このフーリエ級数表現は、
あるいは
となる。但し formula_15 は基本周波数であり、フーリエ係数は次のようになる：
基本周波数 formula_20 およびフーリエ係数 formula_21、formula_22、formula_23 あるいは formula_24 は定数である。すなわちそれらは時間の関数ではない。調和周波数は、基本周波数の整数倍である。
他方で　formula_9 が準周期的（quasiperiodic）であるならば、
あるいは
が成立する。但し
である。今、フーリエ級数表現は
あるいは
または
となる。但し formula_32 は起こり得る「時間変動的」な基本周波数であり、フーリエ係数は
となる。また各部分波に対する瞬時周波数（instantaneous frequency）は、
となる。この準周期的な場合において、基本周波数 formula_36、調和周波数 formula_37 およびフーリエ係数 formula_38、formula_39、formula_40 あるいは formula_41 は必ずしも定数ではなく、ゆっくりと変動する時間についての関数である。換言すると、これらの時間関数は、準周期的であるように考えられるため、formula_9 に対する基本周波数よりもはるかに小さく帯域制限される。
部分周波数 formula_37 はほとんど調和的であるが、必ずしも完全にそうであるとは限らない。formula_41 の時間微分 formula_45 はそのような部分波をそれらの正確な整数調和値 formula_46 から離調する効果を持つ。急速に変化する formula_41 は、その部分波に対する瞬時周波数が整数調和値から著しく離調されることを意味し、この場合 formula_9 は準周期的ではないと考えられる。