Approximating with translated Gaussians and low-frequency trig functions - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T20:51:09Z http://mathoverflow.net/feeds/question/9011 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/9011/approximating-with-translated-gaussians-and-low-frequency-trig-functions Approximating with translated Gaussians and low-frequency trig functions Axel Boldt 2009-12-15T18:12:33Z 2010-02-03T05:28:44Z <p>Defining the translated Gaussians by <code>$f_t(x)=\exp(-(x-t)^2)$</code> for $t,x\in\Bbb{R}$, we showed that the linear span of <code>$\{f_t \mid 0 \le t &lt; \epsilon\}$</code> is dense in $L^2(\Bbb{R})$, for any $\epsilon>0$. As a consequence, low-frequency trigonometric functions are dense in $L^2([a,b])$. The proof of the first result uses Hermite functions, and the second one follows by taking the Fourier transform of the first. (<a href="http://arxiv.org/abs/0805.3795" rel="nofollow">Arxiv link</a>.)</p> <p>Two reviewers told us that these results "must be known" but didn't provide references. </p> <p>Two questions:</p> <ul> <li>Are these results folklore? <li>What's a good place to look for similar/related results? </ul> http://mathoverflow.net/questions/9011/approximating-with-translated-gaussians-and-low-frequency-trig-functions/9153#9153 Answer by Greg Kuperberg for Approximating with translated Gaussians and low-frequency trig functions Greg Kuperberg 2009-12-17T04:59:53Z 2009-12-17T04:59:53Z <p>I think that the results are "folklore" in the sense that if you have no concern at all for numerical stability, using small translates of the Gaussian to obtain derivatives is the first thing that you'd think to do. Likewise with the trig functions with frequency $\omega \ll 1$, you can just directly differentiate many times with respect to $\omega$ and then evaluate at $0$. You get polynomials, which are dense by the Weierstrass approximation theorem. You say several times in the paper that the results are surprising, but in my opinion the qualitative results are not all that surprising.</p> <p>These results are at least similar to popular results that certain sets of wavelets are bases, and certain other sets span but are overcomplete. I don't have a reference, I just remember hearing about a set of wavelets on $\mathbb{R}$ that comes from a general lattice in $\mathbb{C}$. Whether the wavelets span or are overcomplete depends on the determinant of the lattice. This is not the same result, but it is similar.</p> <p>Your paper also analyzes the numerical stability of your approximations. That seems like the more original contribution to me. Maybe the referees would be happier if you shifted the emphasis of the paper to the numerical stability issue.</p> http://mathoverflow.net/questions/9011/approximating-with-translated-gaussians-and-low-frequency-trig-functions/9410#9410 Answer by Mark Lewko for Approximating with translated Gaussians and low-frequency trig functions Mark Lewko 2009-12-20T06:39:36Z 2009-12-20T06:39:36Z <p>Wiener's tauberian theorems seem relevant to your results (in fact this has been discussed recently on mathoverflow here: <a href="http://mathoverflow.net/questions/4216/is-there-an-lp-tauberian-theorem" rel="nofollow">http://mathoverflow.net/questions/4216/is-there-an-lp-tauberian-theorem</a>). One of these theorems states that the linear combinations of the translates of a function, f, is dense in L^2(R) if and only if the Fourier transform of that function doesn't vanish on a set of positive measure. Since the Fourier transform of the Gaussian is a Gaussian (and doesn't vanish) this is very similar to your Theorem 1. Of course, Wiener's theorem only gives you an approximation of the form $\sum_{n=1}^{N} a_{n} e( (x- t_n)^2)$ for some sequence of real numbers $t_{n}$. You might be able to recover your result by approximating the the sequence $t_{n}$ by a sequence of the for m ${nt}$ (after possibly adjusting the coefficients a_n), however this isn't immediate to me.</p> <p>If these remarks sound along the lines of what you are looking for, Wiener's book "the Fourier integral and certain of its applications" is a good reference. Jacob Korevaar's Tauberian Theory: A Century of Developments has a much more comprehensive (and current) treatment of the subject.</p> http://mathoverflow.net/questions/9011/approximating-with-translated-gaussians-and-low-frequency-trig-functions/13931#13931 Answer by mr.gondolier for Approximating with translated Gaussians and low-frequency trig functions mr.gondolier 2010-02-03T05:12:42Z 2010-02-03T05:28:44Z <p>Wiener's approximation theorem says that</p> <p>Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in \mathbb{R}\}$ is dense in $L^2(\mathbb{R})$ if and only if zeros of the Fourier transform of $h$ has zero Lebesgue measure.</p> <p>See Wiener's book "The Fourier Integral and Certain of Its Applications" or Chandrasekharan's "Classical Fourier Transforms".</p> <p>Further question when the translating parameters are restricted to a smaller set are considered by a series of authors. See <a href="http://www.springerlink.com/content/73025748583v2605/" rel="nofollow">this paper</a> for instance and the reference therein.</p>