単元一覧 › 大学数学 数理モデル

数理モデルの問題

難易度 4大学院入試の標準レベル証明問題大学数学 数理モデル

正の定数 と正の実数 を考える。感染症の SIR モデルの方程式

を考える( は感受性人口、 は感染人口を表す)。この初期値問題には 全体で定義された 級の実数値の解 が存在することは用いてよい。

この解について、極限 と がともに存在し、

が成り立つことを証明せよ。

この問題で使うもの

この問題を解けるようになるまで(26 技能)

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

まず と が常に正であることを確かめ、 と が単調減少であることから極限の存在を示しましょう。 と は、それぞれ別の考え方で示します。

ヒント 2

について が成り立つので、 は有限です。また の方程式は について線形なので、 と書けます。

ヒント 3

と の極限の存在から が分かり、 の表示式から が分かります。最後に と仮定すると、 が狭義単調減少であることから、すべての で になります。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る
  • を線形方程式とみて を導き、 についても同様にして、 を示している(2 点)

  • から が狭義単調減少で が存在し となること、 が により単調減少で極限をもつことから の存在を示している(2 点)

  • を積分して を導き、 なら積分が発散することから を示している(2 点)

  • の表示式と積分の上界から が正の定数以上であることを示し、 を結論している(2 点)

  • を仮定すると よりすべての で となり が成り立って に矛盾する、という背理法で を示している(2 点)

結果を記録する(このブラウザにだけ保存されます):
模範解答を読む

方針. まず が常に正であることを示し、 と の単調性から極限の存在を導く。次に から が有限であることを示し、 と を得る。最後に と仮定して矛盾を導く。

1. . とおくと、 は 級で である。

なので 、すなわち

であり、 より 。同様に とおくと なので 。

2. 単調性と極限の存在. 1 より なので、 は で狭義単調減少で、下から で抑えられる。有界な単調関数は極限をもつので が存在し、 である。さらに狭義単調減少なので、任意の で 、つまり

次に とおくと、

なので は単調減少で、1 より 。よって極限 が存在する。したがって も極限 をもち、 より である。

3. と . を から まで積分すると

被積分関数は正なので、 は について単調増加で上に有界であり、

もし なら、ある があって で となり、 となって に反する。よって 。

4. . と より、任意の で

として 。

5. . 背理法で示す。 と仮定する。 より任意の で 、つまり であり、1 より なので

よって は単調増加で、 がすべての で成り立つ。すると となり、3 の に矛盾する。したがって 。

結論. 極限 と はともに存在し、 かつ である。(感染が流行してもしなくても、最終的に感受性人口は閾値 を下回り、しかも全員が感染することはない。)

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題