差分

'''ガラパゴ数列'''（ガラパゴ数列）とは、互いに複素共役な二つの複素数 （ガラパゴ数列）とは、複素数 $$z$$ と を累乗した際に虚部と実部がそれぞれ何倍されるのかを表す実数列である。このときの $$\overline{z}$$ の和と積を係数とする三項間漸化式により生成される実数列である。を'''生成元'''といい、虚部側の数列を'''第１種ガラパゴ数列'''、実部側の数列を'''第２種ガラパゴ数列'''という。

斜交座標系における幾何学的な性質を簡潔に表現することを主目的として 数式を用いて表現するならば、生成元を $$z$$ とする第１種ガラパゴ数列を $$G_n$$、第２種ガラパゴ数列を $$G'_n$$ として  :$$z^n=[\mathrm{Im}~z^n]~i+[\mathrm{Re}~z^n]=[G_n\cdot\mathrm{Im}~z]~i+[G'_n\cdot\mathrm{Re}~z]$$ :$$\quad\begin{cases}\mathrm{Im}~z^n=G_n\cdotp\mathrm{Im}~z\\[4pt]\mathrm{Re}~z^n=G'_n\cdotp\mathrm{Re}~z\end{cases}$$ または $$\begin{pmatrix}\mathrm{Im}~z^n\\\mathrm{Re}~z^n\end{pmatrix}=\begin{pmatrix}\mathrm{Im}~z&0\\0&\mathrm{Re}~z\end{pmatrix}\begin{pmatrix}G_n\\G'_n\end{pmatrix}$$ :より $$\quad\begin{cases}G_n=\frac{\mathrm{Im}~z^n}{\mathrm{Im}~z}\\G'_n=\frac{\mathrm{Re}~z^n}{\mathrm{Re}~z}\end{cases}$$  をそれぞれ満たす数列ということになる。これらの数列は、斜交座標系における幾何学的な性質を簡潔に表現することを主目的として [[みゆ]] によって導出された。

\end{cases}$$ または $$\begin{pmatrix}G_n\\G_{n+1}\\G_n\end{pmatrix}=\begin{pmatrix}0&1\\-z+\cdotp\overline{z}&-z\cdotp+\overline{z}\end{pmatrix}^n\begin{pmatrix}0\\1&0\end{pmatrix}$$  特に $$|z|=1$$ のとき、$$\mathrm{Arg}~z=\theta$$ として $$\quad\begin{array}{rl}G_n=&\displaystyle\frac{\mathrm{Im}(z^n)}{\mathrm{Im}(z)}=\frac{\sin n\theta}{\sin\theta}=\sum_{k=0}^{n-1}z^{n-2k-1}\\=&\begin{pmatrixcases}n=2m~のとき&\cdots&\displaystyle 2\sum_{k=0}^{m-1}\cos(2k+1)\theta\\n=2m+1~のとき&\cdots&\displaystyle 1+2\sum_{k=1}^m\0cos2k\theta\end{cases}\end{pmatrixarray}$$    ===第２種ガラパゴ数列=== 複素数 $$z$$ を生成元とする第２種ガラパゴ数列の一般項 $$G'_n$$ は次のように定義される。 

:$$\displaystyle G_nbegin{cases}G'_0=\displaystylefrac{2}{z+\fracoverline{z}}\\G'_1=1\\G'_n=(z+\overline{z^})G'_{n-1}-(z\cdotp\overline{z}^)G'_{~n-2}\end{cases}$$ または $$\begin{pmatrix}G'_n\\G'_{n+1}\end{pmatrix}=\begin{pmatrix}0&1\\-z-\cdotp\overline{z}&z+\overline{z}=\sum_end{k=0pmatrix}^n\begin{pmatrix}\frac{n-12}{z+\overline{z}^{\\~~k1}\cdot z^end{n-k-1pmatrix}$$

特に $$G_n$$ の具体値は $$|z|=1$$ によって異なるため、のとき、$$\mathrm{Arg}~z=\theta$$ が具体値をとる場合にはその値を生成元として明示する必要がある。として

:$$\begin{cases}G_0=0\\G_1=1\\G_{n+2}=(z+\overline{z})G_{n+1}-(z\cdotp\overline{z})G_{n}\end{cases}$$

z^n=&\sincos\left(n~\mathrm{Arg}~z^n\right)+i\sin\left(n~\mathrm{Arg}~z^n\right)\\\overline{z}^{~n}=&\sincos\left(n~\mathrm{Arg}~z^n\right)-i\sin\left(n~\mathrm{Arg}~z^n\right)\\z^n-\overline{z}^{~n}=&2i\sin\left(n~\mathrm{Arg}~z^n\right)

