几何分布的特征函数是描述该离散概率分布的重要解析工具，其表达式为 φ(t) = p e^{it} / [1 - (1-p)e^{it}]，其中 p 为单次成功概率，t 为实数。这一函数本质上是几何分布概率质量函数的傅里叶变换，可唯一确定分布的全部矩性质。 通过特征函数，可以便捷地推导几何分布的均值、方差、高阶矩以及独立同分布几何随机变量之和的分布。推导过程基于几何分布的概率生成函数：设随机变量 X 服从参数为 p 的几何分布（首次成功所需的试验次数），则 P(X=k) = (1-p)^{k-1}p，k=1,2,...。其概率生成函数 G(s) = E[s^X] = p s / [1 - (1-p)s]。令 s = e^{it}，即得特征函数 φ(t) = G(e^{it})。该函数在 t=0 处连续，且满足 φ(0)=1。值得注意的是，几何分布的特征函数在复数域上解析，但实际应用中常取其模长和相位分析收敛性。在统计推断中，特征函数可用于构造累积量生成函数，并辅助进行参数估计和假设检验。此外，几何分布的特征函数与其他离散分布（如二项分布、泊松分布）的特征函数存在关联，在排队论、可靠性工程等领域有广泛引用。

【常见问题】

问题1：几何分布的特征函数与概率生成函数有什么区别？

回答1：几何分布的特征函数 φ(t)=E[e^{itX}] 是概率生成函数 G(s)=E[s^X] 在 s=e^{it} 时的特殊取值。特征函数将实数 t 映射到复数域，便于利用傅里叶分析；而概率生成函数通常用于求解矩和分布卷积。两者本质等价，但特征函数在计算矩的阶数时需通过微分，且对所有 t 有界，更加稳定。

问题2：如何利用几何分布的特征函数计算其均值？

回答2：几何分布的特征函数的 k 阶矩可通过求导得到：均值 μ = -i φ'(0)。对 φ(t)=p e^{it} / [1 - (1-p)e^{it}] 求导后代入 t=0，可得 φ'(0)=i/p，故均值 μ=1/p。该结果与直接利用期望定义一致。

问题3：几何分布的特征函数在什么条件下退化为其他分布的特征函数？

回答3：当参数 p→1 时，几何分布退化为单点分布（在 k=1 处概率为1），其特征函数 φ(t)=e^{it}。此外，若将几何分布视为独立伯努利试验首次成功次数，多个独立同分布几何随机变量之和服从负二项分布，其和的特征函数为 [p e^{it} / (1 - (1-p)e^{it})]^r，其中 r 为成功次数。

问题4：几何分布的特征函数是否唯一确定其分布？

回答4：是的。特征函数与分布函数是一一对应的（根据傅里叶变换的唯一性定理）。因此几何分布的特征函数 φ(t) 完全确定了该离散分布的概率质量函数，且可用来证明几何分布具有无记忆性等性质。