Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

We know that the "Harmonic Series" $$ \sum \frac{1}{n}$$ diverges. And for $p >1$ we have the result that the series converges $$\sum \frac{1}{n^{p}}$$ converges.

One can then ask the question of testing the convergence the following 2 Series:

$$\sum\limits_{n=1}^{\infty} \frac{1}{n^{k + \cos{n}}}, \quad \sum\limits_{n=1}^{\infty} \frac{1}{n^{k + \sin{n}}}$$ where $ k \in (0,2)$.

Only thing which i have as tool for this problem is the inequality $| \sin{n} | \leq 1$, which i am not sure whether would applicable or not.

share|improve this question
add comment

4 Answers 4

up vote 8 down vote accepted

Ross' handwaving can be justified.

We use Weyl's theorem on the equidistribution of polynomials (mod 1) with at least one irrational coefficient (see here: http://math.stackexchange.com/questions/128/how-do-you-prove-that-pn-xi-for-xi-irrational-and-p-a-polynomial-is-uni/1163#1163)

Choose $\displaystyle p(x) = 2\pi x + \pi$.

Let $\displaystyle k \in (0,2)$. Let $\displaystyle \delta = k$ if $\displaystyle k \in (0,1)$ and $\displaystyle \delta = k-1$ otherwise.

By Weyl's theorem, density of $n$ such that the fractional part of $\displaystyle p(n) < 1- \delta$ is non zero.

Thus the density (among the set of natural numbers) of the odd numbers $\displaystyle 2n+1$ for which the fractional part of $\displaystyle (2n+1)\pi < 1 - \delta$ is non-zero. Thus the density of $\displaystyle [(2n+1)\pi]$ is non-zero too.

For such an $\displaystyle n$,

Let $\displaystyle N = [(2n+1)\pi]$.

We have that $\displaystyle (2n+1)\pi - N < 1 - \delta$ and so $\displaystyle \cos(N) - \cos((2n+1)\pi) < 1 - \delta$

And thus $\displaystyle \cos(N) < -\delta$ and so $\displaystyle \cos(N) + k < k - \delta \leq 1$

Thus for we have a positive density subset $\displaystyle S$ of $\displaystyle \mathbb{N}$ for which $\displaystyle \cos(N) + k < 1$.

We have that

$$ \sum_{N \in S} \frac{1}{N^{k+\cos(N)}} > \sum_{N \in S} \frac{1}{N}$$

Since $\displaystyle S$ is of positive density, the sum of reciprocals is divergent, for a proof see here: http://math.stackexchange.com/questions/5932/theorem-on-natural-density/


I will leave my earlier attempt here.

For $k \in (0,1)$ consider the below.

Lemma:

Given any $\displaystyle k \in (0,1)$, we can find an infinite number of odd numbers $\displaystyle M$ such that $\displaystyle M\pi - [M\pi] < 1 - k$.

Proof:

This easily follows from Vinogradov's theorem that $\displaystyle \{p_{n}\alpha\}$ is equidistributed for irrational $\displaystyle \alpha$ where $\displaystyle p_{n}$ is the $\displaystyle n^{th}$ prime. (See here: http://en.wikipedia.org/wiki/Equidistributed_sequence)

$\displaystyle \circ$

For $\displaystyle n = [M\pi]$ we have

$\displaystyle \cos(n) - \cos(M\pi) = \cos(n) + 1 < 1- k$

(using $\displaystyle |\cos x - \cos y| < |x-y|$).

And so $\displaystyle \cos(n) + k < 0$ for an infinite number of $\displaystyle n$ and so the series $\displaystyle \sum \frac{1}{n^{k+\cos n}}$ must be divergent.

For the $\displaystyle \sin n$ case, we need the sequence $\displaystyle \{(4k+3)\pi/2\}$ which is an infinite subsequence of $\displaystyle \{p_{n}\pi/2\}$ and so the series $\displaystyle \sum \frac{1}{n^{k+\sin n}}$ is divergent.

share|improve this answer
add comment

Here is a handwaving argument that the series diverges for all $k\in(0,2)$: Given $k$, there will be a certain density of $n$ for which $k+cos n <1$. A "random sample" of the harmonic series will diverge by the same argument that shows the harmonic series diverges. Our series will be greater, term by term, than the harmonic series that has numerator 0 if $k+cos n >1$ and numerator 1 if $k+cos n <1$

