ロジスティック写像

ロジスティック写像の分岐図。パラメータ値を変化させていくと非常に複雑な挙動が現れる。

ロジスティック写像（ロジスティックしゃぞう、英語: Logistic map）とは、1次元の離散力学系の一種。ロジスティック方程式の離散化からも得られるため離散型ロジスティック方程式とも呼ばれる。変数を x としたとき、次の1変数2次差分方程式（漸化式）で示される。

$x_{n+1}=ax_{n}(1-x_{n})$

ロジスティック写像は、パラメータ a にどのような値を与えるかによって、n を増やすに連れたx_nの値の変化（振る舞いや軌道と呼ぶ）が、一定値への収束、複数の値を繰り返し取り続ける周期的な振動、カオスと呼ばれる非周期的な極めて複雑な振る舞い、へと変化する。

この複雑な振る舞いについて多くの研究がされてきたが、特にロバート・メイ(他にジム・ヨーク、ジョージ・オスター)の研究によって広く知られるようになった。

カオスを生み出す系は非線形性を持つ必要があるが、このような非線形関数の中でも、ロジスティック写像は最も単純なものの1つである二次関数の差分方程式からカオスを生成する。この単純さと、他のカオスとも共通する現象がいくつも現れることから、カオス理論の入り口としてよく採り上げられる。

写像の基本的特徴

変数とパラメータ

ロジスティック写像を再掲する。

$x_{n+1}=f(x_{n})=ax_{n}(1-x_{n})$

(1-1)

ここで、n はステップ数、n = 0, 1, 2... である。離散時間の発展を意味する。記号 t と表記する場合もある。n = 1 を初期状態として n = 1, 2, 3... と数える場合もあるが、本記事中では前者で統一する。

x_n は第 n 項目の x の値を示す。式(1-1)は、x_n の値とその次の値である x_n+1 の関係を示すものである。すなわち、x_n から x_n+1 が一意的に決定されることを示している。一方で、x_n の値からその前の値である x_n−1 の値は一意的に決定できない。二次関数の解が2つあることからも明らかなように、x_n の値に辿り着く x_n-1 の値については2つの値が有り得る。このような現在の値から過去の値への一意性が無いことは、1変数差分方程式でカオスを生み出す必要条件でもある。2変数以上になるとこの条件は必要ではなくなる。

x₀ を初期値として、ロジスティック写像では一般的に 0 ≤ x₀ ≤ 1 の範囲で初期値を取る。文献によっては 0 < x₀ ≤ 1 の範囲であるが、本記事中では前者で統一する。

a は定数で、パラメータとも呼ばれ、非線形性の強さを表すとされる。x_n をある環境下における生物個体数とし、ロジスティック写像を個体群の成長モデルとみなすような文脈では、a は最大の生物個体数増加率 (biotic potential) とも呼ばれる。記号には r や μ なども割り当てることもある。パラメータは一般的に 0 ≤ a ≤ 4 の範囲で選択される。文献によっては 0 < a ≤ 4 の範囲であるが、本記事中では前者で統一する。

写像のグラフ

ロジスティック写像のグラフ、パラメータ a による曲線の変化

式(1-1)について、縦軸を x_n+1、横軸を x_n としてグラフを描くと、単純な二次関数の放物線が得られる。0 ≤ x_n ≤ 1 の範囲でこのグラフを描くと、両端の x_n = 0, 1 で、x_n+1 = 0 となる。真ん中の x_n = 0.5 で、x_n+1 = a / 4 となる極大値かつ最大値を取る。このような x_n から x_n+1 への写像をリターン・マップと呼ぶ。

ロジスティック写像のような山形の曲線を描く写像は単峰写像と呼ばれる写像の一種で、その中でもロジスティック写像はシュワルツ導関数が負であるという条件を満たす。これらの条件を満たす写像では、後述するような分岐のパターンが発生する。他の例としては、正弦波を用いた x_n+1 = a sin x_n という写像でもこの条件を満たし、周期倍分岐、カオス、窓など、ロジスティック写像同様な振る舞いを見せる。このような曲線の写像ではカオスを生み出す基本機構である引き伸ばしと折り畳みという操作を備えているのが特徴である。a = 4 のときの x_n から x_n+1 への変換を考えると、まず区間 [0, 1] の x_n が全体として2倍に引き伸ばされ、伸びた区間が半分に折り畳まれ、区間 [0, 1] の x_n+1 として与えられる、というような操作を行っていることになる。このような引き伸ばしと折り畳みを繰り返す操作は、料理のパイをこねる操作に似ていることからパイこね変換と呼ばれ、低次元カオスの典型的な発生機構である。

定義域と値域

一般的には、ロジスティック写像は、式(1-1)による単位区間 [0, 1] から [0, 1] への写像とされる。この区間の写像であるために必要な初期値 x₀ とパラメータ a の範囲を確認する。x_n が区間 [0,1] 内の値であれば、x_n+1 が取り得る最小値は x_n = 0, 1 のとき x_n+1 = 0、最大値は x_n = 0.5 のとき x_n+1 = a/4 である。したがって、初期値が 0 ≤ x₀ ≤ 1 を満たし、なおかつパラメータが 0 ≤ a ≤ 4 を満たせば、次の値は 0 ≤ x₂ ≤ 1 となる。よって、その次の値も 0 ≤ x₃ ≤ 1 となり、数学的帰納法からすべての n で常に 0 ≤ x_n ≤ 1 が成立する。

a が 4 を超えると、後述のように初期値に関わらず負の無限大へ発散する。a が負のときは、x_n が負の値を取るようになるが、a = −2 までは有限な範囲で変動して発散はしない。ただし、多くの文献では前述の 0 ≤ a ≤ 4 の範囲を扱い、ロジスティック写像が生態学上のモデルとして研究された経緯もあってパラメータ a が負の場合を論じることは少ない。

パラメータ a による振る舞いの変化

パラメータa（図中 r）を0.02から4まで変化させたときの時系列変化アニメーション
横軸：n（図中 t）、縦軸：x_n（図中 x）、n = 200 までを図示

0 ≤ a ≤ 1 のとき

