第一章 高级宏观经济学:数学基础.docVIP

  • 30
  • 1
  • 约3.81万字
  • 约 83页
  • 2020-05-07 发布于中国
  • 举报
第一章 动态分析的数学基础 本章主要介绍与 Romer 的高级宏观经济学直接相关的数学基础,主要包括 动态系统、动态最优化原理。 第一节 动态系统基本理论 一、基本概念 (一)基本概念 变量为导数的方程称为微分方程。如果方程只有一个变量,则被称为常微 分方程(ODE),否则,称为偏微分方程。ODE 的阶是方程中最高阶导数的阶数, 如一个ODE 的最高阶导数为n 阶,则称它是一个n 阶ODE。当方程的函数关系 是线性时,就称为线性 ODE。如果方程涉及到多个变量的微分方程组,并且被 解释变量为时间,我们称该方程组为动态系统。经济学中大量的问题涉及的都是 经济现象在时间上的演变特征,动态系统成为分析这类问题的有力工具。 此时,微分方程都涉及到变量对时间的导数。如: a y(t) + a y(t) +x(t) =0 (1) 1 2 方程中a 和 1 a 是常数,x(t) 为已知的关于时间的函数,y(t) 描述了变量在不 2 同时点的状态,称为状态变量,若y(t) 是向量则为状态向量。由于a 和 1 a 是常 2 数,称方程为常系数一阶线性方程。 假定方程(1)中变量关于时间是连续的,称为连续时间微分方程或连续系 统(CS);如果变量对时间的关系不是连续的,而是用离散时间来描述,称为离 散方程或离散系统(DS),相应地与(1)相对应的离散系统表示为: a 1 y +a t+1 2 y + t x =0 (2) t 微分方程根据是否显含时间分为自控方程和非自控的两种类型。如果微分 方程不显含时间变量,则称微分方程是自控的,否则称为非自控的。 方程(1)中,若x(t) =a 为一常数,则(1)就是自控的,经济学中涉及到 3 的宏观动态系统基本上主要是这类自控模型。进一步,若x(t) =0,则方程(1) 称为齐次方程,简称齐次的。 动态微分方程研究的主要问题是解的存在性和如何具体求出具体的动态路 径。不是所有的微分方程都能求解,本节主要讨论的是可求解的常微分方程。 通过方程的解确定的y(t) 的动态路径,称为方程或系统的流(Flow)。直观 上,系统的流是与系统的初始值(简称初值)和参数是相关的。对离散方程(2), 我们很容易验证这一点。假定: y(t +1) =f( y(t) ,t,α ) 两边减去y(t) ,得到: Δy(t) =y(t +1) -y(t) =f( y(t) ,t,α )-y(t) Δy(t) 衡量了y(t) 在每一步的移动情况,箭头表示y(t) 在每一步的移动方向, 沿着箭头的方向,就可以构造出系统的轨道。 y y y y(t) =f(y(t)) 2 y y(t) 1 y 0 t t 图2 离散时间的解轨道 图3 连续时间的解轨道 动态方程或动态系统一般都有无数的解,所有这些解的集合称为系统的通 解。通解中每个特解对应状态变量(向量)在空间中的不同轨道,而我们往往对 其中的若干特解感兴趣,因此,需要对通解加上适当的附加条件,也就是通常的 初始条件(Initial Condition)。显然,每个轨道都依赖于初值和开始移动的时间。 y(0) =y 0 有了初值条件,就可以确定一条具体的解的轨道。当然,初值条件不是确定 动态系统解的唯一方法,更一般的是利用所谓的边界条件: y(t ) =y0 (3) 0 来确定状态向量 y,其在t ∈〔0,+ ∞ )时刻的取值为给定点y0 ,但t 不一定等 0 0 于0。 动态系统加边界条件一起称为边值问题,通常边值问题有唯一解。 需要指出的是,在经济学中将初值问题和其它类型的边值条件分开是必要 的,因为对许多经济变量选择其最原始的初始边界可能是毫无意义的,同时在进 行经济分析与决策时,有时我们希望边界条件能反映所需的期望信息和相关的均 衡选择。 (二)稳态性质 微分方程一般都有无数个解,这些解的动态性质是收敛的或是发散的,对解 释经济现象是非常重要的,有一类特殊的解—常数解在分析动态系统的渐近行为 时具有重要的作用。我们给出相关的定义。 定义 1.1.1 定常状态或定态(不动点、休止点或均衡) 动态系统的常数 2 解称为系统的定态(Stationary State)。在离散系统中,y(t +1) =g( y(t) ),若y ∈Y 是g( )的不动点(Fixed Point),即若存在y =g( y ),则称点y 为定态。对于连续系 统,y =f(y),若存在y ∈Y 满足f( y )=0,则称点y 为定态。 给定状态向量或变量的定态,自然就要涉及到定态点的稳定性,也就是当系 统在休止点附近受到冲击时,系统能否回到均衡点。正式地: 定义 1.1.2 稳定性 令y 是系统(CS)y =f(y)的非孤立的定常状态,若对 任意给定ε 0,存在某个实数δ ∈(0,ε ], 0 0

文档评论(0)

1亿VIP精品文档

相关文档