読者です 読者をやめる 読者になる 読者になる

任意の周期数列を作る その2

目次

その1: 任意の周期数列を作る その1 - 冷水催眠
      周期  2,\ 3,\ 4,\ 6,\ 8

その2: ココ
      周期  12,\ 3・2^m,\ 2^m

その3: 任意の周期数列を作る その3 - 冷水催眠
      周期  m


表記(再掲)

この記事では便宜的に数列とベクトルを同一視した書き方をします。

そしてベクトルとみなした数列を  = で繋ぎ、加減算・スカラー倍します。


 c_1,\ c_2,\ \ldots, c_m,\ c_1,\ c_2,\ \ldots, c_m,\ c_1,\ \ldots という周期  m の数列  \{a_n\} と、 m 次元ベクトル  (c_1,\ c_2,\ \ldots,\ c_m) を対応させ、 a_n=(c_1,\ c_2,\ \ldots,\ c_m) と便宜的に表記することにします。

あくまでもこの記事の中だけの表記です。

この数列の一般項が  f(n) のとき  (c_1,\ c_2,\ \ldots,\ c_m)=f(n) と書くことにします。

このとき  a_n=f(n) です。


例えば  a_1=1,\ a_2=2,\ a_3=3 であるような周期  3 の数列を

 \begin{align} \{a_n\} &= \{1,\ 2,\ 3,\ 1,\ 2,\ 3,\ 1,\ 2,\ 3,\ \ldots\} \\ a_n &= (1,\ 2,\ 3) \end{align}

と表記し、 b_n=(3,\ 4,\ 5) としたときに

 2a_n+b_n=2(1,\ 2,\ 3)+(3,\ 4,\ 5)=(5,\ 8,\ 11)

のような操作をします。

添え字  n は正の整数とします。


周期12

一般項の形がきれいじゃなくなってきた・・・・・・これ以上周期が長くなるときれいな一般項の独立な数列作るの無理ですよ~~~(涙)

あっ、そうだ(唐突)

ここからは周期  6 および周期  8 の数列を作るときに使った数列を用いて周期  3・2^m と周期  2^m の数列を作れるようにします。


まずは周期  3・2^2 = 12 の数列を作ることを考えます。


 {\bf R}^6 の基底を作っていた6個の周期6の数列(に対応するベクトル)

 \begin{align}
    \displaystyle {a_n}' &= (1,\ 1,\ 1,\ 1,\ 1,\ 1) = 1 \\
    \displaystyle {b_n}' &= (-1,\ 1, -1,\ 1, -1,\ 1) = \cos{n\pi} \\
    \displaystyle {c_n}' &= (1, -1,\ 0,\ 1, -1,\ 0) = \frac{2\sqrt{3}}{3}\sin{\frac{2n\pi}{3}} \\
    \displaystyle {d_n}' &= (-1, -1,\ 2, -1, -1,\ 2) = 2\cos{\frac{2n\pi}{3}} \\
    \displaystyle {e_n}' &= (1,\ 1,\ 0, -1, -1,\ 0) = \frac{2\sqrt{3}}{3}\sin{\frac{n\pi}{3}} \\
    \displaystyle {f_n}' &= (1, -1, -2, -1,\ 1,\ 2) = 2\cos{\frac{n\pi}{3}}
\end{align}

をうまく使うと  {\bf R}^{12} の基底となるような周期12の数列12個を作ることができます。


周期12の数列を作るために使用する独立な12個の数列を

 a_n,\ b_n,\ c_n,\ d_n,\ e_n,\ f_n,\ g_n,\ h_n,\ i_n,\ j_n,\ k_n,\ l_n

とします。これらの数列を次のように構成します。


作る数列の周期を  m とする。

①.前半の  \displaystyle \frac{m}{2} a_n,\ b_n,\ \ldots,\ f_n はそれぞれ

 {a_n}',\ \ {b_n}',\ \ldots,\ \ {f_n}'
 を2周期分繰り返した数列とする。一般項は

 a_n={a_n}',\hspace{20px} b_n={b_n}',\hspace{16px} \ldots,\hspace{20px} f_n={f_n}'


