15
$\begingroup$

Let $\{r_i\}_{i \in \aleph}$ be sequence of integers such that, for some $t \in \mathbb{N}$ and all $i \in \mathbb{N}$, we have $r_i = r_{i+t}$. My question:

Can $\displaystyle \sum_{i=1}^n \dfrac{r_i}{i}$ converge to $0$ if $n \rightarrow \infty$ for a non-trivial choice of the $r_i$ and $t$? Or does $\displaystyle \sum_{i=1}^\infty \dfrac{r_i}{i} = 0$ imply $r_i = 0$ for all $i \in \mathbb{N}$?

$\endgroup$
7
  • 1
    $\begingroup$ Stylistic hint: unless you really mean Aleph, the LaTeX code for natural numbers is \mathbb{N}. $\endgroup$ Apr 4, 2011 at 23:46
  • $\begingroup$ Also, minor remark: your result easily yields that $\frac{\pi}{\ln 2}$ is irrational, so we should not expect anything TOO easy to work. $\endgroup$ Apr 4, 2011 at 23:47
  • $\begingroup$ (By "your result" I mean "$r_i=0$ for all $i$".) $\endgroup$ Apr 4, 2011 at 23:48
  • $\begingroup$ The sum can be expressed as a linear combination of values of $L(1,\chi)$, the Dirichlet $L$-function, over various characters $\chi$, with coefficients coming from a cyclotomic extension of the rationals. There are results about the non-vanishing of $L(1,\chi)$; maybe there are results about the non-vanishing of linear combinations. $\endgroup$ Apr 4, 2011 at 23:59
  • $\begingroup$ And if I'm not mistaken, it also implies the non-zeroness of the Dirichlet L-series for $s = 1$, which is not TOO easy either $\endgroup$
    – Woett
    Apr 5, 2011 at 0:01

2 Answers 2

22
$\begingroup$

Yes. All the $r_i$ must equal $0$ if the period is prime, however. Consider for example $$f(s)=(1-p^{1-s})^2 \zeta(s),$$ which is periodic with period $p^2$, at $s=1$.

I should probably expand on this answer a bit. The case where $t$ is prime is an old conjecture of Chowla, which was resolved by Baker, Birch, and Wirsing (all the $r_i=0$ in this case) in the paper I link to in the first word of this answer. They give the Dirichlet series for $f(s)$ above as a counterexample when $t$ is not prime.

To see that $f(s)$ has the desired properties, I'll work it out in a bit more detail for $p=2$. Expanding $f$ out as a Dirichlet series gives $$f(s)=\sum_{n=0}^\infty \frac{1}{(4n+1)^s}-\frac{3}{(4n+2)^s}+\frac{1}{(4n+3)^s}+\frac{1}{(4n+4)^s}$$ as Woett remarks in the comments. On the other hand, $(1-2^{1-s})^2$ has a double zero at $s=1$, whereas the zeta function $\zeta(s)$ has a simple pole at $s=1$; so $f(1)=0$. So taking the limit as $s\to 1^+$ gives that the OP's series converges to $f(1)=0$ for $r_1=r_3=r_4=1,~ r_2=-3, ~t=4$, as desired.

$\endgroup$
4
  • 2
    $\begingroup$ So in particular, $r_1 = r_3 = r_4 = 1, r_2 = -3, t = 4$ answers my question. Neat! $\endgroup$
    – Woett
    Apr 5, 2011 at 0:43
  • $\begingroup$ Yup! Baker's method is pretty cool also; the paper (and Baker's theorem) is worth going through. $\endgroup$ Apr 5, 2011 at 0:48
  • 1
    $\begingroup$ Another way to do the sum is to let $$g(x)=x-(3/2)x^2+(1/3)x^3+(1/4)x^4+(1/5)x^5-(3/6)x^6+\dots$$ and use the usual methods to show that $$g(x)=\log{x+1\over x^2+1}$$ which gives $g(1)=0$. $\endgroup$ Apr 5, 2011 at 7:25
  • $\begingroup$ Edited to fix the broken link. $\endgroup$ Apr 9, 2011 at 22:33
0
$\begingroup$

If $r_i=r_{i+t}$ for some $t$ and all $i$ you can split the sum into a finite sum and the rest $$\sum_{i=1}^t \frac{r_i}{i}+\sum_{i=t}^\infty \frac{r_i}{i}=\sum_{i=1}^t \frac{r_i}{i}+r_t\sum_{i=t}^\infty \frac{1}{i} $$ by your assumption. So the latter is just the harmonic series and your series diverges unless $r_t=0$.

This reduces your question to a finite question. Now the answer depends on what you call non-trivial. Eventually all $r_i$ have to be 0, but but of course solutions exist. For example $r_i=0$ for all $i \neq 1,2$ and set $r_1=1$ and $r_2=-2$.

EDIT: Ok, I misread the question. And my answer is not correct. At least using the arguments above you can show that the series can only be conditionally convergent. Since otherwise, you could rearrange the series as follows

$$ r_1 \sum_{i \equiv 1 \mod t}\frac{1}{i}+\cdots+r_{t-1} \sum_{i \equiv t-1 \mod t}\frac{1}{i}$$. And these are essentially the harmonic series.

$\endgroup$
4
  • $\begingroup$ The condition is not that the $r_i$ are eventually constant; it is that they are periodic. $\endgroup$ Apr 4, 2011 at 23:40
  • $\begingroup$ wood, I don't think you are right. For example let $r_{2k}=0$, $r_{2k+1}=\left(-1\right)^k$, then the sum is $-\ln 2$. $\endgroup$ Apr 4, 2011 at 23:45
  • 1
    $\begingroup$ What we CAN say is that $r_1+r_2+...+r_t=0$. $\endgroup$ Apr 4, 2011 at 23:45
  • 2
    $\begingroup$ @all. yes you are completely right. I just made a quick edit to clarify things. I should have refrained from answering at all at 2 o'clock in the morning ;-) $\endgroup$
    – wood
    Apr 4, 2011 at 23:53

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.