Intereting Posts

Simplified form for $\frac{\operatorname d^n}{\operatorname dx^n}\left(\frac{x}{e^x-1}\right)$?
Average order of $\mathrm{rad}(n)$
Why is $\mathbb{Z}$ an integral domain?
Subgroup of maximal order is normal
Example of dynamical system where: $NW(f) \not\subset \overline{R(f)}$
Evaluate the integral $\int_{0}^{\infty} \frac{1}{(1+x^2)\cosh{(ax)}}dx$
The ideal generated by $2$ and $ x$ in $\mathbb{Z}$
Incorrect notation in math?
Can we make an integral domain with any number of members?
How many associative binary operations there are on a finite set?
suppose $|a|<1$, show that $\frac{z-a}{1-\overline{a}z}$ is a mobius transformation that sends $B(0,1)$ to itself.
measurability of supremum of a class of functions
How prove this $|A||M|=A_{11}A_{nn}-A_{1n}A_{n1}$
How do compare two ratios of gamma functions?
Where is the flaw in my Continuum Hypothesis Proof?

This question is motivated by this one. In the accepted answer, two positive non-decreasing sequences $(a_n)$ and $(b_n)$ are given such that

$$

\sum_{n=1}^\infty\frac{1}{a_n}=\sum_{n=1}^\infty\frac{1}{b_n}=\infty,\quad\text{but}\quad \sum_{n=1}^\infty\frac{1}{a_n+b_n}<\infty.

$$

Now take $b_n=n$.

Is there a positive non-decreasing sequence $(a_n)$ such that

$$

\sum_{n=1}^\infty\frac{1}{a_n}=\infty,\quad\text{but}\quad \sum_{n=1}^\infty\frac{1}{n+a_n}<\infty\,?

$$

- Evaluate $ \sum\limits_{n=1}^{\infty}\frac{n}{n^{4}+n^{2}+1}$
- Continued Fraction of an Infinite Sum
- Question about Euler's approach to find $\sum_{n=1}^\infty\frac1{n^2}=\frac{\pi^2}6$
- Value of series, Partialsum?
- if $f(n) \to g(n)$ then $\frac{\sum f(n)}{\sum g(n)} \to 1$?
- How to prove by arithmetical means that $\sum\limits_{k=1}^\infty \frac{((k-1)!)^2}{(2k)!} =\frac{1}{3}\sum\limits_{k=1}^{\infty}\frac{1}{k^{2}}$

Some remarks:

- If $a,b>0$, then $\max(a,b)\le a+b\le2\max(a,b)$. Thus

$$

\sum_{n=1}^\infty\frac{1}{n+a_n}<\infty\quad\text{is equivalent to}\quad\sum_{n=1}^\infty\frac{1}{\max(n,a_n)}<\infty

$$ - If we eliminate the condition that $(a_n)$ be non-decreasing, it is easy to find an example, like $a_n=n^2$ if $n$ is not a squere, $a_n=\sqrt{n}$ is $n$ is a square.
- If such a sequence existes, it must satisfy

$$

\sup\frac{a_n}{n}=\sup\frac{n}{a_n}=\infty.

$$

- Find the $n$th term of $1, 2, 5, 10, 13, 26, 29, …$
- Would it ever make sense to assign $1+2+3+4+5+\dots$ a value of $\frac{1}{3}$
- How does one evaluate $\lim\limits _{n\to \infty }\left(\prod_{x=2}^{n}\frac{x^3-1}{x^3+1}\right)$?
- Does the sum $\sum^{\infty}_{k=1} \frac{\sin(kx)}{k^{\alpha}}$ converge for $\alpha > \frac{1}{2}$ and $x \in $?
- $-4\zeta(2)-2\zeta(3)+4\zeta(2)\zeta(3)+2\zeta(5)=S$
- Find the closed form for $\int_{0}^{\infty}\cos{x}\ln\left({1+e^{-x}\over 1-e^{-x}}\right)dx=\sum_{n=0}^{\infty}{1\over n^2+(n+1)^2}$
- How can I show that $\sum \limits_{n=2}^\infty\frac{1}{n\ln n}$ is divergent without using the integral test?
- Let $\{a_n\}$ be defined as follows: $a_1 = 2$, $a_{n+1}=\frac{1}{3-a_n}$, if $n \geq 1$. Does $\{a_n\}$ converge?

