۱) قضیه ی وینر - خین

اگر تعریف تابع خودهمبستگی (autocorrelation) C(t) تابعی نظیر  E(t) را به خاطر بیاوریم،

 C(t)=int_(-infty)^inftyE^_(tau)E(t+tau)dtau.                      

همچنین می دانیم که تبدیل فوریه ی E(t) به صورت زیر است

 E(tau)=int_(-infty)^inftyE_nue^(-2piinutau)dnu,                     

که همیوغ مختلط آن نیز به صورت زیر نوشته می شود:

 E^_(tau)=int_(-infty)^inftyE^__nue^(2piinutau)dnu.                     

با وارد کردن  E^_(tau) و E(t+tau) به تابع خودهمبستگی آنگاه داریم

int_(-infty)^infty[int_(-infty)^inftyE^__nue^(2piinutau)dnu][int_(-infty)^inftyE_(nu^')e^(-2piinu^'(t+tau))dnu^']dtau  =  C(t)    
           

int_(-infty)^inftyint_(-infty)^inftyint_(-infty)^inftyE^__nuE_(nu^')e^(-2piitau(nu^'-nu))e^(-2piinu^'t)dtaudnudnu^'   =           
                            

int_(-infty)^inftyint_(-infty)^inftyE^__nuE_(nu^')delta(nu^'-nu)e^(-2piinu^'t)dnudnu^'   =           
                         

int_(-infty)^inftyE^__nuE_nue^(-2piinut)dnu   =           
                        

int_(-infty)^infty|E_nu|^2e^(-2piinut)dnu   =           
                          

F_nu[|E_nu|^2](t),   =           
                          

که delta تابع دلتای دیراک (Delta Function) است. تعجب آور است که خودهمبستگی به سادگی توسط تبدیل فوریه ی مربع قدرمطلق E_nu به دست آمد.

قضیه ی وینر - خین چن حالت خاصی از قضیه ی کلی تر همبستگی متقابل (cross-correlation theorem) زمانی که f=g .