パラメータ a が大きくなるに従った、変数 x_n の振る舞いの変化を順に説明する。まず、a が 0 < a ≤ 1 の範囲では、初期値 x₀ が 0 から 1 までのどの値を取ったとしても、x_n は n の増加と共に単調減少し、最終的に 0 に収束するこの収束する点を安定な固定点、安定な不動点、あるいは吸引的不動点、沈点などと呼ぶ。一般に、十分な時間経過後にその力学系が漸近する集合はアトラクタや吸引集合と呼ばれる。この場合は、x = 0 がアトラクタに相当する。

1次元写像の軌道を視覚的に表すのには、クモの巣図法と呼ばれる手法が利用される。これはグラフ上に原点を通る傾き1の直線を引き、この対角線と写像の曲線を交互に行き来することで1次元写像の軌道を2次元的に視覚化する方法である。a = 0.9 におけるクモの巣図と、n の増加に伴ったx_nの時系列データを示す。

パラメータ a = 0.9 のクモの巣図と時系列、0に向かって単調減少で収束する。

上記のようにある1点に落ち着いて、その値から動かなくなったとき、写像は常に x_n+1 = x_n を満たす状態にある。よって、このときの値を x_f とすると、

$x_{f}=f(x_{f})=ax_{f}(1-x_{f})$

(2-1)

という関係式を満たす。単に不動点あるいは固定点と言えば、式(2-1)を満たす値 x_f を指す。式(2-1)を解くと、x_f は、

$x_{f}=0,\ 1-{\frac {1}{a}}$

(2-2)

となる。0 < a ≤ 1 のとき、不動点 1 − 1/a は負または0の値となるので、0 ≤ a ≤ 1 のときは不動点1 − 1/aは現れず、不動点は0のみである。

式(2-2)から不動点の値は求められるが、x_n ≠ x_f のときに、n の増加と共に x_n = x_f に収束するかは保証されない。x_f の近傍にある x_n が最終的に x_f に収束するならば、この不動点 x_f は安定であるいう。逆に n の増加と共に x_f から離れていくならば、この不動点 x_f は不安定であるという。また、離れも近づきもしない場合は中立安定であるという。0 < a ≤ 1 のとき、0 は上記通り安定不動点に該当する。一方の不動点 1 − 1/a は、0 ≤ x_n ≤ 1 の範囲では現れない不安定不動点である。

1 < a ≤ 2 のとき

1 < a ≤ 2 のときは、初期値が 0 または 1 である場合を除き、x_n が単調増加あるいは単調減少しながら 1 − 1/a に収束する。以下にそれぞれの例を示す。

a = 1.2、x₀ = 0.6
単調減少で収束する例

a = 1.8、x₀ = 0.2
単調増加で収束する例

a < 1 から a を増加させていくと、安定不動点 0 と不安定不動点 1 − 1/a が a の増加と共に近づき、a = 1 で衝突し、1 − 1/a が安定不動点に、0 が不安定不動点に変わる安定性の交替が発生する。ただし、a = 1 ではまだ 0 へ収束し、a = 1 を超えたところで漸近的な振る舞いは変化する。このようなパラメータの変化により力学系の解の性質が変わることを分岐と呼ぶ。分岐が発生するパラメータの値を、この場合は a = 1 を分岐点と呼ぶ。a = 1 における分岐はトランスクリティカル分岐と呼ばれるタイプの分岐に相当する。このようなパラメータの変化に伴った分岐の発生の様子を示すために、横軸に写像のパラメータを取り、縦軸に長期間後の変数の値を示した、分岐図と呼ばれる図が用いられる。以下にパラメータ a が 0 から 3 までの分岐図を示す。

パラメータ a が 0 から 3 までのロジスティック写像分岐図、a = 1 で分岐が発生していることが見て取れる。

0も不動点として残っているが、不安定なので0に収束するのは初期値0、1のときだけである。これは以下の1 < a < 4 の範囲でも同様である。

2 < a ≤ 3 のとき

2 < a ≤ 3 のときは、初期値0、1を除いて、1 < a ≤ 2 のときと同様に 1 − 1/a に収束する。ただし 2 < a ≤ 3 のときは単調増加または単調減少ではなく、1 − 1/a の値を一端通り過ぎ、周囲で変動しながら 1 − 1/a に収束していく振る舞いとなる。a = 2.8 における例を以下に示す。

a = 2.8 におけるクモの巣図上におけるロジスティック写像の軌道（アニメーション）
縦軸：x_n+1（図中y）
横軸：x_n（図中x）
不動点の周りを回りながら収束していく。

3 < a ≤ 3.4494897... のとき

3 < a ≤ 3.4494897... の範囲では、ほぼ全ての初期値において、x_n は1つの値には収束せず、ある2つの値を交互に取る振る舞いを起こすようになる。交互に取られる2つの値は、周期点や平衡点と呼ばれる。今のような2周期のときは、周期点を2周期点、振る舞いを2周期軌道などと呼ぶ。不動点と同様の考え方で、周期点にも安定なもの、不安定なものが存在する。今の範囲における2周期点は安定周期点である。a = 3.2 のときの例を以下に示す。

パラメータ a = 3.2 のクモの巣図と時系列、2周期軌道に落ち着く。

a = 3 に達すると不動点 1 − 1/a が安定不動点から不安定不動点に移行する。a = 3 のときはまだ 1 − 1/a (= 2/3) に収束するが、2 < a < 3 のときよりも収束速度が遅い。a ≤ 3 における不動点への収束を安定な1周期軌道と見なせば、a = 3 を超えた点で、1周期から2周期へ周期が倍増する。この振る舞いの変化も分岐の一種で、周期倍分岐と呼ばれる。

x_n+2 と x_n の関係、すなわち式(1-1)の2回の反復合成写像は、次のように示される。

$x_{n+2}=f^{2}(x_{n})=a^{2}x_{n}(1-x_{n})(1-ax_{n}(1-x_{n}))$

(2-3)

この2周期点をそれぞれ x⁽²⁾_f1、x⁽²⁾_f2 とする。x⁽²⁾_f1、x⁽²⁾_f2 は、その定義より、

${\begin{cases}x_{f1}^{(2)}=f^{2}(x_{f1}^{(2)})=f(x_{f2}^{(2)})\\x_{f2}^{(2)}=f^{2}(x_{f2}^{(2)})=f(x_{f1}^{(2)})\end{cases}}$

