Struggling with Fourier Transform Eigenvalues?

  • Context: MHB 
  • Thread starter Thread starter Stephen88
  • Start date Start date
  • Tags Tags
    Fourier
Click For Summary
SUMMARY

The discussion centers on solving a problem related to Fourier Transform eigenvalues, specifically demonstrating properties of the Fourier Transform \( F \). Part (a) requires showing that \( F^2(f)(x) = 2\pi f(-x) \) and deducing \( F^4(f) = 4\pi f \). Part (b) concludes that eigenfunctions corresponding to two eigenvalues must be even, while those for the other two must be odd, leading to the conclusion that eigenvalues \( \lambda \) can only take on four specific values. The Inversion Theorem is mentioned as a potential tool for part (a).

PREREQUISITES
  • Understanding of Fourier Transform definitions and properties
  • Familiarity with the Inversion Theorem in Fourier analysis
  • Knowledge of eigenvalues and eigenfunctions in functional analysis
  • Ability to manipulate integrals involving complex exponentials
NEXT STEPS
  • Study the properties of the Fourier Transform, focusing on the Inversion Theorem
  • Learn about eigenvalues and eigenfunctions in the context of linear operators
  • Explore different conventions of the Fourier Transform, including normalization factors
  • Investigate the implications of the fourth roots of unity in relation to Fourier eigenvalues
USEFUL FOR

Mathematicians, physicists, and engineering students who are studying Fourier analysis, particularly those interested in eigenvalue problems and their applications in signal processing and differential equations.

Stephen88
Messages
60
Reaction score
0
I came across this problem in a book for Fourier Tranf. and after dedicating some time to solve I can't seem to find a solution.
The problem has 2 parts.
a)Show that (i) F^2( f )(x)=2*pi*f(-x) and then deduce that (ii) F^4( f )=4*pi*f where F denotes the Fourier Transform
b) Deduce from (i) that for two eigenvalues, all eigenfunctions must be even, and for other two
eigenvalues, all eigenfunctions must be odd and for (ii) deduce that if f is an eigenfunction of F with eigenvalue λ, then λ must take one of four possible
values.

For a)I've tried to use the Inversion Theorem...it seemed appropriate since there is a Fourier transform on one side and a function f multiplied by pi on the other.Obviously I'm doing something wrong because I get a square function under the integral and I don't know how to handle it.I'm assuming that for (ii) maybe I should use induction?!
For b)To be honest I don't have any idea mainly because I haven't figured out a).
This problem bugs me very much so any help will be appreciated.Thank you
 
Physics news on Phys.org
StefanM said:
I came across this problem in a book for Fourier Tranf. and after dedicating some time to solve I can't seem to find a solution.
The problem has 2 parts.
a)Show that (i) F^2( f )(x)=2*pi*f(-x) and then deduce that (ii) F^4( f )=4*pi*f where F denotes the Fourier Transform
b) Deduce from (i) that for two eigenvalues, all eigenfunctions must be even, and for other two
eigenvalues, all eigenfunctions must be odd and for (ii) deduce that if f is an eigenfunction of F with eigenvalue λ, then λ must take one of four possible
values.

For a)I've tried to use the Inversion Theorem...it seemed appropriate since there is a Fourier transform on one side and a function f multiplied by pi on the other.Obviously I'm doing something wrong because I get a square function under the integral and I don't know how to handle it.I'm assuming that for (ii) maybe I should use induction?!
For b)To be honest I don't have any idea mainly because I haven't figured out a).
This problem bugs me very much so any help will be appreciated.Thank you

For a) you should note that the constant \(2\pi \) is dependednt on your definition of the Fourier transform, there are a number of conventions about what the variables are and where the constants go.

I will take the following definition (you will need to rework what follows with whatever definition you are working with):

\[ \{\mathfrak{F}f\}(\xi) =\int_{x=-\infty}^{\infty}f(x)e^{-2\pi {\bf{i}} x\xi} \; dx \]

and:

\[ \{ \mathfrak{F}^{-1}F \}(x) = -\int_{\xi=-\infty}^{\infty}F(\xi)e^{2\pi {\bf{i} }x\xi} \; dx \].

Now I will assume that \(f(x)\) is such that the integrals in the forward and backward FT make sense without recourse to the theory of distributions.

Then:

\[ \{ \mathfrak{F}^2 f\} (z)= \int_{y=-\infty}^{\infty}\int_{x=-\infty}^{\infty} f(x)e^{-2\pi {\bf{i}} x y}e^{-2\pi {\bf{i}} y z} dx\; dy \]

Now put \(z=-\zeta \)

\[ \{ \mathfrak{F}^2 f\} (-\zeta)= \int_{y=-\infty}^{\infty}\int_{x=-\infty}^{\infty} f(x)e^{-2\pi {\bf{i}} x y}e^{2\pi {\bf{i}} y \zeta} dx\; dy =\left(\mathfrak{F}^{-1}\left( \mathfrak{F}f\right)\right)(\zeta) =f(\zeta) \]

or:

\[ \{ \mathfrak{F}^2 f\} (z)=f(-z) \]

CB
 
Last edited:
Thank you...what should I do for the other points?:confused:
 
StefanM said:
Thank you...what should I do for the other points?:confused:

The equvalent of ii. with the my definition of the FT follows immeadiatly since:

\[ \mathfrak{F}^4f=\mathfrak{F}^2\left(\mathfrak{F}^2f \right) \]

Which should tell you that the eigenvalues are the fourth roots of unity, then consider the real and imaginary eigenvalues and their corresponding eigenfunctions using a.i.CB
 
Last edited:

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 14 ·
Replies
14
Views
5K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
967