概周期函数のソースを表示

[[数学]]における'''概周期函数'''（がいしゅうきかんすう、{{Lang-en-short|almost periodic function}}）とは、大雑把に言うと、適切に長く well-distributed な「概周期」が与えられた際、任意の正確さのもとで[[周期函数|周期的]]であるような実数函数のことを言う。この概念は[[ハラルト・ボーア]]によって初めて研究され、{{仮リンク|ヴィアチェスラフ・ステパノフ|en|Vyacheslav Stepanov}}、[[ヘルマン・ワイル]]、{{仮リンク|エイブラム・サモイロヴィッチ・ベシコヴィッチ|en|Abram Samoilovitch Besicovitch}}やその他の研究者によって一般化された。[[ポントリャーギン双対|局所コンパクトアーベル群]]上の概周期函数の概念は、[[ジョン・フォン・ノイマン]]によって初めて研究された。

'''概周期性'''（almost periodicity）は、[[位相空間 (物理学)|位相空間]]に沿った[[力学系]]の経路を（正確ではないが）逆に辿る際に現れる性質である。一例として、尽数関係にない[[周期函数|周期]]で動く[[軌道 (力学)|軌道]]上の[[惑星]]（すなわち、[[整数]][[ベクトル空間|ベクトル]]に[[比例]]しない周期ベクトル）を伴う[[惑星系]]が挙げられる。[[クロネッカーの定理#ディオファントス近似での結果|ディオファントス近似に現れるクロネッカーの定理]]によると、一度現れた任意の配置の形状は、任意に指定した精度で再現する。すなわち、十分長く待てば、すべての惑星はかつて居た位置からたとえば角度 1 [[秒 (角度)|秒以内の位置に]]また戻ってくることが分かる。

== 動機 ==

概周期函数にはいくつかの同値でない定義が存在する。第一の定義は[[ハラルト・ボーア]]によって与えられた。彼の興味は、初めは有限[[ディリクレ級数]]に注がれていた。実際、[[リーマンゼータ函数]] ζ(''s'') に関する級数を有限にするために打ち切ることで、次の型の項の有限和が得られる。

: <math>e^{(\sigma+it)\log n}\,</math>

ただし ''s'' は実部 ''σ'' と虚部 ''it'' の和 (''σ''&nbsp;+&nbsp;''it'') として書かれている。''σ'' を固定し、複素平面内の単一の縦軸にのみ注意することで、上の表現を書き換えた次のものを考えることが出来る。

: <math>n^\sigma e^{(\log n)it}.\,</math>

このようなｎについての項の「有限」和を取る事で、領域 σ&nbsp;<&nbsp;1 への[[解析接続]]の困難さを避けることが出来る。ここで「振動数」 log&nbsp;''n'' はすべて通約できない（それらは整数 ''n'' が乗法独立である限り、有理数上で線形独立である。したがってそれらの素因数分解に帰着される）。

独立な振動数の[[三角多項式]]のタイプを考えるための、この初めの動機をもって、様々な[[ノルム]]に基づいて基礎函数の集合の閉包を議論するために[[解析学]]が利用された。

その他のノルムを使った理論は、{{仮リンク|エイブラム・サモイロヴィッチ・ベシコヴィッチ|en|Abram Samoilovitch Besicovitch}}、{{仮リンク|ヴィアチェスラフ・ステパノフ|en|Vyacheslav Stepanov}}、[[ヘルマン・ワイル]]、[[ジョン・フォン・ノイマン]]、[[アラン・チューリング]]、[[サロモン・ボホナー]]やその他の研究者によって1920年代および1930年代に発展された。

=== 一様あるいはボーアあるいはボホナー概周期函数 ===

{{harvnb|Bohr (1925a)|ref="Bohr1925a"}} は、（'''R''' 上の有界函数 ''f'' に対する）[[一様ノルム]]
: <math>||f||_\infty = \sup_x|f(x)|</math>
に関する三角多項式の閉包として、'''一様概周期函数'''（uniformly almost-periodic function）を定義した。言い換えると、ある函数 ''f'' が一様概周期的であるとは、すべての ε > 0 に対し、一様ノルムに関して ''f'' からの距離が ε よりも小さいような正弦波と余弦波の有限な線形結合が存在することを言う。ボーアは、任意の ε > 0 に対し、この定義は '''ε 概周期'''の{{仮リンク|デローン集合|label=相対稠密集合|en|Delone set}}の存在と同値であることを証明した。すなわち、与えられたεに対して、変数 ''t'' についての平行移動 ''T''(ε)&nbsp;=&nbsp;''T'' によって

: <math>\left|f(t+T)-f(t)\right|<\varepsilon </math>

が得られる。{{harvtxt|Bochner|1927}} による代わりの定義は、ボーアのものと同値で、次のように比較的簡単に述べることが出来る：

<blockquote>函数 ''f'' が概周期的であるとは、''f'' の平行移動のすべての列 {''&fnof;''(''t''&nbsp;+&nbsp;''T''<sub>''n''</sub>)} が、(&minus;&infin;,&nbsp;+&infin;) 内の ''t'' に関する[[一様収束]]部分列を持つことを言う。
</blockquote>

ボーアの概周期函数は、本質的には実数の{{仮リンク|ボーアコンパクト化|en|Bohr compactification}}に関する連続函数と同じである。

=== ステパノフの概周期函数 ===

''p''&nbsp;≥&nbsp;1 に対するステパノフの概周期函数の空間 ''S''<sup>''p''</sup> は、V.V. {{harvnb|Stepanov (1925)|ref="Stepanoff1925"}} によって導入された。この空間はボーアの概周期函数の空間を含むものであり、任意の固定された正の値 ''r'' に対するノルム

: <math>||f||_{S,r,p}=\sup_x \left({1\over r}\int_x^{x+r} |f(s)|^p \, ds\right)^{1/p}</math>

の下での三角多項式の閉包である。''r'' の値が異なる場合でも、ノルムは同じ位相を与えるので、同じ概周期函数の空間が導かれる（ただしこの空間上のノルムは ''r'' の選び方に依存する）。

=== ワイルの概周期函数 ===

''p''&nbsp;≥&nbsp;1 に対するワイルの概周期函数の空間 ''W''<sup>''p''</sup> は、{{harvtxt|Weyl|1927}} によって導入された。この空間はステパノフの概周期函数の空間 ''S''<sup>''p''</sup> を含むものであり、セミノルム

: <math>||f||_{W,p}=\lim_{r\mapsto\infty}||f||_{S,r,p}</math>

の下での三角多項式の閉包である。注意：コンパクトな台を持つ任意の有界函数のように、||''&fnof;''||<sub>W,p</sub>&nbsp;=&nbsp;0 を満たす非ゼロの函数 ''&fnof;'' が存在する。したがって[[バナッハ空間]]を得るためには、それらの函数を除外する必要がある。

=== ベシコヴィッチの概周期函数 ===

ベシコヴィッチの概周期函数の空間 ''B''<sup>''p''</sup> は、{{harvtxt|Besicovitch|1926}} によって導入された。この空間はセミノルム

: <math>||f||_{B,p}=\limsup_{x \to\infty}\left({1\over 2x}\int_{-x}^x |f(s)|^p \, ds\right)^{1/p}</math>

の下での三角多項式である。注意：コンパクトな台を持つ任意の有界函数のように、||''&fnof;''||<sub>B,''p''</sub>&nbsp;=&nbsp;0 となる非ゼロの函数 ''&fnof;'' が存在する。したがってバナッハ空間を得るためには、それらの函数を除く必要がある。

''B''<sup>2</sup> 内のベシコヴィッチの概周期函数は、（必ずしも収束しない）展開

: <math>\sum a_ne^{i\lambda_n t}</math>

を持つ。ただし Σ&nbsp;''a''<sub>''n''</sub><sup>2</sup> は有限で λ<sub>''n''</sub> は実数である。逆に、このような級数はすべてあるベシコヴィッチの周期函数の展開である（一意ではない）。

''p''&nbsp;≥&nbsp;1 に対するベシコヴィッチの概周期函数の空間 ''B''<sup>''p''</sup> は、ワイルの概周期函数の空間 ''W''<sup>''p''</sup> を含む。「null」函数からなる部分空間を除けば、この空間は実数のボーアのコンパクト化上の ''L''<sup>''p''</sup> 函数の空間と一致する。

=== 局所コンパクトアーベル群上の概周期函数 ===

理論の発展と抽象的手法（{{仮リンク|ピーター＝ワイルの定理|en|Peter&ndash;Weyl theorem}}、[[ポントリャーギン双対]]および[[バナッハ環]]）の発見に伴い、一般論を構築することが可能となった。[[ポントリャーギン双対|局所コンパクトアーベル群]] ''G'' との関連において概周期性の一般のアイデアは、''G'' による平行移動が[[相対コンパクト]]集合を形成するような ''L''<sup>∞</sup>(''G'') 内の函数 ''F'' に対するものへと変わった。また同値であるが、概周期函数の空間は ''G'' の指標の有限線型結合のノルム閉包である。''G'' がコンパクトであるなら、概周期函数は連続函数と等しい。

''G'' の{{仮リンク|ボーアコンパクト化|en|Bohr compactification}}は、''G'' の双対群のあり得るすべての不連続指標からなるコンパクトアーベル群で、''G'' を稠密部分群として含むコンパクト群である。''G'' 上の一様概周期函数の空間は、''G'' のボーアコンパクト化上のすべての連続函数の空間と一致する。より一般に、ボーアコンパクト化は任意の位相群 ''G'' に対して定義でき、そのボーアコンパクト化上の連続あるいは ''L''<sup>''p''</sup> 函数の空間は ''G'' 上の概周期函数と見なされる。局所コンパクトな連結群 ''G'' に対し、''G'' からそのボーアコンパクト化への写像が[[単射]]であるための必要十分条件は、''G'' があるコンパクト群の中心拡大であること、あるいは同値であるが、コンパクト群と有限次元ベクトル空間との積であることである。

== 音響および音楽合成における準周期信号 ==

[[音声処理]]、[[音響信号処理]]および[[シンセサイザー|音楽合成]]において、'''準周期信号'''あるいは'''準調和信号'''としばしば呼ばれるものは、実質的には微視的に[[周期的]]であるが、必ずしもそうではない[[波形]]のことを言う。これは Wikipedia の記事[[準周期函数]]において説明されているものとは異なり、周期が実質的には近接する周期と同等であるが、はるか先の時間における周期とは必ずしも同等ではないという意味で、むしろ概周期函数に類似の概念である。これは、（初期の響波の後に）すべての{{仮リンク|倍音列|label=部分波|en|Harmonic series (music)}}あるいは[[倍音]]が[[高調波|調和的]]となる（すなわち、すべての倍音は元の音の[[基本周波数]]の整数倍の周波数である）ような音楽のケースに現れる。


いま信号 <math> x(t) \ </math> が周期 <math> T \ </math> で全周期的（fully periodic）であるなら、その信号は

: <math> x(t) = x(t + T) \ </math>

あるいは

: <math> \left| x(t) - x(t + T) \right| = 0 \text{ for all } t \ </math>

を満たす。この[[フーリエ級数]]表現は、

: <math>x(t) = \frac{1}{2}a_0 + \sum_{n=1}^\infty\left[a_n\cos(2 \pi n f_0 t) - b_n\sin(2 \pi n f_0 t)\right]</math>

あるいは

: <math>x(t) = \frac{1}{2}a_0 + \sum_{n=1}^\infty\left[r_n\cos(2 \pi n f_0 t + \varphi_n)\right]</math>

となる。但し <math> f_0 = \frac{1}{T} </math> は基本周波数であり、フーリエ係数は次のようになる：

: <math>a_n = r_n \cos \left( \varphi_n \right) = \frac{2}{T} \int_{t_0}^{t_0+T} x(t) \cos(2 \pi n f_0 t) \, dt  \ </math>

: <math>b_n = r_n \sin \left( \varphi_n \right)  = - \frac{2}{T} \int_{t_0}^{t_0+T} x(t) \sin(2 \pi n f_0 t) \, dt \ </math>

: 但し  <math> t_0 \ </math> は任意の時間：<math> -\infty < t_0 < +\infty \ </math>.

[[基本周波数]] <math> f_0 \ </math> およびフーリエ係数 <math> a_n \ </math>、<math> b_n \ </math>、<math> r_n \ </math> あるいは <math> \varphi_n \ </math> は定数である。すなわちそれらは時間の関数ではない。調和周波数は、基本周波数の整数倍である。


他方で　<math> x(t) \ </math> が'''準周期的'''（quasiperiodic）であるならば、

: <math> x(t) \approx x \left( t + T(t) \right) \ </math>

あるいは

: <math> \left| x(t) - x \left( t + T(t) \right) \right| < \varepsilon \ </math>

が成立する。但し

: <math> 0 < \epsilon \ll \left \Vert x \right \| = \sqrt{\overline{x^2}} = \sqrt{ \lim_{\tau \to \infty} \frac{1}{\tau} \int_{-\tau/2}^{\tau/2} x^2(t)\, dt } \ </math>

である。今、フーリエ級数表現は

: <math>x(t) = \frac{1}{2}a_0(t) \ + \ \sum_{n=1}^\infty \left[a_n(t)\cos \left(2 \pi n \int_{0}^{t} f_0(\tau)\, d\tau \right) - b_n(t)\sin \left( 2 \pi n \int_0^t  f_0(\tau)\, d\tau \right) \right]</math>

あるいは

: <math>x(t) = \frac{1}{2}a_0(t) \ + \ \sum_{n=1}^\infty\left[r_n(t)\cos \left( 2 \pi n \int_0^t f_0(\tau)\, d\tau + \varphi_n(t) \right) \right]</math>

または

: <math>x(t) = \frac{1}{2}a_0(t) \ + \ \sum_{n=1}^\infty \left[r_n(t)\cos \left( 2 \pi \int_0^t f_n(\tau)\, d\tau + \varphi_n(0) \right) \right]</math>

となる。但し <math> f_0(t) = \frac{1}{T(t)} </math> は起こり得る「時間変動的」な基本周波数であり、フーリエ係数は

: <math>a_n(t) = r_n(t) \cos \left( \varphi_n(t) \right) \ </math>

: <math>b_n(t) = r_n(t) \sin \left( \varphi_n(t) \right) \ </math>

となる。また各部分波に対する瞬時周波数（instantaneous frequency）は、

: <math> f_n(t) = n f_0(t) + \frac{1}{2 \pi} \varphi_n^\prime(t) \, </math>

となる。この準周期的な場合において、基本周波数 <math> f_0(t) \ </math>、調和周波数 <math> f_n(t) \ </math> およびフーリエ係数 <math> a_n(t) \ </math>、<math> b_n(t) \ </math>、<math> r_n(t) \ </math> あるいは <math> \varphi_n(t) \ </math> は必ずしも定数ではなく、ゆっくりと変動する時間についての関数である。換言すると、これらの時間関数は、準周期的であるように考えられるため、<math> x(t) \ </math> に対する基本周波数よりもはるかに小さく帯域制限される。

部分周波数 <math> f_n(t) \ </math> はほとんど調和的であるが、必ずしも完全にそうであるとは限らない。<math> \varphi_n(t) \ </math> の時間微分 <math> \varphi_n^\prime(t) \ </math> はそのような部分波をそれらの正確な整数調和値 <math> n f_0(t) \ </math> から離調する効果を持つ。急速に変化する <math> \varphi_n(t) \ </math> は、その部分波に対する瞬時周波数が整数調和値から著しく離調されることを意味し、この場合 <math> x(t) \ </math> は準周期的ではないと考えられる。

== 関連項目 ==
* [[準周期函数]]
* [[周期函数]]
* {{仮リンク|準周期タイリング|en|Quasiperiodic tiling}}
* [[フーリエ級数]]
* [[アディティブ・シンセシス]]
* {{仮リンク|倍音列|en|Harmonic series (music)}}
* [[コンピュータ音楽]]

== 注釈 ==
<references />

== 参考文献 ==
* {{Citation | last =Amerio | first =Luigi | last2 =Prouse | first2 =Giovanni | title =Almost-periodic functions and functional equations | place =New York–Cincinnati–Toronto–London–Melbourne | publisher =Van Nostrand Reinhold|Van Nostrand Reinhold | series =The University Series in Higher Mathematics | year =1971 | pages =viii+184 | url =|accessdate= | doi = | id = | isbn = | mr = | zbl =|ref=harv}}.
* {{Citation|last=Besicovitch |first1 =A.S. |year= 1926|title= On generalized almost periodic functions |journal= Proc. London Math. Soc. |volume=2 |issue= 25|pages=495-512 |publisher= |doi = 10.1112/plms/s2-25.1.495 |url = |format = |accessdate =|ref= harv }}
* {{Citation|last=Besicovitch |first1 =A.S.|year=1932  |title= Almost periodic functions | place = | publisher = Cambridge Univ. Press| edition = | series= | volume = | isbn = | url = |format= |accessdate= |ref= harv }}
* {{citation | first=S.|last= Bochner | title=Beitrage zur Theorie der fastperiodischen Funktionen | journal= Mathematische Annalen | year=1927 | volume=96 | issue= | pages=119-147|url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002270994&IDDOC=27928|format=|accessdate=2014-12-03 | doi=10.1007/BF01209156|ref=harv}}
* {{Citation|last1= Bochner|first1 = S. |last2= Neumann | first2=J. von |year= 1935 |title=Almost Periodic Function in a Group II |journal=Trans. Amer. Math. Soc. |volume= 37|issue= 1|pages=21–50 |publisher= |doi = 10.2307/1989694 |url = http://www.ams.org/tran/1935-037-01/S0002-9947-1935-1501777-9/S0002-9947-1935-1501777-9.pdf |format =PDF |accessdate =2014-12-03|ref= harv }}
* {{Citation|last= Bohr |first =Harald |year= 1925a |title= Zur theorie der fast periodischen funktionen |journal= Acta Mathematica |volume= 45|issue=1 |pages=29-127 |publisher= Kluwer Academic Publishers|doi = 10.1007/BF02395468 |url = |format = |accessdate =|ref= "Bohr1925a"}}
* {{Citation|last= Bohr |first =Harald |year= 1925b |title= Zur Theorie der Fastperiodischen Funktionen |journal= Acta Mathematica |volume= 46|issue=1-2 |pages=101-214 |publisher= Kluwer Academic Publishers|doi = 10.1007/BF02543859 |url = |format = |accessdate =|ref= "Bohr1925b"}}
* {{Citation |last= Bohr |first =Harald |year=1947 |title= Almost-periodic functions | place = | publisher =Chelsea Pub Co. | edition =reprint  | series= | volume = | isbn = | url = |format= |accessdate= |ref=harv}}
* {{SpringerEOM|title=Almost-periodic function|last= Bredikhina|first=E.A.|urlname=Almost-periodic_function}}
* {{SpringerEOM|title=Besicovitch almost periodic functions|last= Bredikhina|first=E.A.|urlname=Besicovitch_almost-periodic_functions}}
* {{SpringerEOM|title=Bohr almost periodic functions|last= Bredikhina|first=E.A.|urlname=Bohr_almost-periodic_functions}}
* {{SpringerEOM|title=Stepanov almost periodic functions|last= Bredikhina|first=E.A.|urlname=Stepanov_almost-periodic_functions}}
* {{SpringerEOM|title=Weyl almost periodic functions|last= Bredikhina|first=E.A.|urlname=Weyl_almost-periodic_functions}}
* {{Citation|last=Neumann |first = J. von |year=1934 |title= Almost Periodic Functions in a Group I |journal= Trans. Amer. Math. Soc.|volume=36 |issue=3 |pages= 445-492|publisher= |doi = 10.1090/S0002-9947-1934-1501752-3 |url = http://www.ams.org/journals/tran/1934-036-03/S0002-9947-1934-1501752-3/S0002-9947-1934-1501752-3.pdf |format = PDF|accessdate =2014-12-03|ref= harv }}
* {{Citation|author= W. Stepanoff(=V.V. Stepanov)|year= 1925 |title= Sur quelques generalisations des fonctions presque periodiques |journal=C.R. Acad. Sci. Paris |volume=181 |issue= |pages=90–92 |publisher= |doi = |url = |format = |accessdate =|ref= "Stepanoff1925"}}
* {{Citation|author= W. Stepanoff(=V.V. Stepanov)|year= 1926 |title= Ueber einige Verallgemeinerungen der fastperiodischen Funktionen |journal= Mathematische Annalen |volume=45 |issue=1 |pages=473–498 |publisher= |doi = 10.1007/BF01206623 |url = http://www.digizeitschriften.de/download/PPN235181684_0095/log32.pdf |format = PDF |accessdate =2014-12-03|ref= harv}}
* {{Citation|last=Weyl |first=H.|year= 1927 |title= Integralgleichungen und fastperiodische Funktionen |journal= Mathematische Annalen |volume=97 |issue= |pages=338–356 |publisher= |doi = |url=http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0097&DMDID=DMDLOG_0018|format = |accessdate = 2014-12-03|ref= harv }}

== 外部リンク ==
* {{planetmath reference|id=7214|title=Almost periodic function (equivalent definition)}}

{{Normdaten}}

{{DEFAULTSORT:かいしゆうきかんすう}}
[[Category:複素解析]]
[[Category:関数の種類]]
[[Category:信号処理]]
[[Category:音響工学]]
[[Category:解析学]]
[[Category:位相群]]
[[Category:フーリエ解析]]
[[Category:ジョン・フォン・ノイマン]]
[[Category:数学に関する記事]]