Proof of Inequalities Involving Series or Sequence Terms
The question asks to establish a specific inequality or bound involving terms of a sequence, partial sums, or series-related expressions, not primarily about convergence.
Let $n$ be a non-zero natural number. Let $R \in \mathbb{C}_{n-1}[X]$ and $t \in [-1,1]$. Show that $$|R(t)| \leqslant n \sup_{-1 \leqslant x \leqslant 1} \left|R(x)\sqrt{1-x^2}\right|.$$ One may consider the polynomial $S_t(X) = R(tX)$.
Let $n$ be a non-zero natural number. Deduce that, for all $P$ in $\mathbb{C}_n[X]$, $$\left\|P'\right\|_{L^\infty([-1,1])} \leqslant n^2 \|P\|_{L^\infty([-1,1])}$$
Assume that $f \in L^1(\mathbb{R})$ and $g \in L^\infty(\mathbb{R})$. Show that $f * g$ is bounded and that $\|f*g\|_\infty \leqslant \|f\|_1 \|g\|_\infty$.
Let $\lambda > 0$ and let $f \in L^1(\mathbb{R}) \cap \mathcal{C}^1(\mathbb{R})$ such that $\hat{f} \in L^1(\mathbb{R})$ and such that $\hat{f}$ is zero outside the segment $[-\lambda, \lambda]$. Deduce that, if $f \in L^\infty(\mathbb{R})$, there exists a constant $C \in \mathbb{R}_+^*$, independent of $\lambda$ and of $f$, such that $$\left\|f'\right\|_\infty \leqslant C\lambda \|f\|_\infty$$
Let $A > 2$. Show that, for every $(p,q) \in \mathbb{N}^{2}$, $$\mathbb{E}\left(\sum_{\substack{1 \leqslant i \leqslant n \\ |\Lambda_{i,n}| \geqslant A}} |\Lambda_{i,n}|^{p}\right) \leqslant \frac{1}{A^{p+2q}} \mathbb{E}\left(\sum_{i=1}^{n} |\Lambda_{i,n}|^{2(p+q)}\right)$$
Let $x \in \mathbb{R} \backslash \mathbb{Z}$. Let $m \in \mathbb{N}$ such that $m > |x|$. We set, for $n \in \mathbb{N}$ such that $n > m$: $$v_{m,n}(x) = \prod_{k=m+1}^{n}\left(1 - \frac{\sin^2\left(\frac{\pi x}{2n+1}\right)}{\sin^2\left(\frac{k\pi}{2n+1}\right)}\right).$$ We denote $v_m(x)$ the limit of $\left(v_{m,n}(x)\right)_{n > m}$. Show that, for $n \in \mathbb{N}$ such that $n > m$, we have $$1 \geqslant v_{m,n}(x) \geqslant \prod_{k=m+1}^{n}\left(1 - \frac{\pi^2 x^2}{4k^2}\right)$$ and deduce that $\lim_{m \rightarrow +\infty} v_m(x) = 1$.
We consider a power series $g \in O_1$ with non-negative real coefficients. We assume that there exist $a > 0, b > 0$ such that $$g \prec a\left(I + \frac{g^2}{b - g}\right)$$ and $h$ is the function from question (11). Show, by induction on $k$, that $(g)_k \leqslant (h)_k$ for all $k \in \mathbb{N}$, conclude.
We consider the special case of a series of the form $f = I + F, F \in O_2$. We denote $G := f^\dagger - I, G \in O_2$. Assume that there exist $s > 0$ and $\alpha \in ]0,1[$ such that $\hat{F}(s) \leqslant \alpha s$. Show then that for all $d \geqslant 2, \widehat{[G]_d}((1-\alpha)s) \leqslant \alpha s$. Conclude that $$\hat{G}((1-\alpha)s) \leqslant \alpha s.$$
We assume that $|\lambda| \notin \{0,1\}$ and that $\rho(f) > 0$. We consider the series $H \in O_2$ from part E. Show that the series $H$ satisfies $\hat{H} \prec \frac{1}{\omega} \hat{F} \circ (I + \hat{H})$.
Let $\ell$ be a strictly positive integer. We are given a sequence $\left( v _ { n } \right) _ { n \geqslant 0 }$ of vectors in $\mathbb { R } ^ { \ell }$ such that the series $\sum _ { n } \left\| v _ { n + 1 } - v _ { n } \right\|$ converges. (a) Show that the sequence $\left( v _ { n } \right) _ { n \geqslant 0 }$ is convergent. (b) Let $v ^ { * }$ denote the limit of this sequence. Bound $\left\| v _ { n } - v ^ { * } \right\|$ by means of a remainder of the sum of the series $\sum _ { n } \left\| v _ { n + 1 } - v _ { n } \right\|$.
We fix $f \in \mathcal{C}^{K}([0,1])$ and denote by $P$ the polynomial determined in question Q7. Deduce the inequality $$\left\|f^{(k)} - P^{(k)}\right\|_{\infty} \leqslant \left\|f^{(k+1)} - P^{(k+1)}\right\|_{\infty}$$ for all $k \in \llbracket 0, K-1 \rrbracket$.
Show that there exists a constant $C > 0$ for which the interpolation inequality $$\forall f \in \mathcal{C}^{K}([0,1]), \quad \max_{0 \leqslant k \leqslant K-1} \left\|f^{(k)}\right\|_{\infty} \leqslant \left\|f^{(K)}\right\|_{\infty} + C \sum_{\ell=1}^{K} \left|f\left(x_{\ell}\right)\right|$$ is satisfied.
Let $n \in \mathbb{N}^*$, $W$ be a monic polynomial of degree $n$, $Q = \frac { 1 } { 2 ^ { n - 1 } } T _ { n } - W$, and for all $k \in \llbracket 0 , n \rrbracket$, $z _ { k } = \cos \left( \frac { k \pi } { n } \right)$. In this question, we prove $$\sup _ { x \in [ - 1,1 ] } | W ( x ) | \geqslant \frac { 1 } { 2 ^ { n - 1 } }$$ by contradiction.
If we assume that $\sup _ { x \in [ - 1,1 ] } | W ( x ) | < \frac { 1 } { 2 ^ { n - 1 } }$, show that, for all $k \in \llbracket 0 , n - 1 \rrbracket , Q \left( z _ { k } \right) Q \left( z _ { k + 1 } \right) < 0$.
For $p \notin \mathbb{N}^*$, $p \neq 0$, let $f(x) = \sum_{n=0}^{+\infty} a_n x^n$ be a non-zero power series solution of $(E_p)$, with $q$ a natural integer such that $q > p$ and $\left| a _ { n + 1 } \right| \geqslant \frac { \left| a _ { n } \right| } { 2 ( n + 1 ) }$ for all $n \geqslant q$. Deduce that, for all integer $n \geqslant q , \left| a _ { n } \right| \geqslant \frac { q ! \left| a _ { q } \right| } { 2 ^ { n - q } n ! }$.
Let $\mathcal{C}^{1}$ be the space of functions of class $C^{1}$ from $[-\pi, \pi]$ to $\mathbf{C}$. For $f \in \mathcal{C}^{1}$, we set $$\|f\|_{\infty} = \max\{|f(t)|; t \in [-\pi, \pi]\} \quad \text{and} \quad V(f) = \int_{-\pi}^{\pi} |f^{\prime}|.$$ Let $f \in \mathcal{C}^{1}$ with real values. We assume that the set $C(f)$ of points in $]-\pi, \pi[$ where the function $f^{\prime}$ vanishes is finite. We denote by $\ell$ the cardinality of $C(f)$ and, if $\ell \geq 1$, we denote by $t_{1} < \cdots < t_{\ell}$ the elements of $C(f)$. We set $t_{0} = -\pi$ and $t_{\ell+1} = \pi$. For $0 \leq j \leq \ell$, let $\psi_{j}$ be the function from $\mathbf{R}$ to $\{0,1\}$ equal to 1 on $\left[f\left(t_{j}\right), f\left(t_{j+1}\right)\right[$ and to 0 on $\mathbf{R} \backslash \left[f\left(t_{j}\right), f\left(t_{j+1}\right)\right[$. If $y \in \mathbf{R}$, show that the set $f^{-1}(\{y\}) \cap [-\pi, \pi[$ is finite with cardinality bounded by $\ell+1$; we denote this cardinality by $N(y)$. If $y \in \mathbf{R}$, express $N(y)$ in terms of $\psi_{0}(y), \ldots, \psi_{\ell}(y)$. Deduce the inequality $$V(f) \leq 2\max\{N(y); y \in \mathbf{R}\}\|f\|_{\infty}$$
Throughout this problem, $I = ]-1, +\infty[$, and $f(x) = \int_0^{\pi/2} (\sin(t))^x \mathrm{~d}t$. We call $\tilde{f}$ the application from $\mathbf{R}_+$ to $\mathbf{R}$, defined by: $$\forall x \in \mathbf{R}^+, \tilde{f}(x) = \ln(f(2x))$$ Suppose here that $x \in \mathbf{R}_+^*$, $(n,p) \in (\mathbf{N}^*)^2$ and $x \leq p$. Verify that $$\tilde{f}(n) - \tilde{f}(n-1) \leq \frac{\tilde{f}(n+x) - \tilde{f}(n)}{x} \leq \frac{\tilde{f}(n+p) - \tilde{f}(n)}{p}$$ and that $(\tilde{f}(n+x) - \tilde{f}(n))$ has a limit as $n$ tends to $+\infty$.
We define a sequence of polynomials $\left( F _ { i } \right) _ { i \geqslant 0 }$ by the following recurrence formula: $$\begin{aligned} F _ { 0 } & = f _ { 0 } + f _ { 1 } X + \cdots + f _ { d } X ^ { d } \\ \text { for } i \geqslant 0 , \quad F _ { i + 1 } & = F _ { i } + R _ { i } \end{aligned}$$ where $R _ { i }$ denotes the remainder of the Euclidean division of $P$ by $F _ { i }$. We denote by $Q _ { i }$ the quotient of the Euclidean division of $P$ by $F _ { i }$. We are furthermore given $r , s \in \mathbb { R } _ { + } ^ { * }$ with $r < \rho$ and we set, for $i \in \mathbb { N }$: $$\alpha _ { i } = s ^ { - d } \cdot \left\| F _ { i } - X ^ { d } \right\| _ { r , s } ; \quad \beta _ { i } = \left\| 1 - Q _ { i } \right\| _ { r , s } ; \quad \varepsilon _ { i } = s ^ { - d } \cdot \left\| R _ { i } \right\| _ { r , s } .$$ Show that we can choose $r$ and $s$ such that $\alpha _ { 0 } + 2 \varepsilon _ { 0 } \leqslant \frac { 1 } { 3 }$ and $\beta _ { 0 } + \varepsilon _ { 0 } \leqslant \frac { 1 } { 3 }$.
We define a sequence of polynomials $\left( F _ { i } \right) _ { i \geqslant 0 }$ by the following recurrence formula: $$\begin{aligned} F _ { 0 } & = f _ { 0 } + f _ { 1 } X + \cdots + f _ { d } X ^ { d } \\ \text { for } i \geqslant 0 , \quad F _ { i + 1 } & = F _ { i } + R _ { i } \end{aligned}$$ where $R _ { i }$ denotes the remainder of the Euclidean division of $P$ by $F _ { i }$. We denote by $Q _ { i }$ the quotient of the Euclidean division of $P$ by $F _ { i }$. We set, for $i \in \mathbb { N }$: $$\alpha _ { i } = s ^ { - d } \cdot \left\| F _ { i } - X ^ { d } \right\| _ { r , s } ; \quad \beta _ { i } = \left\| 1 - Q _ { i } \right\| _ { r , s } ; \quad \varepsilon _ { i } = s ^ { - d } \cdot \left\| R _ { i } \right\| _ { r , s } .$$ Show that, for all $i \in \mathbb { N }$, we have $\alpha _ { i + 1 } \leqslant \alpha _ { i } + \varepsilon _ { i }$ and if $\alpha _ { i + 1 } < 1$ then: $$\beta _ { i + 1 } \leqslant \beta _ { i } + \frac { \beta _ { i } \varepsilon _ { i } } { 1 - \alpha _ { i + 1 } } \quad \text { and } \quad \varepsilon _ { i + 1 } \leqslant \frac { \beta _ { i } \varepsilon _ { i } } { 1 - \alpha _ { i + 1 } } .$$
We define a sequence of polynomials $\left( F _ { i } \right) _ { i \geqslant 0 }$ by the following recurrence formula: $$\begin{aligned} F _ { 0 } & = f _ { 0 } + f _ { 1 } X + \cdots + f _ { d } X ^ { d } \\ \text { for } i \geqslant 0 , \quad F _ { i + 1 } & = F _ { i } + R _ { i } \end{aligned}$$ where $R _ { i }$ denotes the remainder of the Euclidean division of $P$ by $F _ { i }$. We denote by $Q _ { i }$ the quotient of the Euclidean division of $P$ by $F _ { i }$. We set, for $i \in \mathbb { N }$: $$\alpha _ { i } = s ^ { - d } \cdot \left\| F _ { i } - X ^ { d } \right\| _ { r , s } ; \quad \beta _ { i } = \left\| 1 - Q _ { i } \right\| _ { r , s } ; \quad \varepsilon _ { i } = s ^ { - d } \cdot \left\| R _ { i } \right\| _ { r , s } .$$ Deduce that, for all $i \in \mathbb { N }$, we have:
We denote by $\mathbf{e}$ the matrix of $\mathcal{M}_{n,1}(\mathbb{R})$ whose coefficients are all equal to 1, $P = I_n - \frac{1}{n}\mathbf{e}\cdot\mathbf{e}^T$, and $\Delta_n$ the set of EDM of order $n$. Show that a symmetric matrix $D$ of order $n$ with non-negative coefficients and zero diagonal is EDM if and only if $-\frac{1}{2}PDP$ is positive.
We denote by $\mathbf{e}$ the matrix of $\mathcal{M}_{n,1}(\mathbb{R})$ whose coefficients are all equal to 1, $P = I_n - \frac{1}{n}\mathbf{e}\cdot\mathbf{e}^T$, and $\Delta_n$ the set of EDM of order $n$. Show that every non-zero symmetric matrix with non-negative coefficients and zero diagonal, having a unique strictly positive eigenvalue with eigenspace of dimension 1 and eigenvector $\mathbf{e}$, is EDM.