When I started this blog (quite some time ago…) I started blogging about a then-preprint (now it’s a published paper) with Luis Daniel Abreu entitled “Landau’s necessary conditions for the Hankel transform” and (as you might have noticed) I left the quest unfinished. Well, last week I spent a few days in Vienna (very nice place!) visiting NuHAG, and Daniel and I remembered that I have to finish the series of posts about our paper. Since I have a lot of other stuff I want to blog about, I am going to write one post explaining the result (and giving some context) and in a future post I will explain the main idea of the proof.
In my first post I introduced the notion of bandlimited functions and I showed the Whittaker-Shannon-Kotel’nikov sampling theorem. This theorem guarantees that, if a function is bandlimited in then it is completly determined by its values on . It actually gives much more: Since it provides a stable way of reconstructing from these values it allows one to sample at these values and reconstruct it. Furthermore, it allows us to, given a (square summable) sequence of values in , construct a bandlimited function passing through those values.
On my second post I introduced the definitions of uniqueness, sampling, and interpolation sequences of a space of functions with the objective of understanding the properties of given by the sampling theorem. Very briefly these definitions are a sequence of points for which, respectively, the values of in completely determine , the values of in stably determine , and for any square summable sequence there exists such that .
It is natural to question whether there exists a sequence “smaller” than that is still a sampling sequence or if there exists a “larger” interpolation sequence. Before dealing with this question one needs a good definition of size of a infinite sequence. Given a sequence we define its upper and lower density has
this is usually called Beurling density.
It is clear that . One can show that if is a sampling sequence for the space of bandlimited function in then
and that if it is an interpolation sequence we must have . This result can be interpreted as showing that is optimal for sampling of these functions, guaranteeing that the Nyquist rate can’t be breaked.
It is easy to see that if is bandlimited in then plays the role of sampling and interpolation sequence and the same optimality result can be adapted to this setting. A much more interesting question is to understand the density of sampling or interpolation sequences for the space of functions bandlimited in a general set , by general I mean it is only required to be measurable, nothing else! This is done in a very nice paper by Landau (here is a short version that is much easier to read). It turns out that there is in fact a critical density for which sampling sequences have to be more dense and interpolation sequences have to be less dense (the density in high dimensions can be defined ). This density is
In fact, Landau also shows an analogous result in higher dimensions.
In some applications (like signals coming from some types of antennas) the function on that one wants to sample (or interpolate) is radial. This means that there exists a function on such that, for every , . It is not hard to show that the fourier transform of , let’s call it , is also radial meaning that there exists a function on such that . The Fourier transfrom induces then a transformation on functions over (that, in this case, transforms into ), this is called the Hankel transform, and after a few normalizations looks like this:
where is the Bessel function of order ( depends on the dimension ).
It turns out that a version of the sampling theorem exists for functions that are bandlimited on the Hankel transform (let us call them Hankel bandlimited). It is easily shown (very much like the proof I blogged about for the Fourier case) assuming the fact that is an orthogonal basis for , where is the th zero of . On this sampling theorem, the sampling (and interpolation) sequence is ; it is known that their density is .
Our paper solves the problem of understanding the density of sampling and interpolation sequences of the space of functions which are Hankel bandlimited on a general (measurable) subset of . We were able to show an analogous result to the one of Landau, which says that if is a sampling sequence then
and that if, on the other hand, is a sequence of interpolation then
In the same way that sampling sequences for Fourier bandlimited functions are related to Fourier frames, the sampling sequences for Hankel bandlimited functions are related to Fourier-Bessel frames. For this reason, our result provides necessary density conditions for Fourier-Bessel frames, too.
In a future post I will briefly explain what is the main idea to show this theorem.