随机过程 第一章 预备知识(2)

数学 164 2026-02-05 02:06

5、特征函数

特征函数是为了更方便研究随机变量的数字特征,而引入的数学工具--傅里叶变换

F(ω)=+f(t)eiωtdtF(ω)=∫_{−∞}^{+∞} f(t)e ^{−iωt}dt

通过对傅里叶公式进行求导,积分后是关于变量ω的函数:F(ω)=i+eiωttf(t)dtF^{\prime}(ω)=-i∫_{−∞}^{+∞} e ^{−iωt} t f(t)dt,当ω=0时,积分就对应了期望的公式,因此如果能求出F(ω)F^{\prime}(ω)的值,那通过EX=iF(0)EX = iF^{\prime}(0)就能得到期望值,或者计算后的表达式ii可提取出来,那剩余的项就是EX。因为是引入的工具,为了简单,我们直接去掉复数i,则给它取个名字为矩母函数。同理方差就是二阶导:F(ω)=(i)2+eiωtt2f(t)dtDX=i2F(ω)F^{\prime\prime}(\omega)=(-i)^2∫_{-\infty}^{+\infty}e^{-i\omega t}t^2f(t)dt \Rightarrow DX=i^2 F^{\prime\prime}(\omega)

因为傅里叶变换的反变换f(t)=12π+F(ω)eiωtdωf(t)=\frac{1}{2π} ∫_{−∞}^{+∞}F(ω)e^{ iωt} dω形式相同,所以去掉负号同理可证。对于离散变量的特征函数,相应的修改即可:teiwtP(X=t)\sum_{t} e^{iwt} P(X=t)

定义:设随机变量的分布函数为F(x)F(x),称g(t)=E[eitX]=eitxdF(x)g(t)=E[e^{itX}]=\int_{-\infty}^{\infty}e^{itx}dF(x)<t<-\infty<t<\infty,为X的特征函数
  1. 二项分布B(n,p)B(n,p),特征函数为:g(w)=t=0neiwtCntptqnt=t=0nCnt(peiw)tqnt=(peiw+q)n\begin{align*} &g(w)=\sum_{t=0}^{n}e^{iwt}C_{n}^{t}p^{t}q^{n-t}\\ &=\sum_{t=0}^{n}C_{n}^{t}(pe^{iw})^{t}q^{n-t} \\ &=(pe^{iw}+q)^{n} \end{align*}则期望通过取一阶导:g(w)=[(peiw+q)n]=in(peiw+q)n1peiwg^{\prime}(w)=[(pe^{iw}+q)^{n}]^{\prime}=i*n(pe^{iw}+q)^{n-1}pe^{iw}

w=0w=0,则g(0)=in(peiw+q)n1peiw=inpg^{\prime}(0)=i*n(pe^{iw}+q)^{n-1}pe^{iw}=i*np,对应的EX=npEX=np

  1. 正态分布XN(μ,σ2)X\sim N(\mu,\sigma^2),特征函数为:+eitx12πσe(xμ)22σ2dx\int_{-\infty}^{+\infty} e^{itx} \frac{1}{\sqrt{2 \pi \sigma}} e^{-\frac{(x-\mu)^2}{2\sigma^2}} dx ,因为+12πσe(xμ)22σ2dx=1\int_{-\infty}^{+\infty} \frac{1}{\sqrt{2 \pi \sigma}} e^{-\frac{(x-\mu)^2}{2\sigma^2}} dx =1

特别是标准正态分布XN(0,1)X\sim N(0,1)+12πex22dx=1\int_{-\infty}^{+\infty} \frac{1}{\sqrt{2 \pi }} e^{-\frac{x^2}{2}} dx =1,从而可知+ex22dx=2π\int_{-\infty}^{+\infty} e^{-\frac{x^2}{2}} dx = \sqrt{2 \pi },特征函数为:g(t)=+eitx12πex22dx=12π+eitxx22dx=12π+e12[(xit)2(it)2]dx=e12(it)22π+e12(xit)2dx=e12(it)22π+e12y2dy=e(it)22=et22\begin{align*}&g(t)=\int_{-\infty}^{+\infty}e^{itx}\frac{1}{\sqrt{2 \pi}}e^{-\frac{x^2}{2}}dx \\& = \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty}e^{itx-\frac{x^2}{2}}dx \\& = \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty} e^{-\frac{1}{2} [(x-it)^2-(it)^2]}dx \\& = \frac{e^{\frac{1}{2}(it)^2}}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty} e^{-\frac{1}{2} (x-it)^2}dx \\& = \frac{e^{\frac{1}{2}(it)^2}}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty} e^{-\frac{1}{2} y^2}dy \\& = e^{\frac{(it)^2}{2}} = e^{-\frac{t^2}{2}} \end{align*}其中积分换元:y=xity=x-it,由围道积分证明dy=dxdy=dx。(见底面证明)