(2-4)

を満たす値である。これを解けば x⁽²⁾_f1、x⁽²⁾_f2 の値は、

$x_{f1}^{(2)},\ x_{f2}^{(2)}={\frac {a+1\pm {\sqrt {(a+1)(a-3)}}}{2a}}$

(2-5)

で示され、パラメータ a から求めることができる。

ほぼ全ての初期値から2周期点に到達するが、0 と 1 − 1/a は不安定不動点として残っている。そのため、初期値が、0、1 − 1/a、さらに、n を増加させる内に 0 または 1 − 1/a にたどり着く初期値であれば、2周期点ではなくこれらの不動点に到達する。ただし、これらの値の範囲は、初期値 0 < x₀ < 1 の実数集合に対して無視できるほど小さい。

3.4494897... < a ≤ 3.5699456... のとき

2周期軌道の状態から a を増加させていくと、a = 1 + √6 = 3.4494897... で安定な2周期軌道から安定な4周期軌道の状態に変化する。これは2周期から4周期への周期倍分岐である。この4周期点の値も2周期点と同様に a に依存して決まるが、2周期点のように陽関数の形で得ることはできない。さらに a の値を大きくしていくと4周期から8周期、8周期から16周期、16周期から32周期... と周期倍分岐が続けて発生していく。

この周期倍分岐は無限に続くが、一方で、周期倍分岐が発生する分岐点の間隔は等比数列的に減少する。1周期から2周期への分岐を1番目の周期分岐として数えれば、k 番目の分岐点で 2^k 周期が発生する。k 番目の分岐点パラメータ a を a_k と表すと、実際に16周期までの分岐点は a₁ = 3, a₂ = 3.44949..., a₃ = 3.54409..., a₄ = 3.56441... と、分岐点の間隔は減少していく。このため、k → ∞ の極限における分岐点を a_c とすると、a_c = 3.5699456... という有限な値に収束する。a_c は集積点やファイゲンバウム点と呼ばれる。a_k の減少の割合の極限は次式で示すような定数値となる。

$\delta =\lim _{k\to \infty }{\frac {a_{k}-a_{k-1}}{a_{k+1}-a_{k}}}=4.6692\ldots$

(2-6)

この δ の値は、ミッチェル・ファイゲンバウムにより発見されたことからファイゲンバウム定数と呼ばれる。このような周期倍分岐を無限回繰り返した末にカオスへと遷移する現象はカオスへ至る道筋の一つで、ファイゲンバウムのシナリオや周期倍分岐ルートと呼ばれる。

パラメータ a が3から3.6までを示す分岐図、周期が倍になっていくのが見て取れる。周期倍分岐点の間隔は小さくなっていくので、この図では16周期程度までしか確認できない。右側の塗り潰されたように見える範囲からカオスが発生している。

a = a_c のときのロジスティック写像は、無限個の周期点が存在する閉じることの無い周期軌道を取る。この値における軌道はファイゲンバウム・アトラクタや臨界2^∞アトラクタと呼ばれる。ファイゲンバウム・アトラクタの構造はフラクタルになっており、容量次元は約0.54である。一方で、カオスの要件の一つである初期値鋭敏性は持たない。他のカオスではフラクタル構造と初期値鋭敏性を同時に備えるのに対し、ファイゲンバウム・アトラクタではフラクタル構造は持つが初期値鋭敏性は持たないのが特徴である。

式(2-4)と式(2-5)は k 周期のときにそのまま拡張できるので、k 周期点の j 番目の値を x^(k)_fj とすれば、以下の関係を満たす値がそれぞれの周期点（k = 1 のときは不動点）となる。

$x_{fj}^{(k)}=f^{k}(x_{fj}^{(k)})\quad (j=1,2,3,\cdots ,k)$

(2-7)

a = 3.5（図中r）でのクモの巣図上における x_n+1 = f(x_n)、x_n+2 = f(x_n)、x_n+3 = f(x_n)、x_n+4 = f(x_n) の曲線。対角線は x_n+1 = x_n、x_n+2 = x_n、x_n+3 = x_n、x_n+4 = x_n を満たす線なので、交わる点は不動点、2周期点、3周期点、4周期点を示す。ただし、安定なのは上記の通り4周期点だけである。

3.5699456... < a < 4 のとき

a_c = 3.5699456... を超えるとカオスが発生し、収束も周期性も無い不規則で複雑な挙動を示すようになる。初期値鋭敏性の指標であるリアプノフ指数 λ を計算すると、a < a_c の範囲では λ は負または 0 の値の範囲に留まっていたが、a > a_c の範囲から λ が正の値も取るようになる。ロジスティック写像のような1次元の区間力学系が生み出すカオスは、特に1次元カオスと呼ばれる。

a_c < a < 4 の範囲で分岐図を見ると、例えば a = 3.8 などでは1つの区間内に軌道が収まっているが、a = 3.65 などでは2つの区間に軌道が分かれている。このような区間はバンドと呼ばれる。a がバンドを複数持つ領域にあるとき、軌道は規則的に順番に各バンドを巡り、しかし各バンド内での取る値は不規則である。バンドが2つのときを例にすると、n が偶数のときは下側のバンド内に存在し、奇数のときは上側のバンド内に存在するが、偶数、奇数それぞれのときの値はバンド内で不規則に決まる。このような状態のカオス軌道を、バンドカオスや周期的カオスと呼ぶ。a = 3.65 からさらに値を小さくしていくと、周期倍加分岐のときと同じように、4, 8, 16, ...2^k というふうにバンドの数が2倍に増えていく。バンドが増えるときのパラメータ a の値を e_k で表すとする。e_k の値の間隔も、周期倍加分岐と同じく、バンドの増加と共に急激に小さくなっていき、k → ∞ で e_∞ = a_c となり、周期倍加分岐の集積点と一致する。バンドとバンドが一緒になることをバンド融合、分かれることをバンド分裂と呼び、これらもカオスの典型的な分岐の1つである。

