• 検索結果がありません。

Logistic Map and Chaos Theory

N/A
N/A
Protected

Academic year: 2021

シェア "Logistic Map and Chaos Theory"

Copied!
2
0
0

読み込み中.... (全文を見る)

全文

(1)

ロジスティック写像とカオス理論

Logistic Map and Chaos Theory

非線形解析研究室

BV14021

片野 大輔 指導教員:竹内慎吾 教授

1

はじめに

ロジスティック微分方程式の解は時間を無限大にする と初期値に依存せずある定数に漸近する.しかしロジス ティック微分方程式を差分近似して得られるロジスティッ ク写像の解は必ずしもある定数に漸近するとは限らず,初 期値を変える毎にその挙動は複雑に変化する.この挙動は カオスと呼ばれる.

本研究ではロジスティック写像とカオス理論について説 明する.研究を行うにあたり,第

2

節は

[1]

[4]

[5]

を,第

3

節は

[1]

[2]

[3]

[6]

を主に参考にした.

以下では

f

を写像とし,

D(f )

f

の定義域,

R(f )

f

の値域とする.ただし

D(f ) R(f )

である.また,

f k (x)

x

f

k

回移した像を表す.特に

f 0 (x) = x

とする.

2

一般論

2.1

不動点

p D(f )

とする.

f(p) = p

のとき

p

f

の不動点と いう.また,

p

f

の不動点,

ε

を小さい正の数とし,

N ε (p) = { x R : | x p | < ε }

とする.

ε > 0 s.t. x D(f ) N ε (p), lim

k →∞ f k (x) = p

が成り立つとき,

p

f

の吸引的不動点という.一方,

ε > 0 s.t. x D(f ) N ε (p), x ̸ = p ⇒ | f (x) p | > | x p |

が成り立つとき,

p

f

の反発的不動点という.

不動点の吸引・反発について次の定理が成り立つ.

定理

1. f : R R

を滑らかな関数とし,

p

f

の不動点 とする.このとき

1

| f (p) | < 1 p

f

の吸引的不動点.

2

| f (p) | > 1 p

f

の反発的不動点.

この定理は不等式評価と上極限・下極限の性質を用いて 示される.

2.2

周期点

x 0 D(f)

に 対 し ,

f n (x 0 ) = x 0

で あ り ,さ ら に

x 0 , f(x 0 ), f 2 (x 0 ), . . . , f n 1 (x 0 )

がすべて異なるとき,

x 0

n

周期点であるという(

n = 1

のときは単に不動 点のことである).

x 0

n

周期点であるとき,

x 0

の軌道

{ x 0 , f (x 0 ), f 2 (x 0 ), . . . , f n 1 (x 0 ) }

が繰り返し現れ る周期軌道になる.この繰り返される

n

個の点の集合を

n

サイクルという.また,

x 0

f

に対する

n

周期点と し,

k = 0, 1, . . . , n 1

に対し

f k (x 0 )

f n

の吸引的

(反発的)不動点のとき

x 0

f

の吸引的(反発的)

n

期点という.さらに,

f

n

周期点

x 0

で連続であるとす る.

x 0

が吸引的(反発的)ならば、このとき

n

サイクル

{ x 0 , f (x 0 ), f 2 (x 0 ), . . . , f n 1 (x 0 ) }

は吸引的(反発的)

あるという.

周期点についても定理

1

と同様の定理が成り立つ.

定理

2. { x 0 , x 1 , . . . , x n 1 }

f

n

サイクルとする.た だし

f (x 0 ) = x 1 , f (x 1 ) = x 2 , . . . , f (x n 1 ) = x 0

とする.

このとき

1

| f (x 0 )f (x 1 ) · · · f (x n 1 ) | < 1 n

サイクルは吸引 的.

2

| f (x 0 )f (x 1 ) · · · f (x n 1 ) | > 1 n

サイクルは反 発的.

この定理は定理

1

と合成関数の微分公式を用いて示すこ とができる.

2.3

分岐

パラメータ表示された関数族

{ f µ }

の不動点・周期点の個 数や性質(吸引的か反発的か)が,

µ

µ 0

を通過するとき に変化するならば,

{ f µ }

µ 0

で分岐を持つ(

µ 0

で分岐す る)という.

µ 0

をこの関数族に対する分岐点という.

2.4

リャプノフ指数とカオスの定義

定義

3. f : R R

C 1

級とする.各点

x 0 R

に対し て,その極限が存在するとき

λ(x 0 )

を次のように定義する.

ただし,

j = 1, 2, . . .

に対して

x j = f j (x 0 )

である.

λ(x 0 ) = lim

