ダフィング方程式

提供: miniwiki
移動先:案内検索
ファイル:Forced Duffing equation Poincaré section.png
カオス挙動を示す強制ダフィング方程式のポアンカレ切断面

数学におけるダフィング方程式(ダフィングほうていしき、: Duffing equation)あるいはダフィング振動子(Duffing oscillator)は、ある減衰的駆動振動子をモデル化するために用いられる非線型の二階常微分方程式である。次で与えられる:

[math]\ddot{x} + \delta \dot{x} + \alpha x + \beta x^3 = \gamma \cos (\omega t). \,[/math]

ここで(未知)函数 x = x(t) は時間 t での位置、[math]\dot{x}[/math]x の時間に関する一階導函数、すなわち速度で、[math]\ddot{x}[/math]x の時間に関する二階導函数、すなわち加速度である。数 [math]\delta[/math][math]\alpha[/math][math]\beta[/math][math]\gamma[/math] および [math]\omega[/math] は与えられた定数である。

この式は、(β = δ = 0 の場合に対応する)単振動よりも複雑なポテンシャルを持つ減衰振動子の動きを表す。例えば、物理学の言葉で言うと、ばねの剛性フックの法則に従わないばね振り子English版のモデルと見なされる。

ダフィング方程式は、カオス的挙動を示す力学系の一例である。ジャパニーズ・アトラクタがダフィング方程式におけるカオスの例としてよく知られている。さらにダフィングシステムは、周波数ヒステリシスの挙動のような、跳躍共振現象を周波数反応において示すものである。

パラメータ

  • [math]\delta[/math]減衰の大きさを制御する。
  • [math]\alpha[/math]剛性の大きさを制御する。
  • [math]\beta[/math] は復元力に含まれる非線型性の量を制御する。[math]\beta=0[/math] であるなら、ダフィング方程式は減衰かつ駆動(driven)な単振動子を表す。
  • [math]\gamma[/math] は周期駆動力の振幅を制御する。[math]\gamma=0[/math] なら、駆動力の無いシステムとなる。
  • [math]\omega[/math] は周期駆動力の周波数を制御する。

解の方法

ファイル:Duffing oscillator limit cycle.gif
γ>0 に対するダフィング振動子のリミットサイクル
ファイル:Duffing oscillator limit cycle phase animation.gif
γ>0 に対するダフィング振動子のリミットサイクルの相プロット
ファイル:Duffing oscillator chaos.gif
γ<0 に対するダフィング振動子のカオス振動
ファイル:Duffing oscillator attractors animation.gif
γ<0 に対するダフィング振動子のアトラクターのアニメーション

一般に、ダフィング方程式の厳密な記号解が得られるとは限らない。しかし、以下のような多くの近似手法が利用できる:

非減衰([math]\delta = 0[/math])かつ非駆動([math]\gamma = 0[/math])なダフィング方程式の特別な場合においては、ヤコビ楕円函数English版を利用することで厳密解を得ることが出来る。

非減衰かつ非強制振動子の解の有界性

非減衰かつ非強制([math]\gamma=\delta=0[/math])なダフィング方程式に [math]\dot{x}[/math] を掛けると、次が得られる[1]

[math] \begin{align} & \dot{x} \left( \ddot{x} + \alpha x + \beta x^3 \right) = 0 \\ &\Rightarrow \frac{\text{d}}{\text{d}t} \left[ \tfrac12 \left( \dot{x} \right)^2 + \tfrac12 \alpha x^2 + \tfrac14 \beta x^4 \right] = 0 \\ & \Rightarrow \tfrac12 \left( \dot{x} \right)^2 + \tfrac12 \alpha x^2 + \tfrac14 \beta x^4 = H. \end{align} [/math]

ここで H は定数である。H の値は初期条件 [math]x(0)[/math] および [math]\dot{x}(0)[/math] によって決まる。

H[math]y=\dot{x}[/math] を代入することで、システムはハミルトニアンEnglish版であることが分かる:

[math] \dot{x} = + \frac{\partial H}{\partial y}, [/math]   [math] \dot{y} = - \frac{\partial H}{\partial x} [/math]   with   [math] \quad H = \tfrac12 y^2 + \tfrac12 \alpha x^2 + \tfrac14 \beta x^4. [/math]

[math]\alpha[/math][math]\beta[/math] のいずれも正であるなら、解は有界である[1]

[math] |x| \leq \sqrt{2H/\alpha}[/math]   and   [math] |\dot{x}| \leq \sqrt{2H},[/math]

ここでハミルトニアン H は正である。

参考文献

文中

  1. 1.0 1.1 Bender & Orszag (1999, p. 546)

その他

  • Bender, C.M.; Orszag, S.A. (1999), Advanced Mathematical Methods for Scientists and Engineers I: Asymptotic Methods and Perturbation Theory, Springer, pp. 545–551, ISBN 9780387989310 
  • Addison, P.S. (1997), Fractals and Chaos: An illustrated course, CRC Press, pp. 147–148, ISBN 9780849384431 

外部リンク