这个系列是Gatech OMSCS 仿真和建模课程(ISYE 6644: Simulation and Modeling for Engineering and Science)的同步课程笔记。课程内容涉及计算机模拟在统计分析和建模中的应用,本节主要复习微积分以及概率论的相关知识。
Calculus Primer
在进一步介绍随机模拟的内容前首先来回顾一下微积分中的基本内容。






一些常用函数的导数如下:
同时,导数的运算法则为:
函数$f(x)$仅在其导数为0的位置取极值,而借助于二阶导数我们还可以进一步判断极值点的类型。




Finding Zeros
在很多时候我们需要去计算函数的零点。对于复杂的函数可能无法解析地求得函数的零点,在这种情况下需要使用一些数值计算方法来求解。最基本的方法是二分法(bisection):

除了二分法之外我们还可以通过Newton’s method来迭代计算函数的零点。

Integration
除了微分之外,我们还需要计算积分。


常用函数的积分公式如下:
(定)积分的常用性质为:
Riemann Sums
对于复杂的函数,有时可能很难通过解析的形式来计算定积分。此时我们可以将函数拆分成若干个小区间然后在每个区间上计算函数包围的面积,最后把它们加起来近似定积分的值。这种做法称为黎曼和(Riemann sums):

Taylor Series Expansion
在微积分中泰勒级数展开(Taylor series expansion)是一种非常常用的方法:

在$a=0$处进行展开得到的级数称为Maclaurin级数,常用函数的Maclaurin级数为:
另一个常用的工具是洛必达法则(L’Hospital’s rule),它指出当极限存在时可以利用函数的导数来代替函数值计算极限:

Probability Basics
Probabilities
接下来复习一下概率论的相关知识。


Random Variables





Simulating Random Variables
那么如何使用计算机来产生各种类型的随机变量呢?对于任意连续型随机变量$X$我们可以通过它的CDF来进行采样,实际上$F(X)$服从(0, 1)区间上的均匀分布:

稍后我们会来证明这个定理。由于$F(X) \sim \text{Unif} (0, 1)$,我们可以通过对(0, 1)区间上的均匀分布进行采样再映射回$X$实现对任意分布的采样,这种采样方法称为逆变换方法(inverse transform method)。以参数为$\lambda$的指数分布为例,假设$X \sim \text{Exp} (\lambda)$则它的CDF为$F(X) = 1 - e^{-\lambda X}$,根据逆变换方法可以得到采样公式为:
对于逆变换方法我们需要生成(0, 1)区间上的均匀分布的随机数,我们可以利用上节课介绍的伪随机数生成算法来实现:

Great Expectations
期望是随机变量的一个重要性质,离散和连续型随机变量的期望分别定义为:

常用分布的期望如下:



LOTUS
对于作用在随机变量上的函数,我们可以利用law of the unconscious statistician(LOTUS)来计算它的期望:

函数$h(X)$可以是任意形式,而对于幂函数我们称对应的期望为$X$的n阶矩($n$th moment of $X$)。除了幂函数我们还可以利用LOTUS来定义n阶中心矩($n$th central moment of $X$)和方差(variance):



期望和方差的一个重要性质是线性性:

Moment Generating Functions
和期望有关的另一个函数是动量母函数(moment generating functions, MGF):

常用分布的MGF为:


我们可以通过对MGF求导来计算$X$的n阶矩:

Functions of a Random Variable
当我们把某个函数$h$作用在随机变量$X$上时,输出$h(X)$也会是一个随机变量,它有着自己的PDF/CDF。

想要计算任意函数$h$作用后得到的随机变量是十分困难的,但对于某些特定的函数我们可以解析地计算出$h(X)$的分布。实际上逆变换方法可以看做是$h$取CDF情况下$h(X)$的分布:


更进一步,如果$h$的性质比较好我们还可以利用链式法则来计算$h(X)$的PDF:

实际上我们可以利用这个定理来证明LOTUS:

Jointly Distributed Random Variables
Joint Distribution
我们把一维随机变量拓展到多维可以得到多元随机变量和它们的联合概率分布。



对于联合概率,我们可以通过边缘化(marginalization)来获得每个随机变量单独的概率分布。




如果两个随机变量相互独立,则它们的联合概率还可以写成因子相乘的形式。

Conditional Distribution
利用联合概率我们可以计算多元随机变量的条件概率。



Conditional Expectation
在条件概率的基础上我们可以定义条件期望(conditional expectation)。条件期望$E[Y \vert X]$可以理解为一个关于随机变量$X$的函数,它是$Y$在条件概率$f(Y \vert X)$下的期望。

Double Expectations
条件期望的一个重要应用是利用条件期望$E[Y \vert X]$来计算$Y$自身的期望,这称为全期望定理(law of total expectation)。

在很多情况下直接计算期望比较困难,但条件期望的计算时相对容易的。在这种情况下使用全期望定理就可以方便地计算原始随机变量的期望。


类似地,我们还可以把$Y$定义为某个事件发生的概率,这样就可以利用全期望定理来计算概率。



Variance Eecomposition
类似于全期望定理,我们也可以对$Y$的方差进行分解,称为全方差定理(law of total variance)。

Covariance and Correlation
在进一步介绍多元随机变量前我们首先把LOTUS进行推广。

同时我们还需要引入独立同分布(independent and identically distributed, iid)的概念。

Covariance
在LOTUS的基础上就可以定义多元随机变量的协方差(covariance),它描述了随机变量之间的相关性。不过需要注意的是协方差为0并不表示随机变量相互独立。

协方差具有线性性。

Correlation
与协方差类似的还有相关系数(correlation),它是一个规范化的系数来度量随机变量的相关性。


Some Probability Distributions
接下来我们总结一些常用概率分布的性质。
Bernoulli Distribution

Geometric Distribution


Poisson Distribution


Uniform Distribution

Exponential Distribution


Gamma Distribution

Triangular Distribution

Beta Distribution

Normal Distribution

Limit Theorems


Central Limit Theorem
中心极限定理(central limit theorem, CLT)指出,当样本数目比较大的时候相互独立随机变量的均值经标准化后依分布收敛于标准正态分布。

Estimation
我们可以利用随机变量来估计概率分布的参数。不过需要注意的是随机变量的函数仍然是一个随机变量,因此我们的估计值也是一个随机变量。


由于参数的估计值是一个随机变量,我们希望它能够近似真实的参数而且具有的比较小的方差。


Unbiased Estimators
无偏估计(unbiased estimation)是指参数估计值的期望等于真实的参数。最常用的无偏估计是样本均值,显然对于独立同分布的样本其均值的期望等于样本分布的期望。

样本方差与之类似,不过需要注意计算样本方差时的分母为$n-1$。


对于两个无偏估计,我们认为方差小的估计更好。


Mean Squared Error
由于方差的存在有时无偏估计也不是一个好的估计。我们定义估计值与真实值之间平方差的期望为平均平方误差(mean squared error, MSE),它度量了估计值与真实值之间的误差。


Maximum Likelihood Estimation
极大似然估计(maximum likelihood estimation, MLE)是一种非常常用的参数估计方法。通过对样本的似然函数求极值我们可以得到最有可能生成这些样本的参数。

有时直接计算似然函数的极值比较困难,我们还可以通过对数函数来进行处理。



Confidence Intervals
最后,我们可以利用一些已知的分布来估计参数的置信区间。


