Whittaker-Shannonin interpolaatiokaavaa käytetään rajallisen spektrin jatkuvan signaalin rekonstruoimiseen tasaisin välein olevien näytteiden sekvenssistä.
Interpolointikaava, kuten sitä yleensä kutsutaan, juontaa juurensa Émile Borelin työhön , joka on päivätty 1898, ja Edmund Whittakerin työhön , joka on päivätty 1915. Interpolointikaava lainattiin Edmund Whittakerin pojan John McNaten Whittakerin teoksesta vuodelta 1935 Nyquist-Shannonin näytteenottolauseen muodossa vuonna 1949, pääkirjoituksen kirjoittaja oli Claude Shannon , ennen Shannonia tämän lauseen muotoili Kotelnikov . Interpolaatiokaavaa kutsutaan myös yleensä Shannonin interpolointikaavaksi tai Whittakerin interpolointikaavaksi .
Näytteenottolauseessa sanotaan, että tietyissä rajoittavissa olosuhteissa funktio voidaan rekonstruoida sen diskretisoinnista Whittaker-Shannonin interpolointikaavan mukaan :
missä on näytteenottojakso, on näytteenottotaajuus, on normalisoitu sinc-funktio .
On olemassa kaksi reunaehtoa, jotka funktion on täytettävä , jotta interpolointikaava pätee:
missä on näytteenottoaika.
Interpolointikaava luo alkuperäisen signaalin uudelleen vain, kun nämä kaksi ehtoa täyttyvät. Muuten korkeataajuiset komponentit ovat päällekkäin matalataajuisten komponenttien päälle - aliasing .
Kotelnikovin lauseesta johdettu interpolaatiokaava osoittaa, että se voidaan ilmaista myös Diracin "kamman" konvoluutiona sinc - funktiolla :
Tämä vastaa Diracin "kampa"-suodatusta ihanteellisen alipäästösuodattimen kanssa .
Interpolointikaava konvergoi aina tietysti ja paikallisesti tasaisesti seuraavilla ehdoilla:
Hölderin epäyhtälön katsotaan täyttyvän, jos jono kuuluu johonkin -avaruuksiin , missä , mikä vastaa ehtoa:
Tämä ehto on riittävä, mutta ei välttämätön.
If on diskreetin funktion lukemien ääretön sarja stationaarisen prosessin laajassa merkityksessä , eikä se ole minkään tai -avaruuden jäsen, todennäköisyydellä 1; silloin näiden lukemien summa, korotettuna potenssiin , ei ota lopullista odotettua arvoa. Vaikka interpolointikaava konvergoi todennäköisyydellä 1. Konvergenssi voidaan helposti osoittaa laskemalla ero rajoitetuissa summausolosuhteissa, ja se osoittaa, että ero voidaan tehdä mielivaltaisen pieneksi valitsemalla riittävä määrä ehtoja. Jos tämä prosessi on muu kuin nolla, ehtopareja on tarkasteltava siten, että ne osoittavat, että odotusarvo rajatuista lausekkeista konvergoi nollaan.
Koska satunnaisprosessissa ei ole Fourier-muunnosta , ehdon, jossa summa konvergoi alkuperäiseen funktioon, on myös oltava erilainen. Muuttumattomalla satunnaisprosessilla on autokorrelaatiofunktio ja siten monokromaattinen tiheys Wiener–Khinchin-lauseen mukaisesti . Riittävä ehto konvergensille tämän prosessin diskreettiin funktioon on, että spektritiheys on nolla kaikilla taajuuksilla, jotka ovat suurempia tai yhtä suuria kuin puolet näytteenotosta.