数理モデルの問題
正の定数 と正の実数 を考える。感染症の SIR モデルの方程式
を考える( は感受性人口、 は感染人口を表す)。この初期値問題には 全体で定義された 級の実数値の解 が存在することは用いてよい。
この解について、極限 と がともに存在し、
が成り立つことを証明せよ。
この問題で使うもの
- SIR モデルの基本再生産数と流行の閾値(説明と入口の問題)
この問題を解けるようになるまで(26 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
まず と が常に正であることを確かめ、 と が単調減少であることから極限の存在を示しましょう。 と は、それぞれ別の考え方で示します。
ヒント 2
について が成り立つので、 は有限です。また の方程式は について線形なので、 と書けます。
ヒント 3
と の極限の存在から が分かり、 の表示式から が分かります。最後に と仮定すると、 が狭義単調減少であることから、すべての で になります。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
を線形方程式とみて を導き、 についても同様にして、 を示している(2 点)
から が狭義単調減少で が存在し となること、 が により単調減少で極限をもつことから の存在を示している(2 点)
を積分して を導き、 なら積分が発散することから を示している(2 点)
の表示式と積分の上界から が正の定数以上であることを示し、 を結論している(2 点)
を仮定すると よりすべての で となり が成り立って に矛盾する、という背理法で を示している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
方針. まず が常に正であることを示し、 と の単調性から極限の存在を導く。次に から が有限であることを示し、 と を得る。最後に と仮定して矛盾を導く。
1. . とおくと、 は 級で である。
なので 、すなわち
であり、 より 。同様に とおくと なので 。
2. 単調性と極限の存在. 1 より なので、 は で狭義単調減少で、下から で抑えられる。有界な単調関数は極限をもつので が存在し、 である。さらに狭義単調減少なので、任意の で 、つまり
次に とおくと、
なので は単調減少で、1 より 。よって極限 が存在する。したがって も極限 をもち、 より である。
3. と . を から まで積分すると
被積分関数は正なので、 は について単調増加で上に有界であり、
もし なら、ある があって で となり、 となって に反する。よって 。
4. . と より、任意の で
として 。
5. . 背理法で示す。 と仮定する。 より任意の で 、つまり であり、1 より なので
よって は単調増加で、 がすべての で成り立つ。すると となり、3 の に矛盾する。したがって 。
結論. 極限 と はともに存在し、 かつ である。(感染が流行してもしなくても、最終的に感受性人口は閾値 を下回り、しかも全員が感染することはない。)