以上のように、a_c < a < 4 の範囲でバンドカオスの融合や分裂が発生しているが、軌道の最大値と最小値についてはバンドの数に関わらず決定される。これは後述の窓領域でも同様である。このような x_n の最大最小範囲は、パラメータ a により以下のように得ることができる。

${\frac {1}{16}}a^{2}(4-a)\leq x_{n}\leq {\frac {a}{4}}$

(2-8)

パラメータ a が 3.5 から 4 までの分岐図、4バンドまでを示す。e_k の間隔が急激に小さくなっていくため、8以上は図示できていない。軌道の上下の線が式(2-8)で決まっている。

a_c < a < 4 の範囲でカオス的振る舞いが発生するようになるが、常にカオス軌道を示す訳ではなく、a の値の領域によって、カオス軌道になったり周期軌道になったりする。このようなカオス軌道に至った後に周期軌道に変わるaの領域を窓や周期窓、窓領域と呼ぶ。カオスの非周期的領域と窓の周期的領域は交互に出現する。カオスから窓への分岐は、接線分岐と呼ばれるタイプの分岐により発生する。これはサドルノード分岐とも呼ばれ、1次元写像におけるサドルノード分岐を特に接線分岐と呼ぶ。

a_c < a < 4 の範囲で発生する窓の詳細について見ていく。まず、窓の個数は、この範囲に無限個存在している。窓の周期については、a_c < a < 4 の範囲に、3周期以上の全ての自然数 k の周期の窓が存在する。各 k 周期の軌道がそれぞれ1回ずつ発生する訳ではなく、kの値が大きいほど多く発生する。k 周期の窓の個数を N_p としたとき、k を素数に限定すると、k の値から N_p の値が以下の式より得られる。

$N_{p}={\frac {2^{k}-1}{k}}$

(2-9)

式(2-9)は、k を素数に限定した式だが、実際の N_p を調べて比較すると、素数でない k に対しても非常に近い値の N_p を式(2-9)で得ることができる。

窓の幅（窓が始まる a と窓が終わる a の差）は、3周期の窓が最も広く、周期が大きいほど幅は狭まっていくと推定される。よって、窓は無限個存在するが、窓の周期的領域の範囲はカオス軌道が支配する領域に比べて小さい。概算によると、区間 [a_c, 4] の約90%はカオス軌道が支配する範囲で、残りが窓領域の範囲である。

窓領域で現れる周期軌道は、窓領域ではカオスが背後に存在するが不安定のため観測されず周期軌道のみが可観測となって現れるもので、この点において集積点前で現れる周期軌道と異なる。窓領域中では、初期値から安定周期軌道に落ち着くまでの間のみに、この潜在的なカオスが過渡的に現れる。このようなカオスを過渡カオスと呼ぶ。

パラメータ a が3.5から4までの分岐図。a = 3.742 における5周期の窓の例を合わせて示す。

最も広い3周期窓を例にして、窓領域内の振る舞いについて見ていく。まずカオス発生領域から3周期窓発生領域へ移る過程を観察する。3周期窓の発生分岐点は 1 + 2√2 = 3.82843... で与えられる。この3周期窓分岐点を a₃ とする。a₃ よりもわずかに小さい a = 3.8282 のときの時系列を見てみると、x_n が不規則的振る舞いを起こしている時間域と3周期の周期的振る舞いを起こしている時間域が交互に発生する。この振る舞いの周期的な部分をラミナーと呼び、不規則部分をバーストと呼ぶ。この振る舞いはカオスに相当するが、間欠的にしかカオス挙動が発生しないことから間欠カオスや間欠性カオスと呼ばれる。また、バーストとラミナーの時間域の長さに規則性は無く、不規則に変化する。次に、3.8282より大きいが a₃ には満たない a = 3.828327 のときの振る舞いを観察すると、a = 3.8282 のときよりラミナーの平均的な時間域長さが長くなり、バーストの平均的な時間域長さが短くなる。さらに a を大きくしていくとラミナーの長さがどんどん大きくなっていき、a₃に至ったところで完全な3周期に変わる。このような振る舞いの変化を、a を大きい方から小さい方へ変化させる方向で見てみると、周期軌道からカオス軌道への移行していることになる。これも前述の周期倍分岐ルートと同じくカオスに至る道筋の一種で、このような接線分岐による間欠カオスの発生を特徴とした道筋を、ポモウ・マンヴィルのシナリオやインターミッテンシールート(intermittency route)と呼ぶ。

a = 3.8282 の場合

a = 3.828327 の場合

それぞのパラメータにおける時間発展の様子、ほぼ同じ値が続く部分がラミナー、カオス的振る舞いを起こしている部分がバースト。それぞれの a の値は、船越 2008, pp. 71–73 を参考にした。

次に、窓内部の構造を観察する。完全に3周期窓に入った後は、既に述べたように振る舞いは3周期軌道になる。分岐図で見ていくと、a₃ を過ぎたところからカオス領域から3本の曲線に変わり伸びていくが、a が大きくなるとある値でそれぞれの曲線が2つに分かれる。これは 3 < a ≤ 3.5699456... で見た周期倍加分岐と同じ現象が発生しており、全体で見ると、3周期、6周期、12周期...という風に 3 × 2^k 周期が発生していく。最終的には、2^k 周期分岐のときと同じくある値の集積点で無限周期に至り、カオスが発生する。集積点通過後も a 増加に伴う振る舞いの変化は、2^k 周期分岐終了後と同じく、小領域を巡る周期的カオスから始まり、小領域の結合、窓の発生（大きな窓の中に窓がある構造で子窓などと呼ぶ）が起こる。1つの窓の中に、このような全体と同じような振る舞いの変化が存在することにより、ロジスティック写像の分岐図は、分岐図の中に同じ形状の分岐図が存在して、それが無限に続くというフラクタル的な自己相似形状になっている。ただしこの自己相似形状は、無限の入れ子構造となる厳密な自己相似形となってはいない。

分岐図の窓領域の拡大により、自己相似形状が現れる。