②.後半の  \displaystyle \frac{m}{2} g_n,\ h_n,\ \ldots,\ l_n はそれぞれ

 {a_n}',\ \ {b_n}',\ \ldots,\ \ {f_n}'
 -{a_n}',\ -{b_n}',\ \ldots,\ -{f_n}'
 の2つを1周期分ずつ繋げた数列とする。一般項(仮)は

 \displaystyle g_n= \begin{cases} {a_n}' & (0 \le (n-1 \bmod{m}) \le \frac{m}{2}-1) \\ -{a_n}' & (\frac{m}{2} \le (n-1 \bmod{m}) \le m-1) \end{cases} \\
 \displaystyle h_n= \begin{cases} {b_n}' & (0 \le (n-1 \bmod{m}) \le \frac{m}{2}-1) \\ -{b_n}' & (\frac{m}{2} \le (n-1 \bmod{m}) \le m-1) \end{cases}
 \vdots


簡単に言えば①は  (1,\ 2,\ 3) を2回繰り返して  (1,\ 2,\ 3,\ 1,\ 2,\ 3) としよう!ってことです。ただし、2回繰り返したところで一般項は変わりません。

②は  (1,\ 2,\ 3) とその符号を反対にしたものを繋げて  (1,\ 2,\ 3, -1, -2, -3) としよう!ってことです。


①を用いて、独立な12個の数列のうち最初の6つを次のように構成します。

 \begin{align}
    \displaystyle a_n &= (1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1) = 1 \\
    \displaystyle b_n &= (-1,\ 1, -1,\ 1, -1,\ 1, -1,\ 1, -1,\ 1, -1,\ 1) = \cos{n\pi} \\
    \displaystyle c_n &= (1, -1,\ 0,\ 1, -1,\ 0,\ 1, -1,\ 0,\ 1, -1,\ 0) = \frac{2\sqrt{3}}{3}\sin{\frac{2n\pi}{3}} \\
    \displaystyle d_n &= (-1, -1,\ 2, -1, -1,\ 2, -1, -1,\ 2, -1, -1,\ 2) = 2\cos{\frac{2n\pi}{3}} \\
    \displaystyle e_n &= (1,\ 1,\ 0, -1, -1,\ 0,\ 1,\ 1,\ 0, -1, -1,\ 0) = \frac{2\sqrt{3}}{3}\sin{\frac{n\pi}{3}} \\
    \displaystyle f_n &= (1, -1, -2, -1,\ 1,\ 2,\ 1, -1, -2, -1,\ 1,\ 2) = 2\cos{\frac{n\pi}{3}}
\end{align}

次に②を用いて、独立な12個の数列の残りの6つを次のように構成します。

 \begin{align}
    \displaystyle g_n &= (1,\ 1,\ 1,\ 1,\ 1,\ 1, -1, -1, -1, -1, -1, -1) = (\ ?\ ) \\
    \displaystyle h_n &= (-1,\ 1, -1,\ 1, -1,\ 1,\ 1, -1,\ 1, -1,\ 1, -1) = (\ ?\ ) \\
    \displaystyle i_n &= (1, -1,\ 0,\ 1, -1,\ 0, -1,\ 1,\ 0, -1,\ 1,\ 0) = (\ ?\ ) \\
    \displaystyle j_n &= (-1, -1,\ 2, -1, -1,\ 2,\ 1,\ 1, -2,\ 1,\ 1, -2) = (\ ?\ ) \\
    \displaystyle k_n &= (1,\ 1,\ 0, -1, -1,\ 0, -1, -1,\ 0,\ 1,\ 1,\ 0) = (\ ?\ ) \\
    \displaystyle l_n &= (1, -1, -2, -1,\ 1,\ 2, -1,\ 1,\ 2,\ 1, -1, -2) = (\ ?\ ) \\
\end{align}


後半6つの一般項は、前半6つの一般項に  \{ 1,\ 1,\ 1,\ 1,\ 1,\ 1, -1, -1, -1, -1, -1, -1,\ 1,\ \ldots \} という数列を掛ければ出来上がります。

この数列の一般項は  n=1 6 のときに正の値、 n=7 12 のときに負の値をとるような周期12の数列の一般項をそれ自身の絶対値で割ることで得られ、その一般項は  \displaystyle \frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|} で与えられます。

よって、後半の6つの数列の一般項は次の式で与えられます。

 \displaystyle 
