grandes-ecoles

Papers (191)
2025
centrale-maths1__official 40 centrale-maths2__official 42 mines-ponts-maths1__mp 20 mines-ponts-maths1__pc 21 mines-ponts-maths1__psi 21 mines-ponts-maths2__mp 28 mines-ponts-maths2__pc 24 mines-ponts-maths2__psi 26 polytechnique-maths-a__mp 27 polytechnique-maths__fui 16 polytechnique-maths__pc 27 x-ens-maths-a__mp 18 x-ens-maths-c__mp 9 x-ens-maths-d__mp 38 x-ens-maths__pc 27 x-ens-maths__psi 38
2024
centrale-maths1__official 28 centrale-maths2__official 29 geipi-polytech__maths 9 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 20 mines-ponts-maths1__psi 19 mines-ponts-maths2__mp 23 mines-ponts-maths2__pc 21 mines-ponts-maths2__psi 21 polytechnique-maths-a__mp 44 polytechnique-maths-b__mp 37 x-ens-maths-a__mp 43 x-ens-maths-b__mp 35 x-ens-maths-c__mp 22 x-ens-maths-d__mp 45 x-ens-maths__pc 24 x-ens-maths__psi 26
2023
centrale-maths1__official 44 centrale-maths2__official 33 e3a-polytech-maths__mp 4 mines-ponts-maths1__mp 15 mines-ponts-maths1__pc 23 mines-ponts-maths1__psi 23 mines-ponts-maths2__mp 22 mines-ponts-maths2__pc 18 mines-ponts-maths2__psi 22 polytechnique-maths__fui 23 x-ens-maths-a__mp 25 x-ens-maths-b__mp 24 x-ens-maths-c__mp 20 x-ens-maths-d__mp 20 x-ens-maths__pc 18 x-ens-maths__psi 15
2022
centrale-maths1__mp 48 centrale-maths1__official 48 centrale-maths1__pc 37 centrale-maths1__psi 43 centrale-maths2__mp 32 centrale-maths2__official 32 centrale-maths2__pc 39 centrale-maths2__psi 45 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 24 mines-ponts-maths1__psi 24 mines-ponts-maths2__mp 24 mines-ponts-maths2__pc 19 mines-ponts-maths2__psi 20 x-ens-maths-a__mp 13 x-ens-maths-b__mp 40 x-ens-maths-c__mp 27 x-ens-maths-d__mp 46 x-ens-maths1__mp 13 x-ens-maths2__mp 40 x-ens-maths__pc 15 x-ens-maths__pc_cpge 15 x-ens-maths__psi 22 x-ens-maths__psi_cpge 23
2021
centrale-maths1__mp 40 centrale-maths1__official 40 centrale-maths1__pc 36 centrale-maths1__psi 29 centrale-maths2__mp 30 centrale-maths2__official 29 centrale-maths2__pc 38 centrale-maths2__psi 37 x-ens-maths2__mp 39 x-ens-maths__pc 44
2020
centrale-maths1__mp 42 centrale-maths1__official 42 centrale-maths1__pc 36 centrale-maths1__psi 40 centrale-maths2__mp 38 centrale-maths2__official 38 centrale-maths2__pc 40 centrale-maths2__psi 39 mines-ponts-maths1__mp_cpge 24 mines-ponts-maths2__mp_cpge 21 x-ens-maths-a__mp_cpge 18 x-ens-maths-b__mp_cpge 20 x-ens-maths-d__mp 14 x-ens-maths1__mp 18 x-ens-maths2__mp 20 x-ens-maths__pc 18
2019
centrale-maths1__mp 37 centrale-maths1__official 37 centrale-maths1__pc 40 centrale-maths1__psi 39 centrale-maths2__mp 37 centrale-maths2__official 37 centrale-maths2__pc 39 centrale-maths2__psi 49 x-ens-maths1__mp 24 x-ens-maths__pc 18 x-ens-maths__psi 26
2018
centrale-maths1__mp 47 centrale-maths1__official 47 centrale-maths1__pc 41 centrale-maths1__psi 44 centrale-maths2__mp 44 centrale-maths2__official 44 centrale-maths2__pc 35 centrale-maths2__psi 38 x-ens-maths1__mp 19 x-ens-maths2__mp 17 x-ens-maths__pc 22 x-ens-maths__psi 24
2017
centrale-maths1__mp 45 centrale-maths1__official 45 centrale-maths1__pc 22 centrale-maths1__psi 17 centrale-maths2__mp 30 centrale-maths2__official 30 centrale-maths2__pc 28 centrale-maths2__psi 44 x-ens-maths1__mp 26 x-ens-maths2__mp 16 x-ens-maths__pc 18 x-ens-maths__psi 26
2016
centrale-maths1__mp 42 centrale-maths1__pc 31 centrale-maths1__psi 33 centrale-maths2__mp 25 centrale-maths2__pc 47 centrale-maths2__psi 27 x-ens-maths1__mp 18 x-ens-maths2__mp 46 x-ens-maths__pc 15 x-ens-maths__psi 20
2015
centrale-maths1__mp 42 centrale-maths1__pc 18 centrale-maths1__psi 42 centrale-maths2__mp 44 centrale-maths2__pc 18 centrale-maths2__psi 33 x-ens-maths1__mp 16 x-ens-maths2__mp 31 x-ens-maths__pc 30 x-ens-maths__psi 22
2014
centrale-maths1__mp 28 centrale-maths1__pc 26 centrale-maths1__psi 27 centrale-maths2__mp 24 centrale-maths2__pc 26 centrale-maths2__psi 27 x-ens-maths1__mp 9 x-ens-maths2__mp 16 x-ens-maths__pc 4 x-ens-maths__psi 24
2013
centrale-maths1__mp 22 centrale-maths1__pc 45 centrale-maths1__psi 29 centrale-maths2__mp 31 centrale-maths2__pc 52 centrale-maths2__psi 32 x-ens-maths1__mp 24 x-ens-maths2__mp 35 x-ens-maths__pc 22 x-ens-maths__psi 9
2012
centrale-maths1__mp 36 centrale-maths1__pc 28 centrale-maths1__psi 33 centrale-maths2__mp 27 centrale-maths2__psi 18
2011
centrale-maths1__mp 27 centrale-maths1__pc 17 centrale-maths1__psi 24 centrale-maths2__mp 29 centrale-maths2__pc 17 centrale-maths2__psi 10
2010
centrale-maths1__mp 19 centrale-maths1__pc 30 centrale-maths1__psi 13 centrale-maths2__mp 32 centrale-maths2__pc 37 centrale-maths2__psi 27
2021 x-ens-maths2__mp