最後に、3周期窓領域の終了部分について見ていく。全体と同じような振る舞いの変化を辿り、3周期窓領域の最終部では、3つの領域を巡る3バンドカオスとなる。この状態からさらに a を大きくしていくと、ある値で窓領域が終了し、3バンドカオスから1バンドカオスに戻る。この分岐点の値は a = 3.8568... で与えられる。このような窓の終わりで軌道が一気に大きな区間へ移る分岐はクライシスと呼ばれる。アトラクタが不安定周期点に接触して崩壊し、崩壊したアトラクタの外側のアトラクタに捕まることで、区間の変化が発生する。後述の境界クライシスと呼び分けるために内部クライシスと呼ばれる。あるいはバンド融合クライシスとも呼ぶ。

a = 4 のとき

a = 4 のときは、区間[0, 1]全体で変動する。このとき、ロジスティック写像は全ての自然数k周期軌道が存在するが、それら全ては不安定周期軌道となっており、周期軌道に漸近することなく非周期で区間 [0, 1] を巡り続ける軌道となる。この a = 4 におけるカオスは特別にピュアカオスとも呼んだりもする。

パラメータ a = 4 のロジスティック写像、蜘蛛の巣図と時系列図、n = 500 まで、初期値 x₀ = 0.3 の場合

a = 4 のとき、初期値鋭敏性の指標であるリアプノフ指数の値は ln2 で、写像の複雑性を示す位相的エントロピーの値は log2 である。また、このときの区間 [0, 1] での x_n の分布関数あるいは不変測度 μ(x) は次式で示される。

$\mu (x)={\frac {1}{\pi {\sqrt {x(1-x)}}}}$

(2-10)

ここで、x_n の値が微小区間 dx に訪れる確率は μ(x)dx で得られる。よって、x_n の発生頻度分布は、区間 [0, 1] で一様分布ではなく、0 と 1 の両端が発生確率が高いU字型の分布となっている。分岐図のプロットの濃淡からも明らかなように、a < 4 のカオス発生範囲でも発生分布は一様ではなく偏りが存在している。

a = 4 のときの軌道が取り得る複雑さは、確率的なランダムに匹敵すると説明される。具体的には以下のようになっている。n = 0, 1, 2... に対して時系列x_n = x₀, x₁, x₂... が得られる。次に、この時系列の値それぞれを、x = 0.5 以下のものは0、x = 0.5 を超えるものは1に変換する。変換された 0 か 1 の値を、時系列順に並べて数列s_Lを作る。例えば、初期値 x₀ = 0.2 とすれば、 x₁ = 0.64, x₂ = 0.9216, x₃ = 0.28901, ... となるので、s_L = 0110... が得られることになる。一方、1/2 の確率でそれぞれ表裏が出るコイントスを想定する。表が出たときを 0、裏が出たときを 1 として、試行順に数列 s_C を作る。例えば1回目表、2回目表、3回目裏、4回目裏...であれば、s_C=0011...が得られる。試行は無限回行うとして、s_C の 0 と 1 が無限に並ぶ場合も含める。この試行では確率論的なコイントスで記号を決めていったので、数列 s_C は完全にランダムであらゆるパターンの数列を得ることができる。これに対して、ロジスティック写像から得られた数列 s_L は決定論的な法則に従って決めていったものである。しかしながら、コイントスで得られる可能性のある全てパターンの数列 s_C を、初期値を適切に選びさえすればロジスティック写像による s_L によって実現できる。すなわち、無限列 s_C に対して、s_C = s_L となる初期値x₀ が区間 [0, 1] 中にただ1点存在することが証明されている。

以上のような性質を持つ解は「真にカオス的」「ピュアカオス」とも形容される。一方で、a = 4 では、例外的なケースとして、カオスでありながらも n について明示的な厳密解を得ることができる。式(5-2)にそれらの解を示す。

パラメータ a（図中 r）を0から4まで連続して変化させたときのクモの巣図法による軌道の変化。縦軸：x_n+1（図中 y）、横軸：x_n（図中 x）。これまで説明した a による軌道の変化が観察できる。

4 < a のとき

a が 4 を超えるとほとんど全ての点 x₀ から始まる挙動はマイナス無限大へ発散する。この分岐は、窓領域の終わりで発生していた内部クライシスと同じ現象だが、アトラクタが不安定化しても外側の大きなアトラクタに移行することなく軌道が無限遠に発散することが特徴である。内部クライシスと呼び分けるために境界クライシスと呼ぶ。あるいはアトラクタ破壊のクライシスとも呼ぶ。

4 < a のときでも、マイナス無限大へ発散しない挙動を取る初期値 x₀ の集合が存在する。この集合を A とすると、単位区間 I から差し引いた I − A 内にある点が発散の一途をたどることになる。一方、発散しない集合 A は、長さが 0 でありながら非可算無限の点が存在するカントール集合の一種を形成する。

a < 0 のとき

以上まではパラメータ a が正の場合について説明してきた。ロジスティック写像は生態学上のモデルとして研究された経緯もあり、一般的に a が負の場合については論じられることは少ない。a が負の範囲のときの写像の分岐を確認すると、正の場合と似たような分岐を経て発散に至る。

a の値を0から減少させていくと、−1 までは x_f = 0 の安定不動点に漸近するが、−1 を超えたところから2周期点に分岐し、正のときと同じく周期倍分岐を経てカオスへ至る。a = −2 のときはカオスだが、a = 4 のときと同じように時間発展の厳密解を得ることができ、式(5-3)で表される。最終的には、a が −2 を下回るとプラス無限大へ発散するようになる。以下に −2 から 4 までのロジスティック写像分岐図の全体像を示す。

パラメータ a が−2から4までの分岐図。負側も正側もこれらのパラメータ範囲を超えると発散するようになる。

ロジスティック方程式離散化からの導出

「ロジスティック方程式」も参照

ロジスティック方程式は、ピエール＝フランソワ・フェルフルストにより、ある環境における生物個体数の時間変化を表すために発表されたもので、次式で表される。

${\frac {dN}{dt}}\ =rN\left(1-{\frac {N}{K}}\right)$

(3-1)

ここで、t は連続時間、N は生物個体数で t の関数 N(t)、dN/dt は N の時間微分で時刻t における N の増加率、K は環境収容力で、r は内的自然増加率である。K と r が定数である。

ロジスティック曲線と呼ばれる式(3-1)の解曲線。ロジスティック写像のような複雑な振る舞いは起こさない。