n →∞

1

n log | (f n ) (x 0 ) | = lim

n →∞

1 n

n 1

j=0

log | f (x j ) | .

このとき

λ(x 0 )

を点

x 0

における

f

のリャプノフ指数とい う.また,

λ(x 0 )

x 0

に依存しないとき,

λ(x 0 )

λ

と書

f

のリャプノフ指数という.

関数

f

によって初期値のわずかな差が時間経過とともに 指数関数的に増大するとき,

f

は初期値鋭敏性を持つとい う.また,ある正の整数

n

が存在し,

f n (x 0 )

f

の不動点 となるとき,この

x 0

f

の最終的不動点という.

定義

4. f : R R

C 1

級とする.

f

が定義域内の最終的 不動点でない全ての初期値に対して正のリャプノフ指数を 持つとき,

f

はカオスであるという.

3

ロジスティック写像

3.1

ロジスティック写像の導出

r

K

を定数,

∆t

を時間

t

のひとつの刻み幅とする.微 分方程式

dN

dt = rN (K N) K

はロジスティック微分方程式と呼ばれている.微分係数

dN/dt

を差分商

N (t + ∆t) N(t)

∆t

(2)

でおきかえて近似すると,ロジスティック微分方程式は差 分近似され

x n+1 = Q µ (x n ) (1)

となる.ただし

Q µ (x) = µ(1 x)x

となる.この

Q µ

をロジスティック写像という.そして,初 期値をロジスティック写像で繰り返し移すために

0 x 1 , 0 < µ 4

を仮定する.このように

x

µ

をとると,

D(Q µ ) R(Q µ )

となるため,繰り返しロジスティック写像を用いることが できる.

3.2

ロジスティック写像の厳密解

µ = 2

µ = 4

のとき,ロジスティック写像

(1)

の厳密

x n

を求めることができる(

[6]

):初期値を

x 0

とすると

x n = 1 2

{

1 (1 2x 0 ) 2

n

}

(µ = 2) x n = sin 2 (

2 n sin 1 x 0

) (µ = 4)

である.

3.3

ロジスティック写像の挙動

0 < µ 1

のとき

0 < Q µ (x) = µx(1 x) < µx x (0 < x < 1) .

よって

{ Q n µ (x) } n=0

は正の単調減少数列であり,不動点

0

に収束する.よって不動点

0

の吸引域は

[0, 1]

である.

1 < µ 2

のとき,

Q µ (x) = x

を解くと

x = 0

x = p µ = 1 1/µ

が不動点であることがわかる.また,

Q µ (x) = µ(1 2x)

だから

| Q µ (0) | = | µ | > 1

かつ

| Q µ (p µ ) | = | 2 µ | < 1

.よって定理

1

より

0

は反発的不動点であり,

p µ

吸引的不動点である.

p µ

の吸引域は

(0, 1)

である.

2 < µ 3

のとき,

1 < µ 2

のときと同様に定理

1

より

0

が反発的不動点,

p µ

が吸引的不動点となる.

p µ

の吸引域

(0, 1)

である.

以上より,

0 < µ 3

のとき,

(0, 1)

の初期値は全て吸引 的不動点に収束するので,初期値に鋭敏な挙動とはいえず,

このとき

Q µ

はカオスではないことがわかる.

3 < µ 4

のとき,定理

1

より

0

は反発的不動点,

p µ

反発的不動点となるが.このとき,

2

周期点

q µ

r µ

が現れ る.ただし

q µ = µ + 1

(µ + 1)(µ 3)

,

r µ = µ + 1 + √

(µ + 1)(µ 3) 2µ

(2)

である.特に

3 < µ < 1 +

6

のとき,

2

サイクル

{ q µ , r µ }

は吸引的である.

µ > 1 +

6

のとき,

2

サイクル

{ q µ , r µ }

は反発的となり,新たに吸引的

4(= 2 2 )

サイクルが現れる.

さらに

µ

が増加し,ある値を超えると

4

サイクルは反発 的となり新たに吸引的

8(= 2 3 )

サイクルが現れる.ここで

k = 0, 1, 2, . . .

に対して

µ k

Q µ

が吸引的

2 k

サイクルを持 つ最大値と定義した分岐点とすると,一般に

µ n 1 < µ µ n

のとき

Q µ

は不動点

0

k = 0, 1, 2, . . . , n

に対して

1

つの

2 k

サイクルを持つということが知られている.さらにこの

µ k

には極限

µ = 3.5699456 · · ·

が存在する.

ここまでの議論から,

µ

の値が

3

から

µ

までのとき,吸

