|

Complex Exponentiation 複素数の累乗

If complex multiplication is a spin and a stretch, then Complex Exponentiation (aba^b) is a spiral.

複素数の掛け算が回転と伸縮だとすれば、複素数の累乗(aba^b)は螺旋になります。

Let’s start with simple examples using positive integer exponents. When we calculate a2a^2 or a3a^3, we apply the spin-and-stretch repeatedly. Each multiplication scales the magnitude and adds to the angle. You can picture this as tracing a spiral path. If we use real numbers as exponents, the spiral becomes continuous.

まずは、正の整数指数の簡単な例から始めましょう。a2a^2a3a^3 を計算するときは、回転と伸縮を繰り返し適用しています。掛け算のたびに大きさは拡大・縮小し、角度は加算されます。これは、螺旋状の軌跡をたどるイメージで捉えられます。指数を実数にすると、その螺旋は連続になります。

Complex exponent formula

複素数の累乗の公式

Extending this to complex exponents is a little mind-boggling. It is not intuitive to picture what it means to raise a number to a complex power. Euler’s formula helps here as well.

これを複素数指数にまで拡張すると、少し(あるいはかなり)頭が混乱します。数を複素数乗するとはどういう意味かを直感的に思い描くのは難しいです。ここでもオイラーの公式が助けになります。

By definition, the natural logarithm (ln\ln) and the exponential function (exe^x) are inverses of each other. This means that any positive number xx can be rewritten as:

定義より、自然対数(ln\ln)と指数関数(exe^x)は互いに逆関数です。つまり、任意の正の数 xx は次のように書き換えられます:

x=eln(x)x = e^{\ln(x)}

If we replace xx with our base aa, we get:

xx を底 aa に置き換えると、次のようになります:

a=eln(a)a = e^{\ln(a)}

So aba^b can be written as:

aba^b は次のように書けます:

ab=(eln(a))b=ebln(a)a^b = \left( e^{\ln(a)} \right)^b = e^{b \cdot \ln(a)}

Applying the formula

公式を適用する

This form works very nicely with complex numbers as well. Here is how you can use it.

この形は複素数に対してもとても都合よく働きます。以下がその使い方です。

First, we convert the base aa into its polar form (rar_a and θa\theta_a)

まず、底 aa を極形式(rar_aθa\theta_a)に変換します。

Magnitude (rar_a): ax2+ay2\sqrt{a_x^2 + a_y^2}

Angle (θa\theta_a): atan2(ay,ax)\operatorname{atan2}(a_y, a_x)

Then the logarithm of aa is:

すると、aa の対数は次のようになります:

ln(a)=ln(ra)+iθa\ln(a) = \ln(r_a) + i\theta_a

So the exponent in the formula is:

したがって、公式の指数部分は次のようになります:

bln(a)=(bx+byi)(ln(ra)+iθa)b \cdot \ln(a) = (b_x + b_yi) \cdot (\ln(r_a) + i\theta_a)

Real Part (RR): bxln(ra)byθab_x \ln(r_a) - b_y \theta_a

Imaginary Part (II): bxθa+byln(ra)b_x \theta_a + b_y \ln(r_a)

Plugging this back into the formula

これを公式に戻して代入すると:

c=eR+iI=eReiI=eR(cos(I)+isin(I))c = e^{R+iI} = e^R \cdot e^{iI} = e^R \cdot (\cos(I) + i\sin(I))

Intuition

直感的に捉える

If you look at RR and II above, you can see how both parts are intertwined in complex exponentiation. The real part (RR), which controls size, is not just affected by the real part of the exponent (bxb_x). It is also shrunk or grown by the angle of the base (aa) multiplied by the imaginary part of the exponent (byb_y). The imaginary part (II), which controls spin, is not just affected by the angle of the base. It is also rotated by the size of the base (lnra\ln r_a).

RRII を見ると、複素数の累乗ではこの2つが絡み合っていることが分かります。サイズを決める実部(RR)は、指数の実部(bxb_x)だけで決まるのではありません。底(aa)の角度に指数の虚部(byb_y)を掛けたものによっても縮んだり大きくなったりします。同様に、回転を決める虚部(II)は底の角度だけでなく、底の大きさ(lnra\ln r_a)によっても回転(位相)が変わります。

In the demo, try moving aa and bb to see this in action. To help, it draws the spiral from the original base, interpolating the exponent from 1+0i1 + 0i (which does nothing) to the selected value of bb.

デモでは、aabb を動かして挙動を確認してみてください。補助として、元の底から螺旋を描き、指数を 1+0i1 + 0i(何もしない)から選択した bb の値へ補間しながら表示しています。