:　$$\beginhuge($$$$n$$ が奇数のとき展開可能 $$\displaystyle G'_n=\sum_{align*k=0}z^{n=G_nz-1}(z\cdotp-\overline{z})G_^{~k}\cdot z^{n-k-1}\end{align*}huge)$$

この一次式の係数列を また、$$C_n|z|=1$$ のとき $$|z^n|=|\overline{z}^{~n}|=1^n=1$$ であるため、  :$$\begin{align*}z^n=&\cos\left(n~\mathrm{Arg}~z\right)+i\sin\left(n~\mathrm{Arg}~z\right)\\\overline{z}^{~n}=&\cos\left(n~\mathrm{Arg}~z\right)-i\sin\left(n~\mathrm{Arg}~z\right)\\z^n+\overline{z}^{~n}=&2\cos\left(n~\mathrm{Arg}~z\right)\end{align*}$$  といえる。従って  :$$G'_n=\displaystyle\frac{z^n+\overline{z}^{~n}}{z+\overline{z}}=\frac{2\cos\left(n~\mathrm{Arg}~z\right)}{2\cos\left(\mathrm{Arg}~z\right)}=\frac{\cos\left(n~\mathrm{Arg}~z\right)}{\cos\left(\mathrm{Arg}~z\right)}$$  が導かれる。   ==ガラパゴ数列の相互定理== $$z$$ を生成元とする第１種ガラパゴ数列 $$G_n$$ と第２種ガラパゴ数列 $$G'_n$$ の間には次のような関係性がある。  :$$\begin{align*}G_n&=\frac{z^n-\overline{z}^{~n}}{z-\overline{z}}\\&=\frac{(z^n-\overline{z}^{~n})(z+\overline{z})}{(z-\overline{z})(z+\overline{z})}\\&=\frac{z^{n+1}+z^n\cdotp\overline{z}-\overline{z}^{~n}\cdotp z-\overline{z}^{~n+1}}{(z-\overline{z})(z+\overline{z})}\\&=\frac{z^{n+1}-z^n\cdotp\overline{z}+\overline{z}^{~n}\cdotp z-\overline{z}^{~n+1}}{(z-\overline{z})(z+\overline{z})}+\frac{2z^n\cdotp\overline{z}-2\overline{z}^{~n}\cdotp z}{(z-\overline{z})(z+\overline{z})}\\&=\frac{(z^n+\overline{z}^{~n})(z-\overline{z})}{(z-\overline{z})(z+\overline{z})}+\frac{2(z\cdotp\overline{z})(z^{n-1}-\overline{z}^{~n-1})}{(2\mathrm{Re}~z)(z-\overline{z})}\\&=\frac{z^n+\overline{z}^{~n}}{z+\overline{z}}+\frac{2(z\cdotp\overline{z})}{2\mathrm{Re}~z}\cdot\frac{z^{n-1}-\overline{z}^{~n-1}}{z-\overline{z}}\\&=G'_n+\frac{2|z|^2}{2\mathrm{Re}~z}\cdot G_{n-1}\\\end{align*}$$  $$\therefore~\mathrm{Re}~z\cdot(G_n-G'_n)=|z|^2\cdot G_{n-1}~\begin{cases}G_n&=G'_n+\frac{|z|^2}{\mathrm{Re}~z}\cdot G_{n-1}\\G'_n&=G_n-\frac{|z|^2}{\mathrm{Re}~z}\cdot G_{n-1}\end{cases}$$  このような相互関係を'''ガラパゴ数列の相互定理'''という。 ==応用例== ===ガラパゴ累乗定理=== ガラパゴ数列の相互定理より  :$$、\begin{align*}G_n&=G'_n+\frac{|z|^2}{\mathrm{Re}~z}\cdot G_{n-1}\\G_n\cdot\mathrm{Re}~z&=G'_n\cdot\mathrm{Re}~z+|z|^2\cdot G_{n-1}\\G_n(z-\mathrm{Im}~z~i)&=G'_n\cdot\mathrm{Re}~z+|z|^2\cdot G_{n-1}\\[G_n] z-[G_n\cdot\mathrm{Im}~z]~i&=[G'_n\cdot\mathrm{Re}~z]+[|z|^2\cdot G_{n-1}]\\[G_n] z+[-|z|^2\cdot G_{n-1}]&=[G_n\cdot\mathrm{Im}~z]~i+[G'_n\cdot\mathrm{Re}~z]\\\end{align*}$$  と変形できるが、この右辺はガラパゴ数列の定義より $$z^n$$ である。したがって  :$$z^n=\underbrace{[G_n]~z+[(-|z|^2)G_{n-1}]}_{1~と~z~を基底の元とする斜交座標}=[\underbrace{[G_n\cdot\mathrm{Im}~z]~i+G'_n\cdot\mathrm{Re}~z]}_{1~と~i~を基底の元とする直交座標}$$  というように $$z^n$$ は $$1$$ と $$z$$ を基底の元とする斜交座標系と相互変換することができる。 ガラパゴ数列の各項は三項間漸化式にみるように $$z+\overline{z}=2\mathrm{Re}~z$$ と $$z\cdot\overline{z}=|z|^2$$ を元とする多項式で表現可能であるため、この $$z$$ の一次式の係数もまた同様といえる。このような $$z$$ の累乗に関する定理を[[ガラパゴ累乗定理]]という。（詳しくは参照先）  ちなみに、この $$z$$ の一次式の係数を $$S_n=G_n$$ と表すならば、それぞれの数列は次の行列の積としても表現できる。、$$C_n=(-z\cdotp\overline{z})G_{n-1}$$ と表すならば、それぞれの数列は次のように行列の積でも表現可能である。

