关于$\mathbb{R}$上有限符号Borel测度在实解析函数积分全为零时是否为零测度的技术问询

问题描述 #

假设$\mu$是$\mathbb{R}$上的有限符号Borel测度，满足对所有实解析函数$f$，都有
$$\int d\mu(x) f(x) = 0$$
那么是否必有$\mu = 0$？

我很抱歉这可能是个 trivial 的问题，但我搜索后没找到答案。
背景：这个问题出现在我尝试证明以下结论时：设$h$是任意实解析函数，$X$是自伴算子，$A$是算子集合。假设我们可以利用$h$的解析性（即展开$h(X)$的泰勒级数）证明关系式$\mathfrak{J}[h,X;A] = 0$。那么这个关系式是否自动...

解答 #

嘿，这个问题真的一点都不trivial——能从实解析函数的积分性质反推测度的特性，本身就是个很有价值的思路。直接给结论：是的，$\mu$必须是零测度，下面给你两种直观的推导方向：

思路一：傅里叶变换的唯一性

对于有限符号测度$\mu$，我们可以定义它的傅里叶变换：
$$\hat{\mu}(t) = \int e^{itx} d\mu(x)$$
注意到$e^{{itx}$作为$x$的函数是实解析的——它的泰勒级数$\sum_{n=0}}\infty \frac{(itx)^n}{n!}$对所有$x \in \mathbb{R}$都绝对收敛，完全符合实解析函数的定义。根据题设条件，$\hat{\mu}(t) = 0$对所有$t \in \mathbb{R}$都成立。

而有限符号测度有个核心性质：傅里叶变换是唯一的。也就是说，如果两个有限符号测度的傅里叶变换处处相等，那么这两个测度就是同一个。既然$\hat{\mu}(t)$恒为零，那$\mu$只能是零测度（因为零测度的傅里叶变换就是零）。

思路二：利用稠密性逼近

另一个角度，形如$e^{itx}$的指数函数的线性组合，在$C_0(\mathbb{R})$（无穷远处趋于零的连续函数空间）中是稠密的（这是Stone-Weierstrass定理的经典应用，也是傅里叶分析中的基础结论）。

根据题设，$\mu$在所有实解析函数上的积分都是零，而这些指数函数都是实解析的，所以$\mu$在所有指数函数的线性组合上的积分也都是零。由于这些线性组合在$C_0(\mathbb{R})$中稠密，而有限符号测度定义的积分泛函是$C_0(\mathbb{R})$上的连续线性泛函，所以这个泛函在整个$C_0(\mathbb{R})$上都是零。根据Riesz表示定理，这个连续线性泛函唯一对应$\mu$，因此$\mu$只能是零测度。

延伸到你的背景问题 #

从你提到的算子理论背景来看，这个结论刚好能成为你后续证明的支撑：自伴算子$X$的谱测度就是$\mathbb{R}$上的Borel测度，而$h(X)$是通过谱积分$\int h(x) dE_X(x)$定义的。如果你的关系式$\mathfrak{J}[h,X;A] = 0$是通过泰勒展开推导的，本质上就是利用了实解析函数的积分性质，刚才的测度结论能保证：只要对所有实解析函数$h$这个关系式成立，对应的谱测度相关结论也会自动成立。

备注：内容来源于stack exchange，提问作者Rodrigo Andrade E Silva