\documentclass[10pt]{article}
\usepackage[french]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage[version=4]{mhchem}
\usepackage{stmaryrd}
\usepackage{bbold}

\title{Conception : ESSEC }

\author{OPTION Scientifique}
\date{}


\begin{document}
\maketitle


\section*{MATHÉMATIQUES}
\section*{Vendredi 6 mai 2016, de 14 h. à 18 h.}
La présentation, la lisibilité, l'orthographe, la qualité de la rédaction, la clarté et la précision des raisonnements entreront pour une part importante dans l'appréciation des copies.\\
Les candidats sont invités à encadrer dans la mesure du possible les résultats de leurs calculs.\\
Ils ne doivent faire usage d'aucun document. L'utilisation de toute calculatrice et de tout matériel électronique est interdite. Seule l'utilisation d'une règle graduée est autorisée.\\
Si au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il la signalera sur sa copie et poursuivra sa composition en expliquant les raisons des initiatives qu'il sera amené à prendre.

\section*{Notations et objectifs :}
Dans tout le problème, \(E\) désigne l'espace vectoriel réel des fonctions continues sur le segment \([0,1]\) et à valeurs réelles.

Sous réserve d'existence, on note \(\varphi: x \mapsto \frac{1}{x}-\sum_{n=1}^{+\infty} \frac{2 x}{n^{2}-x^{2}}\) et \(\psi: x \mapsto \sum_{n=1}^{+\infty}(-1)^{n-1} \frac{x}{n^{2}-x^{2}}\).\\
Le but du problème est d'obtenir, à l'aide des fonctions \(\varphi\) et \(\psi\), des expressions des fonctions \(\sin \frac{1}{\sin }\) et \(\frac{\cos }{\sin }\) comme somme de séries ou produit infini (On parle de développements eulériens).

Plus précisément, dans la partie I, on étudie les premières propriétés de la fonction \(\varphi\); dans la seconde partie, on introduit et on étudie l'opérateur \(T\) défini sur \(E\) par: \(\forall f \in E, \forall x \in[0,1]\), \([T(f)](x)=f\left(\frac{x}{2}\right)+f\left(\frac{x+1}{2}\right)\).

On en déduit une expression de la fonction \(\frac{\cos }{\sin }\), puis, dans la partie III, de la fonction sinus. Enfin, dans la partie IV, l'étude de la fonction \(\psi\) permet d'obtenir une expression de \(\frac{1}{\sin }\).

\section*{Partie I : Etude de la fonction \(\varphi\).}
1- Montrer que, pour tout nombre réel \(x\) qui n'est pas un entier relatif, la série de terme général \(u_{n}(x)=\frac{2 x}{n^{2}-x^{2}}\) est convergente.\\
Dans la suite, on notera \(D\) l'ensemble des nombres réels qui ne sont pas des entiers relatifs. La fonction \(\varphi\) est donc définie sur \(D\).

2- Imparité et périodicité de \(\varphi\) :\\
a. Justifier que \(\varphi\) est impaire.\\
by Vérifier que pour \(x\) dans \(D: \frac{2 x}{n^{2}-x^{2}}=\frac{1}{n-x}-\frac{1}{n+x}\).\\
c- Montrer que pour \(x\) dans \(D: \varphi(x+1)=\varphi(x)\).\\
La fonction \(\varphi\) est donc périodique de période 1 .\\
3- Continuité de \(\varphi\) :\\
a- Justifier pour \(x\) dans l'ensemble \(D \cup\{0,1\}\) l'existence de :

\[
g(x)=\sum_{n=2}^{+\infty} \frac{2 x}{n^{2}-x^{2}}=\sum_{n=2}^{+\infty}\left(\frac{1}{n-x}-\frac{1}{n+x}\right)
\]

b. Vérifier que: \(\forall x \in D, \varphi(x)=\frac{1}{x}-\frac{1}{1-x}+\frac{1}{1+x}-g(x)\).\\
c- Soit \(h\) un nombre réel de \(]-\frac{1}{2}, \frac{1}{2}[\), montrer que : \(\forall x \in[0,1],|g(x+h)-g(x)| \leq C|h|\) où

\[
C=\sum_{n=2}^{+\infty} \frac{2}{(n-1)\left(n-\frac{3}{2}\right)}
\]

