【数理考古学】とある実数列(Real Sequance)の規定例④フーリエ族(Fourier Family)とラプラス族(Laplace  Family)概念の追加?

[【数理考古学】とある実数列の規定例①等差数列から加法整数群へ](https://qiita.com/ochimusha01/items/07ae45b915bb1aa6c9f5)
[【数理考古学】とある実数列の規定例②等比数列から乗法群へ](https://qiita.com/ochimusha01/items/58afced6ea8bebf391c7)
[【数理考古学】とある実数列の規定例③オイラーの等式e^πi=-1が意味するもの？](https://qiita.com/ochimusha01/items/04ffa772d548a6b64310)
ここでまとめた「**実数と虚数の関係**」は、実は**フーリエ級数**/**フーリエ変換**(逆変換)/**ラプラス変換**(逆変換)の歴史そのものだったりする訳です。

#フーリエ級数(<font color=blue>Fourier Series</font>)の世界

熱伝導方程式の一部としてそれが発表されたのは1807年~1822年とされている。
[フーリエ級数研究の系譜をたどって](http://seisan.server-shared.com/622/622-13.pdf)

群の条件を満たす(すなわち単位元と逆元が存在し、結合法則が成立し、演算結果が閉じている)無限関数列であるが、その制約ゆえに周期性のある整数倍の周波数しか扱えない。
[【初心者向け】群論概念①基本定義](https://qiita.com/ochimusha01/items/208dc0e68db64805e4f7)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fo%252Fochimusha01%252F20210227%252F20210227035543.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D9f57ae8ea136091a9edf54e7a5f07b1e?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=4cecd3cd875dcf868f6bcf76a6c15629)

①この概念の研究史自体は17世紀、すなわち**ニュートン・メルカトル級数**(Newton-Mercator Series,1668年)や(テイラー級数/マクローリン級数発見の原点となった)**ライプニッツ級数**(Leibniz Series,1674年)/**グレゴリー級数**(Gregory Series,1671年)における**交代級数**(Alternating Series)$-1^x$の概念発見にまで遡る。
[【数理考古学】解析学史に「虚数概念」をもたらした交代級数](https://qiita.com/ochimusha01/items/a338ea75855fcb4ff6f8)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/578d8049-88ca-6b44-2886-adb86e53ec85.png)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/f1ed3883-8d04-9bab-cbd5-35cc4789a33e.png)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210216%2F20210216002902.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=2b3ed4ebe2a5f20bd05b617ff733d671)
この様にグレゴリー級数の収束は極めて遅いので、それに業を煮やして**オイラー変換**(Eulerian Transformation)が開発された。これによって$log(2)$の値も求めやすくなった。ねぇ、本当にオイラーはブルバキみたいな集団ペンネームじゃないの？
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/d37245e2-8bdb-0050-9d9c-d3e9a50ec47d.png)
こうした級数の研究が**テイラー級数** (Taylor Series,1715年)や**マクローリン級数**(Maclaurin Series,18世紀)の発明と**オイラーの公式**(Eulerian Formula)$e^{θi}=\cos(θ)+\sin(θ)i$発見に結びつくのである。
![image.gif](https://camo.qiitausercontent.com/4993db73456cdd642a6dd4db9c53c7f1eaba255e/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303231303131302f32303231303131303232333130312e676966)

②**フーリエ級数**は(等差数列/等比数列/テーラー級数/マクローリン級数の流儀に従って)計算の及ばなかった一般項を**残余項**=**誤差範囲**として示す。

[【初心者向け】フーリエ解析（Fourier Analysis）を可視化する。](https://qiita.com/ochimusha01/items/ab4ebac4afee1d0ed287)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190822%2F20190822150621.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=269b23947d1c5ee4fcbee3a047419fb0)
![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-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=378afeca6f26a00c7810544aa269fd64)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190822%2F20190822160334.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=1dace8663ea15e8ebb420181dec67c1b)
![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-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=0363820eeb77418f9ebd6dede6723a15)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190822%2F20190822164017.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=cb6fec696875d5633a226f77de2bcf84)
![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-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=9a788e7909d1406b73f2899fe5d303ae)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20190822%2F20190822172327.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=0fa118f9dec2c8e37012da4e9e83957e)
![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-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=37373f92bff8f386753184cc50949500)

③この様に、複素数概念導入は級数段階から始まるのである。
[フーリエ変換 - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8%E5%A4%89%E6%8F%9B)

>フーリエ変換を考える動機はフーリエ級数の研究に始まる。フーリエ級数の研究において、複雑な周期関数は単純な波動の数学的な表現である**正弦関数**$\sin(x)$や**余弦関数**$\cos(x)$の和として表される。**正弦**や**余弦**の性質のおかげで、この和に現れる各波の量、フーリエ係数を積分によって計算することができる。多くの場合に${\textstyle e^{2\pi i\theta }=\cos {2\pi \theta }+i\sin {2\pi \theta }}{\textstyle e^{2\pi i\theta }=\cos {2\pi \theta }+i\sin {2\pi \theta }}$（オイラーの公式）を用いて、**正弦関数**および**余弦関数**の代りに**基本波動**${\textstyle e^{2\pi i\theta }}{\textstyle e^{2\pi i\theta }} $を用いた方が便利である。この場合には多くの公式が簡単化され、本項で後述するフーリエ変換のほかの類似の定式化をあたえるという点に優位性がある。この**正弦**・**余弦**から**複素指数関数**への移行にはフーリエ係数が複素数値であることを要する。この複素数は、関数に含まれる波動の**振幅**（あるいは大きさ）と、**位相**（あるいは初期角）の両方を与えているものと通常は解釈される。また、この移行に際して「**負の周波数**」の概念も導入される。例えば、**波動** ${\textstyle e^{2\pi i\theta }}{\textstyle e^{2\pi i\theta }} $および${\textstyle e^{-2\pi i\theta }}{\textstyle e^{-2\pi i\theta }} $はともに周期1を持つが、複素フーリエ級数においては別々の成分として取り扱われる。したがって、周波数を単純に周期の逆数と考えることはできなくなる。

* なるほど、上掲の投稿における「**正負の概念導入に伴う視座の2分割**」は、この次元ではこう説明される訳である。
* 離散的とはいってもここでいう「**整数倍の目盛り**」はどこまでも細かく刻んでいける。そうした意味合いも含め、まさに上掲の投稿における「**整数族**」概念の大源流。

#フーリエ変換/逆変換(<font color=blue>Fourier Transform(FT)/Inverse Transform</font>)の世界

上掲のフーリエ級数より「**離散的で有限である**」制約を取り除き、無限範囲を連続的に扱える様にした座標系「**周波数領域**」を想定し、「**時間領域**(現実同様に時間が流れる物理的空間)」との間をフーリエ変換とフーリエ逆変換によって往復する。その全体像はまさにWikipediaにあるアニメーションのイメージ通り。

[フーリエ変換 - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8%E5%A4%89%E6%8F%9B)
![image.gif](https://upload.wikimedia.org/wikipedia/commons/7/72/Fourier_transform_time_and_frequency_domains_%28small%29.gif)

フーリエ変換/逆変換の公式は以下です。
[フーリエ変換](https://ufcpp.net/study/sp/dsp/fourier?key=f-trans#f-trans)

```math
F(\omega)=\int_{-\infty}^{\infty} f(t) e^{-i \omega t}dt\\
f(t)=\frac{1}{2π}　\int_{-\infty}^{\infty} F(\omega) e^{-i \omega t}d\omega
```

これを以下の様に表します。

```math
F(\omega)=\mathcal{F}[f(t)]\\
f(t)=\mathcal{F}^{-1}[F(\omega)]
```
フーリエ変換の最大の特徴はその線形性や推移性に加え(そもそもフーリエ級数が無限連続微積分の演算結果集合である事から)微分や積分が四則演算で扱える範囲に入ってくる事です。
[フーリエ変換の性質](http://miyatake.main.jp/miyatake/lecture/math/ft.pdf)

線形性

```math
\mathcal{F}[af(t)+bg(t)](\omega)=a\mathcal{F}[f(t)](\omega)+b\mathcal{F}[g(t)](\omega)
```
対称性

```math
\mathcal{F}[2πf(-\omega)](\omega)=F(t)\\
\mathcal{F}^{-1}[F(t)](\omega)=2πf(-\omega)
```
相似定理(時間軸の伸縮)

```math
\mathcal{F}[f(at)]→\frac{1}{|a|} F(\frac{\omega}{a})\\
\mathcal{F}^-1[(\frac{1}{|a|} F(\frac{\omega}{a})] → f(at)
```
推移性

```math
\mathcal{F}[f(t+t_0)](\omega)=e^{it_0\omega}\mathcal{F}(\omega)\\

\mathcal{F}[f(t)e^{i\omega_0\omega}](\omega)=\mathcal{F}(\omega-\omega_0)

```
微分則

```math
\mathcal{F}[\int_{t}^{\infty}\frac{d}{dt}f(t)dt](\omega)=i\omega\mathcal{F}[f(t)](\omega)
```
積分則

```math
\mathcal{F}[f(t)](\omega)=\frac{1}{i\omega}\mathcal{F}[f(t)](\omega)
```
また有限周期の「**揺らぎ**」が捕まえられる一方、無限周期の$\cos(t)$波や＄\sin(t)＄波の振幅が無限に到達して捉えられないという特徴を有します。ある意味、この関係は**ヘヴィサイドのステップ関数**と(その微分結果たる)**ディラックのデルタ関数**に対応するとも。
[【数理考古学】ディラックのデルタ関数とヘヴィサイドのステップ関数](https://qiita.com/ochimusha01/items/6070c4991a3a8481dad9)

元波形(0.5秒分の20Hzの単振動波)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/f1149c26-c6c1-3f29-67b9-97405ba83b81.png)
フーリエ変換後の波形
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/466ce03d-ef72-6182-1f30-3809f7acc2ab.png)
無限周期の20Hzの単振動波のフーリエ変換後の波形
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/746722bb-b7fa-e736-4b7b-ccaf65e2ebce.png)

この影響でフーリエ変換の**積**(×)は「**畳込み積**(*)」と呼ばれる特殊な形となり、そこでデルタ関数($\delta(t)$)との関係も実際に生じてくるのです。
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/b9866f5f-2e5d-37e4-c356-4c77b7fd27ff.png)

```math
f＊g(t) ＝\int_{-\infty}^{\infty}f(τ) g(t－τ)dτ\\
\mathcal{F}[f(t)×gt](\omega)=\mathcal{F}[f(t)](\omega)*\mathcal{F}[g(t)](\omega)\\
\mathcal{F}[f(t)*gt](\omega)=\mathcal{F}[f(t)](\omega)×\mathcal{F}[g(t)](\omega)\\
\delta(t \pm T)* f(t)=f(t \pm T)
```
[フーリエ変換とフーリエ逆変換 - Cognicull](https://cognicull.com/ja/2miy1idq)

>マイナスの周波数が存在する理由は、周波数領域への変換過程で半分の周波数成分が数学的にマイナス側に移動するせいで、この時対称性の分岐点となる0Hzを**直流成分**という。

* ここでいう**直流成分**が上掲の投稿における「(実数列を想定する為の)**中心の検出**」概念に対応する。あくまで想定上の中心なので揺らぐ可能性があり、これが「**特定の演算は演算結果集合と観測結果集合と一致している場合のみ成立する**」条件に重なる。

![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fo%252Fochimusha01%252F20210117%252F20210117003848.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D37ccbadc6c100a2d89a877ae0590a7fd?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=7d56d6a8c44dc4c368b0d5fa01b55a01)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fo%252Fochimusha01%252F20210117%252F20210117003225.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D38fcd483a692861fb49da6e992c5761a?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=07152e6a5b15f3e59dc4c91aea50c293)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fo%252Fochimusha01%252F20210117%252F20210117002845.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D3fdd3f6ce5d5ffdccc5284ed07799871?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=38a739179519a15e21cd779510e61708)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fo%252Fochimusha01%252F20201110%252F20201110010727.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D90db2db66ddc81e814913c6046ffcf04?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=da3cc9518836f8bca1efbb09be4eb559)

#離散フーリエ変換(<font color=blue>Discrete Fourier Transform(DFT)</font>)の世界

実際にサンプリングによって得られる観測結果集合は離散的で有限の範囲に留まるので、そのリアルタイム処理に特化したフーリエ級数概念の独自拡張。時間領域に対応する「**時間推移に伴う周波数領域**(スペクトル)**の変遷**」を表示する。
[イコライザGIF](https://jp.phoneky.com/gif-animations/?id=s2s40852#gsc.tab=0)
![image.gif](https://msp.c.yimg.jp/images/v2/FUTi93tXq405grZVGgDqGzE-3kBozGCRc_82t4exlLCwtoTYvvqHJsgTfW-h7zLlwIXRRxIKZhn0fCrZ4VlSEVCRYklr4GztlnlYaN1VSTHhibnTATgKqUIESvnPaWqpIIH4Xk91Wb0EF1JUqe16J1kCD5s4NixhluKWuVF7IoJgXk3BDbSdyVWkPGHoDCmcsKOc-ka-1UQeCAnWd8z8TphUmnWxEWZ6kcGdoJJ_OCfdMmpuFSSEZEBZf1KBoQhF/equalizer_8x63zb2d.gif?errorImage=false)
コンピューター処理と相性が良く、現在単に**フーリエ変換**というと概ねそれ、すなわち**高速フーリエ変換**(FFT=Fast Fourier Transform)を指す。
[離散フーリエ変換(DFT)の仕組みを完全に理解する](https://qiita.com/TumoiYorozu/items/5855d75a47ef2c7e62c8)
[【数理考古学】音楽と離散フーリエ変換(DFT)](https://qiita.com/ochimusha01/items/8114c5a07ce0fbe40213)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/17d61bc2-076e-9daa-4b20-4a21f693e95a.png)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/7d17206e-0199-dfbc-a3bc-ca618c5aade6.png)

##ラプラス変換/逆変換(<font color=blue>Laplace Transform/Inverse Transform</font>)の世界

[ラプラス変換の定義](http://okawa-denshi.jp/techdoc/2-1-3Rapurasuteigi.htm)

>ラプラス変換の定義は，時間tの関数をf(t)とすると以下となります。

```math
F(s)=\int_{0}^{\infty} f(t) e^{-st} dt
```
>この式は時間t の関数f(t) にを掛け合わせたものについてt=0から∞まで積分することでtの関数をsの関数F(s)に変換します。式中のsはラプラス演算子といいs>0で複素数も取り得ます(一方tは実数のみ)。ラプラス変換を数式記号を用いて示す場合は次のように記します。

```math
F(s)=\mathcal{L}[f(t)]
```

>ラプラス変換された関数F(s)を時間関数f(t)に再び変換することをラプラス逆変換といい、数式記号を用いて示す場合は次のように記します。

```math
f(t)=\mathcal{L}^{-1}[F(s)]
```
>ラプラス変換のイメージを絵的に説明すると，ラプラス変換によって得られるF(s)はf(t)と$e^{-st}$を掛け合わせたものについてt軸に挟まれたt=0から∞までの面積と考えることができます。図のグラフは時間関数 f(t)と$e^{-st}$を掛け合わせたもの（ラプラス積分の中身）について，時間的変化を示していますが、灰色に塗りつぶしている領域の面積がまさにF(s)と等価となります。
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/750b1e1c-47e0-84e1-d7ee-f935f72dda01.png)
>f(t)がt→∞で収束していますが、ラプラス変換が成立するにはプラス積分値（F(s)）が収束する事が絶対条件で、それを実現する為に$e^{-st}$を掛けているのです。このように収束に起因する因子（ラプラス変換における）を収束因子といいます。
>
>ラプラス変換できない例としては，f(t)=exp(t^t)の場合は（exp(x)はexと同じ）ラプラス積分が∞に発散してしまうので，ラプラス変換出来ません。

フーリエ変換/逆変換のiω（ωは実数）の部分にs（sは複素数）を代入したのがラプラス変換です(要するに範囲無限を実現する為の方便の違い)。
[ラプラス変換](https://ufcpp.net/study/sp/dsp/laplace/)

>フーリエ変換では、微分演算子はiωに、積分は1/iωに変換される。すなわち、ラプラス変換の変数sは微分演算子に相当する事になる。

[ラプラス変換 - EMANの物理数学](https://eman-physics.net/math/differential13.html)

* ラプラス変換は指数関数の部分に虚数が付いていない.
* ラプラス変換の式の積分範囲はt>0に限られている.
* ラプラス変換ではsの値は複素数の範囲で考えても良い.（しかしtは実数である）
* ラプラス変換では無理して物理的なイメージを考えない方がいい.
* ラプラス変換の逆変換の式はあるにはあるが,虚数軸に沿った無限積分が必要になる.

>ラプラスとフーリエは同じ頃に活躍した人物であるが,ラプラス変換が 1780年頃,フーリエ変換が 1807年頃の発表であり,両者の発想にそれほど深い関わりはないように思われる。

実際にラプラス変換を世に広まったのは交流電気が登場した時代、それも「<font color=purple>稀代の叩き上げ電気技師</font>」**オリヴァー・ヘヴィサイド**（Oliver Heaviside,1850年~1925年)による功績が大きかったのです。
[ラジオと電気回路と三角関数](http://club.informatix.co.jp/?p=4874)

その特徴をフーリエ変換に対応させる形で列記してみましょう。
[【Python演算処理】ラプラス変換/ラプラス逆変換を試す。](https://qiita.com/ochimusha01/items/034e17a4953756b8b018)
線形性

```math
\mathcal{L}[af(t)+bg(t)] = a\mathcal{L}[f(t)] + b\mathcal{L}[g(t)] 
```
相似定理

```math
\mathcal{L}[f(at)]→\frac{1}{a} F(\frac{s}{a}) (a>0)\\
\mathcal{L}[(\frac{1}{a} f(\frac{t}{a})] → F(as) (a>0)\\
\mathcal{L}^-1[F(as)]→\frac{1}{a} f(\frac{t}{a})(a>0)\\
\mathcal{L}^-1[(\frac{1}{a} F(\frac{s}{a})] → f(as)(a>0)
```
推移則

```math
\mathcal{L}[e^{at} f(t)] → F(s-a)
```
微分則

```math
\mathcal{L}[\frac{df(t)}{dt}] → sF(s)-f(0)\\
\mathcal{L}[\frac{d^n f(t)}{dt^n}] → s^n F(s)-s^{n-1} -…-sf^{n-2} (0)-sf^{n-1}(0)
```
積分則

```math
\mathcal{L}(\int_{0}^{t} f(x)ds)=\frac{1}{s}\mathcal{L}(f)\\
\mathcal{L}[\int_{0}^{t} \int_{0}^{t} \int_{0}^{t} … \int_{0}^{t} f(t)(dt)^n] → \frac{1}{s^n} F(s) + \frac{1}{s^n} f^{-1}(0)+…+\frac{1}{s} f^{-n}(0)
```
しかし実は**フーリエ変換**と**ラプラス変換**の間には、さらなる発想の飛躍が存在するのです。
#実数列(<font color=blue>Real Sequance</font>)からの時間軸(<font color=blue>Time Axis</font>)の抽出と「<font color=purple>状態遷移</font>」なる新概念導入。

ところで**フーリエ級数**については冪乗算$e^n$を元とする**ネイピア族**に単純に下族するのではなく、冪乗算$e^{θi}$を元とする別の族とする考え方があります。
[【無限遠点を巡る数理】オイラーの公式と等比数列④「中学生には難しいが高校生なら気付くレベル」？](https://qiita.com/ochimusha01/items/10f0276f9850bea6c993)

* これを「<font color=red>フーリエ族</font>」と呼び分ける事にした場合、**離散フーリエ変換**(DFT)の演算結果集合がそれに完全に下属するのに対し、**フーリエ変換**/**逆変換**のそれは**無限周期波形**や**畳み込み積**などにおいて閉じてない。
* **ラプラス変換**/**逆変換**に至っては「<font color=red>任意の回路方程式</font>」なる全く異なる演算結果集合を元とする別物としか考えられない。どうやらこれはこれで「<font color=red>ラプラス族</font>」なる別の族を立てる必要が生じる様である。

その一方で**離散フーリエ変換**(DFT)や**ラプラス変換**/**逆変換**においては、明示的に**実数列**(Real Sequance)からの**時間軸**(Time Axis)の抽出が為されている事に注目せざるを得ません。これはそれまで数学史上ではあくまで黙殺されてきた因子です。
[【初心者向け】線形関数や絶対値関数](https://qiita.com/ochimusha01/items/8b7050e65b599f9e15c2)
![image.gif](https://camo.qiitausercontent.com/33ed61be25a78fc1ddde0b68974d78041bdd2793/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032303131313625324632303230313131363233303834382e6769663f69786c69623d72622d312e322e32266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3034383934393264336237373862636631623663386233383836616633316334)
![image.gif](https://camo.qiitausercontent.com/3b1ac60637925efce203f0788ffa50710d68f438/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303230313131332f32303230313131333230343535322e676966)
![image.gif](https://camo.qiitausercontent.com/9e9664fb4b1665bc097bea60f3d592fa89108799/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303230313131332f32303230313131333230353234332e676966)
単純に物理学の世界から導入したと考えるだけでなく、リアルタイム処理では**AD変換**や**DA変換**に伴う遅延時間なども意識せざるを得なくなってきた事を考慮に入れるべきかもしれません。

しかも(ここでいう「ラプラス族」が元とする)**回路方程式の演算結果集合**は、さらに異なる時間概念を内包しているのです。

[電気回路・電磁気学―3.2 回路方程式とその解](http://denkikougaku.web.fc2.com/kairo/kairo3.2.html)

>回路方程式は、回路の状態変化があった後の回路構成、例えばスイッチを閉じた後の電流変化の様子、すなわち過渡状態を経て定常状態に落ち着く様子を**定係数線形微分方程式**で表します。
>
>その一般解は、＝0とおいた同次微分方程式の一般解を$y_t$、≠0の非同次微分方程式の特殊解を$y_s$とすると、次のようになります。
>
>$y＝y_t＋y_s$
>
>$y_t$は回路に抵抗がある場合には、過渡状態を経て定常状態に落ち着いた時点で必ず0となるので$y_s$は定常状態における値となります。よって、過渡現象においては$y_t$を**過渡解**、$y_s$を**定常解**といいます。
>
>この関係を整理すると、次のようになります。
>
>**過渡状態**＝**定常解**(非同次方程式の特殊解）＋**過渡解**(同次方程式の一般解）
>**定常状態**＝**定常解**（非同次方程式の特殊解）

コンピューターでいうと以下の様な時間区分で推移する訳ですね。

* **【過渡状態】**<font color=purple>起動シークエンス</font>(電源がOnになってからOSのカーネルメインループがイベント待ち状態に入るまで)。
* **【定常状態】**<font color=purple>イベント待ち状態</font>(イベント待ち状態で回ってるループは、カーネルメインループだけとは限らない)。
* **【過渡状態】**<font color=purple>イベント処理が始まり、それが終了するまで。</font>

これに「(機械学習の結果などに基づく)**活性化関数による状態遷移**」の概念を加えると、ある種の系として完全に閉じた情報処理システムが浮かび上がってくる様です。もしかしたらこういう考え方こそが(ともすれば時間概念を黙殺しようとする数学の世界も座視してはいられなくなった筈の)**人工知能概念の大源流**たるべきなのかもしれません。
[AI(人工知能)や機械学習に必要な数学のレベルと勉強方法を5分で解説！](https://camo.qiitausercontent.com/9e9664fb4b1665bc097bea60f3d592fa89108799/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303230313131332f32303230313131333230353234332e676966)

上掲の「**完全に閉じたシステムとは何か?**」という観点に到達するまでは、私も以下の様に捉えていました。
[数学に、時間の概念は必要でしょうか？](https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10127161975?__ysp=5pWw5a2mIOaZgumWk%2BamguW%2FtQ%3D%3D)

>時間とは何かという問題は主に物理的・哲学的問題であって、数学は直接には関わらないように思いますが、熱力学や統計力学などのエントロピー増大の法則や最も美しい法則といわれる熱力学第二法則は時間の矢と直接関係しますので、熱にかかわる問題を数学的に考えようというときは積極的に数学にも時間の考えが現れます。
>
>熱伝導方程式のようなもろに時間と関わる方程式や、リッチフローもこの種の方程式であるので時間が数式に直接関わるのです。<br>[リッチフロー - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%83%E3%83%81%E3%83%95%E3%83%AD%E3%83%BC)
>
>時間とは何かという問題は非常に難しいため、長きにわたって人類の謎とされてきたのですが、アインシュタインはそのタブーに迫りました。彼の考え方によると空間と時間は無関係どころか直接強い関わりがあるということです。元々ブラウン運動という熱の運動とランダムの考察をしていたのですが、これは量子力学への道を開きながらもアインシュタイン自身はこれを嫌ったといいます。
>
>しかしまた一方では時間と空間が直接美しく関係する相対性理論をも生み出しました。熱力学・とくに第二法則という時間が直接かかわる物理法則と、電磁気・光速度不変性から導かれた時間への革命的考察が、量子論と相対論という何か相反するように見える形で時間に関する深い考察を生み、彼を統一理論への夢へ向かわせたと考えられます。

上掲の「**人工知能概念の大源流**」概念は、こうした考察にさらに新たな検討材料を提供する様です? そんな感じで以下続報…