Register to reply 
When is the Fourier transform implied? 
Share this thread: 
#1
Jun1012, 03:41 PM

P: 982

I understand that if you have a system that is linear and time invariant, that you can perform a Fourier transform on it. But that doesn't mean you need to Fourier transform it. Or does it? Is a linear, time invariant system equivalent to or in some way implies a Fourier transform? Or is the Fourier transform just an optional procedure for arbitrary purposes? What information is derived from the Fourier transform that might reproduce the original signal? And if you can reproduce the original signal, does that mean that the Fourier transform is in some way equivalent to the original signal? Or are there systems that are closed under Fourier transformation, whose functions are transforms of themselves?



#2
Jun1112, 02:46 PM

Sci Advisor
P: 6,070

Are you asking a mathematics or physics question?
Mathematically (for well behaved functions) a function and its transform are duel, that is take the transform of the transform (with a sign switch in the exponent) and you will get back the original function. Physically, if the function is supposed to be a time domain signal, the transform is a representation in the frequency domain. 


#3
Jun1112, 05:27 PM

HW Helper
P: 1,391

As for your question as to whether or not there are any functions that are their own fourier transform, the answer is yes. If we take our Fourier transform convention to be [tex]\hat{y}(\omega) = \frac{1}{\sqrt{2\pi}}\int_{\infty}^\infty dt e^{i\omega t} y(t),[/tex] (which is the unitary version of the fourier transform), where [itex]\hat{y}(\omega)[/itex] is the fourier transform of [itex]y(t)[/itex], then [itex]y(t) = \exp(t^2/2)[/itex] and [itex]y(t) = \mbox{sech}(\sqrt{\pi/2}t)[/itex] are two examples of functions which solve the integral equation [tex]y(\omega) = \frac{1}{\sqrt{2\pi}}\int_{\infty}^\infty dt e^{i\omega t} y(t).[/tex] (Note the absence of the hat on the left hand side to indicate that it is the same function y(t) that occurs in the integrand). Similarly, the functions [itex]e^{t^2/2}H_n(t)[/itex], where the [itex]H_n(t)[/itex] are Hermite polynomials, solve the associated eigenvalue integral equation problem, [tex]\lambda y(\omega) = \int_{\infty}^\infty dt \frac{e^{i\omega t}}{\sqrt{2\pi}} y(t),[/tex] where the eigenvalues are [itex]\lambda_n = (i)^n[/itex]. Note that when n is a multiple of 4, y(t) is again its own fourier transform. 


#4
Jun1212, 11:35 AM

P: 982