We use Abel’s (or Pringsheim’s) theorem:

If $b_n$ is decreasing and positive, and if $\sum b_n$ converges, then $\lim\limits_{n\rightarrow\infty} nb_n=0$.

Now,

if $\sum {1\over n+a_n}$ converged, we would have the string of implications:

$${n\over n+a_n}\rightarrow 0\quad \Rightarrow \quad{a_n\over n} \rightarrow\infty

\quad\Rightarrow\quad {n\over a_n}\rightarrow0\quad\Rightarrow \quad\sup{n\over a_n}<\infty.$$

A self contained and elementary proof. (See below the cut for the “explanation” invoking Abel’s theorem.)

As noted by the OP, it suffice to consider the series $\sum \max(a_j,j)^{-1}$. Let $(n_k)$ and $(m_k)$ be two sequences of increasing positive integers satisfying

$$ 0 < \cdots < n_k < m_k < n_{k+1} < m_{k+1} < \cdots $$

such that when $n_k \leq j < m_k$ we have $a_j \geq j$ and $m_k \leq j < n_{k+1}$ we have $j > a_j$.

This implies that (using monotonicity of $a_j$)

$$ \sum_{j = 1}^\infty \frac{1}{\max(a_j,j)} = \sum_{k = 1}^{\infty} \left( \sum_{j = n_k}^{m_k-1} \frac{1}{a_j} + \sum_{j = m_k}^{n_{k+1} – 1} j^{-1}\right) \geq \sum_k (1-n_k/m_k) + \ln \frac{n_{k+1}}{m_k} $$

But observing that $\ln$ is concave, we have that

$$ \geq – \ln \frac{n_k}{m_k} + \ln \frac{n_{k+1}}{m_k} = \sum \ln n_{k+1} – \ln n_{k} $$

a telescoping sum. Using that $(n_k)$ is strictly increasing and integer valued, we get a contradiction.

Basically this is a modification on Abel’s theorem as in David Mitra’s answer. If $a_j$ and $j$ interchanges “leads” infinitely often, then $\limsup \frac{n}{n+a_n} \neq 0$, and hence $\frac{1}{n+a_n}$ cannot be convergent. Therefore for that series to converge, there exists some $M < \infty$ such that $a_l > l$ for all $l > M$. This implies than the $(a_l)^{-1}$ must also be a convergent series.

Let $S=\{n:n\leq a_n\}$. Then $\sum_{n=1}^\infty\frac{1}{\max(n,a_n)}=\sum_{n\in S}1/a_n+\sum_{n\in N-S}1/n$

In this question it is showed that if a subseries of a diverging sequence has indices dense in N then it diverges.

But if S is not dense in N, then N-S must be dense in N, hence one of the sums must diverge.

This also seems to imply a *positive* answer to the Slowing down divergence 2 question.

- Equivalence of tensor reps & tensor products of reps
- Why Lie algebras of type $B_2$ and $C_2$ are isomorphic?
- Surface area of ellipsoid given by rotating $\frac{x^2}{2}+y^2=1$ around the x-axis
- $A,B$ be Hermitian.Is this true that $tr\le tr(A^2B^2)$?
- Exercising divergent summations: $\lim 1-2+4-6+9-12+16-20+\ldots-\ldots$
- Is it necessary for the homsets to be disjoint in a category?
- On the polynomial formula for determinants
- How to study math to really understand it and have a healthy lifestyle with free time?
- I've got the same answer to my question via probability and combinations, but I don't know why!
- Number of ways to write set $S$ as union of $l$ unique $k$-subsets
- Assume $f$ is a continuous one-to-one function over an interval. Prove that $f$ is strictly monotone
- Derivative of cot(x)
- When is partial differentiation commutitive
- Alternate proof for $a^2+b^2+c^2\le 9R^2$
- Hexagon packing in a circle