2
$\begingroup$

Say I have a compactly supported $C^1$ function $f:\mathbb{R} \to \mathbb{R}$. Let $R>0$. Let $\nu$ be some reasonable measure on $\mathbb{R}$ -- take, for instance, (a) $d\nu(t)=dt$ or (b) $d\nu(t)=e^{-t}$ for $t>0$ and $d\nu(t)=0$ for $t\leq 0$.

Let $\delta(R)$ be the minimum of $|f-\widehat{g}|_2 = \left( \int_\mathbb{R} |f(t)-\widehat{g}(t)|^2 d\nu(t)\right)^{1/2}$ over all functions $g:\mathbb{R} \to \mathbb{C}$ supported on $\lbrack -R,R\rbrack$.

What is $\delta(R)$? How fast does it decrease as $R\to \infty$? Given $R$, can one construct a $g$ that attains the minimum?

(A variation on the same question: allow measures, not just functions $g$, supported on $\lbrack -R,R\rbrack$.)

Update: for $d\nu(t) = t$ this is very easy by isometry, as mentioned below; the minimum is attained for $g$ equal to the restriction of $\widehat{f}$ to $\lbrack -R,R\rbrack$ -- and so, if $f$ is in $C^k$, $\delta(R)$ decreases at least as fast as $1/R^{k-1}$ as $R\to \infty$. I am really more interested in the answers for the measure $\nu$ given in (b) above.

$\endgroup$
15
  • 2
    $\begingroup$ Really? $\widehat g$ is entire if $g$ is compactly supported, so we do not have any choice at all as to what to take for $g$ and most of the time we have no possibility to find such $g$ with any $R$. I hope you meant something else or I just misunderstood what is written... $\endgroup$
    – fedja
    Nov 4, 2012 at 14:05
  • $\begingroup$ Hm, I guess I really had (b) in mind. Let me rewrite this... $\endgroup$ Nov 4, 2012 at 15:55
  • 2
    $\begingroup$ Maybe I'm missing something, but in case (a) (Lebesgue measure), $|f-\widehat{g}|_2 = |\widehat{f}-g|_2$ by Plancherel, so shouldn't you just take $g$ to be the restriction of $\widehat{f}$ to $[-R,R]$? $\endgroup$
    – Henry Cohn
    Nov 4, 2012 at 17:36
  • $\begingroup$ I was about to say, yes, for (a) this is trivial by isometry. But what can one say about (b), say? $\endgroup$ Nov 4, 2012 at 20:10
  • $\begingroup$ Fourier uncertainity might be the right key word, but I guess you know that already. Does $\delta(R)$ not depend on $f$ apriori? I guess you believe that the asymptotic is independant of $f$? $\endgroup$
    – Marc Palm
    Nov 6, 2012 at 15:50

0

Your Answer

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