求均值为1的指数分布无穷可分典范表示（复积分步骤受阻）

嘿，我来帮你突破卡在对数主分支/形式化运算的这一步！咱们一步步来，把逻辑理清楚：

第一步：先明确已知条件 #

均值为1的指数分布，概率密度是$f(x)=e^{-x}$（仅当$x>0$时非零），它的特征函数咱们先写出来：
$$\phi(t) = \int_{0}^\infty e^{itx}e{-x}dx = \frac{1}{1 - it}$$
我们的目标是把它转换成题目给的典范形式：
$$\phi(t)=\exp\left(\int_{\mathbb{R}}(e^{{itx}-1-itx)\frac{1}{x}{2}}\mu(dx)\right)$$
其中$\mu$是有限测度。

第二步：对特征函数取对数主分支 #

因为典范形式是指数形式，所以我们先对$\phi(t)$取对数（用对数主分支）：
$$\log\phi(t) = -\log(1 - it)$$

这里的关键是对$\log(1 - it)$做形式化展开——咱们用泰勒级数的思路，对于复数$z$，当$|z|<1$时，有$\log(1-z) = -\sum_{n=1}^\infty \frac{z^n}{n}$。虽然当$t$是实数时，$z=it$的模$|z|=|t|$可能大于1，但我们可以利用解析延拓（特征函数的对数在实轴附近是解析的），直接把展开式延拓到整个实轴：
$$-\log(1 - it) = \sum_{n=1}^\infty \frac{(it)^n}{n}$$
展开前两项就是：$it + \frac{(it)^2}{2} + \frac{(it)^3}{3} + \dots$

第三步：把积分形式也展开成级数 #

现在看题目里的积分项，先把$e^{itx}$展开成泰勒级数：
$$e^{itx} = 1 + itx + \sum_{n=2}^\infty \frac{(itx)^n}{n!}$$
代入被积表达式：
$$\frac{e^{{itx}-1-itx}{x}2} = \frac{\sum_{n=2}^\infty \frac{(itx)^n}{n!}}{x2} = \sum_{n=2}^\infty \frac{(it)^n x^{n-2}}{n!}$$

接下来做形式化运算——把积分和级数交换顺序（后续可以验证收敛性，这里先专注推导）：
$$\int_{\mathbb{R}} \frac{e^{{itx}-1-itx}{x}2}\mu(dx) = \sum_{n=2}^\infty \frac{(it)^n}{n!} \int_{\mathbb{R}} x^{n-2}\mu(dx)$$

第四步：匹配级数系数，找到测度$\mu$ #

现在我们把$\log\phi(t)$的级数和积分展开的级数对比：

• $\log\phi(t)$的级数从$n=1$开始，第一项是$it$，后面是$\sum_{n=2}^\infty \frac{(it)^n}{n}$
• 积分展开的级数从$n=2$开始，每一项是$\frac{(it)^n}{n!} \int_{\mathbb{R}}x^{n-2}\mu(dx)$

要让两者对应（如果题目里的典范形式包含线性项的话，或者我们可以先处理中心化后的分布），先看$n\geq2$的项：
$$\frac{(it)^n}{n} = \frac{(it)^n}{n!} \int_{\mathbb{R}}x^{n-2}\mu(dx)$$
约掉公共项后得到：
$$\int_{\mathbb{R}}x^{n-2}\mu(dx) = \frac{n!}{n} = (n-1)!$$

这时候我们可以想到，伽马函数$\Gamma(k)=(k-1)!$，而$\int_{0}^\infty x^{k-1}e{-x}dx=\Gamma(k)$。如果我们让$\mu$只在正半轴非零，且$\mu(dx)=xe^{-x}dx$，那么：
$$\int_{0}^\infty x^{n-2}\cdot xe^{-x}dx = \int_{0}^\infty x^{n-1}e{-x}dx = \Gamma(n)=(n-1)!$$
完美匹配系数！

补充：关于线性项的说明 #

你可能会发现，$\log\phi(t)$里有$it$项，但积分展开里没有——这是因为题目里的典范形式可能是针对均值为0的无穷可分分布。如果我们把原指数分布中心化（减去均值1），得到新的随机变量$X-1$，它的特征函数是$\phi(t)e^{{-it}=\frac{e}{-it}}{1-it}$，它的对数就是：
$$\log(\phi(t)e^{-it}) = -it - \log(1-it) = -\sum_{n=2}^\infty \frac{(it)^n}{n}$$
这正好等于$-\int_{0}^\infty \frac{e^{{itx}-1-itx}{x}2}\cdot xe^{-x}dx$，完全符合题目给的典范形式。

总结卡住的突破点 #

你之前卡的地方，核心就是用对数主分支的泰勒展开做形式化运算，把特征函数的对数拆成级数，再和积分的级数展开匹配，通过系数对应找到测度$\mu$的形式。不用太纠结复积分的细节，先通过形式化展开建立联系，再验证收敛性和正确性就好。

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