周期関数のソースを表示

[[数学]]における'''周期関数'''（しゅうきかんすう、{{lang-en-short|''periodic function''}}）は、一定の間隔あるいは周期ごとに取る値が繰り返す[[関数 (数学)|関数]]を言う。最も重要な例として、{{math|2&pi;}} [[ラジアン]]の間隔で値の繰り返す[[三角関数]]を挙げることができる。周期関数は[[振動]]や[[波動]]などの[[周波数|周期性]]を示す現象を記述するものとして自然科学の各分野において利用される。周期的でない任意の関数は'''非周期的'''（ひしゅうきてき、{{lang-en-short|''aperiodic''}}）であるという。

[[Image:Periodic function illustration.svg|thumb|right|300px|周期 {{math|''P''}} を持つ周期関数の図示]]

== 定義 ==
関数 {{math|''f''}} が'''周期的''' {{en|(''periodic'')}} あるいは（0 でない[[定数]] {{math|''P''}} に対して）周期 {{math|''P''}} を持つとは、{{math|''x''}} の任意の値に対して
: <math>f(x+P) = f(x)</math>
が成立するときに言う。この性質を持つ定数 {{math|''P''}} のうちに最小の正数が存在するとき<ref>[[定数関数]]や[[有理数]]全体の成す集合の[[指示関数]]のような、ある種の関数には最小の正「周期」は存在しない（周期として取り得る正の {{math|''P''}} の[[下限]]は {{math|0}} になってしまう）。</ref>、そのような正数 {{math|''P''}} は'''基本周期'''と呼ぶ。周期 {{math|''P''}} を持つ関数は、長さ {{math|''P''}} の区間ごとに値が繰り返すが、そのような区間を'''一周期'''と呼び表す。

幾何学的に言えば、周期関数はそのグラフが[[並進対称性|平行移動対称]]となるような関数として定義することができる。具体的には、関数 {{math|''f''}} が周期 {{math|''P''}} に関して周期的ならば、{{math|''f''}} のグラフは {{mvar|x}} 軸方向への移動距離 {{math|''P''}} の[[平行移動]]のもとで{{仮リンク|平行移動不変|en|translation invariant}}である。このような周期性の定義は、ほかの幾何学図形や周期的[[平面充填]]のような幾何学パターンに対しても拡張することができる。

周期的でない関数は非周期的であると言う。

== 例 ==
[[Image:Sine.svg|thumb|right|350px|正弦関数のグラフを二周期分示した図]]
例えば[[正弦関数]]は任意の {{math|''x''}} に対して
: <math>\sin(x + 2\pi) = \sin x</math>
を満たすから周期 {{math|2&pi;}} を持つ周期関数である。この関数は長さ {{math|2&pi;}} の区間ごとに同じ値を繰り返す。

日常的な例は'''時間'''を変数として、例えば[[時計]]の針や[[月齢]]などが周期的な振る舞いを見せる。'''周期運動'''は系の位置が全て同じ周期を以って周期関数で表されるような運動を言う。 

[[実数|実変数]]や[[整数]]変数の関数であれば、周期的であることは[[関数のグラフ]]が特定の一部分のコピーを一定間隔で並べて全体を形作ることができることを意味する。

周期関数の簡単な例として、引数の[[小数部分]]を返す関数 <math>f \colon \mathbb{R} \to \mathbb{R}\ ;\ f(x):=x-\lfloor x \rfloor</math> を考えると、その周期は {{math|1}} である。特に
: {{math|''f''(0.5) {{=}} ''f''(1.5) {{=}} ''f''(2.5) {{=}} … {{=}} 0.5}}
のようなことが成り立つ。この関数 {{math|''f''}} のグラフは[[鋸歯状波]]になる。

[[Image:Sine cosine plot.svg|300px|right|thumb|{{math|''f''(''x'') {{=}} sin(''x'')}} および {{math|''g''(''x'') {{=}} cos(''x'')}} のグラフ。2 つの関数はともに周期 {{math|2&pi;}} を持つ。]]
[[三角関数]]の正弦および余弦関数は、ともに周期 {{math|2&pi;}} を持つ、共通周期関数である。[[フーリエ級数]]の主題は、「勝手な」周期関数を周期を調整した三角関数の和として表すという考えについて研究するものである。

上記の定義に従えば、例えば[[ディリクレ関数]]のような、ある種の際立った {{en|(exotic)}} 関数までもが周期的であることになる（ディリクレ関数の周期は任意の非零有理数）。

== 性質 ==
周期関数 {{math|''f''}} が周期 {{math|''P''}} を持つならば {{math|''f''}} の定義域の各元 {{math|''x''}} と任意の[[整数]] {{math|''n''}} に対して 
: {{math|''f''(''x'' + ''nP'') {{=}} ''f''(''x'')}}
が成立する。同じく {{math|''f''}} が周期 {{math|''P''}} を持つならば、定数 {{math|''a'', ''b''}} に対して函数 {{math|''f''(''ax'' + ''b'')}} は周期 {{fraction|''P''|{{mabs|''a''}}}} を持つ周期函数になる。例えば {{math|''f''(''x'') {{=}} sin&thinsp;''x''}} は周期 {{math|2π}} ゆえ {{math|sin(5''x'')}} は周期 {{math|2π/5}} を持つ。

