一般公式

 一般来说,给定你X,YX,Y的分布,并且不一定两者是独立的,然后给你ZZ关于X,YX,Y的函数,那么要你求解fZ(z)f_Z(z)

假设我们把YY表示为X,ZX,Z的函数,那么有卷积公式:

fZ(z)=+yzf(x,zx)dx=独立+yzfX(x)fY(zx)dxf_Z(z) = \int_{-\infty}^{+\infty} \left|\frac{\partial y}{\partial z}\right|f(x,z-x)dx \overset{独立}{=} \int_{-\infty}^{+\infty} \left|\frac{\partial y}{\partial z}\right|f_X(x)\cdot f_Y(z-x)dx

重要的是判别xx的范围。

 那么如何判别x的范围呢?

 我们不是得到Y=y(Z)Y=y(Z),然后,根据题设要求的X,YX,Y取值范围有,y2(x)Yy1(x)y2(x)y(Z)y1(x)y_2(x)\leq Y\leq y_1(x) \Rightarrow y_2(x)\leq y(Z)\leq y_1(x)之后再反解出xx的范围。并且最好能够画出Z与X的图像,并沿着X轴看,对Z轴进行分段。

分布函数法

 这个不是用卷积法求解,但是也是不可忽视的,所以在这记录。

(X,Y)f(x,y),Z=g(X,Y)(X,Y)\sim f(x,y), \quad Z=g(X,Y),则:

FZ(z)=P{g(X,Y)z}=g(x,y)zf(x,y)dxdyfZ(z)=FZ(z)F_Z(z) = P\left\{ g(X,Y)\leq z \right\} = \iint\limits_{g(x,y)\leq z}f(x,y)dxdy\\ \\ \quad f_Z(z) = F'_Z(z)

暴力求导法

 补充一下余炳森老师的暴力求导法:

α(x)β(x)f(x,y)dy=α(x)β(x)fx(x,y)dy+f[x,β(x)]β(x)f[x,α(x)]α(x)\int_{\alpha(x)}^{\beta(x)} f(x,y) dy = \int_{\alpha(x)}^{\beta(x)}f_x'(x,y) dy + f[x,\beta(x)]\beta'(x) - f[x,\alpha(x)]\alpha'(x)