Exercices divers

1. Montrer que $E$ et $F$ sont des $\R$-espaces vectoriels.\\
2. Montrer que $\varphi$ est une forme bilinéaire symétrique positive sur $E$.\\
3. Montrer que $\varphi$ induit un produit scalaire sur $F$.

1. \[ \lim_{x \to 0^+}\integrale{-x}{x}{\sin(t^2)}{t}. \]
2. \[ \lim_{x \to +\infty}\integrale{x}{2x}{\dfrac{1}{\ln t}}{t}. \]
3. \[ \lim_{x \to +\infty}\integrale{x}{2x}{\dfrac{\sin t}{t}}{t}. \]

1. \[ \lim_{x \to 0^+}\integrale{x}{2x}{\dfrac{e^t}{t}}{t}. \]
2. \[ \lim_{x \to +\infty}\integrale{x}{2x}{\dfrac{e^{1/t}}{t}}{t}. \]
3. \[ \lim_{x \to +\infty}\integrale{x}{2x}{\dfrac{\cos(1/t)}{t}}{t}. \]

Exercice 3545. Lemme de Riemann-Lebesgues

1. Montrer que $f$ est bien définie et étudier la parité de $f$.
2. Justifier que $f$ est dérivable et calculer $f'(x)$.
3. Dresser le tableau de variation de $f$.

1. Montrer que la suite $(I_n)$ tend vers $0$.
2. Montrer que \[ I_n=\dfrac{1}{(n+1)!}+I_{n+1}. \]
3. En déduire que \[ e=\limn \Sum_{k=0}^{n}\dfrac{1}{k!}. \]

1. Trouver une relation de récurrence vérifiée par $(I_n)_{n \in \N}$.\\
2. Montrer que $(I_n)$ est décroissante et que $I_{n+1}\sim I_n$.\\
3. Donner une expression explicite de $I_n$ pour tout $n \geqslant 0$ et en déduire un équivalent de $I_n$ lorsque $n \to +\infty$.

1. Comparer $f(n)$, $\integrale{n}{n+1}{f(t)}{t}$ et $\integrale{n-1}{n}{f(t)}{t}$. \\
2. Montrer que la suite $\left(\Sum_{k=1}^{n}\Frac{1}{k^\alpha}\right)_{n\in\N^*}$ est convergente si et seulement si $\alpha > 1$. \\
3. Déterminer la nature des suites $\left(\Sum_{k=2}^{n}\Frac{1}{k\ln k}\right)_{n\geqslant 2}$ et $\left(\Sum_{k=2}^{n}\Frac{1}{k\ln^2 k}\right)_{n\geqslant 2}$.

