Is there any simple series where all the usual convergence tests are inconclusive? And how is convergence/divergence determined for these series?
Series where the usual convergence tests fail
-
0Sure, but this is a bit like asking "what's the largest number anyone has ever used?" If you use that number, you can always increment it. Create a series all the known tests fail for and someone will create a new test to deal with that series. – 2012-06-24
-
0@RyanBudney Unless of course, creating a test to deal with that series is extremely difficult. I think this is a good question. – 2012-06-24
-
0By usual, I mean http://en.wikipedia.org/wiki/Convergence_tests – 2012-06-24
-
1It would be more interesting to know if there is some positive monotonically decreasing series. And where its not an open problem. – 2012-06-24
5 Answers
In a spirit similar to Henning's answer: let $p_n$ denote the $n$th prime number, and set $a_n = 1$ if $p_n$ and $p_n + 2$ are both prime, and $0$ otherwise. Divergence of the series is of course equivalent to infinitude of twin primes. In fact, any statement about infinitude of subsets of countable sets can be mapped to an equivalent statement about convergence or divergence of infinite series.
Now, after massaging the statement above and recalling Godel's incompleteness theorem, one could see that in fact there are infinitely many infinite series whose convergence or divergence could not be determined given our (finite) axiomatic system.
How about $$a_n = \begin{cases} 0 & \text{if $2n$ is the sum of two primes}\\ 1 & \text{otherwise}\end{cases} $$ A nontrivial amount of fame awaits you if you can determine whether that converges or not.
-
0It diverges. :D – 2012-06-24
-
0I think you mean $\sum_{n=1}^\infty (1-a_n)$. – 2012-06-24
-
0@LeonidKovalev: Happier now? – 2012-06-24
-
1@HenningMakholm Exactly the opposite. I thought I was going to be famous. :-( – 2012-06-24
-
3Even if such a series converges, all we conclude is that there is at most a finite number of counterexamples to the Goldbach conjecture. Another example to convey the idea is $a_n= 1$ if $p_n+2$ is prime, 0 otherwise. – 2012-06-24
-
0@Ragib: Yes, that's better. – 2012-06-24
-
0@Ragib: I just realized that I posted that as an answer, before seeing this comment. But of course, it goes a bit deeper: one can be sure that there are infinitely many infinite series whose convergence/divergence cannot be determined. – 2012-06-24
-
0@William All is good =). – 2012-06-24
There are a lot of series for which we do not even know whether they converge or not. For instance, the convergence of the series $$\sum_{n} \dfrac{\mu(n)}{n^s}$$ for $\text{Re}(s) \in (1/2,1)$ is essentially equivalent to the Riemann Hypothesis. Hence, new techniques and ideas are needed to analyze convergence in this case.
There are plenty of other examples as well where we do not know about the convergence or divergence of the series. A trivial example is as follows. Any conjecture on infinitude of a certain thing can be converted into a series. For instance, if there is a conjecture stating there are infinitely many $x \in X$ such that a certain statement $P(x)$ is true. Then this can be converted into a series $$\sum_{x \in X} \mathbb{1}_{P(x)\text{ is true}}$$ and analyzing the convergence/divergence of this is equivalent to the conjecture being true or false.
-
0Related http://math.stackexchange.com/questions/20555/are-there-any-series-whose-convergence-is-unknown – 2012-06-24
For series with positive terms, Kummer's test always determines convergence. You will find this less exciting after seeing what the test is.
It depends on what you think of as a "simple" series. There are many series where the convergence/divergence is unknown and extremely difficult. Here is a very relevant link. There are examples of series whose convergence is equivalent to the Riemann hypothesis and other famous conjectures.