已知联合密度函数，求解联合分布函数的困惑与疑问

已知联合密度函数为
$$f(x,y) = 1 \hspace{2mm}\mathrm{for}\hspace{2mm} 0 \leq x \leq 2, \max{0,x-1} \leq y \leq \min {1,x}, $$
其余情况$f(x,y) = 0$。我需求解联合分布函数，最初思路是分$x < 1$（此时$0 < y < x$）和$x > 1$（此时$x-1 < y < 1$）两种情况，计算积分
$$\int_0^1 \int_0^x 1\hspace{1mm} dy dx + \int_1^2 \int_{x-1}^1 1 \hspace{1mm} dydx, $$
但该方法完全错误。正确解法分为六种情况，其中第一种为$x > 2, y > 1$时$F(x,y) = 1$，我能理解此情况，但后续完全困惑，甚至不明白为何要划分这些特定情况。

其实你一开始踩了个典型误区：你算的是整个支撑域的总概率（也就是1），但联合分布函数$F(x,y)=P(X\leq x,Y\leq y)$是要计算所有满足$u\leq x$且$v\leq y$的$(u,v)$区域与支撑域的交集上的密度积分，不是直接对整个支撑域积分，这才是核心区别！

为什么要分六种情况？因为这个联合密度的支撑域（也就是$f(x,y)\neq0$的区域）是个斜向的平行四边形：x从0到2，当x∈[0,1]时，y的范围是0到x；当x∈[1,2]时，y的范围是x-1到1。当我们取不同的$(x,y)$时，左下区域$(u\leq x, v\leq y)$和支撑域的交集形状完全不同，积分上下限自然也不一样，必须按$(x,y)$的位置逐一讨论。

下面我把六种情况拆解清楚，结合几何逻辑帮你理解：

情况1：$x\leq0$ 或 $y\leq0$ #

此时左下区域和支撑域完全没有重叠，所以$F(x,y)=0$，很好理解。

情况2：$0<x\leq1$ 且 $0<y\leq x$ #

这时候交集是一个直角三角形：u从0到x，v从0到y，积分直接算就是$\int_0^x \int_0^y 1\ dv du = xy$。

情况3：$0<x\leq1$ 且 $y>x$ #

此时y的上限已经超过了支撑域中y的最大值（也就是x），所以交集就是支撑域中x≤1的全部部分：u从0到x，v从0到u，积分结果是$\int_0^x \int_0^u 1\ dv du = \frac{1}{2}x^2$。

情况4：$1<x\leq2$ 且 $0<y\leq x-1$ #

这时候y的位置在支撑域x>1部分的下限（直线$y=x-1$）下方，交集由三部分组成：

• u∈[0,y]：v从0到u（支撑域v上限是u）
• u∈[y,1]：v从0到y（支撑域v上限u>y，所以取到y）
• u∈[1,1+y]：v从u-1到y（支撑域v下限是u-1，且u-1≤y）
  计算后积分结果为$y$（可以用几何法验证：此时交集的面积刚好等于y的数值）。

情况5：$1<x\leq2$ 且 $x-1<y\leq1$ #

这时候y在支撑域x>1部分的上下限之间，交集是支撑域中u≤x且v≤y的部分，拆分积分计算：

• u∈[0,1]：v取$\min(u,y)$，积分得$y - \frac{1}{2}y^2$
• u∈[1,x]：v从u-1到y，积分得$(y+1)(x-1) - \frac{1}{2}(x^2-1)$
  合并化简后结果为：$xy + x - \frac{1}{2}x^2 - \frac{1}{2}y^2 - \frac{1}{2}$

情况6：$x>2$ 且 $0<y\leq1$ #

此时u≤x覆盖了整个支撑域的x范围（0到2），只需计算支撑域中v≤y的部分，积分结果为$y$（和情况4的结果一致，因为此时整个支撑域中v≤y的面积就是y）。

另外你提到的$x>2,y>1$的情况，属于左下区域完全覆盖支撑域，所以$F(x,y)=1$，这部分你已经理解了。

本质上，这六种情况是按$(x,y)$相对于支撑域的边界线（$x=0,x=1,x=2,y=0,y=x,y=x-1,y=1$）的位置划分的，每一种对应交集的几何形状不同，积分规则自然不同，这就是必须分情况讨论的原因。

内容的提问来源于stack exchange，提问作者frej.mh