=&\displaystyle\frac{1}{z-\overline{z}}\begin{pmatrix}-(z\cdotp\overline{z})(z^{n-1}-\overline{z}^{~n-1})&-(z\cdotp\overline{z})(z^n-\overline{z}^{~n})\\z^n-\overline{z}^{~n}&z^{n+1}-\overline{z}^{~n+1}\end{pmatrix}\\=&\displaystyle\frac{1}{2\mathrm{Im}~z}\begin{pmatrix}-(|z|^2)(2\mathrm{Im}~z^{n-1})&-(|z|^2)(2\mathrm{Im}~z^n)\\2\mathrm{Im}~z^n&2\mathrm{Im}~z^{n+1}\end{pmatrix}\\=&\displaystyle\frac{1}{\mathrm{Im}~z}\begin{pmatrix}-(|z|^2)(\mathrm{Im}~z^{n-1})&-(|z|^2)(\mathrm{Im}~z^n)\\\mathrm{Im}~z^n&\mathrm{Im}~z^{n+1}\end{pmatrix}\\ 

この行列は、$$1$$ と $$z$$ を基底の元とする空間において を基底の元とする斜交座標空間において $$z$$ と $$z^2=z\cdot(-\overline{z}+z+\overline{z})=-(z\cdot\overline{z})+z(z+\overline{z})$$ すなわち $$\begin{pmatrix}0\\1\end{pmatrix}$$ と $$\begin{pmatrix}-z\cdot\overline{z}\\z+\overline{z}\end{pmatrix}$$ を新たな基底の元とする空間 $$\begin{pmatrix}0&-z\cdot\overline{z}\\1&z+\overline{z}\end{pmatrix}$$ を累乗することで自己相似空間を作り、結果的に $$\begin{pmatrix}0\\1\end{pmatrix}$$ すなわち $$z$$ が累乗されていく様を表している。

===ガラパゴ三角関数のマクローリン展開係数列ガラパゴ三角関数のマクローリン展開===

極座標 $$e^{xz}$$ を基底の元の線形結合で表現したときの各元の係数を得る関数であり、ガラパゴ数列 を基底の元の線形結合で表現したときの各元の係数を得る関数であり、第１種ガラパゴ数列 $$G_n$$ を用いて次のように表すことができる。

\lim_{n\to\infty}\left(1+\frac{x}nz\right)^n=e^{xz}=&\sum_{k=0}^\infty\frac{z^k}{k!}x^k=\sum_{k=0}^\infty\frac{G_kz-G_{k-1}}{k!}x^k\\

特に $$z=i$$ であるとき、上式はオイラーの公式に一致する。この場合のガラパゴ数列はであるとき、上式はオイラーの公式に一致する。この場合の第一種ガラパゴ数列は

:$$\displaystyle~G_n=\frac{i^n-(-i)^n}{i-(-i)}=\frac{i^{n-1}-+(-i)^{n-1}}{2}$$