引域がどこまでかはわからないが,少なくとも吸引的周期 点が存在するので,「任意の初期値に対して鋭敏である」と はいえない.つまりこのときカオスとはいえないと考えら れる.

3.4

ロジスティック写像のリャプノフ指数

まずロジスティック写像

Q µ (x) = µx(1 x)

0 < µ < 1

におけるリャプノフ指数は

log | µ | < 0

である.よって

0 < µ < 1

のときロジスティック写像

Q µ

は初期値鋭敏性 を持たず,カオスでない.

次に

1 < µ < 3

かつ

µ ̸ = 2

におけるリャプノフ指数は

log | 2 µ | < 0

である.よって

1 < µ < 3

かつ

µ ̸ = 2

のと きロジスティック写像

Q µ

は初期値鋭敏性を持たず,カオ スでない.

次に

µ > 3

のときを考える.

3 < µ < 1 +

6

2

サイク ルが吸引的)のとき,十分大きい

j

に対して

x j = Q j µ (x 0 )

の値は

(2)

q µ

あるいは

r µ

に近いので,リャプノフ指数の 式において

log | Q µ (x j ) |

log | Q µ (q µ ) |

log | Q µ (r µ ) |

交互にとると考えられる.さらに

n → ∞

の極限では大き

j

に対する項の値だけが重要なので,このときリャプノ フ指数は

λ = 1

2 { log | Q µ (q µ ) | + log | Q µ (r µ ) |}

と考えられる.よって

λ = 1

2 log | µ 2 (1 2q µ )(1 2r µ ) |

= 1

2 log | − µ 2 + 2µ + 4 |

となる.

同様の議論で

µ 1 < µ < µ 2

のとき(

4

サイクルが吸引 的)

µ 2 < µ < µ 3

のとき(

8

サイクルが吸引的),…とリャ プノフ指数が求められると考えられる.参考文献

[3]

による と,

Q µ

のリャプノフ指数

λ

は,

µ

µ

を超えるまでは非 正であるという.

µ

µ

を超えると正の

λ

が現れる.つ まり,ロジスティック写像

Q µ

は,

µ

の値が

µ

を超える と,カオスが現れるのである.ちなみに,

µ > µ

のときで

λ

が負の値を取るときがある.また,

µ

µ

を超えた 後,解がカオスになる正の

λ

は,

µ

の増加とともに増大し ていく傾向がある.

以上のことから,リャプノフ指数によるロジスティック 写像のカオス判定は,ロジスティック写像の挙動解析と対 応していることがわかる.

参考文献

[1] Denny Gulick(

)

,前田恵一

(

)

,原山卓久

(

)

,カオ スとの遭遇,産業図書,東京,

1995

[2]

山口昌哉,カオスとフラクタル,筑摩書房,東京,

2010

[3]

船越満明

,

シリーズ 非線形入門 カオス

,

朝倉書店

, 2008.

[4] C.

ロビンソン

,

國府寛司

,

柴山健伸

,

岡宏枝

,

力学系 上

,

シュプリンガー・フェアラーク東京

, 2001.

[5] Tien-Yien Li, James A Yorke, Period Three Implis Chaos, The American Mathematical Monthly, Vol 82, No. 10, pp.985-992, Dec., 1975.

[6] T. Tsuchiya, A. Szabo and N. Saito, Exact Solutions of Simple Nonlinear Difference Equation Systems that show Chaotic Behavior, Z. Naturforsch. 38a , 1035–

1039 (1983).

参照

関連したドキュメント

Trujillo; Fractional integrals and derivatives and differential equations of fractional order in weighted spaces of continuous functions,

EXISTENCE AND ASYMPTOTIC BEHAVIOR OF POSITIVE LEAST ENERGY SOLUTIONS FOR COUPLED NONLINEAR..

The evolution of chaotic behavior regions of the oscillators with hysteresis is presented in various control parameter spaces: in the damping coefficient—amplitude and

In this paper, by using the integral bifurcation method 34–36, we mainly investigate some new exact solutions such as explicit solutions of Jacobian elliptic function type

Wu, “Positive solutions of two-point boundary value problems for systems of nonlinear second-order singular and impulsive differential equations,” Nonlinear Analysis: Theory,

In the proofs we follow the technique developed by Mitidieri and Pohozaev in [6, 7], which allows to prove the nonexistence of not necessarily positive solutions avoiding the use of

In this paper we prove the existence and uniqueness of local and global solutions of a nonlocal Cauchy problem for a class of integrodifferential equation1. The method of semigroups

On the other hand, modeling nonlinear dynamics and chaos, with its origins in physics and applied mathematics, usually concerned with autonomous systems, very often