特征函数中期望的导数推导与条件变换疑问

嘿，我来帮你拆解这两个等式的推导逻辑，核心其实就是两个关键知识点：期望与导数的交换准则，以及条件期望的可测性性质。咱们一步步来理清楚：

第一个等式：导数与期望的交换 #

我们要证明的是：
$$\frac{\partial}{\partial \alpha} E\left[e^{i c(\alpha)^T X}\right] = E\left[ e^{i c(\alpha)^T X} \cdot i X^T \dot{c}(\alpha) \right]$$

推导分两步：

1. 复合函数链式求导：
   先对内部的指数函数关于$\alpha$求导，根据链式法则：
   $$\frac{\partial}{\partial \alpha} e^{i c(\alpha)^T X} = e^{i c(\alpha)^T X} \cdot \frac{\partial}{\partial \alpha} \left( i c(\alpha)^T X \right)$$
   而内积的导数满足$\frac{\partial}{\partial \alpha} c(\alpha)^T X = X^T \dot{c}(\alpha)$（因为$c(\alpha)^T X = \sum_{k=1}^p c_k(\alpha) X_k$，求导后就是$\sum_{k=1}^p \dot{c}_k(\alpha) X_k = X^T \dot{c}(\alpha)$），代入后得到：
   $$\frac{\partial}{\partial \alpha} e^{i c(\alpha)^T X} = e^{i c(\alpha)^T X} \cdot i X^T \dot{c}(\alpha)$$

2. 交换导数与期望的顺序：
   这里需要用到控制收敛定理来保证交换的合法性：

   • 已知$X$是可积的，即$E[||X||] < \infty$；
   • 曲线$c(\alpha)$是可微的，且映射到球面$\mathcal{S}$，因此$\dot{c}(\alpha)$的范数$||\dot{c}(\alpha)||$在$(0,2\pi)$上有界（球面的切线向量范数不会无界）；
   • 我们可以找到控制函数：$\left| e^{i c(\alpha)^T X} \cdot i X^T \dot{c}(\alpha) \right| \leq ||X|| \cdot ||\dot{c}(\alpha)|| \leq M ||X||$，其中$M$是$||\dot{c}(\alpha)||$的上界，而$M ||X||$是可积的。
     满足控制收敛定理的条件，因此可以把导数运算符移入期望内部，得到第一个等式。

第二个等式：条件期望的可测性应用 #

接下来证明：
$$E\left[ e^{i c(\alpha)^T X} \cdot i X^T \dot{c}(\alpha) \right] = E\left{ e^{i c(\alpha)^T X} \cdot i , E\left[ X^T \dot{c}(\alpha) \mid c(\alpha)^T X \right] \right}$$

这里用到条件期望的乘法性质：如果随机变量$Y$是$\sigma$-代数$\mathcal{G}$可测的，那么对于任意随机变量$Z$，有$E[Y Z] = E\left[ Y \cdot E[Z \mid \mathcal{G}] \right]$。

具体对应到这里：

• 令$Y = e^{i c(\alpha)^T X}$，$\mathcal{G} = \sigma(c(\alpha)^T X)$（由$c(\alpha)^T X$生成的$\sigma$-代数）；
• $Y$是$c(\alpha)^T X$的函数，因此$Y$是$\mathcal{G}$可测的；
• 令$Z = i X^T \dot{c}(\alpha)$，代入上述性质，直接得到：
  $$E[Y Z] = E\left[ Y \cdot E[Z \mid \mathcal{G}] \right]$$
  也就是第二个等式。

结合题目条件的收尾 #

另外补充一句，题目里给出的条件“对所有$u \perp v$，有$E(u^T X \mid v^T X)=0$”在这里刚好能用上：因为$c(\alpha)$在球面上，对$||c(\alpha)||^2 = r^{2$两边求导可得$c(\alpha)}T \dot{c}(\alpha)=0$，即$\dot{c}(\alpha) \perp c(\alpha)$。令$u=\dot{c}(\alpha)$，$v=c(\alpha)$，则$E\left[ X^T \dot{c}(\alpha) \mid c(\alpha)^T X \right] = E\left[ u^T X \mid v^T X \right] = 0$，因此整个导数为0，说明$\phi_X$在球面$\mathcal{S}$上是常数，完成$1 \Rightarrow 2$的推导。

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