フーリエ級数(Fourier Series)から群論(Group Theory)へ

群論の初歩、すなわち**加法群**(Additive Group)設定の話から再出発します。
[【Python演算処理】環論に立脚した全体像再構築①空環と実数環](https://qiita.com/ochimusha01/items/361c1abe1ea8e2540fb9)

* まず**自然数集合**$\mathbb{N}$に**加法単位元**(Additive Identity)0を追加した集合Aを用意する。

![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn-ak.f.st-hatena.com%25252Fimages%25252Ffotolife%25252Fo%25252Fochimusha01%25252F20210625%25252F20210625080033.gif%253Fixlib%253Drb-4.0.0%2526auto%253Dformat%2526gif-q%253D60%2526q%253D75%2526w%253D1400%2526fit%253Dmax%2526s%253Dd999bdfaa4bead7e5b69c652eca278dc%3Fixlib%3Drb-4.0.0%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3Da537a409f67cce90b1872067f0d32130?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=b3e45ceb454e7c4b47947535ecd83b51)

* その**逆元**(Inverse Element)$A^{-1}$を用意する。

![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn-ak.f.st-hatena.com%25252Fimages%25252Ffotolife%25252Fo%25252Fochimusha01%25252F20210625%25252F20210625081658.gif%253Fixlib%253Drb-4.0.0%2526auto%253Dformat%2526gif-q%253D60%2526q%253D75%2526w%253D1400%2526fit%253Dmax%2526s%253D465c2f52a0fa7e8b7a05a2b1bb3ca3fc%3Fixlib%3Drb-4.0.0%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3Dfedbbfc8deaa82782e89bb533aa2c592?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=13294c347a9ae123bf44c6f38568867b)

* 両者を統合すると**加法整数群**(Additive Integer Group)$\mathbb{Z}^2$が構成される。

![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn-ak.f.st-hatena.com%25252Fimages%25252Ffotolife%25252Fo%25252Fochimusha01%25252F20210625%25252F20210625083254.gif%253Fixlib%253Drb-4.0.0%2526auto%253Dformat%2526gif-q%253D60%2526q%253D75%2526w%253D1400%2526fit%253Dmax%2526s%253Da2577dee7e3e0495ec2a3d61f0ceee68%3Fixlib%3Drb-4.0.0%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D5a275e12f5f24557b8ee3cb3965babc0?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=75e8bd4e258ed806444104c8d669ac97)

* さらに以下の考え方を導入し**加法複素群**(Additive Complex Group)$\mathbb{C}^2$を定義する。

[群同型 Wikipedia](https://ja.wikipedia.org/wiki/%E7%BE%A4%E5%90%8C%E5%9E%8B)

>**加法整数群**$(\mathbb {Z},+)$は**加法実数群**$(\mathbb{R},+)$の部分群であり、**商群**$\frac{\mathbb{R}}{\mathbb{Z}}$は、**同型写像**$f(x+\mathbb {Z})=e^{2πxi}(x \in \mathbb{R} \land 0 \leqq x \leqq 2π)$によって**絶対値1の乗法複素数群**$S^1$に同型である：

```math
\frac{(\mathbb{R},+)}{(\mathbb{Z},+)} \cong S^1
```
実はこの過程、以下に述べる**複素フーリエ級数**(Complex Fourier Series)の定義そのものなのです。

```math
f(t)=c_0+\sum_{n=1}^{∞}(C_{-n}e^{-in\omega_0t}+C_{n}e^{in\omega_0t})(n \in \mathbb{N})\\
=c_0+\sum_{n=-1}^{-∞}C_ne^{in\omega_0t}+\sum_{n=1}^{∞}C_ne^{in\omega_0t}(n \in \mathbb{N})\\
=\sum_{n=-∞}^{-∞}C_ne^{in\omega_0t}(n \in \mathbb{Z})\\
ただし\\
C_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{-in\omega_0t}dt(n \in \mathbb{Z}),\omega_0=\frac{2π}{T}
```
確かに添字部分が上掲のプロセスを経て**自然数集合**$\mathbb{N}$から**整数集合**$\mathbb{Z}$へと拡張されています。そしてその全体像に着目すると、これを周回数=垂直軸とする複素周期関数として構成されているという次第。

#フーリエ級数(<font color=blue>Fourier Series</font>)の基底と一次結合表現
区間$-\frac{T}{2}≦t≦\frac{T}{2}$で定義された任意の関数f(t)は、以下の関数セットの一時結合として近似可能です。

```math
(1,\cos\frac{2π}{T}t,\sin\frac{2π}{T}t),\cos\frac{4π}{T}t),\sin\frac{4π}{T}t,…,\cos\frac{2nπ}{T}t,\sin\frac{2nπ}{T}t,…)
```
$\omega_0=\frac{2π}{T}$と置くと、次の様に簡潔に書けます。

```math
(1,\cos\omega_0t,\sin\omega_0t,\cos2\omega_0t,\sin2\omega_0t,…,\cos n\omega_0t,\sin n\omega_0t),…)
```
これが**フーリエ級数**(Fourier Series)の考え方で、最初に現れる1、その後2πラジアン(1周)を周期として交互に2回現れる「**偶関数**」$\cos n\omega_0t(n \in \mathbb{N})$と「**奇関数**」$\sin n\omega_0t(n \in \mathbb{N})$が互いに直交する事により、かかる**関数空間**の基底、それも直交基底をなすのです。

```math
f(t)=a_0+(a_1\cos2\omega_0t+b_1\sin2\omega_0t+(a_2\cos3\omega_0t+b_2\sin3\omega_0t+,…,(a_n\cos n\omega_0t+b_n\sin n\omega_0t+,…\\
a_0=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)dt\\
a_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\cos n\omega_0t dt(n \in \mathbb{N})\\
b_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\sin n\omega_0t dt(n \in \mathbb{N})
```
すなわちその**直交基底**$a_0,a_n,b_n$**による一次結合表現**は以下となるのです。
[一時結合表現の大源流としての複素数表現/四元数表現](https://qiita.com/ochimusha01/items/6d6e21e2d2cda446bf43)

```math
f(t)=a_0+\frac{1}{T}\sum_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\cos n\omega_0t+\frac{1}{T}\sum_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\sin n\omega_0t(n \in \mathbb{N})\\
ただし\\
\omega_0=\frac{2π}{T}
```
ちなみに「**偶関数**」cos波系近似に際しては「**奇関数**」sin波成分が0(フーリエ正弦級数)、「**奇関数**」sin波系近似に際しては「**偶関数**」cos波成分が0(フーリエ余弦級数)となります。
[交代級数の一時結合的表現?](https://qiita.com/ochimusha01/items/d30f3c3b96b1754821d3)

```math
偶関数(f(-x)=f(x))に分類されるcos波系近似\\
f(t)=a_0+\frac{1}{T}\sum_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\cos n\omega_0t(n \in \mathbb{N})\\
奇関数(f(-x)=-f(x))に分類されるsin波系近似\\
f(t)=\frac{1}{T}\sum_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\sin n\omega_0t(n \in \mathbb{N})
```
[【初心者向け】フーリエ解析を可視化する。](https://qiita.com/ochimusha01/items/ab4ebac4afee1d0ed287)
【sin波系】**ノコギリ波**（Sawtooth wave）の近似
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190815%2F20190815072440.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=02340ec92bebabb80e6ea6690ce98f2f)
【cos波系】**三角波**（Triangular Wave)の近似
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190815%2F20190815110144.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=c64409ba1c4d1bfe232336d8f76f73f2)
【sin波系】**矩形波**（Square Wave)の近似
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190815%2F20190815123000.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=486deef2f2010264d4ebdb2ca4cd36d1)
【cos波系】**放物線**（Parabola)の近似
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190815%2F20190815171145.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=c0feb615b285bacfd3727b2863c7cb6f)

