Is there any simple series where all the usual convergence tests are inconclusive? And how is convergence/divergence determined for these series?
-
1Sure, 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. – Ryan Budney Jun 24 '12 at 20:46
-
@RyanBudney Unless of course, creating a test to deal with that series is extremely difficult. I think this is a good question. – Ragib Zaman Jun 24 '12 at 20:47
-
By usual, I mean http://en.wikipedia.org/wiki/Convergence_tests – TROLLHUNTER Jun 24 '12 at 20:48
-
1It would be more interesting to know if there is some positive monotonically decreasing series. And where its not an open problem. – TROLLHUNTER Jun 24 '12 at 21:13
6 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.
- 291,611
-
-
-
-
1
-
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. – Ragib Zaman Jun 24 '12 at 20:54
-
-
@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. – Jun 24 '12 at 21:05
-
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.
-
Related http://math.stackexchange.com/questions/20555/are-there-any-series-whose-convergence-is-unknown – Jun 24 '12 at 20:59
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.
- 36,065
One more example is a Flint Hills series $$ \sum_{k = 1}^{\infty} \frac{1}{n^3 \sin^2 n}. $$
At the moment nobody knows whether it converges or not, because $\frac{1}{\sin^2 n}$ can have a sporadic large values.
The question of convergence of this series is closely related to the irrationality measure of $\pi$. In particular, the convergence would imply $$ \mu (\pi) \le 2.5, $$ while currently known best upper bound for the irrationlity measure is $$ \mu(\pi) \le 7.6063... $$ The details on the connection between the two can be found in the following paper of Alekseyev.
- 3,806
- 1
- 14
- 25