From b6cfd6ce8500df473489fd08dbbe562d2e45c1ce Mon Sep 17 00:00:00 2001 From: Matt McKay Date: Sat, 18 Jul 2026 20:44:12 +1000 Subject: [PATCH 1/3] =?UTF-8?q?=F0=9F=94=84=20resync=20os=5Fstochastic.md?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .translate/state/os_stochastic.md.yml | 6 + lectures/os_stochastic.md | 718 ++++++++++++++------------ 2 files changed, 396 insertions(+), 328 deletions(-) create mode 100644 .translate/state/os_stochastic.md.yml diff --git a/.translate/state/os_stochastic.md.yml b/.translate/state/os_stochastic.md.yml new file mode 100644 index 00000000..d36d1397 --- /dev/null +++ b/.translate/state/os_stochastic.md.yml @@ -0,0 +1,6 @@ +source-sha: 5efda5424e302d1d87c0d361b123177b842e23bc +synced-at: "2026-07-18" +model: claude-sonnet-5 +mode: RESYNC +section-count: 4 +tool-version: 0.17.0 diff --git a/lectures/os_stochastic.md b/lectures/os_stochastic.md index 81219fc9..9521e0fb 100644 --- a/lectures/os_stochastic.md +++ b/lectures/os_stochastic.md @@ -7,6 +7,28 @@ kernelspec: display_name: Python 3 language: python name: python3 +translation: + title: 最优储蓄 III：随机回报 + headings: + Overview: 概述 + The Model: 模型 + The Model::Setup: 设定 + The Model::Optimization: 优化问题 + The Model::Optimal Policies: 最优策略 + The Model::Optimality: 最优性 + The Model::The Bellman Equation: 贝尔曼方程 + The Model::Greedy Policies: 逐期最优策略 + The Model::The Bellman Operator: 贝尔曼算子 + The Model::Review of Theoretical Results: 理论结果回顾 + The Model::Unbounded Utility: 无界效用 + Computation: 计算 + Computation::Scalar Maximization: 标量最大化 + Computation::Model: 模型 + Computation::The Bellman Operator: 贝尔曼算子 + Computation::An Example: 一个示例 + Computation::Iterating to Convergence: 迭代至收敛 + Computation::The Policy Function: 策略函数 + Exercises: 练习 --- (optgrowth)= @@ -18,7 +40,7 @@ kernelspec: ``` -# {index}`最优增长 I：随机最优增长模型 ` +# {index}`最优储蓄 III：随机回报 ` ```{contents} 目录 :depth: 2 @@ -26,104 +48,97 @@ kernelspec: ## 概述 -在本讲中，我们将研究一个简单的单个个体最优增长模型。 +在本讲中，我们继续研究最优储蓄问题，内容建立在 +{doc}`os` 和 {doc}`os_numerical` 的基础之上。 -该模型是标准的单部门无限期增长模型的一种版本，常见于以下文献： +与前面讲义的主要区别在于，财富现在按随机方式演化。 -* {cite}`StokeyLucas1989`的第2章 -* {cite}`Ljungqvist2012`的第3.1节 -* [EDTC](http://johnstachurski.net/edtc.html)的第1章 +我们可以把财富想象成一种收成，如果我们储存一些种子，它就能再生长出来。 -* {cite}`Sundaram1996`的第12章 +具体地说，如果我们储蓄并投资今天收成 $x_t$ 的一部分，它会依照一个随机生产过程演变为下一期的收成 $x_{t+1}$。 -它是我们之前讨论过的简单{doc}`吃蛋糕问题 `的扩展。 - -这一拓展包括： +本讲的拓展引入了几个新元素： * 通过生产函数实现的非线性储蓄回报，以及 * 由于生产冲击导致的随机回报。 -尽管增加了这些设定，该模型依然相对简单。 +尽管增加了这些设定，该模型依然相对容易处理。 + +作为第一步，我们将使用动态规划和价值函数迭代（VFI）来求解该模型。 + +```{note} +在后续讲义中，我们将探索针对这类问题的更高效方法。 -我们将其视为通向更复杂模型的“垫脚石”。 +与此同时，VFI是这类方法的基础，并且具有全局收敛性。 -我们将使用动态规划和一系列数值方法来求解该模型。 +因此，我们也希望确保自己能够熟练运用这一方法。 +``` -在这第一节最优增长的课程中，我们采用的方法是价值函数迭代（VFI）。 +关于这一储蓄问题的更多信息可以参考 -尽管本讲代码运行较慢，但在后续几讲中，我们会使用多种技术大幅提升执行速度。 +* {cite}`Ljungqvist2012`，第3.1节 +* [EDTC](https://johnstachurski.net/edtc.html)，第1章 +* {cite}`Sundaram1996`，第12章 让我们从一些基本导入开始： -```{code-cell} ipython +```{code-cell} python3 import matplotlib.pyplot as plt -import matplotlib as mpl -FONTPATH = "fonts/SourceHanSerifSC-SemiBold.otf" -mpl.font_manager.fontManager.addfont(FONTPATH) -plt.rcParams['font.family'] = ['Source Han Serif SC'] - -plt.rcParams["figure.figsize"] = (11, 5) #设置默认图形大小 import numpy as np from scipy.interpolate import interp1d from scipy.optimize import minimize_scalar +from typing import NamedTuple, Callable + ``` ## 模型 -```{index} single: Optimal Growth; Model +```{index} single: Optimal Savings; Model ``` -考虑一个主体在时间 $t$ 拥有数量为 $y_t \in \mathbb R_+ := [0, \infty)$ 的消费品。 +这里我们描述这个新模型和优化问题。 -这些产出可以被消费或投资。 +### 设定 -当产出被投资时，它会一比一地转化为资本。 +考虑一个主体在时间 $t$ 拥有数量为 $x_t \in \mathbb R_+ := [0, \infty)$ 的消费品。 -由此产生的资本存量，记为 $k_{t+1}$，将在下一期投入生产。 +这些产出既可以被消费，也可以被储蓄并用于生产。 -生产过程是随机的，因为它还取决于在当期结束时实现的一个冲击 $\xi_{t+1}$。 +生产是随机的，因为它还取决于在当期结束时实现的一个冲击 $\xi_{t+1}$。 下一期的产出为 $$ -y_{t+1} := f(k_{t+1}) \xi_{t+1} +x_{t+1} := f(s_t) \xi_{t+1} $$ -其中 $f \colon \mathbb R_+ \to \mathbb R_+$ 被称为生产函数。 - -资源约束为 +其中 $f \colon \mathbb R_+ \to \mathbb R_+$ 是**生产函数**，且 ```{math} :label: outcsdp0 -k_{t+1} + c_t \leq y_t +s_t = x_t - c_t ``` -且所有变量都必须为非负数。 +是**当期储蓄**。 -### 假设和说明 +所有变量都必须为非负数。 在接下来的设定中， * 序列 $\{\xi_t\}$ 被假定为独立同分布(IID)。 * 每个 $\xi_t$ 的共同分布记为 $\phi$。 * 假设生产函数 $f$ 是递增且连续的。 -* 资本折旧并未明确表示，但可以被整合到生产函数中。 - -虽然许多其他随机增长模型的处理方法是将 $k_t$ 作为状态变量，我们采用 $y_t$ 作为状态变量。 - -这样做使我们能够在只有一个状态变量的情况下处理随机增长模型。 -在我们的其他讲义中，我们会考虑替代性的状态变量设定以及事件发生时点的不同选择。 ### 优化问题 -给定初始状态 $y_0$，个体希望最大化 +给定初始状态 $x_0$，个体希望最大化 ```{math} :label: texs0_og2 -\mathbb E \left[ \sum_{t = 0}^{\infty} \beta^t u(c_t) \right] +\mathbb E \sum_{t = 0}^{\infty} \beta^t u(c_t) ``` 约束条件为 @@ -131,9 +146,9 @@ k_{t+1} + c_t \leq y_t ```{math} :label: og_conse -y_{t+1} = f(y_t - c_t) \xi_{t+1} -\quad \text{和} \quad -0 \leq c_t \leq y_t +x_{t+1} = f(x_t - c_t) \xi_{t+1} +\quad \text{且} \quad +0 \leq c_t \leq x_t \quad \text{对所有 } t ``` @@ -142,221 +157,222 @@ y_{t+1} = f(y_t - c_t) \xi_{t+1} * $u$ 是有界、连续且严格递增的效用函数，且 * $\beta \in (0, 1)$ 是贴现因子。 -在{eq}`og_conse`中，我们假设资源约束{eq}`outcsdp0`是以等式形式成立的——这是合理的，因为 $u$ 是严格递增的，在最优状态下不会浪费任何产出。 - 总的来说，个体的目标是选择一个消费路径 $c_0, c_1, c_2, \ldots$，使其： 1. 非负， -1. 满足资源约束{eq}`outcsdp0`， +1. 可行， 1. 最优，即相对于所有其他可行的消费序列，所选路径使目标函数{eq}`texs0_og2`达到最大化，以及 -1. *适应性*，即行动 $c_t$ 只依赖于可观察的结果，而不依赖于未来的结果，如 $\xi_{t+1}$。 - -在当前语境下： +1. **适应性**，即当前行动 $c_t$ 只依赖于当前和历史的结果，而不依赖于未来的结果，如 $\xi_{t+1}$。 -* $y_t$ 被称为*状态*变量——它刻画了每一期开始时的"世界状态"。 -* $c_t$ 被称为*控制*变量——它表示代理人在观察到状态之后所做出的消费决策。 +在当前语境下 -### 策略函数方法 +* $x_t$ 被称为**状态**变量——它刻画了每一期开始时的“世界状态”。 +* $c_t$ 被称为**控制**变量——它是主体在观察到状态之后于每一期所选择的值。 -```{index} single: Optimal Growth; Policy Function Approach -``` - -解决该问题的一种方法是寻找最佳的**策略函数**。 - -策略函数是一个从过去和现在的可观察变量映射到当前行动的函数。 -我们特别关注**马尔可夫策略**，它是从当前状态 $y_t$ 映射到当前行动 $c_t$ 的函数。 -对于像这样的动态规划问题（实际上对于任何[马尔可夫决策过程](https://baike.baidu.com/item/%E9%A9%AC%E5%B0%94%E5%8F%AF%E5%A4%AB%E5%86%B3%E7%AD%96%E8%BF%87%E7%A8%8B/5824810)），最优策略总是一个马尔可夫策略。 +### 最优策略 -换句话说，当前状态 $y_t$ 为历史提供了一个[充分统计量](https://baike.baidu.com/item/%E5%85%85%E5%88%86%E7%BB%9F%E8%AE%A1%E9%87%8F/12715941)，使得在做出最优决策时，不需要依赖过去的历史。 +```{index} single: Optimal Savings; Policy Function Approach +``` -这个结论相当直观，其证明可以参考{cite}`StokeyLucas1989`（第4.1节）。 +让我们来看看**策略函数**，每个策略函数都是一个从 +当前状态 $x_t$ 到当前行动 $c_t$ 的映射 $\sigma$。 -在接下来的分析中，我们将专注于寻找最优的马尔可夫策略。 +```{note} +这类策略被称为马尔可夫策略（或平稳马尔可夫策略）。 -在我们的情况下，马尔可夫策略是一个函数 $\sigma \colon \mathbb R_+ \to \mathbb R_+$，其含义是：将状态映射到行动，即 +对于这个动态规划问题，最优策略总是一个马尔可夫策略（参见， +例如，[DP1](https://dp.quantecon.org/)）。 -$$ -c_t = \sigma(y_t) \quad \text{对所有 } t -$$ +本质上，当前状态 $x_t$ 为历史提供了一个充分统计量， +足以用来做出今天的最优决策。 +``` -我们称 $\sigma$ 为*可行消费策略*，当且仅当它满足 +在接下来的内容中，如果 $\sigma$ 满足以下条件，我们就称其为**可行消费策略** ```{math} :label: idp_fp_og2 -0 \leq \sigma(y) \leq y +0 \leq \sigma(x) \leq x \quad \text{对所有} \quad -y \in \mathbb R_+ +x \in \mathbb R_+ ``` -换句话说，可行消费策略是满足资源约束的马尔可夫策略。 +换句话说，可行策略是满足资源约束的策略函数。 所有可行消费策略的集合记为 $\Sigma$。 -每个 $\sigma \in \Sigma$ 都决定了一个[连续状态马尔可夫过程](https://python-advanced.quantecon.org/stationary_densities.html) $\{y_t\}$ ，其动态为 +每个 $\sigma \in \Sigma$ 都通过 ```{math} :label: firstp0_og2 -y_{t+1} = f(y_t - \sigma(y_t)) \xi_{t+1}, -\quad y_0 \text{ 给定} +x_{t+1} = f(x_t - \sigma(x_t)) \xi_{t+1}, +\quad x_0 \text{ 给定} ``` +为产出 $\{x_t\}$ 确定了一个[马尔可夫动态](https://python-advanced.quantecon.org/stationary_densities.html)。 + 这就描述了在选定并遵循策略 $\sigma$ 时，产出的时间路径。 -将策略函数代入目标函数，可以得到 +将这一过程代入目标函数，可以得到 ```{math} :label: texss -\mathbb E -\left[ \, - -\sum_{t = 0}^{\infty} \beta^t u(c_t) \, -\right] = -\mathbb E -\left[ \, -\sum_{t = 0}^{\infty} \beta^t u(\sigma(y_t)) \, -\right] + \mathbb E + \sum_{t = 0}^{\infty} \beta^t u(c_t) + = + \mathbb E + \sum_{t = 0}^{\infty} \beta^t u(\sigma(x_t)) ``` -这就是在给定初始收入 $y_0$ 时，永远遵循某一策略 $\sigma$ 的期望现值。 +这就是在给定初始收入 $x_0$ 时，永远遵循策略 $\sigma$ 的总期望现值。 目标是选择一个策略，使得该数值尽可能大。 下一节将更正式地介绍这些思想。 + + ### 最优性 -与给定策略 $\sigma$ 相关的 映射 $v_\sigma$ 定义为 +与给定策略 $\sigma$ 相关的终身价值 $v_{\sigma}$ 是由下式定义的映射 ```{math} :label: vfcsdp00 -v_{\sigma}(y) = -\mathbb E \left[ \sum_{t = 0}^{\infty} \beta^t u(\sigma(y_t)) \right] + v_{\sigma}(x) = + \mathbb E \sum_{t = 0}^{\infty} \beta^t u(\sigma(x_t)) ``` -其中 $\{y_t\}$ 由方程 {eq}`firstp0_og2` 给出，且 $y_0 = y$。 +其中 $\{x_t\}$ 由 {eq}`firstp0_og2` 给出，且 $x_0 = x$。 -换句话说，这是从初始条件 $y$ 开始遵循策略 $\sigma$ 的终身价值。 +换句话说，这是从初始条件 $x$ 开始，永远遵循策略 $\sigma$ 的终身价值。 -**价值函数**定义为 +**价值函数**则定义为 ```{math} :label: vfcsdp0 -v^*(y) := \sup_{\sigma \in \Sigma} \; v_{\sigma}(y) +v^*(x) := \sup_{\sigma \in \Sigma} \; v_{\sigma}(x) ``` -价值函数给出了在状态 $y$ 下，考虑所有可行策略后所能获得的最大价值。 +价值函数给出了在状态 $x$ 下，考虑所有可行策略后所能获得的最大价值。 -如果一个策略 $\sigma \in \Sigma$ 在所有 $y \in \mathbb R_+$ 上都能达到 {eq}`vfcsdp0` 中的上确界，则称其为**最优**策略。 +如果对所有 $x \in \mathbb R_+$ 都有 $v_\sigma(x) = v^*(x)$，则称策略 $\sigma \in \Sigma$ 为**最优**策略。 -### 贝尔曼方程 -在我们对效用函数和生产函数的假设下，按照{eq}`vfcsdp0` 定义的价值函数也满足一个**贝尔曼方程**。 +### 贝尔曼方程 -对于本问题，贝尔曼方程的形式为 +下面这个方程被称为与这个动态规划问题相关的**贝尔曼方程**。 ```{math} :label: fpb30 -v(y) = \max_{0 \leq c \leq y} +v(x) = \max_{0 \leq c \leq x} \left\{ - u(c) + \beta \int v(f(y - c) z) \phi(dz) + u(c) + \beta \int v(f(x - c) z) \phi(dz) \right\} -\qquad (y \in \mathbb R_+) +\qquad (x \in \mathbb R_+) ``` -这是一个关于 $v$ 的*函数方程*。 +在某种意义上，这是一个*关于* $v$ *的函数方程*，即给定的 $v$ 可能满足它，也可能不满足它。 -其中项 $\int v(f(y - c) z) \phi(dz)$ 可以理解为在以下条件下的下一期期望价值： +其中项 $\int v(f(x - c) z) \phi(dz)$ 可以理解为在以下条件下的下一期期望价值： * 使用 $v$ 来衡量价值 -* 当前状态为 $y$ +* 当前状态为 $x$ * 消费选择为 $c$ -如 [EDTC](http://johnstachurski.net/edtc.html) 的定理10.1.11和其他文献所示： - -> *价值函数* $v^*$ *满足贝尔曼方程* +正如 [DP1](https://dp.quantecon.org/) 以及一系列其他文献所示， +价值函数 $v^*$ 满足贝尔曼方程。 换句话说，当 $v=v^*$ 时，{eq}`fpb30` 成立。 直观上来说，从给定状态出发的最大价值可以通过在以下两者之间进行最优权衡获得： -* 当前行动带来的即时回报，与 -* 由该行动导致的未来状态所带来的贴现期望价值。 +* 给定行动带来的当期回报，与 +* 由该行动导致的未来状态所带来的贴现期望价值 -贝尔曼方程的重要性在于，它为我们提供了更多关于价值函数的信息。 +贝尔曼方程之所以重要，是因为它 -它同时也是一种计算价值函数的方式，我们将在后续进一步讨论。 +1. 为我们提供了更多关于价值函数的信息，并且 +2. 提示了一种计算价值函数的方法，我们将在下面讨论。 -### 逐期最优策略 -价值函数的主要意义在于：它可以帮助我们计算最优策略。 -具体如下： -设 $v$ 是 $\mathbb R_+$ 上的一个连续函数。我们称某一策略 $\sigma \in \Sigma$ 是 $v$-**逐期最优的**，如果对所有 $y \in \mathbb R_+$，$\sigma(y)$ 是下式的解： +### 逐期最优策略 + +价值函数可以用来计算最优策略。 + +给定 $\mathbb R_+$ 上的一个连续函数 $v$，如果 ```{math} :label: defgp20 -\max_{0 \leq c \leq y} +\sigma(x) \in +\arg \max_{0 \leq c \leq x} \left\{ - u(c) + \beta \int v(f(y - c) z) \phi(dz) + u(c) + \beta \int v(f(x - c) z) \phi(dz) \right\} ``` -换句话说，当 $v$ 被视为价值函数时，如果 $\sigma \in \Sigma$ 能够最优地权衡当前和未来回报，那么它就是 $v$-逐期最优的。 +对每个 $x \in \mathbb R_+$ 都成立，我们就说 $\sigma \in \Sigma$ 是 $v$-**逐期最优的**。 -在我们的设定中，有如下关键结果： +换句话说，当 $v$ 被视为价值函数时，如果 $\sigma \in \Sigma$ 能够最优地 +权衡当前和未来回报，那么它就是 $v$-逐期最优的。 -* 一个可行的消费策略是最优的，当且仅当它是$v^*$-逐期最优的。 +在我们的设定中，有如下关键结果 -这一结论的直观解释与贝尔曼方程的类似（参见{eq}`fpb30`之后的说明）。 +```{prf:theorem} +一个可行消费策略是最优的，当且仅当它是 $v^*$-逐期最优的。 +``` + +参见，例如，[EDTC](https://johnstachurski.net/edtc.html) 的定理10.1.11。 -参见[EDTC](http://johnstachurski.net/edtc.html)的定理10.1.11。 +因此，一旦我们得到了对 $v^*$ 的一个良好近似，就可以通过计算 +相应的逐期最优策略来获得（近似）最优策略。 -因此，一旦我们得到了对 $v^*$ 的一个良好近似，就可以通过计算相应的逐期最优策略来获得（近似）最优策略。 +这样做的优势在于：我们现在解决的是一个维度低得多的 +优化问题。 -这样做的优势在于：我们现在解决的是一个低维优化问题，而不是原始的高维动态优化问题。 ### 贝尔曼算子 -那么，如何计算价值函数呢？ +那么，我们该如何计算价值函数呢？ 一种方法是使用所谓的**贝尔曼算子**。 -（算子是一类将函数映射到函数的映射。） +（**算子**这个术语通常专门用来指代将函数映射到函数的映射！） 贝尔曼算子记为 $T$，其定义为 ```{math} :label: fcbell20_optgrowth -Tv(y) := \max_{0 \leq c \leq y} +Tv(x) := \max_{0 \leq c \leq x} \left\{ - u(c) + \beta \int v(f(y - c) z) \phi(dz) + u(c) + \beta \int v(f(x - c) z) \phi(dz) \right\} -\qquad (y \in \mathbb R_+) +\qquad (x \in \mathbb R_+) ``` -换句话说，$T$ 将函数 $v$ 映射为新的函数 $Tv$， 其形式由{eq}`fcbell20_optgrowth`给出。 +换句话说，$T$ 将函数 $v$ 映射为由{eq}`fcbell20_optgrowth`定义的新函数 $Tv$。 -根据构造，贝尔曼方程{eq}`fpb30`的解集*恰好等于* $T$ 的不动点集。 +根据构造，贝尔曼方程{eq}`fpb30`的解集 +*恰好等于* $T$ 的不动点集。 -例如，如果 $Tv = v$，那么对于任意 $y \geq 0$， +例如，如果 $Tv = v$，那么对于任意 $x \geq 0$， $$ -v(y) -= Tv(y) -= \max_{0 \leq c \leq y} +v(x) += Tv(x) += \max_{0 \leq c \leq x} \left\{ - u(c) + \beta \int v^*(f(y - c) z) \phi(dz) + u(c) + \beta \int v(f(x - c) z) \phi(dz) \right\} $$ @@ -364,292 +380,348 @@ $$ 由此可知 $v^*$ 是 $T$ 的一个不动点。 + + + ### 理论结果回顾 ```{index} single: Dynamic Programming; Theory ``` -可以证明，算子 $T$ 在连续有界函数空间上是一个压缩映射，其度量是上确界距离： +可以证明，在上确界距离下，$T$ 是 $\mathbb R_+$ 上连续有界函数集合上的一个压缩映射 $$ -\rho(g, h) = \sup_{y \geq 0} |g(y) - h(y)| +\rho(g, h) = \sup_{x \geq 0} |g(x) - h(x)| $$ -参见 [EDTC](http://johnstachurski.net/edtc.html)的引理10.1.18。 +参见 [EDTC](https://johnstachurski.net/edtc.html)的引理10.1.18。 -因此，在该空间中，算子 $T$ 仅有一个不动点，而我们知道该不动点就是价值函数。 +因此，在该集合中它恰好有一个不动点，而我们知道该不动点等于价值函数。 由此可知 -* 值函数 $v^*$ 是有界且连续的。 -* 从任意有界且连续的 $v$ 开始，通过迭代应用 $T$ 生成的序列 $v, Tv, T^2v, \ldots$ 将一致收敛到 $v^*$。 +* 价值函数 $v^*$ 是有界且连续的。 +* 从任意有界且连续的 $v$ 开始，通过反复应用 $T$ 生成的序列 $v, Tv, T^2v, \ldots$ + 一致收敛到 $v^*$。 这种迭代方法被称为**价值函数迭代**。 -我们还知道：若某一可行消费策略是 $v^*$-逐期最优的，那么它就是最优策略。 +我们还知道，一个可行策略是最优的，当且仅当它是 $v^*$-逐期最优的。 -[EDTC](http://johnstachurski.net/edtc.html) 的定理10.1.11）可以证明一个$v^*$-逐期最优策略是存在的。 +不难证明 $v^*$-逐期最优策略是存在的。 因此，至少存在一个最优策略。 -我们的问题现在转变为：如何计算它。 +我们现在的问题是如何计算它。 ### {index}`无界效用 ` ```{index} single: Dynamic Programming; Unbounded Utility ``` -前面所述结果都假设效用函数是有界的。 +上述结果假设 $u$ 是有界的。 -但在实际研究中，经济学家往往使用无界效用函数 —— 我们也会如此。 +但在实践中，经济学家常常使用无界效用函数——我们也会如此。 -在无界情形下，仍然存在一些最优性理论。 +在无界情形下，存在多种最优性理论。 -但遗憾的是，这些理论往往具有针对性，而不是适用于大范围应用。 +尽管如此，它们的主要结论通常与上面针对 +有界情形所陈述的结论一致（只要我们去掉“有界”一词）。 -尽管如此，它们的主要结论通常与有界情形下的一致（只需去掉“有界”的限定）。 +```{note} + +关于无界情形的更多内容，可参考以下文献： + +* {doc}`ifp_advanced` 这一讲。 +* [EDTC](https://johnstachurski.net/edtc.html) 的第12.2节。 +``` -可以参考，例如[EDTC](http://johnstachurski.net/edtc.html) 的第12.2节、{cite}`Kamihigashi2012` 或 {cite}`MV2010`。 ## 计算 ```{index} single: Dynamic Programming; Computation ``` -现在让我们来看看如何计算值函数和最优策略。 +现在让我们来看看如何计算价值函数和最优策略。 本讲中的实现将着重于清晰性和灵活性。 -这两点都很有帮助,但会牺牲一些运行速度 —— 当你运行代码时就会看到这一点。 - -在{doc}`后续讲义 `在，我们会牺牲一些清晰性和灵活性，通过即时编译(JIT compilation)来加速代码。 +（在后续讲义中，我们将着重于效率和速度。） -本讲所用的算法是拟合价值函数迭代法，它在之前的{doc}`McCall模型`和{doc}`吃蛋糕问题`中已经介绍过。 +我们将使用拟合价值函数迭代法，这一方法已经在 +{doc}`os_numerical` 中介绍过。 -算法步骤如下： - -(fvi_alg)= -1. 从一组值 $\{ v_1, \ldots, v_I \}$ 开始，这些值代表初始函数 $v$ 在网格点 $\{ y_1, \ldots, y_I \}$ 上的取值。 -1. 基于这些数据点，通过线性插值在状态空间 $\mathbb R_+$ 上构建函数 $\hat v$。 -1. 通过重复求解{eq}`fcbell20_optgrowth`，获取并记录每个网格点 $y_i$ 上的值 $T \hat v(y_i)$。 -1. 除非满足某些停止条件，否则设置 $\{ v_1, \ldots, v_I \} = \{ T \hat v(y_1), \ldots, T \hat v(y_I) \}$ 并返回步骤2。 ### 标量最大化 -为了最大化贝尔曼方程{eq}`fpb30`的右侧，我们将使用SciPy中的`minimize_scalar`程序。 - -由于我们需要求最大值而不是最小值，因此会利用以下事实：在区间 $[a, b]$ 上函数 $g$ 的最大化等价于 $-g$ 的最小化。 +为了最大化贝尔曼方程{eq}`fpb30`的右侧，我们将使用 +SciPy中的`minimize_scalar`程序。 -为此，并且为了保持接口的整洁，我们将把 `minimize_scalar` 封装在一个外部函数中，如下所示： +为了保持接口的整洁，我们将把 `minimize_scalar` 封装在一个外部函数中，如下所示： -```{code-cell} ipython3 -def maximize(g, a, b, args): +```{code-cell} python3 +def maximize(g, upper_bound): """ - 在区间 [a, b] 上最大化函数 g。 + 在区间 [0, upper_bound] 上最大化函数 g。 - 我们利用了在任何区间上 g 的最大值点也是 -g 的最小值点这一事实。 - 元组 args 收集了传递给 g 的任何额外参数。 + 我们利用了在任何区间上 g 的最大值点也是 + -g 的最小值点这一事实。 - 返回最大值和最大值点。 """ - objective = lambda x: -g(x, *args) - result = minimize_scalar(objective, bounds=(a, b), method='bounded') + objective = lambda x: -g(x) + bounds = (0, upper_bound) + result = minimize_scalar(objective, bounds=bounds, method='bounded') maximizer, maximum = result.x, -result.fun return maximizer, maximum ``` -### 最优增长模型 -我们暂且假设 $\phi$ 是 $\xi := \exp(\mu + s \zeta)$ 的分布，其中 -* $\zeta$ 是标准正态分布随机变量， -* $\mu$ 是冲击的位置参数， -* $s$ 是冲击的尺度参数。 - -我们将这些和最优增长模型的其他基本要素存储在一个类中。 +### 模型 -下面定义的类结合了参数，以及一个用于实现贝尔曼方程{eq}`fpb30`右侧的方法。 +我们暂且假设 $\phi$ 是 $\xi := \exp(\mu + \nu \zeta)$ 的分布，其中 -```{code-cell} ipython3 -class OptimalGrowthModel: +* $\zeta$ 是标准正态分布随机变量， +* $\mu$ 是冲击的位置参数， +* $\nu$ 是冲击的尺度参数。 + +我们将模型的基本要素存储在一个 `NamedTuple` 中。 + +```{code-cell} python3 +class Model(NamedTuple): + u: Callable # 效用函数 + f: Callable # 生产函数 + β: float # 贴现因子 + μ: float # 冲击位置参数 + ν: float # 冲击尺度参数 + x_grid: np.ndarray # 状态网格 + shocks: np.ndarray # 冲击抽样 + + +def create_model( + u: Callable, + f: Callable, + β: float = 0.96, + μ: float = 0.0, + ν: float = 0.1, + grid_max: float = 4.0, + grid_size: int = 120, + shock_size: int = 250, + seed: int = 1234 + ) -> Model: + """ + 创建一个最优储蓄模型的实例。 + """ + # 设置网格 + x_grid = np.linspace(1e-4, grid_max, grid_size) - def __init__(self, - u, # 效用函数 - f, # 生产函数 - β=0.96, # 贴现因子 - μ=0, # 冲击位置参数 - s=0.1, # 冲击尺度参数 - grid_max=4, - grid_size=120, - shock_size=250, - seed=1234): + # 存储冲击（设定随机种子，使结果可重现） + np.random.seed(seed) + shocks = np.exp(μ + ν * np.random.randn(shock_size)) - self.u, self.f, self.β, self.μ, self.s = u, f, β, μ, s + return Model(u, f, β, μ, ν, x_grid, shocks) +``` - # 设置网格 - self.grid = np.linspace(1e-4, grid_max, grid_size) +我们设定贝尔曼方程的右侧为 - # 存储冲击（设定随机种子，使结果可重现） - np.random.seed(seed) - self.shocks = np.exp(μ + s * np.random.randn(shock_size)) +$$ + B(x, c, v) := u(c) + \beta \int v(f(x - c) z) \phi(dz) +$$ - def state_action_value(self, c, y, v_array): - """ - 贝尔曼方程的右侧。 - """ - u, f, β, shocks = self.u, self.f, self.β, self.shocks +```{code-cell} python3 +def B( + x: float, # 状态 + c: float, # 行动 + v_array: np.ndarray, # 表示价值函数猜测值的数组 + model: Model # 包含参数的Model实例 + ): - v = interp1d(self.grid, v_array) + u, f, β, μ, ν, x_grid, shocks = model + v = interp1d(x_grid, v_array) - return u(c) + β * np.mean(v(f(y - c) * shocks)) + return u(c) + β * np.mean(v(f(x - c) * shocks)) ``` 在倒数第二行中，我们使用线性插值。 -在最后一行中，{eq}`fcbell20_optgrowth`中的期望值通过[蒙特卡洛法](https://baike.baidu.com/item/%E8%92%99%E7%89%B9%E5%8D%A1%E7%BD%97%E6%B3%95/1225057)计算，近似为： +在最后一行中，{eq}`fcbell20_optgrowth`中的期望值 +是通过[蒙特卡洛法](https://en.wikipedia.org/wiki/Monte_Carlo_integration)计算的，使用如下近似： $$ -\int v(f(y - c) z) \phi(dz) \approx \frac{1}{n} \sum_{i=1}^n v(f(y - c) \xi_i) +\int v(f(x - c) z) \phi(dz) \approx \frac{1}{n} \sum_{i=1}^n v(f(x - c) \xi_i) $$ -其中 $\{\xi_i\}_{i=1}^n$ 是从$\phi$ 中独立同分布抽取的样本。 +其中 $\{\xi_i\}_{i=1}^n$ 是从 $\phi$ 中独立同分布抽取的样本。 -蒙特卡洛并不总是计算积分最有效的数值方法，但在当前设定下，它确实具有一些理论优势。 +蒙特卡洛并不总是计算积分最有效的数值方法， +但在当前设定下，它确实具有一些理论优势。 -（例如，它保持了贝尔曼算子的压缩映射性质 -- 参见{cite}`pal2013`。） +（例如，它保持了贝尔曼算子的压缩映射性质——参见，例如，{cite}`pal2013`。） ### 贝尔曼算子 下面的函数实现了贝尔曼算子。 -（我们本可以将其作为`OptimalGrowthModel`类的一个方法，但对于这种数值计算工作，我们更倾向于使用小型类而不是大而全的单一类。） - -```{code-cell} ipython3 -def T(v, og): +```{code-cell} python3 +def T(v: np.ndarray, model: Model) -> tuple[np.ndarray, np.ndarray]: """ - 贝尔曼算子。 - 更新值函数的猜测值，并同时计算v-逐期最优策略。 + 贝尔曼算子。更新对价值函数的猜测。 - * og是OptimalGrowthModel的一个实例 - * v是表示价值函数猜测的数组 + * model 是 Model 的一个实例 + * v 是表示价值函数猜测的数组 """ + x_grid = model.x_grid v_new = np.empty_like(v) - v_greedy = np.empty_like(v) - - for i in range(len(grid)): - y = grid[i] - # 在状态y下最大化贝尔曼方程右侧 - c_star, v_max = maximize(og.state_action_value, 1e-10, y, (y, v)) + for i in range(len(x_grid)): + x = x_grid[i] + _, v_max = maximize(lambda c: B(x, c, v, model), x) v_new[i] = v_max - v_greedy[i] = c_star - return v_greedy, v_new + return v_new ``` -(benchmark_growth_mod)= +下面是这个函数： + +```{code-cell} python3 +def get_greedy( + v: np.ndarray, # 价值函数的当前猜测 + model: Model # 最优储蓄模型的实例 + ): + " 在 x_grid 上计算v-逐期最优策略。" + + σ = np.empty_like(v) + + for i, x in enumerate(model.x_grid): + # 在状态x下最大化贝尔曼方程的右侧 + σ[i], _ = maximize(lambda c: B(x, c, v, model), x) + + return σ +``` + + + +(benchmark_cake_mod)= ### 一个示例 -假设现在 +现在假设 $$ -f(k) = k^{\alpha} +f(x-c) = (x-c)^{\alpha} \quad \text{且} \quad u(c) = \ln c $$ -在这一特定问题中，可以得到一个精确的解析解（参见{cite}`Ljungqvist2012`第3.1.2节），其形式为 +对于这一特定问题，可以得到一个精确的解析解（参见 +{cite}`Ljungqvist2012`，第3.1.2节），其形式为 ```{math} :label: dpi_tv -v^*(y) = +v^*(x) = \frac{\ln (1 - \alpha \beta) }{ 1 - \beta} + \frac{(\mu + \alpha \ln (\alpha \beta))}{1 - \alpha} \left[ \frac{1}{1- \beta} - \frac{1}{1 - \alpha \beta} \right] + - \frac{1}{1 - \alpha \beta} \ln y + \frac{1}{1 - \alpha \beta} \ln x ``` -最优消费策略为 +以及最优消费策略 $$ -\sigma^*(y) = (1 - \alpha \beta ) y +\sigma^*(x) = (1 - \alpha \beta ) x $$ -有这些封闭形式解的价值在于：它们使我们能够检验代码在这一具体情形下是否正确。 +有这些封闭形式解的价值在于：它们使我们能够检验 +我们的代码在这一具体情形下是否正确。 在Python中，上述函数可以表示为： -```{code-cell} ipython3 -:load: _static/lecture_specific/optgrowth/cd_analytical.py +```{code-cell} python3 +def v_star(x, α, β, μ): + """ + 真实价值函数 + """ + c1 = np.log(1 - α * β) / (1 - β) + c2 = (μ + α * np.log(α * β)) / (1 - α) + c3 = 1 / (1 - β) + c4 = 1 / (1 - α * β) + return c1 + c2 * (c3 - c4) + c4 * np.log(x) + +def σ_star(x, α, β): + """ + 真实最优策略 + """ + return (1 - α * β) * x ``` -接下来让我们用上述基本要素创建一个模型实例，并将其赋值给变量`og`。 +接下来让我们用上述基本要素创建一个模型实例，并将其赋值给变量 `model`。 -```{code-cell} ipython3 +```{code-cell} python3 α = 0.4 -def fcd(k): - return k**α +def fcd(s): + return s**α -og = OptimalGrowthModel(u=np.log, f=fcd) +model = create_model(u=np.log, f=fcd) ``` -现在让我们看看当我们将贝尔曼算子应用于这种情况下的精确解 $v^*$ 时会发生什么。 +现在让我们看看当我们将贝尔曼算子应用于这种情况下的 +精确解 $v^*$ 时会发生什么。 理论上，由于 $v^*$ 是一个不动点，得到的函数应该仍然是 $v^*$。 在实践中，我们预计会有一些小的数值误差。 -```{code-cell} ipython3 -grid = og.grid +```{code-cell} python3 +x_grid = model.x_grid -v_init = v_star(grid, α, og.β, og.μ) # 从解开始 -v_greedy, v = T(v_init, og) # 应用一次T +v_init = v_star(x_grid, α, model.β, model.μ) # 从解开始 +v = T(v_init, model) # 应用一次T fig, ax = plt.subplots() ax.set_ylim(-35, -24) -ax.plot(grid, v, lw=2, alpha=0.6, label='$Tv^*$') -ax.plot(grid, v_init, lw=2, alpha=0.6, label='$v^*$') +ax.plot(x_grid, v, lw=2, alpha=0.6, label='$Tv^*$') +ax.plot(x_grid, v_init, lw=2, alpha=0.6, label='$v^*$') ax.legend() plt.show() ``` 这两个函数本质上没有区别，所以我们开始得很顺利。 -现在让我们看看从任意初始条件开始，如何用贝尔曼算子进行迭代。 +现在让我们看看从任意初始条件开始， +如何用贝尔曼算子进行迭代。 -我们随意地将初始条件设定为 $v(y) = 5 \ln (y)$。 +我们随意地将起始初始条件设定为 $v(x) = 5 \ln (x)$。 -```{code-cell} ipython3 -v = 5 * np.log(grid) # 初始条件 +```{code-cell} python3 +v = 5 * np.log(x_grid) # 一个初始条件 n = 35 fig, ax = plt.subplots() -ax.plot(grid, v, color=plt.cm.jet(0), +ax.plot(x_grid, v, color=plt.cm.jet(0), lw=2, alpha=0.6, label='初始条件') for i in range(n): - v_greedy, v = T(v, og) # 应用贝尔曼算子 - ax.plot(grid, v, color=plt.cm.jet(i / n), lw=2, alpha=0.6) + v = T(v, model) # 应用贝尔曼算子 + ax.plot(x_grid, v, color=plt.cm.jet(i / n), lw=2, alpha=0.6) -ax.plot(grid, v_star(grid, α, og.β, og.μ), 'k-', lw=2, +ax.plot(x_grid, v_star(x_grid, α, model.β, model.μ), 'k-', lw=2, alpha=0.8, label='真实的价值函数') ax.legend() -ax.set(ylim=(-40, 10), xlim=(np.min(grid), np.max(grid))) +ax.set(ylim=(-40, 10), xlim=(np.min(x_grid), np.max(x_grid))) plt.show() ``` 图中显示了 -1. 由拟合值迭代算法生成的前36个函数，颜色越热表示迭代次数越高 -1. 用黑色线条绘制真实的价值函数 $v^*$ +1. 由拟合价值函数迭代算法生成的前36个函数，颜色越热表示迭代次数越高 +1. 用黑色线条绘制的真实价值函数 $v^*$ 迭代序列逐渐收敛至 $v^*$。 @@ -659,25 +731,52 @@ plt.show() 我们可以编写一个函数，使其迭代直到差异小于特定的容差水平。 -```{code-cell} ipython3 -:load: _static/lecture_specific/optgrowth/solve_model.py +```{code-cell} python3 +def solve_model( + model: Model, # 最优储蓄模型的实例 + tol: float = 1e-4, # 收敛容差 + max_iter: int = 1000, # 最大迭代次数 + verbose: bool = True, # 打印迭代信息 + print_skip: int = 25 # 每隔多少次迭代打印一次 + ): + " 通过价值函数迭代求解。" + + v = model.u(model.x_grid) # 初始条件 + i = 0 + error = tol + 1 + + while i < max_iter and error > tol: + v_new = T(v, model) + error = np.max(np.abs(v - v_new)) + i += 1 + if verbose and i % print_skip == 0: + print(f"第 {i} 次迭代的误差为 {error}。") + v = v_new + + if error > tol: + print("未能收敛！") + elif verbose: + print(f"\n经过 {i} 次迭代后收敛。") + + v_greedy = get_greedy(v_new, model) + return v_greedy, v_new ``` 让我们使用这个函数在默认设置下计算一个近似解。 -```{code-cell} ipython3 -v_greedy, v_solution = solve_model(og) +```{code-cell} python3 +v_greedy, v_solution = solve_model(model) ``` 现在我们通过将结果与真实值作图比较来检验其准确性： -```{code-cell} ipython3 +```{code-cell} python3 fig, ax = plt.subplots() -ax.plot(grid, v_solution, lw=2, alpha=0.6, +ax.plot(x_grid, v_solution, lw=2, alpha=0.6, label='近似的价值函数') -ax.plot(grid, v_star(grid, α, og.β, og.μ), lw=2, +ax.plot(x_grid, v_star(x_grid, α, model.β, model.μ), lw=2, alpha=0.6, label='真实的价值函数') ax.legend() @@ -689,20 +788,21 @@ plt.show() ### 策略函数 -```{index} single: Optimal Growth; Policy Function +```{index} single: Optimal Savings; Policy Function ``` -上面计算的策略`v_greedy`对应于一个近似最优策略。 +上面计算出的策略 `v_greedy` 对应于一个近似最优策略。 -下图将其与精确解进行比较，如上所述，精确解为 $\sigma(y) = (1 - \alpha \beta) y$ +下图将其与精确解进行比较，如上所述，精确解为 +$\sigma(x) = (1 - \alpha \beta) x$ -```{code-cell} ipython3 +```{code-cell} python3 fig, ax = plt.subplots() -ax.plot(grid, v_greedy, lw=2, +ax.plot(x_grid, v_greedy, lw=2, alpha=0.6, label='近似的策略函数') -ax.plot(grid, σ_star(grid, α, og.β), '--', +ax.plot(x_grid, σ_star(x_grid, α, model.β), '--', lw=2, alpha=0.6, label='真实的策略函数') ax.legend() @@ -717,88 +817,50 @@ plt.show() ```{exercise} :label: og_ex1 -在这类模型中，效用函数的常见选择是CRRA形式 +在这类工作中，效用函数的一个常见选择是CRRA规格 $$ -u(c) = \frac{c^{1 - \gamma}} {1 - \gamma} + u(c) = \frac{c^{1 - \gamma}} {1 - \gamma} $$ -保持其他默认设置（包括柯布-道格拉斯生产函数），用这个效用函数求解最优增长模型。 +保持其他默认设置（包括柯布-道格拉斯生产函数）， +用这个效用函数求解最优储蓄模型。 设定 $\gamma = 1.5$，计算并绘制最优策略的估计值。 -记录这个函数运行所需的时间，以便与{doc}`下一讲`中开发的更快代码进行比较。 ``` ```{solution-start} og_ex1 :class: dropdown ``` -首先，设置模型。 +首先，我们设置模型。 -```{code-cell} ipython3 +```{code-cell} python3 γ = 1.5 # 偏好参数 def u_crra(c): return (c**(1 - γ) - 1) / (1 - γ) -og = OptimalGrowthModel(u=u_crra, f=fcd) +model = create_model(u=u_crra, f=fcd) ``` - 现在让我们运行它，并计时。 -```{code-cell} ipython3 +```{code-cell} python3 %%time -v_greedy, v_solution = solve_model(og) +v_greedy, v_solution = solve_model(model) ``` 让我们绘制策略函数，看看它的样子： -```{code-cell} ipython3 +```{code-cell} python3 fig, ax = plt.subplots() - -ax.plot(grid, v_greedy, lw=2, +ax.plot(x_grid, v_greedy, lw=2, alpha=0.6, label='近似的最优策略') - ax.legend() plt.show() ``` ```{solution-end} -``` - -```{exercise} -:label: og_ex2 - -计时从初始条件 $v(y) = u(y)$ 开始，使用贝尔曼算子迭代20次所需的时间。 - -使用前一个练习中的模型设置。 - -(和之前一样，我们会将这个数字与{doc}`下一讲`中更快的代码进行比较。) -``` - -```{solution-start} og_ex2 -:class: dropdown -``` - -让我们设置： - -```{code-cell} ipython3 -og = OptimalGrowthModel(u=u_crra, f=fcd) -v = og.u(og.grid) -``` - -这是计时结果： - -```{code-cell} ipython3 -%%time - -for i in range(20): - v_greedy, v_new = T(v, og) - v = v_new -``` - -```{solution-end} -``` - +``` \ No newline at end of file From c99b260f71be456c41cc216f52b899f5e26b2ccf Mon Sep 17 00:00:00 2001 From: Matt McKay Date: Sat, 18 Jul 2026 21:16:21 +1000 Subject: [PATCH 2/3] Restore trailing newline (review nit) Co-Authored-By: Claude Fable 5 --- lectures/os_stochastic.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lectures/os_stochastic.md b/lectures/os_stochastic.md index 9521e0fb..c35b548a 100644 --- a/lectures/os_stochastic.md +++ b/lectures/os_stochastic.md @@ -863,4 +863,4 @@ plt.show() ``` ```{solution-end} -``` \ No newline at end of file +``` From f0f02fcdff8ade18c946d343866ac8b18c7bf8f3 Mon Sep 17 00:00:00 2001 From: Matt McKay Date: Sat, 18 Jul 2026 21:20:59 +1000 Subject: [PATCH 3/3] Restore CJK font configuration dropped by the resync The resynced file keeps Chinese plot labels but reverted the import cell to the source's exact form, losing the Source Han Serif setup - Chinese in figures would render as missing glyphs. Residual #107 class found in the merge review; applied wave-wide. Co-Authored-By: Claude Fable 5 --- lectures/os_stochastic.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/lectures/os_stochastic.md b/lectures/os_stochastic.md index c35b548a..7a4946bd 100644 --- a/lectures/os_stochastic.md +++ b/lectures/os_stochastic.md @@ -84,6 +84,10 @@ translation: ```{code-cell} python3 import matplotlib.pyplot as plt +import matplotlib as mpl +FONTPATH = "fonts/SourceHanSerifSC-SemiBold.otf" +mpl.font_manager.fontManager.addfont(FONTPATH) +plt.rcParams['font.family'] = ['Source Han Serif SC'] import numpy as np from scipy.interpolate import interp1d from scipy.optimize import minimize_scalar