Home » Posts tagged 'Real Analysis'

Tag Archives: Real Analysis

Arctan squared integral

May 23, 2020 / Leave a comment

Evaluate the integral

    \[\mathcal{J} =\int_0^\pi \arctan^2 \left( \frac{\sin x}{2+\cos x} \right) \, \mathrm{d}x\]

Solution

First of all we note that for x \in (0, \pi)

    \begin{align*} \arctan \left ( \frac{\sin x}{2 + \cos x} \right ) &= \mathfrak{Im} \log \left ( 2 + e^{ix} \right ) \\ &= \mathfrak{Im} \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n 2^n} e^{inx} \\ &= \sum_{n=1}^{\infty} \frac{(-1)^{n-1} }{n 2^n} \sin nx \end{align*}

Hence by Parseval we get that

    \[\int_{0}^{\pi} \arctan^2 \left(\frac{\sin x}{2+\cos x}\right)\,\mathrm{d} x=\frac{\pi}{2} \cdot \sum_{n=1}^{\infty} \frac{1}{n^2 4^n}=\frac{\pi}{2} \cdot \mathrm{Li}_2 \left ( \frac{1}{4} \right )\]

Read more

Values of parameter

May 23, 2020 / Leave a comment

Find all values of \lambda \in \mathbb{R} such that

    \[e^x - \lambda x \geq 0 \quad \text{forall} \; x \in \mathbb{R}\]

Solution

We’re invoking the same technique as in the problem here. Successively we have:

    \begin{align*} e^x - \lambda x \geq 0 &\Leftrightarrow e^x \geq \lambda x \\ &\Leftrightarrow \lambda x e^{-x} \leq 1 \\ &\Leftrightarrow f(x) \leq 1 \end{align*}

Obviously f is differentiable in \mathbb{R} and its derivative is

    \[f'(x) = \lambda e^{-x} \left ( 1-x \right )\]

It is f'(x) =0 \Leftrightarrow x=1. We distinguish cases:

  • If \lambda>0 then f attains global maximum at x=1 equal to f(1)=\frac{\lambda}{e}. Since f(x) \leq 1 it follows that \lambda \leq e.
  • If \lambda<0 then f attains global minimum at x=1 equal to f(1)=\frac{\lambda}{e}. In this case , however , the inequality cannot hold for all \lambda <0; since f is continuous its range is:

        \begin{align*} f(\mathbb{R}) &= \left [ f(1), \lim_{x \rightarrow -\infty} f(x) \right ) \cup \left [ f(1), \lim_{x \rightarrow +\infty} f(x) \right ) \\ &= \left [ \frac{\lambda}{e}, +\infty \right ) \cup \left [ \frac{\lambda}{e} , 0 \right ) \\ &= \left [ \frac{\lambda}{e}, +\infty \right ) \end{align*}

    Hence this case is rejected.

  • For \lambda=0 the inequality obviously holds for all x \in \mathbb{R}.

Summing up , \lambda \in [0, e].

Read more

Convergence of a series

May 12, 2020 / 1 Comment on Convergence of a series

Examine the convergence of a series

    \[\sum_{n=1}^{\infty} \left ( 1 - 2\exp \left ( \sum_{k=1}^{n} \frac{(-1)^k}{k} \right ) \right )\]

Solution

From Taylor’s theorem with integral remainder we have that

    \[-\ln 2 = \sum_{k=1}^{n} \frac{(-1)^k}{k} + (-1)^{n+1} \int_0^1 \frac{x^n}{1+x} \, \mathrm{d}x\]

However it is known that \displaystyle \int_{0}^{1} \frac{x^n}{1+x} \, \mathrm{d}x = \frac{1}{2n} + \mathcal{O} \left ( \frac{1}{n^2} \right ). Hence,

    \[\sum_{k=1}^{n} \frac{(-1)^k}{k} = -\ln 2 + \frac{(-1)^n}{2n} + \mathcal{O} \left ( \frac{1}{n^2} \right )\]

Exponentiating we get

    \[1- 2 \exp \left ( \sum_{k=1}^{n} \frac{(-1)^k}{k} \right ) = \frac{(-1)^n}{2n} + \mathcal{O} \left ( \frac{1}{n^2} \right )\]

Thus the series converges.

Read more

Rational function and polynomial

May 9, 2020 / Leave a comment

Prove that there does not exist a rational function f with real coefficients such that

    \[f \left ( \frac{x^2}{x+1} \right ) = \mathrm{P}(x)\]

where \mathrm{P}(x) \in \mathbb{R}[x] is a non constant polynomial.

Solution

Since polynomials are defined on x=-1 we have that

    \begin{align*} \mathbb{R} \ni \mathrm{P}(-1) & =\lim_{x \rightarrow -1^+} \mathrm{P}(x) \\ &=\lim_{x \rightarrow -1^+}f \left(\frac{x^2}{x+1} \right) \\ &=\lim_{x \rightarrow \infty} f\left(\frac{x^2}{x+1}\right) \\ &=\lim_{x \rightarrow \infty} \mathrm{P}(x) \end{align*}

Since \mathrm{P} tends to a finite value as x \rightarrow \infty it must be a constant polynomial. In particular, f must be constant in the range of \frac{x^2}{x+1} which is an infinite set, implying that f must also be constant. This proves what we wanted.

Read more

Factorial series

April 26, 2020 / 1 Comment on Factorial series

Evaluate the series

    \[\mathcal{S} = \sum_{n=0}^{\infty} \frac{1}{(3n)!}\]

Solution

Let \delta_{n, k} denote Kronecker’s delta and \zeta_m = e^{2\pi m i /3}. We have successively,

    \begin{align*} \sum_{n=0}^{\infty} \frac{1}{(3n)!} &=\sum_{n=0}^{\infty} \sum_{k=0}^{\infty} \frac{\delta_{k, 3n}}{k!} \\ &=\frac{1}{2\pi i } \sum_{n=0}^{\infty} \sum_{k=0}^{\infty}\; \oint \limits_{\left | z \right |=R>1} z^{3n-k+1} \, \mathrm{d} z\\ &= \frac{1}{2\pi i }\oint \limits_{ \left | z \right |=R>1} \frac{1}{z} \sum_{n=0}^{\infty} \frac{1}{z^{3n}} \sum_{k=0}^{\infty} \frac{z^k}{k!} \, \mathrm{d} z\\ &= \frac{1}{2\pi i} \oint \limits_{\left | z \right |=R>1} \frac{e^z}{z \left ( 1-\frac{1}{z^3} \right )}\, \mathrm{d} z\\ &= \frac{1}{2\pi i } \oint \limits_{\left | z \right |=R>1} \frac{e^z z^2}{z^3-1} \, \mathrm{d}z \\ &=\sum_{m=-1}^{1}\frac{\zeta_m^2 e^{\zeta_m}}{3\zeta_m^2} \end{align*}

It follows that

    \[\mathcal{S} =\frac{e}{3} + \frac{2 \cos \frac{\sqrt{3}}{2}}{3\sqrt{e}}\]

Read more

Post navigation

← Older posts

Donate to Tolaso Network