The covariogram and Fourier-Laplace transform in $\mathbb{C}^n$
Abstract
The covariogram $g_{K}$ of a convex body $K$ in $\mathbb{R}^n$ is the function which associates to each $x\in\mathbb{R}^n$ the volume of the intersection of $K$ with $K+x$. Determining $K$ from the knowledge of $g_K$ is known as the Covariogram Problem. It is equivalent to determining the characteristic function $1_K$ of $K$ from the modulus of its Fourier transform $\hat{1_K}$ in $\mathbb{R}^n$, a particular instance of the Phase Retrieval Problem. We connect the Covariogram Problem to two aspects of the Fourier transform $\hat{1_K}$ seen as a function in $\mathbb{C}^n$. The first connection is with the problem of determining $K$ from the knowledge of the zero set of $\hat{1_K}$ in $\mathbb{C}^n$. To attack this problem T. Kobayashi studied the asymptotic behavior at infinity of this zero set. We obtain this asymptotic behavior assuming less regularity on $K$ and we use this result as an essential ingredient for proving that when $K$ is sufficiently smooth and in any dimension $n$, $K$ is determined by $g_K$ in the class of sufficiently smooth bodies. The second connection is with the irreducibility of the entire function $\hat{1_K}$. This connection also shows a link between the Covariogram Problem and the Pompeiu Problem in integral geometry.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2013
- DOI:
- 10.48550/arXiv.1312.7816
- arXiv:
- arXiv:1312.7816
- Bibcode:
- 2013arXiv1312.7816B
- Keywords:
-
- Mathematics - Metric Geometry;
- 42B10;
- 52A20 (Primary);
- 32A50;
- 32A60;
- 60D05 (Secondary)
- E-Print:
- Version accepted on Proc. London Math. Soc. With respect to version 1 some parts of the proof of the asymptotic behavior have been clarified and new details have been added