MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The following problem arose in a question I recently asked : given a (possibly non abelian) compact group $G$ and a neighbourhood $U$ of the identity in $G$, can we always find a function $f : G \mapsto \mathbb{R}$, which vanishes outside $U$, whose Fourier transform is nonnegative, and which satisfies $\hat f(1) \neq 0$ ?

share|cite|improve this question

I didn't think about the non Abelian case, but for a commutative group say like $\mathbb{R}$ you can do the following. Take a function with support in $\frac{1}{2} U$ and symmetric with respect to the origin. Its convolution with itself answers your question.

share|cite|improve this answer
An unexpectedly simple solution ; thanks ! I think this still applies in the noncommutative case (the Haar measure is left and right invariant) : If $VV \subset U$, $g_1$ is any map vanishing outside $V$, with nonzero mean, and $g_2 : x \mapsto g_1^{*}(x^{-1})$, then $f = g_1 \star g_2$ should work. – user25235 Oct 28 '12 at 16:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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