ロジスティック方程式

**ロジスティック方程式**（ロジスティックほうていしき、英語：logistic equation）は、生物の個体数の変化の様子を表す数理モデルの一種である。ある単一種の生物が一定環境内で増殖するようなときに、その生物の個体数（個体群サイズ）の変動を予測できる。人間の場合でいえば、人口の変動を表すモデルである。

1838年にベルギーの数学者ピエール＝フランソワ・フェルフルスト（Pierre-François Verhulst）によって、ロジスティック方程式は最初に発案された。フェルフルストは、1798年に発表されて大きな反響を呼んだトマス・ロバート・マルサスの『人口論』の不自然な点を解消するために、このモデルを考案した。マルサスは『人口論』で、人口は原理的に指数関数的に増加することを指摘した。しかし、実際には環境や資源は限られているため、人口の増加にはいずれブレーキがかかると考えるのが自然である。人口が増えるに連れて人口増加率は低減し、人口はどこかで飽和すると考えられる。ロジスティック方程式はこの点を取り入れて、生物の個体数増殖をモデル化したものである。フェルフルスト以後には、アメリカの生物学者レイモンド・パール（Raymond Pearl）が式を普及させた。

具体的には、ロジスティック方程式は
:\frac{dN}{dt}\ = r N \left(1- \frac{N}{K} \right)
という微分方程式で表される。*N* は個体数、*t* は時間、*dN*/*dt* が個体数の増加率を意味する。*r* は内的自然増加率、*K* は環境収容力と呼ばれる定数である。個体数が増えて環境収容力に近づくほど、個体数増加率が減っていくというモデルになっている。

式の解（個体数と時間の関係）はS字型の曲線を描き、個体数は最終的には環境収容力の値に収束する。この曲線や解の関数は**ロジスティック曲線**や**ロジスティック関数**として知られる。方程式の名称は、ロジスティック式やロジスティックモデル、ロジスティック微分方程式と表記される場合もある。発案者の名からVerhulst方程式、発案者と普及者の名からVerhulst-Pearl方程式とも呼ばれる。

ロジスティック方程式は、個体群生態学あるいは個体群動態論における数理モデルとしては入門的なものとして位置づけられ、より複雑な現象に対応する基礎を与える。数学分野としては、微分方程式論や力学系理論の初等的な話題としても取り上げられる。

## 生物の個体数のモデル

生物の個体数の変動については古くから興味を持たれ、研究が行われてきた。フィボナッチ数の発見に繋がったレオナルド・フィボナッチのウサギの個体数の問題が、おそらく最も古い個体数の数理モデルといわれる。

生物の個体数の増え方に関する研究は、個体群生態学の分野に属する。ここで、個体群とは簡単には、ある領域に生息している単一の種の個体の集まりのことを指す。

この個体群の大きさ（個体群サイズ）の指標としては、個体群内の総個体数が使用される。個体数の代わりに、領域の単位面積当たりの個体数である個体群密度や単位面積当たりの生物の総重量である生物量が、個体群サイズとして適切な指標となる場合もある。人間でいえば、これらの指標は人口や人口密度に相当する。

### マルサスモデル

多くの生物では、親は多くの子孫を作るので、それがそのまま生き残ると仮定すれば、あっという間に莫大な個体数となる。ねずみ算など、数学的小話の種である。まずはこのような単純なものが、生物個体数の増加モデルとして考えられる。

ある個体群において、時刻 *t* に個体数が *N* 体が存在しているとする。実際の生物個体数は不連続な値（整数）をとるものであるが、数学的扱いを簡便にするために、個体数は連続な値（実数）をとるものとする（1.5体といったような値も含める）ことがしばしば行われる。実際の生物でいえば、個体数が多かったり各個体の世代が重なったりしていれば、このような近似も妥当性を帯びてくる。個体数を連続な値とすれば、個体数の増加率は *N* の時間微分 *dN*/*dt* で表すことができる。