#複素フーリエ級数(<font color=blue>Complex Fourier Series</font>)の基底の一次結合表現

ところで**オイラーの公式**(Eulerian Theorem)は実数世界の$\cos(θ),\sin(θ)$関数と複素数世界の$e^{xi}$を結び付けますが、その際に$e^{θi}$と$e^{-θi}$は**お互いに共役な複素数**となります。

```math
e^{θi}=\cos θ + \sin θi\\
e^{-θi}=\cos(-θ) + \sin(-θ)i=e^{iθ}=\cos θ - \sin θi
```
この事実を出発点にフーリエ級数の直交基底$1,\cos n\omega_0t,\sin\omega_θt(n \in \mathbb{N})$を複素指数関数$e^{iθ}$で書き換えていきます。

```math
f(t)=a_0+(a_1\cos2\omega_0t+b_1\sin2\omega_0t+(a_2\cos3\omega_0t+b_2\sin3\omega_0t+,…,(a_n\cos n\omega_0t+b_n\sin n\omega_0t+,…\\
a_0=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)dt\\
a_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\cos n\omega_0t dt(n \in \mathbb{N})\\
b_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\sin n\omega_0t dt(n \in \mathbb{N})
```
* まずは準備として、

```math
\cos θ=\frac{e^{θi}+e^{-θi}}{2},\sin θ=\frac{e^{θi}-e^{-θi}}{2}\\
\cos n\omega_0t=\frac{e^{n\omega_0ti}+e^{-n\omega_0ti}}{2},\sin n\omega_0t=\frac{e^{n\omega_0ti}-e^{-n\omega_0ti}}{2}\\
ここで新たな定数C_n,C_{-n}を定義する。\\
C_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{-in\omega_0t}dt(n \in \mathbb{Z})\\
C_{-n}=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}(n \in \mathbb{Z}){2}}f(t)e^{in\omega_0t}dt(n \in \mathbb{Z})\\
```
* n≧0の時、

