Fourier transform smoothness

  • Thread starter mnb96
  • Start date
  • #1
713
5
Hello,
I read somewhere that if a function f decays rapidly (e.g. [itex]\lim_{x \to \infty}f(x)=0 )[/itex], then its Fourier transform F is smooth.
How can I prove this? (Reference to some sources are welcome too).
Thanks.
 

Answers and Replies

  • #2
127
0
I think f(x) has to tend to zero for the fourier transform to even exist.
Just did some musing. If f and all its derivatives decay faster than any polynomial (eg, exponentially fast), F should be smooth. I'm sure there are less strict conditions though.

Sometimes the FT is studied as an isomorphism from the Schwartz space to itself (functions from ___ to ___ whose derivatives of all orders and types decay exponentially fast. Sometimes it's expressed as having a certain finite norm)
 
  • #3
713
5
...If f and all its derivatives decay faster than any polynomial (eg, exponentially fast), F should be smooth...
do you have a reference to a proof for this statement?
It doesn´t look like a trivial result, at least to me.
 
  • #4
127
0
My lecture notes lol. You need to use the fact that FT(f ') = k*FT(f), and the inverse/dual (not sure precisely what to call it) of this fact.


From my PDEs course last term. It's actually like the first thing that was proven after defining the FT:

Defn (Fourier Transform)
for [tex]f \in L^1(R^n;C) \ \ \ \ \ \ \ \ \hat{f} (\mu) := \int _{R^n} f(x) e^{-ix.\mu} dx[/tex]
[tex] (\mu \in R^n, \hat{f} : R^n \to C)[/tex]

Lemma
Let [tex]f \in S(R^n)[/tex]. Then [tex] \hat{f} \in S(R^n)[/tex].
Proof
For any multi-indices [tex]k_1, k_2[/tex]
[tex] sup_\mu | \mu^{k_1} \nabla ^{k_2} \hat{f} (\mu)| \leq sup |F(\nabla _x ^{k_1} (x^{k_2} f))(\mu)|\leq | | \nabla _x ^{k_1}(x^{k_2} f) | | _{L^1}[/tex]

I've sloppily used F(f) to be the fourier transform of f that changes x to mu. The ||.|| thing is the L1 norm which is just "integrate me over all space".
It's presented as a one liner but I guess there are quite a few ideas involved.

Oh, and S is
[tex]S:= \{f \in C^{\infty} (R) : lim_{x \to \infty} \frac{|\nabla ^k f(x) |}{|x| ^m} \to 0 \ \ \forall k,m\}[/tex]
So thingies in S are definitely smooth and decaying.
 
Last edited:
  • #6
127
0
Oh. Yes, it is clear.
Compact support means (well it doesn't, but it does) the function is non-zero only locally (in some closed set).

ie it looks like a bump.
 
  • #7
713
5
I tried to prove it this way (by induction on the power of [itex]|x|^m[/itex]).
The cases when [itex]m\geq 0[/itex], are trivial so we assume m<0, and f is smooth with [itex]\lim_{x \to \infty}f(x)=0[/itex].
Let k=-m

Base (k=1):

[tex]\lim_{x\to +\infty} xf^{(n)}}(x) = \lim_{x\to +\infty} \frac{x}{[f^{(n)}(x)]^{-1}} = \lim_{x \to \infty}\frac{f^{(n+1)}}{-[f^{(n)}(x)]^{-2}} = 0[/tex]


Induction:

[tex]\lim_{x\to +\infty} x^{i+1}f^{(n)}}(x) = \lim_{x\to +\infty} \frac{x}{[x^{i}f^{(n)}(x)]^{-1}}= \lim_{x\to +\infty} \frac{1}{D[(x^{i}f^{(n)}(x))^{-1}]} = 0[/tex]

The last step is due to the fact that the denominator is the product of two smooth functions (which by induction hypothesis tends to 0, and so all its derivatives).

If this is correct, it looks more clear to me. Perhaps I don't clearly understand the definition of function with compact support (at least I don't know how to use that definition).
 
Last edited:
  • #8
127
0
[PLAIN]http://img707.imageshack.us/img707/2655/compsupp.png [Broken]
This is a smooth function with compact support. (Assume it's smooth anyway)

It's only non-zero locally.
So towards infinity...of course it decays fast, because it IS zero.
 
Last edited by a moderator:

Related Threads on Fourier transform smoothness

Replies
11
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
8
Views
1K
  • Last Post
Replies
7
Views
827
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
10
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
2
Views
672
Replies
1
Views
737
  • Last Post
Replies
2
Views
640
Top