MHB Struggling with Fourier Transform Eigenvalues?

  • Thread starter Thread starter Stephen88
  • Start date Start date
  • Tags Tags
    Fourier
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:
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.

Similar threads

Back
Top