g_n= \frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}a_n,\hspace{20px}
h_n= \frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}b_n,\hspace{20px}
i_n= \frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}c_n
 \displaystyle 
j_n= \frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}d_n,\hspace{20px}
k_n= \frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}e_n,\hspace{20px}
l_n= \frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}f_n

 g_n から  l_n の一般項は  a_n から  f_n で表せてしまいました。


これらの数列を用いれば、周期12の任意の数列の一般項を実数  t_1 t_{12} を用いて

 \begin{align}
    (一般項) &= t_1a_n+t_2b_n+t_3c_n+\ldots+t_{11}k_n+t_{12}l_n \\
    \displaystyle &= t_1a_n+t_2b_n+\ldots+t_6f_n+\frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}\left( t_7a_n+t_8b_n+\ldots+t_{12}f_n \right)
\end{align}

と表すことができます。



さて、本当でしょうか?

作った12個の数列が独立かどうか確かめなければなりません。


周期12の数列  (a,\ b,\ \ldots,\ l) について考えます。

周期6のときの係数  t_1 t_6

 \displaystyle
\left( \begin{array}{c} a \\ b \\ c \\ d \\ e \\ f \end{array} \right) = 
\left( \begin{array}{cccccc}
    1 & -1 & 1 & -1 & 1 & 1 \\
    1 & 1 & -1 & -1 & 1 & -1 \\
    1 & -1 & 0 & 2 & 0 & -2 \\
    1 & 1 & 1 & -1 & -1 & -1 \\
    1 & -1 & -1 & -1 & -1 & 1 \\
    1 & 1 & 0 & 2 & 0 & 2
\end{array} \right)
\left( \begin{array}{c} t_1 \\ t_2 \\ t_3 \\ t_4 \\ t_5 \\ t_6 \end{array}\right)

という行列から求めました。ここにある6次正方行列を  A とおきます。すると周期12のときの係数  t_1 t_{12}

 \displaystyle \begin{align}
\left( \begin{array}{c} a \\ b \\ c \\ d \\ e \\ f \\ g \\ h \\ i \\ j \\ k \\ l \end{array} \right) &= 
\left( \begin{array}{cccccccccccc}
    1 & -1 & 1 & -1 & 1 & 1 & 1 & -1 & 1 & -1 & 1 & 1 \\
    1 & 1 & -1 & -1 & 1 & -1 & 1 & 1 & -1 & -1 & 1 & -1 \\
    1 & -1 & 0 & 2 & 0 & -2 & 1 & -1 & 0 & 2 & 0 & -2 \\
    1 & 1 & 1 & -1 & -1 & -1 & 1 & 1 & 1 & -1 & -1 & -1 \\
    1 & -1 & -1 & -1 & -1 & 1 & 1 & -1 & -1 & -1 & -1 & 1 \\
    1 & 1 & 0 & 2 & 0 & 2 & 1 & 1 & 0 & 2 & 0 & 2 \\
    1 & -1 & 1 & -1 & 1 & 1 & -1 & 1 & -1 & 1 & -1 & -1 \\
    1 & 1 & -1 & -1 & 1 & -1 & -1 & -1 & 1 & 1 & -1 & 1 \\
    1 & -1 & 0 & 2 & 0 & -2 & -1 & 1 & 0 & -2 & 0 & 2 \\
    1 & 1 & 1 & -1 & -1 & -1 & -1 & -1 & -1 & 1 & 1 & 1 \\
    1 & -1 & -1 & -1 & -1 & 1 & -1 & 1 & 1 & 1 & 1 & -1 \\
    1 & 1 & 0 & 2 & 0 & 2 & -1 & -1 & 0 & -2 & 0 & -2
\end{array} \right)
\left( \begin{array}{c} t_1 \\ t_2 \\ t_3 \\ t_4 \\ t_5 \\ t_6 \\ t_7 \\ t_8 \\ t_9 \\ t_{10} \\ t_{11} \\ t_{12} \end{array}\right) \\
&= \left( \begin{array}{cc}
    A & A \\
    A & -A
\end{array} \right)
\left( \begin{array}{c} t_1 \\ t_2 \\ \vdots \\ t_{12} \end{array}\right)
\end{align}

によって求められます。