さらに話を単純化するために、個体は環境を出入りしないという状況を想定する。この場合、個体の出生と死亡という2つの要因のみによって個体数は増減する。個体群の出生率が死亡率を上回っていれば、個体数は増え続けるということになる。さらに簡略化するために出生率と死亡率を常に一定であるとする。個体数当たりの出生率を *b*、個体数当たりの死亡率を *d* とすれば、個体数の増加率は差し引きした *b* &minus; *d* に個体数 *N* を掛け合わせた値となる。よって個体数増加率 *dN*/*dt* は
:\frac{dN}{dt}\ = mN
という微分方程式で表される。ここで *m* は比例定数であり、*m* = *b* &minus; *d* である。

このような式で表される個体数増加は *t* の指数関数となり、人間でいえば、あっという間に人口爆発を引き起こすことになる。このような個体群成長のモデルは、生物個体（人口）の増加が幾何級数的であることを最初に指摘したトマス・ロバート・マルサスに因んでマルサスモデルと呼ばれる。比例定数 *m* もマルサスの名からマルサス係数と呼ばれ、単位は一個体当たりの増加率となる。

しかし、このモデルは現実と違いすぎる。現実の生物は、限られた環境下で生息しており、個体数が多くなると、各個体にとって必要な資源が得にくくなる。そこに生息できる個体数には上限があると見るのが自然である。つまり、個体数が多くなると、その増加にブレーキがかかるものと想像される。このような一種内での資源の取り合いは**種内競争**と呼ばれ、生物における競争関係の一種である。

## ロジスティック方程式

上記のようにマルサスモデルは非現実的な面を持つ。個体数が多くなると増加率が抑えられることを表現するために、個体数 *N* が増加するにつれて増加率 *m* が減少するモデルが考えられる。また、個体数がある上限を超えたら増加率は負となり、個体数は減少に向かうと考えられる。これらの点を簡単に表せば、比例定数 *m* を
:m=r \left(1- \frac{N}{K} \right)
と置ける。すなわち、*m* の値は個体数がゼロに限りなく近いときに最大値で、その後は *N* の値の増加に比例して *m* の値は減少するというモデルである。これをマルサスモデルに代入して、次の微分方程式を得ることができる。
:\frac{dN}{dt}\ = r N \left(1- \frac{N}{K} \right)
この微分方程式を**ロジスティック方程式**と呼ぶ。個体群成長モデルの一種として**ロジスティックモデル**とも呼ばれる。この微分方程式は、数学的には *n* = 2 のベルヌーイの微分方程式にも該当する。

ロジスティック方程式の *K* は環境収容力と呼ばれ、その環境が維持できる個体数を意味する。*r* の単位は上記のマルサス係数と同じく一個体当たりの増加率だが、特に内的自然増加率と呼ばれ、その生物が実現する可能性のある最大増加率を示している。通常のロジスティック方程式では、*K* と *r* は時間に関わらず一定とみなし、正の定数と考える。

### ロジスティック効果

マルサスモデルからロジスティック方程式へ拡張したときに行ったことは、個体群生態学における密度効果を取り入れたことに相当する。上記では *N* を個体数として説明したが、ロジスティック方程式では有限な環境を前提にしているので、*N* は単位面積当たりの個体数である個体群密度でもある。個体群密度がその個体群自身の変動に影響を与えることは、密度効果という名称で呼ばれる。特にロジスティック方程式では、個体群密度が高くなると増加率に負の効果を与える種類の密度効果となっており、これを**ロジスティック効果**と呼ぶ。

ロジスティック方程式では個体群密度増加に比例して増加率が一方的に低下することを想定したが、密度増加によって増加率が上昇する場合も考えられる。例えば、ある程度は密度が高くないと交尾の相手が見つけるのが困難となって、結果として増加率が低下する場合などである。よって、個体密度が低い内は個体群密度増加によって増加率が上昇する種類の密度効果も考えられ、このような種類の密度効果をアリー効果と呼ぶ。

### 個体数と増加率の関係

ロジスティック方程式における個体数増加率 *dN*/*dt* と個体数 *N* の関係に着目すれば、この関係は初等教育でも習う二次関数そのものとなっており、*dN*/*dt* と *N* のグラフは放物線を描く。方程式を解析的に解かなくとも、*N* と *dN*/*dt* がどのような変化を起こすのかを、以下のようにグラフから読み解くこともできる。