When is the Fourier transform implied?
I've stumbled across a novel approach to derive Feynman's path integral from the Dirac delta function. The Dirac delta function has the following properties: 1) [tex]\int_{  \infty }^{ + \infty } {{\rm{\delta (}}{{\rm{x}}_1}{\rm{  }}{{\rm{x}}_0}){\rm{d}}{{\rm{x}}_1}} = 1[/tex] and also, [tex]\int_{  \infty }^{ + \infty } {{\rm{f(}}{{\rm{x}}_1}{\rm{)\delta (}}{{\rm{x}}_1}{\rm{  }}{{\rm{x}}_0}){\rm{d}}{{\rm{x}}_1}} = {\rm{f(}}{{\rm{x}}_0})[/tex] where if we let [itex]{\rm{f(}}{{\rm{x}}_1}) = {\rm{\delta (x  }}{{\rm{x}}_1})[/itex], we get, 2) [tex]\int_{  \infty }^\infty {{\rm{\delta (x  }}{{\rm{x}}_1}){\rm{\delta (}}{{\rm{x}}_1}{\rm{  }}{{\rm{x}}_0})d{x_1}} = {\rm{\delta (x  }}{{\rm{x}}_0})[/tex] This is on the wikepedia.org site for the Dirac delta function about half way down under section 4.3 for Translation. I've also seen this in Lowell S. Brown's book, Quantum Field Theory, page 30.Yet the above can be iterated to get, [tex]\int_{  \infty }^\infty {\int_{  \infty }^\infty {{\rm{\delta (x  }}{{\rm{x}}_2}){\rm{\delta (}}{{\rm{x}}_2}{\rm{  }}{{\rm{x}}_1}){\rm{\delta (}}{{\rm{x}}_1}{\rm{  }}{{\rm{x}}_0})d{x_1}} d{x_2} = } \int_{  \infty }^\infty {{\rm{\delta (x  }}{{\rm{x}}_2}){\rm{\delta (}}{{\rm{x}}_2}{\rm{  }}{{\rm{x}}_0})d{x_2}} = {\rm{\delta (x  }}{{\rm{x}}_0})[/tex] and if iterated an infinite number of times one gets, 3) [tex]\int_{  \infty }^{ + \infty } {\int_{  \infty }^{ + \infty } { \cdot \cdot \cdot \int_{  \infty }^{ + \infty } {{\rm{\delta (x  }}{{\rm{x}}_n}){\rm{\delta (}}{{\rm{x}}_n}{\rm{  }}{{\rm{x}}_{n  1}}) \cdot \cdot \cdot {\rm{\delta (}}{{\rm{x}}_1}{\rm{  }}{{\rm{x}}_0})} } } d{x_n}d{x_{n  1}} \cdot \cdot \cdot d{x_1} = {\rm{\delta (x  }}{{\rm{x}}_0})[/tex] This is explicitly written out in Prof. Hagen Kleinert's book, Path Integrals i Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets, page 91. Then if we use the gaussian form of the Dirac delta function, 4) [tex]{\rm{\delta (}}{{\rm{x}}_1}{\rm{  }}{{\rm{x}}_0}) = \mathop {\lim }\limits_{\Delta \to 0} \frac{1}{{{{(\pi {\Delta ^2})}^{1/2}}}}{e^{  {{({x_1}  {x_0})}^2}/{\Delta ^2}}}[/tex] with 5) [tex]{\Delta ^2} = \frac{{2i\hbar }}{m}({t_1}  {t_0})[/tex] the dirac deltas become [tex]\delta ({x_1}  {x_0}) = \mathop {\lim }\limits_{{t_1} \to {t_0}} {\left[ {\frac{m}{{2\pi i\hbar ({t_1}  {t_0})}}} \right]^{1/2}}\exp \left[ {\frac{{im{{({x_1}  {x_0})}^2}}}{{2\hbar ({t_1}  {t_0})}}} \right][/tex] which can be manipulated to [tex]\delta ({x_1}  {x_0}) = \mathop {\lim }\limits_{{t_1} \to {t_0}} {\left[ {\frac{m}{{2\pi i\hbar ({t_1}  {t_0})}}} \right]^{1/2}}\exp \left[ {\frac{{im}}{{2\hbar }}{{(\frac{{{x_1}  {x_0}}}{{{t_1}  {t_0}}})}^2}({t_1}  {t_0})} \right] = \mathop {\lim }\limits_{\Delta {t_{1,0}} \to 0} {\left[ {\frac{m}{{2\pi i\hbar \Delta {t_{1,0}}}}} \right]^{1/2}}\exp \left[ {\frac{{im}}{{2\hbar }}{{(\frac{{\Delta {x_{1,0}}}}{{\Delta {t_{1,0}}}})}^2}\Delta {t_{1,0}}} \right][/tex] or, 6) [tex]\delta ({x_1}  {x_0}) = \mathop {\lim }\limits_{\Delta {t_{1,0}} \to 0} {(\frac{m}{{2\pi i\hbar \Delta {t_{1,0}}}})^{1/2}}{e^{\frac{{im}}{{2\hbar }}{{({{\dot x}_{1,0}})}^2}\Delta {t_{1,0}}}}[/tex] When this is substituted for each of the dirac deltas in 3) above we get 7) [tex]\int_{  \infty }^{ + \infty } {\int_{  \infty }^{ + \infty } { \cdot \cdot \cdot \int_{  \infty }^{ + \infty } {{{(\frac{m}{{2\pi i\hbar \Delta {t_{,n}}}})}^{1/2}}{e^{\frac{{im}}{{2\hbar }}{{({{\dot x}_{,n}})}^2}\Delta {t_{,n}}}}{{(\frac{m}{{2\pi i\hbar \Delta {t_{n,n  1}}}})}^{1/2}}{e^{\frac{{im}}{{2\hbar }}{{({{\dot x}_{n,n  1}})}^2}\Delta {t_{n,n  1}}}} \cdot \cdot \cdot {{(\frac{m}{{2\pi i\hbar \Delta {t_{1,0}}}})}^{1/2}}{e^{\frac{{im}}{{2\hbar }}{{({{\dot x}_{1,0}})}^2}\Delta {t_{1,0}}}}} } } d{x_n}d{x_{n  1}} \cdot \cdot \cdot d{x_1}[/tex] with the appropriate limits implied. Then since the exponents add up, 7) above becomes 8) [tex]\int_{  \infty }^{ + \infty } {\int_{  \infty }^{ + \infty } { \cdot \cdot \cdot \int_{  \infty }^{ + \infty } {{{(\frac{m}{{2\pi i\hbar \Delta t}})}^{n/2}}{e^{\,\,{\textstyle{i \over \hbar }}\int_0^t {\frac{m}{2}{{(\dot x)}^2}dt} }}} } } d{x_n}d{x_{n  1}} \cdot \cdot \cdot d{x_1}[/tex] Which is Feynman's path integral for a free particle. This is very curious. I have speculative theories as to why the dirac delta would be fundamental to deriving physics. But the math I've presented here seems pretty straight forward. However, the use of the gaussian form of the dirac delta seems arbitrary in 4), along with the use of the complex number for the standard deviation in 5). So I am looking for some more fundamental reasons why the complex gaussian would be preferred in this situation. And I wonder if there is not something in the algebra of 2) that dictates the use of the complex gaussian for each of the deltas. So when I look at 2) 2) [tex]\int_{  \infty }^\infty {{\rm{\delta (x  }}{{\rm{x}}_1}){\rm{\delta (}}{{\rm{x}}_1}{\rm{  }}{{\rm{x}}_0})d{x_1}} = {\rm{\delta (x  }}{{\rm{x}}_0})[/tex] and consider that 9) [tex]{e^{\frac{{im}}{{2\hbar }}{{(\frac{{{x_1}  {x_0}}}{{{t_1}  {t_0}}})}^2}({t_1}  {t_0})}} = {e^{\frac{{im}}{{2\hbar }}(\frac{{{x_1}  {x_0}}}{{{t_1}  {t_0}}})({x_1}  {x_0})}} = {e^{ip({x_1}  {x_0})/2\hbar }}[/tex] It seems that 2) can be written as 10) [tex]\int_{  \infty }^\infty {{\rm{\delta (x  }}{{\rm{x}}_1}){\rm{\delta (}}{{\rm{x}}_1}{\rm{  }}{{\rm{x}}_0})d{x_1}} = \int_{  \infty }^\infty {{\rm{\delta (x  }}{{\rm{x}}_1}){{(\frac{m}{{2\pi i\hbar \Delta {t_{1,0}}}})}^{1/2}}{e^{  ip({x_1}  {x_0})/2\hbar }}d{x_1}} [/tex] which seems suspiciously close to the Fourier transform of the dirac delta. Although I,m not sure whether the factor in front of the exponential or the [itex]2\hbar[/itex] in the exponent can be made to fits in the format of the Fourier transform. This brings up questions as to whether 2) is even a Linear, Translationally Invariant (LTI) system, and if so, does that mean the Fourier transform is automatically implied. And since 3) is equivalent to 2), it would seem that I'm looking for an equation for the deltas such that any number of transforms are equal to one transform. I'm not sure what that means. Any insight anyone might have into these questions would help greatly. Thank you. 