1. Montrer que $f$ est dérivable et que \[ f'(x)=\integrale{0}{x}{\cos(t-x)g(t)}{t}. \]
2. Montrer que $f$ est solution de l'équation différentielle \[ y''+y=g(x). \]
3. Achever la résolution de cette équation différentielle.

1. Calculer $I_0$ et $I_1$.
2. Établir une relation liant $I_n$ et $I_{n+1}$.
3. En déduire que, pour tout $n \in \mathbb{N}$, \[ 0 < I_n < \dfrac{e}{n+1}. \]
4. Déterminer la limite puis un équivalent simple de $(I_n)$.
5. Soit $(u_n)$ une suite réelle définie par \[ u_0=a \quad \mathrm{et} \quad u_{n+1}=e-(n+1)u_n. \] On suppose que $a \neq I_0$. Montrer que $|u_n| \to +\infty$.

1. Calculer $u_0$, $u_1$ et $u_2$.
2. Montrer que $(u_n)$ est une suite strictement croissante.
3. Montrer que $u_n\to 1$.
4. Établir que, pour tout $n \in \mathbb{N}^*$, \[ \integrale{0}{1}{\dfrac{x^n}{1+x^n}}{x} = \dfrac{\ln 2}{n} - \dfrac{1}{n}\integrale{0}{1}{\ln(1+x^n)}{x}. \]
5. Montrer que \[ \limn \integrale{0}{1}{\ln(1+x^n)}{x}=0 \] et en déduire que \[ u_n=1-\dfrac{\ln 2}{n}+o\left(\dfrac{1}{n}\right). \]

1. Montrer que pour tout $x$ et tout $h$ réels, \[ |f(x+h)-f(x)-hf'(x)|\leqslant \frac{h^2}{2}\|f''\|_\infty \] et \[ |f(x-h)-f(x)+hf'(x)|\leqslant \frac{h^2}{2}\|f''\|_\infty. \]
2. En déduire que pour tout $x \in \mathbb{R}$ et tout $h > 0$, \[ |f'(x)|\leqslant \frac{\|f\|_\infty}{h}+\frac{h}{2}\|f''\|_\infty. \]
3. En déduire que $f'$ est bornée sur $\mathbb{R}$ et donner un majorant de $\|f'\|_\infty$.

1. Montrer que pour tout $n \in \N$, \[ e^x=\Sum_{k=0}^n \Frac{x^k}{k!}+\Frac{x^{n+1}}{n!}\integrale{0}{1}{e^{xt}(1-t)^n}{t} \]
2. En déduire que \[ \Sum_{k=0}^{+\infty}\Frac{x^k}{k!}=e^x \]
3. On suppose ici par l'absurde que $e$ est rationnel, donc qu'il existe $p,q \in \N^*$ tels que $e=\Frac{p}{q}$. \\
   1. Montrer que pour tout $n \in \N$, \[ \left|n!p-q\Sum_{k=0}^n \Frac{n!}{k!}\right|\leqslant \Frac{p}{n+1} \]
   2. En déduire une contradiction.

1. Montrer que pour tout $x \in \mathbb{R}$, \[ \integrale{0}{x}{f(t)}{t}+\integrale{0}{f(x)}{f^{-1}(t)}{t}=xf(x). \]
2. On suppose $f$ croissante, montrer que pour tous $a,b \in \mathbb{R}_+$, \[ \integrale{0}{a}{f(t)}{t}+\integrale{0}{b}{f^{-1}(t)}{t} \geqslant ab. \]
3. Soient $a,b \in \mathbb{R}_+$, montrer que \[ \integrale{0}{a}{f(t)}{t}+\integrale{0}{b}{f^{-1}(t)}{t}=ab \iff b=f(a). \]

1. Donner un équivalent en $+\infty$ de \[ g(t)=\integrale{0}{1}{\frac{f(x)}{1+tx}}{x}. \]
2. Majorer la différence entre $g$ et cet équivalent quand $f$ est de classe $C^1$.

1. On pose $f(x)=x^2\sin\Frac{1}{x}$ pour $x \in \R^*$. Montrer que $f$ se prolonge en une fonction dérivable sur $\R$, notée encore $f$ dans la suite.\\
2. En calculant la dérivée de $f$, montrer que la fonction $g$ définie par $g(x)=\sin\Frac{1}{x}$ pour $x \in \R^*$ et $g(0)=0$ est une dérivée. Montrer de même que la fonction $h$ définie par $h(x)=\cos\Frac{1}{x}$ pour $x \in \R^*$ et $h(0)=0$ est une dérivée.\\
3. Montrer que $g^2+h^2$ n’est pas une dérivée. Que peut-on en déduire ?\\
4. En considérant $g^2-h^2$, montrer que ni $g^2$, ni $h^2$, ne sont des dérivées.\\
5. Soit $G$ une primitive de $g$ et soit $H$ une primitive de $h$. On pose $F(x)=(G(x),H(x))$. Déterminer $F'(\R)$.

1. On suppose que $\integrale{a}{b}{f(t)}{t}=0$. Montrer qu'il existe $c\in]a,b[$ tel que $f(c)=0$.\\
2. On suppose que $\integrale{a}{b}{f(t)}{t}=\integrale{a}{b}{t f(t)}{t}=0$. On sait donc qu'il existe $c\in]a,b[$ tel que $f(c)=0$.\\ Supposons par l'absurde : $\forall t\in]a,c[\cup]c,b[\quad f(t)\neq0$.\\
   • Montrer que $f$ est de signe constant sur $]a,c[$ et sur $]c,b[$.\\
   • Montrer que le signe de $f$ sur $]a,c[$ et celui de $f$ sur $]c,b[$ sont différents.\\
   • Montrer que $\integrale{a}{b}{f(t)(t-c)}{t}=0$, puis conclure par contradiction.\\
3. On suppose que $\integrale{a}{b}{f(t)}{t}=\integrale{a}{b}{t f(t)}{t}=\integrale{a}{b}{t^2 f(t)}{t}=0$.\\ On sait donc qu'il existe $c,d\in]a,b[$ tels que $a Soit $n\in\N$. On suppose que $\forall k\in\llbracket0,n\rrbracket\quad \integrale{a}{b}{t^k f(t)}{t}=0$.\\ Montrer que $f$ admet au moins $n+1$ racines distinctes dans $]a,b[$.

1. Montrer que $g$ est continue sur $\mathbb{R}$ et de classe $C^1$ sur $\mathbb{R}^*$.\\
2. On suppose que \[ \{t \in [0,1]\mid f(t)=0\}=[a,b]\subset [0,1]. \] Calculer \[ g_d'(0). \]

1. Montrer que si $(u_n)_{n \geqslant 1}$ est équirépartie, l’ensemble des $u_n$ est dense dans $[0,1]$. La réciproque est-elle vraie ?\\
2. Pour tout $n \in \mathbb{N}^*$, on pose \[ D_n=\sup_{0 \leqslant a < b \leqslant 1}\left|\frac{S_n(a,b)}{n}-(b-a)\right| \] et \[ D_n^*=\sup_{0 < \alpha < 1}\left|\frac{S_n(0,\alpha)}{n}-\alpha\right|. \] Montrer que \[ D_n^* \leqslant D_n \leqslant 2D_n^*. \]
3. Montrer que la suite $(u_n)_{n \geqslant 1}$ est équirépartie si et seulement si la suite $(D_n)_{n \geqslant 1}$ tend vers $0$.

1. Calculer $a_0$ et $a_1$. \\
2. Montrer que la suite $(a_n)_{n\in\N}$ est monotone puis convergente et calculer sa limite. \\
3. Montrer que \[ a_{n+2}=\Frac{n+1}{n+4}\,a_n. \]
4. En déduire un équivalent de $a_n$ lorsque $n$ tend vers $+\infty$.

1. Calculer $a_0$, $a_1$, puis montrer que tous les $a_n$ sont strictement positifs. \\
2. Déterminer une relation entre $a_{n+2}$ et $a_n$. \\ On pose pour tout $n\in\N$, \[ b_n=\integrale{0}{\frac{\pi}{2}}{t^2\cos^{2n}t}{t}. \]
3. Montrer que pour tout $n\in\N$, \[ 0 < b_n \le \Frac{\pi^2}{4}\left(a_{2n}-a_{2n+2}\right), \] en comparant la courbe $y=\sin x$ à l’une de ses cordes. \\
4. Montrer que \[ \lim_{n\to+\infty}\Frac{b_n}{a_{2n}}=0. \]
5. Montrer les formules suivantes : \[ a_{2n+2}=(2n+2)\integrale{0}{\frac{\pi}{2}}{t\sin t\,\cos^{2n+1}t}{t}, \] \[ \Frac{a_{2n+2}}{n+1}=(2n+1)b_n-(2n+2)b_{n+1}, \] \[ 2\left(\Frac{b_n}{a_{2n}}-\Frac{b_{n+1}}{a_{2n+2}}\right)=\Frac{1}{(n+1)^2}. \]
6. Montrer que la série \[ \Sum_{k=1}^{+\infty}\Frac{1}{k^2} \] est convergente et calculer sa somme.

Exercice 3594. X ENS

1. Montrer que la suite $(I_n)$ est monotone.\\
2. Calculer $\limn I_n$.\\
3. Montrer que lorsque $n \to +\infty$, \[ I_n \sim \Frac{\pi}{2}\ln n. \]

1. Calculer : \[ \lim_{x\to 0}\integrale{x}{3x}{\Frac{\cos(t^2)}{\sin t}}{t}. \]
2. Calculer \[ \lim_{(\varepsilon,M)\to(0^+,+\infty)}\integrale{\varepsilon}{M}{\Frac{e^{-x}-e^{-2x}}{x}}{x}. \]
3. Tracer la courbe \[ y=\integrale{x}{x^2}{\Frac{1}{\ln t}}{t}. \]

1. Factoriser dans $\C[X]$ le polynôme $X^2-2X\cos t+1$, avec $t$ dans $\R$. \\
2. On pose $f(t)=\ln(1-2\theta\cos t+\theta^2)$. \\
   1. Montrer que $f$ est continue sur $[0,2\pi]$. \\
   2. Calculer $\Sum_{k=0}^{n-1} f\!\left(\Frac{2k\pi}{n}\right)$. \\
   3. En déduire la valeur de $\integrale{0}{2\pi}{\ln(1-2\theta\cos t+\theta^2)}{t}$.

1. Montrer que \[ I_n=\integrale{0}{\pi/2}{\cos^n t}{t} \] et $I_n > 0$.
2. Montrer que, pour tout $n \in \mathbb{N}$, \[ I_{n+2}=\dfrac{n+1}{n+2}I_n. \]
3. Donner une expression de $I_n$ à l'aide de factoriels en distinguant les cas $n=2p$ et $n=2p+1$.
4. Établir que, pour tout $n \in \mathbb{N}$, \[ (n+1)I_{n+1}I_n=\dfrac{\pi}{2} \] et \[ I_{n+2}\leqslant I_{n+1}\leqslant I_n. \]
5. Déterminer un équivalent de $I_n$.

1. Montrer que $T$ est un endomorphisme de $E$.
2. Soit $f \in E$. Étudier la convergence uniforme de $(T^k(f))_{k \in \mathbb{N}}$.

1. Montrer que ces intégrales sont bien définies. \\
2. Montrer que $I_n$ ne dépend pas de $n$. \\
3. Montrer que, si $\varphi$ est de classe $C^1$ sur $[0,\frac{\pi}{2}]$, alors : \[ \limn \integrale{0}{\frac{\pi}{2}}{\varphi(t)\sin((2n+1)t)}{t}=0. \]
4. En déduire $\limn (I_n-J_n)$. \\
5. En déduire $\limn J_n$.

1. Montrer que \[ S_n\underset{n\to+\infty}{\longrightarrow}\integrale{a}{b}{f(t)g(t)}{t}. \]
2. On introduit $G$ la primitive de $g$ s'annulant en $a$. Montrer que \[ f(a)\min_{[a,b]}G\leqslant S_n\leqslant f(a)\max_{[a,b]}G. \]
3. En déduire qu'il existe $c\in[a,b]$ tel que \[ \integrale{a}{b}{f(t)g(t)}{t}=f(a)\integrale{a}{c}{g(t)}{t}. \]
4. Soient $f,g:[a,b]\to\mathbb{R}$ continues avec $f$ monotone. Montrer qu'il existe $c\in[a,b]$ tel que \[ \integrale{a}{b}{f(t)g(t)}{t} = f(a)\integrale{a}{c}{g(t)}{t} + f(b)\integrale{c}{b}{g(t)}{t}. \]

1. Montrer que la suite $(u_n)_n$ est décroissante. \\
2. Justifier que $f$ admet un maximum sur $[0,1]$. En déduire par un encadrement que la suite $(u_n)_n$ converge vers $0$. \\

1. Établir que les suites $(S_{2n})_n$ et $(S_{2n+1})_n$ sont adjacentes. En déduire que la suite $(S_n)_n$ converge. On noter $\ell=\limn S_n$ dans la suite. \\
2. Montrer que pour tout $n \in \N$, \[ S_n=\integrale{0}{1}{\Frac{1-(-t)^{n+1}}{1+t}f(t)}{t} \]
3. Justifier que $\limn \integrale{0}{1}{\Frac{t^{n+1}}{1+t}f(t)}{t}=0$. En déduire que $\ell=\integrale{0}{1}{\Frac{f(t)}{1+t}}{t}$. \\
4. 1. Dans cette question seulement, on pose $f : t \mapsto 1$. Déterminer $\limn \Sum_{k=0}^n \Frac{(-1)^k}{k+1}$. \\
   2. Dans cette question seulement, on pose $f : t \mapsto \sqrt{t}$. Déterminer $\limn \Sum_{k=0}^n \Frac{(-1)^k}{2k+1}$.

1. Prouver que pour tout $n \in \N$, \[ \integrale{0}{1}{t^{n+1}g(t)}{t} = \Frac{f(1)}{2(n+2)} + \Frac{f(1)-2f'(1)}{4(n+2)(n+3)} + \Frac{1}{(n+2)(n+3)}\integrale{0}{1}{t^{n+3}g''(t)}{t} \]
2. Montrer que $\Frac{1}{n+2}=\Frac{1}{n}-\Frac{2}{n^2}+o\parenthese{\Frac{1}{n^2}}$ lorsque $n \to +\infty$, où $\alpha$ et $\beta$ sont deux constantes à déterminer. Calculer de même le développement asymptotique de $\Frac{1}{(n+2)(n+3)}$ à l'ordre $3$. \\
3. Justifier que $\limn \integrale{0}{1}{t^{n+3}g''(t)}{t}=0$. \\
4. En déduire que \[ S_n=\ell+\gamma \Frac{(-1)^n}{n}+\delta\Frac{(-1)^n}{n^2}+o\parenthese{\Frac{1}{n^2}} \] lorsque $n \to +\infty$, où $\gamma$ et $\delta$ sont deux constantes à déterminer.

1. Exprimer $\Delta^k a_n$ pour tout $k \in \{1,2,3,4\}$ le plus simplement possible. \\
2. Démontrer que pour tout $k,n \in \N$, \[ \Delta^k a_n=\Sum_{i=0}^k (-1)^i \binom{k}{i}a_{n+i} \]
3. Soient $\varphi : \R \to \R$ une application de classe $C^\infty$ et pour tout $n \in \N$, $a_n=\varphi^{(n)}(0)$. Prouver que pour tout $k \in \N$, $\Delta^k a_0=\psi^{(k)}(0)$ où $\psi : t \mapsto \varphi(-t)e^t$. \\
4. Dans cette question, on veut déterminer $\Delta^k a_0$ si la suite $(a_n)_n$ est définie par $a_n=\Frac{1}{n+1}$. \\
   1. Calculer dans ce cas $\Delta^k a_0$ pour $k \in \{0,1,2,3,4\}$. Que conjecturez-vous ? \\
   2. Justifier que l'application $\varphi : t \in \R^* \mapsto \Frac{e^t-1}{t}$ est prolongeable par continuité en $0$. On admet que l'application $\varphi$ ainsi prolongée est de classe $C^\infty$ sur $\R$. \\
   3. Soit $n \in \N$. Calculer le DL de $\varphi$ en $0$ à l'ordre $n$. En déduire l'expression de $\varphi^{(n)}(0)$. \\
   4. En utilisant la question $13$, déterminer l'expression de $\Delta^k a_0$ pour tout $k \in \N$.

1. En utilisant la question $12$, montrer que pour tout $k \in \N$, $\Delta^k u_0=\integrale{0}{1}{(1-t)^k f(t)}{t}$. \\

1. Prouver que pour tout $n \in \N^*$, \[ S'_n=\ell-\Frac{1}{2^n}\integrale{0}{1}{(1-t)^n\Frac{f(t)}{1+t}}{t} \]
2. En déduire la limite de la suite $(S'_n)_n$. \\
3. Calculer $\limn \Sum_{k=1}^n \Frac{1}{k2^k}$.

1. Soit $f : \mathbb{R}_+ \to \mathbb{R}_+$ de classe $C^1$, $\ell > 0$ et $P$ un polynôme de degré $n$. On suppose que \[ f'(x)P(f(x)) \] tend vers $\ell$ quand $x$ tend vers $+\infty$. Donner un équivalent de $f$ en $+\infty$.\\
2. Soit $h : \mathbb{R}_+ \to \mathbb{R}_+$ continue, $\ell > 0$, $n$ un entier naturel. On suppose que \[ h(x)\integrale{0}{x}{h^n(t)}{t} \] tend vers $\ell$ lorsque $x$ tend vers $+\infty$. Donner un équivalent de $h$ en $+\infty$.

1. Montrer que la suite $(I_n)$ est strictement positive et strictement décroissante.\\
2. Montrer que \[ (n+2)I_{n+2}=(n+1)I_n. \]
3. Montrer que \[ (n+1)I_nI_{n+1}=\frac{\pi}{2}. \]
4. Montrer que \[ I_n \sim I_{n+1}. \]
5. Trouver un équivalent de $I_n$ lorsque $n$ tend vers $+\infty$.

1. $d$ est-elle définie ?\\
2. En utilisant \[ \psi(t)=\exp\left(\integrale{0}{t}{\Frac{f'(\theta)}{f(\theta)}}{\theta}\right), \] montrer que \[ d(f)\in\mathbb{Z}. \]
3. Montrer que \[ \forall f\in E,\ \exists \varepsilon > 0,\ \forall g\in E,\ \|f-g\|_\infty \leqslant \varepsilon \Longrightarrow d(f)=d(g). \]
4. Soit \[ F=\{f\in C^0(\mathbb{R},\mathbb{C}^*),\ f \ 2\pi\text{-périodique}\}. \] Peut-on prolonger $d$ en une fonction définie et continue sur \[ F \] pour la norme \[ \|\cdot\|_\infty \; ? \]

1. Montrer que $(.|.)$ est un produit scalaire sur $\mathbb{R}[X]$.\\
2. Soient $n,m \in \mathbb{N}$ tels que $m < n$. Montrer que \[ (P_n|P_m)=0 \] et calculer \[ \|P_n\|^2=(P_n|P_n). \]
3. Montrer que pour tout $n \in \mathbb{N}$, $P_n$ possède $n$ racines distinctes dans $]-1,1[$. En déduire que $P_n$ est scindé sur $\mathbb{R}$.

1. Soit $0 < \varepsilon < 1$. On pose \[ I=\integrale{0}{\pi/2}{\frac{\cos x}{\sqrt{\sin^2 x+\varepsilon \cos^2 x}}}{x}. \] Calculer $I$. Donner un équivalent de $I$ quand $\varepsilon$ tend vers $0$.\\
2. On pose \[ J=\integrale{0}{\pi/2}{\frac{1}{\sqrt{\sin^2 x+\varepsilon \cos^2 x}}}{x}. \] Déterminer les deux premiers termes du développement asymptotique de $J$ quand $\varepsilon$ tend vers $0$.

1. Montrer que \[ \forall Q \in \mathbb{R}_{n-1}[X],\quad \integrale{-1}{1}{Q(x)L_n(x)}{x}=0. \]
2. Montrer que $L_n$ admet $n$ racines simples $x_1,\ldots,x_n$ qui se trouvent dans $]-1,1[$.\\
3. Montrer qu’il existe $(\alpha_1,\ldots,\alpha_n)\in\mathbb{R}^n$ tel que \[ \forall Q \in \mathbb{R}_{2n-1}[X],\quad \integrale{-1}{1}{Q(x)}{x}=\Sum_{i=1}^{n}\alpha_iQ(x_i). \]

1. Soit $f$ une fonction continue de $[0,1]$ dans $\mathbb{R}$. Déterminer \[ \lim_{n \to +\infty}\Prod_{k=1}^{n}\left(1+\frac{1}{n}f\left(\frac{k}{n}\right)\right). \]
2. Soit $(n_i)$ une suite d’entiers pairs, $(\mu_i)$ une suite d’entiers.\\ On suppose que ces deux suites tendent vers $+\infty$, que \[ \mu_i \leqslant n_i \] pour tout $i$, et que \[ \frac{\mu_i-\frac{n_i}{2}}{\sqrt{n_i}} \] a une limite $\lambda > 0$ quand $i \to +\infty$.\\ Trouver un équivalent de \[ C_{n_i}^{\mu_i}. \]

1. pour tout couple $(a,b)$, on a \[ \frac{X_n(a,b)}{n} \to b-a \]
2. pour toute fonction $f : [0,1] \to \mathbb{R}$ continue, on a \[ \frac{1}{n}\Sum_{k=1}^{n}f(u_k)\to \integrale{0}{1}{f(t)}{t} \]
3. pour tout $p \in \mathbb{N}^*$, on a \[ \frac{1}{n}\Sum_{k=1}^{n}\mathrm{e}^{2i\pi pu_k}\to 0 \]

1. pour tous $a < b$, toute $\varphi \in C^2([a,b],\mathbb{R})$ vérifiant $|\varphi'| \geqslant 1$ et $\varphi'$ monotone, et tout $\lambda > 0$, \[ \left|\integrale{a}{b}{\mathrm{e}^{i\lambda \varphi(x)}}{x}\right| \leqslant \frac{c_1}{\lambda} \]
2. pour tous $a < b$, tout $k \in \mathbb{N}^*$ avec $k \geqslant 2$, toute fonction $\varphi \in C^{k+1}([a,b],\mathbb{R})$ vérifiant $|\varphi^{(k)}| \geqslant 1$, et tout $\lambda > 0$, \[ \left|\integrale{a}{b}{\mathrm{e}^{i\lambda \varphi(x)}}{x}\right| \leqslant \frac{c_k}{\lambda^{1/k}} \]

1. Soit $f \in E$. Montrer que \[ I_1=\integrale{0}{1}{f(t)f'(t)\cotan(\pi t)}{t} \] et \[ I_2=\integrale{0}{1}{\frac{f(t)^2}{\tan^2(\pi t)}(1+\tan^2(\pi t))}{t} \] existent. Comparer $I_1$ et $I_2$.\\
2. Montrer que pour tout $f \in E$, on a \[ \integrale{0}{1}{f'(t)^2}{t} \geqslant \pi^2\integrale{0}{1}{f(t)^2}{t}. \]
3. Quels sont les cas d’égalité ?

1. Montrer que pour tous $k$ et $n$ dans $\N$, $P_n^{(k)}(0)$ et $P_n^{(k)}(\pi)$ sont des entiers. \\
2. Montrer que \[ I_n=\integrale{0}{\pi}{P_n(t)\sin t}{t}\in\Z. \]
3. Montrer que $I_n>0$. \\
4. Trouver une constante $\xi>0$ telle que \[ I_n\leqslant \pi\,\Frac{\xi^n}{n!}. \]
5. En déduire une contradiction. Qu’a-t-on montré ?

1. Montrer qu'on a $I_n\to 0$ quand $n\to+\infty$.
2. Montrer que, pour tout entier $n$, \[ I_{n+2}=2b(2n+3)I_{n+1}-a^2I_n. \]
3. En déduire que $I_n$ est entier pour tout entier $n$.
4. Conclure.

1. Montrer que pour tout $u\in\mathbb{R}$, \[ |e^u-1-u|\leqslant \frac{u^2}{2}e^{|u|}. \]
2. Montrer que $f$ est dérivable et que \[ f'(x)=-\integrale{0}{\frac{\pi}{4}}{\frac{e^{-\frac{x}{\cos^2(t)}}}{\cos^2(t)}}{t}. \]
3. Montrer que $\lim_{x\to+\infty}f(x)=0$.
4. Montrer que pour tout $x\in\mathbb{R}$, \[ \integrale{0}{x}{e^{-u^2}}{u} = x\integrale{0}{\frac{\pi}{4}}{\frac{e^{-x^2\tan^2(t)}}{\cos^2(t)}}{t}. \]
5. Montrer que pour tout $x\in\mathbb{R}$, \[ g'(x)=-2e^{-x^2}\integrale{0}{x}{e^{-u^2}}{u}. \]
6. Trouver \[ \lim_{x\to+\infty}\integrale{0}{x}{e^{-u^2}}{u}. \]

1. Justifier l'existence du réel $M_a=\max\{|f''(t)|,\ t \in [0,a]\}$. \\
2. Pour tout $\lambda \in \R$, on considère la fonction \[ g_\lambda : x \mapsto f(x)-(f(0)+f'(0)x)-\lambda x^2 \] Montrer qu'il existe un unique $\lambda \in \R$ tel que $g_\lambda(0)=g_\lambda'(0)=g_\lambda(a)=0$. \\
3. On pose pour la suite $\lambda$ tel que dans la question précédente. Montrer qu'il existe $c \in [0,a]$ tel que $g_\lambda''(c)=0$. \\
4. En déduire une expression de $f(a)$ en fonction notamment de $f''(c)$. \\
5. Montrer que pour tout $t \in [0,a]$, \[ |f(t)-(f(0)+f'(0)t)| \leqslant \Frac{M_a}{2}t^2 \]

1. Montrer, par comparaison série-intégrale, que la suite $\parenthese{\Sum_{k=1}^n \Frac{1}{k^2}}_n$ est convergente. \\
2. On pose pour tout $n \geqslant 1$, \[ u_n=\Sum_{k=1}^n \Frac{1}{k}-\ln(n) \quad \mathrm{et} \quad v_n=\Sum_{k=1}^n \Frac{1}{k}-\ln(n+1) \]
   1. Montrer que \[ \Frac{1}{n+1}\leqslant \ln\parenthese{\Frac{n+1}{n}}\leqslant \Frac{1}{n} \] pour tout $n \geqslant 1$. \\
   2. Justifier que $(u_n)$ et $(v_n)$ sont adjacentes. \\
   3. $(u_n)$ est-elle convergente ?

1. Minorer la fonction $-\ln$ par une fonction affine s'annulant en $1$. Faire de même avec $\exp$ avec une fonction affine qui s'annule en $-1$. \\
2. Soit $x > 0$. \\
   1. Soit $n \in \N^*$. Montrer que \[ \parenthese{1+\Frac{1}{n}}^x \geqslant 1+\Frac{x}{n+1} \]
   2. Montrer que la suite $(\Pi_n(x))_{n \in \N^*}$ est croissante. \\
3. Soit $x > 0$. \\
   1. Pour tout $n \in \N^*$, exprimer $\ln(x\Pi_n(x))$ en fonction notamment de $\Sum_{k=1}^n \ln\parenthese{1+\Frac{x}{k}}$. \\
   2. On admet qu'il existe $A \in \R_+$ tel que $\ln(1+t)\geqslant t-At^2$ pour tout $t \geqslant 0$. En déduire que la suite $(\Pi_n(x))_{n \in \N^*}$ est majorée. Justifier qu'elle converge. \\

1. Justifier que pour tout $x > 0$, $\Gamma(x) > 0$. \\
2. 1. Montrer que $\Gamma(1)=1$. \\
   2. Montrer que pour tout $x \in \R_+^*$, $\Gamma(x+1)=x\Gamma(x)$. \\
   3. En déduire pour tout $n \in \N^*$ la valeur de $\Gamma(n)$. \\
3. 1. Pour tout $n \in \N^*$, montrer que la fonction $\ln \circ \Pi_n$ est convexe. \\
   2. En déduire que $\ln \circ \Gamma$ est convexe. \\
4. Dans cette section, on considère une fonction $f : \R_+^* \to \R$ vérifiant $f(1)=1$, $f(x+1)=xf(x)$ sur $\R_+^*$, et $\ln \circ f$ convexe. \\
   1. Soit $x \in ]0,1]$ et $n \geqslant 2$. Montrer que \[ (n-1)^x \leqslant \Frac{f(n+x)}{f(n)} \leqslant n^x \] puis en déduire que \[ \Pi_{n-1}(x)\leqslant f(x)\leqslant \Frac{n+x}{n}\Pi_n(x) \]
   2. Montrer que $f=\Gamma$.