则非标准正态分布通过标准化Z=xμσZ=\frac{x-\mu}{\sigma},X的特征函数即:+eitx12πσe(xμ)22σ2dx=+eit(σz+μ)12πσe(σz)22σ2dσz=eitμ+eitσz12πez22dz=eitμ+ei(tσ)z12πez22dz=eitμe(σt)22\begin{align*} & \int_{-\infty}^{+\infty}e^{itx}\frac{1}{\sqrt{2 \pi\sigma}}e^{-\frac{(x-\mu)^2}{2\sigma^2}}dx \\&=\int_{-\infty}^{+\infty}e^{it(\sigma z+\mu)}\frac{1}{\sqrt{2 \pi\sigma}}e^{-\frac{(\sigma z)^2}{2\sigma^2}}d\sigma z \\ & =e^{it\mu}\int_{-\infty}^{+\infty}e^{it\sigma z}\frac{1}{\sqrt{2 \pi}}e^{-\frac{z^2}{2}}d z \\ & =e^{it\mu}\int_{-\infty}^{+\infty}e^{i(t\sigma) z}\frac{1}{\sqrt{2 \pi}}e^{-\frac{z^2}{2}}d z \\ & =e^{it\mu} e^{-\frac{(\sigma t)^2}{2}} \end{align*}从上可知,当已知X的特征函数g(t)=+eitxf(x)dxg(t)=∫_{−∞}^{+∞} e ^{−itx}f(x)dx,则当Y=aX+bY=aX+b时,Y的特征函数+eityu(y)dy∫_{−∞}^{+∞} e ^{−ity}u(y)dy

Y的概率密度u(y)u(y)需通过分布来求:FX(x)=P(Xx)=xf(x)dxF_X(x)=P(X\le x)=\int_{-\infty}^{x} f(x)dx,用X=YbaX=\frac{Y-b}{a}代入,P(Ybax)=P(Yax+b)=xf(x)dxP(\frac{Y-b}{a}\le x)=P(Y\le ax+b)=\int_{-\infty}^{x} f(x)dx

对Y求导:(P(Yax+b))=FY(y)=u(y)=(ybaf(x)dx)(P(Y\le ax+b))^{\prime}=F_Y^{\prime}(y)=u(y)=(\int_{-\infty}^{\frac{y-b}{a}} f(x)dx)^{\prime}

  1. 通过莱布尼茨定理G(x)=v(x)h(t)dtG(x)=\int_{-\infty}^{v(x)} h(t)dt

G(x)=limΔx0G(x+Δx)G(x)Δx=limΔx0v(x+Δx)h(t)dtv(x)h(t)dtΔx=limΔx0v(x)v(x+Δx)h(t)dtΔx\begin{align*} G^{\prime}(x)&=\lim_{\Delta x \rightarrow0} \frac{G(x+\Delta x)-G(x)}{\Delta x} \\ &=\lim_{\Delta x \rightarrow0} \frac{\int_{-\infty}^{v(x+\Delta x)}h(t)dt-\int_{-\infty}^{v(x)}h(t)dt}{\Delta x} \\ &=\lim_{\Delta x \rightarrow0} \frac{\int_{v(x)}^{v(x+\Delta x)}h(t)dt}{\Delta x} \end{align*}

中值定理,对于积分存在一个ξ\xi使得h(ξ)[v(x+Δx)v(x)]=v(x)v(x+Δx)h(t)dth(\xi)[v(x+\Delta x)-v(x)]=\int_{v(x)}^{v(x+\Delta x)}h(t)dt,所以:G(x)=limΔx0h(ξ)[v(x+Δx)v(x)]ΔxG^{\prime}(x)=\lim_{\Delta x \rightarrow0} \frac{h(\xi)[v(x+\Delta x)-v(x)]}{\Delta x},由Δx0\Delta x \rightarrow 0ξv(x)\xi \rightarrow v(x)G(x)=h(v(x))v(x)G^{\prime}(x)=h(v(x))v^{\prime}(x)
  1. 或通过换元:(ybaf(x)dx)=(zf(z)dyba)=(z1af(yba)dy)=1af(yba)(\int_{-\infty}^{\frac{y-b}{a}} f(x)dx)^{\prime}=(\int_{-\infty}^{z} f(z)d\frac{y-b}{a})^{\prime}=(\int_{-\infty}^{z} \frac{1}{a}f(\frac{y-b}{a})dy)^{\prime}= \frac{1}{a}f(\frac{y-b}{a})