```math
a_n=\frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\cos n\omega_0t dt=\frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}\frac{e^{n\omega_0ti}+e^{-n\omega_0ti}}{2}dt
\\=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{in\omega_0t}dt+\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{-in\omega_0t}dt=C_{-n}+C_n\\
b_n=\frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\sin n\omega_0t dt=\frac{2}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}\frac{e^{n\omega_0ti}-e^{-n\omega_0ti}}{2i}dt\\
=\frac{-i}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)(e^{n\omega_0ti}-e^{-n\omega_0ti})dt\\
=\frac{-i}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{in\omega_0t}dt+\frac{i}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{-in\omega_0t}dt
\\=-ic_{-n}+iC_n=-i(C_{-n}+C_n)\\
c_0=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^0 dt=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)dt=a_0\\
こうした計算結果を反映させると\\
f(t)=c_0+\sum_{n=1}^{∞}(C_{-n}e^{-in\omega_0t}+C_{n}e^{in\omega_0t})(n \in \mathbb{N})\\
=c_0+\sum_{n=-1}^{-∞}C_ne^{in\omega_0t}+\sum_{n=1}^{∞}C_ne^{in\omega_0t}(n \in \mathbb{N})\\
=\sum_{n=-∞}^{-∞}C_ne^{in\omega_0t}(n \in \mathbb{Z})\\
ただし\\
C_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{-in\omega_0t}dt(n \in \mathbb{Z}),\omega_0=\frac{2π}{T}
```
* これで積分区画$-\frac{T}{2}<t≦\frac{T}{2}$で定義される任意の関数f(t)を一次結合形式で表す**複素フーリエ級数**が求まった。その結果、同時にその直交基底は$e^{in\omega_0t}(n \in \mathbb{Z})$と定まった。

```math
f(x)=\sum_{n=-∞}^{-∞}C_ne^{in\omega_0t}(n \in \mathbb{Z})\\
=…+c_{-n}e^{-in\omega_0t}+…+c_{-3}e^{-i3\omega_0t}+c_{-2}e^{-i2\omega_0t}+c_{1}e^{i\omega_0t}+c_{0}…c_{1}e^{i\omega_0t}+c_{2}e^{i2\omega_0t}+c_{3}e^{i3\omega_0t}+…++c_{n}e^{in\omega_0t},…(n \in \mathbb{Z})\\
ただし\\
C_n=\frac{1}{T}\int_{-\frac{T}{2}}^{\frac{T}{2}}f(t)e^{-in\omega_0t}dt(n \in \mathbb{Z}),\omega_0=\frac{2π}{T}
```
ところで、上掲式より以下の複素共役関係が導出されます。

