周期関数
数学における周期函数（しゅうきかんすう、テンプレート:Lang-en-short）は、一定の間隔あるいは周期ごとに取る値が繰り返す函数を言う。最も重要な例として、テンプレート:Math ラジアンの間隔で値の繰り返す三角函数を挙げることができる。周期函数は振動や波動などの周期性を示す現象を記述するものとして自然科学の各分野において利用される。周期的でない任意の函数は非周期的 (aperiodic) であるという。
目次
定義
函数 テンプレート:Math が周期的 (periodic) あるいは（零でない定数 テンプレート:Math に対して）周期 テンプレート:Math を持つとは、テンプレート:Math の任意の値に対して
- <math>f(x+P) = f(x)</math>
が成立するときに言う。この性質を持つ定数 テンプレート:Math のうちに最小の正数が存在するとき[1]、そのような正数 テンプレート:Math は基本周期と呼ぶ。周期 テンプレート:Math を持つ函数は、長さ テンプレート:Math の区間ごとに値が繰り返すが、そのような区間を一周期と呼び表す。
幾何学的に言えば、周期函数はそのグラフが平行移動対称となるような函数として定義することができる。具体的には、函数 テンプレート:Math が周期 テンプレート:Math に関して周期的ならば、テンプレート:Math のグラフは x-方向への移動距離 テンプレート:Math のテンプレート:仮リンクのもとでテンプレート:仮リンクである。このような周期性の定義は、ほかの幾何学図形や周期的平面充填のような幾何学パターンに対しても拡張することができる。
周期的でない函数は非周期的であると言う。
例
例えば正弦函数は任意の テンプレート:Math に対して
- <math>\sin(x + 2\pi) = \sin x</math>
を満たすから周期 テンプレート:Math を持つ周期函数である。この函数は長さ テンプレート:Math の区間ごとに同じ値を繰り返す。
日常的な例は時間を変数として、例えば時計の針や月齢などが周期的な振る舞いを見せる。周期運動は系の位置が全て同じ周期を以って周期函数で表されるような運動を言う。
実変数や整数変数の函数であれば、周期的であることは函数のグラフが特定の一部分のコピーを一定間隔で並べて全体を形作ることができることを意味する。
周期函数の簡単な例として、引数のテンプレート:仮リンクを返す函数 テンプレート:Math を考えると、その周期は テンプレート:Math である。特に
のようなことが成り立つ。この函数 テンプレート:Math のグラフは鋸歯状波になる。
三角函数の正弦および余弦函数は、ともに周期 テンプレート:Math を持つ、共通周期函数である。フーリエ級数の主題は、「勝手な」周期函数を周期を調整した三角函数の和として表すという考えについて研究するものである。
上記の定義に従えば、例えばディリクレの函数のような、ある種の際立った (exotic) 函数までもが周期的であることになる（ディリクレ函数の周期は任意の非零有理数）。
性質
周期的な函数 テンプレート:Math が周期 テンプレート:Math を持つならば テンプレート:Math の定義域の各元 テンプレート:Math と任意の整数 テンプレート:Math に対して
が成立する。同じく テンプレート:Math が周期 テンプレート:Math を持つならば、定数 テンプレート:Math に対して函数 テンプレート:Math は周期 テンプレート:Fraction を持つ周期函数になる。例えば テンプレート:Math は周期 テンプレート:Math ゆえ テンプレート:Math は周期 テンプレート:Math を持つ。
二重周期函数
テンプレート:Main ガウス平面上で定義される函数は、定数函数でなくとも互いに不均衡な二つの周期を持ち得る（この文脈での「不均衡」は、一方が他方の実数倍でないことを言う）。例えば楕円函数はそのような函数である。
複素変数の周期函数の例
変数を複素数まで広げて考えれば、よく知られた周期函数
- <math>e^{ikx} = \cos kx + i\,\sin kx</math>
が取れる。見ての通り正弦も余弦も周期的であるから、この複素指数函数（実際にはオイラーの公式）は正弦波と余弦波を統合するもので、その周期 テンプレート:Math は テンプレート:Math で与えられる。
一般化
反周期函数
周期函数の一般化の一つに反周期函数 (antiperiodic functions) があり、これは全ての テンプレート:Math に対して テンプレート:Math を満たすような函数 テンプレート:Math のことを言う。従って、周期について テンプレート:Math-反周期函数は テンプレート:Math-周期函数になる。
ブロッホ函数
更なる一般化はブロッホ波やフロケ理論の文脈において現れ、さまざまな周期的微分方程式の解として統制される。この文脈で（一次元の場合の）解は、典型的には適当な実または複素定数 テンプレート:Math を伴って
- <math>f(x+P) = e^{ikP} f(x)</math>
なる形に表される（定数 テンプレート:Math はブロッホ波ベクトルやフロケ指数と呼ばれる）。この文脈では、この形の函数はブロッホ周期的であると言うこともある。通常の周期函数は テンプレート:Math なる特別の場合であり、また反周期函数は テンプレート:Math なる特別の場合である。
商空間上の函数
フーリエ級数は周期函数を表現し、フーリエ級数はテンプレート:仮リンク（すなわち、フーリエ級数の畳み込みは表現される周期函数の積に対応し、逆もまた然り）を満足するけれども、信号処理において周期函数の畳み込みは通常の定義に従えば積分が発散するために畳み込むことができないという問題に遭遇する。これを解決する方法の一つは、有界だが周期的でない領域上で定義された周期函数というものを考えることである。これを達成するために商空間の概念を用いて
- <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 の各元は同じ小数部分を持つ実数からなる同値類であり、函数 テンプレート:Math は周期 テンプレート:Math の周期函数を表すものと考えられる。
関連項目
- テンプレート:仮リンク
- テンプレート:仮リンク
- テンプレート:仮リンク
- 振幅
- テンプレート:仮リンク
- テンプレート:仮リンク
- フロケ理論
- 周波数
- 振動
- テンプレート:仮リンク
- 波長
- テンプレート:仮リンク
- テンプレート:仮リンク
