<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en"><generator uri="https://jekyllrb.com/" version="3.10.0">Jekyll</generator><link href="https://bobothebest.github.io/homepage_cn/feed.xml" rel="self" type="application/atom+xml" /><link href="https://bobothebest.github.io/homepage_cn/" rel="alternate" type="text/html" hreflang="en" /><updated>2026-10-21T19:12:11+00:00</updated><id>https://bobothebest.github.io/homepage_cn/feed.xml</id><title type="html">张梓源</title><subtitle>光荣在于平淡，艰巨在于漫长</subtitle><author><name>Ziyuan Zhang</name><email>xiguifei@bu.edu</email></author><entry><title type="html">随机过程笔记 07｜随机微分方程、Feynman–Kac 与停时</title><link href="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/" rel="alternate" type="text/html" title="随机过程笔记 07｜随机微分方程、Feynman–Kac 与停时" /><published>2026-10-21T14:07:00+00:00</published><updated>2026-10-21T14:07:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>最后一篇把视角拉远。股价、利率、波动率都被建模成<strong>随机微分方程</strong>的解。我们显式解出 Ornstein–Uhlenbeck 方程，认识 CIR 过程，并说明为什么所有 SDE 的解都是<strong>马尔可夫</strong>的。然后 <strong>Feynman–Kac</strong> 把整门课首尾接上：收益的条件期望和一个偏微分方程是同一个东西——Black–Scholes 只是其中一例。最后讲派息股票、停时和可选抽样定理。</p>
</blockquote>

<hr />

<h2 id="1-随机微分方程">1. 随机微分方程</h2>

<p>固定 \((\Omega,\mathcal F,\mathbb F,\mathbb P)\)、布朗运动 \(W\)，\(\mathbb F=\mathbb F^W\)。<strong>SDE</strong> 是如下形式的方程：</p>

\[dX_t=\mu(t,X_t)\,dt+\sigma(t,X_t)\,dW_t,\qquad X_0=x,\]

<p>\(\mu:[0,\infty)\times\mathbb R\to\mathbb R\) 是<strong>漂移</strong>函数，\(\sigma:[0,\infty)\times\mathbb R\to\mathbb R\) 是<strong>扩散</strong>（离散）函数。和 Itô 过程不同，这里的系数依赖未知的 \(X\) 本身。</p>

<p><strong>解</strong>是满足下式的过程 \(X\)：对所有 \(t\ge0\)</p>

\[\mathbb P\Big[X_t=x+\int_0^t\mu(u,X_u)\,du+\int_0^t\sigma(u,X_u)\,dW_u\Big]=1,\]

<p>且所有积分都有定义。</p>

<p><strong>GBM 就是一个 SDE。</strong> 取 \(\mu(t,x)=\mu x\)，\(\sigma(t,x)=\sigma x\)：\(dX_t=\mu X_tdt+\sigma X_tdW_t\)，解为 \(X_t=x\,e^{(\mu-\frac12\sigma^2)t+\sigma W_t}\)——正是 Black–Scholes 里的股票。</p>

<p><strong>存在唯一性。</strong> 不是每个 SDE 都有解，有显式解的更少。在温和的条件下可以证明解存在且唯一；关键是 \(\mu\) 和 \(\sigma\) 在空间变量上满足 <strong>Lipschitz 条件</strong>：</p>

\[\vert f(x)-f(y)\vert\le K\vert x-y\vert,\]

<p>和常微分方程一样。这门课里我们总是假设解存在。</p>

<h2 id="2-ornsteinuhlenbeck-过程">2. Ornstein–Uhlenbeck 过程</h2>

\[dX_t=\kappa(\theta-X_t)\,dt+\sigma\,dW_t,\qquad \kappa&gt;0 .\]

<p>\(\theta\)：长期均值；\(\kappa\)：均值回复速度；\(\sigma\)：波动率。\(X\) 高于 \(\theta\) 时漂移把它往下拉，反之往上拉——像一根带噪声的弹簧。</p>

<p><strong>求解。</strong> （1）假设解存在，求出形式；（2）验证。乘以积分因子 \(e^{\kappa t}\) 再用 Itô（和确定性因子的乘积法则）：</p>

\[d(e^{\kappa t}X_t)=e^{\kappa t}\big(\kappa X_t\,dt+\kappa(\theta-X_t)\,dt+\sigma\,dW_t\big)=e^{\kappa t}\big(\kappa\theta\,dt+\sigma\,dW_t\big).\]

<p>积分：\(e^{\kappa t}X_t=x+\theta(e^{\kappa t}-1)+\int_0^te^{\kappa u}\sigma\,dW_u\)，所以</p>

\[X_t=\theta+e^{-\kappa t}\Big((x-\theta)+\int_0^te^{\kappa u}\sigma\,dW_u\Big).\]

<p>验证：求微分，\(dX_t=-\kappa e^{-\kappa t}\big((x-\theta)+\int_0^te^{\kappa u}\sigma dW_u\big)dt+\sigma\,dW_t=\kappa(\theta-X_t)dt+\sigma dW_t\)。✓</p>

<p><strong>分布。</strong> 被积函数 \(e^{\kappa u}\sigma\) 是确定性的，由第 04 篇，随机积分服从正态，方差由 Itô 等距给出：</p>

\[e^{-\kappa t}\int_0^te^{\kappa u}\sigma\,dW_u\sim N\big(0,\sigma_t^2\big),\qquad \sigma_t^2=\sigma^2e^{-2\kappa t}\int_0^te^{2\kappa u}\,du=\frac{\sigma^2}{2\kappa}\big(1-e^{-2\kappa t}\big).\]

<p>因此</p>

\[X_t\sim N\Big(\theta+e^{-\kappa t}(x-\theta),\ \frac{\sigma^2}{2\kappa}\big(1-e^{-2\kappa t}\big)\Big)\ \xrightarrow{t\to\infty}\ N\Big(\theta,\ \frac{\sigma^2}{2\kappa}\Big).\]

<p>起点以指数速度被遗忘；\(\theta\) 是<strong>长期均值</strong>，\(\sigma^2/(2\kappa)\) 是<strong>长期方差</strong>。</p>

<p><strong>时变系数。</strong> 若 \(\kappa(t),\theta(t),\sigma(t)\) 非随机（可以随 \(t\) 变，但不随 \(\omega\) 变），\(dX_t=\kappa(t)\big(\theta(t)-X_t\big)dt+\sigma(t)dW_t\) 的解为</p>

\[X_t=e^{-\int_0^t\kappa(u)du}\Big(x+\int_0^te^{\int_0^u\kappa(v)dv}\kappa(u)\theta(u)\,du+\int_0^te^{\int_0^u\kappa(v)dv}\sigma(u)\,dW_u\Big).\]

<h2 id="3-coxingersollross-过程">3. Cox–Ingersoll–Ross 过程</h2>

\[dX_t=\kappa(\theta-X_t)\,dt+\xi\sqrt{X_t}\,dW_t,\qquad X_0=x&gt;0 .\]

<p>均值回复和 OU 一样，但瞬时条件方差是 \(\xi^2X_t\,dt\)：\(X\) 越接近 0，噪声越小。解必须保持为正，\(\sqrt{X_t}\) 才有意义；当 \(\kappa\theta\ge\frac12\xi^2\) 时解严格为正（Feller 条件）。没有显式解，但解存在，\(X_t\) 的分布可以求出来。它是常用的利率模型和方差模型。</p>

<h2 id="4-马尔可夫性">4. 马尔可夫性</h2>

<p>\(dX_t=\mu(t,X_t)dt+\sigma(t,X_t)dW_t\) 的解是<strong>马尔可夫</strong>过程：在时刻 \(t\) 想评估过程的未来，知道 \(X_t\) 就够了——\(\mathcal F_t\) 里 \(X_t\) 以外的信息都无关。实际用起来就是：</p>

\[E[g(X_u)\mid\mathcal F_t]=E[g(X_u)\mid X_t],\qquad E\Big[e^{-\int_t^Tg(X_u)du}\,\Big\vert\,\mathcal F_t\Big]=E\Big[e^{-\int_t^Tg(X_u)du}\,\Big\vert\,X_t\Big].\]

<p>为什么：在时刻 \(t\)，下一步 \(dX_t\) 由 \(X_t\)（通过 \(\mu\) 和 \(\sigma\)）和 \(dW_t\) 决定，而 \(dW_t\) 与 \(\mathcal F_t\) 独立。分别展开 \(E[g(X_t+dX_t)\mid\mathcal F_t]\) 和 \(E[g(X_t+dX_t)\mid X_t]\)，一步一步都相同。</p>

<h2 id="5-feynmankac">5. Feynman–Kac</h2>

<p>设 \(dX_t=\mu(t,X_t)dt+\sigma(t,X_t)dW_t\)，\(g\) 为收益函数，\(r(t,x)\) 为贴现率。那么</p>

\[f(t,x):=E\Big[e^{-\int_t^Tr(u,X_u)du}\,g(X_T)\,\Big\vert\,X_t=x\Big],\qquad t\le T,\ x\in\mathbb R,\]

<p>与下面的偏微分方程一一对应：</p>

\[\begin{cases}0=\Big(f_t+\mu f_x+\tfrac12\sigma^2f_{xx}-rf\Big)(t,x),&amp;t&lt;T,\ x\in\mathbb R,\\[4pt] f(T,x)=g(x).\end{cases}\]

<p>不贴现时，\(u(t,x)=E[g(X_T)\mid X_t=x]\) 满足 \(0=u_t+\mu u_x+\frac12\sigma^2u_{xx}\)，\(u(T,x)=g(x)\)。</p>

<p><strong>为什么成立（一句话）。</strong> 由马尔可夫性，\(e^{-\int_0^tr\,du}f(t,X_t)=E\big[e^{-\int_0^Tr\,du}g(X_T)\mid\mathcal F_t\big]\) 是鞅。对它用 Itô：\(dt\) 系数是 \(e^{-\int_0^tr}\big(f_t+\mu f_x+\frac12\sigma^2f_{xx}-rf\big)\)，而鞅没有 \(dt\) 项。</p>

<p><strong>Black–Scholes 是特例。</strong> 取 \(\mathbb Q\) 下的 \(X=S\)，即 \(\mu(t,s)=rs\)，\(\sigma(t,s)=\sigma s\)，\(r\) 为常数，\(g(s)=(s-K)^+\)。偏微分方程就是第 05 篇的 Black–Scholes 方程，期望就是第 06 篇的风险中性公式。整门课的两半——偏微分方程和期望——是同一件事。</p>

<h2 id="6-派息股票">6. 派息股票</h2>

<p>若股票以速率 \(a_t\) 连续派息，股价会因派息而下降：</p>

\[\frac{dS_t}{S_t}=\mu_t\,dt+\sigma_t\,dW_t-a_t\,dt .\]

<p><strong>财富。</strong> 在 \([t,t+dt]\) 上持有 \(\Delta_t\) 股，还会收到股息 \(\Delta_tS_ta_t\,dt\)：</p>

\[X_{t+dt}=\Delta_tS_{t+dt}+\Delta_tS_ta_t\,dt+(X_t-\Delta_tS_t)\frac{B_{t+dt}}{B_t},\]

\[\begin{aligned}
dX_t&amp;=\Delta_t\,dS_t+\Delta_tS_ta_t\,dt+(X_t-\Delta_tS_t)r_t\,dt\\
&amp;=\Delta_tS_t\big((\mu_t-a_t)dt+\sigma_tdW_t\big)+\Delta_tS_ta_t\,dt+(X_t-\Delta_tS_t)r_t\,dt\\
&amp;=r_tX_t\,dt+\Delta_t\sigma_tS_t\big(dW_t+\theta_t\,dt\big),\qquad\theta_t=\frac{\mu_t-r_t}{\sigma_t}.
\end{aligned}\]

<p><strong>财富动态和不派息时一样</strong>（收到的股息正好抵消股价的下跌），但<strong>股价动态变了</strong>。所以欧式期权的价格会变，因为股价不同了。在 \(\mathbb Q\) 下，</p>

\[dX_t=r_tX_t\,dt+\Delta_tS_t\sigma_t\,dW^{\mathbb Q}_t,\qquad V_t=E^{\mathbb Q}\Big[e^{-\int_t^Tr_udu}V_T\,\Big\vert\,\mathcal F_t\Big],\]

<p>而 \(\mathbb Q\) 下股票的漂移变成 \(r_t-a_t\)。实际计算时，把收益写成 \(S_T=S_t\cdot\frac{S_T}{S_t}\) 的函数，固定 \(S_t=s\) 再算——和 Black–Scholes 的推导完全一样。</p>

<h2 id="7-停时">7. 停时</h2>

<p>随机时间 \(\tau\) 是<strong>停时</strong>，如果</p>

\[\{\omega:\tau(\omega)\le t\}\in\mathcal F_t\quad\text{对所有 }t,\]

<p>即在每个时刻，根据当前信息就能判断是否已经停下。例：非随机时间 \(\tau\equiv t_0\)，\(t_0\le t\) 时 \(\{\tau\le t\}=\Omega\)，否则为 \(\varnothing\)。</p>

<p><strong>首中时（hitting time）。</strong> \(\tau(\omega)=\inf\{t:X_t(\omega)=\lambda\}\)，\(X\) 第一次碰到水平 \(\lambda\) 的时间。对路径连续的适应过程 \(X\)，首中时是停时。（反过来，”\(T\) 之前最后一次碰到 \(\lambda\) 的时间”不是停时：要知道它必须看未来。）</p>

<p><strong>停时处的值与停止过程。</strong> \(X_\tau\) 是随机变量 \(\omega\mapsto X_{\tau(\omega)}(\omega)\)——比如 \(\tau(\omega)=1\) 时是 \(X_1(\omega)\)，\(\tau(\omega)=3\) 时是 \(X_3(\omega)\)。<strong>停止过程</strong> \(X^\tau\) 为</p>

\[X^\tau_t(\omega):=X_{t\wedge\tau(\omega)}(\omega):\]

<p>到 \(\tau\) 之前跟着 \(X\) 走，之后保持不动。</p>

<h2 id="8-可选抽样定理">8. 可选抽样定理</h2>

<p><strong>定理（OST）。</strong> 设 \(M\) 是鞅，\(\alpha\le\tau\) 是两个<strong>有界</strong>停时。则</p>

\[E[M_\tau\mid\mathcal F_\alpha]=M_\alpha .\]

<p>对有界停时 \(\tau\) 的<strong>推论</strong>：</p>

<ol>
  <li>停止过程 \(t\mapsto M_{t\wedge\tau}\) 是鞅；</li>
  <li>\(E[M_\tau]=M_0\)；</li>
  <li>若 \(\tau\le T\)，权益在随机时刻 \(\tau\) 的价格为 \(V_\tau=E^{\mathbb Q}\big[e^{-r(T-\tau)}V_T\mid\mathcal F_\tau\big]\)——就是第 06 篇的定价公式把 \(t\) 换成 \(\tau\)。</li>
</ol>

<p>直观：只要决定”什么时候看”的规则不偷看未来，公平的赌局就仍然公平。有界性很重要：”赢了就走”也是停时，但它是无界的，用它就可能 \(E[M_\tau]&gt;M_0\)。</p>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/10/21/mf790-01-foundations/">01｜概率空间、信息流、条件期望与鞅</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-02-brownian-motion/">02｜随机游走、二次变差与布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-03-stochastic-integration/">03｜随机积分</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-04-ito-formula/">04｜Itô 公式、Itô 过程与几何布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-05-black-scholes/">05｜Black–Scholes：复制、偏微分方程与希腊字母</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/">06｜风险中性定价、测度变换与 Girsanov 定理</a></li>
  <li><strong>07｜随机微分方程、Feynman–Kac 与停时</strong>（本篇）</li>
</ol>

<p><a href="/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/">← 上一篇：风险中性定价、测度变换与 Girsanov 定理</a></p>

<p><em>本系列是我在波士顿大学 Questrom 商学院修读 QST MF 790 Stochastic Calculus（随机分析）时整理的课程笔记，共 7 篇。内容按课程顺序整理，表述、直观解释和几处勘误是我自己加的。文中 \(N(\mu,\sigma^2)\) 的第二个参数一律为方差。如有错漏，欢迎指出。本篇英文版：<a href="https://bobothebest.github.io/homepage_en/2026/10/21/mf790-07-sde-feynman-kac/">English version</a>。</em></p>]]></content><author><name>张梓源</name></author><category term="随机过程笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 最后一篇把视角拉远。股价、利率、波动率都被建模成随机微分方程的解。我们显式解出 Ornstein–Uhlenbeck 方程，认识 CIR 过程，并说明为什么所有 SDE 的解都是马尔可夫的。然后 Feynman–Kac 把整门课首尾接上：收益的条件期望和一个偏微分方程是同一个东西——Black–Scholes 只是其中一例。最后讲派息股票、停时和可选抽样定理。]]></summary></entry><entry><title type="html">随机过程笔记 06｜风险中性定价、测度变换与 Girsanov 定理</title><link href="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/" rel="alternate" type="text/html" title="随机过程笔记 06｜风险中性定价、测度变换与 Girsanov 定理" /><published>2026-10-21T14:06:00+00:00</published><updated>2026-10-21T14:06:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>第 05 篇给看涨期权定了价。这一篇用一个公式给<strong>任意</strong>收益定价：</p>

  <p>\(V_t=E^{\mathbb Q}\big[e^{-r(T-t)}V_T\mid\mathcal F_t\big]\)。</p>

  <p>价格是<strong>净现值——但要在另一个概率测度 \(\mathbb Q\) 下算</strong>，在 \(\mathbb Q\) 下股票只赚无风险利率。然后回答几个自然的问题：测度变换是什么？为什么 \(\mathbb P\) 和 \(\mathbb Q\) 对什么<em>可能</em>发生意见一致，对<em>多大可能</em>意见不同？Girsanov 定理又是怎么通过平移布朗运动把 \(\mu\) 变成 \(r\) 的？</p>
</blockquote>

<hr />

<h2 id="1-从看涨期权到任意未定权益">1. 从看涨期权到任意未定权益</h2>

<p><strong>回顾 Black–Scholes 设定。</strong> \(\mathbb P\) 下 \(S\sim GBM(\mu,\sigma)\)；货币市场利率为常数 \(r\)；自融资策略 \(\Delta\)。贴现财富：</p>

\[d(e^{-rt}X_t)=e^{-rt}\big((\mu-r)\Delta_tS_t\,dt+\sigma\Delta_tS_t\,dW_t\big).\]

<p>对看涨期权我们得到：令 \(\widetilde{\mathbb P}\) 下 \(\widetilde S\sim GBM(r,\sigma)\)，</p>

\[c(t,s)=E^{\widetilde{\mathbb P}}\big[e^{-r(T-t)}(\widetilde S_T-K)^+\mid\widetilde{\mathcal F}_t,\ \widetilde S_t=s\big],\]

<p>初始资金 \(x=c(0,S_0)\)，策略 \(\Delta_t=c_s(t,S_t)\)，终值财富 \(X_T=(S_T-K)^+\)，由无套利，\(c(0,S_0)\) 就是价格。现在推广。</p>

<p><strong>未定权益。</strong> 在 \(T\) 时支付 \(V_T\)，\(V_T\) 可以是任何足够可积的 \(\mathcal F_T\) 可测随机变量：</p>

<table>
  <thead>
    <tr>
      <th>权益</th>
      <th>收益 \(V_T\)</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>看涨期权</td>
      <td>\((S_T-K)^+\)</td>
    </tr>
    <tr>
      <td>看跌期权</td>
      <td>\((K-S_T)^+\)</td>
    </tr>
    <tr>
      <td>亚式看涨</td>
      <td>\(\Big(\frac1T\int_0^TS_t\,dt-K\Big)^+\)</td>
    </tr>
    <tr>
      <td>回望期权</td>
      <td>\(\max_{t\le T}S_t-S_T\)</td>
    </tr>
    <tr>
      <td>向上敲出看涨</td>
      <td>\((S_T-K)^+\,\mathbf 1_{\{\max_{t\le T}S_t\le L\}}\)</td>
    </tr>
  </tbody>
</table>

<h2 id="2-两个假设与定价公式">2. 两个假设与定价公式</h2>

<ol>
  <li>
    <p><strong>风险中性测度。</strong> \((\Omega,\mathcal F)\) 上存在测度 \(\mathbb Q\)，使 \(\mathbb Q\) 下 \(S\sim GBM(r,\sigma)\)。等价地，存在 \(\mathbb Q\)-布朗运动 \(W^{\mathbb Q}\) 使</p>

\[\frac{dS_t}{S_t}=\underbrace{\mu\,dt+\sigma\,dW_t}_{\mathbb P\text{ 下}}=\underbrace{r\,dt+\sigma\,dW^{\mathbb Q}_t}_{\mathbb Q\text{ 下}}.\]
  </li>
  <li>
    <p><strong>可复制。</strong> 存在 \(x\) 和 \(\Delta\) 使 \(\mathbb P[X^{x,\Delta}_T=V_T]=\mathbb Q[X^{x,\Delta}_T=V_T]=1\)。</p>
  </li>
</ol>

<p><strong>贴现财富是 \(\mathbb Q\)-鞅。</strong> 在 \(\mathbb Q\) 下漂移项消失：</p>

\[d(e^{-rt}X_t)=e^{-rt}\sigma\Delta_tS_t\,dW^{\mathbb Q}_t .\]

<p>所以 \(\mathbb Q\) 也叫<strong>鞅测度</strong>。</p>

<p><strong>在 \([t,T]\) 上复制。</strong> 无套利论证从任何起始时间都成立：\(t\) 时持有 \(X_t\)（\(t\) 时已知），在 \([t,T]\) 上自融资交易，最后得到 \(V_T\)，那么 \(t\) 时的价格必须是 \(X_t\)。</p>

<p><strong>确定 \(V_t\)。</strong> 由可复制，\(e^{-rT}X_T=e^{-rT}V_T\)。由鞅性质，</p>

\[e^{-rt}X_t=E^{\mathbb Q}\big[e^{-rT}X_T\mid\mathcal F_t\big]=E^{\mathbb Q}\big[e^{-rT}V_T\mid\mathcal F_t\big].\]

<p>又因为 \(V_T=X_T=X_t+\int_t^TdX_u\)，\(t\) 时手里有 \(X_t\) 恰好足以交付 \(V_T\)，所以</p>

\[\boxed{\ V_t=X_t=E^{\mathbb Q}\big[e^{-r(T-t)}V_T\mid\mathcal F_t\big]\ }\]

<p><strong>怎么读。</strong> 推理链是：（i）复制组合<em>就是</em>这份权益，所以权益价格等于组合价值；（ii）\(\mathbb Q\) 下每个贴现自融资组合都是公平赌局，所以今天的贴现价值等于终值贴现后的期望；（iii）终值就是收益。价格是净现值——<strong>不是在真实测度下</strong>，而是在风险资产和无风险资产期望收益相同的测度下。</p>

<p>这两个假设引出五个问题：\(\mathbb Q\) 怎么得到？\(\mathbb P\) 和 \(\mathbb Q\) 什么关系？怎么在两者之间切换？为什么 \(\mathbb Q\) 下 \(S\sim GBM(r,\sigma)\)？\(W^{\mathbb Q}\) 从哪来？本篇剩下的部分逐一回答。</p>

<h2 id="3-换测度会改变什么">3. 换测度会改变什么</h2>

<p><strong>不受测度影响的</strong>（只涉及集合和映射）：</p>

<ol>
  <li>\(\Omega\)，结果的集合；</li>
  <li>\(\mathcal F\)，信息（\(\Omega\) 的子集族）；</li>
  <li>\(\mathbb F\)，信息流；</li>
  <li>随机变量 \(X:\Omega\to\mathbb R\)——只是一个映射；</li>
  <li>过程 \(\{X_t\}\)；</li>
  <li>适应性：\(\{\omega:X_t(\omega)\in E\}\in\mathcal F_t\)。</li>
</ol>

<p><strong>受测度影响的</strong>（涉及可能性）：</p>

