4
$\begingroup$

Does there exist a (meromorphic) elementary function $f(z)$ that is zero at all the positive integers $z = 1, 2, 3, \ldots$ and only at those points?

Edit: an elementary function can be written as a finite composition of constants, rational functions, exponentials and logarithms.

Obviously a function with those zeros can be constructed using the gamma function or a Weierstrass product, but the question is whether there is an elementary function.

$\endgroup$
2
  • $\begingroup$ sin(pi*x) maybe? $\endgroup$
    – faridrb
    May 8, 2010 at 18:45
  • $\begingroup$ oh sorry, misread the question. $\endgroup$
    – faridrb
    May 8, 2010 at 18:48

2 Answers 2

2
$\begingroup$

$1/\Gamma(1-z)$.

$\endgroup$
3
  • $\begingroup$ The gamma function is not elementary. $\endgroup$ May 8, 2010 at 18:46
  • 1
    $\begingroup$ This is, however, the "most elementary" function with this property, for some reasonable notions of elementary (at least, assuming you want simple zeroes). For instance, any other function with the same zeroes has larger asymptotic growth; this is a version of the Hadamard Factorization Theorem. More precisely, if $f(z)$ has simple zeroes at the positive integers, then there is a polynomial $g(z)$ so that $f(z) = e^{g(z)}/\Gamma(1-z)$. So if you don't think the gamma function is elementary, the answer to your original question is "no". $\endgroup$ May 9, 2010 at 1:50
  • $\begingroup$ Sorry, I just reread the question and saw "meromorphic", which changes things. $\endgroup$ May 9, 2010 at 1:51
0
$\begingroup$

I don´t completely understand what you mean by elementary, but you can look at http://en.wikipedia.org/wiki/Weierstrass_factorization_theorem. Sorry if the question had not to do with this.

$\endgroup$
2
  • $\begingroup$ To spell this out further: all the OP has left unspecified in the question is the degrees of vanishing. So to rephrase: is there any sequence d_1,d_2,... of strictly positive integers s.t. the function Weierstrass gives one is elementary? The OP has declared that having all d_i = 1 doesn't pass muster. $\endgroup$ May 9, 2010 at 1:29
  • $\begingroup$ @Allen: We're also allowed to have poles. $\endgroup$ May 9, 2010 at 14:42

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.