15
$\begingroup$

One manifestation of the uncertainty principle is the fact that a compactly supported function $f$ cannot have a Fourier transform which vanishes on an open set. As stated, this phenomenon applies when $f$ lives on the integers, or on Euclidean space, but it is false for, say, the p-adic rationals, on which the characteristic function of the p-adic integers provides a counterexample.

One normally proves this phenomenon on Euclidean space through complex analysis, although it does follow from the real-variable argument on this post of Tao on Hardy's Uncertainty Principle.

For $f$ on the integers, it's even easier because only the zero polynomial has infinitely many roots (and this appears to me to be more or less the kind of input which goes into the other proofs as well).

What I want to know is whether there is a proof of this phenomenon -- namely, the refusal of a compactly supported functions F.T. to vanish on an open set -- which directly relates to the connectedness of the frequency space, if that is what is behind it.

Here is a failed effort in this direction...

You know that $f = f \chi$ for any function $\chi$ which is $1$ on the support of $f$. Then $\hat{f}$ should remain unchanged when convolved with the Fourier transform of $\chi$, but since $\hat{f}$ lives on the reals you would like to think that this convolution would partially fill up some open set connected to the boundary of the original support of $\hat{f}$ and thus enlarge the support of $\hat{f}$. This argument goes through as long as you don't get an absurd cancellation; but while $\hat{f}$ may be assumed positive, one has less freedom to renormalize $\chi$.

Does anyone know if there is a version of this argument which actually goes through? As stated it's no different than saying "$\hat{f} \ast \hat{\chi} = 0$ whenever $\chi$ lives away from the support of $f$; how weird..." It's possible my intuition here is all wrong and it's really the regularity of $\hat{f}$ which is completely behind the phenomenon, but I am at a loss for other examples of connected, locally compact abelian groups (are there any?) and I don't know how connectedness behaves with respect to Pontrjagin duality.

$\endgroup$
5
  • $\begingroup$ I don't think connectedness alone kills compact support in frequency space, since you can have compactly supported functions on $\mathbb{Z}$ or $S^1$ (or products of these) with compactly supported Fourier transforms. $\endgroup$
    – S. Carnahan
    Jun 30, 2010 at 2:55
  • 1
    $\begingroup$ Scott, I don't think that's what's being asked? As I understand it, the question is something like the following: is there a "connectedness-driven proof" that, when G is abelian connected and locally compact, and f is a function vanishing on an open subset of G, then the FT of f cannot have compact support. $\endgroup$
    – Yemon Choi
    Jun 30, 2010 at 6:52
  • 1
    $\begingroup$ By the way, there ought to be a classification of connected locally compact abelian groups in Hewitt & Ross volume 1 (though that may not be the most effective or convenient source). IIRC, they are all of the form ${\mathbb R}^n \times {\mathbb T}^k$. $\endgroup$
    – Yemon Choi
    Jun 30, 2010 at 6:54
  • 1
    $\begingroup$ Yemon, I don't think this to be true : the inverse limit of $2\times : \mathbb T \to \mathbb T$ (a so called solenoid) seems to be connected. See en.wikipedia.org/wiki/Solenoid_(mathematics). $\endgroup$
    – BS.
    Jul 1, 2010 at 13:49
  • $\begingroup$ Thanks for these replies. Maybe I should clarify: I'm not exactly looking for a proof of a fact for more general topological groups. (I'm really grateful for the example, though.) I just thought the key difference between the p-adics and Euclidean space in this regard has to do with the fact that convolutions (of, say, non-negative, compactly supported functions) really do expand support on R^n, but don't need to on the p-adics. I'd like to see a proof that highlights that feature of Euclidean space if there is one. $\endgroup$
    – Phil Isett
    Jul 2, 2010 at 1:57

1 Answer 1

10
$\begingroup$

For $\mathbb{R}$. Suppose f is our compactly supported function and g(x) is its Fourier transform. Since f is compactly supported, $\hat{f} = g$ is the restriction to $\mathbb{R}$ of an entire function g(z) by the Paley-Wiener theorems. Since g is entire and vanishes on an open set, $g \equiv 0$. The proof of this last fact (weakening the assumption to vanishing on a set with an accumulation point) uses that $\mathbb{C}$ is connected which is of course directly related to $\mathbb{R}$ being connected.

I expect that you knew this proof, but maybe you accidentally overlooked where connectedness was used. Or more likely, this proof didn't explain what you had in mind and you want a more general proof for $\mathbb{R}^n$. I can't currently do that. Instead, I have another idea which focuses on a different aspect than connectedness, but seems to be related.

In connection with the analogous statement for polynomials. A polynomial can only have finitely many zeroes over a field is proved via a complexity argument using that infinity > finite. Analytic functions, i.e. the completion of polynomials over $\mathbb{C}$ can have infinitely many zeroes, but uncountably many zeroes implies the analytic function is identically 0. So it seems that a set that has a limit point is more complex (in terms of complexity) than a countable set. I'm thinking the complexity argument should be interpreted in terms of density in topology - no finite subset of a $\mathbb{N}$ is dense in the discrete topology or any open subset of the co-finite topology on $\mathbb{N}$. Similarly for $\mathbb{R}$ and $\mathbb{C}$.

I hope this is helpful. This is an interesting question and I'll think more about it.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.