確率微積分の紹介
0. 紹介
- この文書は確率微積分に関する簡単な紹介である。確率理論の複雑な形式よりも、物理的な直観とブラウン運動の導出に重点を置く。
- 確率空間、測度論、フィルトレーションなどの技術的な形式は避け、よく定義された事例のみを扱う。
- 確率微積分が物理的世界で自然に現れる方法を広く知らせることを目的とする。
応用
- ブラウン運動と伊藤微積分は、現実世界をモデル化するために使われる高度な数学の例である。
- 物理学: アインシュタインはブラウン運動を用いて原子の存在を証明した。
- 金融: オプション価格付けは確率微分方程式に依存する。
- 生物学: ランダムウォークは種の拡散やニューロンの発火をモデル化する。
- 機械学習でも応用がますます増えている。
1. 動機
- パスカルの三角形は二項分布を説明するために使われる。
- 独立した試行における成功と失敗の数をモデル化する。
- 現実世界には連続的な過程がしばしば含まれるため、微積分のほうがより自然である。
2. 離散段階から連続極限へ
- 二項分布が連続的に変換されるときの数学的な意味を探る。
- 離散的なランダムウォークが連続極限で正規分布へ収束することを説明する。
- 中心極限定理によれば、多くの独立な確率変数の和は正規分布に近づく。
3. ブラウン運動の定義（ウィーナー過程）
- ブラウン運動は連続的でランダムであり、時間に比例する分散を持つ。
- ブラウン運動の数学的モデルは予測可能でありながら、局所的には完全に予測不可能である。
4. 伊藤微積分
- ブラウン運動は不規則であるため、微分不可能である。
- 伊藤微積分はブラウン運動のランダム性を扱うための新しい体系を発展させた。
- 伊藤の補題はランダム性に対するチェーンルールを与える。
5. 確率微分方程式
- 伊藤微積分は確率微分方程式を扱うための道具を提供する。
- 確率微分方程式は、決定論的な振る舞いと確率的ノイズを組み合わせてシステムをモデル化する。
6. ストラトノビッチ微積分
- ストラトノビッチ微積分は、伊藤微積分の2階微分項を取り除くことで、標準的なチェーンルールを保つ。
- 物理システムや計算を単純化するのに有用である。
付録
A.0. 追加の読み物
- 確率微分方程式に関する直観的な導入と、その解き方を提供する資料群。
A.1. 記法
1件のコメント
Hacker Newsの意見
Langevin Dynamicsは、系の減衰した運動量と、その運動量に注入されたノイズを用いる手法。分子動力学シミュレーションやベイズMCMCサンプリングに使える
確率微積分について、コンピュータを使って多くのありうる事象の展開をシミュレートしなければならないのか、それともdWの分布が分かっていれば重要な最終出力や確率分布を解ける、よりエレガントな数学的方法があるのか、という問いがある。この記事は素晴らしく、確率微積分を初めて理解し始めたように感じさせてくれる
最近経験した例がある
HN読者への質問: マウスの遺伝子において死亡率を調節するDNA差異を含む約50の位置（遺伝子座）を定義した。大半は複雑な年齢依存の「保険」効果を持つ。死亡年齢を予測したい
金融分野の人たちに、これらのうちどれほどが日常的に有用なのかという質問がある
文の解釈を手伝ってほしいという依頼がある
伊藤積分学についての理解を共有している
確率微積分を勉強していた記憶がある
拡散モデルがAI画像生成の秘密の源として急速に定着しているのは、いまだに驚き。しかしそのルーツは確率微積分に深く埋まっている