函数与其希尔伯特变换乘积的积分性质证明

本文旨在证明一个函数与其希尔伯特变换的乘积在全域上的积分恒为零。

1. 希尔伯特变换定义

对于一个实数函数𝑓(𝑡)，其希尔伯特变换定义如下：

ℋ{𝑓(𝑡)} = P.V. (1/π) ∫(-∞,+∞) [𝑓(𝑡')/(𝑡-𝑡')] d𝑡'

其中，P.V.表示柯西主值，用于处理积分中出现的奇点。

2. 证明过程

我们需要证明以下等式成立：

∫(-∞,+∞) 𝑓(𝑡) ℋ{𝑓(𝑡)} d𝑡 = 0

将希尔伯特变换的定义代入上式，得到：

∫(-∞,+∞) 𝑓(𝑡) [P.V. (1/π) ∫(-∞,+∞) [𝑓(𝑡')/(𝑡-𝑡')] d𝑡'] d𝑡

交换积分顺序：

∫(-∞,+∞) [∫(-∞,+∞) 𝑓(𝑡) [𝑓(𝑡')/(𝑡-𝑡')] d𝑡'] d𝑡

根据柯西主值的定义，上式内积分可表示为：

∫(-∞,+∞) [P.V. 𝑓(𝑡')/(𝑡-𝑡')] 𝑓(𝑡) d𝑡'

注意到当𝑡=𝑡'时，分母为0。根据柯西主值定理，我们需要排除该点。

此外，被积函数中，𝑓(𝑡') 为关于𝑡'的奇函数，而 𝑓(𝑡) 为关于𝑡'的偶函数。

3. 结论

由于奇函数与偶函数在全域上的积分为0，因此根据柯西主值定理，上述积分结果为0。

综上所述，我们证明了任意函数与其希尔伯特变换的乘积在全域上的积分恒为零。这一性质在信号处理、调制理论等领域具有重要应用。