ここで、 A逆行列  A^{-1} が存在するとき  \left( \begin{array}{cc} A & A \\ A & -A \end{array} \right)逆行列も存在し、 \displaystyle \left( \begin{array}{cc} A & A \\ A & -A \end{array} \right)^{-1} = \frac{1}{2}\left( \begin{array}{cc} A^{-1} & A^{-1} \\ A^{-1} & -A^{-1} \end{array} \right) となります。

よって  a_n,\ b_n,\ \ldots,\ l_n は独立であり、周期数列  (a,\ b,\ \ldots,\ l) の係数  t_1 t_{12}

 \displaystyle
\left( \begin{array}{c} t_1 \\ t_2 \\ \vdots \\ t_{12} \end{array}\right) = 
\frac{1}{2}\left( \begin{array}{cc} A^{-1} & A^{-1} \\ A^{-1} & -A^{-1} \end{array} \right)
\left( \begin{array}{c} a \\ b \\ \vdots \\ l \end{array} \right)

で求めることができます。


周期3・2m (m≧2)

周期  6→12 と同じように上の①,②の処理を繰り返し用いることで周期  24,\ 48,\ 96,\ 192,\ \ldots の任意の周期数列を作ることができます。


例えば、任意の周期  24 の数列  s_1,\ \ldots,\ s_{24} の一般項  f_{24}(x) は、実数  t_1 t_{24} と6つの数列

 \begin{align}
    \displaystyle a_n &= (1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1) = 1 \\
    \displaystyle b_n &= (-1,\ 1, -1,\ 1, -1,\ 1, -1,\ 1, -1,\ 1, -1,\ 1) = \cos{n\pi} \\
    \displaystyle c_n &= (1, -1,\ 0,\ 1, -1,\ 0,\ 1, -1,\ 0,\ 1, -1,\ 0) = \frac{2\sqrt{3}}{3}\sin{\frac{2n\pi}{3}} \\
    \displaystyle d_n &= (-1, -1,\ 2, -1, -1,\ 2, -1, -1,\ 2, -1, -1,\ 2) = 2\cos{\frac{2n\pi}{3}} \\
    \displaystyle e_n &= (1,\ 1,\ 0, -1, -1,\ 0,\ 1,\ 1,\ 0, -1, -1,\ 0) = \frac{2\sqrt{3}}{3}\sin{\frac{n\pi}{3}} \\
    \displaystyle f_n &= (1, -1, -2, -1,\ 1,\ 2,\ 1, -1, -2, -1,\ 1,\ 2) = 2\cos{\frac{n\pi}{3}}
\end{align}

を用いて


    \displaystyle f_{24}(x) = t_1a_n+t_2b_n+\ldots+t_6f_n+\frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}\left( t_7a_n+t_8b_n+\ldots+t_{12}f_n \right) \\
     \displaystyle \hspace{16px} +\frac{\sin{\frac{(2n-1)\pi}{24}}}{\left|\sin{\frac{(2n-1)\pi}{24}}\right|}\left\{ t_{13}a_n+t_{14}b_n+\ldots+t_{18}f_n+\frac{\sin{\frac{(2n-1)\pi}{12}}}{\left|\sin{\frac{(2n-1)\pi}{12}}\right|}\left( t_{19}a_n+t_{20}b_n+\ldots+t_{24}f_n \right) \right\}

と表せます。分母の  12 24 に注意です。


そして係数  t_1 t_{24} は、6次正方行列  A,12次正方行列  B,24次正方行列  C をそれぞれ

 \displaystyle
A = \left( \begin{array}{cccccc}
    1 & -1 & 1 & -1 & 1 & 1 \\
    1 & 1 & -1 & -1 & 1 & -1 \\
    1 & -1 & 0 & 2 & 0 & -2 \\
    1 & 1 & 1 & -1 & -1 & -1 \\
    1 & -1 & -1 & -1 & -1 & 1 \\
    1 & 1 & 0 & 2 & 0 & 2
\end{array} \right)

 \displaystyle
B = \left( \begin{array}{cc}
    A & A \\
    A & -A \\
\end{array} \right)

 \displaystyle
C = \left( \begin{array}{cc}
    B & B \\
    B & -B \\
\end{array} \right)

