パイこね変換

パイこね変換について

パイこね変換（パイこねへんかん、英: baker's transformation）は、カオスを生み出す特徴を持つ2次元の離散力学系として広く知られています。この系の名称は、料理におけるパイ生地を伸ばしては折り畳む操作に由来し、特に「パイこね写像（baker's map）」とも呼ばれています。この変換の基本的な枠組みは、1937年にエーベルハルト・ホップによって考案され、1950年代にはジョン・フォン・ノイマンの助言によって現在の名称が定着しました。

保存系と散逸系

パイこね変換は、主に保存系と散逸系の2パターンに分類されます。保存系の場合、変換は単位正方形内で内部の点を移動させることが特徴的です。具体的には、単位正方形 E = [0, 1] × [0, 1] に対して適用され、次のように定義されます。

$$
f(x, y) = \begin{cases} (2x, \frac{y}{2}) & 0 \leq x \leq \frac{1}{2} \\
(2x - 1, \frac{y}{2} + \frac{1}{2}) & \frac{1}{2} < x \leq 1 \end{cases}$$

ここで、$x$ と $y$ はそれぞれ [0, 1] の範囲にあります。この変換によって、単位正方形は横方向に2倍に引き延ばされ、縦方向に1/2に押し潰されます。その後、元の単位正方形からはみ出た部分が移動されることで、新たな形状が得られます。

このプロセスは幾度も繰り返され、初期の点は一様に広がる傾向があります。この場合の保存の性質を確保するため、変換後の面積が常に1に等しいことが確認されています。

一方、散逸系の場合のパイこね変換は変換により、点が移動する際にエネルギーが失われるため、その性質は異なります。散逸系の定義は次の通りです。

$$
f(x, y) = \begin{cases} (2x, ay) & 0 \leq x \leq \frac{1}{2} \\
(2x - 1, ay + \frac{1}{2}) & \frac{1}{2} < x \leq 1 \end{cases}$$

ここで、$a$ は系のパラメータであり、0 < a < 1/2 の範囲にあります。このため、散逸系では変換の繰り返しに伴って、面積が減少し続けます。

漸近挙動

両方の系に共通しているのは、再帰的に変換を適用することで、初期位置から移動した点が離れ離れになっていくことです。特に保存系では、初期領域は一様に均等に広がるのに対し、散逸系では帯状に分割されて、点の数は増加します。これは、エネルギーが失われることにより、システムの状態が小さくなることを意味します。

また、初期条件への敏感さは、このようなカオス的な挙動を形作る一因であり、リアプノフ指数によりそのクオリティが数値的に示されます。保存系のリアプノフ指数は正の値を示し、初期条件に対する鋭敏さが明らかになりますが、散逸系では全体の指数の総和が負の値を持つことから、その性質が異なります。

結論

パイこね変換は、数学や物理学においてカオス理論の重要な例として位置づけられています。その背後には、料理や生地に関連する直感的な過程があり、数理的な観点からも多くの研究が行われています。違った構造を持つ保存系と散逸系の2つの枠組みを通じて、カオス的な挙動の理解が深まることでしょう。

もう一度検索