代入Y的特征函数:+eity1af(yba)dy=+eit(ax+b)1af(x)d(ax+b)=eitbg(at)\begin{align*}&∫_{-\infty}^{+\infty}e^{-ity}\frac{1}{a}f(\frac{y-b}{a})dy\\&=∫_{-\infty}^{+\infty}e^{-it(ax+b)}\frac{1}{a}f(x)d(ax+b) \\&=e^{-itb}g(at) \end{align*}

6、母函数

傅里叶变换如果积分结果发散则无法积出结果,因此保证变换后的傅里叶积分收敛、有意义,需要求被积函数绝对可积。

F(ω)=+f(t)cosωtdti+f(t)sinωtdtF(ω)=∫ _{−∞}^{+∞}f(t)cosωtdt−i∫ _{−∞}^{+∞}f(t)sinωtdt(欧拉公式:eiωt=cosωtisinωte^{−iωt}=cosωt−isinωt),这样避免正负抵消的 “假象收敛”,保证变换稳定性。

但对不能绝对可积的函数,则加入抑制因子eβxe^{-\beta x}得:+eβxeitxf(x)dx∫_{−∞}^{+∞} e^{-\beta x}e ^{−itx}f(x)dx,因抑制因子是一个急剧下压至0的函数,所以控制函数不发散,但负轴方向却是发散的,所以积分区域改成正半轴,以保证积分收敛:0+e(β+it)xf(x)dx∫_{0}^{+∞} e ^{-(\beta +it)x}f(x)dx,也就是拉普拉斯变换

S=β+iwS=\beta+iw则表达式为:0+esxf(x)dx∫_{0}^{+∞} e ^{-sx}f(x)dx,和上面介绍一样,此函数仅是借用的工具,为了简单,去掉负号为:0+esxf(x)dx∫_{0}^{+∞} e ^{sx}f(x)dx

因为ex=x0+x1+12x2+...e^x=x^0+x^1+\frac{1}{2}x^2+...,通过截断就能分析exe^x的值,同理,了解了xnx^n的性质,也就可以了解exe^x,为此也可以改成(n是0,1,2...,所以用离散形式):n=0SnP(X=n)\sum_{n=0}^{\infty}S^nP(X=n),也就是母函数,记为:E[sX]=k=0pkskE[s^{X}]=\sum_{k=0}^{\infty}p_{k}s^{k}。所以母函数可研究非负整数值随机变量。

  1. 性质:

1、独立随机变量之和的母函数等于母函数之积

2、若X1,X2,X_1,X_2,…是相互独立且同分布的非负整数值随机变量,N是X1,X2,X_1,X_2,…独立的非负整数随机变量,则Y=k=1NXkY=\sum_{k=1}^{N}X_k的母函数H(s)=G(Q(s))H(s)=G(Q(s)),其中G(s),Q(s)G(s),Q(s)分别是N,X1N,X_1的母函数

证:H(s)=0syf(y)dyH(s)=\int_0^{\infty}s^yf(y)dy,y出现的概率是随机变量N取某个值为ll时,X1,XlX_1,…X_l之和为y的概率,即fN(l)fYN=l(y)f_N(l)f_{Y|N=l}(y)

某一组取值时的概率f(y,X1,X2,...Xl1)(y,x1,x2,...xl1)f_{(y,X_1,X_2,...X_{l-1})}(y,x_1,x_2,...x_{l-1})等于:f(X1,X2,...Xl)(x1,x2,...yx1x2...xl1)=fX1(x1)fX2(x2)...fXl(yx1x2...xl1)\begin{align*} f_{(X_1,X_2,...X_l)}(x_1,x_2,...y-x_1-x_2...-x_{l-1}) \\=f_{X_1}(x_1)f_{X_2}(x_2)...f_{X_l}(y-x_1-x_2...-x_{l-1})& \end{align*}而取Y=yY=y时,X1,XlX_1,…X_l每个取值都可以是任意,因此:fYN=l(y)=00...0fX1(x1)fX2(x2)...fXl(yx1x2...xl1)dx1dx2...dxl1\begin{align*} f_{Y|N=l}(y)=\int_{0}^{\infty}\int_{0}^{\infty}...\int_{0}^{\infty}f_{X_1}(x_1)f_{X_2}(x_2)...f_{X_l}(y-x_1-x_2...-x_{l-1})dx_1dx_2...dx_{l-1} \end{align*}

