Konvoluční věta - Convolution theorem

V matematiky , že konvoluce věta se uvádí, že za vhodných podmínek je Fourierova transformace z konvoluce dvou funkcí (nebo signály ) je bodová produkt jejich Fourierovy transformace. Obecněji řečeno, konvoluce v jedné doméně (např. Časové oblasti ) se rovná bodovému násobení v jiné doméně (např. Frekvenční doméně ). Jiné verze konvoluční věty jsou použitelné pro různé Fourierovy transformace .

Funkce spojité proměnné

Vezměme si dvě funkce a s Fourier převádí a :

kde označuje operátor Fourierovy transformace . Transformace může být normalizována jinými způsoby, v takovém případě se v níže uvedené konvoluční větě objeví konstantní faktory škálování (typicky nebo ). Konvoluce a je definována :

V tomto kontextu hvězdička označuje konvoluci namísto standardního násobení. Místo toho se někdy používá symbol produktu tenzoru .

Konvoluční teorém říká, že :

 

 

 

 

( Rovnice 1a )

Použitím inverzní Fourierovy transformace se vytvoří důsledek:

Konvoluční věta

 

 

 

 

( Rovnice 1b )

Věta také obecně platí pro vícerozměrné funkce.

Vícedimenzionální odvození rovnice 1

Zvažte funkce v prostoru L p s Fourierovými transformacemi :

kde označuje vnitřní produkt z :     a  

Konvoluce z a je definován :

Taky:

Proto podle Fubiniova věta jsme, že tak její Fourierova transformace je definována integrální vzorec :

Všimněte si toho, a proto výše uvedeným argumentem můžeme znovu použít Fubiniho větu (tj. Zaměnit pořadí integrace) :

Tato věta platí také pro Laplaceovu transformaci , oboustrannou Laplaceovu transformaci, a pokud je vhodně upravena, pro Mellinovu transformaci a Hartleyovu transformaci (viz Mellinova inverzní věta ). Lze ji rozšířit na Fourierovu transformaci abstraktní harmonické analýzy definované lokálně kompaktními abelianskými skupinami .

Periodická konvoluce (koeficienty Fourierovy řady)

Zvažte -periodické funkce a které lze vyjádřit jako periodické součty :

  a  

V praxi nenulová část složek a jsou často omezeny na trvání, ale nic ve větě to nevyžaduje. Koeficienty Fourierovy řady jsou :

kde označuje integrál Fourierovy řady .

  • Bodově produkt: je také -periodic a jeho koeficienty Fourierovy řady jsou dány diskrétní konvoluce z a sekvencí:
  • Konvoluce:
    je také -periodický a nazývá se periodická konvoluce . Odpovídající konvoluční věta je:

 

 

 

 

( Rovnice 2 )

Odvození ekv. 2

Funkce diskrétní proměnné (sekvence)

Odvozením podobným Eq.1 existuje analogická věta pro sekvence, jako jsou vzorky dvou spojitých funkcí, kde nyní označuje operátor diskrétní Fourierovy transformace (DTFT). Uvažujme dvě sekvence a s transformací a :

§ Diskrétní konvoluce z a je definován:

Konvoluční teorém pro diskrétní sekvence je :

 

 

 

 

( Rovnice 3 )

Periodická konvoluce

a jak je definováno výše, jsou periodické, s periodou 1. Zvažte -periodické sekvence a :

  a  

Tyto funkce se vyskytují jako výsledek vzorkování a v intervalech a provádění inverzní diskrétní Fourierovy transformace (DFT) na vzorcích (viz § Vzorkování DTFT ). Diskrétní konvoluce:

je také -periodický a nazývá se periodická konvoluce . Předefinováním operátoru jako DFT o délce je odpovídající věta :

 

 

 

 

( Rovnice 4a )

A proto:

 

 

 

 

( Rovnice 4b )

Za správných podmínek je možné, aby tato sekvence délky N obsahovala segment konvoluce bez zkreslení . Ale když nenulová část sekvence nebo je stejná nebo delší, je určité zkreslení nevyhnutelné. To je případ, kdy je sekvence získána přímým vzorkováním DTFT nekonečně dlouhé impulzní odezvy § Diskrétní Hilbertovy transformace .

Pro a sekvence, jejichž nenulová doba trvání je menší nebo rovna konečnému zjednodušení, jsou :

Kruhová konvoluce

 

 

 

 

( Rovnice 4c )

Tento formulář se často používá k efektivní implementaci numerické konvoluce pomocí počítače . (viz § Algoritmy rychlé konvoluce a § Příklad )

Odvození ekv. 4

Odvozování časové domény probíhá následovně:

Odvození frekvenční domény vyplývá z § Periodických dat , která naznačují, že DTFT lze zapsat jako :

Produkt s je tedy redukován na funkci diskrétní frekvence:

kde ekvivalence a vyplývá z § Vzorkování DTFT . Ekvivalence (5a) a (5b) proto vyžaduje:


Můžeme také ověřit inverzní DTFT (5b):

Konvoluční věta pro inverzní Fourierovu transformaci

Existuje také konvoluční věta pro inverzní Fourierovu transformaci:

aby

Konvoluční věta pro temperované distribuce

Konvoluční věta se rozšiřuje na temperované distribuce . Zde je libovolné temperované rozdělení (např. Hřeben Dirac )

ale musí „rychle klesat“ směrem k a za účelem zajištění existence produktu konvoluce i multiplikace. Ekvivalentně, je -li hladká „pomalu rostoucí“ běžná funkce, zaručuje existenci produktu násobení i konvoluce.

Zejména každá kompaktně podporovaná temperovaná distribuce, jako je Dirac Delta , „rychle klesá“. Ekvivalentně funkce omezené na pásmo , jako je funkce, která je neustále hladká, „pomalu rostoucí“ běžné funkce. Pokud, například, je Dirac hřeben obě rovnice získá Poisson sumačního vzorce a v případě, kromě toho, je Diracova delta pak se neustále jeden a tyto rovnice získá hřeben identitu Dirac .

Viz také

Poznámky

Reference

Další čtení

  • Katznelson, Yitzhak (1976), Úvod do harmonické analýzy , Dover, ISBN 0-486-63331-4
  • Li, Bing; Babu, G. Jogesh (2019), „Convolution Theorem and Asymptotic Efficiency“, A Graduate Course on Statistical Inference , New York: Springer, pp. 295–327, ISBN 978-1-4939-9759-6
  • Crutchfield, Steve (9. října 2010), „The Joy of Convolution“ , Johns Hopkins University , vyvoláno 19. listopadu 2010

Dodatečné zdroje

Vizuální znázornění použití konvoluční věty při zpracování signálu viz: