複素数の計算

フーリエ変換

2017.02.072021.12.20

複素数については実在しないものの様に教わったので、なかなか理解できないままでいたのですが、実際に使ってみると便利に感じることもあるので、数学的には厳密でないかもしれませんが、私なりの理解でまとめてみます。

結論からすると、複素数は複素平面（横軸：実数、縦軸：虚数）におけるベクトルみたいなものです。ベクトルなので、大きさと角度を持ちます。
計算もベクトルと同じ様に、足し算、引き算ができます。
ただ、ベクトルと異なるのが、掛け算、割り算は、指数関数のように計算します。

まず、複素平面については、覚えるしか無さそうなので、複素数Zは実数成分がa、虚数成分がbのとき、虚数iを使って以下のように定義されます。

　複素数Z = a + bi

複素数の大きさ（絶対値は）

傾き（偏角）は

となります。

ここまでは、ほとんどベクトルもしくは極座標の計算と同じです。

さらに、オイラーの公式というのがあり、

e^iθ = cosθ + i sinθ

となります。

ここで登場するeはネイピア数と呼ばれるのですが、自然対数のeと同じフナ一羽二羽のe=2.718281828..と同じですが、指数のところに虚数のiが付いており、まじめにeの何乗か？と考えない方が良いかと思います。

e^iθは、複素平面上での半径１の円として捉えて下さい。

θ=0の時は

eⁱ⁰ = cos0 + i sin0　＝　１　＋　i 0 　= 　1

となり、θ=π / 2 のときは

e^iπ/2 = cos(π/2) + i sin(π/2)＝　0＋i 1 　= 　i

となります。

オイラーの公式では大きさが１ですが、最初の複素数の定義のように任意の大きさAとすると、合わせ技で

Ae^iθ = A(cosθ + i sinθ) = a + bi

ただし、　a = Acosθ、 b = Asinθ

となります。

ここで大事なのが、複素数の定義ではベクトルのように見えますが、オイラーの公式を用いると指数関数のようにも見えます。

このどちらにも見える特性を都合のいい方で扱えるところが便利なところです。

例えば、２つの複素数Z₁とZ₂の足し算は

　　Z₁ = a₁ + b₁ i

　　Z₂ = a₂ + b₂ i

　　Z_１ + Z₂ = a₁ + b₁i + a₂ + b₂i

　　　　　　= a₁ + a₂ + (b₁ + b₂)i

となります。

この計算は、ベクトル（a₁, b₁）とベクトル(a₂, b₂)の足し算と同じです。

同様のことは引き算でも言えます。

それでは、掛け算の場合は、どうなるかというと

　　Z₁ = a₁ + b₁ i

　　Z₂ = a₂ + b₂ i

　　Z_１ x Z₂ = (a₁ + b₁i) x (a₂ + b₂i )

　　　　　　= a₁a₂ + a₁b₂ i + a₂b₁ i + b₁b₂ i²

　　　　　　= a₁a₂ + （a₁b₂ + a₂b₁ ）i ー b₁b₂

　　　　　　= a₁a₂ー b₁b₂ +（a₁b₂ + a₂b₁ ）i

としてもいいのですが、オイラーの公式を使って、Z₁の絶対値をA₁,偏角をθ_１、Z_２の絶対値をA_２,偏角をθ_２として

　　Z₁ = a₁ + b₁ i　＝　A₁e^iθ１

　　Z₂ = a₂ + b₂ i　＝　A₂eⁱ^θ2

　　Z_１ x Z₂ = A₁A₂ eⁱ^{(θ１＋θ２)}

のように指数関数として複素数の掛け算（割り算）は計算した方が良い場合がよくあります。

中間まとめ。

●複素数の足し算、引き算はベクトルの足し算、引き算

●複素数の掛け算、割り算は指数関数

と思って解ける場合が多い。

ここまで覚えると、複素数に関する公式は、覚えていなくても導き出せる場合が多いです。

例えば、虚数i は　i² = -1 となる値として教わったのですが、

$${ i }^{ 2 }={ \left( 0+1i \right) }^{ 2 }={ \left( { e }^{ i\frac { \pi }{ 2 } } \right) }^{ 2 }={ e }^{ i\left( \frac { \pi }{ 2 } +\frac { \pi }{ 2 } \right) }={ e }^{ i\pi }=-1$$

と考えると、回りくどいですが、自分の中ではスッキリと整理ができました。

他にも複素数の虚数成分を負にした（θをマイナスにした）ものを複素共役（ふくそきょうやく）といいますが、

$$Z\quad =\quad a\quad +\quad bi\quad =\quad A{ e }^{ i\theta }\quad \\ \bar { Z } \quad =\quad a\quad -\quad bi\quad =\quad A{ e }^{ -i\theta }\quad $$

図示するとこんな感じ↓