独立同分布对数凹分布之差的概率密度是否仍具对数凹性？

算力阿峰

2026-5-19

两个独立同分布对数凹分布的差是否仍为对数凹分布？

答案是不一定——存在独立同分布的对数凹随机变量，它们的差的概率密度函数（pdf）并不具有对数凹性。

一个分布是对数凹的，当且仅当它的pdf ( f(x) ) 满足 ( \log f(x) ) 是凹函数：要么二阶导数非正，要么对任意 ( t \in [0,1] ) 和 ( x_1,x_2 )，有 ( \log f(tx_1+(1-t)x_2) \geq t\log f(x_1)+(1-t)\log f(x_2) )。
对于独立随机变量 ( X,Y )，( Z=X-Y ) 的pdf是 ( f ) 与自身反射版的卷积：
```
f_Z(z) = \int_{-\infty}^\infty f(x)f(x-z)dx
```

考虑独立同分布的随机变量 ( X,Y )，其pdf为：

f(x) = (1+x)e^{-x},  x ≥ 0
f(x) = 0,  x < 0

首先验证该分布是对数凹的：
计算对数似然 ( \log f(x) = \log(1+x) - x )（仅考虑 ( x≥0 )），其二阶导数为：

\frac{d^2}{dx^2} \log f(x) = -\frac{1}{(1+x)^2} - 1 < 0

完全满足对数凹的定义。

现在分析 ( Z=X-Y ) 的pdf：

当 ( z ≥ 0 ) 时，通过变量替换和积分计算可得：
```
f_Z(z) = \frac{(5+3z)e^{-z}}{4}
```
此时 ( \log f_Z(z) = \log(5+3z) - z + \log(1/4) )，二阶导数为 ( -\frac{9}{(5+3z)^2} -1 < 0 )，仍保持凹性。
当 ( z < 0 ) 时，令 ( w=-z>0 )，由对称性推导得：
```
f_Z(z) = \frac{(5-3z)e^{z}}{4}
```
此时计算 ( \log f_Z(z) ) 的二阶导数：
```
\frac{d^2}{dz^2} \log f_Z(z) = -\frac{9}{(5-3z)^2} + 1
```
当 ( z ) 足够小时（比如 ( z \to -\infty )），( 5-3z ) 趋近于正无穷，( -\frac{9}{(5-3z)^2} ) 趋近于0，二阶导数趋近于 ( 1>0 )。这说明在 ( z ) 足够小的区间内，( \log f_Z(z) ) 是凸函数，直接违反了对数凹的要求。