39 maths questions

Q1a Probability Definitions Probability Using Set/Event Algebra View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. If $n \in \mathbb{N}^*$, we denote $\{n \mid X\}$ the event ``$n$ divides $X$'' and $\{n \nmid X\}$ the complementary event.
Calculate $P(n \mid X)$ for $n \in \mathbb{N}^*$.
Q1b Independent Events View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. If $n \in \mathbb{N}^*$, we denote $\{n \mid X\}$ the event ``$n$ divides $X$'' and $\{n \nmid X\}$ the complementary event.
Let $\left(\alpha_i\right)_{i \in \mathbb{N}^*}$ be a sequence of natural integers. Show that the events $$\left\{p_1^{\alpha_1} \mid X\right\}, \left\{p_2^{\alpha_2} \mid X\right\}, \ldots, \left\{p_k^{\alpha_k} \mid X\right\}, \ldots$$ are mutually independent.
Q2a Probability Definitions Proof of a Probability Identity or Inequality View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. If $n \in \mathbb{N}^*$, we denote $\{n \mid X\}$ the event ``$n$ divides $X$'' and $\{n \nmid X\}$ the complementary event.
Let $r \geqslant 1$ be an integer. Show that $$P\left(\bigcap_{i=1}^{r}\left\{p_i \nmid X\right\}\right) = \prod_{i=1}^{r}\left(1 - p_i^{-s}\right).$$
Q2b Sequences and Series Evaluation of a Finite or Infinite Sum View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
Deduce that $$\zeta(s)^{-1} = \lim_{n \rightarrow +\infty} \prod_{k=1}^{n}\left(1 - p_k^{-s}\right).$$
Q3a Geometric Distribution View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
Show that for all $k \in \mathbb{N}^*$, the random variable $\nu_{p_k}(X) + 1$ follows the geometric distribution with parameter $\left(1 - p_k^{-s}\right)$.
Q3b Principle of Inclusion/Exclusion View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
Show that, for $r \in \mathbb{N}^*$, $k_1 < \cdots < k_r$ in $\mathbb{N}^*$ and $\left(n_1, \ldots, n_r\right) \in \mathbb{N}^r$, we have $$\begin{aligned} & P\left(\nu_{p_{k_1}}(X) = n_1, \ldots, \nu_{p_{k_r}}(X) = n_r\right) = \\ & \sum_{\ell=0}^{r}(-1)^{\ell} \sum_{\substack{\left(\varepsilon_1, \ldots, \varepsilon_r\right) \in \{0,1\}^r \\ \varepsilon_1 + \cdots + \varepsilon_r = \ell}} P\left(\nu_{p_{k_1}}(X) \geqslant n_1 + \varepsilon_1, \nu_{p_{k_2}}(X) \geqslant n_2 + \varepsilon_2, \ldots, \nu_{p_{k_r}}(X) \geqslant n_r + \varepsilon_r\right). \end{aligned}$$
Q3c Independent Events View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
Deduce that the random variables $\nu_{p_1}(X), \ldots, \nu_{p_k}(X), \ldots$ are mutually independent.
Q4a Number Theory Arithmetic Functions and Multiplicative Number Theory View
If $n \in \mathbb{N}^*$, we denote, for $i \in \{0,1,2,3\}$, $$r_i(n) = \operatorname{Card}\{d \in \mathbb{N} : d \equiv i [4] \text{ and } d \mid n\}$$ We set $g(n) = r_1(n) - r_3(n)$.
Show that if $m$ and $n$ are two nonzero natural integers that are coprime, we have $g(mn) = g(m)g(n)$.
Q4b Number Theory Modular Arithmetic Computation View
If $n \in \mathbb{N}^*$, we denote, for $i \in \{0,1,2,3\}$, $$r_i(n) = \operatorname{Card}\{d \in \mathbb{N} : d \equiv i [4] \text{ and } d \mid n\}$$ We set $g(n) = r_1(n) - r_3(n)$.
Show that, for all $n \in \mathbb{N}$, and all prime number $p$, we have $$g\left(p^n\right) = \begin{cases} 1 & \text{if } p = 2 \\ n+1 & \text{if } p \equiv 1 [4] \\ \frac{1}{2}\left(1+(-1)^n\right) & \text{if } p \equiv 3 [4] \end{cases}$$
Q5 Proof Deduction or Consequence from Prior Results View
Let $\left(f_n\right)_{n \geqslant 1}$ be a sequence of functions from $\mathbb{N}^*$ to $\mathbb{R}$ such that, for all $x \in \mathbb{N}^*$, the sequence $\left(f_n(x)\right)_{n \geqslant 1}$ converges to a real number $f(x)$ as $n$ tends to $+\infty$. We assume that there exists a function $h : \mathbb{N}^* \rightarrow [0, +\infty[$ such that $h(X)$ has finite expectation and such that $\left|f_n(m)\right| \leqslant h(m)$ for all $m$ and $n$ in $\mathbb{N}^*$. Justify that $E(f(X))$ has finite expectation and show that $$\lim_{n \rightarrow +\infty} E\left(f_n(X)\right) = E(f(X)).$$
Q6a Sequences and Series Evaluation of a Finite or Infinite Sum View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
We denote $r(n)$ the number of divisors $d \geqslant 1$ of $n$. Show that the series $\sum_{n=1}^{+\infty} r(n) n^{-s}$ converges and that its sum equals $\zeta(s)^2$.
Q6b Sequences and Series Convergence/Divergence Determination of Numerical Series View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. If $n \in \mathbb{N}^*$, we set $g(n) = r_1(n) - r_3(n)$ where $r_i(n) = \operatorname{Card}\{d \in \mathbb{N} : d \equiv i [4] \text{ and } d \mid n\}$.
Deduce that the series $\sum_{n=1}^{+\infty} g(n) n^{-s}$ converges.
Q7a Sequences and Series Limit Evaluation Involving Sequences View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
Show that the sequence of functions $\left(x \mapsto \prod_{k=1}^{n} p_k^{\nu_{p_k}(x)}\right)_{n \geqslant 1}$ from $\mathbb{N}^*$ to $\mathbb{N}^*$ converges pointwise to the identity function.
Q7b Discrete Random Variables Expectation of a Function of a Discrete Random Variable View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. If $n \in \mathbb{N}^*$, we set $g(n) = r_1(n) - r_3(n)$ where $r_i(n) = \operatorname{Card}\{d \in \mathbb{N} : d \equiv i [4] \text{ and } d \mid n\}$.
Show that $E(g(X)) = \lim_{n \rightarrow +\infty} \prod_{k=1}^{n} E\left(g\left(p_k^{\nu_{p_k}(X)}\right)\right)$.
Q8a Discrete Random Variables Expectation of a Function of a Discrete Random Variable View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
Show that if $p$ is a prime number such that $p \equiv 1 [4]$, we have $$E\left(g\left(p^{\nu_p(X)}\right)\right) = \frac{1}{1 - p^{-s}}.$$
Q8b Discrete Random Variables Expectation of a Function of a Discrete Random Variable View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
Calculate $E\left(g\left(p^{\nu_p(X)}\right)\right)$ if $p$ is a prime number satisfying $p \equiv 3 [4]$.
Q8c Discrete Random Variables Expectation of a Function of a Discrete Random Variable View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$.
Deduce $$E(g(X)) = \lim_{n \rightarrow +\infty} \prod_{k=1}^{n} \frac{1}{1 - \chi_4\left(p_k\right) p_k^{-s}}.$$
Q9a Discrete Random Variables Expectation of a Function of a Discrete Random Variable View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. We recall that $\chi_4(2n) = 0$ and $\chi_4(2n-1) = (-1)^{n-1}$ for $n \in \mathbb{N}^*$.
Show that, if $p$ is a prime number, $$E\left(\chi_4\left(p^{\nu_p(X)}\right)\right) = \frac{1 - p^{-s}}{1 - \chi_4(p) p^{-s}}.$$
Q9b Discrete Random Variables Expectation of a Function of a Discrete Random Variable View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. We recall that $\chi_4(2n) = 0$ and $\chi_4(2n-1) = (-1)^{n-1}$ for $n \in \mathbb{N}^*$.
Show that $$E\left(\chi_4(X)\right) = \frac{1}{\zeta(s)} \lim_{n \rightarrow +\infty} \prod_{k=1}^{n} \frac{1}{1 - \chi_4\left(p_k\right) p_k^{-s}}.$$
Q9c Sequences and Series Evaluation of a Finite or Infinite Sum View
Let $s > 1$ be a real number and let $X$ be a random variable taking values in $\mathbb{N}^*$ following the zeta distribution with parameter $s$. We recall that $\chi_4(2n) = 0$ and $\chi_4(2n-1) = (-1)^{n-1}$ for $n \in \mathbb{N}^*$. We set $g(n) = r_1(n) - r_3(n)$ where $r_i(n) = \operatorname{Card}\{d \in \mathbb{N} : d \equiv i [4] \text{ and } d \mid n\}$.
Deduce that the series $$\sum_{n=0}^{+\infty} \frac{(-1)^n}{(2n+1)^s}$$ is convergent and that its sum equals $E(g(X))$.
Q10a Addition & Double Angle Formulae Trigonometric Identity Proof or Derivation View
Let $n \in \mathbb{N}$. Explicitly give a polynomial $P_n \in \mathbb{R}[X]$ such that, for all $\theta \in \mathbb{R}$, $$\sin((2n+1)\theta) = \sin(\theta) P_n\left(\sin^2(\theta)\right).$$ Hint: you may expand $(\cos(\theta) + i\sin(\theta))^{2n+1}$.
Q10b Roots of polynomials Factored form and root structure from polynomial identities View
Let $n \in \mathbb{N}$ and let $P_n \in \mathbb{R}[X]$ be such that, for all $\theta \in \mathbb{R}$, $\sin((2n+1)\theta) = \sin(\theta) P_n\left(\sin^2(\theta)\right)$.
Determine the roots of $P_n$ and deduce that, for all $x \in \mathbb{R}$, $$P_n(x) = (2n+1) \prod_{k=1}^{n}\left(1 - \frac{x}{\sin^2\left(\frac{k\pi}{2n+1}\right)}\right).$$
Q10c Addition & Double Angle Formulae Trigonometric Identity Proof or Derivation View
Let $n \in \mathbb{N}$ and let $P_n \in \mathbb{R}[X]$ be such that, for all $\theta \in \mathbb{R}$, $\sin((2n+1)\theta) = \sin(\theta) P_n\left(\sin^2(\theta)\right)$, and $$P_n(x) = (2n+1) \prod_{k=1}^{n}\left(1 - \frac{x}{\sin^2\left(\frac{k\pi}{2n+1}\right)}\right).$$
Deduce that, for all $x \in \mathbb{R}$, $$\sin(\pi x) = (2n+1)\sin\left(\frac{\pi x}{2n+1}\right) \prod_{k=1}^{n}\left(1 - \frac{\sin^2\left(\frac{\pi x}{2n+1}\right)}{\sin^2\left(\frac{k\pi}{2n+1}\right)}\right).$$
Q11a Sequences and Series Limit Evaluation Involving Sequences View
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$: $$u_{m,n}(x) = (2n+1)\sin\left(\frac{\pi x}{2n+1}\right) \prod_{k=1}^{m}\left(1 - \frac{\sin^2\left(\frac{\pi x}{2n+1}\right)}{\sin^2\left(\frac{k\pi}{2n+1}\right)}\right)$$ and $$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).$$
Show that the sequences, indexed by $n$, $\left(u_{m,n}(x)\right)_{n > m}$ and $\left(v_{m,n}(x)\right)_{n > m}$ are convergent in $\mathbb{R}^*$.
Q11b Sequences and Series Proof of Inequalities Involving Series or Sequence Terms View
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$.
Q11c Sequences and Series Evaluation of a Finite or Infinite Sum View
Deduce that, for all $x \in \mathbb{R}$, $$\sin(\pi x) = \pi x \lim_{n \rightarrow +\infty} \prod_{k=1}^{n}\left(1 - \frac{x^2}{k^2}\right).$$
Q12 Sequences and series, recurrence and convergence Sequence of functions convergence View
We recall that the sequence $\left(\left(\sum_{k=1}^{n} k^{-1}\right) - \ln(n)\right)_{n \geqslant 1}$ converges. We denote $\gamma$ its limit. Let $n \in \mathbb{N}^*$. For $x \in ]0, +\infty[$, we set $$\Gamma_n(x) = \frac{1}{x} e^{-\gamma x} \prod_{k=1}^{n} \frac{e^{x k^{-1}}}{1 + x k^{-1}}.$$
Show that the sequence of functions $\left(\Gamma_n\right)_{n \geqslant 1}$ converges pointwise on $]0, +\infty[$ to a function $\Gamma$ from $]0, +\infty[$ to $]0, +\infty[$.
Q13 Sequences and series, recurrence and convergence Convergence proof and limit determination View
Let $\Gamma$ be the pointwise limit on $]0, +\infty[$ of the sequence $\left(\Gamma_n\right)_{n \geqslant 1}$ where $$\Gamma_n(x) = \frac{1}{x} e^{-\gamma x} \prod_{k=1}^{n} \frac{e^{x k^{-1}}}{1 + x k^{-1}}.$$
Show that, for all $x \in ]0, +\infty[$, we have $\Gamma(x+1) = x\Gamma(x)$.
Q14a Sequences and series, recurrence and convergence Sequence of functions convergence View
Let $\Gamma$ be the pointwise limit on $]0, +\infty[$ of the sequence $\left(\Gamma_n\right)_{n \geqslant 1}$ where $$\Gamma_n(x) = \frac{1}{x} e^{-\gamma x} \prod_{k=1}^{n} \frac{e^{x k^{-1}}}{1 + x k^{-1}}.$$
Show that the function $\Gamma$ is of class $\mathscr{C}^2$ and that, for all $x \in ]0, +\infty[$, $$(\ln(\Gamma))''(x) = \sum_{k=0}^{+\infty} \frac{1}{(x+k)^2}.$$
Q14b Sequences and series, recurrence and convergence Convergence proof and limit determination View
Let $\Gamma$ be the pointwise limit on $]0, +\infty[$ of the sequence $\left(\Gamma_n\right)_{n \geqslant 1}$ where $$\Gamma_n(x) = \frac{1}{x} e^{-\gamma x} \prod_{k=1}^{n} \frac{e^{x k^{-1}}}{1 + x k^{-1}}.$$
Show that $\lim_{x \rightarrow +\infty} (\ln(\Gamma))''(x) = 0$.
Q15a Taylor series Prove smoothness or power series expandability of a function View
Let $\Gamma$ be the pointwise limit on $]0, +\infty[$ of the sequence $\left(\Gamma_n\right)_{n \geqslant 1}$ where $$\Gamma_n(x) = \frac{1}{x} e^{-\gamma x} \prod_{k=1}^{n} \frac{e^{x k^{-1}}}{1 + x k^{-1}}.$$ Let $f : ]0, +\infty[ \rightarrow ]0, +\infty[$ be a function of class $\mathscr{C}^2$ such that the function $\ln(f)$ is convex and satisfies $f(1) = 1$ and $f(x+1) = xf(x)$ for all $x > 0$.
Show that the function $$S : \begin{array}{ccc} ]0, +\infty[ & \longrightarrow & \mathbb{R} \\ x & \longmapsto & \ln\left(\frac{f(x)}{\Gamma(x)}\right) \end{array}$$ is 1-periodic and convex.
Q15b Taylor series Prove smoothness or power series expandability of a function View
Let $\Gamma$ be the pointwise limit on $]0, +\infty[$ of the sequence $\left(\Gamma_n\right)_{n \geqslant 1}$ where $$\Gamma_n(x) = \frac{1}{x} e^{-\gamma x} \prod_{k=1}^{n} \frac{e^{x k^{-1}}}{1 + x k^{-1}}.$$ Let $f : ]0, +\infty[ \rightarrow ]0, +\infty[$ be a function of class $\mathscr{C}^2$ such that the function $\ln(f)$ is convex and satisfies $f(1) = 1$ and $f(x+1) = xf(x)$ for all $x > 0$. The function $S(x) = \ln\left(\frac{f(x)}{\Gamma(x)}\right)$ is 1-periodic and convex.
Deduce that $f = \Gamma$.
Q16 Reduction Formulae Establish an Integral Identity or Representation View
Let $\Gamma$ be the Gamma function defined as the pointwise limit on $]0, +\infty[$ of $\Gamma_n(x) = \frac{1}{x} e^{-\gamma x} \prod_{k=1}^{n} \frac{e^{x k^{-1}}}{1 + x k^{-1}}$.
Show that for all $a \in ]0, +\infty[$ and $x \in ]0, +\infty[$: $$\int_0^{+\infty} \frac{t^{x-1}}{(1+t)^{x+a}} dt = \frac{\Gamma(x)\Gamma(a)}{\Gamma(x+a)}.$$ Hint: you may set, for $x \in ]0, +\infty[$, $f(x) = \frac{\Gamma(x+a)}{\Gamma(a)} \int_0^{+\infty} \frac{t^{x-1}}{(1+t)^{x+a}} dt$.
Q17 Reduction Formulae Establish an Integral Identity or Representation View
Let $\Gamma$ be the Gamma function. Show that for all $x \in ]0,1[$: $$\int_0^{+\infty} \frac{t^{x-1}}{1+t} dt = \frac{\pi}{\sin(\pi x)}.$$
Q18a Sequences and Series Evaluation of a Finite or Infinite Sum View
Show that for all $x \in ]0,1[$: $$\frac{\pi}{\sin(\pi x)} = \sum_{n=0}^{+\infty} \frac{(-1)^n}{n+x} + \sum_{n=0}^{+\infty} \frac{(-1)^n}{n+1-x}.$$
Q18b Taylor series Formal power series manipulation (Cauchy product, algebraic identities) View
Using the result that for all $x \in ]0,1[$: $$\frac{\pi}{\sin(\pi x)} = \sum_{n=0}^{+\infty} \frac{(-1)^n}{n+x} + \sum_{n=0}^{+\infty} \frac{(-1)^n}{n+1-x},$$ deduce that, for $x \in ]-\frac{1}{2}, \frac{1}{2}[$: $$\frac{\pi}{\cos(\pi x)} = \sum_{k=0}^{+\infty} \left(\sum_{n=0}^{+\infty} \frac{(-1)^n}{(2n+1)^{2k+1}}\right) 2^{2k+2} x^{2k}.$$
Q18c Taylor series Prove smoothness or power series expandability of a function View
Using the result that for $x \in ]-\frac{1}{2}, \frac{1}{2}[$: $$\frac{\pi}{\cos(\pi x)} = \sum_{k=0}^{+\infty} \left(\sum_{n=0}^{+\infty} \frac{(-1)^n}{(2n+1)^{2k+1}}\right) 2^{2k+2} x^{2k},$$ deduce that the function $$v : \begin{array}{ccc} ]-\frac{\pi}{2}, \frac{\pi}{2}[ & \longrightarrow & \mathbb{R} \\ x & \longmapsto & \frac{1}{\cos(x)} \end{array}$$ is expandable as a power series and that, for all $k \in \mathbb{N}$, $$\sum_{n=0}^{+\infty} \frac{(-1)^n}{(2n+1)^{2k+1}} = \frac{\pi^{2k+1}}{2^{2k+2}(2k)!} E_{2k}$$ where, for all $k \in \mathbb{N}$, $E_{2k} = v^{(2k)}(0)$.
Q19a Differentiating Transcendental Functions Higher-order or nth derivative computation View
Let $v(x) = \frac{1}{\cos(x)}$ on $]-\frac{\pi}{2}, \frac{\pi}{2}[$ and $E_{2k} = v^{(2k)}(0)$ for $k \in \mathbb{N}$.
Show that, for $n \in \mathbb{N}^*$, $$\sum_{k=0}^{n} (-1)^k \binom{2n}{2k} E_{2k} = 0$$ and deduce the values of $E_0$, $E_2$ and $E_4$.
Q19b Measures of Location and Spread View
We recall that $\sum_{n=0}^{+\infty} \frac{(-1)^n}{(2n+1)^{2k+1}} = \frac{\pi^{2k+1}}{2^{2k+2}(2k)!} E_{2k}$ where $E_{2k} = v^{(2k)}(0)$ and $v(x) = \frac{1}{\cos(x)}$. We also recall that $E(g(X)) = \sum_{n=0}^{+\infty} \frac{(-1)^n}{(2n+1)^s}$ for a random variable $X$ following the zeta distribution with parameter $s > 1$, and $g(n) = r_1(n) - r_3(n)$.
Calculate $E(g(X))$ when $X$ is a random variable following the zeta distribution with parameter 3 then with parameter 5.