DCT 是可微分的吗?即定义了吗?dDCT(x)dxdDCT(x)dx
我在自动微分软件包中看到了一些实现,所以我想答案是肯定的,但我仍然缺少数学证明。
的离散余弦变换可以定义为:xx
DCT(x)=Xk=12(x0+(−1)kxN−1)+∑n=1N−2xncos[πN−1nk]k=0,…,N−1.DCT(x)=Xk=12(x0+(−1)kxN−1)+∑n=1N−2xncos[πN−1nk]k=0,…,N−1.
如果,通过微分,你的意思是: 那么它不只是 其中 ?∂DCT(x)∂x∂DCT(x)∂x∂DCT(x)∂x=∂Xk∂x=[12⋯cos[πN−1nk]⋯(−1)k12]∂DCT(x)∂x=∂Xk∂x=[12⋯cos[πN−1nk]⋯(−1)k12]x=[x0,x1,…,xN−2,xN−1]Tx=[x0,x1,…,xN−2,xN−1]T
“数学证明”是什么意思?