== {{Anchors|二重周期函数}}二重周期関数 ==
{{main|{{仮リンク|二重周期関数|en|Doubly periodic function}}}}
[[複素平面]]上で定義される関数は、定数関数でなくとも互いに不均衡な 2 つの周期を持ち得る（この文脈での「不均衡」は、一方が他方の実数倍でないことを言う）。そのような関数の例として、[[楕円関数]]が挙げられる。

== 複素変数の周期関数 ==
[[複素数]]を[[変数 (数学)|変数]]に持つ周期関数として、以下の[[複素指数関数]]がよく知られている（この関数はときに {{math|cis}} 関数とも呼ばれる）。
: <math>e^{ikx} = \cos kx + i\,\sin kx.</math>
実部の余弦関数と虚部の正弦関数のどちらも周期的であるから、この関数は明らかに周期的である。このような複素指数関数の三角関数による表示は[[オイラーの公式]]として知られる。この複素指数関数を用いることで三角関数は指数関数によって書き表すことができる。三角関数と同様に指数関数の周期 {{mvar|L}} は {{math|''L'' {{=}} 2&pi;/''k''}} で与えられる。

== 一般化 ==

=== {{Anchors|反周期函数}}反周期関数 ===
周期関数の一般化の一つに'''反周期関数'''（はんしゅうきかんすう、{{lang-en-short|''antiperiodic functions''}}）があり、これは全ての {{math|''x''}} に対して {{math|''f''(''x''&nbsp;+&nbsp;''P'') {{=}} &minus;''f''(''x'')}} を満たすような関数 {{math|''f''}} のことを言う。従って、周期について {{math|''P''}} 反周期関数は {{math|2''P''}} 周期関数になる。

=== {{Anchors|ブロッホ函数}}ブロッホ関数 ===
{{main|ブロッホ関数}}
[[ブロッホ波]]や[[フロケ理論]]の文脈では、周期関数はさまざまな周期的微分方程式の解として一般化され、まとめられる。この文脈で（一次元の場合の）解は、典型的には適当な実または複素定数 {{math|''k''}} を伴って
: <math>f(x+P) = e^{ikP} f(x)</math>
なる形に表される（定数 {{math|''k''}} は'''ブロッホ波ベクトル'''や'''フロケ指数'''と呼ばれる）。この文脈では、この形の関数は'''ブロッホ周期的'''であると言うこともある。通常の周期関数は {{math|''k'' {{=}} 0}} なる特別の場合であり、また反周期関数は {{math|''k'' {{=}} π/''P''}} なる特別の場合である。

=== {{Anchors|商空間の函数}}商空間上の関数 ===
[[フーリエ級数]]は周期関数を表現し、フーリエ級数は[[畳み込み#畳み込み定理|畳み込み定理]] （すなわち、フーリエ級数の畳み込みは表現される周期関数の積に対応し、逆もまた然り）を満足するけれども、[[信号処理]]において周期関数の畳み込みは通常の定義に従えば積分が発散するために畳み込むことができないという問題に遭遇する。これを解決する方法の一つは、有界だが周期的でない領域上で定義された周期関数というものを考えることである。これを達成するために[[剰余環|商空間]]の概念を用いて
:<math>{\mathbb{R}/\mathbb{Z}}
 = \{x+\mathbb{Z} : x\in\mathbb{R}\}
 = \{\{y : y\in\mathbb{R}\land y-x\in\mathbb{Z}\} : x\in\mathbb{R}\}</math>
を考えよう。このとき {{math|'''R'''/'''Z'''}} の各元は同じ[[小数部分]]を持つ[[実数]]からなる[[同値類]]であり、関数 {{math|''f'': '''R'''/'''Z''' &rarr; '''R'''}} は周期 {{math|1}} の周期関数を表すものと考えられる。

== 関連項目 ==
* {{仮リンク|周期関数の一覧|en|List of periodic functions}}
* {{仮リンク|周期列|en|Periodic sequence}}
* [[概周期関数]]
* [[振幅]]
* {{仮リンク|定ピッチ|en|Definite pitch}}
* {{仮リンク|二重周期関数|en|Doubly periodic function}}
* [[フロケ理論]]
* [[周波数]]
* [[振動]]
* [[準周期関数]]
* [[波長]]
* {{仮リンク|周期和|en|Periodic summation}}
* {{仮リンク|永年変化|en|Secular variation}}

== 注釈 ==
{{Reflist}}

== 参考文献 ==
* {{cite book|last=Ekeland|first=Ivar|authorlink=:en:Ivar Ekeland|chapter=One|title=Convexity methods in Hamiltonian mechanics|series=Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]|volume=19|publisher=Springer-Verlag|location=Berlin|year=1990|pages=x+247|isbn=3-540-50613-6|mr=1051888|ref=harv}}

== 外部リンク ==
* {{SpringerEOM|title=Periodic function|urlname=Periodic_function}}
*[http://mathworld.wolfram.com/PeriodicFunction.html Periodic functions at MathWorld]

{{Normdaten}}
{{DEFAULTSORT:しゆうきかんすう}}
[[Category:解析学]]
[[Category:初等数学]]
[[Category:フーリエ解析]]
[[Category:写像]]
[[Category:数学に関する記事]]