1
$\begingroup$

A complex number $z$ is an integer if and only if $\sin(\pi z)=0$.

It follows that a complex number $z$ is an integer if and only $\sin^2(\pi z) = 0$. So for a real analytic function $f$ and any real number $x$, $x$ and $f(x)$ are both integers if and only if $\sin^2(\pi x) + \sin^2(\pi f(x)) = 0$.

Are there analytic functions that do the same over the complex numbers? Given a (complex) analytic function $f$, is there a way to assemble an analytic function $F$ so that $z$ and $f(z)$ are both integers if and only if $F(z) = 0$?

$\endgroup$
1
  • 5
    $\begingroup$ While this can be done for any given f (as indicated by Angelo's answer), it can't be done in a way which is stable with respect to perturbations of f (which rules out most "analytic" answers, such as the one in the real case). This is because zeroes of a complex analytic function are stable wrt perturbations (Rouche's theorem), whereas the set of z for which z and f(z) are both integers is unstable (generically this set is empty). (In the real case, of course, zeroes are unstable wrt perturbation, especially for functions that are sums of squares.) $\endgroup$
    – Terry Tao
    Sep 17, 2012 at 20:19

2 Answers 2

4
$\begingroup$

[Reposted as an answer, as requested. -T.]

While this can be done for any given $f$ (as indicated by Angelo's answer), it can't be done in a way which is stable with respect to perturbations of $f$ (which rules out most "analytic" answers, such as the one in the real case). This is because zeroes of a complex analytic function are stable wrt perturbations (Rouche's theorem), whereas the set of $z$ for which $z$ and $f(z)$ are both integers is unstable (generically this set is empty). (In the real case, of course, zeroes are unstable wrt perturbation, especially for functions that are sums of squares.)

$\endgroup$
1
  • $\begingroup$ That's nice! Stated in a simple way you're saying there is no "master formula" like the sum of sin-squared's for the real case. $\endgroup$ Sep 18, 2012 at 16:23
5
$\begingroup$

Given any set $S$ of complex numbers without accumulation points, you can find an entire function with $S$ as its set of zeroes (this is known as Weierstrass's theorem). So the answer to your question is positive.

[Edit]: it seems to me that Terry's comment above answers the question much better than what I wrote. If Terry posts it an answer, I think that the OP should accept it.

$\endgroup$
2
  • $\begingroup$ I'm very grateful for both answers! $\endgroup$ Sep 18, 2012 at 16:17
  • $\begingroup$ Wondering if there are non-trivial examples with $F$ in closed form. (It's trivial if $f$ maps non-integers only to non-integers) $\endgroup$ Sep 18, 2012 at 16:32

Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.