<ol>
  <li>概率 \(P(A)=E^P[\mathbf 1_A]\)；</li>
  <li>期望 \(E\big[\sum_i\alpha_i\mathbf 1_{A_i}\big]=\sum_i\alpha_iP(A_i)\)；</li>
  <li>矩母函数 \(\alpha\mapsto E^P[e^{\alpha X}]\)；</li>
  <li>分布 \(P(X\le t)\)；</li>
  <li>鞅性质 \(E[X_t\mid\mathcal F_s]=X_s\)；</li>
  <li>独立性 \(P(A\cap B)=P(A)P(B)\)。</li>
</ol>

<p>所以股价路径还是那些路径，变的只是我们给它们的<strong>权重</strong>——漂移也随之改变。</p>

<h2 id="4-测度变换的构造">4. 测度变换的构造</h2>

<p>给定 \((\Omega,\mathcal F,\mathbb P)\)，任取随机变量 \(Z\)，\(\mathbb P[Z&gt;0]=1\)（记作 \(Z&gt;0\)）且 \(E^{\mathbb P}[Z]=1\)。定义</p>

\[\mathbb Q(A):=E^{\mathbb P}[Z\,\mathbf 1_A],\qquad A\in\mathcal F .\]

<p>\(\mathbb Q\) 是概率测度：\(\mathbb Q(A)\ge0\)；\(\mathbb Q(\Omega)=E^{\mathbb P}[Z]=1\)；可列可加，比如 \(A,B\) 不交时 \(\mathbb Q(A\cup B)=E^{\mathbb P}[(\mathbf 1_A+\mathbf 1_B)Z]=\mathbb Q(A)+\mathbb Q(B)\)。</p>

<p><strong>例：公平硬币变不公平硬币。</strong> 抛两次，\(\mathbb P\) 下公平且独立。令</p>

\[Z(HH)=\tfrac49,\quad Z(HT)=Z(TH)=\tfrac89,\quad Z(TT)=\tfrac{16}9,\qquad E^{\mathbb P}Z=\tfrac14\Big(\tfrac49+\tfrac89+\tfrac89+\tfrac{16}9\Big)=1 .\]

<p>则 \(\mathbb Q(HH)=\frac14\cdot\frac49=\frac19\)，\(\mathbb Q(HT)=\mathbb Q(TH)=\frac29\)，\(\mathbb Q(TT)=\frac49\)。\(\mathbb Q\) 下两次抛掷仍然独立（\(\frac19=\frac13\cdot\frac13\) 等），但硬币<strong>不公平</strong>了：\(\mathbb Q(H)=\frac13\)。</p>

<p><strong>等价。</strong> 因为 \(Z&gt;0\)：\(\mathbb P(A)&gt;0\Rightarrow\mathbb Q(A)=E^{\mathbb P}[Z\mathbf 1_A]&gt;0\)，反之亦然。所以 \(\mathbb P(A)&gt;0\iff\mathbb Q(A)&gt;0\)，称 \(\mathbb P,\mathbb Q\) <strong>等价</strong>。等价不是相等：它们对什么能发生、什么不能发生意见一致，对可能性大小不必一致（\(\mathbb P(A)=0.01\)、\(\mathbb Q(A)=0.99\) 完全可以）。</p>

<p><strong>Radon–Nikodym 导数。</strong> \(\dfrac{d\mathbb Q}{d\mathbb P}:=Z\)，也叫<strong>似然比</strong>。在有限空间上</p>

\[\frac{d\mathbb Q}{d\mathbb P}(\omega)=\frac{\mathbb Q(\{\omega\})}{\mathbb P(\{\omega\})}=Z(\omega).\]

<h2 id="5-平移正态分布的均值">5. 平移正态分布的均值</h2>

<p>\(\mathbb P\) 下 \(X\sim N(0,\sigma^2)\)，\(\theta\in\mathbb R\)，\(Z=e^{-\theta X-\frac12\sigma^2\theta^2}\)。则 \(Z&gt;0\)，\(E[Z]=e^{-\frac12\sigma^2\theta^2}E[e^{-\theta X}]=1\)。在 \(\mathbb Q(A)=E^{\mathbb P}[Z\mathbf 1_A]\) 下：</p>

\[E^{\mathbb Q}[e^{\alpha X}]=E^{\mathbb P}\big[e^{(\alpha-\theta)X}\big]e^{-\frac12\sigma^2\theta^2}=e^{\frac12\sigma^2(\alpha-\theta)^2-\frac12\sigma^2\theta^2}=e^{-\sigma^2\theta\alpha+\frac12\sigma^2\alpha^2},\]

<p>所以 \(X\overset{\mathbb Q}{\sim}N(-\sigma^2\theta,\ \sigma^2)\)，即 \(X+\sigma^2\theta\overset{\mathbb Q}{\sim}N(0,\sigma^2)\)。<strong>乘一个指数权重，均值平移，方差不变。</strong></p>

<p><strong>一般情形。</strong> 要把 \(\mathbb P\) 下的 \(N(\mu_P,\sigma^2)\) 变成 \(\mathbb Q\) 下的 \(N(\mu_Q,\sigma^2)\)，取 \(\frac{d\mathbb Q}{d\mathbb P}=\frac{e^{-\theta X}}{E^{\mathbb P}[e^{-\theta X}]}=e^{-\theta X-\frac12\sigma^2\theta^2+\theta\mu_P}\)。则</p>

\[E^{\mathbb Q}[e^{\alpha X}]=\exp\Big\{\alpha(\mu_P-\theta\sigma^2)+\tfrac12\alpha^2\sigma^2\Big\},\qquad\text{所以需要}\quad \theta=\frac{\mu_P-\mu_Q}{\sigma^2}.\]

<h2 id="6-用到布朗运动和股价上">6. 用到布朗运动和股价上</h2>

<p>固定 \(T\)；\(\mathbb P\) 下 \(W_T\sim N(0,T)\)。取 \(\theta=\frac{\mu-r}{\sigma}\)，</p>

\[Z=e^{-\theta W_T-\frac12\theta^2T}.\]

<p>由第 5 节（\(\sigma^2=T\)，\(\mu_P=0\)），\(\mathbb Q\) 下 \(W^{\mathbb Q}_T:=W_T+\theta T\sim N(0,T)\)。因为 \(\mu-\sigma\theta=r\)，</p>

\[S_T=S_0\exp\Big\{\big(\mu-\tfrac12\sigma^2\big)T+\sigma W_T\Big\}=S_0\exp\Big\{\big(r-\tfrac12\sigma^2\big)T+\sigma W^{\mathbb Q}_T\Big\}.\]

<p>所以<strong>在固定的时刻 \(T\)</strong>，\(\mathbb Q\) 下 \(S_T\) 看起来像 \(GBM(r,\sigma)\)。要让 \(\mathbb Q\) 下 \(S\sim GBM(r,\sigma)\) <strong>对所有</strong> \(t\le T\) 成立，还需要更多：\(t\mapsto W^{\mathbb Q}_t=W_t+\theta t\) 是不是 \([0,T]\) 上的 \(\mathbb Q\)-布朗运动？等价地问</p>

\[\frac{dS_t}{S_t}=\mu\,dt+\sigma\,dW_t\overset{?}{=}r\,dt+\sigma\,dW^{\mathbb Q}_t,\qquad W^{\mathbb Q}_t=W_t+\frac{\mu-r}{\sigma}t ?\]

<p>核心就是验证 \(W^{\mathbb Q}\) 是布朗运动。（注意 \(Z_t=E^{\mathbb P}[Z_T\mid\mathcal F_t]=e^{-\theta W_t-\frac12\theta^2t}\) 是 \(\mathbb P\)-鞅——第 04 篇的指数鞅。）</p>

<h2 id="7-girsanov-定理">7. Girsanov 定理</h2>

<p><strong>简单版。</strong> 若 \(W\) 是 \(\mathbb P\)-布朗运动，\(Z_T=e^{-\theta W_T-\frac12\theta^2T}\)，\(\mathbb Q(A)=E^{\mathbb P}[\mathbf 1_AZ_T]\)，则</p>

\[t\mapsto W^{\mathbb Q}_t:=W_t+\theta t\ \text{ 是 }[0,T]\text{ 上的 }\mathbb Q\text{-布朗运动}.\]

<p><strong>一般版。</strong> 固定 \((\widetilde\Omega,\widetilde{\mathcal F},\widetilde{\mathbb F},\widetilde{\mathbb P})\) 和 \(\widetilde{\mathbb P}\)-布朗运动 \(\widetilde W\)，以及适应的 \(\widetilde\theta\)。令</p>

\[\widetilde Z_t=\exp\Big(-\int_0^t\widetilde\theta_u\,d\widetilde W_u-\frac12\int_0^t\widetilde\theta_u^2\,du\Big),\quad t\le T,\qquad \frac{d\widetilde{\mathbb Q}}{d\widetilde{\mathbb P}}=\widetilde Z_T\ \text{于 }\widetilde{\mathcal F}_T .\]

<p>则 \(\widetilde W^{\widetilde{\mathbb Q}}_t=\widetilde W_t+\int_0^t\widetilde\theta_u\,du\)（\(t\le T\)）是 \(\widetilde{\mathbb Q}\)-布朗运动。</p>

<p>直观：用 \(Z\) 给路径重新加权，让往下漂的路径更可能、往上漂的路径更不可能，调整的幅度正好把”布朗运动加漂移 \(\theta\)“变回无漂移的布朗运动。</p>

<h3 id="lévy-刻画">Lévy 刻画</h3>

<p>直接从定义证明某个过程是布朗运动很麻烦。Lévy 刻画是捷径：<strong>若 \(\widetilde M\) 是路径连续的 \(\widetilde{\mathbb Q}\)-鞅，\(\widetilde M_0=0\) 且 \([\widetilde M,\widetilde M]_t=t\)，则 \(\widetilde M\) 是 \(\widetilde{\mathbb Q}\)-布朗运动。</strong></p>

<p>所以证明 Girsanov 只需要：（1）\([\widetilde W^{\widetilde{\mathbb Q}},\widetilde W^{\widetilde{\mathbb Q}}]_t=t\)；（2）\(\widetilde W^{\widetilde{\mathbb Q}}\) 是 \(\widetilde{\mathbb Q}\)-鞅。</p>

<details>
  <summary>Girsanov 的证明（θ 为常数）</summary>

  <p><strong>第 1 步。</strong> 二次变差不依赖测度，漂移也没有贡献：</p>

\[d[\widetilde W^{\widetilde{\mathbb Q}},\widetilde W^{\widetilde{\mathbb Q}}]_t=(d\widetilde W_t+\widetilde\theta\,dt)^2=(d\widetilde W_t)^2=dt .\]

  <p><strong>第 2 步。</strong> 对 \(s&lt;t\) 和 \(A_s\in\widetilde{\mathcal F}_s\)，换到 \(\widetilde{\mathbb P}\) 下，用 Tower 和鞅 \(\widetilde Z_t=E^{\widetilde{\mathbb P}}[\widetilde Z_T\mid\widetilde{\mathcal F}_t]\)：</p>

\[E^{\widetilde{\mathbb Q}}[\mathbf 1_{A_s}\widetilde W^{\widetilde{\mathbb Q}}_t]=E^{\widetilde{\mathbb P}}[\mathbf 1_{A_s}\widetilde W^{\widetilde{\mathbb Q}}_t\widetilde Z_T]=E^{\widetilde{\mathbb P}}[\mathbf 1_{A_s}\widetilde W^{\widetilde{\mathbb Q}}_t\widetilde Z_t]=E^{\widetilde{\mathbb P}}\big[\mathbf 1_{A_s}f(t,\widetilde W_t)\big],\]

  <p>其中 \(f(t,w)=(w+\widetilde\theta t)\,e^{-\widetilde\theta w-\frac12\widetilde\theta^2t}\)。直接求导：</p>

\[f_t=e^{-\widetilde\theta w-\frac12\widetilde\theta^2t}\,\widetilde\theta\big(1-\tfrac12\widetilde\theta w-\tfrac12\widetilde\theta^2t\big),\quad f_w=e^{-\widetilde\theta w-\frac12\widetilde\theta^2t}\big(1-\widetilde\theta w-\widetilde\theta^2t\big),\quad f_{ww}=e^{-\widetilde\theta w-\frac12\widetilde\theta^2t}\big(-2\widetilde\theta+\widetilde\theta^2w+\widetilde\theta^3t\big),\]

  <p>所以 \(f_t+\frac12f_{ww}=0\)，由 Itô \(df(t,\widetilde W_t)=f_w\,d\widetilde W_t\)：\(f(t,\widetilde W_t)\) 是 \(\widetilde{\mathbb P}\)-鞅。于是</p>

\[E^{\widetilde{\mathbb Q}}[\mathbf 1_{A_s}\widetilde W^{\widetilde{\mathbb Q}}_t]=E^{\widetilde{\mathbb P}}[\mathbf 1_{A_s}f(s,\widetilde W_s)]=E^{\widetilde{\mathbb P}}\big[\mathbf 1_{A_s}(\widetilde W_s+\widetilde\theta s)e^{-\widetilde\theta\widetilde W_s-\frac12\widetilde\theta^2s}\big].\]

  <p>对 \(\widetilde W^{\widetilde{\mathbb Q}}_s\) 做同样的 Tower/TOWK 计算，得到完全相同的右边，所以</p>

\[E^{\widetilde{\mathbb Q}}[\mathbf 1_{A_s}\widetilde W^{\widetilde{\mathbb Q}}_t]=E^{\widetilde{\mathbb Q}}[\mathbf 1_{A_s}\widetilde W^{\widetilde{\mathbb Q}}_s]\quad\text{对所有 }A_s\in\widetilde{\mathcal F}_s .\]

  <p>\(\widetilde W^{\widetilde{\mathbb Q}}_s\) 是 \(\widetilde{\mathcal F}_s\) 可测的，由部分平均得 \(E^{\widetilde{\mathbb Q}}[\widetilde W^{\widetilde{\mathbb Q}}_t\mid\widetilde{\mathcal F}_s]=\widetilde W^{\widetilde{\mathbb Q}}_s\)。\(\widetilde\theta_t\) 随时间变化时思路相同，只是记账多一些。</p>

</details>

<h3 id="mathbb-q-下的价格动态">\(\mathbb Q\) 下的价格动态</h3>

<p>由 Girsanov，\(W^{\mathbb Q}_t=W_t+\theta t\) 是 \([0,T]\) 上的 \(\mathbb Q\)-布朗运动；又 \(\mu-\sigma\theta=r\)，</p>

\[dS_t=\mu S_t\,dt+\sigma S_t\big(dW^{\mathbb Q}_t-\theta\,dt\big)=rS_t\,dt+\sigma S_t\,dW^{\mathbb Q}_t\iff S\overset{\mathbb Q}{\sim}GBM(r,\sigma).\]

<p>\(\theta=\dfrac{\mu-r}{\sigma}\) 是<strong>风险的市场价格</strong>：每单位波动率的超额收益，也就是<strong>夏普比率</strong>。这就回答了第 2 节关于假设 1 的五个问题。</p>

<h2 id="8-假设-2找对冲策略">8. 假设 2：找对冲策略</h2>

<p>先说好消息：\(\frac{d\mathbb Q}{d\mathbb P}\big\vert_{\mathcal F_T}=Z_T&gt;0\)，所以 \(\mathbb P\) 和 \(\mathbb Q\) 等价，<strong>只需证明 \(\mathbb Q[X_T=V_T]=1\)</strong>。</p>

<p>两个事实：</p>

<ol>
  <li>\(e^{-rt}X_t\) 是 \(\mathbb Q\)-鞅：\(d(e^{-rt}X_t)=e^{-rt}\Delta_tS_t\sigma\,dW^{\mathbb Q}_t\)。</li>
  <li>\(M^V_t:=E^{\mathbb Q}[e^{-rT}V_T\mid\mathcal F_t]\) 是 \([0,T]\) 上的 \(\mathbb Q\)-鞅，由 Tower：\(E^{\mathbb Q}[M^V_t\mid\mathcal F_s]=E^{\mathbb Q}[e^{-rT}V_T\mid\mathcal F_s]=M^V_s\)。</li>
</ol>

<p>我们想让这两个鞅成为同一个过程。<strong>假设</strong> \(M^V\) 能写成随机积分，\(dM^V_t=\Gamma_t\,dW^{\mathbb Q}_t\)，\(\Gamma\) 适应。那么取</p>

\[\Delta_t=\frac{\Gamma_t}{e^{-rt}\sigma S_t},\qquad t\le T,\]

<p>就有 \(d(e^{-rt}X_t)=e^{-rt}\Delta_tS_t\sigma\,dW^{\mathbb Q}_t=\Gamma_t\,dW^{\mathbb Q}_t=dM^V_t\)。两者都从 \(x=M^V_0=E^{\mathbb Q}[e^{-rT}V_T]\) 出发，”起点相同 + 动态相同”给出对所有 \(t\) 都有 \(e^{-rt}X_t=M^V_t\)，到 \(T\) 时 \(X_T=V_T\)。</p>

<p>剩下的问题——<em>是不是每个 \(\mathbb Q\)-鞅都能写成 \(\int\Gamma\,dW^{\mathbb Q}\)？</em>——由<strong>鞅表示定理</strong>回答（信息流由布朗运动生成时，答案是肯定的）。换句话说：在布朗运动驱动的世界里，每一个公平赌局都是一种股票交易策略，所以每一份权益都能被对冲——市场是<strong>完备</strong>的。</p>

<h2 id="9-二次协变差与分部积分">9. 二次协变差与分部积分</h2>

<p>对连续的 \(X,Y\) 和 \([0,t]\) 的划分 \(\Pi\)，</p>

\[[X,Y]^\Pi_t=\sum_{j}\big(X_{t_j}-X_{t_{j-1}}\big)\big(Y_{t_j}-Y_{t_{j-1}}\big),\qquad [X,Y]_t=\lim_{\Vert \Pi\Vert \to0}[X,Y]^\Pi_t .\]

<p>对同一个 \(W\) 驱动的 Itô 过程 \(dX_t=\Theta_tdt+\Delta_tdW_t\)，\(dY_t=\phi_tdt+\psi_tdW_t\)，启发式 \(d[X,Y]_t=dX_t\,dY_t\) 给出</p>

\[d[X,Y]_t=\Delta_t\psi_t\,dt,\qquad [X,Y]_t=\int_0^t\Delta_s\psi_s\,ds,\]

<p>\(\Delta\equiv0\) 或 \(\psi\equiv0\) 时 \([X,Y]\equiv0\)。</p>

<details>
  <summary>用极化恒等式证明</summary>

  <p>对任意数有 \(4(a-b)(c-d)=\big((a+c)-(b+d)\big)^2-\big((a-c)-(b-d)\big)^2\)，所以</p>

\[[X,Y]=\tfrac14\big([X+Y,X+Y]-[X-Y,X-Y]\big).\]

  <p>\(X\pm Y\) 是 Itô 过程，\(dW\) 系数为 \(\Delta_t\pm\psi_t\)，所以</p>

\[d[X,Y]_t=\tfrac14\big((\Delta_t+\psi_t)^2-(\Delta_t-\psi_t)^2\big)dt=\Delta_t\psi_t\,dt .\]

</details>

<p><strong>随机分部积分。</strong></p>

\[d(X_tY_t)=X_t\,dY_t+Y_t\,dX_t+d[X,Y]_t=\big(X_t\phi_t+Y_t\Theta_t+\Delta_t\psi_t\big)dt+\big(X_t\psi_t+Y_t\Delta_t\big)dW_t,\]

<p>仍是 Itô 过程。对光滑（没有 \(dW\) 项）的 \(f,g\)，括号项为零，回到普通的乘积法则 \(d(f_tg_t)=f_t\,dg_t+g_t\,df_t\)。</p>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/10/21/mf790-01-foundations/">01｜概率空间、信息流、条件期望与鞅</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-02-brownian-motion/">02｜随机游走、二次变差与布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-03-stochastic-integration/">03｜随机积分</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-04-ito-formula/">04｜Itô 公式、Itô 过程与几何布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-05-black-scholes/">05｜Black–Scholes：复制、偏微分方程与希腊字母</a></li>
  <li><strong>06｜风险中性定价、测度变换与 Girsanov 定理</strong>（本篇）</li>
  <li><a href="/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/">07｜随机微分方程、Feynman–Kac 与停时</a></li>
</ol>

<p><a href="/homepage_cn/2026/10/21/mf790-05-black-scholes/">← 上一篇：Black–Scholes：复制、偏微分方程与希腊字母</a>　·　<a href="/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/">下一篇：随机微分方程、Feynman–Kac 与停时 →</a></p>

<p><em>本系列是我在波士顿大学 Questrom 商学院修读 QST MF 790 Stochastic Calculus（随机分析）时整理的课程笔记，共 7 篇。内容按课程顺序整理，表述、直观解释和几处勘误是我自己加的。文中 \(N(\mu,\sigma^2)\) 的第二个参数一律为方差。如有错漏，欢迎指出。本篇英文版：<a href="https://bobothebest.github.io/homepage_en/2026/10/21/mf790-06-risk-neutral-pricing/">English version</a>。</em></p>]]></content><author><name>张梓源</name></author><category term="随机过程笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 第 05 篇给看涨期权定了价。这一篇用一个公式给任意收益定价： \(V_t=E^{\mathbb Q}\big[e^{-r(T-t)}V_T\mid\mathcal F_t\big]\)。 价格是净现值——但要在另一个概率测度 \(\mathbb Q\) 下算，在 \(\mathbb Q\) 下股票只赚无风险利率。然后回答几个自然的问题：测度变换是什么？为什么 \(\mathbb P\) 和 \(\mathbb Q\) 对什么可能发生意见一致，对多大可能意见不同？Girsanov 定理又是怎么通过平移布朗运动把 \(\mu\) 变成 \(r\) 的？]]></summary></entry><entry><title type="html">随机过程笔记 05｜Black–Scholes：复制、偏微分方程与希腊字母</title><link href="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-05-black-scholes/" rel="alternate" type="text/html" title="随机过程笔记 05｜Black–Scholes：复制、偏微分方程与希腊字母" /><published>2026-10-21T14:05:00+00:00</published><updated>2026-10-21T14:05:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-05-black-scholes</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-05-black-scholes/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>期权的价格就是<strong>复制它所需要的本金</strong>。这一篇搭好 Black–Scholes 市场，写出自融资交易者的财富，再把它和期权价格过程逐项对齐（\(dW\) 项和 \(dt\) 项）。对齐 \(dW\) 项得到 <strong>Delta 对冲</strong>，对齐 \(dt\) 项得到 <strong>Black–Scholes 偏微分方程</strong>。解方程得到 Black–Scholes 公式，对公式求导得到希腊字母。</p>

  <p>一个值得早点注意的意外：股票的期望收益率 \(\mu\) 从价格里<strong>消失</strong>了。</p>
</blockquote>

<hr />

<h2 id="1-市场">1. 市场</h2>

<p>固定 \((\Omega,\mathcal F,\mathbb F,\mathbb P)\) 和布朗运动 \(W\)。两种资产可交易：</p>

<ol>
  <li><strong>股票</strong>（风险资产），\(S\sim GBM(\mu,\sigma)\)：\(\dfrac{dS_t}{S_t}=\mu\,dt+\sigma\,dW_t\)，\(S_0&gt;0\)。\(S_t(\omega)\) 是情景 \(\omega\) 下 \(t\) 时刻一股的价格。</li>
  <li><strong>货币市场</strong>（无风险资产），\(\dfrac{dB_t}{B_t}=r\,dt\)，\(B_0=1\)：0 时刻的 1 元到 \(t\) 时刻变成 \(e^{rt}\) 元，\(r&gt;0\) 为常数。</li>
</ol>

<h2 id="2-自融资策略与财富">2. 自融资策略与财富</h2>

<p><strong>交易策略</strong> \(\Delta\) 是适应过程；\(\Delta_t(\omega)\) 是 \((t,\omega)\) 时持有的股数。初始资金为 \(x\)。<strong>自融资</strong>：不在股票里的钱全部放在货币市场，0 时刻之后没有钱进出。</p>

<p>财富 \(X=X^{x,\Delta}\) 拆成</p>