また、ちなみに、$$\cos_zx$$ と $$\sin_zx$$ のマクローリン展開係数に現れる $$-G_{n-1}$$ と $$G_n$$ をそれぞれ $$C_n=-G_{n-1}$$、$$S_n=G_n$$ と表すならば、それぞれの数列は次の行列の積としても表現できる。と表すならば、それぞれの数列は次のように行列の積でも表現可能である。

ガラパゴ数列の生成元 第 $$k$$ 貴金属数をガラパゴ数列の生成元 $$z$$ とする場合、$$z$$ を第 は実数であるためその複素共役は自分自身に一致（$$kz=\overline{z}$$ 貴金属数とする場合、）する。 ここで、複素共役同士の関係というのは  :$$\begin{align*}z^2&=z\cdot z\\&=(z+\overline{z}-\overline{z})\cdot z\\&=(z+\overline{z})\cdot z-\overline{z}\cdot z\\&=(z+\overline{z})\cdot z-(\overline{z}\cdot z)\\\end{align*}$$ が実数であることからその複素共役は自分自身に一致（ :$$z^2-\underbrace{(z+\overline{z})}_{2\mathrm{Re}~z}\cdot z+\underbrace{(\overline{z}\cdot z)}_{|z|^2}=0$$  を $$z$$ の２次方程式とみなしたときの共役解 $$z$$ と $$\overline{z}$$）する。しかし、の関係とみることができる。そこで、貴金属数の定義にみる $$x^2-kx-1=0$$ の共役解の関係を広義の複素共役とみなせば次のように解釈することができる。

この場合、このとき第１種と第２種のガラパゴ数列はそれぞれ第１種と第２種の第 $$G_nk$$ は第 $$n$$ 貴金属数列に一致し、隣接２項の比の極限は第 貴金属数列となり、それらの数列の隣接２項の比の極限は第 $$k$$ 貴金属数 $$\frac{k+\sqrt{k^2+4}}2$$ に収束する。

第 $$1$$ 貴金属数列である'''フィボナッチ数列'''は、隣接２項比の極限が'''黄金数''' 例えば第１貴金属数である黄金数 $$\phi=\frac{1+\sqrt{5}}2$$ となる数列であり、を生成元とする場合、

を生成元とするガラパゴ数列であり、第１種ガラパゴ数列 $$G_n$$ と第２種ガラパゴ数列 $$G'_n$$ は  :$$\begin{cases}\displaystyle G_n=\frac{\phi^n-(-\phi^{-1})^n}{\phi-(-\phi^{-1})}=\sum_{k=0}^\infty(-1)^k\cdotp\phi^{n-2k-1}&=F_n~\cdots~フィボナッチ数\\\displaystyle G'_n=\frac{\phi^n+(-\phi^{-1})^n}{\phi+(-\phi^{-1})}&=L_n~\cdots~リュカ数\\\end{cases}$$  となる。（いずれの数列も隣接２項の比の極限は $$\phi=\frac{1+\sqrt{5}}2$$ に収束する。）  ちなみにこのとき、黄金数の虚部と実部は次のように解釈されているため、  :$$\begin{cases}\mathrm{Im}~\phi=-\sqrt{-\left[\left(\frac12\right)^2+1\right]}=-\frac{\sqrt{-5}}2\\\mathrm{Re}~\phi=\frac12\end{cases}$$ 

 :$$\displaystyle G_nbegin{align*}\phi^n&=\fracleft[F_n\cdot\mathrm{Im}~\phi\right]~i+\left[L_n\cdot\mathrm{Re}~\phi^n\right]\\&=\left[F_n\cdot\frac{-(\sqrt{-5}}2\right]~i+\left[L_n\cdot\frac12\phiright]\\&=\frac{F_n\sqrt5+L_n}2\end{align*}$$  と表される。また、  :$$\begin{align*}\frac{|z|^2}{\mathrm{-1Re})^n~z}&=\frac{\phi-(-\cdot\overline{\phi}}{\mathrm{Re}~\phi^}\\&=\frac{\frac{1+\sqrt5}2\cdot\frac{1-1\sqrt{5}}2}){\frac12}\\&=-2\sum_end{kalign*}$$  であるため、ガラパゴ数列の相互定理によって  :$$\begin{cases}F_n=0L_n+\frac{|z|^2}{\mathrm{Re}~\phi}^\infty(cdot F_{n-1)}=L_n-2F_{n-1}\\L_n=F_n-\frac{|z|^k2}{\cdotpmathrm{Re}~\phi^}\cdot F_{n-2k-1}=F_n+2F_{n-1}\end{cases}$$