```math
C^{-n}=\frac{1}{2}(a_n+ib_n),C^{n}=\frac{1}{2}(a_n-ib_n)\\
よって\\
\overline{C^{n}}=\overline{\frac{1}{2}(a_n-ib_n)}=\frac{1}{2}(a_n+ib_n)=C^{-n}\\
\overline{C_{-n}e^{-in\omega_0t}}=\overline{C_{-n}}\overline{e^{-in\omega_0t}}=C_{n}e^{in\omega_0t}
```
* $e^{iθ}=\cos θ + \sin θi$で表せる波を**複素正弦波**(Complex Sine Wave)という。
* 複素数aの**共役複素数**を$\bar{a}$で表す。

ゆえに関数空間上の任意の関数f(t)は共役複素数を用いて以下の様にも書けるのです。

```math
f(t)=c_0+\sum_{n=1}^{∞}(C_{-n}e^{-in\omega_0t}+C_{n}e^{in\omega_0t})=c_0+\sum_{n=1}^{∞}(\overline{C_{n}e^{in\omega_0t}}+C_{n}e^{in\omega_0t})
```
[【初心者向け】フーリエ解析を可視化する。](https://qiita.com/ochimusha01/items/ab4ebac4afee1d0ed287)
【sin波系】**ノコギリ波**（Sawtooth wave）の近似
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190830%2F20190830055431.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=a024f7a8bc3c6b0caefb21b75aed2bec)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/6230257f-01d3-b9c5-b848-0750bdc2ed18.png)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190822%2F20190822170907.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=69ee15b4628e9151d82f3a36baae3e1b)
【cos波系】**三角波**（Triangular Wave)の近似
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190830%2F20190830054423.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=4770c387d667be0c0ee0afc21784d90c)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/fc7bfb54-24f1-dda3-e6fd-8d5d006a2f13.png)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190822%2F20190822154404.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=15cd5f8770b16623bb8f80f2138b8246)
【sin波系】**矩形波**（Square Wave)の近似
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190830%2F20190830055703.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=768dccf017b8acd2b15855b2a68f9860)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/475e159d-164a-4cca-d36d-4600b8d9045a.png)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/6dd29bb3-9d4a-4893-9ff3-60ec7e14abfe.png)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190822%2F20190822173850.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=5bf702280bdb73a75f0c170cd7bb0d9f)
【cos波系】**放物線**（Parabola)の近似
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190830%2F20190830055226.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=6ee20bf1bfde6daa2c3d950ea2b4b572)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/5c8edbc2-7aae-6b01-dfc9-bd364463ea38.png)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190822%2F20190822162110.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=f4638b98a01132206d60e70dd01d0bd8)

**添字**(垂直軸=z軸)が均等尺で推移するのはここまでで、それが実数に拡張さえる**フーリエ変換**(Fourier Transform)や**ラプラス変換**(Laplace Transform)はかかる形での周回数や周期数の概念による制約から解放される形となるのです。
[【Python演算処理】ラプラス変換/ラプラス逆変換を試す。](https://qiita.com/ochimusha01/items/034e17a4953756b8b018)
そんな感じで以下続報…

**主要参考文献：**
[涌井良幸「高校生からわかるフーリエ解析(2019年)」](https://www.amazon.co.jp/%E9%AB%98%E6%A0%A1%E7%94%9F%E3%81%8B%E3%82%89%E3%82%8F%E3%81%8B%E3%82%8B%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8%E8%A7%A3%E6%9E%90-%E6%B6%8C%E4%BA%95%E8%89%AF%E5%B9%B8-ebook/dp/B081RVK1D1/ref=sr_1_1?adgrpid=115340486626&dchild=1&hvadid=536167441571&hvdev=c&hvqmt=e&hvtargid=kwd-814090221541&hydadcr=27487_14464589&jp-ad-ap=0&keywords=%E9%AB%98%E6%A0%A1%E7%94%9F%E3%81%8B%E3%82%89%E3%82%8F%E3%81%8B%E3%82%8B%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8&qid=1630079310&sr=8-1)