2
$\begingroup$

Do you know any nontrivial analytic function f(z) with zeros only at positive integer values of the argument z = 1, 2, 3, 4, ... ? If yes, please give some example.

PS: I already thought of $f(x)=\frac{1}{\Gamma(-x+1)}$. Any other nice options?

EDIT: To avoid trivial solutions due to restriction of definition range, please consider the required function to be defined in the whole complex plane.

  • 0
    What about $\frac{\sin(\pi z)}{z}$?2012-10-12
  • 0
    @Pragabhava : your function has zeros at $z=\pm 1,~\pm 2,~\pm 3,~...$2012-10-12
  • 0
    Right, Didn't thought about the negative ones. As I did with the zero: $\frac{\sin(\pi z)}{\Pi_0^\infty (z + n)}$, but now I'm not sure about the analiticity (I think it is). If not, how about removing the negative ones using the $\Gamma$ function? They are of order one.2012-10-12
  • 0
    @Pragabhava: nice idea to use $\Gamma$ to remove zeros, but somehow it does not really enrich the pool of functions with that property...2012-10-12
  • 0
    If you already have an example, then what is it that you're looking for in additional examples that isn't already provided by the one you have?2012-10-12
  • 0
    Ok, then how about this idea: Take something like $H(1-z) + \frac{1}{2} \sin(\pi z)$, but instead of the Heaviside function, use a proper [mollifier like](http://en.wikipedia.org/wiki/Mollifier) function.2012-10-12

3 Answers 3

2

All other entire functions $f$ with simple zeros exactly at positive integers differ from your $f_o(z)=1/\Gamma(-z+1)$ by a function of the form $e^{g(z)}$ for entire $g$, and vice-versa. That is, $f(z)=f_o(z) \cdot e^{g(z)}$ for entire $g$, and vice-versa. Indeed: $f(z)/f_o(z)$ has no zeros and is entire, so is of the form $e^{g(z)}$, since we can define its logarithm.

  • 0
    Very nice proof! (+1)2012-10-12
1

$$ \zeta(-2x)+\sin(\pi x), $$ but $x \neq 0.109737160708907...$

1

Denote $(p \in \mathbb{N}\cup \{0\})$ $$E\left({z},\, p\right)=\begin{cases}1-z, & p=0, \\ (1-z)e^{z+\frac{z^2}{2}+\ldots+\frac{z^p}{p}}, & p\geqslant{1}. \end{cases}$$ Function $E\left({z},\, p\right)$ is called by primary or elementary Weierstrass factor of genus $p$. Let $\{a_\nu \} \subset \mathbb{C}$ be a sequence of non-zero complex numbers such that $|{a_\nu}| \rightarrow \infty.$ Then function $$f(z)=\prod\limits_{\nu=1}^{\infty}{E\left(\dfrac{z}{a_\nu},\, p\right)}$$ called as Weierstrass canonical product, is entire function that has zeroes at points $a_\nu$ and only at them.