上面公式即是卷积(fX1fX2)(y)(f_{X_1}*f_{X_2})(y)。如:两个独立随机变量和Y=X1+X2Y=X_1 +X_2 ​的概率密度公式:fY(y)=fX1(x1)fX2(yx1)dx1f _Y (y)=∫ _{−∞}^∞ f _{X _1} (x _1 )f_{X_2}(y-x_1)dx_1

sy=sX1sX2...sXls^y=s^{X_1}s^{X_2}...s^{X_l};且y=k=1lxky=\sum_{k=1}^{l}x_{k},当x1,xl1x_1,…x_{l-1}同时出现的概率就决定了xlx_l,反过来xlx_l出现的概率也就是y出现的概率,所以dy=dxldy=dx_l。则

H(s)=0sx1...sxl1fN(l)0...0fX1(x1)...fXl1(xl1)fXl(yx1x2...xl1)dx1...dxl1dxl=1fN(l)0sx1fX1(x1)...0sxlfXl(xl)dx1...dxl\begin{align*} H(s)&=\int_0^{\infty}s^{x_1}...s^{x_l}\int_1^{\infty}f_N(l)\int_{0}^{\infty}...\int_{0}^{\infty}f_{X_1}(x_1)...f_{X_{l-1}}(x_{l-1})f_{X_l}(y-x_1-x_2...-x_{l-1})dx_1...dx_{l-1} dx_l \\ &= \int_1^{\infty}f_N(l)\int_{0}^{\infty}s^{x_1}f_{X_1}(x_1)...\int_{0}^{\infty}s^{x_{l}}f_{X_l}(x_{l}) dx_1...dx_l \end{align*}

因为X1,X2,X_1,X_2,…相互独立,所以x1,...xl1,xlx_1,...x_{l-1},x_ll1l-1个变量是不相互影响的,仅xl=yk=1l1xkx_l=y-\sum_{k=1}^{l-1}x_{k}受限。所以:

H(s)=1fN(l)0sx1fX1(x1)dx1...0sxlfXl(xl)dxl H(s) = \int_1^{\infty}f_N(l)\int_{0}^{\infty}s^{x_1}f_{X_1}(x_1)dx_1...\int_{0}^{\infty}s^{x_{l}}f_{X_l}(x_{l}) dx_l 

至于xl,dxlx_l,dx_l不受限制了,可以移项组合,是因为ll也是随机变量了。

又因为独立同分布,所以:H(s)=1fN(l)(0sxfX(x)dx)l=1fN(l)(Q(s))l=G(Q(s))H(s) = \int_1^{\infty}f_N(l)(\int_{0}^{\infty}s^{x}f_{X}(x)dx)^l = \int_1^{\infty}f_N(l)(Q(s))^l=G(Q(s))


7、n维正态分布

n维随机变量X=(X1,X2,...Xn)TX=(X_1,X_2,...X_n)^{T}的联合概率密度为:f(x)=f(x1,x2,...xn)=1(2π)n/2Σ1/2exp{12(xa)TΣ1(xa)}f(x)=f(x_1,x_2,...x_n)=\frac{1}{(2\pi)^{n/2}|\Sigma|^{1/2}}exp\{-\frac{1}{2}(x-a)^T\Sigma^{-1}(x-a) \}

(一元正态XN(μ,σ2)X\sim N(\mu,\sigma^2)的概率密度:12πσe(xμ)22σ2\frac{1}{\sqrt{2 \pi}\sigma}e^{-\frac{(x-\mu)^2}{2\sigma^2}})

推导:

1、设 Z1Z_1Z2Z_2 相互独立,且都服从标准正态分布:Z1N(0,1),Z2N(0,1)Z_1 \sim N(0,1), \quad Z_2 \sim N(0,1) , 它们的联合概率密度函数为:fZ1,Z2(z1, z2) = 12π exp(12(z12 + z22))f_{Z_1,Z_2}(z_1, z_2) = \frac{1}{2\pi} \exp\left(-\frac{1}{2}(z_1^2 + z_2^2)\right)