まず、*N* = 0 と *N* = *K* のとき、*dN*/*dt* = 0 となる。すなわち、いくら時間が経過しても個体数は増加も減少もしない状態となる。このような状態を**定常状態**や**平衡状態**と呼ぶ。*N* の値が 0 0 とすると、*t* の関数として以下の解が得られる{K-N_0+N_0 e^{rt}} 
となる。
}}。
:N=\frac{N_0 K e^{rt}}{K-N_0+N_0 e^{rt}} 
ここで *e* はネイピア数である。分母・分子を *N*0*e<sup>rt</sup>* で割り、次のような形でも示される。
:N=\frac{K}{1+(K/N_0-1)e^{-rt}} 
この解の関数を**ロジスティック関数**（英語：logistic function）、この解によって描かれる曲線を**ロジスティック曲線**（英語：logistic curve）と呼ぶ。この曲線に従う個体群成長は、ロジスティック成長やロジスティック増殖とも呼ばれる。関数は *t* &rarr; &infin; の極限で *N* &rarr; *K* となり、マルサスモデルと異なり発散しないことが確認できる。

### 曲線の形状

横軸を *t*、縦軸を *N* とした平面上にロジスティック関数のグラフを描くと、曲線が描かれる。この曲線は前述のとおりにロジスティック曲線と呼ばれる。初期個体数が3つの範囲 *N*0 0 0 のどれに該当するかによって、曲線の形状は大きく異なってくる。ただし、*N*0 0 の値ごとに、以下のようになっている。

まず *N*0 が環境収容力の半分以下（0 0 0) から始まる曲線は、ゆっくりと右肩上がりに登っていく。*t* が増加するにつれて、曲線の傾き（個体数増加率）は増加していき、曲線は加速度的に立ち上がっていく。しかし、ある時点で曲線は変曲点を迎え、傾きの増加は止む。その後は、傾きは減少しだし、曲線は横倒しになっていく。そして最終的には、傾きは0になり、曲線は水平な直線となる。結局、曲線は、変曲点前では下に凸の曲線、変曲点後では上に凸の曲線となっており、全体としてアルファベットのSのような形を描く。このため、**S字型曲線**や**[[シグモイド曲線]]**という名称でも呼ばれる。間にある変曲点は個体数増加率が最大となる点で、前述の *dN*/*dt* と *N* のグラフの頂点に相当する。変曲点における個体数は前述のとおり *N* = *K*/2 で、このときの時間は *t* = ln (*K*/*N*0 - 1)/*r* である。ここで ln は自然対数である。最終的に *t* &rarr; &infin; で漸近する水平な直線は *N* = *K* の直線であり、時間が経過すると最終的には、個体数は環境収容力の値に収束するということである。

初期個体数が *N*0 = *K*/2 の場合は、曲線は最初から変曲点から始まる。*K*/2 0 0 = *K* のときは、その値のまま一定となる。*N*0 = 0 のときも同様に、*N* = 0 のままである。

次に、初期個体数が環境収容力を上回っているとき、すなわち *N*0 > *K* の場合は、この場合の曲線はS字型ではなく、全体として下に凸の曲線となる。*N* は  *N*0 から単調に減少しつづけ、この場合も、時間経過に従って *K* に収束していく。

以上をまとめると、*N*0 > 0 であれば（個体が存在してさえいれば）、どんな初期個体数であっても、個体数は最終的に常に環境収容力の値に収束していくということである。あるいは、*N*0 = 0 であれば（個体が存在してなければ）、個体数は 0 のままということである。

最後に、生物個体数のモデルとしては無意味であるが *N*0 0 が *K* または 0 であれば、時間経過によらず常に同じ値を取り続けることは同じだが、*N*0 が平衡状態から少しずれたときの挙動は正反対となる。

この安定・不安定の様子は、ロジスティック曲線の傾きをベクトル場として表すことで読み取ることができる。時間経過に従って、全ての解は、これらのベクトルの矢印に沿って動いていく。初期個体数が *N*0 > 0 であれば、*t* &rarr; &infin; で *N* は *K* に収束し、*N*0 e* と置くとする。このとき、*f*&thinsp;&prime;(*Ne*) < 0 ならば *Ne* は安定な平衡点で、*f*&thinsp;&prime;(*Ne*) > 0 ならば *Ne* は不安定な平衡点であると判別できる。ロジスティック方程式の場合は、
:<math>f(N)=\frac{dN}{dt}\ = r N \left( 1-\frac{N}{K} \right) </math>
なので、
:<math>f'(N)=r \left( 1-\frac{2N}{K} \right)</math>
となり、*f*&thinsp;&prime;(*K*) = &minus;*r* < 0, *f*&thinsp;&prime;(0) = *r* > 0 となることが確認できる。

==生物学的前提条件==
実際の生物の個体数増殖においてロジスティック方程式が成り立ち、ロジスティック曲線がその増殖データに上手く当てはまるには、次のような生物学的条件が前提として挙げられる。

*環境内には単一の種か、あるいは同等とみなせる種のみが存在する。
*対象の生物の各世代（親子）は連続的に重なっている。すなわち、連続的に子が生まれ、親と子が共存する期間が存在する。
*個体は一定の大きさの環境内に常に存在する。すなわち、環境から移出したり、外部から移入が無い。(用語としては*'閉じた個体群**とも呼ばれる)
*環境の大きさは変わらず、一定状態が保たれる。
*個体群のために、食糧や資源が一定して供給される。

[[ショウジョウバエ]]や[[真正細菌]]といった、[[微生物]]や単純な生物を一定環境で増殖させた場合は、上記の条件に近く、ロジスティック方程式によって個体数変化の正確な予測ができる。しかし、例えば[[鹿]]や[[鳥類]]などのような、一定環境のもとで増殖する設定が成立しない個体群成長には、ロジスティック方程式を適用することはできない。

環境を整えた飼育実験によって、ロジスティック曲線に当てはまる個体数増殖のデータを得ることはできるが、上記の生物学的条件を実験上で整えることはいつも簡単というわけではない。増殖を抑える原因となる老廃物を定期的に取り除く、といった配慮も必要となる。

==実際のデータへの適用例==
===実験生物===


いくつかの微生物や小型の昆虫の飼育実験で、ロジスティック曲線がよく当てはまる個体数増加や個体密度増加実験のデータが得られている。例として以下のようなものがある。特に、[[ゾウリムシ]]や[[酵母菌]]は条件さえ整えればロジスティック曲線に沿った増加をほとんどの場合で示し、高校レベルの教科書にも載る定番でもある。

*[[キイロショウジョウバエ]]
*[[ゾウリムシ]]
*[[大腸菌]]
*[[タマミジンコ科|タマミジンコ]]
*[[出芽酵母]]、[[分裂酵母]]<small>（''Saccharomyces cerevisiae'', ''Schizosaccharomyces kefir''）</small>
<gallery mode="packed-hover" height="140">
File:Drosophila melanogaster - side (aka).jpg|[[キイロショウジョウバエ]]
File:Paramecium.jpg|[[ゾウリムシ]]
File:E. coli Bacteria (7316101966).jpg|[[大腸菌]]
File:Moina sp.jpg|[[タマミジンコ科|タマミジンコ]]
File:S cerevisiae under DIC microscopy.jpg|[[出芽酵母]]
</gallery>

一方、ロジスティック曲線に当てはまるデータは得られなかったものとしては、次のような生物の実験がある。これらの実験では、時間経過後も個体数は一定に収束せず、周期的変動が繰り返されたり、大きなゆらぎが続く個体群変動となった。
*[[ミバエ]]
*[[コクヌストモドキ]]
*[[マメゾウムシ]]
<gallery mode="packed-hover" height="140">
File:Bactrocera dorsalis.jpg|[[ミバエ]]（[[ミカンコミバエ]]）
File:Tribolium castaneum.jpg|[[コクヌストモドキ]]
File:Chrząszcz na ziarnach fasoli.jpg|[[マメゾウムシ]]（インゲンマメゾウムシ）
</gallery>

====パールのキイロショウジョウバエ飼育実験====
ロジスティック曲線を普及させたことで知られる[[レイモンド・パール]]は、と共に[[キイロショウジョウバエ]]の飼育実験を行い、この曲線を実証した。ロジスティック曲線が上手く適合する実験の具体的様子の例として、[[内田俊郎]]の著作をもとにしてパールらの実験を簡単に説明する。
*パールが用意した環境は小さな牛乳瓶で、供給する餌にはバナナを磨り潰して寒天で固め[[出芽酵母|イースト]]を少し振りかけたものを使用した。牛乳瓶の中にハエと餌を入れ、温度などの環境条件を一定にし、一定時間間隔でハエの個体数を調べた。
*実験としては3種類の実験が行われた。
*1つ目では、餌を始めに入れた後に餌を補給しなかった。このため、個体数が増加して一定となった後、急激に減少してほぼ全滅状態となった。
*2つ目では、一定時間間隔で餌の継ぎ足しを行い、一定状態が保たれる結果が得られた。
*3つ目では、一定時間間隔で新しい餌の入った瓶へハエを移し替え、食糧条件だけでなく、その他の環境条件も一定に保った。この結果でも一定状態が保たれ、ロジスティック曲線が当てはまるデータが得られた。

パールの元へ留学していた[[寺尾新 (動物学者)|寺尾新]]もこのハエの個体群成長研究を行った。それによれば、ロジスティック成長の特徴である個体群密度上昇にともなう個体数増加率の低下は、[[死亡率]]の上昇よりも[[出生率]]の低下によって起こっていた。

===野外生物===


野外環境では、前提条件となるような環境が保持されることはほぼ無いため、ある個体群がロジスティック曲線が当てはまるような増加の仕方を示すことは少ない。自然界では環境条件は常に変化し、個体群変動のパターンも様々となる。

ロジスティック曲線によく当てはまる個体数増加が確認できた例として、[[パナマ]]熱帯雨林での[[ハキリアリ]]の1つの巣における個体数増加結果がある。理由としては、天敵がいないこと、雨量・温度の気象条件が安定していることなどにより、ロジスティックモデルの前提条件に近い環境であったことによるものと考えられている。他の野外生物でロジスティック曲線に合致した例としては、アメリカ・[[アラスカ州]]のセントポール島における[[キタオットセイ]]（）の個体数増加の結果がある。植物の場合では、アイルランドの[[スルツェイ島]]で観測された[[コケ植物|コケ]]の成長の例がある。新規に露出した岩表面上へのコケの定着・広がり方が、ロジスティック曲線に当てはまる観測データを見せた。

===人口成長===

式を発案したフェルフルストは[[人口]]の成長の様子を表すためにロジスティック方程式を発案した。式を普及させたパールとリードも、ロジスティック方程式を使った最初の個体群成長研究は人口成長に対するものであった。彼らは共に、当時までの人口統計をもとにして[[アメリカ合衆国]]の将来の人口を予測したが、どちらの予測も実際の人口成長を言い当てることはできなかった。パールとリードの結果では、1700年から1940年までの値は曲線によく合致していた。彼らが当てはめたロジスティック曲線では人口はその後飽和に向かうはずだったが、実際にはそれを裏切り、1940年以後もアメリカの人口は急増状態が続いた。

さらにパールは、当時の推定[[世界人口]]をもとに世界人口の上限値（環境収容力 ''K''）の推定を行った。1924年と1936年、パールはそれぞれ別の研究者とともに推定を行い、その値を発表した。それらの上限推定値は、前者では20億人、後者では26億人という値で、どちらも実際とはかけ離れたものとなった。

=== ゴンペルツ関数との比較 ===
[[ロジスティック関数]]と[[ゴンペルツ関数]]はともに飽和を持つS字型の[[成長曲線]]であるが、増加の制御機構が異なる。ロジスティック方程式では個体数に依存して相対成長率が線形に減衰するのに対し、ゴンペルツ関数では時間の経過とともに相対成長率が指数関数的に減少するため、左右非対称な形状になる。したがって、初期増加の鋭さや上限への接近の仕方が異なり、実際のデータに対してどちらを用いるかは現象の生物学的・工学的背景によって決まる。

==生物学的・人口学的位置付け==
ロジスティック方程式は、非常に簡単な生物学的意味からモデルを導くことができる。''r'' と ''K'' の2つのパラメータに種の特性に関わる議論を集約して、とても簡明なモデルを構成している。また、式の特徴である個体数密度の上昇が増加率を抑えるロジスティック効果は、[[個体群生態学]]における基本原理ともいわれる。個体数が少ない内は指数関数的に増殖し、個体数が増えてくると増加が止むという現象自体は、正確に前提条件に当てはまらないような個体群成長であっても、広く認められる現象であり、この一般的傾向をロジスティック方程式は上手く表しているとも評される。

ただし、一見してロジスティック曲線のような個体群成長を示すデータであっても、そのデータに上手く[[曲線あてはめ]]できる数理モデルは数多く存在する。ロジスティック方程式のみが唯一当てはまるということはまずない。この式が個体群成長の「普遍則」のように受け止められるのは誤解であると、数理生物学者のや応用数学者のは指摘している。

人口予測に関しても、人口学者のは「ロジスティック曲線は短期的な予測に関しては、他の連続でなめらかな曲線と比べて特に劣っていることもないが、長期的な予測に関しても格別に秀でているわけでもない」と評している。式を普及させたレイモンド・パールは、ある期間の人口成長にロジステック曲線が適用できる条件として、人口成長に影響を与える新しい要素がその期間中に現れないことを挙げている。しかし、このような前提条件を人口という複雑な現象に課すのは困難である点を経済学者のや人口学者のなどから批判されている。2010年代現在、将来人口推計には[[コーホート要因法]]の使用が主流となっている。ロジスティック曲線のような関数を過去の人口データに重ねて将来の人口を予測するという単純な方法は、現在ではほとんど行われていない。

以上のように、ロジスティック方程式が個体群成長の「普遍則」というわけではないが、個体群成長モデルにおける基礎的なアイデアを有しており、より複雑な現象に対応する様々なモデルへ拡張されたり、その考え方が取り入れられたりする。個体群成長のモデルの中で「出発点」として位置づけされる。

==名称の由来==
フェルフルストは、1845年の論文で、"Nous donnerons le nom de ''logistique'' à la courbe"（参考訳：私たちはその曲線にロジスティック "''logistique''" という名前を与える）と述べ、ロジスティック方程式の解による曲線を ''logistique'' と名付けた。これが、式が"ロジスティック"方程式、その解曲線が"ロジスティック"曲線と呼ばれる由来である。しかし、フェルフルストは ''logistique'' という語を使った理由を説明しなかったので、それ以上の由来は分かっていない。

''logistique'' と名付けられた理由のいくつかの推測は存在する。ベルギー王国陸軍士官学校の数学教授のHugo Pastijnは、実際の理由は不明と断った上で、
*陸軍大学に勤めていたフェルフルストも馴染みが有ったであろう「[[兵站]]」の意味と関連付けて ''logistique'' と名付けたのではないか
*フェルフルストのモデルでも扱われる人口のための限られた資源と関連させて、「[[住居]]」を意味するフランス語の ''logis'' から名付けたのではないか
と、ありえそうな理由を2点ほど推測している。また、19世紀当時のフランスでは、''logistique'' には「計算に巧みな」「計算の技巧」といった意味での用例があった点も指摘されている。

==モデルの拡張・応用==
既に述べたとおり、ロジスティック方程式を基本にすえて、様々なモデルが提案されてきた。以下では、そのようなモデルの拡張・応用の例を説明する。

===捕獲の影響===
人間が資源として利用するための捕獲や収穫は、その種を絶滅させる可能性もあるほどの大きな影響を持っている。漁業分野では、水産資源を獲りつくさないように資源・漁業管理する必要性が認識されている。持続可能な漁業のためには、人間による漁獲量が漁獲対象の自然増加量を上回らないようにする必要がある。漁獲量と自然増加量が一致するとき資源は一定に保たれるので、このときの漁獲量を持続生産量と呼ぶ。さらに、可能な持続生産量の中でも最大のものを（MSY）と呼び、漁獲基準の一つの目安とされている。

この最大持続生産量の値をロジスティック方程式を利用して定量化するモデルを、ジェーファーのプロダクションモデルなどと呼ぶ。漁獲量（漁獲速度）を ''Y'' とすれば、次のように、ロジスティック方程式で表される個体数増加率（自然増加率）から ''Y'' を差し引いた値が実際の増加率となる。
:<math>\frac{dN}{dt}\ = rN \left( 1- \frac{N}{K} \right) -Y</math>
''dN''/''dt'' が 0 のときが資源一定状態なので、このときの漁獲量が持続生産量を示している。''Y'' を含まないときの ''dN''/''dt'' の最大値は前述のとおり ''rK''/4 である。これに釣り合う漁獲量が最大持続生産量であるから、このモデルでは最大持続生産量を ''rK''/4 と得ることができる。

漁獲量 ''Y'' を単純な一定値とせずに、個体数に比例するようなモデルも考えられる。例えば、出漁する漁船の数が一定とすれば、捕獲の成果は生息している個体数に比例すると考える方が適当である。''q'' と ''E'' を定数として ''q'' と ''E'' と ''N'' を掛け合わせたもので漁獲量を表せば、個体数増加率は
:<math>\frac{dN}{dt}\ = r N \left( 1- \frac{N}{K} \right)-qEN</math>
となる。''q'' は漁具効率、''E'' は漁獲努力量と呼ばれる。このモデルの場合は、''qE'' を内的自然増加率の半分 ''r''/2 となるようにすれば、漁獲量を最大持続生産量にすることができる。ただし、以上のモデルは現実をかなり単純化したモデルである。環境の変化や他の生物との相互作用など、現実には様々な要因が関係しているため、多数の相互作用がある実際の生態系では成り立たない。実際の最大持続生産量の決定にはより高度な手法も使用されている。

===2種存在する場合===


ロジスティック方程式は環境内に1種のみが存在するときの（あるいは1種とみなせるときの）モデルだが、実際の環境では複数以上の種が生息している。複数の種が存在するとき、それぞれの種の間には[[競争 (生物)|競争]]や[[相利共生]]、[[捕食-被食関係|捕食-被食]]などの関係が存在して、それぞれの個体数が互いの個体数増加率に影響を与える。その中でも特に、環境内に競争関係にある2種が存在する場合にロジスティック方程式を拡張させたものとして、以下の[[ロトカ・ヴォルテラの競争方程式]]が知られる。
:<math>\frac{dN_1}{dt} = r_1 N_1 \left(1 - \frac{N_1 + a_{12} N_2}{K_1} \right)</math>
:<math>\frac{dN_2}{dt} = r_2 N_2 \left(1 - \frac{N_2 + a_{21} N_1}{K_2} \right)</math>

係数の ''N''<sub>1</sub>, ''r''<sub>1</sub>, ''K''<sub>1</sub> は種1の個体数、内的自然増加率、環境収容力である。同様に、''N''<sub>2</sub>, ''r''<sub>2</sub>, ''K''<sub>2</sub> は種2の個体数、内的自然増加率、環境収容力である。さらに、''a''<sub>12</sub> が種2が種1に与える影響を、''a''<sub>21</sub> が種1が種2に与える影響を表し、競争係数と呼ばれる。この式はアメリカの数学者[[アルフレッド・ロトカ]]とイタリアの数学者[[ヴィト・ヴォルテラ]]によって独立に考案された。

ロトカ・ヴォルテラの競争式では、それぞれの係数の値がある範囲内のときのみ2種が共存するが、それ以外の場合にはどちらかの種が絶滅する結果に至る。この結果は[[ゲオルギー・ガウゼ]]の[[競争排除則]]を裏付ける一例となっている。

===時間遅れの考慮===

ロジスティック方程式では、ある時刻の個体数 ''N''(''t'') が同時刻の個体数増加率 ''dN''(''t'')/''dt'' に瞬間的に影響を与えるというモデルになっている。しかし、妊娠期間や性成熟までの期間などが存在するため瞬間的に影響が出るというのは非現実的でもある。よって、モデルの中に影響の時間遅れを含ませることが考えられる。遅延時間を ''T'' とすると、ロジスティック方程式に時間遅れの効果を取り込んだモデルとして
:<math>\frac{dN(t)}{dt} = r N(t) \left(1 - \frac{N(t-T)}{K} \right)</math>
がよく用いられる。この式は[[ジョージ・イヴリン・ハッチンソン]]が発案したためHutchinson方程式とも呼ばれる。このモデルでは、ロジスティック方程式におけるブレーキ効果の部分に、現時点での個体数 ''N''(''t'') ではなく、時間 ''T'' だけ前の時点での個体数 ''N''(''t'' &minus; ''T'') が入力されている。

時間遅れを持つロジスティック方程式でも ''N'' = 0 または ''N'' = ''K'' が平衡状態であることに変わりはない。しかし個体数が環境収容力 ''K'' に達しても、''T'' 時間前における個体数は ''K'' よりも小さいか大きいので、増加率は0とならない。そのため、個体数は環境収容力を通り過ぎてしまう。環境収容力を上回った（下回った）個体数が継続すると、増加率は個体数を環境収容力に収束させる方向に働く。しかし、それによって個体数が環境収容力に戻っても、再度同じ現象が起き、また環境収容力を通り過ぎる。このように平衡状態を行き過ぎたり戻り過ぎたりしながら個体数が振動する現象が、このモデルでは起こり得る。より詳細にいえば、解の振る舞いは ''rT'' の値によって変化する。''rT'' が ''&pi;''/2 を超えると[[ホップ分岐]]を起こし、解は平衡状態を回る[[リミットサイクル]]となる。周期変動を実際に起こすの実験データに対して、[[ロバート・メイ]]がこの式の当てはめを行って良好な結果を得ている。

===離散時間モデル===


ロジスティック方程式では、時間 ''t'' を連続な実数として個体数変動をモデル化した。しかし、世代の交代が同期的に起こり、世代の重なりがないようなときには、時間を飛び飛びの時間間隔（離散時間）でモデル化する方が妥当である。ロジスティック方程式型の離散時間モデルにはいくつかの種類があるが、一例として次のような[[差分方程式]]がある。
:<math> N_{n+1}=N_{n}+rN_n \left( 1-\frac{N_n}{K} \right) </math>
ここで、''n'' は世代で、''n'' = 1世代, 2世代, 3世代,... といったような飛び飛びの時間間隔を意味している。''N<sub>n</sub>'' は、''n'' 世代における個体数 ''N'' を意味している。上式と数学的には等価だが、[[ロジスティック写像]]と呼ばれる、次の形式での差分方程式もよく知られている。
:<math> x_{n+1}=ax_n(1-x_n) </math>
これらの差分方程式はロジスティック方程式と一見似ているが、解の様相は全く異なり、個体数の変動はロジスティック方程式よりも遥かに複雑な振る舞いを見せるようになる。''r''（または ''a''）が小さい内は、これらの解はロジスティック方程式と同じように安定な平衡状態に収束する。''r'' が大きくなってくると、個体数は多くなったり少なくなったりを交互に繰り返すようになる。さらに ''r'' が大きくなると、[[カオス理論|カオス]]と呼ばれる非周期的で極めて複雑な振る舞いを起こすようになる。

また、京都大学の[[森下正明]]が発案した次のような差分方程式がある。
:<math> N_{n+1}=\frac{(1+a)N_n}{1+bN_n} </math>
ここで、''&Delta;t'' を差分時間間隔として、''a'' と ''b'' は
:<math> a=e^{r \Delta t}-1 </math>
:<math> b=\frac{a}{K} </math>
である。通常、差分化を行うと元の方程式の解と誤差が生じる。しかしこの方程式では誤差を全く生じさせない。得られる解は離散的だが、その解はロジスティック方程式の解と一致し、解を ''N''-''t'' 平面上に描けば、ロジスティック曲線上に正確にプロットされる。

===生物個体数以外での例===
本来の導入目的であった生物の個体数の変動以外にも、ロジスティックモデルがしばし使用される。興味対象の何かの変量が時間発展とともにS字型の曲線を描くようなときに、この式がよく当てはまる。水産資源管理の例では、生物の体の大きさの成長曲線にロジスティック曲線を当てはめることがある。また、人間の集団の中で無形なものが広まる様子を表すのにもロジスティックモデルが使われることがある。例えば、新技術の社会・産業全体への普及、ある集団の中での[[噂]]の拡散がある。

また、時間変化ではないが、統計学においてはロジスティック関数と同形式の[[累積分布関数]] ''f''(''x'') を持つ[[連続確率分布]]が用いられている。これを[[ロジスティック分布]]と呼ぶ。[[人工ニューラルネットワーク]]の研究で使われる[[シグモイド関数]]の一つとしてもロジステック関数が利用されている。

==他形式==
上記ではロジスティック方程式を
:<math>\frac{dN}{dt}\ = rN \left( 1-\frac{N}{K} \right) </math>
と表したが、これ以外の表現もある。いずれも数学的には等価だが、その導出過程における生態学的意味づけは様々である。 ''k'' = ''r'' / ''K'' と置いて、ロジスティック方程式は
:<math>\frac{dN}{dt}\ = N(r - kN)</math>
とも表される。''k'' は**Verhulst-Pearl係数**や**種内競争係数**と呼ばれる。個体群密度が増加率を減少させる影響の強さを ''k'' が表しているといえる。

他には、変数を ''N'' = ''N''/''K'' と置きなおして、すなわち個体数ではなく環境収容力に対する個体数の割合を変数として
:<math>\frac{dN}{dt}\ = r N(1-N)</math>
という形式もある。

[[非線形]]のロジスティック関数を扱いやすくするために[[線型性|線形]]の対数関数に変換する、フィッシャ・プライ変換（英語：Fisher-Pry transform）と呼ばれる次のような変換もある。
:<math>FP=\frac{1}{1+e^{-bt-a}} </math>
:<math>bt + a = \ln \frac{FP}{1-FP}</math>
ここで ''FP'' = ''N'' とすると、ロジスティック関数のパラメータとの関係は ''K'' = 1, ''r'' = ''b'', ''N''<sub>0</sub> = ''e<sup>a</sup>''/(1 + ''e<sup>a</sup>'') である。

== 歴史 ==
===フェルフルストによる発表===

[[ベルギー]]・[[ブリュッセル]]の陸軍大学の数学者であった[[ピエール＝フランソワ・フェルフルスト]]によって、ロジスティック方程式は発表された。18世紀になると、[[トマス・ロバート・マルサス]]が出版した『[[人口論]]』に関心が高まっていた。[[マルサスモデル]]の説明で述べたように、マルサスは人口が指数関数的に成長していくモデルを発表し、その帰結として社会が飢饉の発生など破滅的状況を迎えることを予測した。このセンセーショナルな予測は衝撃を与え、当時およびマルサス死後も長く続く論争を引き起こした。「近代統計学の父」と呼ばれる[[アドルフ・ケトレー]]も、マルサスのモデルに関心を持ち、人口増減モデルについて論じた。ケトレーは[[抗力|流体の抵抗]]をヒントにして、人口増加率への抵抗は人口増加率自体の二乗に比例すると考えた。

ケトレーから教えを受けたこともあり、友人でもあったフェルフルストは、ケトレー自身からケトレーのモデルに関する研究を勧められた。ケトレーの考えをもとにして、人口が人口自体によって増加する一方で、人口増加を抑制する何らかの機構が働く数学的なモデルを思案した。1838年、フェルフルストは、"''Notice sur la loi que la population poursuit dans son accroissement''"という題で研究成果を発表し、この論文の中でロジスティック方程式が提案された。この論文の中でフェルフルストが実際に提案した式は、
:<math>\frac{dp}{dt}\ =mp-\phi(p) </math>
:<math>\phi(p)=np^2 </math>
という形であった。''p'' は人口を意味する。フェルフルストは人口自体の二乗によって人口増加率の減少効果を表現し、上記の ''φ''(''p'') を導入した。当時はこの式の価値を認めるものはほとんどなく、彼の死亡時の告知にも、彼の業績として取り上げられなかった。

===式の再発見と論争と普及===

フェルフルスト発表の後、生物の個体群成長に関する実験などで、同じ式が独自にあちこちで使われ始めたが、フェルフルストの名が挙がることはなかった。1908年には生理学者のが、動物、植物、人間といった生物の個体成長を同形式の曲線で記述した。ロバートソンはフェルフルストの発表を知らなかったが、同じ曲線を用い、さらに偶然にもケトレーのデータを使用している。この時点で同じ曲線が化学物質における[[自己触媒反応]]の過程を表すのに使われていたので、ロバートソンは曲線のことを自己触媒的曲線（autocatalytic curve）と呼んでいた。

1920年、[[ジョンズ・ホプキンス大学]]の[[レイモンド・パール]]とが、ロジスティック方程式と同形式のモデルを用いてアメリカ合衆国の人口増加について論じた。この研究も、フェルフルストにより先に発表されていたことを知らずに行われた。翌年の1921年には、これがすでに80年近く前にフェルフルストによって発見されたことをパールらも認めた。これによってパールらもロジスティック曲線という名称を使うようになり、やっとフェルフルストの名がこの式に結びつくことになる。これ以降、生物学ではロジスティック曲線という名称が定着した。

パールは[[ショウジョウバエ]]の個体群成長の実験を行い、この式を実証した。1924年と1925年にも、アメリカ、スウェーデン、フランスなどの様々な国勢調査の人口統計にロジスティック曲線のあてはめを行い、よく一致することを示した。このような積み重ねた証拠をもとに、パールは個体群全般がロジステック曲線に沿って成長することを強く確信し、ロジステック曲線が「法則」であると主張した。当時、パールとリードはこの式の価値を「控え目にいっても、それは[[ケプラーの法則|ケプラーの惑星の楕円運動法則]]に匹敵するものであるといってもよいように思われる」と自身らで評価している。ロジスティック曲線は、経験的なものというよりも、個体群成長全般において普遍性を持つ法則であり、成長の長期的傾向の予測も可能にするとパールは考えていた。パールは、この式が個体群成長における普遍則であるという持論を広め、ロジスティック方程式の普及に大きく貢献することになる。このため、ロジスティック曲線にはパールの名が題されることもある。

一方で、パールの自説の展開には多くの批判も呼び、1940年にパールが死去するまで論争が続いた。経済学者のA. B. ウルフ、人口学者の、統計学者のなどがパールの主張に批判を加えている。動物学者の、[[ランスロット・ホグベン]]、遺伝学者の[[シューアル・ライト]]からは、他のS字型曲線を使っても個体群成長のデータに当てはめができるので、ロジスティック曲線を使う必然性が欠けていることについて指摘を受けている。

ロジスティック曲線の有効性を支持し、その普及を担った人たちもいる。イギリスの統計学者は、パールの理論を1924年のイギリスの学会で発表している。ユールはロジスティック曲線は長期予測には適用できないと考えており、その点を強調したが、基本的にはパールの研究を支持していた。[[アルフレッド・ロトカ]]も、ロジスティック曲線の有効性を理解し、ロジスティック方程式について1925年の自書の中で一章を与えて説明した。ただしロトカは、ロジスティック方程式は実現象の近似の一種であるという考えを保っていた。ロシアのも、近似の一種と受け止めながらも、ロジスティック方程式が同種の集団の中での生存競争を定量的に表すことができると述べている。1934年、ガウゼは微生物の実験によってロジスティック方程式の検証を行い、この検証はロジスティックモデルを[[個体群動態論]]における古典的理論の一つとして確固たるものとした。モデルの限界には注意が払われながらもロジスティック方程式の受容は広まっていき、1940年代後半には個体群解析における一般的な道具として確立した。

===ロジスティック方程式からの発展===
その後は、より現実的な個体群変動を表すことができるように、ロジスティック方程式を修正したモデルが提案されてきた。1948年には、[[ジョージ・イヴリン・ハッチンソン]]が時間遅れの影響をロジスティック方程式に導入した研究を行った。ロジスティック方程式の前提条件を満たすような環境であっても、個体数が一定に収束せず、多くなったり少なくなったりをいつまでも繰り返すような生物実験の結果も得られた。[[京都大学]]の[[内田俊郎]]と藤井宏一が[[マメゾウムシ|ヨツモンマメゾウムシ]]の培養実験でそのような結果を得たことを1953年に発表している。内田らは、ロジスティック方程式をもとにした[[差分方程式]]でこの結果を分析し、個体数の振動を再現した。

ロジスティック方程式における ''r'' は個体群密度がとても低いときの増加率で表しており、密度が低いときにどれだけ素早く繁殖できるかを意味している。また、''K'' はその環境下で生存できる個体数あるいは個体群密度の上限を示す。1967年、[[ロバート・マッカーサー]]と[[エドワード・オズボーン・ウィルソン]]は、この ''r'' と ''K'' に着目して、[[島]]における生物個体群の定着と[[絶滅]]に関する理論を発案した。彼らの理論によれば、ある生物の島への定着が成功するには大きな ''r'' を持つことが重要であり、絶滅の回避には大きな ''K'' を持つことが重要であるとし、それぞれの方向へ[[選択 (進化)|淘汰]]されることを **r淘汰**、**K淘汰'''と呼んだ。この説はr-K戦略説と呼ばれ、生物の生活史の進化に種内競争の観点から説明を与えた。

物理学から数理生態学へ転向してきたロバート・メイも個体群変動の問題に取り組んだ。メイはロジスティック方程式の離散化を行い、その式の解は、通常のロジスティック方程式の解とは全く異なる、現在ではカオスと呼ばれる非常に複雑な振る舞いを起こすことを示した。この結果は1974年と1975年に発表され、大きな反響を得ると共に、その後のカオス理論の隆盛に大きく寄与することになる。

## 脚注
### 注釈

### 出典

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

## 関連項目
* フェルミ分布関数
* 増殖曲線

## 外部リンク

*フェルフルストの原論文
** - Google ブックス
** - Göttinger Digitalisierungszentrum
*
*
*