share|improve this answer
1  
Is every positive-density sub-series of the harmonic series divergent? –  Mariano Suárez-Alvarez Oct 14 '10 at 20:45
    
I think so, at least for a density bounded away from zero. What you need for an easy proof is positive density in terms (2^n+1,2^(n+1)). For a given positive density e, there must be an N such that the number of elements less than n in the series is greater than n*e/2 for n>N. So once we get big enough, there are 2^n*e/2 terms by term 2^n, each >1/2^n. Then there are 2^n*e/2 more by 2^(n+1), which contribute e/2 and so on. –  Ross Millikan Oct 14 '10 at 21:00
1  
@Mariano: It is true: math.stackexchange.com/questions/5932/… –  Aryabhata Oct 14 '10 at 21:04
    
I have updated my answer with a justification for Ross' intuition. –  Aryabhata Oct 14 '10 at 22:57
add comment

If $k$ is a real number less than 2 then $\sum_{n=1}^\infty n^{-k-\sin n}$ diverges.

This is problem 11162 from the American Mathematical Monthly, the solution by the Microsoft Research Problems Group appears in the February 2007 issue.

Here's the solution (if I've transcribed it correctly).

If $k\leq 0$, then the series diverges by comparison with the harmonic series. If $0< k <2$, then let $\alpha,\beta$ be such that $\sin\alpha=\sin\beta=1-k$ and $\pi/2 < \alpha < \beta < 5\pi/2$. Note that $\sin x < 1-k$ for all $x$ with $\alpha < x< \beta$. Define $$ S=(n\in{\mathbb N}:\sin n<1-k )={\mathbb N}\cap\bigcup_{j\in {\mathbb Z}}(2\pi j+\alpha,2\pi j+\beta).$$

Since $\pi$ is irrational, the sequence $n/(2\pi)$ mod 1 is dense in [0,1], so $S\not=\emptyset$ and there exist positive integers $a,A,b,B$ with $$0 < a-2\pi A < {\beta-\alpha\over2}\quad\mbox{and}\quad -{\beta-\alpha\over2} < b-2\pi B < 0.$$

Let $C=\max(a,b)$. Given $s\in S$, we claim that there exists $s^\prime\in S$ with $s < s^\prime\leq s+C$. Indeed, there exists $j\in{\mathbb Z}$ with $\alpha < s-2\pi j<\beta$. Compare $s-2\pi j$ to $(\alpha+\beta)/2$. If $\alpha < s-2\pi j\leq (\alpha+\beta)/2$, then $\alpha< (s+a)-2\pi(j+A)<\beta$, so we can use $s^\prime=s+a$. On the other hand, if $(\alpha+\beta)/2 < s-2\pi j < \beta$, then $a<(s+b)-2\pi(j+B) < \beta$, so we can use $s^\prime=s+b$.

Thus $S$ is infinite. Index it in increasing order, $s_1 < s_2 < \cdots.$ Now $s_j\leq s_1+C(j-1)$, so $$\sum_{n=1}^{s_m}n^{-k-\sin n}\geq \sum_{1\leq n\leq s_m, n\in S} n^{-k-\sin n} \geq \sum_{1\leq n\leq s_m , n\in S} {1\over n} \geq \sum_{j=1}^m {1\over s_j}\geq \sum_{j=1}^m {1\over s_1+C(j-1)},$$ which diverges as $m\to\infty$ by the integral test.

share|improve this answer
add comment

There is a very interesting paper by Bernard Brighi on the divergence of the series

$\sum\limits_{n=1}^{\infty} \frac{1}{n^{2+ \cos{(a+n)}}}$ for any real $a$ which I would like to attach but I don't know how to do it. Maybe most people who like the series already know it

The link is here: http://www.artofproblemsolving.com/Forum/viewtopic.php?f=67&t=361997&p=1983209#p1983209

share|improve this answer
1  
There are others who might like the series but not aware of the paper. Please do add a reference to the paper (title, authors, where it was published, page number if relevant etc.). I do not know what you mean by "attach", but I don't think you can attach a pdf file, for instance. –  Srivatsan Nov 1 '11 at 20:27
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.