1 フーリエ級数の基本
1.1 定義と記法
フーリエ級数は、周期関数を正弦波・余弦波（または複素指数関数）の無限和として表す表現である。長さ \(T\) の周期をもつ関数 \(f(x)\) に対して、基本周波数 \(\omega_0=2\pi/T\) を用いると、標準的には次の形で記述される。 \[ f(x)\sim \frac{a_0}{2}+\sum_{n=1}^{\infty}\left(a_n\cos(n\omega_0 x)+b_n\sin(n\omega_0 x)\right). \] ここで \(a_n,b_n\) は周波数成分の大きさを表す係数であり、級数が \(f\) をどの意味で近似するか（点ごとの収束か、平均の意味での収束かなど）は後続の理論で整理される。
1.2 有限区間の周期化の考え方
一般に、フーリエ級数は「周期関数」として扱うため、まず定義区間上の関数を周期的に延長するという操作が入る。たとえば区間 \([0,L]\) 上で定義された関数を、端点で繰り返して \([0,L]\) 外にも同じ形が現れるように延長すると、拡張された関数は周期 \(T=2L\) あるいは \(T=L\)（取り方による）をもつ周期関数としてみなせる。この周期化が行う役割は、級数展開の対象を「角周波数 \(n\omega_0\) の重ね合わせ」で表せる枠組みに乗せる点にある。
周期化の仕方は端点の扱い（連続性や飛びの有無）に影響し、結果として収束性や係数の計算に差が出ることがある。特に境界で値が一致しない場合、端点付近に特有の振る舞いが現れる（後述のギブズ現象に関係する）。
1.3 係数の導出原理
係数は直交性を利用して決定するのが基本原理である。正弦・余弦は適切な区間で互いに直交する性質をもち、内積の観点では「座標成分」を取り出す操作に相当する。具体的には、周期 \(T\) の区間上で \[ \cos(n\omega_0 x),\ \sin(n\omega_0 x)\ (n\ge1) \] が互いに直交し、同じ次数同士では一定のノルムをもつことを用いる。
このとき、級数が \(f(x)\) に対してある意味で一致するなら、両辺に特定の基底関数を掛けて積分し、直交性により該当する係数のみが残る。つまり係数決定は「成分分解」そのものに対応し、変数変換や重み付き内積へ拡張する道筋も自然に得られる。
2 実フーリエ級数
2.1 余弦級数と正弦級数
実フーリエ級数は余弦項と正弦項の組を用いるが、関数の対称性によって片方だけで表せる場合がある。これにより計算が簡潔になり、物理・工学上の境界条件（固定・自由などに対応する）とも結び付けやすい。
2.1.1 偶関数・奇関数への適用
偶関数・奇関数の性質は、展開に現れる基底関数の選択を決める鍵となる。
2.1.1.1 偶関数：余弦のみ
関数が偶関数、すなわち \(f(-x)=f(x)\) を満たすとする。余弦は偶関数、正弦は奇関数であるため、対称区間での積分では正弦成分の寄与が相殺される。結果として、正弦係数が消え、余弦級数だけで表される形になる。 この性質は境界条件が対称的な設定において特に有用であり、数値計算の安定性や実装の簡潔さにもつながる。
2.1.1.2 奇関数：正弦のみ
関数が奇関数、すなわち \(f(-x)=-f(x)\) のとき、正弦は奇、余弦は偶という対称性の対応から、余弦成分の寄与が相殺される。したがって展開は正弦級数のみで書ける。 奇関数は原点を中心とする符号反転の性格を持つため、拡張の際の連続性の評価にも影響し、収束の様子の解釈に役立つ。
2.2 係数公式（直交性に基づく）
周期 \(T\) の関数 \(f(x)\) のフーリエ係数は、直交性に基づき次のように与えられる（代表的な書き方）。 \[ a_0=\frac{2}{T}\int_{t_0}^{t_0+T} f(x)\,dx, \] \[ a_n=\frac{2}{T}\int_{t_0}^{t_0+T} f(x)\cos(n\omega_0 x)\,dx,\quad b_n=\frac{2}{T}\int_{t_0}^{t_0+T} f(x)\sin(n\omega_0 x)\,dx. \] ここで \(t_0\) は区間の開始点であり、周期性により積分区間の取り方は同じ結果になる。係数が存在するかどうかは、通常の意味では \(f\) が可積分であることなど、関数の性質に依存する。さらに滑らかさが高いほど、係数は速く減衰し、近似誤差の減り方に反映される。
2.3 例：基本関数の展開
代表例として、区分的に単純な関数（階段関数、三角波、のこぎり波など）は、正弦・余弦の級数で明確に表せる。たとえば、ある点で値が不連続な階段状の関数は高周波成分を多く含むため、係数の減衰が遅くなりやすい。その結果、近似の見た目は徐々に滑らかになるが、不連続点付近では特有のオーバーシュートが生じる。
また、滑らかな多項式的関数は低次の係数が支配し、高次は急速に小さくなる傾向がある。これにより、少数項で比較的精度よく近似できる。こうした例は、収束の理論と結びつけて理解することで、係数列の振る舞いが「関数の正則性」を反映していることが見える。
3 複素フーリエ級数
3.1 複素指数表示
複素フーリエ級数では、正弦・余弦の組を複素指数関数 \(e^{in\omega_0 x}\) の線形結合として表す。代表的には \[ f(x)\sim \sum_{n=-\infty}^{\infty} c_n e^{in\omega_0 x} \] の形で書かれる。ここで \(c_n\) は複素係数であり、指数関数は位相を含むため、成分分解の計算や理論の拡張で便利になる。複素表示は、後にフーリエ変換へ移る際の連続版を自然に導く利点がある。
3.2 複素係数と実係数の関係
実フーリエ係数 \(a_n,b_n\) と複素係数 \(c_n\) は、オイラーの公式 \[ e^{in\omega_0 x}=\cos(n\omega_0 x)+i\sin(n\omega_0 x) \] に基づいて対応付けられる。一般に、正負の指数成分が実表示の正弦・余弦の寄与を再構成するため、実関数の場合には複素係数間に対称関係が生じる。 この関係は実装上も重要で、複素指数で計算した結果を実数の係数へ戻したり、その逆を行ったりする際の整合性を保証する。
3.3 エルミート性・対称性
実数値の関数 \(f(x)\) に対しては、複素係数が共役対称性を満たす。具体的には \(f\) が実であれば \[ c_{-n}=\overline{c_n} \] が成り立つ形になり、指数展開は最終的に実数の値を与える。 この対称性は「スペクトルが実信号に特有の構造をもつ」ことを意味し、エルミート性という言葉で整理されることがある。結果として、物理・信号処理の文脈では周波数領域の表現が扱いやすくなる。
4 収束と近似の理論
4.1 点ごとの収束
点ごとの収束は、級数和がある点 \(x\) で関数の値（またはその左右極限の平均）に近づくかを問う概念である。不連続がある場合、級数はその点で値そのものに一致するとは限らず、左右からの極限の平均に収束する形が基本になることが多い。 この挙動は、基底関数の重ね合わせが局所的なギャップを高周波で補おうとするため、端点での「滑らかな接続」の性質が損なわれることと関係する。
4.2 平均収束（平均二乗）
平均収束は、点ごとの一致ではなく、誤差の二乗が積分平均として減るかどうかを基準にする。代表的には、二乗誤差の意味でフーリエ級数が関数に近づく（平方可積分の枠組みでの収束）が保証されることがある。 この考え方は、雑音を含む信号や統計的な近似評価に適しており、厳密な点一致よりも安定した理解を与える。さらに、プランシュレルの定理やパースヴァルの等式の流れに接続しやすい。
4.3 一様収束と条件
一様収束は、全ての点で誤差が同時に小さくなる強い性質である。関数が滑らかであるほど、一様収束が成立しやすくなるが、一般には不連続や急激な変化があると一様収束は期待できない。 十分条件は関数の正則性（たとえば導関数の有無や変分の制御など）に依存し、関数空間の性質として整理される。実務的には、階段状信号や折れ線のような入力に対しては、一様誤差が頭打ちする領域が現れ得ることを意味する。
4.4 ギブズ現象
ギブズ現象は、不連続点を含む関数をフーリエ級数で近似したときに、その点付近で振動とオーバーシュートが発生する現象である。増項数を増やしても、不連続点におけるオーバーシュートの振れの大きさが完全に消えるわけではない。 ただし振動の幅は狭まり、極限として不連続点以外では近づき方が改善される。ギブズ現象は「調和成分の有限な帯域が局所構造を滑らかに見せる」効果として理解でき、近似に伴う特徴を読み取るための重要な指標となる。
5 直交性とフーリエ解析の数学的基盤
5.1 内積空間としての見方
フーリエ級数の中心には、直交基底と内積の枠組みがある。周期区間上で適切な内積 \[ \langle f,g\rangle=\int f(x)\overline{g(x)}\,dx \] を定めると、正弦・余弦（あるいは指数）の集合が直交（さらに正規直交に調整可能）になる。するとフーリエ展開は「ベクトル \(f\) を直交成分へ分解する」操作に対応する。 この見方により、収束の議論が幾何学的な直観（近似がどれだけ残るか）と結びつき、平均二乗やノルムの減少が自然に扱えるようになる。
5.2 プランシュレルの定理
プランシュレルの定理は、内積空間においてエネルギー（ノルム）が周波数側と時間側で一致するという趣旨を与える。フーリエ係数列が作る二乗和が、元の関数の二乗積分（適切な条件下で）に等しくなる形が代表である。 この結果は、フーリエ変換や級数の解析が「損失なしの表現変換」であることを数学的に裏付け、平均二乗誤差の評価を可能にする。信号処理におけるエネルギー保存の考え方とも一致する。
5.3 Besselの不等式
Besselの不等式は、直交基底への射影で得られる係数の二乗和が、元のベクトルのノルムを超えないことを述べる。フーリエ級数の場合には「部分和が持つエネルギーは元のエネルギー以下」という形で解釈でき、近似の残差がどれだけ残っているかを推定する材料になる。 これにより、級数の打ち切りが誤差をどう制御するかを定量化しやすくなる。単に収束するかどうかだけでなく、収束速度や打ち切り誤差の上界に繋げられる点が重要である。
6 関連する変換と一般化
6.1 フーリエ変換との関係
フーリエ級数は周期のある関数を対象にした離散的な周波数表現であるのに対し、フーリエ変換は非周期の関数を扱い連続スペクトルへ拡張したものと位置づけられる。周期長を大きくしていく極限や、周期化の逆操作を通じて、級数の周波数点が連続に近づくことで変換へ移行する。 この関係により、同じ調和解析の枠組みが「離散から連続へ」という形で統一的に理解できる。
6.2 フーリエ級数から積分への移行
級数の和 \[ \sum_{n} (\cdots) \] が、周波数刻みが無限小になる状況では積分 \[ \int (\cdots)\,d\omega \] に置き換わる。これは、基底が指数 \(e^{in\omega_0 x}\) で離散化されていたものが、連続周波数 \(e^{i\omega x}\) の表現へ拡張されることに対応する。 この移行は、変数のスケーリングと極限操作の形式化によって理解され、変換公式やスペクトル密度という考え方に繋がる。結果として、実務上の「周波数分析の連続モデル」を級数の延長として捉えられる。
6.3 ラプラス変換・他の手法との位置づけ
ラプラス変換は、指数関数と整合する積分変換であり、初期条件を含む微分方程式の扱いで有用である。フーリエ級数やフーリエ変換が主に周期性や振動成分の分解に強いのに対し、ラプラス変換は減衰や成長を含む振る舞いを扱う枠組みとして働く。 また、（場合により）波形の局所性を重視する手法（例えば窓関数を導入した解析）なども含め、どの変換が適切かは問題の性質（定常・非定常、周期・非周期、境界条件の種類）に依存する。フーリエ級数はその中で「調和成分の離散表現」として位置づけられる。
7 応用分野（概観）
7.1 微分方程式の解法
周期境界をもつ線形微分方程式では、解をフーリエ級数で仮定し、基底ごとに方程式を分離する方法が用いられる。すると偏微分方程式の解が、時間側と空間側の係数列へ整理されることが多い。 この手法は固有関数展開とも関連し、境界条件と調和基底の整合性があると計算が簡単になる。非線形の場合でも、線形化やスペクトル法の枠組みによって近似に利用されることがある。
7.2 信号処理と周波数分解
フーリエ級数は、周期信号を周波数成分へ分解して観測するための基礎道具である。スペクトルの形は、信号がどの周波数帯にエネルギーを持つかを反映し、フィルタ設計、スペクトル解析、歪み評価などに応用される。 また、打ち切りによる近似誤差がどのように振動やにじみとして現れるか（ギブズ現象を含む）は、波形再構成や離散化の評価に直結する。
7.3 物理現象のモデル化（概要）
多くの物理現象は、適切な境界条件のもとで調和的な基底で記述できる場合がある。たとえば弦や膜の振動、熱伝導の定常・非定常応答、電磁波のモード分解などでは、空間方向の構造が正弦・余弦（あるいは指数）の組で扱われることがある。 このときフーリエ級数は、観測可能量を「モードの重ね合わせ」として理解する枠組みを提供し、測定されたスペクトルからパラメータ推定を行う発想にも繋がる。現実の系では境界の理想化や非線形性があるため完全には一致しないが、近似としての有効性が検証されることが多い。