复共轭积分变换中h(·)需为实值的原因问询
嘿,这个问题问到点子上了——咱们从复共轭的基本性质和积分的线性性入手,一步步把逻辑理清楚:
首先,先明确两个核心规则:
- 积分是线性运算,所以积分的复共轭等于复共轭的积分,这个规则对任何被积函数都成立,和h(·)是什么无关:
$$\overline{\int g(t) dt} = \int \overline{g(t)} dt$$ - 复共轭的乘积法则:两个复数乘积的复共轭等于它们各自复共轭的乘积,也就是
$$\overline{a \cdot b} = \overline{a} \cdot \overline{b}$$
假设顶部的原方程是类似这样的积分形式:
$F = \int f(t) \cdot h(t) dt$
(这里$f(t)$是带复值的信号,比如输入的复信号,$h(t)$是我们关心的函数)
那它的复共轭应该是:$$\overline{F} = \overline{\int f(t) \cdot h(t) dt} = \int \overline{f(t) \cdot h(t)} dt = \int \overline{f(t)} \cdot \overline{h(t)} dt$$
现在看题目里“将复共轭移入积分”后得到的蓝框方程——它的形式应该是把原积分里的$f(t)$换成$\overline{f(t)}$,但保持$h(t)$不变,也就是:
$\int \overline{f(t)} \cdot h(t) dt$
要让这个蓝框方程等于原方程的复共轭$\overline{F}$,就必须让被积函数的对应部分相等:$$\overline{h(t)} = h(t)$$
而满足$\overline{h(t)} = h(t)$的复数,虚部一定为0——这就是实值函数的定义:对任意t,h(t)的复共轭等于它本身,说明h(t)没有虚部,完全是实数。
举个反例就更清楚了:如果h(t)是复值的,比如$h(t) = j$(纯虚数),那原方程的复共轭是$\int \overline{f(t)} \cdot (-j) dt$,但蓝框方程是$\int \overline{f(t)} \cdot j dt$,这两个结果差了一个负号,明显不相等,自然没法说蓝框方程是原方程的复共轭。
内容的提问来源于stack exchange,提问作者fpsshubham




