- ロトカ=ヴォルテラの方程式は捕食者・被捕食者の個体数が周期的変動をする様子を表した非線形偏微分方程式(Wiki記事)
- 被捕食者(x)は、その個体数に比例して増殖するが、捕食者と出会う確率に応じて減少する
- 捕食者(y)は、その個体数に比例して自然死するが、被捕食者と出会う確率に応じて増殖する
![\frac{dx}{dt} = \alpha x -\beta xy](https://chart.apis.google.com/chart?cht=tx&chl=%5Cfrac%7Bdx%7D%7Bdt%7D%20%3D%20%5Calpha%20x%20-%5Cbeta%20xy)
![\frac{dy}{dt} = \gamma xy -\kappa y](https://chart.apis.google.com/chart?cht=tx&chl=%5Cfrac%7Bdy%7D%7Bdt%7D%20%3D%20%5Cgamma%20xy%20-%5Ckappa%20y)
- 次のx,yの関数Vは時間微分が0であることが示せる
![V(t)=\gamma x +\beta y - \kappa \log(x) -\alpha \log(y)](https://chart.apis.google.com/chart?cht=tx&chl=V%28t%29%3D%5Cgamma%20x%20%2B%5Cbeta%20y%20-%20%5Ckappa%20%5Clog%28x%29%20-%5Calpha%20%5Clog%28y%29)
を素直に式変形すれば示せる
- 時間微分が0なので
は時間不変量であって、「保存量」と呼ばれる
- 保存量の関数はどうやったら得られるのかを考えてみる
であるとき
であることを利用する
- 今、時間に関して保存される量の関数
は
である
は自明であるから、
となるような
は保存量となるだろう
と
とを比べると
であって、
はそれぞれx,yのみの関数である
- ここで、x,yのみの関数
を用いて
と表せれば、
のとき
![\frac{f(x)}{dx}=\frac{dy}{dt}/(x^{k_x}y^{k_y})=\frac{v(x)}{x^{k_x}}](https://chart.apis.google.com/chart?cht=tx&chl=%5Cfrac%7Bf%28x%29%7D%7Bdx%7D%3D%5Cfrac%7Bdy%7D%7Bdt%7D%2F%28x%5E%7Bk_x%7Dy%5E%7Bk_y%7D%29%3D%5Cfrac%7Bv%28x%29%7D%7Bx%5E%7Bk_x%7D%7D)
![\frac{g(y)}{dy}=\frac{dx}{dt}/(x^{k_x}y^{k_y})=\frac{u(y)}{y^{k_y}](https://chart.apis.google.com/chart?cht=tx&chl=%5Cfrac%7Bg%28y%29%7D%7Bdy%7D%3D%5Cfrac%7Bdx%7D%7Bdt%7D%2F%28x%5E%7Bk_x%7Dy%5E%7Bk_y%7D%29%3D%5Cfrac%7Bu%28y%29%7D%7By%5E%7Bk_y%7D)
- とできて、保存量が確保できる
- 保存量があるということは、「突拍子もない状態」には行かないで済む(かもしれない)と言うことなので、周期的になってくれそう
を満足する点は固定点と呼ばれるが、そこの近傍を初期値に取れば、周期的になる(なりやすい)
k1<-2
k2<-3
a<-runif(1)
b<-runif(1)
c<-runif(1)
d<-runif(1)
x<-c(d/c*0.9)
y<-c(a/b*0.9)
v<-c(-a/y[1]-b*log(y[1])-(c*x[1]-d*log(x[1])))
Niter<-10000
dt<-100/Niter
for(i in 2:Niter){
dxdt<-a*x[i-1]^k1-b*x[i-1]^k1*y[i-1]
dydt<-c*x[i-1]*y[i-1]^k2-d*y[i-1]^k2
x<-c(x,x[i-1]+dxdt*dt)
y<-c(y,y[i-1]+dydt*dt)
v<-c(v,-a/y[i]-b*log(y[i])-(c*x[i]-d*log(x[i])))
}
par(mfcol=c(1,2))
plot(x,y,type="l")
plot(v,ylim=c(-max(abs(v)),max(abs(v))),type="l")
par(mfcol=c(1,1))
par(mfcol=c(1,2))
plot(x,y,type="l")
matplot(cbind(x,y),type="l")
par(mfcol=c(1,1))