d- En déduire que \(g\) est continue sur \([0,1]\) puis que \(\varphi\) est continue sur \(] 0,1[\).\\
La fonction \(\varphi\) est donc continue sur \(D\).\\
4- Etude de \(\varphi\) en 0 et en 1 :\\
a- Montrer que : \(\varphi(x) \underset{x \rightarrow 0}{\sim} \frac{1}{x}\) et que : \(\lim _{x \rightarrow 0}\left(\varphi(x)-\frac{1}{x}\right)=0\).\\
b- Obtenir des résultats similaires lorsque \(x\) tend vers 1 .

\section*{Partie II: Etude de l'opérateur T}
On rappelle que \(E\) désigne l'espace vectoriel réel des fonctions continues sur le segment \([0,1]\) et à valeurs réelles.\\
\(T\) est l'application définie sur \(E\) par : \(\forall f \in E, \forall x \in[0,1],[T(f)](x)=f\left(\frac{x}{2}\right)+f\left(\frac{x+1}{2}\right)\).

On note, pour tout entier naturel \(k, e_{k}\) l'élément de \(E\) défini par : \(\forall x \in[0,1], e_{k}(x)=x^{k}\) et pour tout entier naturel \(n, F_{n}\) le sous espace vectoriel de \(E\) dont une base est \(B_{n}=\left(e_{k}\right)_{k \in \llbracket 0, n \rrbracket}\).

5- Vérifier que \(T\) est un endomorphisme de \(E\).

6- Etude de \(T\) sur \(F_{n}\) :\\
a- Vérifier que: \(\forall f \in F_{n}, T(f) \in F_{n}\).\\
On note \(T_{n}\) l'endomorphisme de \(F_{n}\) défini par: \(\forall f \in F_{n}, T_{n}(f)=T(f)\).\\
b- Déterminer la matrice de \(T_{n}\) dans la base \(B_{n}\).\\
q- Quelles sont les valeurs propres de \(T_{n}\) ? \(T_{n}\) est-il diagonalisable?

7- Etude du noyau de l'endomorphisme ( \(T-2 . i d_{E}\) ) :\\
a- Montrer que \(\operatorname{Ker}\left(T-2 . i d_{E}\right)\) n'est pas réduit à \(\left\{0_{E}\right\}\).

Soit \(f\) un élément de \(\operatorname{Ker}\left(T-2 . i d_{E}\right)\). On note \(m=\min _{x \in[0,1]} f(x)\) et \(M=\max _{x \in[0,1]} f(x)\). On fixe \(x_{0}\) dans \([0,1]\) tel que \(m=f\left(x_{0}\right)\) et \(x_{1}\) dans \([0,1]\) tel que \(M=f\left(x_{1}\right)\).\\
b- Montrer que : \(f\left(\frac{x_{0}}{2}\right)=m\).\\
c- En déduire que: \(\forall n \in \mathbb{N}, f\left(\frac{x_{0}}{2^{n}}\right)=m\).\\
d- En déduire que : \(m=f(0)\).\\
e- Faire une étude similaire pour \(M\).\\
f- Montrer alors que \(f\) est constante.

8- Etude de la fonction cot:\\
Pour tout \(x\) dans l'ensemble \(D\), on note \(\cot (x)=\pi \frac{\cos (\pi x)}{\sin (\pi x)}\).\\
a- Vérifier que cot est définie et continue sur \(D\), qu'elle est impaire et périodique de période 1.\\
b- Montrer que : \(\cot (x) \underset{x \rightarrow 0}{\sim} \frac{1}{x}\) et que : \(\cot (x)-\frac{1}{x} \underset{x \rightarrow 0}{\sim}-\frac{\pi^{2}}{3} x\).\\
c- Obtenir des résultats similaires lorsque \(x\) tend vers 1 .\\
d- Démontrer que, pour tout nombre réel \(x\) dans \(D\), on a : \(\frac{x}{2} \in D, \frac{x+1}{2} \in D\)

\[
\text { et } \cot \left(\frac{x}{2}\right)+\cot \left(\frac{x+1}{2}\right)=2 \cot (x)
\]

9- Calcul de \(\varphi\) :\\
a- Vérifier que, pour tout nombre réel \(x\) dans \(D, \varphi\left(\frac{x}{2}\right)+\varphi\left(\frac{x+1}{2}\right)=2 \varphi(x)\).\\
b- Montrer que \(\varphi\)-cot se prolonge par continuité sur \([0,1]\).\\
c- Démontrer alors que \(\varphi=\cot\).\\
Autrement dit : \(\forall x \in D, \pi \frac{\cos (\pi x)}{\sin (\pi x)}=\frac{1}{x}-\sum_{n=1}^{+\infty} \frac{2 x}{n^{2}-x^{2}}\).\\
10- Première application :\\
a- Déterminer \(\lim _{x \rightarrow 0} \frac{1-x \cot (x)}{2 x^{2}}\).\\
Pour tout nombre réel \(x\) dans \(] 0,1\left[\right.\), on pose \(\delta(x)=\sum_{n=1}^{+\infty} \frac{1}{n^{2}-x^{2}}-\sum_{n=1}^{+\infty} \frac{1}{n^{2}}\)\\
b- Vérifier que \(\left|\delta(x)-\frac{x^{2}}{1-x^{2}}\right| \leq x^{2} \sum_{n=2}^{+\infty} \frac{1}{n^{2}\left(n^{2}-1\right)}\).\\
c- En déduire que \(\lim _{x \rightarrow 0} \sum_{n=1}^{+\infty} \frac{1}{n^{2}-x^{2}}=\sum_{n=1}^{+\infty} \frac{1}{n^{2}}\).\\
d- Déterminer \(\sum_{n=1}^{+\infty} \frac{1}{n^{2}}\).

\section*{Partie III: Développement eulérien de la fonction sinus}
Pour tout \(n\) entier naturel non nul et tout nombre réel \(x\) dans \(\left[0,1\left[\right.\right.\), on pose \(\alpha_{n}(x)=\ln \left(1-\frac{x^{2}}{n^{2}}\right)\) et \(\beta_{n}(x)=\sum_{k=1}^{n} \alpha_{k}(x)\).

11- Montrer que, pour tout nombre réel \(x\) dans \([0,1]\), la série \(\sum_{n \geq 1} \alpha_{n}(x)\) converge. On note alors \(\beta(x)=\sum_{n=1}^{+\infty} \alpha_{n}(x)\).\\
12- Explicitation de \(\beta\) : on fixe un nombre réel \(x\) dans \(] 0,1[\).\\
2 - Pour \(N\) entier naturel non nul, calculer \(\int_{0}^{x}\left(\sum_{n=1}^{N} \frac{-2 t}{n^{2}-t^{2}}\right) d t\) en fonction de \(\beta_{N}(x)\).\\
b- Justifier l'existence de \(\int_{0}^{x}\left(\varphi(t)-\frac{1}{t}\right) d t\).\\
c- Montrer que : \(\left|\int_{0}^{x}\left(\varphi(t)-\frac{1}{t}\right) d t-\int_{0}^{x}\left(\sum_{n=1}^{N} \frac{-2 t}{n^{2}-t^{2}}\right) d t\right| \leq \sum_{n=N+1}^{+\infty} \frac{1}{n^{2}-1}\).\\
d En déduire que : \(\beta(x)=\int_{0}^{x}\left(\varphi(t)-\frac{1}{t}\right) d t\).\\
e- Montrer alors que, pour tout nombre réel \(x\) dans \(] 0,1\left[, \beta(x)=\ln \left(\frac{\sin (\pi x)}{\pi x}\right)\right.\).

13- Pour tout nombre réel \(x\) et pour tout entier naturel non nul \(n\), on pose \(P_{n}(x)=\pi x \prod_{k=1}^{n}\left(1-\frac{x^{2}}{k^{2}}\right)\). a- Montrer que, pour tout nombre réel \(x\) de \(\left[0,1\left[\right.\right.\), la suite \(\left(P_{n}(x)\right)_{n \geq 1}\) est convergente. Dans la suite, on pose \(P(x)=\lim _{n \rightarrow+\infty} P_{n}(x)\) et on note: \(P(x)=\pi x \prod_{n=1}^{+\infty}\left(1-\frac{x^{2}}{n^{2}}\right)\).\\
b- Vérifier que, pour tout nombre réel \(x\) de \([0,1[, P(x)=\pi x \exp (\beta(x))=\sin (\pi x)\).\\
c- Montrer que la suite \(\left(P_{n}(x)\right)_{n \geq 1}\) est en fait convergente pour tout nombre réel \(x\). On note encore

\[
P(x)=\lim _{n \rightarrow+\infty} P_{n}(x)
\]

d- Soient \(n\) un entier naturel non nul et \(x\) un nombre réel dans \(]-n, n[\), montrer que \(P_{n}(x+1)=-\left(\frac{n+1+x}{n-x}\right) P_{n}(x)\).\\
e- En déduire que, pour tout nombre réel \(x: P(x+1)=-P(x)\). Vérifier alors que \(P\) est 2périodique sur \(\mathbb{R}\).\\
f- Montrer alors que, pour tout nombre réel \(x, P(x)=\sin (\pi x)\).\\
Finalement, on obtient ainsi : \(\forall x \in \mathbb{R}, \sin (\pi x)=\pi x \prod_{n=1}^{+\infty}\left(1-\frac{x^{2}}{n^{2}}\right)\).

\section*{Partie IV: Un autre développement du sinus}
Dans cette partie, pour tout entier naturel non nul \(n\) et pour tout nombre réel \(x\) dans \(D \bigcup\{0\}\), on pose \(\lambda_{n}(x)=\int_{0}^{\pi} \cos (x t) \cos (n t) d t\) et \(v_{n}(x)=(-1)^{n-1} \frac{x}{n^{2}-x^{2}}\).

14- Montrer que, pour tout nombre réel \(x\) dans \(D \bigcup\{0\}\), la série de terme général \(v_{n}(x)\) est convergente.\\
La fonction \(\psi\) est donc définie sur \(D \bigcup\{0\}\).\\
15- Montrer que, pour tout entier naturel non nul \(n\) et pour tout nombre réel \(x\) dans \(D \bigcup\{0\}\), \(\lambda_{n}(x)=\frac{(-1)^{n-1} x \sin (\pi x)}{n^{2}-x^{2}}=\sin (\pi x) v_{n}(x)\). Pour cela, on pourra utiliser sans la démontrer la formule trigonométrique \(\cos a \cos b=\frac{1}{2}(\cos (a+b)+\cos (a-b))\).\\
16- Pour tout nombre réel \(t\) et tout entier naturel non nul \(n\), on pose \(C_{n}(t)=\sum_{k=1}^{n} \cos (k t)\).\\
a- Vérifier que lorsque \(t\) n'est pas de la forme \(2 p \pi, \mathrm{p} \in \mathbb{Z}, C_{n}(t)=-\frac{1}{2}+\frac{1}{2} \frac{\sin \left((2 n+1) \frac{t}{2}\right)}{\sin \left(\frac{t}{2}\right)}\).\\
b- Expliciter \(C_{n}(t)\) lorsque \(t\) s'écrit \(2 p \pi\) avec \(p\) dans \(\mathbb{Z}\).\\
c- Donner la valeur de \(I_{n}=\int_{0}^{\pi} C_{n}(t) d t\).

17- Soit \(F\) une fonction de classe \(C^{1}\) sur \([0, \pi]\), montrer, à l'aide d'une intégration par parties, que : \(\lim _{n \rightarrow+\infty}\left(\int_{0}^{\pi} F(t) \sin \left((2 n+1) \frac{t}{2}\right) d t\right)=0\).

18- Pour \(x\) élément de \(D\), on définit la fonction \(\Phi_{x}\) sur \([0, \pi]\) par :

\[
\Phi_{x}(t)= \begin{cases}\frac{\cos (x t)-1}{\sin \left(\frac{t}{2}\right)} & \text { si } t \in] 0, \pi] \\ 0 & \text { si } t=0\end{cases}
\]

a- Montrer que \(\Phi_{x}\) est de classe \(C^{1}\) sur \([0, \pi]\).\\
b- Vérifier que :

\[
\forall t \in[0, \pi], \mathrm{C}_{\mathrm{n}}(t)(\cos (x t)-1)=-\frac{1}{2}(\cos (x t)-1)+\frac{1}{2} \Phi_{\mathrm{x}}(t) \sin \left((2 n+1) \frac{t}{2}\right)
\]

c- En déduire que :

\[
\forall n \in \mathbb{N}^{*}, \forall x \in D, \sum_{k=1}^{n} \lambda_{k}(x)=-\frac{1}{2} \frac{\sin (\pi x)}{x}+\frac{\pi}{2}+\frac{1}{2} \int_{0}^{\pi} \Phi_{x}(t) \sin \left((2 n+1) \frac{t}{2}\right) d t+I_{n}
\]

19-Application :\\
a- Démontrer, à l'aide des questions précédentes que, pour tout \(x\) élément de \(D\),

\[
\psi(x) \sin (\pi x)=-\frac{1}{2} \frac{\sin (\pi x)}{x}+\frac{\pi}{2}
\]

b- En déduire que, pour tout \(x\) élément de \(D, \frac{\pi}{\sin (\pi x)}=\frac{1}{x}+2 x \sum_{n=1}^{+\infty} \frac{(-1)^{n-1}}{n^{2}-x^{2}}\).


\end{document}