で定めると、

 \displaystyle
    \left( \begin{array}{c} t_1 \\ t_2 \\ \vdots \\ t_{24} \end{array}\right) = 
    C^{-1} \left( \begin{array}{c} s_1 \\ s_2 \\ \vdots \\ s_{24} \end{array} \right)

で求めることができます。ただし

 \displaystyle
C^{-1} = \frac{1}{2}\left( \begin{array}{cc} B^{-1} & B^{-1} \\ B^{-1} & -B^{-1} \end{array} \right),\hspace{20px}
B^{-1} = \frac{1}{2}\left( \begin{array}{cc} A^{-1} & A^{-1} \\ A^{-1} & -A^{-1} \end{array} \right)

 \displaystyle
A^{-1} = \frac{1}{12}
\left( \begin{array}{cccccc}
    2 & 2 & 2 & 2 & 2 & 2 \\
    -2 & 2 & -2 & 2 & -2 & 2 \\
    3 & -3 & 0 & 3 & -3 & 0 \\
    -1 & -1 & 2 & -1 & -1 & 2 \\
    3 & 3 & 0 & -3 & -3 & 0 \\
    1 & -1 & -2 & -1 & 1 & 2
\end{array} \right)

です。

アダマール行列のような形の並びが出てきていますね。


周期2m (m≧4)

同様に周期  8 の数列に対して上の①,②の処理を繰り返し用いることで周期  16,\ 32,\ 64,\ 128,\ \ldots の周期数列を作ることができます。

例えば、任意の周期  16 の数列の一般項  f_{16}(x) は実数  t_1 t_{16} と数列

 \begin{align}
    \displaystyle a_n &= (1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1,\ 1) = 1 \\
    \displaystyle b_n &= (-1,\ 1, -1,\ 1, -1,\ 1, -1,\ 1) = \cos{n\pi} \\
    \displaystyle c_n &= (1,\ 0,-1,\ 0,\ 1,\ 0,-1,\ 0) = \sin{\frac{n\pi}{2}} \\
    \displaystyle d_n &= (0, -1,\ 0,\ 1,\ 0, -1,\ 0,\ 1) = \cos{\frac{n\pi}{2}} \\
    \displaystyle e_n &= (1,\ 2,\ 1,\ 0, -1, -2, -1,\ 0) = 2\sin{\frac{(3n-\sin{\frac{n\pi}{2}})\pi}{12}} \\
    \displaystyle f_n &= (1,\ 0, -1, -2, -1,\ 0,\ 1,\ 2) = 2\cos{\frac{(3n+\sin{\frac{n\pi}{2}})\pi}{12}} \\
    \displaystyle g_n &= (0,\ 1,\ 2,\ 1,\ 0, -1, -2, -1) = 2\sin{\frac{(3n-3+\cos{\frac{n\pi}{2}})\pi}{12}} \\
    \displaystyle h_n &= (2,\ 1,\ 0, -1, -2, -1,\ 0,\ 1) = 2\cos{\frac{(3n-3-\cos{\frac{n\pi}{2}})\pi}{12}}
\end{align}
を用いて


    \displaystyle f_{16}(x) = t_1a_n+t_2b_n+\ldots+t_8h_n+\frac{\sin{\frac{(2n-1)\pi}{16}}}{\left|\sin{\frac{(2n-1)\pi}{16}}\right|}\left( t_9a_n+t_{10}b_n+\ldots+t_{16}h_n \right)

と表せます。

そして係数  t_1 t_{16} は8次正方行列  A,16次正方行列  B

 \displaystyle
A = \left( \begin{array}{cccccccc}
    1 & -1 & 1 & 0 & 1 & 1 & 0 & 2 \\
    1 & 1 & 0 & -1 & 2 & 0 & 1 & 1 \\
    1 & -1 & -1 & 0 & 1 & -1 & 2 & 0 \\
    1 & 1 & 0 & 1 & 0 & -2 & 1 & -1 \\
    1 & -1 & 1 & 0 & -1 & -1 & 0 & -2 \\
    1 & 1 & 0 & -1 & -2 & 0 & -1 & -1 \\
    1 & -1 & -1 & 0 & -1 & 1 & -2 & 0 \\
    1 & 1 & 0 & 1 & 0 & 2 & -1 & 1
\end{array} \right)

 \displaystyle
B = \left( \begin{array}{cc}
    A & A \\
    A & -A \\
\end{array} \right)

で定めると

 \displaystyle \begin{align}
    \left( \begin{array}{c} t_1 \\ t_2 \\ \vdots \\ t_{16} \end{array}\right) &= 
        B^{-1} \left( \begin{array}{c} s_1 \\ s_2 \\ \vdots \\ s_{16} \end{array} \right) \\
    \displaystyle &= \frac{1}{2}\left( \begin{array}{cc} A^{-1} & A^{-1} \\ A^{-1} & -A^{-1} \end{array} \right)
        \left( \begin{array}{c} s_1 \\ s_2 \\ \vdots \\ s_{16} \end{array} \right)
\end{align}

で与えられます。

このとき、 A逆行列

 \displaystyle A^{-1} = \frac{1}{8}
\left( \begin{array}{cccccccc}
    1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\
    -1 & 1 & -1 & 1 & -1 & 1 & -1 & 1 \\
    2 & 0 & -2 & 0 & 2 & 0 & -2 & 0 \\
    0 & -2 & 0 & 2 & 0 & -2 & 0 & 2 \\
    -2 & 4 & -2 & 0 & 2 & -4 & 2 & 0 \\
    -2 & 0 & 2 & -4 & 2 & 0 & -2 & 4 \\
    0 & -2 & 4 & -2 & 0 & 2 & -4 & 2 \\
    4 & -2 & 0 & 2 & -4 & 2 & 0 & -2
\end{array} \right)

となります。



同様に、任意の周期  32 の数列の一般項  f_{32}(x) は実数  t_1 t_{32} を用いて


    \displaystyle f_{32}(x) = t_1a_n+t_2b_n+\ldots+t_8h_n+\frac{\sin{\frac{(2n-1)\pi}{16}}}{\left|\sin{\frac{(2n-1)\pi}{16}}\right|}\left( t_9a_n+t_{10}b_n+\ldots+t_{16}h_n \right) \\
     \displaystyle \hspace{16px} +\frac{\sin{\frac{(2n-1)\pi}{32}}}{\left|\sin{\frac{(2n-1)\pi}{32}}\right|}\left\{ t_{17}a_n+t_{18}b_n+\ldots+t_{24}h_n+\frac{\sin{\frac{(2n-1)\pi}{16}}}{\left|\sin{\frac{(2n-1)\pi}{16}}\right|}\left( t_{25}a_n+t_{26}b_n+\ldots+t_{32}h_n \right) \right\}

と表せます。係数は上の8次及び16次正方行列  A,\ B と32次正方行列

 \displaystyle
C = \left( \begin{array}{cc}
    B & B \\
    B & -B \\
\end{array} \right)

を用いて

 \displaystyle
    \left( \begin{array}{c} t_1 \\ t_2 \\ \vdots \\ t_{32} \end{array}\right) = 
    C^{-1} \left( \begin{array}{c} s_1 \\ s_2 \\ \vdots \\ s_{32} \end{array} \right)

で与えられます。

グラフ

実際に周期16の数列  (0,\ 1,\ 2,\ 3,\ 4,\ 5,\ 6,\ 7,\ 0, -1, -2, -3, -4, -5, -6, -7) の一般項を作ってみました。

その一般項の添え字  n を実数  x に置き換えてグラフにしたものが下の図です。


f:id:hge:20160307145723p:plain


ノコギリ波のフーリエ級数展開っぽい形してますね・・・

グラフにすると途中で途切れていることがわかります。

 \displaystyle \frac{\sin{\frac{(2x-1)\pi}{16}}}{\left|\sin{\frac{(2x-1)\pi}{16}}\right|} の符号が  \displaystyle x=\frac{16k+1}{2}\ \ (k \in {\bf N}) を境に逆転するからです。

周期  2,\ 3,\ 4,\ 6,\ 8 では上の式を使っていないのでグラフは連続です。

連続じゃないのが少し残念・・・・・・というだけの話でした。


この記事では周期  6 または周期  8 の数列から周期を2倍4倍・・・にしていきましたが、周期  3 や周期  4 から周期を伸ばしてももちろんOKです。

次の記事ではいよいよ(?)周期  m の数列の一般項を作ります。