数理ファイナンス・保険数学の問題
, , , を定数とする。標準正規分布の密度関数と分布関数を
とし、ボラティリティ に対するヨーロピアン・コール・オプションのブラック・ショールズ価格を
で定める。 とおくとき、写像 は区間 から開区間 への全単射であることを証明せよ(すなわち、 に属する各価格 に対して となるインプライド・ボラティリティ がちょうど 1 つ存在し、 の値はすべて に属する)。
ただし、 は 上で微分可能で であること、, , であること、および平均値の定理・中間値の定理は用いてよい。
この問題で使うもの
- ブラック・ショールズ式(説明と入口の問題)
- 合成関数の微分(説明と入口の問題)
- 指数関数・対数関数の導関数(説明と入口の問題)
- 関数の極限(説明と入口の問題)
- 数列の極限(説明と入口の問題)
この問題を解けるようになるまで(70 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 期待値
- 確率変数と確率分布
- 平均と合計
- 平均値・中央値・最頻値
- 代表値(平均値・中央値・最頻値)
- 分散と標準偏差
- 変量の変換と平均・分散
- 確率変数の期待値・分散と
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 3 次式までの展開と因数分解
- 微分係数と導関数の定義
- 多項式の微分
- 多項式の不定積分
- 定積分の計算
- 連続型確率変数と確率密度関数
- 正規分布と標準化
- 等間隔にならんだ数の和
- 等差・等比数列の和と Σ
- 数列の極限
- 関数の極限
- 積と商の微分
- 合成関数の微分
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- の極限
- 加法定理と 2 倍角・半角・積和の公式
- 三角関数の導関数
- 根号の乗除と加減
- 指数の拡張と指数関数
- 対数の定義と性質
- 自然対数の底
- 指数関数・対数関数の導関数
- 基本的な関数の不定積分
- 置換積分
- 部分積分
- 定積分の置換・部分積分と偶関数・奇関数
- 重積分と累次積分
- 偏微分と全微分
- 多変数の連鎖律
- 重積分の変数変換とヤコビアン
- 広義積分
- ガウス積分
- 正規分布の密度と積率
- 対数正規分布の期待値
- 複利と現在価値
- 1 期間二項モデルとリスク中立確率
- ブラック・ショールズ式
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
が狭義単調増加であることを導関数(ベガ)の符号で示し、そのうえで と の極限を調べて、中間値の定理を使いましょう。
ヒント 2
鍵になるのは という等式です。 を計算してみましょう。
ヒント 3
上の等式を使うと の 2 つの項がまとまり、 だけが残ります。極限は とおき、 の形で の符号によって場合分けします。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
を計算して を導いている(2 点)
連鎖律で を計算し、上の等式で項をまとめて を示し、狭義単調増加(単射)を結論している(3 点)
の極限を と の大小( の符号)で漏れなく場合分けし、 の場合も含めて極限が になることを示している(2 点)
で , から極限が であることを示している(1 点)
単調性と両端の極限から の値が端点を含まない に入ること、および中間値の定理で各 が値としてとられることを示し、全単射と結論している(2 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
以下、 とおく。 なので、 はそれぞれ と同値である。また
と書ける。 は の微分可能な関数で、 は微分可能だから、合成関数として は で微分可能(特に連続)である。
ステップ 1(補題 ). の定義より
ここで , だから、指数部分は である。よって 、すなわち
ステップ 2(). 連鎖律と より
ステップ 1 を代入すると
, , なので、すべての で 。 のとき、平均値の定理より となる があるので、 は 上で狭義単調増加である。特に は単射である。
ステップ 3( の極限). のとき である。
- のとき: なので 。よって で、。このとき なので、これは に等しい。
- のとき: なので 。よって で、。このとき なので である。
- のとき:, で、 は連続だから ( のため)。このとき である。
いずれの場合も 。
ステップ 4( の極限). のとき , なので、, 。よって , で、。
ステップ 5(値が に入ること). 任意の をとり、 を 1 つ固定する。ステップ 2 より、 のすべての で であり、 とするとステップ 3 から 。よって 。同様に を固定すると、 で であり、 としてステップ 4 から 。したがって であり、 の値はすべて に属する。(なお、 かつ なので であり、 は空でない。)
ステップ 6(全射). を任意にとる。ステップ 3 より だから となる があり、ステップ 4 より だから となる がある。 は狭義単調増加なので から 。 は で連続なので、中間値の定理より となる が存在する。
結論. ステップ 5 より は を の中へ写し、ステップ 2 より単射、ステップ 6 より への全射である。よって は から への全単射である。