数理モデルの問題
正の定数 に対し、SIR モデル
を初期条件 (ただし )のもとで考え、基本再生産数を とおく。
この初期値問題の解 が で一意に存在して 級であり、すべての で であることは用いてよい。
このとき、極限 が存在して
を満たすことを証明せよ。
この問題で使うもの
- SIR モデルの最終規模方程式(説明と入口の問題)
- 指数関数・対数関数の導関数(説明と入口の問題)
- 増減表と極値(説明と入口の問題)
この問題を解けるようになるまで(54 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 1 次方程式の解き方
- 比例・反比例の式とグラフ
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 関数 の式と変域
- 平方完成と 2 次関数のグラフ
- 2 次不等式
- 剰余の定理・因数定理と高次方程式
- 増減表と極値
- SIR モデルの基本再生産数と流行の閾値
- 多項式の不定積分
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 分数関数の積分(部分分数分解)
- 変数分離形
- 逆関数・陰関数・媒介変数表示の微分
- SIR モデルの最終規模方程式
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
が単調減少で下に有界であることから極限の存在を示します。次に を微分して と比べ、 と の関係式を作りましょう。
ヒント 2
から が出ます。 で を示せば となり、最終規模の関係式が得られます。不等式には の増減が使えます。
ヒント 3
と の単調増加から が存在し、 なら が発散して矛盾します。関係式から となるので、 と仮定して の単調性と を組み合わせてみましょう。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
3 式の和から を導き、 を得ている(1 点)
と から、単調収束により の存在を示し、狭義単調減少から を述べている(2 点)
を積分して を導き、 から を示している(2 点)
なら が有界でなくなることから を示し、 を得ている(2 点)
について を示し、 での単調減少と から背理法で を結論している(3 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
方針. の単調性から極限の存在を示し、 と の関係から最終規模の関係式を導く。その関係式と関数 の増減から を示す。
1. 保存量. 3 つの式を足すと なので、 がすべての で成り立つ。また かつ より、 で であり、 である。
2. の存在. より なので、 は で狭義単調減少である。また なので下に有界である。下に有界な単調減少関数は で収束するから、 が存在し、 である。さらに狭義単調減少なので、 である。
同様に は単調増加で と上に有界なので、 が存在する。
3. 関係式. なので は微分可能で
両辺を から まで積分し、 を使うと
を得る。
4. . と より 、すなわち がすべての で成り立つ。 とすると 。
5. と最終規模の関係式. で、右辺の各項は収束するから が存在し、 より 。 と仮定すると、ある があって で となり、
となって に反する。よって で、 である。
なので の連続性から、 で として
を得る。
6. . とおくと、 は と書ける。一方 であり、 を使うと
である( による)。よって 。
また は で負なので、 は区間 で狭義単調減少である。
背理法で示す。 と仮定する。2 で示した と合わせて であり、 はともに が狭義単調減少な区間 に属するので となる。これは に矛盾する。したがって である。
結論. 2, 4, 6 より、極限 が存在して を満たす。