Sequences and series, recurrence and convergence

Show that the sum \(S_N\) of the first \(N\) terms of the series $$\frac{1}{1\cdot2\cdot3}+\frac{3}{\cdot3\cdot4}+\frac{5}{3\cdot4\cdot5}+\cdots +\frac{2n-1}{n(n+1)(n+2)}+\cdots$$ is $${1\over2}\left({3\over2}+{1\over N+1}-{5\over N+2}\right).$$ What is the limit of \(S_N\) as \(N\to\infty\)? The numbers \(a_n\) are such that $$\frac{a_n}{a_{n-1}}=\frac{(n-1)(2n-1)}{(n+2)(2n-3)}.$$ Find an expression for \(a_n/a_1\) and hence, or otherwise, evaluate \(\sum\limits_{n=1}^\infty a_n\) when \(\displaystyle a_1=\frac{2}{9}\;\).

For each positive integer \(n\), let \begin{align*} a_n&=\frac1{n+1}+\frac1{(n+1)(n+2)}+\frac1{(n+1)(n+2)(n+3)}+\cdots;\\ b_n&=\frac1{n+1}+\frac1{(n+1)^2}+\frac1{(n+1)^3}+\cdots. \end{align*}

1. Evaluate \(b_n\).
2. Show that \(0
3. Deduce that \(a_n=n!{\rm e}-[n!{\rm e}]\) (where \([x]\) is the integer part of \(x\)).
4. Hence show that \(\mathrm{e}\) is irrational.

Sum the following infinite series.

1. \[ 1 + \frac13 \bigg({\frac12}\bigg)^2 +\frac15\bigg(\frac12\bigg)^4 + \cdots + \frac{1}{2n+1} \bigg(\frac12\bigg)^{2n} + \cdots \] .
2. \[ 2 -x -x^3 +2x^4 - \cdots + 2x^{4k} - x^{4k+1} - x^{4k+3} +\cdots \] where \(|x| < 1\).
3. \[ \sum _{r=2}^\infty {r\, 2^{r-2} \over 3^{r-1} } \].
4. \[ \sum_{r=2}^\infty {2 \over r(r^2-1) } \].

For \(x>0\) find \(\int x\ln x\,\mathrm{d}x\). By approximating the area corresponding to \(\int_{0}^{1}x\ln(1/x)\, \d x\) by \(n\) rectangles of equal width and with their top right-hand vertices on the curve \(y=x\ln(1/x)\), show that, as \(n\rightarrow\infty\), \[ \frac{1}{2}\left(1+\frac{1}{n}\right)\ln n-\frac{1}{n^{2}}\left[\ln\left(\frac{n!}{0!}\right)+\ln\left(\frac{n!}{1!}\right)+\ln\left(\frac{n!}{2!}\right)+\cdots+\ln\left(\frac{n!}{(n-1)!}\right)\right]\rightarrow\frac{1}{4}. \] {[}You may assume that \(x\ln x\rightarrow0\) as \(x\rightarrow0\).{]}

Show Solution

Integrating by parts we obtain: \begin{align*} \int x \ln x \, \d x &= [\frac12 x^2 \ln x] - \int \frac12x^2 \cdot \frac1x \d x \\ &= \frac12 x^2 \ln x - \frac14 x^2 + C \end{align*}

+ - ↺

We should have: \begin{align*} \int_0^1 x \ln \frac{1}{x} \d x &= \lim_{n \to \infty} \sum_{i=1}^n \frac{1}{n} \frac{i}{n} \ln \left ( \frac{n}{i} \right) \\ \left [ -\frac12 x^2 \ln x + \frac14 x^2 \right]_0^1 &= \lim_{n \to \infty} \sum_{i=1}^n \frac{1}{n} \frac{i}{n} \ln \left ( \frac{n}{i} \right) \\ \frac{1}{4} &=\lim_{n \to \infty} \frac{1}{n^2} \sum_{i=1}^n \l i \ln n - i \ln i \r \\ &= \lim_{n \to \infty} \frac{1}{n^2}\l \frac{n(n+1)}{2} \ln n - \sum_{i=1}^n i \ln i \r \\ &= \lim_{n \to \infty} \l \frac{1}{2}(1+\frac{1}n) \ln n - \frac{1}{n^2}\sum_{i=1}^n i \ln i \r \\ &= \lim_{n \to \infty} \l \frac{1}{2}(1+\frac{1}n) \ln n - \frac{1}{n^2}\sum_{i=1}^n \sum_{k=1}^i \ln i \r \\ &= \lim_{n \to \infty} \l \frac{1}{2}(1+\frac{1}n) \ln n - \frac{1}{n^2}\sum_{k=0}^{n-1} \sum_{i=0}^k \ln (n-i) \r \\ &= \lim_{n \to \infty} \l \frac{1}{2}(1+\frac{1}n) \ln n - \frac{1}{n^2}\sum_{k=0}^{n-1} \ln \frac{n!}{(n-k)!}\r \\ \end{align*}

Obtain the sum to infinity of each of the following series.

1. \(1{\displaystyle +\frac{2}{2}+\frac{3}{2^{2}}+\frac{4}{2^{3}}+\cdots+\frac{r}{2^{r-1}}+\cdots;}\)
2. \(1{\displaystyle +\frac{1}{2}\times\frac{1}{2}+\frac{1}{3}\times\frac{1}{2^{2}}+\cdots+\frac{1}{r}\times\frac{1}{2^{r-1}}+\cdots;}\)
3. \({\displaystyle \dfrac{1\times3}{2!}\times\frac{1}{3}+\frac{1\times3\times5}{3!}\frac{1}{3^{2}}+\cdots+\frac{1\times3\times\cdots\times(2k-1)}{k!}\times\frac{1}{3^{k-1}}+\cdots.}\)

Show that the sum of the infinite series \[ \log_{2}\mathrm{e}-\log_{4}\mathrm{e}+\log_{16}\mathrm{e}-\ldots+(-1)^{n}\log_{2^{2^{n}}}\mathrm{e}+\ldots \] is \[ \frac{1}{\ln(2\sqrt{2})}. \] {[}\(\log_{a}b=c\) is equivalent to \(a^{c}=b\).{]}

If \(y=\mathrm{f}(x)\), then the inverse of \(\mathrm{f}\) (when it exists) can be obtained from Lagrange's identity. This identity, which you may use without proof, is \[ \mathrm{f}^{-1}(y)=y+\sum_{n=1}^{\infty}\frac{1}{n!}\frac{\mathrm{d}^{n-1}}{\mathrm{d}y^{n-1}}\left[y-\mathrm{f}\left(y\right)\right]^{n}, \] provided the series converges.

1. Verify Lagrange's identity when \(\mathrm{f}(x)=\alpha x\), \((0<\alpha<2)\).
2. Show that one root of the equation \[ \tfrac{1}{2}=x-\tfrac{1}{4}x^{3} \] is \[ x=\sum_{n=0}^{\infty}\frac{\left(3n\right)!}{n!\left(2n+1\right)!2^{4n+1}} \]
3. Find a solution for \(x\), as a series in \(\lambda,\) of the equation \[ x=\mathrm{e}^{\lambda x}. \]

Prove that \[ \tan^{-1}t=t-\frac{t^{3}}{3}+\frac{t^{5}}{5}-\cdots+\frac{(-1)^{n}t^{2n+1}}{2n+1}+(-1)^{n+1}\int_{0}^{t}\frac{x^{2n+2}}{1+x^{2}}\,\mathrm{d}x. \] Hence show that, if \(0\leqslant t\leqslant1,\) then \[ \frac{t^{2n+3}}{2(2n+3)}\leqslant\left|\tan^{-1}t-\sum_{r=0}^{n}\frac{(-1)^{r}t^{2r+1}}{2r+1}\right|\leqslant\frac{t^{2n+3}}{2n+3}. \] Show that, as \(n\rightarrow\infty,\) \[ 4\sum_{r=0}^{n}\frac{(-1)^{r}}{(2r+1)}\rightarrow\pi, \] but that the error in approximating \(\pi\) by \({\displaystyle 4\sum_{r=0}^{n}\frac{(-1)^{r}}{(2r+1)}}\) is at least \(10^{-2}\) if \(n\) is less than or equal to \(98\).