关于概率函数g(x)在0点邻域连续性的推广性技术问询（N≥2情形）

问题背景 #

给定连续可微函数 $f:[0,1]^{N+1} \mapsto \mathbb{R}$，以及支撑集在 $[0,1]$ 上、具有连续可微联合概率密度函数（PDF）的随机变量 $Y_1,\cdots,Y_N$，定义：
$$g(x):= \mathbb{P}(f(x,Y_1,\cdots,Y_{N})<0).$$

已知存在 $y^* \in (0,1)$ 满足：

• 当 $Y_1 \gtrless y^*$ 时，$f(0,Y_1,\cdots,Y_{N}) \gtrless 0$；
• 偏导数 $\frac{\partial f(0,Y_1,\cdots,Y_N)}{\partial Y_1}\bigg|_{Y_1=y^*}>0$。

核心问题：上述条件是否能推出 $g(x)$ 在0点的某个邻域内连续？如果不能，需要补充哪些额外条件？

提问者已证明 $N=1$ 时的结论，但在推广到 $N\geq2$ 的过程中遇到了瓶颈。

提问者的思路尝试（N≥2情形） #

针对 $N\geq2$，提问者延续了 $N=1$ 时的推理路径：

1. 显然有 $g(0)=\mathbb{P}(Y_1<y^* )$；
2. 由于 $f$ 连续且 $[0,1]^{N-1}$ 是紧集，存在 $\delta>0$，使得对所有 $x\in[0,\delta)$，以及任意 $(Y_2,\cdots,Y_N)\in[0,1]^{N-1}$，都存在 $y^* (x,Y_2,\cdots,Y_{N})\in[0,1]$ 满足：
   • 当 $Y_1 \gtrless y^* (x,Y_2,\cdots,Y_{N})$ 时，$f(x,Y_1,\cdots,Y_N) \gtrless 0$；
   • 由此可得表达式：
     $$g(x)=\mathbb{P}(Y_1<y^* (x,Y_2,\cdots,Y_{N})). \tag{1}$$
3. 根据隐函数定理，$y^* (x,Y_2,\cdots,Y_{N})$ 在 $x\in[0,\delta)$ 时关于所有自变量连续。

当前遇到的关键难点：如何利用 $Y_1,\cdots,Y_N$ 连续可微的联合PDF，证明式(1)定义的 $g(x)$ 是连续的？

解答与分析 #

结论：给定的条件已经足够推出 $g(x)$ 在0点的某个邻域内连续，无需额外条件。具体推导如下：

首先将式(1)用联合PDF展开。设 $p(y_1,y_2,\dots,y_N)$ 是 $Y_1,\cdots,Y_N$ 的联合PDF，则：
$$g(x) = \int_{[0,1]^{N-1}} \left( \int_0^{y*(x,y_2,\dots,y_N)} p(y_1,y_2,\dots,y_N) dy_1 \right) dy_2 \dots dy_N.$$

我们需要证明该积分作为 $x$ 的函数在0点附近连续，核心分为三步：

1. $y^*(x,\mathbf{y}')$ 的一致连续性

记 $\mathbf{y}'=(y_2,\dots,y_N)$。由隐函数定理，已知 $\frac{\partial f(0,y^,\mathbf{y}')}{\partial y_1} > 0$ 且 $f$ 连续可微，因此在 $(0,y^,\mathbf{y}')$ 的邻域内，$y^(x,\mathbf{y}')$ 关于 $x$ 和 $\mathbf{y}'$ 连续可微（自然连续）。再结合 $[0,1]^{N-1}$ 的紧性，我们可以找到一个统一的 $\delta>0$，使得当 $x\in[0,\delta)$ 时，$y^(x,\mathbf{y}')$ 在 $[0,\delta)\times[0,1]^{N-1}$ 上一致连续（紧集上的连续函数必一致连续）。

2. 被积函数的有界性

由于联合PDF $p$ 是连续可微的，而 $[0,1]^N$ 是紧集，因此 $p$ 在该集合上有界，即存在常数 $M>0$，使得对所有 $(y_1,\mathbf{y}')\in[0,1]^N$，有 $|p(y_1,\mathbf{y}')|\leq M$。

3. 应用控制收敛定理（DCT）

对于任意 $\mathbf{y}'$，内层积分 $\int_0^{y*(x,\mathbf{y}')} p(y_1,\mathbf{y}') dy_1$ 关于 $x$ 连续：

• 被积函数 $p(y_1,\mathbf{y}')$ 连续，上限 $y^*(x,\mathbf{y}')$ 关于 $x$ 连续；
• 当 $x_1,x_2$ 趋近于0时，内层积分的差值可被 $M \cdot |y^(x_1,\mathbf{y}') - y^(x_2,\mathbf{y}')|$ 控制，而由一致连续性，该差值会一致趋近于0。

此时内层积分关于 $x$ 连续且被1（概率积分的上限）控制，因此可以应用控制收敛定理交换极限与积分顺序：
$$\lim_{x\to0} g(x) = \int_{[0,1]^{N-1}} \left( \int_0^{y(0,\mathbf{y}')} p(y_1,\mathbf{y}') dy_1 \right) dy_2 \dots dy_N = g(0),$$
其中 $y^(0,\mathbf{y}') = y^*$ 符合问题的初始条件。

对于 $[0,\delta)$ 内的任意 $x_0$，用同样的逻辑可证 $g(x)$ 在 $x_0$ 处连续。

备注：内容来源于stack exchange，提问作者Yue