((40) ((OverHat[I])^(x±))(t)≡(Sqrt[2])Re{(e^(∓j (Subscript[ϕ, p])))(Underscript[b, ∼])(t)(e^(j((Subscript[ω, sc])∓(Subscript[ω, p]))t))}=(Sqrt[2])Re{(e^(∓j (Subscript[ϕ, p])))(Underscript[b, ∼])(t)(e^(j (Subscript[ω, IF]^±)t))}=(1/(Sqrt[2]))(Underscript[b, ∼])(t)(e^(∓j (Subscript[ϕ, p])))(e^(j (Subscript[ω, IF]^±)t))+(1/(Sqrt[2]))(e^(±j (Subscript[ϕ, p])))(SuperStar[(Underscript[b, ∼])])(t)(e^(-j (Subscript[ω, IF]^±)t))=(Underscript[b, ∼])'(t)(e^(j (Subscript[ω, IF]^±)t))+(1/(Sqrt[2]))((Underscript[b, ∼])^(′* ))(t)(e^(-j (Subscript[ω, IF]^±)t)),(40))