2、因为我们想要得到均值为 μ1,μ2\mu_1, \mu_2,方差为 σ12,σ22\sigma_1^2, \sigma_2^2,相关系数为 ρ\rho 的二元正态变量 X1,X2X_1, X_2,构造线性变换 :

X1=μ1+σ1Z1X_1 = \mu_1 + \sigma_1 Z_1 \\[4pt] X2=μ2+σ2(ρZ1+1ρ2Z2)X_2 = \mu_2 + \sigma_2 \left( \rho Z_1 + \sqrt{1-\rho^2} \, Z_2 \right)

可以验证:

Var(X1)=σ12Var(Z1)=σ12\mathrm{Var}(X_1) = \sigma_1^2 \mathrm{Var}(Z_1) = \sigma_1^2

Var(X2)=σ22(ρ2Var(Z1)+(1ρ2)Var(Z2)+2ρ1ρ2Cov(Z1,Z2))=σ22\mathrm{Var}(X_2) = \sigma_2^2 \left( \rho^2 \mathrm{Var}(Z_1) + (1-\rho^2) \mathrm{Var}(Z_2) + 2\rho\sqrt{1-\rho^2}\mathrm{Cov}(Z_1,Z_2) \right)=\sigma_2^2

Cov(X1,X2)=Cov(σ1Z1,  σ2(ρZ1+1ρ2Z2))=ρσ1σ2\mathrm{Cov}(X_1, X_2) = \mathrm{Cov}(\sigma_1 Z_1,\; \sigma_2(\rho Z_1 + \sqrt{1-\rho^2} Z_2)) = \rho\sigma_1\sigma_2

把 X 写成向量形式 X=μ+AZX=μ+AZ ,其中ZN(0,I)Z∼N(0,I)(X1X2)=(μ1μ2)+(σ10ρσ2σ21ρ2)A(Z1Z2)\begin{pmatrix} X_1 \\ X_2 \end{pmatrix} = \begin{pmatrix} \mu_1 \\ \mu_2 \end{pmatrix} + \underbrace{\begin{pmatrix} \sigma_1 & 0 \\ \rho\sigma_2 & \sigma_2\sqrt{1-\rho^2} \end{pmatrix}}_{A} \begin{pmatrix} Z_1 \\ Z_2 \end{pmatrix}协方差矩阵:Σ=AAT=(σ12ρσ1σ2ρσ1σ2σ22)\Sigma = A A^T = \begin{pmatrix} \sigma_1^2 & \rho\sigma_1\sigma_2 \\ \rho\sigma_1\sigma_2 & \sigma_2^2 \end{pmatrix}

3、利用线性变换的密度变换公式

已知:fZ(z)=12πexp(12zTz)f_{\mathbf{Z}}(\mathbf{z}) = \frac{1}{2\pi} \exp\left(-\frac{1}{2}\mathbf{z}^T\mathbf{z}\right) ,则 fX(x)=fZ(z)Jf_\mathbf{X} (\mathbf{x})=f_\mathbf{Z} (\mathbf{z})⋅∣J∣ 

注意J=A1=σ1σ21ρ2∣J∣=|A| ^{−1}=\sigma_1\sigma_2\sqrt{1-\rho^2},因为z=A1(xμ)\mathbf{z} = A^{-1}(\mathbf{x} - \boldsymbol{\mu})fX(x)=fZ(z)det(zx)f_{\mathbf{X}}(\mathbf{x})=f_{\mathbf{Z}}(\mathbf{z})\cdot\vert\det( \frac{\partial z}{\partial x})\vert,(多维 z\mathbf{z} 的变化,导致x\mathbf{x}的变化。是z\mathbf{z}的概率密度乘上面积改变比例,即雅可比行列式)

4、计算指数部分的二次型

由于 z=A1(xμ)\mathbf{z} = A^{-1}(\mathbf{x} - \boldsymbol{\mu}),有: zTz = (x  μ)T (A1)T A1 (x  μ)\mathbf{z}^T\mathbf{z} = (\mathbf{x} - \boldsymbol{\mu})^T (A^{-1})^T A^{-1} (\mathbf{x} - \boldsymbol{\mu})

(A1)TA1=(AAT)1=Σ1(A^{-1})^T A^{-1} = (A A^T)^{-1} = \Sigma^{-1}

5、代入得到:fX1,X2(x1,x2) = 12π  A exp[ 12 (x  μ)T Σ1 (x  μ) ]f_{X_1,X_2}(x_1,x_2) = \frac{1}{2\pi \cdot |A|} \exp\left[ -\frac{1}{2} (\mathbf{x} - \boldsymbol{\mu})^T \Sigma^{-1} (\mathbf{x} - \boldsymbol{\mu}) \right]

