Fourier coefficients of convolution

  • Context: Undergrad 
  • Thread starter Thread starter psie
  • Start date Start date
  • Tags Tags
    Fourier analysis
Click For Summary
SUMMARY

The Fourier coefficients of the convolution of two functions, denoted as \( h(x) = (f * g)(x) \), are derived using the integral representation involving the exponential function. The discussion highlights the process of changing the order of integration and performing a substitution \( t = x - y \) while maintaining the periodicity of the functions involved. The final result confirms that the Fourier coefficients can be expressed as a product of integrals over the interval \([-π, π]\), leading to a definitive formula for the coefficients of the convolution.

PREREQUISITES
  • Understanding of Fourier series and coefficients
  • Knowledge of convolution operations in functional analysis
  • Familiarity with integration techniques and changing the order of integration
  • Concept of periodic functions and their properties
NEXT STEPS
  • Study the properties of convolution in Fourier analysis
  • Learn about the implications of periodicity in Fourier transforms
  • Explore advanced integration techniques, particularly Fubini's theorem
  • Investigate applications of Fourier coefficients in signal processing
USEFUL FOR

Mathematicians, physicists, and engineers working with Fourier analysis, particularly those focusing on convolution and its applications in various fields such as signal processing and systems analysis.

psie
Messages
315
Reaction score
40
TL;DR
I'm trying to verify to myself that the Fourier coefficients of a convolution are the products of the coefficients of the convoluted functions, but I get stuck.
Let ##h(x)=(f*g)(x)=\frac1{2\pi}\int_{-\pi}^\pi f(x-y)g(y)dy## be the convolution. Then its Fourier coefficients are given by $$ {1\over2\pi}\int_{-\pi}^\pi (f*g)(x)e^{-inx}dx={1\over4\pi^2}\int_{-\pi}^\pi\left(\int_{-\pi}^\pi f(x-y)g(y)dy\right)e^{-inx}\ dx\ . $$
Changing the order of integration, we get $${1\over4\pi^2}\int_{-\pi}^\pi g(y) \left(\int_{-\pi}^\pi f(x-y)e^{-inx} dx\right)\,dy\ .$$ Now here I'd like to do the substitution ##t=x-y## in the inner integral, but this makes the limits of integration depend on ##y##, which I do not want. How can I go about this issue?

EDIT: I know that ##h(t)## is periodic with period ##2\pi##. I don't know if this can be helpful in any way.
 
Physics news on Phys.org
I guess, after the substitution ##t=x-y##, we get $${1\over4\pi^2}\int_{-\pi}^\pi g(y)e^{-iny} \left(\int_{-\pi-y}^{\pi-y} f(t)e^{-int} dt\right)dy .$$ So here the interval ##[-\pi-y,\pi-y]## is still an interval over a whole period, so we can safely replace it ##[-\pi,\pi]## since ##y## is kept constant in the inner integral anyway. Therefor we get $${1\over4\pi^2}\int_{-\pi}^\pi g(y) e^{-iny}\left(\int_{-\pi}^\pi f(t) e^{-int} dt\right)\,dy\ ,$$ which proves the result.
 
  • Like
Likes   Reactions: fresh_42 and FactChecker

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K