ロジスティック方程式（式(3-1)）の形式は、ロジスティック写像（式(1-1)）と同様に変数が大きくなると負のフィードバックが働く点など一見似ているが、振る舞いは相当に異なる。式(3-1)では、パラメータの値に寄らず、十分時間経過後の N は常に K に収束する。

このようなロジスティック方程式に、1階常微分方程式の数値解法の一つであるオイラー法による差分化を行うことで、ロジスティック写像を以下のように求めることができる。後述の#研究史に記す通り、ロバート・メイがロジスティック方程式から差分化して得たロジスティック写像を用いた研究を行い、ロジスティック写像が広く知られるようになった。

まず、Δt を微小な時間刻み幅とすれば、dN/dt を以下のように近似できる。

${\frac {dN(t)}{dt}}\approx {\frac {N(t+\Delta t)-N(t)}{\Delta t}}$

(3-2)

式(3-1)に式(3-2)を代入すると次式が得られる。

${\frac {N(t+\Delta t)-N(t)}{\Delta t}}=rN(t)\left(1-{\frac {N(t)}{K}}\right)$

(3-3)

ここで時刻 t を Δt の倍数と見なし、t = nΔt で書き換えると、 N(t) = N_n、N(t+Δt) = N_n+1 と表すことができるので、式(3-3)は次式のようになる。

${\frac {N_{n+1}-N_{n}}{\Delta t}}=rN_{n}\left(1-{\frac {N_{n}}{K}}\right)$

(3-4)

式(3-4)を式変形すれば以下の差分方程式が得られる。

$N_{n+1}=N_{n}\left[(1+r\Delta t)-{\frac {r\Delta t}{K}}N_{n}\right]$

(3-5)

さらに、N_n を変数変換して x_n という新たな変数と、a という新たな定数を導入して、式(3-5)に代入するとロジスティック写像の式が得られる。

$x_{n+1}=ax_{n}(1-x_{n})$

(3-6)

ただし、

$x_{n}={\frac {r\Delta t}{K(1+r\Delta t)}}N_{n}$

$a=1+r\Delta t$

以上より、ロジスティック写像の定数 a を変化させることは、差分方程式に近似されたロジスティック方程式の最大増加率 r と時間刻み幅 Δt の積である rΔt を変化させることに相当する。Δt を大きくするほど、元の式(3-1)との誤差は大きくなっていくが、Δt の値自体に対する拘束条件は無い。メイは1973年にΔtの値を変化させながら数値実験し、ロジスティック写像の振る舞いを調べた。

式(3-6)でパラメータ K と r の値は固定し、Δt を変化させながら振る舞いを観察することは、式(1-1)におけるパラメータ a を変化させながら振る舞いを観察することに対応する。前述の#パラメータ a による振る舞いの変化で見た通り、a を変化させることでその振る舞いは複雑な変化を遂げる。これを言い換えると、ロジスティック方程式を時間離散化したときに導入した時間刻み幅 Δt を大きくすることは、元の方程式との誤差を単に大きくするだけでなく、カオス的振る舞いを生み出すということである。これはロジスティック方程式に限らず、式(3-2)で差分化を行い、なおかつ Δt が十分に大きければ、一般的な自励系の方程式 dx/dt=f(x) においても同様にカオス的振る舞いが発生することも明らかにされている。

位相共役な写像

パラメータ a = 4 のロジスティック写像は、テント写像やベルヌーイシフト写像と次のように位相共役や位相同型と呼ばれる関係にある。ここで、位相共役な関係であるとは、a = 4 のロジスティック写像 f(x_n) と位相共役な写像 g(x_n) が、同型変換関数 h(x_n) により次の関係が成立することである。

$h(x_{n})\circ f(x_{n})=g(x_{n})\circ h(x_{n})$

(4-1)

ここで式中の$\circ$は写像の合成を意味する。

テント写像

位相共役な写像

$x_{n+1}=g(x_{n})={\begin{cases}2x_{n}&\mathrm {for} ~~x_{n}<1/2\\\\2(1-x_{n})&\mathrm {for} ~~1/2\leq x_{n}\end{cases}}$

(4-2)

同型変換関数

$h(x_{n})={\frac {2}{\pi }}\arcsin({\sqrt {x_{n}}})$

(4-3)

ただし、式(4-2)はパラメータ μ = 2 のテント写像。

ベルヌーイシフト写像

位相共役な写像

$x_{n+1}=g(x_{n})=2x_{n}{\pmod {1}}$

(4-4)

同型変換関数

$h(x_{n})={\frac {1}{2\pi }}\arcsin(1-2x_{n})$

(4-5)

ただし、式(4-4)はパラメータμ = 2のベルヌーイシフト写像。

これらの関係を利用して、a = 4 のロジスティック写像の不変測度式(2-10)や厳密解式(5-2)を得ることもできる。

特別な場合の厳密解

パラメータ a が特定の値のとき、n について明示的な解を得ることができる。すなわちステップ数 n と初期値 x₀ の値を指定すれば、直接 x_n が計算できる。a = 2, 4, −2 のときについて以下のような厳密解が得られている。

a = 2 のとき

$x_{n}={\frac {1-\exp \left[2^{n}\ln(1-2x_{0})\right]}{2}}$

(5-1)

a = 4 のとき

$x_{n}={\frac {1-\cos \left[2^{n}\arccos(1-2x_{0})\right]}{2}}$

(5-2)

a = −2 のとき

$x_{n}={\frac {1}{2}}-\cos \left\{{\frac {1}{3}}\left[\pi -(-2)^{n}(\pi -3\arccos({\frac {1}{2}}-x_{0}))\right]\right\}$

(5-3)

応用

個体群成長モデル

ロジスティック写像は、生物の個体数が世代ごとにどう変化するか予測する計算モデルとしてロバート・メイにより提案された。後述の#研究史に記す通り、それ以前からも式(1-1)については既に研究されていたが、この1970年代前半のメイの研究によりロジスティック写像が広く知られるようになった。

数理生物学的には、ロジスティック写像は、生物の個体群における個体数あるいは個体群密度の変動モデルを意味する。細かくは、離散世代型の単一種個体群モデルに相当する。ロジスティック写像の数理生物学的な導出の仕方は様々だが、まず最も単純な指数成長型の個体群モデルを導入して、それの拡張として生物学的条件を与えて導入する場合について説明する。

生物の個体数を N として、繁殖過程に関して世代が重ならないような生物種とする。このようなとき、n 世代における N の値に比例して増えていく単純なモデルが考えられる。

$N_{n+1}=cN_{n}$

(6-1)

ここで c は、n によらない定数とし、正味の増殖率を意味する。個体当たりの結実率・出産率と繁殖可能になるまでの生存率との積とも考えられる。また、c が n によらない定数とは、環境条件が時間的に変化しない場合である。

この単純なモデルでは、個体数 N は指数関数的に無制限に増加することになる。一方で、密度効果を考えると、個体数が多くなると資源の奪い合いが激しくなり、繁殖率が低下すると仮定できる。これも単純なモデルの1つとして、次のような増殖率 c と個体数 N の関係を考えることができる。

$c=a-bN_{n}$

(6-2)

ここで、a が最大繁殖率、b が繁殖率に対する密度効果の強さを表している。 式(6-1)と式(6-2)を合成すると、

$N_{n+1}=(a-bN_{n})N_{n}$

(6-3)

となり、x_n = b N_n/a と変数変換すれば、ロジスティック写像と同形の次式が得られる。

$x_{n+1}=a(1-x_{n})x_{n}$

(6-4)

N の値が負のとき、個体数としての意味が成さないので、この制約から、a ≤ 4 という制約が生まれる。

1941年、昆虫学者の内田俊郎は離散世代型の生物種であるマメゾウムシの密閉容器中の繁殖実験で、個体数変動が振動しながら収束していくデータが得ている。これはロジスティック方程式では再現できないものだったが、ロジスティック写像の 2 < a ≤ 3 の場合で再現できる。また、ロジスティック写像の 3 < a ≤ 3.44949... に相当するような実験データとしては、内田俊郎がヨツモンマメゾウムシによる実験で、昆虫学者のニコルソンがヒツジキンバエによる実験で2周期振動型の個体数変化のデータを得ている。

ただし、ロジスティック写像のみが離散世代型単一種個体群モデルに適用できるモデルというわけではない。1953年に内田俊郎らも自身の実験データを別のモデルで再現している。また、ロジスティック写像ではパラメータの生物学的解釈が難しいとする意見もある。ロジスティック写像型のモデル以外にも、様々な種類のモデルが数理生物学で研究されており。リッカーモデルなどもパラメータ変化によるカオス的振る舞いも見せる。また、実験室の厳密に管理された条件では実際の生物個体群がカオス的変動を示した例はあるが、野外環境での個体群が本当にカオス的変動を起こすのかどうかは、様々な環境変動の影響があることからまだ論争が続いている。

擬似乱数生成器

コンピュータのソフトウェア計算から擬似乱数を得るための手法の１つとして、カオスを用いたものがある。ロジスティック写像もそのための1つとして研究されている。擬似乱数生成器用には、ピュアカオスの a = 4 のときを対象にすることが多い。研究最初期としては、後述の#研究史に示す通り、1947年にスタニスワフ・ウラムとジョン・フォン・ノイマンが、a = 4 のロジスティック写像により擬似乱数が得られることを指摘している。写像の初期値鋭敏性により、種と呼ばれる初期値が非常に近い2つの値から計算しても異なる時系列を得ることができる。また、ロジスティック写像の計算では、区間 (0, 1) の中で常に値を取るので、浮動小数点だけでなく固定小数点でも問題無く計算できる利点がある。

一方で次のような欠点もある。a = 4 のロジスティック写像の密度関数は式(2-10)で示された分布になっており、区間 (1, 0) 内の数値の発生確率は一様ではなくU字型になっている。そのため、一様分布の数列にするために何らかの処理が必要となる。

その方法としては、

1. 得られた実数列を一様乱数列に直接変換する方法
2. 得られた実数列に対して閾値を使って 0, 1 に振り分け、これを繰り返してベルヌーイ試行列による一様乱数を得る方法
3. 得られた実数列の仮数の一部のビット数列を一様乱数と見なす方法

以上のようなものがある。また、x_n とx_n+1 には強い相関があるので、上記の1、2番目の方法では多重化すなわち反復合成を繰り返しが必須である。そのために必要な多重度は、1番目の方法に対するファタックらの研究によると10回以上、2番目の方法に対する香田らの研究によると16回以上である。

さらに、a = 4 のロジスティック写像であっても初期値によっては不動点に収束する。また、デジタルコンピュータを用いてカオスを計算する一般的問題として、コンピュータでは有限計算精度で計算されるため、原理的に真にカオスな値を得ることができないという点がある。このようなカオスは擬似カオスと呼ばれる。この有限計算精度によって、どんな初期値から不動点に収束するかの判別は実際に数値計算させるしか方法が無くなってしまう。

以上のようなロジスティック写像などのカオスを応用した擬似乱数生成の研究は続けられているが、2006年時点で、カオスを乱数源とする方法で乱数性、高速性に優れた擬似乱数生成器の実現はまだ報告されていないという指摘もある。上記で説明した方法以外に、連立3変数のロジスティック写像や整数化したロジスティック写像などによる擬似乱数生成研究がある。

研究史

「カオス理論#研究史」も参照

式(1-1)がロジスティック写像と呼ばれる前の時代としては、1947年にスタニスワフ・ウラムとジョン・フォン・ノイマンが、

$x_{n+1}=4x_{n}(1-x_{n})$

(7-1)

を使用すれば疑似乱数を得ることができることを指摘している。

スタニスワフ・ウラム

ジョン・フォン・ノイマン

式(7-1)は a = 4 のロジスティック写像に相当する。この頃はカオスという言葉もまだ存在していない。また、ウラムとノイマンはこの式とテント写像が位相同型の関係にあること、この式の不変測度が一様分布ではないことも明らかにしていた。