通过计算:A=σ1σ21ρ2|A| = \sigma_1 \sigma_2 \sqrt{1-\rho^2}Σ1=11ρ2(1σ12ρσ1σ2ρσ1σ21σ22)\Sigma^{-1} = \frac{1}{1-\rho^2} \begin{pmatrix} \frac{1}{\sigma_1^2} & -\frac{\rho}{\sigma_1 \sigma_2} \\[6pt] -\frac{\rho}{\sigma_1 \sigma_2} & \frac{1}{\sigma_2^2} \end{pmatrix}

可得二元正态概率密度公式:f(x1,x2)=12πσ1σ21ρ2exp[12(1ρ2)((x1μ1)2σ122ρ(x1μ1)(x2μ2)σ1σ2+(x2μ2)2σ22)]\boxed{ f(x_1,x_2) = \frac{1}{2\pi\sigma_1\sigma_2\sqrt{1-\rho^2}} \exp\left[ -\frac{1}{2(1-\rho^2)} \left( \frac{(x_1-\mu_1)^2}{\sigma_1^2} - 2\rho\frac{(x_1-\mu_1)(x_2-\mu_2)}{\sigma_1\sigma_2} + \frac{(x_2-\mu_2)^2}{\sigma_2^2} \right) \right] }

6、拓展到n元标准正态同理可证 fX(x)=1(2π)n/2  Σ1/2 exp[ 12 (x  μ)T Σ1 (x  μ) ]f_\mathbf{X} (\mathbf{x})=\frac{1}{(2\pi)^{n/2} \cdot |\Sigma|^{1/2}} \exp\left[ -\frac{1}{2} (\mathbf{x} - \boldsymbol{\mu})^T \Sigma^{-1} (\mathbf{x} - \boldsymbol{\mu}) \right]

det(Σ)=det(AA)=(detA)2det(Σ)=det(AA^⊤)=(detA) ^2
(AB)(B1A1)=E(B1A1)=(AB)1(AB)(B^{-1}A^{-1})=E \Rightarrow (B^{-1}A^{-1})=(AB)^{-1}
AB=AB|AB|=|A||B|:矩阵乘相当于拉伸和旋转,对面积的放大/缩小系数是固定的。B放大一次,A在B的基础上再放大,系数都是矩阵的面积(行列式),所以先连续变形后再看放大系数与独立放大系数乘相同

注:如果X=(X1,X2,...Xn)X=(X_1,X_2,...X_n),表示行向量的话:f(x)=1(2π)n/2Σ1/2exp{12(xa)Σ1(xa)T}f(x)=\frac{1}{(2\pi)^{n/2}|\Sigma|^{1/2}}exp\{-\frac{1}{2}(x-a)\Sigma^{-1}(x-a)^T \}


证明:+e12(xit)2dx\int_{-\infty}^{+\infty} e^{-\frac{1}{2} (x-it)^2}dx,令y=xity=x-it,由围道积分证明+e12y2dy\int_{-\infty}^{+\infty} e^{-\frac{1}{2} y^2}dy:

由于指数函数解析,所以满足柯西积分定理,沿任意闭合围道积分为 0(逆时针)。由于t是常数,所以做个矩形,上边是实轴从-\infty++\infty,此时虚轴为0(+e12x2dx\int_{-\infty}^{+\infty} e^{-\frac{1}{2} x^2}dx:),下边是虚轴为t的横线+e12(xit)2dx\int_{+\infty}^{-\infty} e^{-\frac{1}{2} (x-it)^2}dx,左右是在无穷点从0到t的竖线,积分函数为e12(Riy)2e^{-\frac{1}{2} (R-iy)^2}RR \rightarrow \infty,展开得:e12(R22iRy+y2)e^{-\frac{1}{2}(R^2-2iRy+y^2)},函数的模e12(R2+y2)e^{-\frac{1}{2}(R^2+y^2)},y是有界不超过t,所以模趋于0。得到:+e12x2dx=+e12(xit)2dx\int_{-\infty}^{+\infty} e^{-\frac{1}{2} x^2}dx=\int_{+\infty}^{-\infty} e^{-\frac{1}{2} (x-it)^2}dx,右侧改积分方向不改变值,也即得证

喜欢 | 0 收藏 | 0
提示:如果图片无法显示,请检查网页地址前缀是否被改成https://,请使用http://访问
文章评论