Summation Formula over Half-Integers

Theorem
Let $N \in \N$ be an arbitrary natural number.

Let $C_N$ be the square embedded in the complex plane $\C$ with vertices $N \paren {\pm 1 \pm i}$.

Let $f$ be a meromorphic function on $\C$ with finitely many poles.

Suppose that:


 * $\ds \int_{C_N} \paren {\pi \tan \pi z} \map f z \rd z \to 0$

as $N \to \infty$.

Let $X$ be the set of poles of $f$.

Let $Y$ be the set of poles of $\map f {\dfrac {2 z + 1} 2}$.

Then:


 * $\ds \sum_{n \mathop \in \Z \setminus Y} \map f {\frac {2 n + 1} 2} = \sum_{z_0 \mathop \in X} \Res {\pi \tan \paren {\pi z} \map f z} {z_0}$

If $Y \cap \Z = \O$, this becomes:


 * $\ds \sum_{n \mathop = -\infty}^\infty \map f {\frac {2 n + 1} 2} = \sum_{z_0 \mathop \in X} \Res {\pi \tan \paren {\pi z} \map f z} {z_0}$