Věta, že za vhodných podmínek je Fourierova transformace konvoluce dvou signálů bodovým součinem jejich Fourierových transformací
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 )
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: