パイこね変換

**パイこね変換**（パイこねへんかん、）とは、2次元の離散力学系の一種で、カオスを生み出す典型的な仕組みを抜き出した基礎的な系として知られる。名称は料理におけるパイの生地を引き延ばして折り畳む操作に因む。**パイこね写像**（パイこねしゃぞう、）とも呼ばれる場合もある。

パイこね変換の原案は、により1937年に考案された。ホップによると、元々の英語名称の"baker's transformation"は、1949年のジョン・フォン・ノイマンとの会話の中でノイマンが命名したものである。日本語への直訳では「パン屋変換」や「パン屋写像」となるが、「パン屋」や「パンこね」ではなく「パイこね」が日本語名称として慣習的に用いられている。

## 保存系の場合
### 変換
パイこね変換は、単位正方形からそれ自身への写像（変換）として定義される。さらに、力学系には大きく分けて保存系と散逸系が存在する。パイこね変換についても以下のように保存系と散逸系が与えられる。

パイこね変換が保存系の場合、単位正方形 *E* = [0, 1] × [0, 1] に対する変換 *f*: *E* → *E* は次のように与えられる。
:
f(x, y)=
\begin{cases} 
(2 x,\ y/2)  & 0 \le x \le 1/2 \\
(2 x - 1, \ y/2 + 1/2)& 1/2 
ここで、*x* ∈ [0, 1], *y* ∈ [0, 1] である。上式の *x* と *y* を逆にする場合、すなわち1/2倍に押し潰される方向を *x* とする場合も多いが、本記事では押し潰される方向を *y* で統一する。漸化式では次のように表される。
:
(x_{n+1},\ y_{n+1})=
\begin{cases} 
(2 x_n,\ y_n/2)  & 0 \le x_n \le 1/2 \\
(2 x_n - 1, \ y_n/2 + 1/2)& 1/2 

この変換のヤコビアン *J* を計算すると 1 となり、何回変換を繰り返しても面積一定で保たれる保存系であることが確認できる。
:
J=
\begin{vmatrix}
\frac{\partial x_{n+1}}{\partial x_n} & \frac{\partial y_{n+1}}{\partial x_n} \\
\frac{\partial x_{n+1}}{\partial y_n} & \frac{\partial x_{y+1}}{\partial y_n}
\end{vmatrix}
=
\begin{vmatrix}
2 & 0 \\
0 & 1/2
\end{vmatrix}
=1


この変換を文章で説明すると、変換を１回適用する過程で、次のような操作を行っていることになる。
#与えられた単位正方形の領域を横方向（*x* 方向）に2倍に伸ばし、縦方向（*y* 方向）に1/2に押しつぶす。
#押し伸ばされた領域の内、単位正方形からはみ出た右半分の領域（1 
(x_{n+1},\ y_{n+1})=
\begin{cases} 
(2 x_n,\ y_n/2)  & 0 \le x_n \le 1/2 \\
(2 - 2 x_n, \ y_n/2 + 1/2)& 1/2 

### 漸近挙動
この変換を再帰的に繰り返し適用すると、初期の各点は離れ離れになっていき、初期に固まっていた領域は一様に均されて全体に広がっていく。このような性質から、料理のパイやうどんなどの生地を押し潰しては折り畳むという作業を繰り返すことによって生地を材料の偏り無く一様にできることの、数理的な説明とも言われる。そもそもの「パイこね変換」の名称も、料理におけるパイの生地を引き延ばして折り畳む操作に由来する。

初期点同士が離れる度合いは指数関数的で、カオスの特徴である初期値鋭敏性を発する。2つの初期点が離れていく度合いを示すリアプノフ指数は、第一リアプノフ指数を *λ*1、第二リアプノフ指数を *λ*2 とすれば、*λ*1 = log 2、 *λ*2 = &minus;log 2 となる。ここで log は自然対数である。リアプノフ・スペクトルは {*λ*1, *λ*2} = {log 2, &minus;log 2} で、最大リアプノフ指数は *λ*1 = log 2 で正の値を取る一方、全リアプノフ指数の和は *λ*1 + *λ*2 = log 2 + (&minus;log 2) = 0 であり、保存系のカオスが持つ性質が示される。

## 散逸系の場合
### 変換
散逸系の場合のパイこね変換は次のように与えられる。
:
(x_{n+1},\ y_{n+1})=
\begin{cases} 
(2 x_n,\ a y_n)  & 0 \le x_n \le 1/2 \\
(2 x_n - 1, \ a y_n + 1/2)& 1/2 
ここで、*a* は系のパラメータで、0 n* となる。帯の数は変換のたびに2倍されるので、*n* 回変換後はその数は *2n* となる。




変換を繰り返すたびに帯は薄くなり、その数は増加していくことになるが、その極限は次のようになっている。*f* の *n* 回の反復合成を *f&thinsp;n* で表し、[[像 (数学)|像]] *A* = *f&thinsp;∞*(*E*) がパイこね変換を無限に適用したときに得られる部分集合を表すとする。このとき、*A* の極限は実際に存在し、*f&thinsp;∞*(*A*) = *A* を満たす不変集合である。さらに、*A* は[[フラクタル]]であり、[[カントール集合]]の一種となっている。この場合、ハウスドルフ次元 dim<sub>*H*</sub> *A* とボックス次元 dim<sub>*B*</sub> *A* は一致しており、それらの値は
:<math>\dim_H A=\dim_B A=1+ \frac{\log (1/2)}{\log a}</math>
で与えられる。

既に述べたとおり *f* は初期値鋭敏性を持つので、*A* は[[ストレンジアトラクター]]でもある。このアトラクターの吸引域は単位正方形全域となる。[[リアプノフ指数]]は、*x* 方向の第一リアプノフ指数は *λ*<sub>1</sub> = log 2、*y* 方向の第二リアプノフ指数は *λ*<sub>2</sub> = log *a* となる。リアプノフ・スペクトルは {*λ*<sub>1</sub>, *λ*<sub>2</sub>} = {log 2, log *a*} であり、最大リアプノフ指数は *λ*<sub>1</sub> = log 2 で正の値を取る一方、*a* < 1/2 なので全リアプノフ指数の和  (*λ*<sub>1</sub> + *λ*<sub>2</sub> = log 2 + log *a*) は負となる。これらは散逸系のカオスの性質の1つである。

上記の形式のパイこね変換による *A* は古典的な3分割方式のカントール集合とは一致しないが、3分割のカントール集合を与える形式も考えられる。次の形式のパイこね変換では、*n* → ∞ で *y'' 方向は3分割のカントール集合に厳密に一致する。
:
(x_{n+1},\ y_{n+1})=
\begin{cases} 
(2 x_n,\ y_n/3)  & 0 \le x_n \le 1/2 \\
(2 x_n-1, \ y_n/3 + 2/3)& 1/2 

または、折り返しで「折り畳み」の操作を行う形式の場合では、次の形式の変換で3分割のカントール集合に厳密に一致する。
:
(x_{n+1},\ y_{n+1})=
\begin{cases} 
(2 x_n,\ y_n/3)  & 0 \le x_n \le 1/2 \\
(2-2 x_n, \ 1 - y_n/3)& 1/2 

## 脚注
### 注釈

### 出典

## 参考文献
*
*
*
*
*

## 外部リンク

*
*  - スカラーペディア百科事典「Quantized baker map」の項目。Leonardo Ermannnによる。パイこね変換を基礎にしており、その説明も含む。
*