#5
Jul1812, 05:09 PM

P: 982

Or in other words,
What useful properties of a function are gauranteed if the function has a Fourier transform? For example, does a Fourier transform of a function gaurantee that the function is analytical, or smooth, or continuous, or is a distribution, or finite, or what? Does it gaurantee the existence of a dual space for which an inner product is the underlying metric, so that the Fourier transform only exists if the function is in a space that has a metric, and visa versa? 


#6
Jul2312, 10:34 AM

P: 982

Is the Fourier Transform unique in turning a convolution integral into a multiplication of tranforms? Or are their other transformations that can do this? Thanks.



#7
Jul2312, 03:11 PM

Sci Advisor
P: 6,070




#8
Jul2712, 04:55 PM

P: 982




#9
Jul3112, 04:38 PM

P: 982

Can the convolution exist without the Fourier Transform?



#10
Nov2112, 12:19 PM

P: 1

which is the better way to analyze a signal....time domain or frequency domain???



#11
Nov2112, 07:34 PM

P: 465

In fact, when I look at the behaviour of the function, it seems to me that the limit you've used (as t1 goes to t0) is undefined. The exponential term is a complex exponential, and so its magnitude will always be one. As t1 goes to t0, its phase will change, and the complex exponential will just rotate around the origin of the complex plane as t1 goes to t0, making the limit undefined. Sorry if this is a standard definition that I just haven't seen before, but this raised a major red flag for me. 


Register to reply 
Related Discussions  
Laplace transform and fourier transform  Calculus & Beyond Homework  2  
Purpose of fourier series and fourier transform  Advanced Physics Homework  4  
What is the point of Fourier Series if you can do the Fourier Transform?  General Math  9  
Fourier Series / Fourier Transform Question  Electrical Engineering  6  
The difference between Fourier Series, Fourier Transform and Laplace Transform  General Physics  1 