Arithmotheoretic sum

October 23, 2019 / Leave a comment

Evaluate the limit:

    \[\ell= \lim_{n \rightarrow +\infty} \frac{1}{n^2} \sum_{m=1}^{n} n \pmod m\]

Solution

    \begin{align*} \ell &=\lim_{n \rightarrow +\infty} \frac{1}{n^2} \sum_{m=1}^{n} n \pmod m \\ &= \lim_{n \rightarrow +\infty} \frac{1}{n^2} \sum_{m=1}^{n} \left ( n - m \left \lfloor \frac{n}{m} \right \rfloor \right ) \\ &=\lim_{n \rightarrow +\infty} \frac{1}{n^2} \left ( n^2 - \sum_{m=1}^{n} m \left \lfloor \frac{n}{m} \right \rfloor \right ) \\ &=1 - \lim_{n \rightarrow +\infty} \frac{1}{n} \sum_{m=1}^{n} \frac{m}{n} \left \lfloor \frac{n}{m} \right \rfloor \\ &= 1 - \int_{0}^{1} x \left \lfloor \frac{1}{x} \right \rfloor \, \mathrm{d}x \end{align*}

However,

    \begin{align*} \int_{0}^{1} x \left \lfloor \frac{1}{x} \right \rfloor \, \mathrm{d}x &\overset{u=1/x}{=\! =\! =\! =\! =\!} \int_{1}^{\infty} \frac{\left \lfloor u \right \rfloor}{u^3} \, \mathrm{d}x \\ &=\sum_{n=1}^{\infty} \int_{n}^{n+1} \frac{n}{x^3} \, \mathrm{d}x \\ &= \frac{1}{2}\sum_{n=1}^{\infty} n \left ( \frac{1}{n^2} - \frac{1}{(n+1)^2} \right )\\ &= \frac{1}{2} \sum_{n=1}^{\infty} \left ( \frac{1}{n} - \frac{n}{(n+1)^2} \right )\\ &= \frac{1}{2} \sum_{n=1}^{\infty} \left ( \frac{1}{n} - \frac{1}{n+1} + \frac{1}{(n+1)^2} \right )\\ &=\frac{1}{2}\cancelto{1}{\sum_{n=1}^{\infty} \left ( \frac{1}{n} - \frac{1}{n+1} \right )}+ \frac{1}{2} \sum_{n=1}^{\infty} \frac{1}{(n+1)^2} \\ &=\frac{1}{2} + \frac{1}{2}\sum_{n=2}^{\infty} \frac{1}{n^2} \\ &=\frac{1}{2} + \frac{1}{2} \left ( \frac{\pi^2}{6} - 1 \right ) \\ &=\frac{\pi^2}{12} \end{align*}

Hence

    \[\ell = 1 - \frac{\pi^2}{12}\]

Read more

Series of Bessel function

October 10, 2019 / Leave a comment

Let J_n denote the Bessel function of the first kind. Prove that

    \[\sum_{n=-\infty}^{\infty}\left|J_n(z)\right|^2 =1\]

Solution

The Jacobi – Anger expansion tells us that

(1)   \begin{equation*} e^{iz\sin\theta} = \sum_{n=-\infty}^{\infty}J_n(z) e^{in\theta} \end{equation*}

Hence by Parseval’s Theorem it follows that

    \begin{align*} \sum_{n=-\infty}^{\infty}\left|J_n(z)\right|^2 &= \frac{1}{2\pi}\int_{0}^{2\pi}e^{iz\sin \theta} e^{iz\sin(-\theta)}\,\mathrm{d} \theta \\ &= \frac{1}{2\pi}\int_{0}^{2\pi}\mathrm{d} \theta \\ &=1 \end{align*}

Read more

Proof of “Fermat’s last theorem”

October 5, 2019 / Leave a comment

Let x,y,z,n\in \mathbb{N}^* and n \geq z. Prove that the equation

    \[x^n+y^n=z^n\]

has no solution.

Solution

Without loss of generality , assume that x<y. If x^n+y^n=z^n held , then it would be z^n > y^n thus z^n \geq (y+1)^n. It follows from Bernoulli’s inequality that,

    \begin{align*} z^n &=x^n +y^n\\ &< 2y^n \\ &\leq \left(1 + \frac {n}{z} \right) y^n \\ &\leq \left(1 + \frac {1}{z} \right)^ny^n\\ &< \left(1 + \frac {1}{y} \right)^ny^n \\ &= (y+1)^n \\ &\leq z^n \end{align*}

which is an obscurity. The result follows.

Read more

Limit of a sequence

September 28, 2019 / Leave a comment

Let f:[0, 1] \rightarrow (0, +\infty) be a continuous function and A be the set of all positive integers n such that there exists x_n such that

    \[\int_{x_n}^{1} f(t) \, \mathrm{d}t = \frac{1}{n}\]

Prove that \{x_n\}_{n \in A} is infinite and evaluate the limit

    \[\ell = \lim_{n \rightarrow +\infty} n \left( x_n -1 \right)\]

A factorial limit

September 27, 2019 / Leave a comment

Let \cdot! denote the factorial of a real number; that is x!=\Gamma(x+1). Evaluate the limit:

    \[\ell = \lim_{x \rightarrow n} \frac{x!-n!}{x-n}\]

Solution

It holds that

    \begin{align*} \lim_{x\rightarrow n} \frac{x!-n!}{x-n} &= \lim_{x\rightarrow n} \frac{\Gamma(x+1)- \Gamma(n+1)}{x-n} \\ &=\Gamma'(n+1) \\ &=\Gamma(n+1) \psi^{(0)}(n+1) \\ &=n! \left ( \mathcal{H}_n - \gamma \right ) \end{align*}

where \mathcal{H}_n denotes the n-th harmonic number and \gamma the Euler – Mascheroni constant.

Read more

Post navigation

← Older posts

Who is Tolaso?

Find out more at his Encyclopedia Page.

Donate to Tolaso Network