Connections of results in Harmonic analysis in the theory of Transcendental Numbers - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T09:19:19Z http://mathoverflow.net/feeds/question/87647 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/87647/connections-of-results-in-harmonic-analysis-in-the-theory-of-transcendental-numbe Connections of results in Harmonic analysis in the theory of Transcendental Numbers Vagabond 2012-02-06T10:10:17Z 2012-02-08T22:34:54Z <p>An entire function $f$ is said to be of exponential type if there exist constants $c$ and $k$ such that $|f(z)|\leq c e^{k |z|}$. </p> <p>A famous result of Polya says if $f$ is an entire function of exponential type strictly less than $\log 2$ and take integer values at $\mathbb{Z_+}$ (the set of non-negative integers) then $f$ must be a polynomial. </p> <p>A generalization of this result was used by Gelfond to prove his famous result $\alpha$ and $\beta$ are algebraic numbers with $\alpha \neq 0,1$ and if $\beta$ is not a rational number, then any value of $\alpha ^\beta = \exp(\beta \log \alpha)$ is a transcendental number. </p> <p>It is well known that the theory of entire functions of exponential type is closely related to that of Harmonic analysis.</p> <p>If some one can guide me to other results/method of proofs in transcendence theory where techniques or results related to harmonic analysis are used I would be very grateful. </p> <hr> <p>A Question:- </p> <hr> <p>Maybe the result of Polya can be seen as a manifestation of the Uncertainty Principle? In the sense that a function and its fourier transform both cannot be small. </p> <p>Since, the function of exponential type is the Fourier transform of a compactly supported distribution, thus support is small there. </p> <p>Now, a transcendental entire function of exponential type takes all values (with the possible exception of one) infinitely often (thus the zero set of such a function is usually infinite i.e., big and hence the support is small). </p> <p>What Polya's result says is with the extra arithmetic condition on the function, that is it takes integer value at non negative integers, the function no longer can not be transcendental type (infinitely many zeros, so support is small) and hence a polynomial (only finitely many zeros i.e., support is big). (Of course this is heuristic, can this be made precise ? ) </p>