1950年にプルキン(S. P. Pulkin) が連続写像や区分的に連続な写像から振動の繰り返し系列が生じることを示したが、この論文中にもロジスティック写像と同じ式が現れる。その後、1950年代前半から1960年代後半にかけて、他の研究者からも任意のパラメータ a を備えた形式についても研究されている。ミュルバーク(Pekka Juhana Myrberg) は1958年から1963年にかけて、x_n+1 = x_n² − λ という形式の1次元2次写像の分岐現象について調べ、1963年にはこの写像による周期倍加分岐も研究している。カオス現象自体の発見（可視化）は、1961年の上田睆亮や1963年のエドワード・ローレンツなどで達成されるが、まだこの時点でもカオスという共通語は存在していない。

ロバート・メイ

その後、数理生物学者のロバート・メイが、生態学の問題に取り組む過程で式(1-1)を用いた研究を1970年初頭から開始する。1973年に、メイはロジスティック方程式を離散時間化により差分方程式に変換させて、式(1-1)を求めた。メイはこの式を基に数値実験を行い、パラメータaによる変数の振る舞いを変化を研究した。1974年と1976年にメイはこれらの研究成果を発表し、これらの論文によって、カオスと関係の深い写像としてロジスティック写像が広く知られるようになる。さらに、ロジスティック写像型の関数が持つ非周期軌道と周期軌道の存在について独立に研究していたジェームス・ヨーク(James A. Yorke) らが、メイの研究に刺激を受ける格好で、1975年に "Period Three Implies Chaos"（3周期はカオスを意味する）の題名でそれらの研究を発表し、カオスという共通語が広まっていく。

その後、メイは先行研究があったことを尊重した上で自身の功績について次のように述べている。

このようにしてわれわれの研究は、カオスを科学の本流に押し上げる第2の主役となった。ジム・ヨークが言ったように、われわれは2次写像の奇怪な数学的挙動を独立に最初に発見したのではなく、科学におけるその広範な意味づけを最後に強調した研究者たちなのだ!

—Robert M. May、(エイブラハム・ウエダ 2002, p. 160)、稲垣耕作・赤松則男訳

また、ロバート・デバニー(Robert L. Devaney) は、著作でロジスティック写像の解説に入る前に次のように述べている。

これにより、単に2次関数 f_λ(x) = λx(1 − x)（これもまたロジスティック写像と呼ばれる）を反復すれば、最初の個体数 x₀ の運命が予測できるようになるというわけだ。簡単な話のように聞こえるだろうが、あえて言い添えておくならば、この単純な2次関数の反復が完全に理解できるようになったのは、何百人もの数学者の努力の末、やっと1990年代の終わり頃になってからのことなのである。

—Robert L. Devaney、(Hirsch et al. 2007, p. 347)、三波篤朗訳

参考文献

※文献内の複数個所に亘って参照したものを示す。

• 下條隆嗣、1992、『カオス力学入門 ―古典力学からカオス力学へ』初版、近代科学社〈シミュレーション物理学6〉 ISBN 4-7649-2005-0
• 山口昌哉、1992、『カオスとフラクタル ―非線形の不思議』第17刷、講談社〈ブルーバックス〉 ISBN 4-06-132652-X
• 船越満明、2008、『カオス』初版、朝倉書店〈シリーズ 非線形科学入門3〉 ISBN 978-4-254-11613-7
• K.T.アリグッド・T.D.サウアー・J.A.ヨーク、シュプリンガー・ジャパン（編）、津田一郎（監訳）、星野高志・阿部巨仁・黒田拓・松本和宏（訳）、2012、『カオス　第1巻　力学系入門』、丸善出版 ISBN 978-4-621-06223-4
• 合原一幸・黒崎政男・高橋純、遠藤諭（編）、1999、『哲学者クロサキと工学者アイハラの神はカオスに宿りたもう』初版、アスキー ISBN 4-7561-3133-6
• 小室元政、2005、『基礎からの力学系 ―分岐解析からカオス的遍歴へ』新版、サイエンス社 ISBN 4-7819-1118-8
• 香田徹・小室元政・松本隆・CHUA, Leon O.・徳永隆治・相沢洋二・大石真一・八幡、合原一幸（編）、1990、『カオス ―カオス理論の基礎と応用』初版、サイエンス社 ISBN 4-7819-0592-7
• ラルフ・エイブラハムほか、ラルフ・エイブラハム、ヨシスケ・ウエダ（編）、稲垣耕作・赤松則男（訳）、2002、『カオスはこうして発見された』初版、共立出版 ISBN 4-320-03418-X
• 井上政義、1997、『やさしくわかるカオスと複雑系の科学』初版、日本実業出版社 ISBN 4-53402492-4
• 瀬野裕美、2007、『数理生物学 ―個体群動態の数理モデリング入門』初版、共立出版 ISBN 978-4-320-05656-5
• ジェームス・D・マレー、三村昌泰（総監修）、瀬野裕美・河内一樹・中口悦史・三浦岳（監修）、勝瀬一登・吉田雄紀・青木修一郎・宮嶋望・半田剛久・山下博司（訳）、2014、『マレー数理生物学入門』初版、丸善出版 ISBN 978-4-621-08674-2
• 早間慧、2002、『カオス力学の基礎』改訂2版、現代数学社 ISBN 4-7687-0282-1
• 森肇・蔵本由紀、1994、『散逸構造とカオス』、岩波書店 ISBN 4-00-010445-4
• Morris W. Hirsch; Stephen Smale; Robert L. Devaney、桐木紳・三波篤朗・谷川清隆・辻井正人（訳）、2007、『力学系入門　原著第2版―微分方程式からカオスまで』初版、共立出版 ISBN 978-4-320-01847-1
• 渡辺裕明・金田康正、1999、「テント写像に基づいた擬似乱数生成法」 (pdf) 、『情報処理学会論文誌』40巻7号、情報処理学会、NAID 110002724890 pp. 2843–2850
• 董際国 (2012年). “整数ロジスティック写像を用いた乱数生成法とその応用 (pdf)”. 電気通信大学博士学位論文. 電気通信大学学術機関リポジトリ. 2014年11月29日閲覧。

外部リンク

• Weisstein, Eric W. "Logistic Map". MathWorld (英語).
  • Weisstein, Eric W. "Logistic Map--r=-2". MathWorld (英語).
  • Weisstein, Eric W. "Logistic Map--r=2". MathWorld (英語).
  • Weisstein, Eric W. "Logistic Map--r=4". MathWorld (英語).