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

数理モデルの問題

難易度 3期末試験の応用レベル証明問題大学数学 数理モデル

正の定数 に対し、SIR モデル

を初期条件 (ただし )のもとで考え、基本再生産数を とおく。

この初期値問題の解 が で一意に存在して 級であり、すべての で であることは用いてよい。

このとき、極限 が存在して

を満たすことを証明せよ。

この問題で使うもの

この問題を解けるようになるまで(54 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 分数のたし算・ひき算
  2. 小数の四則計算
  3. 正負の数の加法・減法
  4. 分数のかけ算・わり算
  5. 四則の混じった計算の順序
  6. 正負の数の乗除・累乗と四則混合
  7. 分配法則を使った計算のくふう
  8. 文字式の計算(同類項・分配法則)
  9. 乗法公式による展開
  10. 因数分解
  11. 3 次式までの展開と因数分解
  12. 微分係数と導関数の定義
  13. 多項式の微分
  14. 小数と分数のまじった計算
  15. 逆算(□ を求める)
  16. 1 次方程式の解き方
  17. 比例・反比例の式とグラフ
  18. 約数の見つけ方
  19. 素因数分解と約数の個数
  20. 平方根の意味と根号の簡単化
  21. 関数 の式と変域
  22. 平方完成と 2 次関数のグラフ
  23. 2 次不等式
  24. 剰余の定理・因数定理と高次方程式
  25. 増減表と極値
  26. SIR モデルの基本再生産数と流行の閾値
  27. 多項式の不定積分
  28. 等間隔にならんだ数の和
  29. 等差・等比数列の和と Σ
  30. 数列の極限
  31. 関数の極限
  32. 積と商の微分
  33. 合成関数の微分
  34. 円の周の長さと面積
  35. おうぎ形の弧の長さと面積
  36. 弧の長さからおうぎ形の中心角と面積を求める
  37. 三角形・四角形の面積
  38. 三平方の定理
  39. 特別な直角三角形の辺の比
  40. 弧度法と単位円による三角関数
  41. の極限
  42. 加法定理と 2 倍角・半角・積和の公式
  43. 三角関数の導関数
  44. 根号の乗除と加減
  45. 指数の拡張と指数関数
  46. 対数の定義と性質
  47. 自然対数の底
  48. 指数関数・対数関数の導関数
  49. 基本的な関数の不定積分
  50. 置換積分
  51. 分数関数の積分(部分分数分解)
  52. 変数分離形
  53. 逆関数・陰関数・媒介変数表示の微分
  54. SIR モデルの最終規模方程式

ヒント

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

ヒント 1

が単調減少で下に有界であることから極限の存在を示します。次に を微分して と比べ、 と の関係式を作りましょう。

ヒント 2

から が出ます。 で を示せば となり、最終規模の関係式が得られます。不等式には の増減が使えます。

ヒント 3

と の単調増加から が存在し、 なら が発散して矛盾します。関係式から となるので、 と仮定して の単調性と を組み合わせてみましょう。

採点の観点と模範解答

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

採点の観点を見る
  • 3 式の和から を導き、 を得ている(1 点)

  • と から、単調収束により の存在を示し、狭義単調減少から を述べている(2 点)

  • を積分して を導き、 から を示している(2 点)

  • なら が有界でなくなることから を示し、 を得ている(2 点)

  • について を示し、 での単調減少と から背理法で を結論している(3 点)

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

方針. の単調性から極限の存在を示し、 と の関係から最終規模の関係式を導く。その関係式と関数 の増減から を示す。

1. 保存量. 3 つの式を足すと なので、 がすべての で成り立つ。また かつ より、 で であり、 である。

2. の存在. より なので、 は で狭義単調減少である。また なので下に有界である。下に有界な単調減少関数は で収束するから、 が存在し、 である。さらに狭義単調減少なので、 である。

同様に は単調増加で と上に有界なので、 が存在する。

3. 関係式. なので は微分可能で

両辺を から まで積分し、 を使うと

を得る。

4. . と より 、すなわち がすべての で成り立つ。 とすると 。

5. と最終規模の関係式. で、右辺の各項は収束するから が存在し、 より 。 と仮定すると、ある があって で となり、

となって に反する。よって で、 である。

なので の連続性から、 で として

を得る。

6. . とおくと、 は と書ける。一方 であり、 を使うと

である( による)。よって 。

また は で負なので、 は区間 で狭義単調減少である。

背理法で示す。 と仮定する。2 で示した と合わせて であり、 はともに が狭義単調減少な区間 に属するので となる。これは に矛盾する。したがって である。

結論. 2, 4, 6 より、極限 が存在して を満たす。

この問題の確認

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

間違いを報告する

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

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

関連する問題