\[X_t=\underbrace{\Delta_tS_t}_{\text{股票}}+\underbrace{X_t-\Delta_tS_t}_{\text{货币市场}},\]

<p>货币市场部分相当于持有 \((X_t-\Delta_tS_t)/B_t\) “股” \(B\)。</p>

<p><strong>财富动态。</strong> 在 \([t,t+dt]\) 开始时定好头寸：</p>

\[X_{t+dt}-X_t=\Delta_t(S_{t+dt}-S_t)+\frac{X_t-\Delta_tS_t}{B_t}(B_{t+dt}-B_t)\ \xrightarrow{dt\to0}\ dX_t=\Delta_t\,dS_t+(X_t-\Delta_tS_t)\frac{dB_t}{B_t}.\]

<p>代入 \(S\) 和 \(B\) 的动态：</p>

\[dX_t=\big(rX_t+(\mu-r)\Delta_tS_t\big)dt+\sigma\Delta_tS_t\,dW_t,\]

<p>\(X\) 是 Itô 过程。读法：全部资金赚 \(r\)，股票部分再多赚超额收益 \(\mu-r\)，再加上噪声。</p>

<h2 id="3-价格指的是什么">3. “价格”指的是什么</h2>

<p>我们要给欧式<strong>看涨期权</strong>定价：在到期日 \(T\) 以执行价 \(K\) 买入 \(S\) 的权利，收益 \((S_T-K)^+=\max(S_T-K,0)\)。</p>

<p><strong>无套利价格 = 复制成本。</strong> 如果从 \(x\) 出发、用某个 \(\Delta\) 自融资交易，最后以概率 1 得到 \(X^{x,\Delta}_T=(S_T-K)^+\)，那么看涨期权的价格必须是 \(x\)。任何别的价格都能让你卖贵的、买便宜的，无风险地赚差价。</p>

<p><strong>起点相同 + 动态相同 = 同一个过程。</strong> 若 \(dY_t=\Theta^Y_tdt+\Delta^Y_tdW_t\)，\(dZ_t=\Theta^Z_tdt+\Delta^Z_tdW_t\)，且 \(Y_0=Z_0\)，\(\Theta^Y\equiv\Theta^Z\)，\(\Delta^Y\equiv\Delta^Z\)，则对所有 \(t\le T\) 以概率 1 有 \(Y_t=Z_t\)。这就是一句话版的复制论证：对齐起点，再对齐 \(dt\) 项和 \(dW\) 项。</p>

<h2 id="4-把财富和期权价格对齐">4. 把财富和期权价格对齐</h2>

<p>令 \(c(t,s)\) 为 \(S_t=s\) 时 \(t\) 时刻的看涨期权价格。已知 \(c(T,s)=(s-K)^+\)，要求 \(t&lt;T\) 时的 \(c\)。用<strong>贴现</strong>后的过程（代数更简单）：\(e^{-rt}X_t\) 和 \(e^{-rt}c(t,S_t)\)。</p>

<p><strong>贴现财富。</strong> 用第 04 篇的贴现公式，</p>

\[d(e^{-rt}X_t)=e^{-rt}(\mu-r)\Delta_tS_t\,dt+e^{-rt}\sigma\Delta_tS_t\,dW_t .\]

<p><strong>贴现价格。</strong> 假设 \(c\) 光滑（严格说收益函数在 \(s=K\) 处不可微，但 \(t&lt;T\) 时 \(c\) 是光滑的）。由 \(d[S,S]_t=\sigma^2S_t^2dt\)，记 \((\cdot)=(t,S_t)\)：</p>

\[d\big(e^{-rt}c(t,S_t)\big)=e^{-rt}\Big(-rc+c_t+c_s\,\mu S_t+\tfrac12c_{ss}\,\sigma^2S_t^2\Big)(\cdot)\,dt+e^{-rt}c_s(\cdot)\,\sigma S_t\,dW_t .\]

<p>令 \(x=c(0,S_0)\) 并对齐：</p>

<ul>
  <li>
    <p><strong>\(dW\) 项：</strong> \(e^{-rt}\Delta_t\sigma S_t=e^{-rt}c_s(t,S_t)\sigma S_t\)，所以</p>

\[\boxed{\ \Delta_t=c_s(t,S_t)\ }\quad\text{——Delta 对冲。}\]
  </li>
  <li>
    <p><strong>\(dt\) 项：</strong> \(\Delta_t(\mu-r)S_t=-rc+c_t+c_s\mu S_t+\frac12c_{ss}\sigma^2S_t^2\)。代入 \(\Delta_t=c_s\)，两边的 \(c_s\mu S_t\) <strong>抵消</strong>，剩下</p>

\[0=-rc(t,S_t)+c_t(t,S_t)+rS_t\,c_s(t,S_t)+\tfrac12\sigma^2S_t^2\,c_{ss}(t,S_t).\]
  </li>
</ul>

<p>只要对所有 \(t&lt;T\)、\(s&gt;0\) 都成立就够了，这就是 <strong>Black–Scholes 偏微分方程</strong>：</p>

\[\begin{cases}0=-rc(t,s)+c_t(t,s)+rs\,c_s(t,s)+\tfrac12\sigma^2s^2\,c_{ss}(t,s),&amp;t&lt;T,\ s&gt;0,\\[4pt] c(T,s)=(s-K)^+,&amp;s&gt;0.\end{cases}\]

<p><strong>\(\mu\) 不见了。</strong> 对冲把股票的风险完全抵消掉了，所以股票预期涨多快和价格无关。</p>

<h2 id="5-解方程">5. 解方程</h2>

<p>两步：（1）假设解 \(c\) 存在，求出它的表达式；（2）验证这个表达式确实满足方程。</p>

<p><strong>第 1 步。</strong> 令 \(\widetilde S\sim GBM(r,\sigma)\)，在某个测度 \(\widetilde{\mathbb P}\) 下、布朗运动为 \(\widetilde W\)——注意<strong>换了测度</strong>，漂移是 <strong>\(r\) 而不是 \(\mu\)</strong>。由 Itô，</p>

\[d\big(e^{-rt}c(t,\widetilde S_t)\big)=e^{-rt}\big(\underbrace{-rc+c_t+r\widetilde S_tc_s+\tfrac12\sigma^2\widetilde S_t^2c_{ss}}_{=0\ \text{（由方程）}}\big)dt+e^{-rt}c_s\,\sigma\widetilde S_t\,d\widetilde W_t,\]

<p>所以贴现价格是 <strong>\(\widetilde{\mathbb P}\) 下的鞅</strong>。结合终值条件，</p>

\[e^{-rt}c(t,\widetilde S_t)=E^{\widetilde{\mathbb P}}\big[e^{-rT}c(T,\widetilde S_T)\mid\widetilde{\mathcal F}_t\big]\quad\Longrightarrow\quad c(t,\widetilde S_t)=E^{\widetilde{\mathbb P}}\big[e^{-r(T-t)}(\widetilde S_T-K)^+\mid\widetilde{\mathcal F}_t\big].\]

<p>用 \(\widetilde S_t\) 表示 \(\widetilde S_T\)：</p>

\[\widetilde S_T=\widetilde S_t\exp\Big\{\big(r-\tfrac12\sigma^2\big)(T-t)+\sigma(\widetilde W_T-\widetilde W_t)\Big\}.\]

<p>\(\widetilde S_t\) 在 \(t\) 时已知，\(\widetilde W_T-\widetilde W_t\perp\!\!\!\perp\widetilde{\mathcal F}_t\)，所以可以把 \(\widetilde S_t\) 固定为 \(s\)。由 \(\widetilde W_T-\widetilde W_t\sim N(0,T-t)\)：</p>

\[c(t,s)=\frac{e^{-r(T-t)}}{\sqrt{2\pi(T-t)}}\int_{-\infty}^{\infty}\Big(s\,e^{(r-\frac12\sigma^2)(T-t)+\sigma z}-K\Big)^+e^{-\frac{z^2}{2(T-t)}}\,dz .\]

<p>算出这个积分就是 <strong>Black–Scholes 公式</strong>：</p>

\[\boxed{\ c(t,s)=s\,N\big(d_+(T-t,s)\big)-Ke^{-r(T-t)}N\big(d_-(T-t,s)\big)\ }\]

\[d_\pm(\tau,s)=\frac1{\sigma\sqrt\tau}\Big(\log\frac sK+\big(r\pm\tfrac12\sigma^2\big)\tau\Big),\qquad N(y)=\frac1{\sqrt{2\pi}}\int_{-\infty}^ye^{-z^2/2}\,dz .\]

<p>公式里只出现<strong>剩余期限</strong> \(\tau=T-t\)，不出现绝对时间。</p>

<p><strong>第 2 步。</strong> 直接验证这个 \(c\) 满足方程且 \(c(T,s)=(s-K)^+\)（是一道作业题；关键一步就是下面第 7 节验证的恒等式）。</p>

<h2 id="6-希腊字母">6. 希腊字母</h2>

<p>把 \(c\) 看成 \(c(t,s;T,K,r,\sigma)\)。对这些输入的敏感度就是<strong>希腊字母</strong>。记 \(\tau=T-t\)，\(d_\pm=d_\pm(\tau,s)\)。</p>

<table>
  <thead>
    <tr>
      <th>希腊字母</th>
      <th>定义</th>
      <th>公式</th>
      <th>符号</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>Delta</td>
      <td>\(c_s\)</td>
      <td>\(N(d_+)\)</td>
      <td>\(&gt;0\)</td>
    </tr>
    <tr>
      <td>Gamma</td>
      <td>\(c_{ss}\)</td>
      <td>\(\dfrac{N'(d_+)}{\sigma s\sqrt\tau}\)</td>
      <td>\(&gt;0\)</td>
    </tr>
    <tr>
      <td>Theta</td>
      <td>\(c_t\)</td>
      <td>\(-rKe^{-r\tau}N(d_-)-\dfrac{\sigma s}{2\sqrt\tau}N'(d_+)\)</td>
      <td>\(&lt;0\)</td>
    </tr>
    <tr>
      <td>Vega</td>
      <td>\(c_\sigma\)</td>
      <td>\(s\sqrt\tau\,N'(d_+)\)</td>
      <td>\(&gt;0\)</td>
    </tr>
  </tbody>
</table>

<p><strong>Delta。</strong> 股价越高，看涨期权越值钱。复制策略是 \(\Delta_t=c_s(t,S_t)\)：只看 \(S\) 的一阶变化（假装 \(dt=0\)），\(dX_t=c_s\,dS_t=dc(t,S_t)\)，对冲和期权同步变动——我们是 <strong>Delta 中性</strong>的。</p>

<p><strong>Gamma。</strong> \(c_{ss}&gt;0\)：看涨期权关于股价是<strong>凸</strong>的。看到 \(S\) 的二阶变化，</p>

\[dX_t=c_s\,dS_t,\qquad dc(t,S_t)=c_s\,dS_t+\tfrac12c_{ss}\,d[S,S]_t .\]

<p><em>“做多凸性”的直观。</em> 持有看涨期权、卖空 \(c_s\) 股。Delta 对冲是凸价格曲线的一条切线；股价无论往哪边跳，曲线都在切线上方，所以对冲后的组合从任意方向的变动里都赚到 \(\frac12c_{ss}(dS)^2\ge0\)。Gamma 在执行价附近最大，越临近到期越集中。</p>

<p><strong>Theta。</strong> \(c_t&lt;0\)：其他条件不变时，随着时间流逝期权贬值。这是做多 Gamma 的代价：把所有二阶变化都算上，</p>

\[dX_t=c_s\,dS_t+(c-c_sS_t)\,r\,dt,\qquad dc(t,S_t)=c_t\,dt+c_s\,dS_t+\tfrac12c_{ss}\sigma^2S_t^2\,dt,\]

<p>而方程说这两者相等——<strong>完美对冲</strong>。Theta 恰好支付了 Gamma 的收益加上融资成本。</p>

<p><strong>Vega。</strong> \(c_\sigma&gt;0\)：波动率越大，价格变动越大；上涨对看涨期权有利，下跌最多跌到 0。Vega 为正 = <strong>做多波动率</strong>。</p>

<h2 id="7-验证对冲是完美的">7. 验证：对冲是完美的</h2>

<p>由 \(c=SN(d_+)-Ke^{-r\tau}N(d_-)\)，\(c_s=N(d_+)\)，\(c_{ss}=\frac{N'(d_+)}{\sigma S\sqrt\tau}\) 以及表中的 \(c_t\)，需要验证 \((c-c_sS)\,r=c_t+\frac12c_{ss}\sigma^2S^2\)：</p>

\[\text{左边}=\big[SN(d_+)-Ke^{-r\tau}N(d_-)-SN(d_+)\big]r=-rKe^{-r\tau}N(d_-),\]

\[\text{右边}=-rKe^{-r\tau}N(d_-)-\frac{\sigma S}{2\sqrt\tau}N'(d_+)+\frac12\cdot\frac{\sigma S}{\sqrt\tau}N'(d_+)=-rKe^{-r\tau}N(d_-).\ \checkmark\]

<p>Theta 项和 Gamma 项正好抵消。</p>

<h2 id="8-隐含波动率">8. 隐含波动率</h2>

<p>在 Black–Scholes 下，收益率的条件均值和方差不随时间变化：</p>

\[E\Big[\frac{dS_t}{S_t}\,\Big\vert\,\mathcal F_t\Big]=\mu\,dt,\qquad\mathrm{Var}\Big[\frac{dS_t}{S_t}\,\Big\vert\,\mathcal F_t\Big]=\sigma^2\,d[W,W]_t=\sigma^2\,dt .\]

<p>现实中波动率不是常数。估计它有两种办法：</p>

<ul>
  <li>用历史收益率算<strong>历史波动率</strong>（向后看）；</li>
  <li>用期权价格反推<strong>隐含波动率</strong>（向前看）。</li>
</ul>

<p>对到期日 \(T\)、执行价 \(K\) 的欧式看涨期权，记 \(C_{BS}(\sigma,K,T)\) 为 Black–Scholes 价格，\(C_m(K,T)\) 为市场价格。<strong>隐含波动率</strong> \(\sigma_{imp}=\sigma_{imp}(K,T)\) 由下式定义：</p>

\[C_{BS}(\sigma_{imp},K,T)=C_m(K,T).\]

<p>因为 Vega \(&gt;0\)，\(C_{BS}\) 关于 \(\sigma\) 单调递增，所以解唯一。期权通常<strong>用隐含波动率报价</strong>，而不是直接报价格。如果世界完全符合 Black–Scholes，对所有 \(K,T\) 都有 \(\sigma_{imp}(K,T)=\sigma\)。实际数据中 \(\sigma_{imp}\) 随执行价和期限变化——这就是<strong>波动率微笑 / 偏斜</strong>，是市场在告诉我们这个模型只是近似。</p>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/10/21/mf790-01-foundations/">01｜概率空间、信息流、条件期望与鞅</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-02-brownian-motion/">02｜随机游走、二次变差与布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-03-stochastic-integration/">03｜随机积分</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-04-ito-formula/">04｜Itô 公式、Itô 过程与几何布朗运动</a></li>
  <li><strong>05｜Black–Scholes：复制、偏微分方程与希腊字母</strong>（本篇）</li>
  <li><a href="/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/">06｜风险中性定价、测度变换与 Girsanov 定理</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/">07｜随机微分方程、Feynman–Kac 与停时</a></li>
</ol>

<p><a href="/homepage_cn/2026/10/21/mf790-04-ito-formula/">← 上一篇：Itô 公式、Itô 过程与几何布朗运动</a>　·　<a href="/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/">下一篇：风险中性定价、测度变换与 Girsanov 定理 →</a></p>

<p><em>本系列是我在波士顿大学 Questrom 商学院修读 QST MF 790 Stochastic Calculus（随机分析）时整理的课程笔记，共 7 篇。内容按课程顺序整理，表述、直观解释和几处勘误是我自己加的。文中 \(N(\mu,\sigma^2)\) 的第二个参数一律为方差。如有错漏，欢迎指出。本篇英文版：<a href="https://bobothebest.github.io/homepage_en/2026/10/21/mf790-05-black-scholes/">English version</a>。</em></p>]]></content><author><name>张梓源</name></author><category term="随机过程笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 期权的价格就是复制它所需要的本金。这一篇搭好 Black–Scholes 市场，写出自融资交易者的财富，再把它和期权价格过程逐项对齐（\(dW\) 项和 \(dt\) 项）。对齐 \(dW\) 项得到 Delta 对冲，对齐 \(dt\) 项得到 Black–Scholes 偏微分方程。解方程得到 Black–Scholes 公式，对公式求导得到希腊字母。 一个值得早点注意的意外：股票的期望收益率 \(\mu\) 从价格里消失了。]]></summary></entry><entry><title type="html">随机过程笔记 04｜Itô 公式、Itô 过程与几何布朗运动</title><link href="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-04-ito-formula/" rel="alternate" type="text/html" title="随机过程笔记 04｜Itô 公式、Itô 过程与几何布朗运动" /><published>2026-10-21T14:04:00+00:00</published><updated>2026-10-21T14:04:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-04-ito-formula</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-04-ito-formula/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>Itô 公式是随机分析里的链式法则。和普通链式法则相比它<strong>多了一项</strong> \(\frac12f''\,d[W,W]_t=\frac12f''\,dt\)，原因正是第 02 篇的 \([W,W]_t=t&gt;0\)。</p>

  <p>实际用时只需要二阶泰勒展开加上乘法表
\(dt^2=0,\quad dt\,dW_t=0,\quad (dW_t)^2=dt.\)
这一篇推导公式，推广到 Itô 过程，并用它搭出标准的股价模型——几何布朗运动。</p>
</blockquote>

<hr />

<h2 id="1-普通链式法则为什么不成立">1. 普通链式法则为什么不成立</h2>

<p>对光滑路径 \(g\)，\(f(g_t)-f(g_0)=\int_0^tf'(g_u)\,g'_u\,du\)。照搬过来会得到 \(f(W_t)=f(W_0)+\int_0^tf'(W_u)\,dW_u\)。拿 \(f(x)=\frac12x^2\) 检验，它预测 \(\frac12W_t^2=\int_0^tW_u\,dW_u\)。用 \([0,t]\) 的划分直接算：</p>

\[\frac12W_t^2=\frac12\sum_j\big(W_{t_j}^2-W_{t_{j-1}}^2\big)=\sum_jW_{t_{j-1}}(W_{t_j}-W_{t_{j-1}})+\frac12\sum_j(W_{t_j}-W_{t_{j-1}})^2\ \xrightarrow{\Vert \Pi\Vert \to0}\ \int_0^tW_u\,dW_u+\frac12t.\]

<p>（验算：\(W_{t_{j-1}}W_{t_j}-W_{t_{j-1}}^2+\frac12(W_{t_j}-W_{t_{j-1}})^2=\frac12W_{t_j}^2-\frac12W_{t_{j-1}}^2\)。）</p>

<p>多出来的 \(\frac12t\) 就是二次变差。所以链式法则需要二阶修正。</p>

<h2 id="2-itô-公式">2. Itô 公式</h2>

<p>\(W\) 是布朗运动，\(f\) 光滑：</p>

\[f(W_t)-f(W_0)=\int_0^tf'(W_u)\,dW_u+\frac12\int_0^tf''(W_u)\,d[W,W]_u .\]

<p>简写：\(df(W_t)=f'(W_t)\,dW_t+\frac12f''(W_t)\,dt\)。注意 “\(df(W_t)\)” 本身没有意义——它只是积分方程的简写。</p>

<p><strong>启发式推导。</strong> 二阶泰勒 \(f(x+y)-f(x)=f'(x)y+\frac12f''(x)y^2\)，令 \(x=W_t\)，\(y=dW_t\)，并用 \((dW_t)^2=d[W,W]_t\)：</p>

\[df(W_t)=f'(W_t)\,dW_t+\frac12f''(W_t)\,(dW_t)^2=f'(W_t)\,dW_t+\frac12f''(W_t)\,d[W,W]_t .\]

<p>这不严格——两项泰勒展开并不精确，把 \(dW_t\) 代进去也只是形式上的——但答案是对的，大家也都是这么用的。</p>

<details>
  <summary>证明梗概（显式写出泰勒余项）</summary>

  <p>设 \(f,f',f''\) 连续有界。写出带余项的精确泰勒展开</p>

\[f(x+y)=f(x)+f'(x)y+\tfrac12f''(x)y^2+R(x,y)\,y^2,\qquad R(x,y)=\frac{f(x+y)-f(x)-f'(x)y-\frac12f''(x)y^2}{y^2}.\]

  <p>\(R\) 是”每单位 \(y^2\) 的误差”。用两次洛必达，\(\lim_{y\to0}R(x,y)=\lim_{y\to0}\frac12\big(f''(x+y)-f''(x)\big)=0\)，即余项比 \(y^2\) 更高阶。</p>

  <p>在划分上逐段相加，\(x=W_{t_{j-1}}\)，\(x+y=W_{t_j}\)：</p>

\[f(W_t)-f(W_0)=\underbrace{\sum_jf'(W_{t_{j-1}})\Delta W_j}_{(1)}+\underbrace{\tfrac12\sum_jf''(W_{t_{j-1}})(\Delta W_j)^2}_{(2)}+\underbrace{\sum_jR(W_{t_{j-1}},\Delta W_j)(\Delta W_j)^2}_{(3)}.\]

  <ul>
    <li>(1) \(\to\int_0^tf'(W_u)\,dW_u\)（随机积分，第 03 篇）。</li>
    <li>(2) 把 \((\Delta W_j)^2\) 拆成 \(\Delta t_j+\big((\Delta W_j)^2-\Delta t_j\big)\)。第一部分给出 \(\int_0^tf''(W_u)\,du\)。第二部分 \(\mathcal Z=\sum_jf''(W_{t_{j-1}})\big((\Delta W_j)^2-\Delta t_j\big)\) 均值为 0（因为 \(W_t^2-t\) 是鞅），方差 \(\le K(f,t)\,\Vert \Pi\Vert \to0\)，所以 \(\mathcal Z\to0\)。</li>
    <li>(3) \(\vert(3)\vert\le\max_j\vert R(W_{t_{j-1}},\Delta W_j)\vert\cdot[W,W]^\Pi_t\to0\cdot t=0\)。</li>
  </ul>

</details>

<p><strong>两个例子。</strong></p>

<ul>
  <li>\(f(x)=e^x\)：\(e^{W_t}=1+\int_0^te^{W_u}\,dW_u+\frac12\int_0^te^{W_u}\,du\)。</li>
  <li>\(f(x)=\sin x\)：\(\sin W_t=\int_0^t\cos W_u\,dW_u-\frac12\int_0^t\sin W_u\,du\)。\(du\) 项会变号，所以 \(\sin W_t\) 既不是下鞅、上鞅，也不是鞅。</li>
</ul>

<p><strong>经验法则：</strong> \(dW\) 部分是鞅，\(dt\) 部分是漂移。\(W\) 的函数是鞅，当且仅当它的 \(dt\) 项为零。</p>

<h2 id="3-含时间的-itô-公式">3. 含时间的 Itô 公式</h2>

<p>若 \(f(t,x)\) 的 \(f_t,f_x,f_{xx}\) 连续：</p>

\[df(t,W_t)=f_t(t,W_t)\,dt+f_x(t,W_t)\,dW_t+\frac12f_{xx}(t,W_t)\,d[W,W]_t .\]

<p><strong>启发式推导。</strong> 二元泰勒</p>

\[f(t+s,x+y)-f(t,x)=f_ts+f_xy+\tfrac12f_{tt}s^2+f_{tx}sy+\tfrac12f_{xx}y^2,\]

<p>令 \(s=dt\)，\(y=dW_t\)，再用乘法表 \(dt^2=0\)，\(dt\,dW_t=0\)，\((dW_t)^2=dt\)。为什么两个交叉项消失？\(\Vert \Pi\Vert \to0\) 时</p>

\[\sum_i(t_i-t_{i-1})^2\le\max_i(t_i-t_{i-1})\cdot t\to0,\qquad \sum_i(t_i-t_{i-1})\vert W_{t_i}-W_{t_{i-1}}\vert\le\max_i\vert W_{t_i}-W_{t_{i-1}}\vert\cdot t\to0.\]

<h3 id="指数鞅重要">指数鞅（重要）</h3>

<p>\(f(t,x)=e^{\alpha x-\frac12\alpha^2t}\) 有 \(f_t=-\frac12\alpha^2f\)，\(f_x=\alpha f\)，\(f_{xx}=\alpha^2f\)，\(dt\) 项正好抵消：</p>

\[df(t,W_t)=\alpha f(t,W_t)\,dW_t\quad\Longrightarrow\quad e^{\alpha W_t-\frac12\alpha^2t}=1+\int_0^t\alpha\,e^{\alpha W_u-\frac12\alpha^2u}\,dW_u\]

<p>是<strong>鞅</strong>。\(-\frac12\alpha^2t\) 正是抵消 \(e^{\alpha W_t}\) 本来会有的漂移所需的 “Itô 修正”。</p>

<h2 id="4-itô-过程">4. Itô 过程</h2>

<p><strong>Itô 过程</strong>同时含普通积分和随机积分：</p>

\[X_t=X_0+\underbrace{\int_0^t\Theta_u\,du}_{A_t:\ \text{有限变差部分}}+\underbrace{\int_0^t\Delta_u\,dW_u}_{M_t:\ \text{鞅部分}},\qquad dX_t=\Theta_t\,dt+\Delta_t\,dW_t,\]

<p>\(\Theta,\Delta\) 适应且使积分存在，\(X_0\) 为常数。除非 \(\Theta\equiv0\)，\(A\) 不是鞅。</p>

<p>例：\(\Theta\equiv0,\ \Delta\equiv1,\ X_0=x\) 给出 \(X_t=x+W_t\)，从 \(x\) 出发的布朗运动；\(\Delta\equiv0\) 给出光滑过程 \(X_t=X_0+\int_0^t\Theta_u\,du\)。</p>

<p><strong>二次变差。</strong> 只有 \(dW\) 部分有贡献：</p>

\[d[X,X]_t=(dX_t)^2=\Theta_t^2\,dt^2+2\Theta_t\Delta_t\,dt\,dW_t+\Delta_t^2\,(dW_t)^2=\Delta_t^2\,dt,\qquad [X,X]_t=\int_0^t\Delta_u^2\,du.\]

<p><strong>对 Itô 过程积分。</strong> 对适应的 \(\Gamma\)，</p>

\[\int_0^t\Gamma_u\,dX_u:=\int_0^t\Gamma_u\Theta_u\,du+\int_0^t\Gamma_u\Delta_u\,dW_u,\]

<p>要求 \(\int_0^t\vert\Gamma_u\Theta_u\vert du&lt;\infty\) 且 \(E\int_0^t\Gamma_u^2\Delta_u^2du&lt;\infty\)。若 \(X\) 是股价，这就是持有 \(\Gamma\) 股的交易盈亏。结果 \(Y_t=\int_0^t\Gamma_u\,dX_u\) 仍是 Itô 过程（只有 \(\Theta\equiv0\) 时才是鞅），\([Y,Y]_t=\int_0^t\Gamma_u^2\Delta_u^2\,du\)。</p>

<h2 id="5-itô-过程的-itô-公式">5. Itô 过程的 Itô 公式</h2>

<p>对好的 \(f(t,x)\)（光滑、导数有界）：</p>

\[df(t,X_t)=f_t(t,X_t)\,dt+f_x(t,X_t)\,dX_t+\frac12f_{xx}(t,X_t)\,d[X,X]_t .\]

<p>代入 \(dX_t=\Theta_tdt+\Delta_tdW_t\) 和 \(d[X,X]_t=\Delta_t^2dt\)：</p>

\[df(t,X_t)=\underbrace{\Big(f_t+f_x\Theta_t+\tfrac12f_{xx}\Delta_t^2\Big)dt}_{\text{有限变差}}+\underbrace{f_x\,\Delta_t\,dW_t}_{\text{鞅}} .\]

<p>所以 <strong>Itô 过程的函数仍是 Itô 过程</strong>——但一般不保持鞅性（比如 \(W\) 是鞅，\(W^2\) 是下鞅）。</p>

<p>记法：假装二阶泰勒展开是精确的，再套乘法表，用 \(dt\,dX_t=dt(\Theta_tdt+\Delta_tdW_t)=0\) 和 \((dX_t)^2=\Delta_t^2dt\)。</p>

<p><strong>贴现</strong>（第 05–06 篇天天用）。若 \(dY_t=\Theta_tdt+\Delta_tdW_t\)，对 \(f(t,y)=e^{-rt}y\)（\(f_t=-rf\)，\(f_y=e^{-rt}\)，\(f_{yy}=0\)）用公式：</p>

\[d(e^{-rt}Y_t)=e^{-rt}(\Theta_t-rY_t)\,dt+e^{-rt}\Delta_t\,dW_t .\]

<h2 id="6-几何布朗运动">6. 几何布朗运动</h2>

<p>设 \(\mu=\{\mu_t\}\)，\(\sigma=\{\sigma_t\}\) 适应，\(\int_0^t\vert\mu_s\vert ds&lt;\infty\)，\(E\int_0^t\sigma_s^2ds&lt;\infty\)。<strong>（广义）几何布朗运动</strong>，记作 \(S\sim GBM(\mu,\sigma)\)：</p>

\[S_t=S_0\exp\Big\{\int_0^t\Big(\mu_u-\tfrac12\sigma_u^2\Big)du+\int_0^t\sigma_u\,dW_u\Big\},\qquad S_0&gt;0.\]

<p>这是最常用的股价模型。\(\mu,\sigma\) 为常数时</p>

\[S_t=S_0\exp\Big\{\big(\mu-\tfrac12\sigma^2\big)t+\sigma W_t\Big\}=S_0e^{\mu t}\cdot\underbrace{e^{\sigma W_t-\frac12\sigma^2t}}_{\text{指数鞅}} .\]

<p><strong>动态。</strong> 令 \(X_t=\int_0^t(\mu_u-\frac12\sigma_u^2)du+\int_0^t\sigma_udW_u\)，则 \(S_t=f(X_t)\)，\(f(x)=S_0e^x\)（\(f=f'=f''\)）：</p>

\[dS_t=S_t\Big(\big(\mu_t-\tfrac12\sigma_t^2\big)dt+\sigma_tdW_t\Big)+\tfrac12S_t\sigma_t^2dt\quad\Longrightarrow\quad\frac{dS_t}{S_t}=\mu_t\,dt+\sigma_t\,dW_t .\]

<p>\(dS_t/S_t\) 是 \([t,t+dt]\) 上的瞬时收益率。\(\mu_t,\sigma_t\) 是 \(\mathcal F_t\) 可测的，\(dW_t\perp\!\!\!\perp\mathcal F_t\)，所以</p>

\[E\Big[\frac{dS_t}{S_t}\,\Big\vert\,\mathcal F_t\Big]=\mu_t\,dt,\qquad \mathrm{Var}\Big[\frac{dS_t}{S_t}\,\Big\vert\,\mathcal F_t\Big]=\sigma_t^2\,dt,\]

<p>\(\mu\) 和 \(\sigma\) 就是收益率的<strong>漂移</strong>和<strong>波动率</strong>。指数里的 \(-\frac12\sigma^2\) 又是 Itô 修正：对数价格的增长比期望收益率慢。</p>

<h2 id="7-应用确定性函数的随机积分服从正态">7. 应用：确定性函数的随机积分服从正态</h2>

<p><strong>结论。</strong> 若 \(f\) 是确定性（非随机）的，则</p>

\[\int_0^tf_u\,dW_u\sim N\Big(0,\ \int_0^tf_u^2\,du\Big).\]

<details>
  <summary>用指数鞅证明</summary>

  <p>取 \(S\sim GBM(0,\alpha f)\)，\(S_0=1\)，\(\alpha\in\mathbb R\)。漂移为 0，\(S\) 是鞅，所以</p>

\[1=E[S_t]=E\Big[e^{\alpha\int_0^tf_udW_u-\frac12\alpha^2\int_0^tf_u^2du}\Big]=e^{-\frac12\alpha^2\int_0^tf_u^2du}\,E\Big[e^{\alpha\int_0^tf_udW_u}\Big],\]

  <p>非随机的因子可以提出来。于是 \(E\big[e^{\alpha\int_0^tf_udW_u}\big]=e^{\frac12\alpha^2\int_0^tf_u^2du}\)，正是 \(N\big(0,\int_0^tf_u^2du\big)\) 的矩母函数（\(X\sim N(0,\sigma^2)\) 时 \(Ee^{\alpha X}=e^{\frac12\alpha^2\sigma^2}\)），矩母函数唯一确定分布。</p>

</details>

<p>方差 \(\int_0^tf_u^2du\) 正是 Itô 等距给出的；新的信息是分布是<strong>正态</strong>的。第 07 篇的 OU 过程会用到这个结论。</p>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/10/21/mf790-01-foundations/">01｜概率空间、信息流、条件期望与鞅</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-02-brownian-motion/">02｜随机游走、二次变差与布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-03-stochastic-integration/">03｜随机积分</a></li>
  <li><strong>04｜Itô 公式、Itô 过程与几何布朗运动</strong>（本篇）</li>
  <li><a href="/homepage_cn/2026/10/21/mf790-05-black-scholes/">05｜Black–Scholes：复制、偏微分方程与希腊字母</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/">06｜风险中性定价、测度变换与 Girsanov 定理</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/">07｜随机微分方程、Feynman–Kac 与停时</a></li>
</ol>

<p><a href="/homepage_cn/2026/10/21/mf790-03-stochastic-integration/">← 上一篇：随机积分</a>　·　<a href="/homepage_cn/2026/10/21/mf790-05-black-scholes/">下一篇：Black–Scholes：复制、偏微分方程与希腊字母 →</a></p>

<p><em>本系列是我在波士顿大学 Questrom 商学院修读 QST MF 790 Stochastic Calculus（随机分析）时整理的课程笔记，共 7 篇。内容按课程顺序整理，表述、直观解释和几处勘误是我自己加的。文中 \(N(\mu,\sigma^2)\) 的第二个参数一律为方差。如有错漏，欢迎指出。本篇英文版：<a href="https://bobothebest.github.io/homepage_en/2026/10/21/mf790-04-ito-formula/">English version</a>。</em></p>]]></content><author><name>张梓源</name></author><category term="随机过程笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 Itô 公式是随机分析里的链式法则。和普通链式法则相比它多了一项 \(\frac12f''\,d[W,W]_t=\frac12f''\,dt\)，原因正是第 02 篇的 \([W,W]_t=t&gt;0\)。 实际用时只需要二阶泰勒展开加上乘法表 \(dt^2=0,\quad dt\,dW_t=0,\quad (dW_t)^2=dt.\) 这一篇推导公式，推广到 Itô 过程，并用它搭出标准的股价模型——几何布朗运动。]]></summary></entry><entry><title type="html">随机过程笔记 03｜随机积分</title><link href="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-03-stochastic-integration/" rel="alternate" type="text/html" title="随机过程笔记 03｜随机积分" /><published>2026-10-21T14:03:00+00:00</published><updated>2026-10-21T14:03:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-03-stochastic-integration</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-03-stochastic-integration/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>随机积分其实就是<strong>累计的交易盈亏（P/L）</strong>：持有 \(\Delta\) 股，价格变动 \(dW\)，加起来。这一篇分三步构造 \(\int_0^t\Delta_s\,dW_s\)——离散时间、”买入持有”的简单策略、用逼近得到的一般策略，并说明同样的五条性质每一步都保留下来：</p>

  <p><strong>线性 · 适应 · 鞅 · Itô 等距 \(\mathrm{Var}[I_t]=E\int_0^t\Delta_s^2ds\) · \([I,I]_t=\int_0^t\Delta_s^2ds\)。</strong></p>
</blockquote>

<hr />

<h2 id="1-离散时间积分就是交易盈亏">1. 离散时间：积分就是交易盈亏</h2>

<p>设 \(M=\{M_n\}\) 是鞅（想成股价）。对交易策略 \(\Delta=\{\Delta_n\}\) 定义</p>

\[I_0=0,\qquad I_n=\sum_{j=1}^n\underbrace{\Delta_j}_{\text{持股数}}\ \underbrace{dM_j}_{\text{价格变动}},\qquad dM_j=M_j-M_{j-1}.\]

<p>\(\Delta_j\,dM_j\) 是 \([j-1,j]\) 上的盈亏，\(I_n\) 是 \([0,n]\) 上的累计盈亏。</p>

<p><strong>可料（predictable）策略。</strong> 我们在 \([j-1,j]\) 上持有 \(\Delta_j\) 股，而投资时不能看到未来，所以 \(\Delta_j\) 必须在 \(j-1\) 时刻就已知：\(\Delta_j\) 是 \(\mathcal F_{j-1}\) 可测的。这样的 \(\Delta=\{\Delta_n\}_{n\ge1}\) 叫<strong>可料</strong>的（\(\Delta_0\) 没有定义，因为 \(\mathcal F_{-1}\) 不存在）。</p>

<h3 id="isumdeltadm-的性质delta-可料m-是鞅">\(I=\sum\Delta\,dM\) 的性质（\(\Delta\) 可料，\(M\) 是鞅）</h3>

<ol>
  <li><strong>对 \(\Delta\) 线性：</strong> \(I(\alpha\Delta+\beta\psi)=\alpha I(\Delta)+\beta I(\psi)\)——拆开求和即可。</li>
  <li><strong>适应：</strong> \(\Delta_1,\dots,\Delta_n\) 在 \(n-1\) 时刻已知，\(M_0,\dots,M_n\) 在 \(n\) 时刻已知，所以 \(I_n\) 是 \(\mathcal F_n\) 可测的。</li>
  <li>
    <p><strong>鞅：</strong> \(I_{n+1}-I_n=\Delta_{n+1}(M_{n+1}-M_n)\)，\(\Delta_{n+1}\) 是 \(\mathcal F_n\) 可测的，所以</p>

\[E[I_{n+1}-I_n\mid\mathcal F_n]=\Delta_{n+1}\,E[M_{n+1}-M_n\mid\mathcal F_n]=0.\]
  </li>
  <li><strong>二次变差：</strong> \([I,I]_n=\sum_j\Delta_j^2(dM_j)^2=\sum_j\Delta_j^2\,d[M,M]_j\)。</li>
  <li>
    <p><strong>方差：</strong> \(I\) 是鞅且 \(I_0=0\)，由第 02 篇结论 1，</p>

\[\mathrm{Var}[I_n]=E\big[[I,I]_n\big]=E\Big[\sum_{j=1}^n\Delta_j^2\,d[M,M]_j\Big].\]
  </li>
</ol>

<p>对随机游走，\(d[M,M]_j=1\)，所以 \([I,I]_n=\sum_j\Delta_j^2\)，\(\mathrm{Var}[I_n]=E\sum_j\Delta_j^2\)。</p>

<p>“鞅”这条的直观：<strong>只要下注前不知道硬币结果，怎么调整下注大小都赢不了公平的赌局。</strong></p>

<h2 id="2-连续时间为什么直接定义行不通">2. 连续时间：为什么直接定义行不通</h2>

<p>我们想要 \(I_t=\int_0^t\Delta_s\,dW_s\)（\(\Delta\)：被积函数，\(W\)：积分器；盈亏的解释不变）。自然的想法是黎曼和：</p>

\[\int_0^t\Delta_s\,dW_s\approx\sum_{j=1}^n\Delta_{t_{j-1}}\big(W_{t_j}-W_{t_{j-1}}\big).\]

<p>如果 \(W\) 光滑，中值定理会把它变成 \(\int_0^t\Delta_s\dot W_s\,ds\)。但 \(W\) 处处不可微（第 02 篇），\(\dot W_s\) 不存在，所以<strong>逐条路径</strong>取极限在通常意义下不存在。我们需要一种新的极限。</p>

<h2 id="3-简单买入持有被积函数">3. 简单（买入持有）被积函数</h2>

<p>先回到”差不多是离散”的情形。固定 \(0=t_0&lt;t_1&lt;\dots&lt;t_n\) 和 \(\mathcal F_{t_j}\) 可测的 \(\Delta_j\)，令</p>

\[\Delta_t=\Delta_0\mathbf 1_{\{t=0\}}+\sum_{j=1}^n\Delta_{j-1}\mathbf 1_{\{t\in(t_{j-1},t_j]\}}:\]

<p>在 \((t_{j-1},t_j]\) 上持有 \(\Delta_{j-1}\) 股。对这种<strong>简单被积函数</strong>，积分可以直接写出来：</p>

\[I_t=\sum_{j=1}^n\underbrace{\Delta_{j-1}}_{\text{头寸}}\ \underbrace{\big(W_{t\wedge t_j}-W_{t\wedge t_{j-1}}\big)}_{\text{价格变动}},\qquad t\wedge s=\min\{t,s\}.\]

<p>分段来看：\(t_{j-1}\le t\le t_j\) 时</p>

\[I_t=\underbrace{\sum_{i=1}^{j-1}\Delta_{i-1}\big(W_{t_i}-W_{t_{i-1}}\big)}_{[0,t_{j-1}]\text{ 上的盈亏}}+\underbrace{\Delta_{j-1}\big(W_t-W_{t_{j-1}}\big)}_{[t_{j-1},t]\text{ 上的盈亏}},\]

<p>\(t\ge t_n\) 之后不再变化——我们已经停止交易了。</p>

<h3 id="简单-delta-的性质">简单 \(\Delta\) 的性质</h3>

<ul>
  <li><strong>线性</strong>、<strong>适应</strong>：和离散时间一样。</li>
  <li><strong>路径连续</strong>（新性质）：每一项 \(t\mapsto\Delta_{j-1}(W_{t\wedge t_j}-W_{t\wedge t_{j-1}})\) 都连续，因为 \(W\) 连续；有限个连续过程之和仍连续。</li>
  <li>
    <p><strong>鞅。</strong> 取 \(t_{j-1}&lt;s&lt;t_j&lt;t\)（相邻两段）：</p>

\[\begin{aligned}
E[I_t-I_s\mid\mathcal F_s]&amp;=E[\Delta_{j-1}(W_{t_j}-W_s)\mid\mathcal F_s]+E\big[E[\Delta_j(W_t-W_{t_j})\mid\mathcal F_{t_j}]\mid\mathcal F_s\big]\\
&amp;=\Delta_{j-1}\cdot0+E[\Delta_j\cdot0\mid\mathcal F_s]=0.
\end{aligned}\]

    <p>关键在于头寸是在每段<strong>开始时</strong>选定的。</p>
  </li>
  <li><strong>Itô 等距：</strong> \(\mathrm{Var}[I_t]=E\Big[\int_0^t\Delta_s^2\,ds\Big]\)。</li>
  <li><strong>二次变差：</strong> \([I,I]_t=\int_0^t\Delta_s^2\,ds\)。</li>
</ul>

<details>
  <summary>证明：简单被积函数的 Itô 等距</summary>

  <p>\(I_0=0\) 且 \(I\) 是鞅，所以 \(\mathrm{Var}[I_t]=E[I_t^2]\)。重新编号使 \(t=t_j\)，\(I_t=\sum_{i=1}^j\Delta_{t_{i-1}}(W_{t_i}-W_{t_{i-1}})\)。交叉项和第 02 篇一样消失（对较晚的左端点取条件），对角项为</p>

\[E\big[\Delta_{t_{i-1}}^2(W_{t_i}-W_{t_{i-1}})^2\big]=E\big[\Delta_{t_{i-1}}^2\,E[(W_{t_i}-W_{t_{i-1}})^2\mid\mathcal F_{t_{i-1}}]\big]=E\big[\Delta_{t_{i-1}}^2(t_i-t_{i-1})\big].\]

  <p>\(\Delta\) 在每段 \((t_{i-1},t_i]\) 上是常数，所以</p>

\[\mathrm{Var}[I_t]=E\Big[\sum_{i=1}^j\Delta_{t_{i-1}}^2(t_i-t_{i-1})\Big]=E\Big[\int_0^t\Delta_s^2\,ds\Big].\]

</details>

<details>
  <summary>证明：简单被积函数的二次变差</summary>

  <p>把一段 \([t_{i-1},t_i]\) 细分为 \(s_0&lt;s_1&lt;\dots&lt;s_n\)。段内头寸不变，\(I_{s_k}-I_{s_{k-1}}=\Delta_{t_{i-1}}(W_{s_k}-W_{s_{k-1}})\)，所以</p>

\[[I,I]^\Pi_{[t_{i-1},t_i]}=\Delta_{t_{i-1}}^2\,[W,W]^\Pi_{[t_{i-1},t_i]}\ \longrightarrow\ \Delta_{t_{i-1}}^2(t_i-t_{i-1}).\]

  <p>对各段求和，\([I,I]_t=\sum_i\Delta_{t_{i-1}}^2(t_i-t_{i-1})=\int_0^t\Delta_s^2\,ds\)。</p>

</details>

<p>注意后两条的区别：\([I,I]_t\) 是逐条路径的<strong>随机</strong>量；等距是它的<strong>期望</strong>。</p>

<h2 id="4-一般被积函数先逼近再取-l2-极限">4. 一般被积函数：先逼近，再取 \(L^2\) 极限</h2>

<p>固定 \(T&gt;0\)。记 \(\mathcal L\) 为满足以下条件的被积函数 \(\Delta\) 的全体：</p>

<ul>
  <li>适应；</li>
  <li>平方可积：\(E\Big[\int_0^T\Delta_s^2\,ds\Big]&lt;\infty\)。</li>
</ul>

<p>对 \(\Delta\in\mathcal L\) 和步长趋于 0 的划分 \(\Pi^n\)，把 \(\Delta\) 冻结在左端点：</p>

\[\Delta^n_t=\Delta_0\mathbf 1_{\{t=0\}}+\sum_{j=1}^n\Delta_{t_{j-1}}\mathbf 1_{\{t\in(t_{j-1},t_j]\}},\qquad I^n_t=I(\Delta^n)_t .\]

<p>\(\Delta^n\) 是 \(\Delta\) “只在网格时刻调仓”的简单版本，\(I^n\) 有明确定义。固定 \(\omega\) 时 \(\lim I^n_t(\omega)\) 不一定存在；我们改为取<strong>均方意义下</strong>的极限。</p>

<p><strong>第 1 步——逼近是好的。</strong> 课上的一个关键结论：对 \(\Delta\in\mathcal L\)，</p>

\[\lim_{n\to\infty}E\Big[\int_0^T(\Delta^n_s-\Delta_s)^2\,ds\Big]=0,\]

<p>记作 \(\Delta^n\to\Delta\) 于 \(L^2([0,T]\times\Omega)\)。（直观：调仓网格越来越细，冻结后的策略在时间和情景上平均来说就越来越贴近真实策略。）</p>

<p><strong>第 2 步——所以逼近序列是柯西列。</strong> 由 \((a+b)^2\le2a^2+2b^2\)，</p>

\[(\Delta^n_u-\Delta^m_u)^2\le2(\Delta^n_u-\Delta_u)^2+2(\Delta_u-\Delta^m_u)^2\ \Longrightarrow\ \lim_{n,m\to\infty}E\int_0^T(\Delta^n_s-\Delta^m_s)^2ds=0.\]

<p><strong>第 3 步——等距把这一点传给积分。</strong> 由线性，\(I^n_t-I^m_t=I(\Delta^n-\Delta^m)_t\)，而 \(\Delta^n-\Delta^m\) 是简单的，所以</p>

\[\mathrm{Var}\big[I^n_t-I^m_t\big]=E\Big[\int_0^t(\Delta^n_u-\Delta^m_u)^2du\Big]\le E\Big[\int_0^T(\Delta^n_u-\Delta^m_u)^2du\Big]\xrightarrow{n,m\to\infty}0.\]

<p><strong>第 4 步——把积分定义为极限。</strong> \(I^n\) 在均方意义下是柯西列，所以（作为过程）收敛到某个 \(I\)，定义</p>

\[\Big(\int_0^t\Delta_s\,dW_s\Big)(\omega):=I_t(\omega),\qquad t\le T.\]

<p><strong>等距为什么是主角。</strong> 它说”策略 \(\mapsto\) 盈亏”这个映射保持距离：两个策略在 \(E\int(\cdot)^2\) 意义下接近，盈亏在方差意义下就接近。于是”逼近策略”自动给出”逼近积分”——即使没有任何一条路径按经典意义收敛。</p>

<h2 id="5-一般被积函数的性质">5. 一般被积函数的性质</h2>

<p>对 \(\Delta\in\mathcal L\) 全部保留：</p>

<ul>
  <li><strong>线性：</strong> \(I(\alpha\Delta+\beta\psi)=\alpha I(\Delta)+\beta I(\psi)\)；</li>
  <li><strong>路径连续</strong>，\(I_0=0\)；</li>
  <li><strong>适应</strong>；</li>
  <li><strong>鞅</strong>；</li>
  <li><strong>Itô 等距：</strong> \(\mathrm{Var}[I_t]=E\Big[\int_0^t\Delta_s^2\,ds\Big]\)；</li>
  <li><strong>二次变差：</strong> 逐条路径 \([I,I]_t=\int_0^t\Delta_s^2\,ds\)。</li>
</ul>

<p>用微分记号：\(dI_t=\Delta_t\,dW_t\)，\(d[I,I]_t=\Delta_t^2\,dt=(\Delta_t\,dW_t)^2\)——与 \((dW_t)^2=dt\) 一致。</p>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/10/21/mf790-01-foundations/">01｜概率空间、信息流、条件期望与鞅</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-02-brownian-motion/">02｜随机游走、二次变差与布朗运动</a></li>
  <li><strong>03｜随机积分</strong>（本篇）</li>
  <li><a href="/homepage_cn/2026/10/21/mf790-04-ito-formula/">04｜Itô 公式、Itô 过程与几何布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-05-black-scholes/">05｜Black–Scholes：复制、偏微分方程与希腊字母</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/">06｜风险中性定价、测度变换与 Girsanov 定理</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/">07｜随机微分方程、Feynman–Kac 与停时</a></li>
</ol>

<p><a href="/homepage_cn/2026/10/21/mf790-02-brownian-motion/">← 上一篇：随机游走、二次变差与布朗运动</a>　·　<a href="/homepage_cn/2026/10/21/mf790-04-ito-formula/">下一篇：Itô 公式、Itô 过程与几何布朗运动 →</a></p>

<p><em>本系列是我在波士顿大学 Questrom 商学院修读 QST MF 790 Stochastic Calculus（随机分析）时整理的课程笔记，共 7 篇。内容按课程顺序整理，表述、直观解释和几处勘误是我自己加的。文中 \(N(\mu,\sigma^2)\) 的第二个参数一律为方差。如有错漏，欢迎指出。本篇英文版：<a href="https://bobothebest.github.io/homepage_en/2026/10/21/mf790-03-stochastic-integration/">English version</a>。</em></p>]]></content><author><name>张梓源</name></author><category term="随机过程笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 随机积分其实就是累计的交易盈亏（P/L）：持有 \(\Delta\) 股，价格变动 \(dW\)，加起来。这一篇分三步构造 \(\int_0^t\Delta_s\,dW_s\)——离散时间、”买入持有”的简单策略、用逼近得到的一般策略，并说明同样的五条性质每一步都保留下来： 线性 · 适应 · 鞅 · Itô 等距 \(\mathrm{Var}[I_t]=E\int_0^t\Delta_s^2ds\) · \([I,I]_t=\int_0^t\Delta_s^2ds\)。]]></summary></entry><entry><title type="html">随机过程笔记 02｜随机游走、二次变差与布朗运动</title><link href="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-02-brownian-motion/" rel="alternate" type="text/html" title="随机过程笔记 02｜随机游走、二次变差与布朗运动" /><published>2026-10-21T14:02:00+00:00</published><updated>2026-10-21T14:02:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-02-brownian-motion</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-02-brownian-motion/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>布朗运动最好理解的方式，是把它看成抛硬币游戏的极限。这一篇从随机游走出发，引入让随机分析和普通微积分分道扬镳的那个量——<strong>二次变差</strong>，然后说明布朗运动继承了这一切：它是鞅，\(W_t^2-t\) 是鞅，并且 \([W,W]_t=t\)。</p>

  <p>要记住的结论：<strong>\((dW_t)^2=dt\)。</strong> 光滑曲线的二次变差是 0，布朗运动的路径不是，Itô 公式多出来的那一项就来自这里。</p>
</blockquote>

<hr />

<h2 id="1-随机游走">1. 随机游走</h2>

<p>取无穷次公平抛硬币的空间，\(\omega=(\omega_1,\omega_2,\dots)\)，各次独立。定义</p>

\[Z_j(\omega)=\begin{cases}+1,&amp;\omega_j=H\\-1,&amp;\omega_j=T\end{cases},\qquad M_0=0,\quad M_n=\sum_{j=1}^nZ_j\ (n\ge1).\]

<p>\(Z_j\) 独立同分布，\(EZ_j=0\)，\(\mathrm{Var}(Z_j)=EZ_j^2=1\)。\(M\) 就是<strong>随机游走</strong>，\(Z_n=M_n-M_{n-1}\) 是它的增量。</p>

<p><strong>性质。</strong></p>

<ol>
  <li>
    <p><strong>\(M\) 是鞅。</strong> \(\mathcal F_n\) = 前 \(n\) 次抛掷的信息；\(Z_{n+1}\) 只依赖第 \(n+1\) 次，所以 \(Z_{n+1}\perp\!\!\!\perp\mathcal F_n\)：</p>

\[E[M_{n+1}\mid\mathcal F_n]=E[M_n+Z_{n+1}\mid\mathcal F_n]=M_n+E[Z_{n+1}]=M_n.\]
  </li>
  <li><strong>独立增量。</strong> \(0\le m&lt;n\le p&lt;q\) 时，\(M_n-M_m=\sum_{j=m+1}^nZ_j\) 与 \(M_q-M_p=\sum_{j=p+1}^qZ_j\) 用的是不相交的抛掷，所以独立。</li>
  <li>
    <p><strong>增量的均值和方差。</strong> \(E[M_n-M_m]=0\)，且</p>

\[\mathrm{Var}(M_n-M_m)=\sum_{i,j=m+1}^nE[Z_iZ_j]=n-m,\qquad E[Z_iZ_j]=\begin{cases}1,&amp;i=j\\0,&amp;i\ne j.\end{cases}\]
  </li>
</ol>

<h2 id="2-随机游走的平方">2. 随机游走的平方</h2>

<p>\(M_n^2\) <strong>不是</strong>鞅——它会往上漂：</p>

\[E[M_{n+1}^2\mid\mathcal F_n]=E[(M_n+Z_{n+1})^2\mid\mathcal F_n]=M_n^2+2M_nE[Z_{n+1}]+E[Z_{n+1}^2]=M_n^2+1.\]

<p>所以 \(M^2\) 是下鞅；减掉漂移就修好了：\(Y_n:=M_n^2-n\) 满足 \(E[Y_{n+1}\mid\mathcal F_n]=M_n^2+1-(n+1)=Y_n\)，是<strong>鞅</strong>。</p>

<h2 id="3-二次变差离散时间">3. 二次变差（离散时间）</h2>

<p>过程 \(X=\{X_n\}\) 的<strong>二次变差</strong>是一个过程：</p>

\[[X,X]_0=0,\qquad [X,X]_n=\sum_{j=1}^n\big(X_j-X_{j-1}\big)^2 .\]

<p>它把增量的平方加起来，衡量路径<strong>有多粗糙</strong>。（定义本身不要求 \(X\) 是鞅。）</p>

<ul>
  <li>随机游走：每个增量都是 \(\pm1\)，所以对<strong>每个</strong> \(\omega\) 都有 \([M,M]_n=n\)——硬币不公平也一样。这是特例；一般来说 \([X,X]_n\) 同时依赖 \(n\) 和 \(\omega\)。</li>
  <li>
    <p>\(Y_n=M_n^2-n\)：用 \(M_j=M_{j-1}+Z_j\) 和 \(Z_j^2=1\)，</p>

\[[Y,Y]_n=\sum_{j=1}^n\big(Z_j^2+2Z_jM_{j-1}-1\big)^2=\sum_{j=1}^n4M_{j-1}^2,\]

    <p>确实随 \(\omega\) 变化。</p>
  </li>
</ul>

<h3 id="鞅与二次变差的两个结论">鞅与二次变差的两个结论</h3>

<p><strong>结论 1。</strong> 若 \(X\) 是鞅且 \(X_0=0\)，则 \(\mathrm{Var}(X_n)=E\big[[X,X]_n\big]\)。</p>

<details>
  <summary>证明</summary>

  <p>因为 \(EX_n=EX_0=0\)，\(\mathrm{Var}(X_n)=EX_n^2\)。把 \(X_n=\sum_j(X_j-X_{j-1})\) 平方展开：</p>

\[X_n^2=\sum_{i=1}^n(X_i-X_{i-1})^2+\sum_{i\ne j}(X_i-X_{i-1})(X_j-X_{j-1}).\]

  <p>\(i&lt;j\) 时，对 \(\mathcal F_{j-1}\) 取条件（Tower：对第二大的时间取条件）：</p>

\[E[(X_i-X_{i-1})(X_j-X_{j-1})]=E\big[(X_i-X_{i-1})\,E[X_j-X_{j-1}\mid\mathcal F_{j-1}]\big]=E[(X_i-X_{i-1})\cdot0]=0.\]

  <p>交叉项消失，\(EX_n^2=E[X,X]_n\)。对随机游走就是 \(\mathrm{Var}(M_n)=n=E[M,M]_n\)。</p>

</details>

<p><strong>结论 2（二次变差是补偿项）。</strong> 若 \(X\) 是鞅且 \(EX_n^2&lt;\infty\)，则 \(\{X_n^2-[X,X]_n\}\) 是鞅。</p>

<details>
  <summary>证明</summary>

  <p>令 \(Y_n=X_n^2-[X,X]_n\)，则</p>

\[Y_n-Y_{n-1}=X_n^2-X_{n-1}^2-(X_n-X_{n-1})^2=2X_{n-1}(X_n-X_{n-1}),\]

  <p>而 \(E[2X_{n-1}(X_n-X_{n-1})\mid\mathcal F_{n-1}]=2X_{n-1}\cdot0=0\)。</p>

</details>

<p>\([X,X]_n\) 只增不减，所以 \(X_n^2\) 本身是下鞅；必须<strong>补偿</strong>（减掉）\([X,X]\) 才是鞅，这就是 \([X,X]\) 又叫补偿项（compensator）的原因。前面的 \(M_n^2-n\) 就是 \([M,M]_n=n\) 的特例。</p>

<h2 id="4-从随机游走到布朗运动">4. 从随机游走到布朗运动</h2>

<p>随机游走和布朗运动的共同点：独立增量，增量均值为 0、方差等于经过的时间。不同点：\(M\) 是离散时间、整数跳；\(W\) 是连续时间、取任意实数。</p>

<p><strong>缩放随机游走。</strong> 时间加速 \(n\) 倍，跳幅缩到 \(1/\sqrt n\)：</p>

\[W^{(n)}_t:=\frac1{\sqrt n}M_{\lfloor nt\rfloor}.\]

<ul>
  <li><strong>独立增量：</strong> 从 \(M\) 继承。</li>
  <li>
    <p><strong>均值和方差对得上：</strong> 取 \(ns,nt\) 为整数，</p>

\[E[W^{(n)}_t-W^{(n)}_s]=0,\qquad \mathrm{Var}[W^{(n)}_t-W^{(n)}_s]=\frac1n\,\mathrm{Var}[M_{nt}-M_{ns}]=\frac{nt-ns}{n}=t-s.\]
  </li>
  <li>
    <p><strong>极限是正态（中心极限定理）：</strong></p>

\[W^{(n)}_t-W^{(n)}_s=\underbrace{\sqrt{\frac{\lfloor nt\rfloor-\lfloor ns\rfloor}{n}}}_{\to\sqrt{t-s}}\cdot\underbrace{\frac1{\sqrt{\lfloor nt\rfloor-\lfloor ns\rfloor}}\sum_{j=\lfloor ns\rfloor+1}^{\lfloor nt\rfloor}Z_j}_{\to N(0,1)\text{（CLT）}}\ \Longrightarrow\ N(0,t-s).\]
  </li>
</ul>

<p>所以 \(W^{(n)}\to W\)：<strong>布朗运动是存在的</strong>，它就是从很远的地方看一场抛硬币游戏。（注意 CLT 里的”\(n\)“是这段时间里的抛掷次数 \(\lfloor nt\rfloor-\lfloor ns\rfloor\)。）</p>

<h2 id="5-布朗运动的性质">5. 布朗运动的性质</h2>

<p>回忆第 01 篇的定义：\(W_0=0\)；路径连续；\(W_t-W_s\sim N(0,t-s)\)；独立增量。若 \(W\) 还适应于 \(\mathbb F\) 且 \(W_t-W_s\perp\!\!\!\perp\mathcal F_s\)，就说它是<strong>关于 \(\mathbb F\) 的</strong>布朗运动。</p>

<p><strong>1. 鞅。</strong> 第 01 篇已证。连续时间下上鞅、下鞅以及 \(EX_t\) 的单调性和离散时间完全一样。</p>

<p><strong>2. 协方差。</strong> \(s&lt;t\) 时，减一项加一项凑出独立增量：</p>

\[\mathrm{Cov}(W_s,W_t)=E[W_sW_t]=E[W_s(W_t-W_s)]+E[W_s^2]=0+s=\min(s,t).\]

<p>所以 \((W_s,W_t)\) 联合正态：</p>

\[\begin{pmatrix}W_s\\W_t\end{pmatrix}\sim N\left(\begin{pmatrix}0\\0\end{pmatrix},\begin{pmatrix}s&amp;s\\s&amp;t\end{pmatrix}\right).\]

<p><strong>3. 条件分布与马尔可夫性。</strong> 用 \(Y\sim N(\mu,\sigma^2)\) 时 \(E[e^{\alpha Y}]=e^{\alpha\mu+\frac12\alpha^2\sigma^2}\)：</p>

\[E[e^{\alpha W_t}\mid\mathcal F_s]=e^{\alpha W_s}\,E[e^{\alpha(W_t-W_s)}]=e^{\alpha W_s+\frac12\alpha^2(t-s)}\ \Longrightarrow\ W_t\mid\mathcal F_s\sim N(W_s,\ t-s).\]

<p>给定到 \(s\) 为止的一切，\(W_t\) 的分布只依赖 \(W_s\)——这就是<strong>马尔可夫性</strong>。<strong>转移密度</strong>为</p>

\[p(\tau,y,x)=\frac1{\sqrt{2\pi\tau}}\,e^{-\frac{(x-y)^2}{2\tau}},\qquad E[h(W_{s+\tau})\mid W_s=y]=\int_{\mathbb R}h(x)\,p(\tau,y,x)\,dx,\]

<p>读作”用时间 \(\tau\) 从 \(y\) 走到 \(x\) 附近”。</p>

<p><strong>4. \(W_t^2-t\) 是鞅。</strong> 用 \(W_t^2=(W_t-W_s)^2+2(W_t-W_s)W_s+W_s^2\)：</p>

\[E[W_t^2-t\mid\mathcal F_s]=(t-s)+0+W_s^2-t=W_s^2-s.\]

<p>这是 \(M_n^2-n\) 的连续时间版本。</p>

<h2 id="6-连续时间的二次变差">6. 连续时间的二次变差</h2>

<p>固定 \(t\) 和划分 \(\Pi=\{0=t_0&lt;t_1&lt;\dots&lt;t_n=t\}\)，步长 \(\Vert \Pi\Vert =\max_j(t_j-t_{j-1})\)。定义</p>

\[[X,X]^\Pi_t=\sum_{j=1}^n\big(X_{t_j}-X_{t_{j-1}}\big)^2,\qquad [X,X]_t=\lim_{\Vert \Pi\Vert \to0}[X,X]^\Pi_t .\]

<p>区间上的 \([X,X]_{[s,t]}\) 同样定义，且二次变差是累加的：\([X,X]_t=[X,X]_s+[X,X]_{[s,t]}\)。</p>

<p><strong>定理。</strong> 以概率 1，\([W,W]_t=t\)，\([W,W]_{[s,t]}=t-s\)。</p>

<p><em>直观。</em> 缩放随机游走 \([W^{(n)},W^{(n)}]_t=\frac1n\lfloor nt\rfloor\in[t-\frac1n,t]\)，而 \(W^{(n)}\to W\)。</p>

<details>
  <summary>证明梗概</summary>

  <p>取均匀划分 \(t_j=jt/n\)，则</p>

\[[W,W]^\Pi_t=\frac tn\sum_{j=1}^n\left(\frac{W_{t_j}-W_{t_{j-1}}}{\sqrt{t_j-t_{j-1}}}\right)^2=t\cdot\frac1n\sum_{j=1}^nZ_j^2,\]

  <p>\(Z_j\) 独立同分布 \(N(0,1)\)。由强大数定律 \(\frac1n\sum Z_j^2\to E[Z^2]=1\)，所以 \([W,W]^\Pi_t\to t\)。一般划分下，证明 \(E\big[[W,W]^\Pi_t\big]=t\) 且 \(\mathrm{Var}\big[[W,W]^\Pi_t\big]\le K\Vert \Pi\Vert\)（\(K\) 只依赖 \(t\)），即可推出收敛到 \(t\)。</p>

</details>

<p>结论 2 也推广到连续时间：若 \(X\) 是连续鞅且 \(EX_t^2&lt;\infty\)，则 \(X_t^2-[X,X]_t\) 是鞅（证明要用第 04 篇的 Itô 公式）。</p>

<h2 id="7-布朗运动的路径为什么必须粗糙">7. 布朗运动的路径为什么必须粗糙</h2>

<p>路径的<strong>一阶变差</strong>是 \(FV(X)_t=\lim_{\Vert \Pi\Vert \to0}\sum_j\vert X_{t_j}-X_{t_{j-1}}\vert\)。对光滑路径，由中值定理</p>

\[FV(X)_t=\lim\sum_j(t_j-t_{j-1})\vert X'(\xi_j)\vert=\int_0^t\vert X'_s\vert\,ds&lt;\infty.\]

<p><strong>一阶变差有限 ⟹ 二次变差为 0</strong>（路径连续时）：</p>

\[\sum_j(X_{t_j}-X_{t_{j-1}})^2\le\underbrace{\max_j\vert X_{t_j}-X_{t_{j-1}}\vert}_{\to0\ \text{（连续）}}\cdot\underbrace{\sum_j\vert X_{t_j}-X_{t_{j-1}}\vert}_{\to FV(X)_t&lt;\infty}\ \to0.\]

<p>而 \([W,W]_t=t&gt;0\)，所以布朗运动的路径一阶变差不可能有限；事实上它以概率 1 <strong>处处不可微</strong>。</p>

<p>这种粗糙不是缺点：如果价格路径是光滑的，局部就是可预测的，可预测就意味着套利。</p>

<p><strong>大家都在用的启发式写法。</strong> 对 \([W,W]_t=t\) 求微分得 \(d[W,W]_t=dt\)，人们写成</p>

\[(dW_t)^2=dt,\]

<p>想的是 \([W,W]_{[t,t+dt]}\approx\sum(W_{t_j}-W_{t_{j-1}})^2\)。开方说”\(dW_t=\sqrt{dt}\)“没有意义，但乘法规则 \((dW_t)^2=dt\) 完全正确，第 04 篇整篇都靠它。</p>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/10/21/mf790-01-foundations/">01｜概率空间、信息流、条件期望与鞅</a></li>
  <li><strong>02｜随机游走、二次变差与布朗运动</strong>（本篇）</li>
  <li><a href="/homepage_cn/2026/10/21/mf790-03-stochastic-integration/">03｜随机积分</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-04-ito-formula/">04｜Itô 公式、Itô 过程与几何布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-05-black-scholes/">05｜Black–Scholes：复制、偏微分方程与希腊字母</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/">06｜风险中性定价、测度变换与 Girsanov 定理</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/">07｜随机微分方程、Feynman–Kac 与停时</a></li>
</ol>

<p><a href="/homepage_cn/2026/10/21/mf790-01-foundations/">← 上一篇：概率空间、信息流、条件期望与鞅</a>　·　<a href="/homepage_cn/2026/10/21/mf790-03-stochastic-integration/">下一篇：随机积分 →</a></p>

<p><em>本系列是我在波士顿大学 Questrom 商学院修读 QST MF 790 Stochastic Calculus（随机分析）时整理的课程笔记，共 7 篇。内容按课程顺序整理，表述、直观解释和几处勘误是我自己加的。文中 \(N(\mu,\sigma^2)\) 的第二个参数一律为方差。如有错漏，欢迎指出。本篇英文版：<a href="https://bobothebest.github.io/homepage_en/2026/10/21/mf790-02-brownian-motion/">English version</a>。</em></p>]]></content><author><name>张梓源</name></author><category term="随机过程笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 布朗运动最好理解的方式，是把它看成抛硬币游戏的极限。这一篇从随机游走出发，引入让随机分析和普通微积分分道扬镳的那个量——二次变差，然后说明布朗运动继承了这一切：它是鞅，\(W_t^2-t\) 是鞅，并且 \([W,W]_t=t\)。 要记住的结论：\((dW_t)^2=dt\)。 光滑曲线的二次变差是 0，布朗运动的路径不是，Itô 公式多出来的那一项就来自这里。]]></summary></entry><entry><title type="html">随机过程笔记 01｜概率空间、信息流、条件期望与鞅</title><link href="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-01-foundations/" rel="alternate" type="text/html" title="随机过程笔记 01｜概率空间、信息流、条件期望与鞅" /><published>2026-10-21T14:01:00+00:00</published><updated>2026-10-21T14:01:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-01-foundations</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/10/21/mf790-01-foundations/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>这个系列是我在波士顿大学 Questrom 商学院修 <strong>QST MF 790 Stochastic Calculus（随机分析）</strong> 时的课堂笔记，整理成 7 篇。</p>

  <p>整门课都挂在一句话上：<em>“Let \(W\) be a Brownian motion adapted to a filtration \(\mathbb F\). Then \(W\) is a martingale.”</em> 这一篇把这句话里的每个词拆开讲清楚——概率空间、随机变量、信息流（filtration）、适应、条件期望、鞅，后面几篇就可以直接拿来用。</p>
</blockquote>

<hr />

<h2 id="1-概率空间-omegamathcal-fmathbb-p">1. 概率空间 \((\Omega,\mathcal F,\mathbb P)\)</h2>

<ul>
  <li>\(\Omega\)：<strong>样本空间</strong>，\(\omega\in\Omega\) 是一个结果（”世界的一种情景”）。</li>
  <li>\(\mathcal F\)：<strong>事件</strong>的集合。事件是一组结果，所以每个 \(A\in\mathcal F\) 都是 \(\Omega\) 的子集。</li>
  <li>\(\mathbb P\)：<strong>概率函数</strong>，\(\mathbb P:\mathcal F\to[0,1]\)。</li>
</ul>

<p>一个容易忽略的点：<strong>\(\mathbb P\) 是定义在 \(\mathcal F\) 上的函数，不是定义在 \(\Omega\) 上的。</strong> 所以 \(\mathbb P[\omega]\) 没有定义；\(\mathbb P[\{\omega\}]\) 只有在 \(\{\omega\}\in\mathcal F\) 时才有定义。</p>

<p><strong>例：有限、等可能的空间。</strong> \(\Omega=\{1,2,\dots,N\}\)，\(\mathcal F=2^\Omega\)（幂集，\(\Omega\) 的所有子集）。此时每个单点集都是事件，对 \(A\in\mathcal F\)</p>

\[\mathbb P(A)=\frac{\#\{i\in A\}}{N},\qquad\text{特别地 }\ \mathbb P[\{\omega\}]=\frac1N.\]

<h2 id="2-随机变量期望独立">2. 随机变量、期望、独立</h2>

<p><strong>随机变量</strong>（r.v.）就是一个函数 \(X:\Omega\to\mathbb R\)：输入一个结果，输出一个数。</p>

<ul>
  <li><strong>离散型：</strong> \(X\) 只取可数个值 \(E_X=\{x_1,x_2,\dots\}\)。概率质量函数 \(p(x)=\mathbb P[\{\omega:X(\omega)=x\}]=\mathbb P[X=x]\)，\(x\notin E_X\) 时 \(p(x)=0\)。</li>
  <li><strong>连续型（密度 \(f\)）：</strong> 对每个（Borel）集合 \(E\subseteq\mathbb R\)，\(\mathbb P(X\in E)=\int_Ef(x)\,dx\)。</li>
</ul>

<p><strong>期望</strong>是 \(X\) 按 \(\mathbb P\) 加权的平均：</p>

\[E(X)=E^{\mathbb P}(X)=\int_\Omega\underbrace{X(\omega)}_{\text{大小}}\ \underbrace{d\mathbb P(\omega)}_{\text{可能性}}.\]

<p>均值 \(=E(X)\)，方差 \(=E[(X-EX)^2]\)，\(N\) 阶中心矩 \(=E[\vert X-EX\vert ^N]\)。</p>

<p><strong>独立。</strong> \(X\perp\!\!\!\perp Y\) 当且仅当对所有（好的）函数 \(f,g\)</p>

\[E[f(X)g(Y)]=E[f(X)]\,E[g(Y)]\iff f_{X,Y}=f_Xf_Y.\]

<p>记住 \(E^{\mathbb P}\) 的上标：第 06 篇会换掉 \(\mathbb P\)，这里所有的平均都会跟着变。</p>

<h2 id="3-随机过程与样本路径">3. 随机过程与样本路径</h2>

<p><strong>随机过程</strong>是一族按时间编号的随机变量：</p>

<ul>
  <li>离散时间：\(X=\{X_0,X_1,X_2,\dots\}\)；</li>
  <li>连续时间：\(X=\{X_t\}_{t\ge0}\)。</li>
</ul>

<p>最清楚的理解方式是把过程看成<strong>两个变量</strong>的函数 \(X:[0,\infty)\times\Omega\to\mathbb R\)：</p>

<ul>
  <li>固定 \(t\)：\(\omega\mapsto X_t(\omega)\) 是一个随机变量；</li>
  <li>固定 \(\omega\)：\(t\mapsto X_t(\omega)\) 是一条曲线，叫<strong>样本路径</strong>。每个情景 \(\omega\) 画出自己的一条曲线，所以随机过程就是”随机的曲线”。</li>
</ul>

<p>若对所有 \(\omega\)，\(t\mapsto X_t(\omega)\) 都连续，就说 \(X\) 有<strong>连续的样本路径</strong>。</p>

<h2 id="4-布朗运动初见">4. 布朗运动（初见）</h2>

<p>过程 \(W=\{W_t\}_{t\ge0}\) 是<strong>布朗运动</strong>，如果</p>

<ol>
  <li>以概率 1，\(W_0=0\)；</li>
  <li>以概率 1，样本路径 \(t\mapsto W_t\) 连续；</li>
  <li>对 \(0\le s&lt;t\)：\(W_t-W_s\sim N(0,\,t-s)\)；</li>
  <li>对 \(0\le s&lt;t\le u&lt;v\)：\(W_v-W_u\) 与 \(W_t-W_s\) 独立。</li>
</ol>

<p>（本系列中 \(N(\mu,\sigma^2)\) 的第二个参数一律是<strong>方差</strong>。长度为 \(t-s\) 的时间段上，增量的方差是 \(t-s\)，标准差是 \(\sqrt{t-s}\)。）</p>

<h2 id="5-信息流只增不减的信息">5. 信息流：只增不减的信息</h2>

<p><strong>离散时间。</strong> \(\mathbb F=\{\mathcal F_n\}_{n\ge0}\) 是信息流，如果每个 \(\mathcal F_n\subseteq\mathcal F\) 都是 \(\sigma\)-代数，且 \(m\le n\) 时 \(\mathcal F_m\subseteq\mathcal F_n\)。</p>

<p><strong>连续时间。</strong> \(\mathbb F=\{\mathcal F_t\}_{t\ge0}\)，\(0\le s\le t\) 时 \(\mathcal F_s\subseteq\mathcal F_t\subseteq\mathcal F\)。</p>

<p>把 \(\mathcal F_t\) 读作”到时刻 \(t\) 为止我们知道的一切”。唯一的要求是：<strong>信息只会越来越多，不会忘记。</strong></p>

<p><strong>由过程生成的信息流。</strong> \(\mathcal F^X_n:=\sigma(X_0,\dots,X_n)\)，连续时间下 \(\mathcal F^X_t:=\sigma(X_s:0\le s\le t)\)——只看 \(X\) 到现在为止的走势所能得到的信息（包含这些信息的最小 \(\sigma\)-代数）。</p>

<h2 id="6-适应与可测">6. 适应与可测</h2>

<p>\(X\) <strong>适应</strong>于 \(\mathbb F\)，如果 \(\mathbb F\) 里的信息在每个时刻都足以知道 \(X\)：</p>

<ul>
  <li>\(X_t\) 是 \(\mathcal F_t\) 可测的（”mbl”），即</li>
  <li>对每个好的 \(E\subseteq\mathbb R\)，\(\{\omega:X_t(\omega)\in E\}\in\mathcal F_t\)。</li>
</ul>

<p>直观：在时刻 \(t\)，只要知道 \(\mathcal F_t\)，就能读出 \(X_t\) 这个数，不需要偷看未来。</p>

<p><strong>布朗运动的信息流。</strong> 称 \(\mathbb F\)（不一定是 \(\mathbb F^W\)）是 \(W\) 的信息流，如果</p>

<ul>
  <li>\(W\) 适应于 \(\mathbb F\)；</li>
  <li>对所有 \(0\le s&lt;t\)，\(W_t-W_s\) 与 \(\mathcal F_s\) 独立。</li>
</ul>

<p>第二条的意思是：今天知道的一切，对明天的增量毫无帮助。</p>

<h2 id="7-条件期望">7. 条件期望</h2>

<p>固定随机变量 \(X\) 和子 \(\sigma\)-代数 \(\mathcal G\subseteq\mathcal F\)。条件期望 \(E[X\mid\mathcal G]\) 是一个<strong>随机变量</strong>，满足两条：</p>

<ol>
  <li><strong>可测性：</strong> \(E[X\mid\mathcal G]\) 是 \(\mathcal G\) 可测的（知道 \(\mathcal G\) 就知道它）；</li>
  <li><strong>部分平均（partial averaging）：</strong> 对每个 \(A\in\mathcal G\)，</li>
</ol>

\[E[\mathbf 1_AX]=E\big[\mathbf 1_A\,E(X\mid\mathcal G)\big].\]

<p>含义：\(E[X\mid\mathcal G]\) 是给定 \(\mathcal G\) 中信息时对 \(X\) 的最佳猜测。</p>

<p><strong>部分平均的直观。</strong> 把 \(\mathcal G\) 想成把 \(\Omega\) 切成若干块”你分得清的区域”。在每一块 \(A\) 上，猜测值 \(E[X\mid\mathcal G]\) 的平均必须和 \(X\) 本身的平均一样。所以条件期望就是”在每个你能区分的区域内把 \(X\) 平均一下”——保留 \(\mathcal G\) 看得见的细节，抹平其余部分。例：抛两次硬币，\(X=\) 正面次数，\(\mathcal G=\) “第一次的结果”。在 \(\{H\ast\}\) 上猜测值是 \(1.5\)，在 \(\{T\ast\}\) 上是 \(0.5\)；验证 \(E[\mathbf 1_{\{H\ast\}}X]=\tfrac14(2+1)=\tfrac34=\tfrac12\cdot1.5\)。</p>

<h3 id="性质天天要用">性质（天天要用）</h3>

<ol>
  <li><strong>记号：</strong> 若 \(\mathcal G=\sigma(Y)\)，写 \(E[X\mid Y]\)。</li>
  <li><strong>独立：</strong> 若 \(X\perp\!\!\!\perp\mathcal G\)，则 \(E[X\mid\mathcal G]=E[X]\)。</li>
  <li><strong>已知：</strong> 若 \(X\) 是 \(\mathcal G\) 可测的，则 \(E[X\mid\mathcal G]=X\)。</li>
  <li><strong>线性：</strong> \(E[\alpha X+\beta Y\mid\mathcal G]=\alpha E[X\mid\mathcal G]+\beta E[Y\mid\mathcal G]\)。</li>
  <li><strong>提出已知量（TOWK）：</strong> 若 \(X\) 是 \(\mathcal G\) 可测的，\(E[XY\mid\mathcal G]=X\,E[Y\mid\mathcal G]\)。</li>
  <li><strong>塔性质（Tower）：</strong> 若 \(\mathcal H\subseteq\mathcal G\subseteq\mathcal F\)，则 \(E\big[E(X\mid\mathcal G)\mid\mathcal H\big]=E[X\mid\mathcal H]\)。</li>
</ol>

<p>Tower 的记法：<strong>信息少的那个说了算</strong>；写成时间形式时，<strong>越靠后的时间放在越里面</strong>。</p>

<p><strong>用在过程上。</strong> \(X\) 适应，\(0\le s&lt;t&lt;u\)：</p>

\[\text{TOWK：}E[f(X_s)g(X_t)\mid\mathcal F_s]=f(X_s)\,E[g(X_t)\mid\mathcal F_s],\qquad\text{Tower：}E[X_u\mid\mathcal F_s]=E\big[E(X_u\mid\mathcal F_t)\mid\mathcal F_s\big].\]

<p>在时刻 \(s\)，\(X_s\) 就像常数；Tower 说的是”求平均在时间上是一致的”。</p>

<h2 id="8-鞅">8. 鞅</h2>

<p><strong>定义（连续时间）。</strong> 适应过程 \(X\) 是<strong>鞅</strong>，如果对所有 \(0\le s&lt;t\)</p>

\[E[X_t\mid\mathcal F_s]=X_s\quad\text{（以概率 1）}.\]

<p>离散时间同理（换成 \(n,m\)）；只需检查一步：对所有 \(n\)，\(E[X_{n+1}\mid\mathcal F_n]=X_n\)。</p>

<ul>
  <li><strong>上鞅</strong>（\(\searrow\)）：\(E[X_t\mid\mathcal F_s]\le X_s\)——未来平均来说更小。</li>
  <li><strong>下鞅</strong>（\(\nearrow\)）：\(E[X_t\mid\mathcal F_s]\ge X_s\)。</li>
</ul>

<p>取期望（用 Tower）：上鞅的 \(t\mapsto E[X_t]\) 不增，鞅为常数，下鞅不减。</p>

<p>直观：鞅就是<strong>公平的赌局</strong>。给定你所知道的一切，对明天的最佳预测就是今天的值。</p>

<h3 id="布朗运动是鞅">布朗运动是鞅</h3>

<p>设 \(\mathbb F\) 是 \(W\) 的信息流，\(s&lt;t\)：</p>

\[\begin{aligned}
E[W_t\mid\mathcal F_s]&amp;=E[W_t-W_s\mid\mathcal F_s]+E[W_s\mid\mathcal F_s]&amp;&amp;\text{（线性）}\\
&amp;=E[W_t-W_s]+W_s&amp;&amp;(W_t-W_s\perp\!\!\!\perp\mathcal F_s;\ W_s\text{ 已知})\\
&amp;=W_s&amp;&amp;(W_t-W_s\sim N(0,t-s)).
\end{aligned}\]

<p>这个技巧——把 \(W_t\) 写成 \((W_t-W_s)+W_s\)，”未来的增量加上已知的部分”——后面会反复用到。</p>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><strong>01｜概率空间、信息流、条件期望与鞅</strong>（本篇）</li>
  <li><a href="/homepage_cn/2026/10/21/mf790-02-brownian-motion/">02｜随机游走、二次变差与布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-03-stochastic-integration/">03｜随机积分</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-04-ito-formula/">04｜Itô 公式、Itô 过程与几何布朗运动</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-05-black-scholes/">05｜Black–Scholes：复制、偏微分方程与希腊字母</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-06-risk-neutral-pricing/">06｜风险中性定价、测度变换与 Girsanov 定理</a></li>
  <li><a href="/homepage_cn/2026/10/21/mf790-07-sde-feynman-kac/">07｜随机微分方程、Feynman–Kac 与停时</a></li>
</ol>

<p><a href="/homepage_cn/2026/10/21/mf790-02-brownian-motion/">下一篇：随机游走、二次变差与布朗运动 →</a></p>

<p><em>本系列是我在波士顿大学 Questrom 商学院修读 QST MF 790 Stochastic Calculus（随机分析）时整理的课程笔记，共 7 篇。内容按课程顺序整理，表述、直观解释和几处勘误是我自己加的。文中 \(N(\mu,\sigma^2)\) 的第二个参数一律为方差。如有错漏，欢迎指出。本篇英文版：<a href="https://bobothebest.github.io/homepage_en/2026/10/21/mf790-01-foundations/">English version</a>。</em></p>]]></content><author><name>张梓源</name></author><category term="随机过程笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 这个系列是我在波士顿大学 Questrom 商学院修 QST MF 790 Stochastic Calculus（随机分析） 时的课堂笔记，整理成 7 篇。 整门课都挂在一句话上：“Let \(W\) be a Brownian motion adapted to a filtration \(\mathbb F\). Then \(W\) is a martingale.” 这一篇把这句话里的每个词拆开讲清楚——概率空间、随机变量、信息流（filtration）、适应、条件期望、鞅，后面几篇就可以直接拿来用。]]></summary></entry><entry><title type="html">茆书复习笔记 07｜区间估计、假设检验与习题结论汇总</title><link href="https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-07-intervals-tests/" rel="alternate" type="text/html" title="茆书复习笔记 07｜区间估计、假设检验与习题结论汇总" /><published>2026-09-30T14:07:00+00:00</published><updated>2026-09-30T14:07:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-07-intervals-tests</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-07-intervals-tests/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>系列最后一篇，把区间估计和假设检验全部整理成表：单正态总体、两正态总体的各种情形，大样本方法，以及 u、t、χ²、F 检验。</p>

  <p>记这些表格有个窍门：<strong>区间和检验用的是同一个枢轴量</strong>。先想清楚“在什么条件下，哪个统计量服从什么分布”，区间和拒绝域都能自己推出来。文末附上从习题中推出的常用结论。</p>
</blockquote>

<hr />

<blockquote>
  <p>记号：\(u_p\)、\(t_p\)、\(\chi^2_p\)、\(F_p\) 都是<strong>下侧</strong> \(p\) 分位数。置信水平为 \(1-\alpha\)。</p>
</blockquote>

<hr />

<h2 id="1-置信区间与枢轴量p343p352指导书-p369">1. 置信区间与枢轴量（P343～P352，指导书 P369）</h2>

<p><strong>枢轴量法</strong>：构造一个只含待估参数、分布已知且与参数无关的函数 \(G\)（枢轴量），由 \(P(a\le G\le b)=1-\alpha\) 反解出参数的区间。</p>

<h3 id="单个正态总体-nmusigma2">单个正态总体 \(N(\mu,\sigma^2)\)</h3>

<table>
  <thead>
    <tr>
      <th>待估</th>
      <th>条件</th>
      <th>枢轴量</th>
      <th>\(1-\alpha\) 置信区间</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>\(\mu\)</td>
      <td>\(\sigma\) 已知</td>
      <td>\(\dfrac{\bar x-\mu}{\sigma/\sqrt n}\sim N(0,1)\)</td>
      <td>\(\bar x\pm u_{1-\alpha/2}\dfrac{\sigma}{\sqrt n}\)</td>
    </tr>
    <tr>
      <td>\(\mu\)</td>
      <td>\(\sigma\) 未知</td>
      <td>\(\dfrac{\sqrt n(\bar x-\mu)}{s}\sim t(n-1)\)</td>
      <td>\(\bar x\pm t_{1-\alpha/2}(n-1)\dfrac{s}{\sqrt n}\)</td>
    </tr>
    <tr>
      <td>\(\sigma^2\)</td>
      <td>\(\mu\) 未知</td>
      <td>\(\dfrac{(n-1)s^2}{\sigma^2}\sim\chi^2(n-1)\)</td>
      <td>\(\left[\dfrac{(n-1)s^2}{\chi^2_{1-\alpha/2}(n-1)},\ \dfrac{(n-1)s^2}{\chi^2_{\alpha/2}(n-1)}\right]\)</td>
    </tr>
  </tbody>
</table>

<h3 id="两个正态总体-xsim-nmu_1sigma_12样本量-mysim-nmu_2sigma_22样本量-n">两个正态总体 \(X\sim N(\mu_1,\sigma_1^2)\)（样本量 \(m\)），\(Y\sim N(\mu_2,\sigma_2^2)\)（样本量 \(n\)）</h3>

<p><strong>\(\mu_1-\mu_2\) 的置信区间</strong></p>

<table>
  <thead>
    <tr>
      <th>情形</th>
      <th>区间</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>① \(\sigma_1^2,\sigma_2^2\) 已知</td>
      <td>\(\bar x-\bar y\pm u_{1-\alpha/2}\sqrt{\dfrac{\sigma_1^2}{m}+\dfrac{\sigma_2^2}{n}}\)</td>
    </tr>
    <tr>
      <td>② \(\sigma_1^2=\sigma_2^2\) 未知</td>
      <td>\(\bar x-\bar y\pm\sqrt{\dfrac{m+n}{mn}}\,s_w\,t_{1-\alpha/2}(m+n-2)\)，\(s_w^2=\dfrac{(m-1)s_x^2+(n-1)s_y^2}{m+n-2}\)</td>
    </tr>
    <tr>
      <td>③ \(\sigma_1^2/\sigma_2^2=\theta\) 已知</td>
      <td>\(\bar x-\bar y\pm\sqrt{\dfrac{m\theta+n}{mn}}\,s_t\,t_{1-\alpha/2}(m+n-2)\)，\(s_t^2=\dfrac{(m-1)s_x^2+(n-1)s_y^2/\theta}{m+n-2}\)</td>
    </tr>
    <tr>
      <td>④ \(m,n\) 都很大（近似）</td>
      <td>\(\bar x-\bar y\pm u_{1-\alpha/2}\sqrt{\dfrac{s_x^2}{m}+\dfrac{s_y^2}{n}}\)</td>
    </tr>
    <tr>
      <td>⑤ 一般场合，小样本（近似 t，Welch）</td>
      <td>\(\bar x-\bar y\pm s_0\,t_{1-\alpha/2}(l)\)，\(s_0^2=\dfrac{s_x^2}m+\dfrac{s_y^2}n\)，\(l=\dfrac{s_0^4}{\frac{s_x^4}{m^2(m-1)}+\frac{s_y^4}{n^2(n-1)}}\)（取最接近的整数）</td>
    </tr>
  </tbody>
</table>

<p><strong>\(\sigma_1^2/\sigma_2^2\) 的置信区间</strong>（\(\mu_1,\mu_2\) 未知）</p>

\[F=\frac{s_x^2/\sigma_1^2}{s_y^2/\sigma_2^2}\sim F(m-1,n-1),\qquad\left[\frac{s_x^2}{s_y^2}\cdot\frac{1}{F_{1-\alpha/2}(m-1,n-1)},\ \frac{s_x^2}{s_y^2}\cdot\frac{1}{F_{\alpha/2}(m-1,n-1)}\right].\]

<h3 id="大样本置信区间会推">大样本置信区间（会推）</h3>

<p>\(X\sim b(1,p)\)，由中心极限定理 \(\dfrac{\bar x-p}{\sqrt{p(1-p)/n}}\ \dot\sim\ N(0,1)\)，将分母中的 \(p\) 用 \(\bar x\) 代替，得到</p>

\[\bar x\pm u_{1-\alpha/2}\sqrt{\frac{\bar x(1-\bar x)}{n}}.\]

<details>
  <summary>更精确的做法（不代入 \(\bar x\)，直接解二次不等式）</summary>

  <p>由 \(\left\vert \bar x-p\right\vert \le u_{1-\alpha/2}\sqrt{p(1-p)/n}\)，两边平方后得到关于 \(p\) 的二次不等式：</p>

\[\left(1+\frac{u^2}n\right)p^2-\left(2\bar x+\frac{u^2}n\right)p+\bar x^2\le0,\qquad u=u_{1-\alpha/2}.\]

  <p>两根之间就是 \(p\) 的置信区间。\(n\) 很大时，它与上面的简化区间几乎相同。</p>

</details>

<hr />

<h2 id="2-假设检验汇总">2. 假设检验汇总</h2>

<p><strong>假设检验的基本步骤（P357）</strong>：见第 1 篇。<br />
<strong>p 值</strong>：在 \(H_0\) 成立的条件下，得到“和当前观测值一样极端或更极端”结果的概率。p 值 \(\le\alpha\) 时拒绝 \(H_0\)。</p>

<h3 id="单个正态总体均值-mu-的检验p369">单个正态总体均值 \(\mu\) 的检验（P369）</h3>

<table>
  <thead>
    <tr>
      <th>检验</th>
      <th>\(H_0\)</th>
      <th>\(H_1\)</th>
      <th>检验统计量</th>
      <th>拒绝域 \(W\)</th>
      <th>p 值</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>u 检验（\(\sigma\) 已知）</td>
      <td>\(\mu\le\mu_0\)</td>
      <td>\(\mu&gt;\mu_0\)</td>
      <td>\(u=\dfrac{\bar x-\mu_0}{\sigma/\sqrt n}\)</td>
      <td>\(u\ge u_{1-\alpha}\)</td>
      <td>\(1-\Phi(u_0)\)</td>
    </tr>
    <tr>
      <td> </td>
      <td>\(\mu\ge\mu_0\)</td>
      <td>\(\mu&lt;\mu_0\)</td>
      <td> </td>
      <td>\(u\le u_\alpha\)</td>
      <td>\(\Phi(u_0)\)</td>
    </tr>
    <tr>
      <td> </td>
      <td>\(\mu=\mu_0\)</td>
      <td>\(\mu\ne\mu_0\)</td>
      <td> </td>
      <td>\(\lvert u\rvert\ge u_{1-\alpha/2}\)</td>
      <td>\(2[1-\Phi(\lvert u_0\rvert)]\)</td>
    </tr>
    <tr>
      <td>t 检验（\(\sigma\) 未知）</td>
      <td>\(\mu\le\mu_0\)</td>
      <td>\(\mu&gt;\mu_0\)</td>
      <td>\(t=\dfrac{\bar x-\mu_0}{s/\sqrt n}\)</td>
      <td>\(t\ge t_{1-\alpha}(n-1)\)</td>
      <td>\(P(T\ge t_0)\)</td>
    </tr>
    <tr>
      <td> </td>
      <td>\(\mu\ge\mu_0\)</td>
      <td>\(\mu&lt;\mu_0\)</td>
      <td> </td>
      <td>\(t\le t_\alpha(n-1)\)</td>
      <td>\(P(T\le t_0)\)</td>
    </tr>
    <tr>
      <td> </td>
      <td>\(\mu=\mu_0\)</td>
      <td>\(\mu\ne\mu_0\)</td>
      <td> </td>
      <td>\(\lvert t\rvert\ge t_{1-\alpha/2}(n-1)\)</td>
      <td>\(2P(T\ge\lvert t_0\rvert)\)</td>
    </tr>
  </tbody>
</table>

<p>（\(u_0\)、\(t_0\) 为统计量的观测值，\(T\sim t(n-1)\)。）</p>

<h3 id="两个正态总体均值差的检验p373">两个正态总体均值差的检验（P373）</h3>

<p>原假设都写成 \(H_0:\mu_1-\mu_2=0\)（或 \(\le0\)、\(\ge0\)），拒绝域的方向同上表。</p>

<table>
  <thead>
    <tr>
      <th>检验</th>
      <th>条件</th>
      <th>检验统计量</th>
      <th>\(H_0\) 下的分布</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>两样本 u 检验</td>
      <td>\(\sigma_1,\sigma_2\) 已知</td>
      <td>\(u=\dfrac{\bar x-\bar y}{\sqrt{\sigma_1^2/m+\sigma_2^2/n}}\)</td>
      <td>\(N(0,1)\)</td>
    </tr>
    <tr>
      <td>两样本 t 检验</td>
      <td>\(\sigma_1=\sigma_2=\sigma\) 未知</td>
      <td>\(t=\dfrac{\bar x-\bar y}{s_w\sqrt{\frac1m+\frac1n}}\)</td>
      <td>\(t(m+n-2)\)</td>
    </tr>
    <tr>
      <td>大样本 u 检验</td>
      <td>\(m,n\) 充分大</td>
      <td>\(u=\dfrac{\bar x-\bar y}{\sqrt{s_x^2/m+s_y^2/n}}\)</td>
      <td>近似 \(N(0,1)\)</td>
    </tr>
    <tr>
      <td>近似 t 检验</td>
      <td>\(m,n\) 不很大，方差未知且不等</td>
      <td>\(t=\dfrac{\bar x-\bar y}{\sqrt{s_x^2/m+s_y^2/n}}\)</td>
      <td>近似 \(t(l)\)，\(l\) 同上</td>
    </tr>
  </tbody>
</table>

<h3 id="方差的检验">方差的检验</h3>

<table>
  <thead>
    <tr>
      <th>检验</th>
      <th>\(H_0\)</th>
      <th>检验统计量</th>
      <th>拒绝域（双侧 / 右侧 / 左侧）</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>\(\chi^2\) 检验</td>
      <td>\(\sigma^2=\sigma_0^2\)</td>
      <td>\(\chi^2=\dfrac{(n-1)s^2}{\sigma_0^2}\sim\chi^2(n-1)\)</td>
      <td>\(\chi^2\le\chi^2_{\alpha/2}\) 或 \(\chi^2\ge\chi^2_{1-\alpha/2}\) ／ \(\chi^2\ge\chi^2_{1-\alpha}\) ／ \(\chi^2\le\chi^2_\alpha\)</td>
    </tr>
    <tr>
      <td>F 检验</td>
      <td>\(\sigma_1^2=\sigma_2^2\)</td>
      <td>\(F=\dfrac{s_x^2}{s_y^2}\sim F(m-1,n-1)\)</td>
      <td>\(F\le F_{\alpha/2}\) 或 \(F\ge F_{1-\alpha/2}\) ／ \(F\ge F_{1-\alpha}\) ／ \(F\le F_\alpha\)</td>
    </tr>
  </tbody>
</table>

<p><strong>区间估计与检验的对偶关系</strong>：\(\mu=\mu_0\) 的双侧检验在水平 \(\alpha\) 下被接受，当且仅当 \(\mu_0\) 落在 \(1-\alpha\) 置信区间内。</p>

<p><strong>势函数（P360）</strong>：例如对 u 检验 \(H_0:\mu\le\mu_0\) vs \(H_1:\mu&gt;\mu_0\)，</p>

\[g(\mu)=P_\mu(u\ge u_{1-\alpha})=1-\Phi\left(u_{1-\alpha}-\frac{\mu-\mu_0}{\sigma/\sqrt n}\right),\]

<p>它是 \(\mu\) 的增函数；在 \(\mu=\mu_0\) 处等于 \(\alpha\)。</p>

<hr />

<h2 id="3-习题推得的结论汇总">3. 习题推得的结论汇总</h2>

<table>
  <thead>
    <tr>
      <th>习题</th>
      <th>结论</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>1.2.1(3)</td>
      <td>\(\binom n0+\binom n1+\cdots+\binom nn=2^n\)</td>
    </tr>
    <tr>
      <td>1.2.1(4)</td>
      <td>\(\binom n1+2\binom n2+\cdots+n\binom nn=n2^{n-1}\)</td>
    </tr>
    <tr>
      <td>1.2.1(5)</td>
      <td>范德蒙恒等式：\(\sum_{k=0}^{n}\binom ak\binom b{n-k}=\binom{a+b}n\)，\(n\le\min\{a,b\}\)</td>
    </tr>
    <tr>
      <td>1.3.2</td>
      <td>概率不能反推事件：\(P(AB)=0\not\Rightarrow AB=\varnothing\)（例如连续型随机变量取单点的概率为 0，但这个事件并非不可能事件）</td>
    </tr>
    <tr>
      <td>2.2.20</td>
      <td>连续型：\(E(X)=\int_0^{\infty}[1-F(x)]dx-\int_{-\infty}^0F(x)dx\)</td>
    </tr>
    <tr>
      <td>2.2.21</td>
      <td>非负连续型：\(E(X)=\int_0^{\infty}P(X&gt;x)dx\)，\(E(X^n)=\int_0^{\infty}nx^{n-1}P(X&gt;x)dx\)</td>
    </tr>
    <tr>
      <td>2.3.8</td>
      <td>熟练应用上面两条；\(\int_0^{\infty}x^2e^{-x^2}dx=\frac{\sqrt\pi}4\)</td>
    </tr>
    <tr>
      <td>2.3.9</td>
      <td>\(E(X-EX)^2\le E(X-c)^2\)（均值处最小）；\(E\lvert X-m\rvert\le E\lvert X-c\rvert\)（中位数处最小）</td>
    </tr>
    <tr>
      <td>2.3.12</td>
      <td>\(g\) 非负不减，\(E g(X)\) 存在 \(\Rightarrow P(X&gt;\varepsilon)\le\frac{E g(X)}{g(\varepsilon)}\)</td>
    </tr>
    <tr>
      <td>—</td>
      <td>有界随机变量 \(X\in[a,b]\)：\(a\le EX\le b\)，\(\mathrm{Var}X\le\left(\frac{b-a}2\right)^2\)</td>
    </tr>
    <tr>
      <td>2.7.3(3)</td>
      <td>\(LN(\mu,\sigma^2)\) 的中位数为 \(e^\mu\)</td>
    </tr>
    <tr>
      <td>2.7.4</td>
      <td>\(Ga(\alpha,\lambda)\)：\(E(X^k)=\frac{\Gamma(\alpha+k)}{\Gamma(\alpha)\lambda^k}\)</td>
    </tr>
    <tr>
      <td>2.7.5</td>
      <td>\(Exp(\lambda)\)：\(E(X^k)=\frac{k!}{\lambda^k}\)，\(C_v=1\)，\(\beta_s=2\)，\(\beta_k=6\)</td>
    </tr>
    <tr>
      <td>2.7.11</td>
      <td>\(LN(\mu,\sigma^2)\) 的 \(p\) 分位数为 \(e^{\mu+\sigma u_p}\)</td>
    </tr>
    <tr>
      <td>3.3.12</td>
      <td>\(\min\{a,b\}=\frac12[a+b-\lvert b-a\rvert]\)，\(\max\{a,b\}=\frac12[a+b+\lvert b-a\rvert]\)</td>
    </tr>
    <tr>
      <td>3.4.14</td>
      <td>\(X,Y\overset{iid}{\sim}N(0,1)\)：\(E\max\{X,Y\}=\frac1{\sqrt\pi}\)</td>
    </tr>
    <tr>
      <td>3.4.18</td>
      <td>\(X,Y\overset{iid}{\sim}N(a,\sigma^2)\)：\(E\max\{X,Y\}=a+\frac\sigma{\sqrt\pi}\)</td>
    </tr>
    <tr>
      <td>配对模型</td>
      <td>抽礼物问题：\(E(S_n)=1\)，\(\mathrm{Var}(S_n)=1\)</td>
    </tr>
    <tr>
      <td>4.1.18</td>
      <td>iid，\(EX=0\)，\(\mathrm{Var}X=\sigma^2\) \(\Rightarrow\frac1n\sum X_k^2\xrightarrow{P}\sigma^2\)</td>
    </tr>
    <tr>
      <td>4.3.4</td>
      <td>只有相邻项相关时：\(\mathrm{Var}(\sum X_i)=\sum\mathrm{Var}(X_i)+2\sum_{i=1}^{n-1}\mathrm{Cov}(X_i,X_{i+1})\)</td>
    </tr>
    <tr>
      <td>5.3.4</td>
      <td>\(s_{n+1}^2=\frac{n-1}ns_n^2+\frac1{n+1}(x_{n+1}-\bar x_n)^2\)</td>
    </tr>
    <tr>
      <td>5.3.10</td>
      <td>\((\sum x_i)^2=\sum x_i^2+2\sum_{i&lt;j}x_ix_j\)</td>
    </tr>
    <tr>
      <td>5.3.22–23</td>
      <td>定理 5.3.6（两个次序统计量的联合密度）的应用</td>
    </tr>
    <tr>
      <td>5.3.28</td>
      <td>\(\eta_i=F(x_{(i)})\) 是 \(U(0,1)\) 的次序统计量；\(E\eta_i=\frac i{n+1}\)，\(\mathrm{Var}\eta_i=\frac{i(n+1-i)}{(n+1)^2(n+2)}\)</td>
    </tr>
    <tr>
      <td>5.3.34</td>
      <td>\(U(0,\theta)\) 的全体次序统计量的联合密度为 \(\frac{n!}{\theta^n}\)，\(0&lt;u_1\le\dots\le u_n\le\theta\)</td>
    </tr>
    <tr>
      <td>6.3.2</td>
      <td>MLE 可能不止一个</td>
    </tr>
    <tr>
      <td>6.4.5</td>
      <td>\(I(\theta)=-E\left[\frac{\partial^2}{\partial\theta^2}\ln p(x;\theta)\right]\)</td>
    </tr>
  </tbody>
</table>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-01-concepts/">01｜概念简答索引</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-02-distributions/">02｜常用分布</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-03-multivariate/">03｜多维分布、协方差与条件期望</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-04-limit-theorems/">04｜特征函数、大数定律与中心极限定理</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-05-sampling/">05｜抽样分布、次序统计量与充分统计量</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-06-estimation/">06｜参数估计</a></li>
  <li><strong>07｜区间估计、假设检验与习题结论</strong>（本篇）</li>
</ol>

<p><strong>系列完结</strong>，感谢一路看到这里。　·　<a href="/homepage_cn/2026/09/30/mao-notes-06-estimation/">← 上一篇：参数估计</a></p>

<p><em>本系列是我复习茆诗松、程依明、濮晓龙《概率论与数理统计教程》时整理的笔记，共 7 篇。文中 P××× 为茆书页码，“指导书”为配套的学习指导与习题解答。如有错漏，欢迎指出。</em></p>]]></content><author><name>张梓源</name></author><category term="茆书复习笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 系列最后一篇，把区间估计和假设检验全部整理成表：单正态总体、两正态总体的各种情形，大样本方法，以及 u、t、χ²、F 检验。 记这些表格有个窍门：区间和检验用的是同一个枢轴量。先想清楚“在什么条件下，哪个统计量服从什么分布”，区间和拒绝域都能自己推出来。文末附上从习题中推出的常用结论。]]></summary></entry><entry><title type="html">茆书复习笔记 06｜参数估计：无偏、相合、MLE、Fisher 信息与 C-R 下界</title><link href="https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-06-estimation/" rel="alternate" type="text/html" title="茆书复习笔记 06｜参数估计：无偏、相合、MLE、Fisher 信息与 C-R 下界" /><published>2026-09-30T14:06:00+00:00</published><updated>2026-09-30T14:06:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-06-estimation</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-06-estimation/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>参数估计这一章的性质特别容易混：无偏性有没有不变性？矩估计唯一吗？MLE 呢？</p>

  <p>这一篇先用一张表把这些“唯一 / 不变”的结论对照清楚，再整理相合性、UMVUE、充分性原则和 Cramér-Rao 不等式这几个需要会证的定理，最后用一个共轭先验的例子讲贝叶斯估计。</p>
</blockquote>

<hr />

<h2 id="1-两种点估计方法">1. 两种点估计方法</h2>

<p><strong>矩估计（替换原理）</strong>：用样本矩替换总体矩，用样本矩的函数替换总体矩的同一函数。<br />
例：\(E(X)=\mu\Rightarrow\hat\mu=\bar x\)；\(\mathrm{Var}(X)=\sigma^2\Rightarrow\hat\sigma^2=s_n^2\)。</p>

<p><strong>最大似然估计</strong>：\(L(\theta)=\prod_{i=1}^np(x_i;\theta)\)，通常解对数似然方程 \(\frac{\partial\ln L}{\partial\theta}=0\)。</p>
<ul>
  <li>正态总体（P316）：\(\hat\mu=\bar x\)，\(\hat\sigma^2=s_n^2=\frac1n\sum(x_i-\bar x)^2\)</li>
  <li>支撑依赖参数时不能求导，要直接看 \(L\) 的单调性。例：\(U(0,\theta)\) 时 \(L(\theta)=\theta^{-n}I_{\{\theta\ge x_{(n)}\}}\)，在 \(\theta\ge x_{(n)}\) 上递减，所以 \(\hat\theta=x_{(n)}\)。</li>
</ul>

<hr />

<h2 id="2-性质对照哪些唯一哪些不变">2. 性质对照（哪些“唯一”、哪些“不变”）</h2>

<table>
  <thead>
    <tr>
      <th>结论</th>
      <th>页码</th>
      <th>说明 / 例子</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td><strong>无偏性不具有不变性</strong></td>
      <td>P303</td>
      <td>\(s^2\) 是 \(\sigma^2\) 的无偏估计，但 \(s\) 不是 \(\sigma\) 的无偏估计（由 Jensen 不等式，\(E s&lt;\sigma\)）</td>
    </tr>
    <tr>
      <td>矩估计：\(g(\theta)\) 的矩估计可取 \(g(\hat\theta)\)</td>
      <td>P309</td>
      <td>替换原理的直接推论</td>
    </tr>
    <tr>
      <td><strong>矩估计不唯一</strong></td>
      <td>P309</td>
      <td>泊松总体中 \(\bar x\) 和 \(s_n^2\) 都是 \(\lambda\) 的矩估计（因为 \(E X=\mathrm{Var}X=\lambda\)）</td>
    </tr>
    <tr>
      <td><strong>相合估计不唯一</strong></td>
      <td>P310</td>
      <td>若 \(\hat\theta_n\) 相合，则 \(\hat\theta_n+\frac1n\) 也相合</td>
    </tr>
    <tr>
      <td><strong>相合估计具有不变性</strong>（定理 6.2.2，会证）</td>
      <td>P311</td>
      <td>\(\hat\theta_n\xrightarrow{P}\theta\)，\(g\) 连续 \(\Rightarrow g(\hat\theta_n)\xrightarrow{P}g(\theta)\)</td>
    </tr>
    <tr>
      <td><strong>矩估计一般都具有相合性</strong></td>
      <td>P312</td>
      <td>辛钦大数定律 + 定理 6.2.2</td>
    </tr>
    <tr>
      <td><strong>最大似然估计具有不变性</strong></td>
      <td>P316</td>
      <td>\(\hat\theta\) 是 MLE \(\Rightarrow g(\hat\theta)\) 是 \(g(\theta)\) 的 MLE。例：\(\sigma\) 的 MLE 是 \(s_n\)</td>
    </tr>
    <tr>
      <td><strong>MLE 可能不止一个</strong>（习题 6.3.2）</td>
      <td> </td>
      <td>\(U(\theta-\frac12,\theta+\frac12)\) 中，\([x_{(n)}-\frac12,\ x_{(1)}+\frac12]\) 内的任一点都是 MLE</td>
    </tr>
  </tbody>
</table>

<hr />

<h2 id="3-相合性">3. 相合性</h2>

<p><strong>定理 6.2.1（P310，会证）</strong>：若 \(\lim_{n\to\infty}E(\hat\theta_n)=\theta\)，且 \(\lim_{n\to\infty}\mathrm{Var}(\hat\theta_n)=0\)，则 \(\hat\theta_n\) 是 \(\theta\) 的相合估计。</p>

<details>
  <summary>证明</summary>

  <p>由马尔可夫（切比雪夫型）不等式，</p>

\[P(\vert \hat\theta_n-\theta\vert \ge\varepsilon)\le\frac{E(\hat\theta_n-\theta)^2}{\varepsilon^2}=\frac{\mathrm{Var}(\hat\theta_n)+\big(E\hat\theta_n-\theta\big)^2}{\varepsilon^2}\to0.\]

</details>

<p><strong>定理 6.2.2（P311，会证）</strong>：若 \(\hat\theta_{n1},\dots,\hat\theta_{nk}\) 分别是 \(\theta_1,\dots,\theta_k\) 的相合估计，\(\eta=g(\theta_1,\dots,\theta_k)\) 是连续函数，则 \(\hat\eta_n=g(\hat\theta_{n1},\dots,\hat\theta_{nk})\) 是 \(\eta\) 的相合估计。</p>

<details>
  <summary>证明要点（一维）</summary>

  <p>由 \(g\) 在 \(\theta\) 处连续，对任意 \(\varepsilon&gt;0\)，存在 \(\delta&gt;0\)，使得 \(\vert \hat\theta_n-\theta\vert &lt;\delta\) 时 \(\vert g(\hat\theta_n)-g(\theta)\vert &lt;\varepsilon\)。于是</p>

\[P\big(\vert g(\hat\theta_n)-g(\theta)\vert \ge\varepsilon\big)\le P(\vert \hat\theta_n-\theta\vert \ge\delta)\to0.\]

</details>

<p><strong>MLE 的渐近正态性（指导书 P328）</strong>：在一定正则条件下，</p>

\[\hat\theta_{MLE}\ \dot\sim\ N\left(\theta,\ \frac{1}{nI(\theta)}\right),\]

<p>其中 \(n\) 为样本容量，\(I(\theta)\) 为费希尔信息量。所以 MLE 同时具有<strong>相合性</strong>和<strong>渐近正态性</strong>，而且渐近方差达到了 C-R 下界（渐近有效）。</p>

<hr />

<h2 id="4-均方误差与有效性">4. 均方误差与有效性</h2>

<p><strong>均方误差（P323）</strong></p>

\[\mathrm{MSE}(\hat\theta)=E(\hat\theta-\theta)^2=\mathrm{Var}(\hat\theta)+\big(E\hat\theta-\theta\big)^2.\]

<p>无偏估计的 MSE 就是方差。有偏估计的 MSE 可能反而更小。例：正态总体中，\(\sigma^2\) 的估计 \(\frac1{n+1}\sum(x_i-\bar x)^2\) 的 MSE 比 \(s^2\) 更小。</p>

<hr />

<h2 id="5-umvue">5. UMVUE</h2>

<p><strong>定理 6.4.1（P325，会证）</strong>：设 \(\hat\theta\) 是 \(\theta\) 的无偏估计，\(\mathrm{Var}(\hat\theta)&lt;\infty\)。则 \(\hat\theta\) 是 \(\theta\) 的 UMVUE，当且仅当对任意满足 \(E(\varphi)=0\)、\(\mathrm{Var}(\varphi)&lt;\infty\) 的统计量 \(\varphi\)（即“零的无偏估计”），都有</p>

\[\mathrm{Cov}_\theta(\hat\theta,\varphi)=0,\qquad\forall\theta\in\Theta.\]

<p>一句话：UMVUE 必与任一零的无偏估计不相关。</p>

<details>
  <summary>证明</summary>

  <p><strong>充分性</strong>：设 \(\tilde\theta\) 是任一无偏估计，令 \(\varphi=\tilde\theta-\hat\theta\)，则 \(E\varphi=0\)，于是</p>

\[\mathrm{Var}(\tilde\theta)=\mathrm{Var}(\hat\theta+\varphi)=\mathrm{Var}(\hat\theta)+\mathrm{Var}(\varphi)+2\underbrace{\mathrm{Cov}(\hat\theta,\varphi)}_{=0}\ge\mathrm{Var}(\hat\theta).\]

  <p><strong>必要性</strong>（反证）：若对某个 \(\theta_0\) 有 \(\mathrm{Cov}(\hat\theta,\varphi)\ne0\)，考虑无偏估计 \(\hat\theta+\lambda\varphi\)，</p>

\[\mathrm{Var}(\hat\theta+\lambda\varphi)=\mathrm{Var}(\hat\theta)+2\lambda\mathrm{Cov}(\hat\theta,\varphi)+\lambda^2\mathrm{Var}(\varphi).\]

  <p>取 \(\lambda=-\mathrm{Cov}/\mathrm{Var}(\varphi)\)，方差严格小于 \(\mathrm{Var}(\hat\theta)\)，与 UMVUE 矛盾。</p>

</details>

<p><strong>定理 6.4.2 充分性原则（P327，会证）</strong>：设 \(T\) 是充分统计量，\(\hat\theta\) 是 \(\theta\) 的无偏估计，令 \(\tilde\theta=E(\hat\theta\mid T)\)，则 \(\tilde\theta\) 也是 \(\theta\) 的无偏估计，并且 \(\mathrm{Var}(\tilde\theta)\le\mathrm{Var}(\hat\theta)\)。</p>

<details>
  <summary>证明</summary>

  <p>因为 \(T\) 充分，条件分布与 \(\theta\) 无关，所以 \(E(\hat\theta\mid T)\) 不含 \(\theta\)，是一个统计量。</p>
  <ul>
    <li>无偏性：由重期望公式，\(E\tilde\theta=E\big(E(\hat\theta\mid T)\big)=E\hat\theta=\theta\)。</li>
    <li>方差：由条件方差公式，\(\mathrm{Var}(\hat\theta)=\mathrm{Var}\big(E(\hat\theta\mid T)\big)+E\big(\mathrm{Var}(\hat\theta\mid T)\big)\ge\mathrm{Var}(\tilde\theta)\)。</li>
  </ul>

</details>

<p>直观理解：好的估计只应依赖于充分统计量，对充分统计量取条件期望只会让估计更好（至少不会更差）。所以找 UMVUE，只需在充分统计量的函数中找。</p>

<hr />

<h2 id="6-费希尔信息量与-c-r-不等式">6. 费希尔信息量与 C-R 不等式</h2>

<p><strong>费希尔信息量（P329）</strong></p>

\[I(\theta)=E\left[\frac{\partial}{\partial\theta}\ln p(x;\theta)\right]^2=-E\left[\frac{\partial^2}{\partial\theta^2}\ln p(x;\theta)\right].\]

<p>第二个等号见习题 6.4.5，计算时通常用二阶导更方便。\(I(\theta)\) 越大，一个样本中关于 \(\theta\) 的信息越多。</p>

<p><strong>☆ 定理 6.4.3 Cramér-Rao 不等式（P329，会证）</strong>：在正则条件下，若 \(T\) 是 \(g(\theta)\) 的无偏估计，则</p>

\[\mathrm{Var}(T)\ge\frac{[g'(\theta)]^2}{nI(\theta)}.\]

<p>特别地，\(\theta\) 的任一无偏估计的方差 \(\ge\dfrac1{nI(\theta)}\)。达到下界的无偏估计称为<strong>有效估计</strong>。</p>

<details>
  <summary>证明要点</summary>

  <p>记得分函数 \(S=\sum_{i=1}^n\frac{\partial}{\partial\theta}\ln p(x_i;\theta)\)，则 \(E(S)=0\)，\(\mathrm{Var}(S)=nI(\theta)\)。<br />
对 \(E_\theta(T)=g(\theta)\) 两边关于 \(\theta\) 求导（正则条件保证求导与积分可交换）：</p>

\[g'(\theta)=\int T(\boldsymbol x)\frac{\partial}{\partial\theta}p(\boldsymbol x;\theta)\,d\boldsymbol x=E(TS)=\mathrm{Cov}(T,S).\]

  <p>由施瓦茨不等式，\([g'(\theta)]^2=[\mathrm{Cov}(T,S)]^2\le\mathrm{Var}(T)\,\mathrm{Var}(S)=\mathrm{Var}(T)\cdot nI(\theta)\)。</p>

</details>

<p><strong>常见分布的费希尔信息量（指导书 P341）</strong></p>

<table>
  <thead>
    <tr>
      <th>分布</th>
      <th>费希尔信息量</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>\(b(1,p)\)</td>
      <td>\(I(p)=\dfrac1{p(1-p)}\)</td>
    </tr>
    <tr>
      <td>\(P(\lambda)\)</td>
      <td>\(I(\lambda)=\dfrac1\lambda\)</td>
    </tr>
    <tr>
      <td>\(Exp(\lambda)\)，密度 \(\lambda e^{-\lambda x}\)</td>
      <td>\(I(\lambda)=\dfrac1{\lambda^2}\)</td>
    </tr>
    <tr>
      <td>\(N(\mu,1)\)</td>
      <td>\(I(\mu)=1\)</td>
    </tr>
    <tr>
      <td>\(N(0,\sigma^2)\)</td>
      <td>\(I(\sigma^2)=\dfrac1{2\sigma^4}\)</td>
    </tr>
    <tr>
      <td>\(N(\mu,\sigma^2)\)</td>
      <td>\(I(\mu,\sigma^2)=\begin{pmatrix}\frac1{\sigma^2}&amp;0\\0&amp;\frac1{2\sigma^4}\end{pmatrix}\)</td>
    </tr>
  </tbody>
</table>

<p>例：泊松总体中 \(\mathrm{Var}(\bar x)=\frac\lambda n=\frac{1}{nI(\lambda)}\)，所以 \(\bar x\) 是 \(\lambda\) 的有效估计。</p>

<hr />

<h2 id="7-贝叶斯估计">7. 贝叶斯估计</h2>

<p><strong>后验分布公式</strong></p>

\[\pi(\theta\mid x_1,\dots,x_n)=\frac{h(x_1,\dots,x_n,\theta)}{m(x_1,\dots,x_n)}=\frac{p(x_1,\dots,x_n\mid\theta)\,\pi(\theta)}{\int_\Theta p(x_1,\dots,x_n\mid\theta)\,\pi(\theta)\,d\theta},\]

<p>其中 \(\pi(\theta)\) 为先验分布，\(m\) 为样本的边际分布。一般用后验均值 \(E(\theta\mid\boldsymbol x)\) 作为 \(\theta\) 的贝叶斯估计。</p>

<p><strong>共轭先验示例</strong>：\(x_i\sim b(1,p)\)，先验 \(p\sim Be(a,b)\)，则后验为 \(Be\left(a+\sum x_i,\ b+n-\sum x_i\right)\)，贝叶斯估计为</p>

\[\hat p_B=\frac{a+\sum x_i}{a+b+n}.\]

<p>直观理解：先验相当于“事先看过 \(a+b\) 次试验，其中成功了 \(a\) 次”，再和真实数据合在一起算频率。</p>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-01-concepts/">01｜概念简答索引</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-02-distributions/">02｜常用分布</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-03-multivariate/">03｜多维分布、协方差与条件期望</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-04-limit-theorems/">04｜特征函数、大数定律与中心极限定理</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-05-sampling/">05｜抽样分布、次序统计量与充分统计量</a></li>
  <li><strong>06｜参数估计</strong>（本篇）</li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-07-intervals-tests/">07｜区间估计、假设检验与习题结论</a></li>
</ol>

<p><a href="/homepage_cn/2026/09/30/mao-notes-05-sampling/">← 上一篇：抽样分布、次序统计量与充分统计量</a>　·　<a href="/homepage_cn/2026/09/30/mao-notes-07-intervals-tests/">下一篇：区间估计、假设检验与习题结论 →</a></p>

<p><em>本系列是我复习茆诗松、程依明、濮晓龙《概率论与数理统计教程》时整理的笔记，共 7 篇。文中 P××× 为茆书页码，“指导书”为配套的学习指导与习题解答。如有错漏，欢迎指出。</em></p>]]></content><author><name>张梓源</name></author><category term="茆书复习笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 参数估计这一章的性质特别容易混：无偏性有没有不变性？矩估计唯一吗？MLE 呢？ 这一篇先用一张表把这些“唯一 / 不变”的结论对照清楚，再整理相合性、UMVUE、充分性原则和 Cramér-Rao 不等式这几个需要会证的定理，最后用一个共轭先验的例子讲贝叶斯估计。]]></summary></entry><entry><title type="html">茆书复习笔记 05｜抽样分布、次序统计量与充分统计量</title><link href="https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-05-sampling/" rel="alternate" type="text/html" title="茆书复习笔记 05｜抽样分布、次序统计量与充分统计量" /><published>2026-09-30T14:05:00+00:00</published><updated>2026-09-30T14:05:00+00:00</updated><id>https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-05-sampling</id><content type="html" xml:base="https://bobothebest.github.io/homepage_cn/2026/09/30/mao-notes-05-sampling/"><![CDATA[<blockquote>
  <p><strong>导读</strong></p>

  <p>从这一篇开始进入数理统计。样本均值 \(\bar x\)、样本方差 \(s^2\) 和 \(\chi^2\)、t、F 三大分布，是后面所有区间估计和假设检验的“原材料”。</p>

  <p>其中最核心的一个定理是：<strong>正态样本下，\(\bar x\) 与 \(s^2\) 相互独立</strong>（定理 5.4.1）。后面几乎所有枢轴量都建立在它上面，所以一定要会证。</p>
</blockquote>

<hr />

<h2 id="1-样本均值与样本方差">1. 样本均值与样本方差</h2>

<p><strong>样本方差（P267）</strong></p>

\[s^2=\frac1{n-1}\sum_{i=1}^n(x_i-\bar x)^2,\qquad s_n^2=\frac1n\sum_{i=1}^n(x_i-\bar x)^2.\]

<p>计算用的恒等式（记住，方便计算）：</p>

\[\sum_{i=1}^n(x_i-\bar x)^2=\sum x_i^2-\frac{\left(\sum x_i\right)^2}{n}=\sum x_i^2-n\bar x^2.\]

<p>配凑证明时常用（习题 5.3.10）：\(\left(\sum_{i=1}^nx_i\right)^2=\sum_{i=1}^nx_i^2+2\sum_{i&lt;j}x_ix_j\)。</p>

<p><strong>递推公式（习题 5.3.4）</strong>：记 \(\bar x_n=\frac1n\sum_{i=1}^nx_i\)，\(s_n^2=\frac1{n-1}\sum_{i=1}^n(x_i-\bar x_n)^2\)，则</p>

\[s_{n+1}^2=\frac{n-1}{n}s_n^2+\frac1{n+1}(x_{n+1}-\bar x_n)^2.\]

<p><strong>样本均值的平方偏差最小（P264，定理 5.3.2）</strong>：\(\sum(x_i-\bar x)^2\le\sum(x_i-c)^2\)，对任意常数 \(c\) 成立。</p>

<p><strong>定理 5.3.3（P265）：\(\bar x\) 的分布</strong></p>
<ul>
  <li>总体为 \(N(\mu,\sigma^2)\) 时：\(\bar x\sim N(\mu,\sigma^2/n)\)（精确成立）</li>
  <li>总体任意，但方差 \(\sigma^2\) 存在时：\(n\) 较大时 \(\bar x\ \dot\sim\ N(\mu,\sigma^2/n)\)（由中心极限定理）</li>
</ul>

<p><strong>定理 5.3.4（P268，会证）</strong>：若总体二阶矩存在，则</p>

\[E(\bar x)=\mu,\qquad\mathrm{Var}(\bar x)=\frac{\sigma^2}n,\qquad E(s^2)=\sigma^2.\]

<details>
  <summary>证明</summary>

  <p>前两个直接由期望和方差的性质得到。对于 \(s^2\)：</p>

\[E\left[\sum(x_i-\bar x)^2\right]=\sum E(x_i^2)-nE(\bar x^2)=n(\sigma^2+\mu^2)-n\left(\frac{\sigma^2}n+\mu^2\right)=(n-1)\sigma^2.\]

  <p>所以 \(E(s^2)=\sigma^2\)。这也是 \(s^2\) 分母取 \(n-1\) 的原因：用 \(\bar x\) 代替 \(\mu\) 会“用掉”一个自由度。</p>

</details>

<hr />

<h2 id="2-次序统计量">2. 次序统计量</h2>

<p><strong>单个次序统计量的分布（P273，背记）</strong>：总体密度为 \(p(x)\)、分布函数为 \(F(x)\) 时，</p>

\[p_k(x)=\frac{n!}{(k-1)!\,(n-k)!}\,[F(x)]^{k-1}\,[1-F(x)]^{n-k}\,p(x).\]

<p>特别地：</p>

\[p_{(1)}(x)=n[1-F(x)]^{n-1}p(x),\qquad p_{(n)}(x)=n[F(x)]^{n-1}p(x).\]

<blockquote>
  <p><strong>注意</strong>：密度公式只适用于连续总体，对离散分布不成立。离散时应从分布函数出发：\(F_{(n)}(x)=[F(x)]^n\)，\(F_{(1)}(x)=1-[1-F(x)]^n\)。</p>
</blockquote>

<details>
  <summary>记忆方法：“三段分类”</summary>

  <p>\(x_{(k)}\) 落在 \(x\) 附近，需要：\(k-1\) 个样本落在 \(x\) 左边（概率 \(F\)），\(1\) 个落在 \(x\) 附近（概率 \(p(x)dx\)），\(n-k\) 个落在右边（概率 \(1-F\)）。系数就是把 \(n\) 个样本分成三组的多项式系数 \(\frac{n!}{(k-1)!\,1!\,(n-k)!}\)。</p>

</details>

<p><strong>多个次序统计量的分布（P274；定理 5.3.6 的应用见习题 5.3.22、5.3.23）</strong>：\((x_{(i)},x_{(j)})\)，\(i&lt;j\)，联合密度为</p>

\[p_{ij}(y,z)=\frac{n!}{(i-1)!\,(j-i-1)!\,(n-j)!}[F(y)]^{i-1}[F(z)-F(y)]^{j-i-1}[1-F(z)]^{n-j}p(y)p(z),\quad y\le z.\]

<p>全部次序统计量的联合密度为 \(n!\prod_{i=1}^np(y_i)\)，\(y_1&lt;\dots&lt;y_n\)。<br />
例（习题 5.3.34）：\(X\sim U(0,\theta)\) 时，\((x_{(1)},\dots,x_{(n)})\) 的联合密度为 \(\frac{n!}{\theta^n}\)，\(0&lt;u_1\le\dots\le u_n\le\theta\)。</p>

<p><strong>均匀分布的次序统计量</strong></p>
<ul>
  <li>例 5.3.8（P274）：总体 \(U(0,1)\) 时，\(x_{(k)}\sim Be(k,\ n-k+1)\)</li>
  <li>例 5.3.9（P275）：总体 \(U(0,1)\) 时，极差 \(x_{(n)}-x_{(1)}\sim Be(n-1,\ 2)\)</li>
</ul>

<p><strong>☆ 习题 5.3.28（把任意连续总体化为均匀分布）</strong>：设总体分布函数 \(F\) 连续，令 \(\eta_i=F(x_{(i)})\)，则</p>
<ol>
  <li>\(\eta_1\le\dots\le\eta_n\) 恰是来自 \(U(0,1)\) 的次序统计量（因为 \(F(X)\sim U(0,1)\) 且 \(F\) 单调）；</li>
  <li>\(E(\eta_i)=\frac{i}{n+1}\)，\(\mathrm{Var}(\eta_i)=\frac{i(n+1-i)}{(n+1)^2(n+2)}\)（由 \(Be(i,n-i+1)\) 的期望和方差得到）；</li>
  <li>\(\eta_i,\eta_j\)（\(i&lt;j\)）的协方差矩阵为</li>
</ol>

\[\begin{pmatrix}\frac{a_1(1-a_1)}{n+2}&amp;\frac{a_1(1-a_2)}{n+2}\\[2pt]\frac{a_1(1-a_2)}{n+2}&amp;\frac{a_2(1-a_2)}{n+2}\end{pmatrix},\qquad a_1=\frac i{n+1},\ a_2=\frac j{n+1}.\]

<p><strong>样本 \(p\) 分位数的渐近分布（定理 5.3.7，P276）</strong>：设总体密度 \(p(x)\) 在 \(x_p\) 处连续且 \(p(x_p)&gt;0\)，则</p>

\[m_p\ \dot\sim\ N\left(x_p,\ \frac{p(1-p)}{n\,p^2(x_p)}\right).\]

<p>特别地，样本中位数 \(m_{0.5}\ \dot\sim\ N\left(x_{0.5},\ \frac{1}{4n\,p^2(x_{0.5})}\right)\)。</p>

<p><strong>中位数具有稳健性（P277）</strong>：少数异常值对中位数几乎没有影响，对均值的影响却可能很大。</p>

<hr />

<h2 id="3-三大抽样分布">3. 三大抽样分布</h2>

<table>
  <thead>
    <tr>
      <th>分布</th>
      <th>构造</th>
      <th>密度</th>
      <th>页码</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>\(\chi^2(n)\)</td>
      <td>\(X_1,\dots,X_n\overset{iid}{\sim}N(0,1)\)，\(\sum X_i^2\)</td>
      <td>\(\frac{1}{2^{n/2}\Gamma(n/2)}x^{\frac n2-1}e^{-x/2},\ x&gt;0\)</td>
      <td>P283</td>
    </tr>
    <tr>
      <td>\(F(m,n)\)</td>
      <td>\(\dfrac{X/m}{Y/n}\)，\(X\sim\chi^2(m)\)，\(Y\sim\chi^2(n)\) 独立</td>
      <td>\(\frac{\Gamma(\frac{m+n}2)}{\Gamma(\frac m2)\Gamma(\frac n2)}\left(\frac mn\right)^{\frac m2}x^{\frac m2-1}\left(1+\frac mnx\right)^{-\frac{m+n}2},\ x&gt;0\)</td>
      <td>P286</td>
    </tr>
    <tr>
      <td>\(t(n)\)</td>
      <td>\(\dfrac{X}{\sqrt{Y/n}}\)，\(X\sim N(0,1)\)，\(Y\sim\chi^2(n)\) 独立</td>
      <td>\(\frac{\Gamma(\frac{n+1}2)}{\sqrt{n\pi}\,\Gamma(\frac n2)}\left(1+\frac{x^2}n\right)^{-\frac{n+1}2}\)</td>
      <td>P288</td>
    </tr>
  </tbody>
</table>

<ul>
  <li><strong>F 分布的分位数（P287）</strong>：\(F_\alpha(n,m)=\dfrac{1}{F_{1-\alpha}(m,n)}\)（因为 \(F\sim F(m,n)\) 时 \(\frac1F\sim F(n,m)\)）</li>
  <li>\(t(1)\) 就是标准柯西分布；\(n\to\infty\) 时 \(t(n)\to N(0,1)\)；若 \(T\sim t(n)\)，则 \(T^2\sim F(1,n)\)</li>
  <li>\(\chi^2(n)\)：期望 \(n\)，方差 \(2n\)；\(F(m,n)\)、\(t(n)\) 的期望和方差见第 2 篇</li>
</ul>

<details>
  <summary>F 分布密度的导出（会导）</summary>

  <p>先求 \(Z=X/Y\) 的密度。由商的密度公式</p>

\[p_Z(z)=\int_0^{\infty}p_X(zy)\,p_Y(y)\,y\,dy=\frac{z^{\frac m2-1}}{2^{\frac{m+n}2}\Gamma(\frac m2)\Gamma(\frac n2)}\int_0^{\infty}y^{\frac{m+n}2-1}e^{-\frac{(1+z)y}{2}}\,dy.\]

  <p>后面的积分用伽玛函数算出，等于 \(\Gamma(\frac{m+n}2)\left(\frac{2}{1+z}\right)^{\frac{m+n}2}\)，于是</p>

\[p_Z(z)=\frac{\Gamma(\frac{m+n}2)}{\Gamma(\frac m2)\Gamma(\frac n2)}z^{\frac m2-1}(1+z)^{-\frac{m+n}2}.\]

  <p>最后 \(F=\frac nmZ\)，做线性变换即得。\(t\) 分布的推导类似：先求 \(\sqrt{Y/n}\) 的密度，再用商的密度公式。</p>

</details>

<p><strong>☆ 定理 5.4.1（P284，会证）</strong>：设 \(x_1,\dots,x_n\) 来自 \(N(\mu,\sigma^2)\)，则</p>
<ol>
  <li>\(\bar x\) 与 \(s^2\) 相互独立；</li>
  <li>\(\bar x\sim N(\mu,\sigma^2/n)\)；</li>
  <li>\(\dfrac{(n-1)s^2}{\sigma^2}\sim\chi^2(n-1)\)。</li>
</ol>

<details>
  <summary>证明要点（正交变换）</summary>

  <p>不妨设 \(\mu=0\)。取正交矩阵 \(A\)，第一行为 \(\left(\frac1{\sqrt n},\dots,\frac1{\sqrt n}\right)\)，令 \(\boldsymbol y=A\boldsymbol x\)。</p>
  <ul>
    <li>正交变换保持独立同正态：\(y_1,\dots,y_n\overset{iid}{\sim}N(0,\sigma^2)\)</li>
    <li>
\[y_1=\sqrt n\,\bar x\]
    </li>
    <li>\(\sum y_i^2=\sum x_i^2\)，所以 \((n-1)s^2=\sum x_i^2-n\bar x^2=\sum_{i=2}^ny_i^2\)</li>
  </ul>

  <p>于是 \(\bar x\) 只依赖于 \(y_1\)，\(s^2\) 只依赖于 \(y_2,\dots,y_n\)，二者独立；并且 \(\frac{(n-1)s^2}{\sigma^2}=\sum_{i=2}^n\left(\frac{y_i}\sigma\right)^2\sim\chi^2(n-1)\)。</p>

</details>

<p><strong>推论（构造枢轴量的基础）</strong></p>
<ul>
  <li>
\[\dfrac{\sqrt n(\bar x-\mu)}{s}\sim t(n-1)\]
  </li>
  <li>两个独立正态样本：\(\dfrac{s_x^2/\sigma_1^2}{s_y^2/\sigma_2^2}\sim F(m-1,n-1)\)</li>
  <li>若 \(\sigma_1=\sigma_2\)：\(\dfrac{(\bar x-\bar y)-(\mu_1-\mu_2)}{s_w\sqrt{\frac1m+\frac1n}}\sim t(m+n-2)\)，其中 \(s_w^2=\dfrac{(m-1)s_x^2+(n-1)s_y^2}{m+n-2}\)</li>
</ul>

<hr />

<h2 id="4-充分统计量">4. 充分统计量</h2>

<p><strong>定理 5.5.1 因子分解定理（P297）</strong>：\(T(\boldsymbol x)\) 是 \(\theta\) 的充分统计量，当且仅当存在函数 \(g(t;\theta)\) 和 \(h(\boldsymbol x)\)，使得</p>

\[p(\boldsymbol x;\theta)=g\big(T(\boldsymbol x);\theta\big)\,h(\boldsymbol x).\]

<p>其中 \(h\) 不含 \(\theta\)，\(g\) 只通过 \(T\) 依赖于样本。</p>

<p><strong>常见分布的充分统计量（指导书 P300）</strong></p>

<table>
  <thead>
    <tr>
      <th>分布</th>
      <th>参数</th>
      <th>充分统计量</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>\(b(1,p)\)</td>
      <td>\(p\)</td>
      <td>\(\sum x_i\)</td>
    </tr>
    <tr>
      <td>\(P(\lambda)\)</td>
      <td>\(\lambda\)</td>
      <td>\(\sum x_i\)</td>
    </tr>
    <tr>
      <td>\(Ge(\theta)\)</td>
      <td>\(\theta\)</td>
      <td>\(\sum x_i\)</td>
    </tr>
    <tr>
      <td>\(Exp(\lambda)\)</td>
      <td>\(\lambda\)</td>
      <td>\(\sum x_i\)</td>
    </tr>
    <tr>
      <td>\(U(0,\theta)\)</td>
      <td>\(\theta\)</td>
      <td>\(x_{(n)}\)</td>
    </tr>
    <tr>
      <td>\(U(\theta_1,\theta_2)\)</td>
      <td>\(\theta_1,\theta_2\)</td>
      <td>\((x_{(1)},x_{(n)})\)</td>
    </tr>
    <tr>
      <td>\(U(\theta,2\theta)\)</td>
      <td>\(\theta\)</td>
      <td>\((x_{(1)},x_{(n)})\)</td>
    </tr>
    <tr>
      <td>\(N(\mu,\sigma^2)\)</td>
      <td>\(\mu,\sigma^2\)</td>
      <td>\(\left(\bar x,\ \sum(x_i-\bar x)^2\right)\)</td>
    </tr>
    <tr>
      <td>幂分布 \(\theta x^{\theta-1},\ 0&lt;x&lt;1\)</td>
      <td>\(\theta\)</td>
      <td>\(\prod x_i\) 或 \(\sum\ln x_i\)</td>
    </tr>
    <tr>
      <td>双参数指数 \(\frac1\theta e^{-\frac{x-\mu}\theta},\ x&gt;\mu\)</td>
      <td>\(\mu,\theta\)</td>
      <td>\(\left(x_{(1)},\ \sum x_i\right)\)</td>
    </tr>
    <tr>
      <td>\(Ga(\alpha,\lambda)\)</td>
      <td>\(\alpha,\lambda\)</td>
      <td>\(\left(\sum x_i,\ \prod x_i\right)\)</td>
    </tr>
    <tr>
      <td>\(LN(\mu,\sigma^2)\)</td>
      <td>\(\mu,\sigma^2\)</td>
      <td>\(\left(\sum\ln x_i,\ \sum(\ln x_i)^2\right)\)</td>
    </tr>
    <tr>
      <td>\(Be(a,b)\)</td>
      <td>\(a,b\)</td>
      <td>\(\left(\sum\ln x_i,\ \sum\ln(1-x_i)\right)\)</td>
    </tr>
  </tbody>
</table>

<ul>
  <li>充分统计量的一一对应变换仍是充分统计量（指导书 P300），例如 \(\sum x_i\) 与 \(\bar x\) 等价。</li>
  <li>看规律：指数族分布的充分统计量就是密度指数上与参数相乘的那些样本函数之和；支撑依赖参数（如均匀分布）时，充分统计量是最值。</li>
</ul>

<details>
  <summary>示例：\(U(0,\theta)\)</summary>

\[p(\boldsymbol x;\theta)=\prod_{i=1}^n\frac1\theta I_{\{0&lt;x_i&lt;\theta\}}=\underbrace{\theta^{-n}I_{\{x_{(n)}&lt;\theta\}}}_{g(x_{(n)};\theta)}\cdot\underbrace{I_{\{x_{(1)}&gt;0\}}}_{h(\boldsymbol x)},\]

  <p>所以 \(x_{(n)}\) 是充分统计量。</p>

</details>

<hr />

<p><strong>本系列目录</strong></p>

<ol>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-01-concepts/">01｜概念简答索引</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-02-distributions/">02｜常用分布</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-03-multivariate/">03｜多维分布、协方差与条件期望</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-04-limit-theorems/">04｜特征函数、大数定律与中心极限定理</a></li>
  <li><strong>05｜抽样分布、次序统计量与充分统计量</strong>（本篇）</li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-06-estimation/">06｜参数估计</a></li>
  <li><a href="/homepage_cn/2026/09/30/mao-notes-07-intervals-tests/">07｜区间估计、假设检验与习题结论</a></li>
</ol>

<p><a href="/homepage_cn/2026/09/30/mao-notes-04-limit-theorems/">← 上一篇：特征函数、大数定律与中心极限定理</a>　·　<a href="/homepage_cn/2026/09/30/mao-notes-06-estimation/">下一篇：参数估计 →</a></p>

<p><em>本系列是我复习茆诗松、程依明、濮晓龙《概率论与数理统计教程》时整理的笔记，共 7 篇。文中 P××× 为茆书页码，“指导书”为配套的学习指导与习题解答。如有错漏，欢迎指出。</em></p>]]></content><author><name>张梓源</name></author><category term="茆书复习笔记" /><category term="学习笔记" /><summary type="html"><![CDATA[导读 从这一篇开始进入数理统计。样本均值 \(\bar x\)、样本方差 \(s^2\) 和 \(\chi^2\)、t、F 三大分布，是后面所有区间估计和假设检验的“原材料”。 其中最核心的一个定理是：正态样本下，\(\bar x\) 与 \(s^2\) 相互独立（定理 5.4.1）。后面几乎所有枢轴量都建立在它上面，所以一定要会证。]]></summary></entry></feed>