En matemàtica, el teorema de convolució estableix que en determinades circumstàncies, la Transformada de Fourier d'una convolució és el producte punt a punt de les transformades de Fourier.[1] En altres paraules, la convolució en un domini (per exemple el domini temporal) és equivalent al producte punt a punt en l'altre domini (és a dir domini espectral).[2]
Siguin f i g dues funcions la convolució s'expressa amb
.
(Nota: l'asterisc en aquest context, indica convolució i no multiplicació, de vegades s'utilitza també el símbol
).
Sigui
l'operador de la transformada de Fourier, de manera que
i
són les transformades de Fourier de f i g , respectivament.
Llavors
![{\displaystyle {\mathcal {F}}[f*g]={\sqrt {2\pi }}({\mathcal {F}}[f])\cdot ({\mathcal {F}}[g])}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OnAeOzqiQoAsPoNzCagwPyto3yqs0nDGNatoOzNiOzqw5aAw5otG0)
on "·" indica producte punt. També es pot afirmar que:
![{\displaystyle {\mathcal {F}}[f*g]={\sqrt {2\pi }}({\mathcal {F}}[f])\cdot ({\mathcal {F}}[g])}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OnAeOzqiQoAsPoNzCagwPyto3yqs0nDGNatoOzNiOzqw5aAw5otG0)
Aplicant la transformada inversa de Fourier
, podem escriure:
![{\displaystyle f*g={\sqrt {2\pi }}{\mathcal {F}}^{-1}[{\mathcal {F}}[f]\cdot {\mathcal {F}}[g]]}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FoAnFygaQatBAnjeOyqo1oNoNnqzDyqoQzNJEaNi4ntKOnAs0oDGO)
La demostració funciona per normalitzacions unitàries i no unitàries de la transformada de Fourier, però en la versió unitària té factors extres de
que aquí, són inconvenients. Siguin
Siguin
la transformada de Fourier de
i
la transformada de Fourier de
:
![{\displaystyle F(\omega )=\int _{\mathbb {R} ^{n}}f(x)e^{-2\pi ix\cdot \omega }\,dx}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO82zqo3yqs3a2w5atzEaAeQyjwPzqwQygo1aNC1zqo2nDnFa2vEotdD)
.
Sigui
la convolució de
i
![{\displaystyle h(z)=\int \limits _{\mathbb {R} ^{n}}f(x)g(z-x)\,\mathrm {d} x.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OaNs4agdCo2zAzNdFzDK4nDw5oto2yge2ajw3oqs1yjw3zDmOzNdC)
Nota:
![{\displaystyle \int \int |f(z)g(xz)|\,dx\,dz=\int |f(z)|\int |g(zx)|\,dx\,dz=\int |f(z)|\,\|g\|_{1}\,dz=\|f\|_{1}\|g\|_{1}.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO81nga3aDvEytdAo2vFaAnFotnCnteNoNdDoNi5zgvCytGPatFFytmP)
Pel teorema de Fubini tenim que
, així que la seva transformada de Fourier està definida.
Sigui
la transformada de Fourier de
:
![{\displaystyle H(\omega )=\int _{\mathbb {R} ^{n}}h(z)e^{-2\pi iz\cdot \omega }\,dz=\int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}f(x)g(z-x)\,dx\,e^{-2\pi iz\cdot \omega }\,dz.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8Qo2w2aDm3nge0aDa2otJDaDnFaqoQaNKPaNm0z2e4nteNa2aNzNaO)
Tenint en compte que
i gràcies a l'argument d'abans podem aplicar novament el teorema de Fubini:
![{\displaystyle H(\omega )=\int _{\mathbb {R} ^{n}}f(x)\left(\int _{\mathbb {R} ^{n}}g(z-x)e^{-2\pi iz\cdot \omega }\,dz\right)\,dx.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO80nAwNoAvEyte4yqo2aDBAntK4yqzAntdEoAw2zjm3yjwNygrAatnD)
Substituint
; tenim
, i per tant:
![{\displaystyle H(\omega )=\int _{\mathbb {R} ^{n}}f(x)\left(\int _{\mathbb {R} ^{n}}g(y)e^{-2\pi i(y+x)\cdot \omega }\,dy\right)\,dx}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8OzqvAzgdDzqdEoNe2oAe1ngnDajKPntmPz2dBaji0nArByqsQyqoQ)
![{\displaystyle =\int _{\mathbb {R} ^{n}}f(x)e^{-2\pi ix\cdot \omega }\left(\int _{\mathbb {R} ^{n}}g(y)e^{-2\pi iy\cdot \omega }\,dy\right)\,dx}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FotrCytvDzNdEagi0ntK3yjhFnqw2aDrBnDi1aNoPoNCQzqe0yqa5)
![{\displaystyle =\int _{\mathbb {R} ^{n}}f(x)e^{-2\pi ix\cdot \omega }\,dx\int _{\mathbb {R} ^{n}}g(y)e^{-2\pi iy\cdot \omega }\,dy.}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO8PajdFztiNnthFoqdCoAw4zjnDnjmQnAvFnDC4oNs5ata2nge3ygvC)
Aquestes dues integrals són les definicions de
i
, així que:
![{\displaystyle H(\omega )=F(\omega )\cdot G(\omega ).}](https://amansaja.com/index.php?q=Mfv0Kfa6bO93MqTXLqrCMqiSL3dZb2hQMu9Onpz0p3oPb21BngBFb21FJgGRKArSngrOb3z2nO9FygnEnjG4ntJCzNJFzNKPytG4yjG0ygzDoAzAoAo3oAa3ajnCnji3)
Que és el que volíem demostrar.
- ↑ O'Shea, Donald C.; Suleski, Thomas J.; Kathman, Alan D.; Prather, Dennis W. Diffractive Optics: Design, Fabrication, and Test (en anglès). SPIE Press, 2004. ISBN 9780819451712 [Consulta: 26 desembre 2021]. «The convolution theorem states that the Fourier transform of the convolution of two functions is equal to the product of the Fourier transform of the individual functions.»
- ↑ Norton, Robert L. Cam Design and Manufacturing Handbook (en anglès). Industrial Press Inc., 2009. ISBN 9780831133672 [Consulta: 26 desembre 2021]. «The significance of this relationship is that a complicated mathematical operation (convolution) in the time domain can be accomplished by first Fourier transforming the functions to the frequency domain and then performing a simple operation: multiplication.»
Bibliografia addicional[modifica]
- Katznelson, Yitzhak (1976), An introduction to Harmonic Analysis, 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, pàg. 295–327, ISBN 978-1-4939-9759-6
- Crutchfield, Steve (October 9, 2010), The Joy of Convolution, <http://www.jhu.edu/signals/convolve/index.html>. Consulta: November 19, 2010