关于随机变量函数积分及U=Y₁-Y₂的CDF积分区域的疑问

嘿，我完全懂你这个困惑——当初第一次啃二维概率积分的时候，我也对着类似的问题卡了好久！咱们一步步拆解清楚：

• 核心目标明确：我们要计算的是 ( U = Y_1 - Y_2 ) 的累积分布函数 ( F_U(u) = P(U \leq u) = P(Y_1 - Y_2 \leq u) )，本质就是在所有满足 ( y_1 - y_2 \leq u ) 的点 ((y_1, y_2)) 构成的区域上，对联合概率密度 ( f(y_1,y_2) ) 做二重积分。
• 为啥你会觉得是矩形体积？
  核心问题大概率是没抓准积分限的设置逻辑——这个动态变化的积分限，才是把区域“框”成三角形的关键：
  1. 先把不等式变形为 ( y_1 \leq y_2 + u )。如果我们先固定 ( y_2 ) 的取值，那么对应的 ( y_1 ) 只能取到 ( y_2 + u ) 为止（下限根据变量实际的取值范围来，比如负无穷或者某个区间端点）；反过来如果先固定 ( y_1 )，那 ( y_2 ) 要满足 ( y_2 \geq y_1 - u )。
  2. 举个具体例子：假设 ( Y_1 ) 和 ( Y_2 ) 都是在 ([0, a]) 上的均匀分布，当 ( 0 \leq u \leq a ) 时，满足 ( y_1 - y_2 \leq u ) 的区域是正方形 ([0,a] \times [0,a]) 去掉右上角的小三角形，剩下的部分就是你说的深色阴影区域。这时候的二重积分会写成：
     $$
     F_U(u) = \int_{y_2=0}^{a} \left( \int_{y_1=0}^{\min(y_2 + u, a)} f(y_1,y_2) dy_1 \right) dy_2
     $$
     看到没？内层积分的上限是 ( \min(y_2 + u, a) )，这个和 ( y_2 ) 相关的动态表达式，直接把 ( y_1 ) 的范围限制在了符合不等式的区域里，而不是整个矩形的0到a。
• 一句话总结：如果积分限是固定的常数，积分出来的确实是整个矩形对应的“体积”，但咱们这里的积分限是依赖于另一个变量的动态范围，这就把原本的矩形区域“切”成了满足 ( y_1 - y_2 \leq u ) 的三角形（或其他符合条件的区域）。

内容的提问来源于stack exchange，提问作者stavro