\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}

\begin{document}
CONCOURS D'ADMISSION DE 2009

Concepteur : ESSEC\\
ESSECMATS

OPTION SCIENTIFIQUE\\
MATHEMATIQUES\\
Mercredi 6 mai 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.

Dans tout le problème, n désigne un entier supérieur ou égal à 1 . On confondra les endomorphismes de \(\mathbb{C}^{\mathbf{n}}\) (respectivement \(\mathbb{R}^{\mathbf{n}}\) ) avec leurs matrices associées dans la base canonique de \(\mathbb{C}^{\mathrm{n}}\) (respectivement \(\mathbb{R}^{\mathrm{n}}\) ). De même, on confondra les vecteurs \(\operatorname{de} \mathbb{C}^{\mathrm{n}}\) (respectivement \(\mathbb{R}^{\mathrm{n}}\) ) avec les matrices colonnes qui les représentent dans la base canonique de \(\mathbb{C}^{n}\) (respectivement \(\mathbb{R}^{n}\) ).

\section*{Partie I}
\(1^{\circ}\) ) Matrice à diagonale strictement dominante.\\
Soit \(\mathrm{A}=\left(\mathrm{a}_{\mathrm{i}, \mathrm{j}}\right)_{1 \leq \mathrm{i}, \mathrm{j} \leq \mathrm{n}}\) une matrice de \(\mathcal{M}_{\mathrm{n}}(\mathbb{C})\). On suppose que A vérifie la condition :\\
\(\forall i \in \llbracket 1, n \rrbracket,\left|a_{i, i}\right|>\sum_{\substack{j=1 \\ j \neq i}}^{n}\left|a_{i, j}\right|\). On dit alors que \(A\) est une matrice à diagonale strictement dominante.\\
a) On suppose qu'il existe \(\mathrm{X}=\left(\begin{array}{c}\mathrm{x}_{1} \\ \mathrm{x}_{2} \\ \vdots \\ \mathrm{x}_{\mathrm{n}}\end{array}\right) \in \mathbb{C}^{\mathrm{n}}\) tel que \(\mathrm{X} \neq 0, \mathrm{AX}=0\) et \(\left(\forall \mathrm{i} \in \llbracket 1, \mathrm{n} \rrbracket,\left|\mathrm{x}_{1}\right| \geq\left|\mathrm{x}_{\mathrm{i}}\right|\right)\). Aboutir à une contradiction en utilisant la première ligne du système \(\mathrm{AX}=0\).\\
b) On suppose qu'il existe \(\mathrm{X}=\left(\begin{array}{c}\mathrm{x}_{1} \\ \mathrm{x}_{2} \\ \vdots \\ \mathrm{x}_{\mathrm{n}}\end{array}\right) \in \mathbb{C}^{\mathrm{n}}\) tel que \(\mathrm{X} \neq 0\) et \(\mathrm{AX}=0\). Aboutir à une contradiction.\\
c) En déduire que A est inversible.\\
\(2^{\circ}\) ) Application : le théorème de Gershgörin.\\
Pour \(\mathrm{A}=\left(\mathrm{a}_{\mathrm{i}, \mathrm{j}}\right)_{1 \leq \mathrm{i}, \mathrm{j} \leq \mathrm{n}}\) une matrice de \(\mathcal{M}_{\mathrm{n}}(\mathbb{C})\), on définit :\\
\(\forall i \in \llbracket 1, n \rrbracket, D_{i}=\left\{z \in \mathbb{C}\right.\) tq \(\left.\left|z-a_{i, i}\right| \leq \sum_{\substack{j=1 \\ j \neq i}}^{n}\left|a_{i, j}\right|\right\} . D_{i}\) est le \(i^{\text {ème }}\) disque de Gershgörin de A. On pose \(\mathrm{D}=\bigcup_{\mathrm{i}=1}^{\mathrm{n}} \mathrm{D}_{\mathrm{i}}\).\\
a) Montrer que le spectre de A est inclus dans D . (théorème de Gershgörin)\\
b) Algorithme pour \(\mathrm{n}=3\) : Ecrire une procédure PASCAL qui permet à l'utilisateur de rentrer dans un tableau les 9 coefficients d'une matrice de \(\mathcal{M}_{3}(\mathbb{R})\), puis écrire une fonction PASCAL qui a pour argument un tel tableau et qui renvoie les centres et les rayons des 3 disques de Gershgörin associés à la matrice contenue dans le tableau.\\
c) Exemple : on se donne la matrice \(\mathrm{A}=\left[\begin{array}{ccc}1 & -1 & 0 \\ -1 & 2 & -1 \\ 0 & -1 & 1\end{array}\right]\).\\
(i) Justifier sans calculs que A est diagonalisable dans \(\mathcal{M}_{3}(\mathbb{R})\).\\
(ii) A l'aide du théorème de Gershgörin, situer les valeurs propres de A .\\
(iii) Diagonaliser explicitement A.\\
\(3^{\circ}\) ) La propriété (P).\\
Soit \(\mathrm{A}=\left(\mathrm{a}_{\mathrm{i}, \mathrm{j}}\right)_{1 \leq \mathrm{i}, \mathrm{j} \leq \mathrm{n}}\) une matrice de \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\). On suppose que A vérifie la propriété \((\mathrm{P})\) suivante : \((\mathrm{P})\)

\[
\left\{\begin{array}{c}
\forall i \in \llbracket 1, n \rrbracket, a_{i, i}>0 \\
\forall(i, j) \in \llbracket 1, n \rrbracket^{2}, i \neq j, a_{i, j} \leq 0 \\
\forall i \in \llbracket 1, n \rrbracket, \sum_{j=1}^{n} a_{i, j}>0
\end{array}\right.
\]

a) Montrer que A est à diagonale strictement dominante et en déduire qu'elle est inversible.\\
b) Soit \(\mathrm{X}=\left(\begin{array}{c}\mathrm{x}_{1} \\ \mathrm{x}_{2} \\ \vdots \\ \mathrm{x}_{\mathrm{n}}\end{array}\right) \in \mathbb{R}^{\mathrm{n}}\) tel que le vecteur AX ait toutes ses coordonnées positives ou nulles.

Montrer que : \(\forall i \in \llbracket 1, n \rrbracket, x_{i} \geq 0 \quad\). (On pourra considérer \(x_{i_{0}}=\min _{i \in \llbracket 1, n \rrbracket} x_{i}\). )\\
c) On note \(b_{i, j}\) le coefficient en position ( \(i, j\) ) dans la matrice inverse de \(A\) : \(A^{-1}=\left(b_{i, j}\right)_{1 \leq i, j \leq n}\).

Pour \(j \in \llbracket 1, n \rrbracket\), que vaut \(A\left(\begin{array}{c}b_{1, j} \\ b_{2, j} \\ \vdots \\ b_{n, j}\end{array}\right)\) ?\\
d) En déduire que les coefficients de \(\mathrm{A}^{-1}\) sont tous positifs ou nuls.\\
e) Exemple : on reprend ici \(\mathrm{A}=\left[\begin{array}{ccc}1 & -1 & 0 \\ -1 & 2 & -1 \\ 0 & -1 & 1\end{array}\right]\) et on considère pour \(\alpha>0: \mathrm{A}_{\alpha}=\mathrm{A}+\alpha \mathrm{I}_{3}\) où \(\mathrm{I}_{3}\) désigne la matrice identité de \(\mathcal{M}_{3}(\mathbb{R})\). Etablir que \(\mathrm{A}_{\alpha}\) vérifie la propriété \((\mathrm{P})\) et calculer \(\mathrm{A}_{\alpha}^{-1}\).

\section*{Partie II : convergence de suites de matrices.}
Soit \(\left(X_{k}\right)_{k \in \mathbb{N}}\) une suite de vecteurs de \(\mathbb{R}^{n}\). On note : \(X_{k}=\left(\begin{array}{c}x_{1}^{(k)} \\ x_{2}^{(k)} \\ \vdots \\ x_{n}^{(k)}\end{array}\right)\).\\
On dit que \(\left(X_{k}\right)_{k \in \mathbb{N}}\) converge vers un vecteur \(X=\left(\begin{array}{c}x_{1} \\ x_{2} \\ \vdots \\ x_{n}\end{array}\right)\) de \(\mathbb{R}^{n}\) si pour tout \(i\) de \(\llbracket 1, n \rrbracket\), la suite réelle \(\left(x_{i}^{(k)}\right)_{k \in N}\) converge vers le réel \(x_{i}\).\\
De même, pour \(\left(\mathrm{M}_{\mathrm{k}}\right)_{\mathrm{k} \in \mathrm{N}}\) une suite de matrices de \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\), si on note \(\mathrm{M}_{\mathrm{k}}=\left(\mathrm{m}_{\mathrm{i}, \mathrm{j}}^{(\mathrm{k})}\right)_{1 \leq \mathrm{i}, \mathrm{j} \leq \mathrm{n}}\), on dit que \(\left(M_{k}\right)_{k \in N}\) converge vers une matrice \(M=\left(m_{i, j}\right)_{1 \leq i, j \leq n}\) de \(\mathcal{M}_{n}(\mathbb{R})\) si pour tout \((i, j)\) de \(\llbracket 1, n \rrbracket^{2}\), la suite réelle \(\left(\mathrm{m}_{\mathrm{i}, \mathrm{j}}^{(\mathrm{k})}\right)_{\mathrm{k} \in \mathrm{N}}\) converge vers le réel \(\mathrm{m}_{\mathrm{i}, \mathrm{j}}\).\\
\(1^{\circ}\) ) Généralités.\\
a) Pour un vecteur \(\mathrm{X}=\left(\begin{array}{c}\mathrm{x}_{1} \\ \mathrm{x}_{2} \\ \vdots \\ \mathrm{x}_{\mathrm{n}}\end{array}\right)\) de \(\mathbb{R}^{\mathrm{n}}\), on définit : \(\mathrm{m}(\mathrm{X})=\max _{\mathrm{i} \in[1, \mathrm{n}]}\left|\mathrm{x}_{\mathrm{i}}\right|\).

Montrer qu'une suite de vecteurs \(\left(\mathrm{X}_{\mathrm{k}}\right)_{\mathrm{k} \in \mathrm{N}}\) converge vers un vecteur X si et seulement si \(\lim _{\mathrm{k} \rightarrow \infty} \mathrm{m}\left(\mathrm{X}_{\mathrm{k}}-\mathrm{X}\right)=0\).\\
b) Pour une matrice \(\mathrm{M}=\left(\mathrm{m}_{\mathrm{i}, \mathrm{j}}\right)_{1 \leq \mathrm{i}, \mathrm{j} \leq \mathrm{n}}\) de \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\), on définit : \(\mathrm{s}(\mathrm{M})=\sum_{\mathrm{i}=1}^{\mathrm{n}} \sum_{\mathrm{j}=1}^{\mathrm{n}}\left|\mathrm{m}_{\mathrm{i}, \mathrm{j}}\right|\).

Montrer qu'une suite de matrices \(\left(\mathrm{M}_{\mathrm{k}}\right)_{\mathrm{k} \in \mathrm{N}}\) converge vers une matrice M si et seulement si \(\lim _{\mathrm{k} \rightarrow \infty} \mathrm{s}\left(\mathrm{M}_{\mathrm{k}}-\mathrm{M}\right)=0\).\\
c) Montrer que: \(\forall \mathrm{M} \in \mathcal{M}_{\mathrm{n}}(\mathbb{R}), \forall \mathrm{X} \in \mathbb{R}^{\mathrm{n}}, \quad \mathrm{m}(\mathrm{MX}) \leq \mathrm{s}(\mathrm{M}) \mathrm{m}(\mathrm{X})\).\\
d) En déduire que si une suite de matrices \(\left(\mathrm{M}_{\mathrm{k}}\right)_{\mathrm{k} \in \mathbb{N}}\) converge vers une matrice M dans \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\) alors pour tout vecteur \(X\) de \(\mathbb{R}^{n}\), la suite \(\left(M_{k} X\right)_{k \in \mathbb{N}}\) converge vers \(M X\).\\
e) Réciproquement, si on dispose d'une suite de matrices \(\left(\mathrm{M}_{\mathrm{k}}\right)_{\mathrm{k} \in \mathbb{N}}\) et d'une matrice M dans \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\) telles que pour tout vecteur X de \(\mathbb{R}^{\mathrm{n}}\), la suite \(\left(\mathrm{M}_{\mathrm{k}} \mathrm{X}\right)_{\mathrm{k} \in \mathrm{N}}\) converge vers MX , montrer que la suite \(\left(\mathrm{M}_{\mathrm{k}}\right)_{\mathrm{k} \in \mathbb{N}}\) converge vers M .\\
f) Montrer encore que : \(\forall(M, N) \in \mathcal{M}_{n}(\mathbb{R})^{2}, \quad s(M N) \leq s(M) s(N)\).\\
g) Etablir maintenant que : \(\forall(Y, Z) \in\left(\mathbb{R}^{n}\right)^{2}, m(Y+Z) \leq m(Y)+m(Z)\), puis en déduire que: \(\forall(Y, Z) \in\left(\mathbb{R}^{n}\right)^{2}, \quad|m(Y)-m(Z)| \leq m(Y-Z)\).\\
\(2^{\circ}\) ) Convergence de la suite des inverses.\\
On considère ici une suite de matrices \(\left(\mathrm{M}_{\mathrm{k}}\right)_{\mathrm{k} \in \mathrm{N}}\), toutes inversibles, qui converge vers une matrice M inversible.\\
a) Soit X un vecteur de \(\mathbb{R}^{\mathrm{n}}\), montrer que :

\[
m\left(M_{k}^{-1} X-M^{-1} X\right) \leq s\left(M^{-1}\right) s\left(M-M_{k}\right) m\left(M_{k}^{-1} X\right)
\]

puis établir que :

\[
m\left(M_{k}^{-1} X\right)\left[1-s\left(M^{-1}\right) s\left(M-M_{k}\right)\right] \leq m\left(M^{-1} X\right)
\]

b) En déduire l'existence d'un entier \(\mathrm{k}_{0}\) tel que pour tout entier k supérieur à \(\mathrm{k}_{0}\) :

\[
m\left(M_{k}^{-1} X\right) \leq 2 m\left(M^{-1} X\right)
\]

c) Montrer alors que la suite \(\left(\mathrm{M}_{\mathrm{k}}^{-1} \mathrm{X}\right)_{\mathrm{k} \in \mathrm{N}}\) converge vers \(\mathrm{M}^{-1} \mathrm{X}\).\\
d) Conclure alors que la suite de matrices \(\left(\mathrm{M}_{\mathrm{k}}^{-1}\right)_{\mathrm{k} \in \mathrm{N}}\) converge vers la matrice \(\mathrm{M}^{-1}\).\\
\(3^{\circ}\) ) Soient \(M\) une matrice inversible de \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\) et une suite de matrices \(\left(\mathrm{M}_{\mathrm{k}}\right)_{\mathrm{k} \in \mathrm{N}}\) qui converge vers M . On suppose de plus que les matrices \(\mathrm{M}_{\mathrm{k}}\) vérifient toutes la propriété (P). Montrer que les coefficients de la matrice \(\mathrm{M}^{-1}\) sont tous positifs ou nuls.\\
\(4^{\circ}\) ) A partir de maintenant et dans toute la suite du problème, \(\mathrm{A}=\left(\mathrm{a}_{\mathrm{i}, \mathrm{j}}\right)_{1 \leq \mathrm{i}, \mathrm{j} \leq \mathrm{n}}\) désigne la matrice de \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\) définie par: \(\forall \mathrm{i} \in \llbracket 1, \mathrm{n} \rrbracket, \mathrm{a}_{\mathrm{i}, \mathrm{i}}=2, \forall \mathrm{i} \in \llbracket 1, \mathrm{n}-1 \rrbracket, \mathrm{a}_{\mathrm{i}, \mathrm{i}+1}=-1, \forall \mathrm{i} \in \llbracket 2, \mathrm{n} \rrbracket, \mathrm{a}_{\mathrm{i}, \mathrm{i}-1}=-1\) et les autres coefficients de A sont nuls.

\[
\mathrm{A}=\left(\begin{array}{lllll}
2 & -1 & 0 & \cdots & 0 \\
-1 & 2 & \ddots & \ddots & \vdots \\
0 & \ddots & \ddots & \ddots & 0 \\
\vdots & \ddots & \ddots & 2 & -1 \\
0 & \vdots & 0 & -1 & 2
\end{array}\right)
\]

a) Pour tout vecteur \(\mathrm{X}=\left(\begin{array}{c}\mathrm{x}_{1} \\ \mathrm{x}_{2} \\ \vdots \\ \mathrm{x}_{\mathrm{n}}\end{array}\right)\) de \(\mathbb{R}^{\mathrm{n}}\), calculer \((\mathrm{AX} / \mathrm{X})\) où \((/)\) est le produit scalaire canonique de \(\mathbb{R}^{n}\). Exprimer (AX/X) sous la forme d'une somme de carrés. En déduire que A est inversible.\\
b) Etablir que, pour tout réel \(\alpha\) strictement positif, la matrice \(\mathrm{A}_{\alpha}=\mathrm{A}+\alpha \mathrm{I}_{\mathrm{n}}\), où \(\mathrm{I}_{\mathrm{n}}\) désigne la matrice identité de \(\mathcal{M}_{\mathrm{n}}(\mathbb{R})\), vérifie la propriété \((\mathrm{P})\).\\
c) Construire une suite de matrices, vérifiant toutes la propriété ( P ), qui converge vers A .\\
d) En déduire que les coefficients de \(\mathrm{A}^{-1}\) sont tous positifs ou nuls.

\section*{Partie III : résolution du système (S).}
Soit une fonction f à valeurs réelles de classe \(\mathrm{C}^{2}\) sur le segment \([0,1]\). On dit qu'une fonction u vérifie le système (S) si : (S) \(\left\{\begin{array}{c}u \in C^{2}([0,1], \mathbb{R}) \\ u^{\prime \prime}=-f \\ u(0)=u(1)=0\end{array}\right.\).\\
\(1^{\circ}\) ) Existence et unicité de la solution de (S).\\
a) Montrer que ( S ) admet une unique solution u de classe \(\mathrm{C}^{4}\) sur le segment \([0,1]\).\\
b) Montrer que si \(f\) est positive, alors l'unique solution u du système ( S ) associé à f est également positive.\\
c) Expliciter la solution ũ de ( S ) lorsque f est la fonction constante égale à 1. Calculer sup ũ.\\
\(2^{\circ}\) ) On rappelle que \(n\) est un entier supérieur ou égal à 1 . On pose \(h=\frac{1}{n+1}\) et on considère la subdivision du segment \([0,1]\) formée des points \(x_{i}=i h=\frac{i}{n+1}, i \in \llbracket 0, n+1 \rrbracket\).\\
a) On considère \(u \in C^{4}([0,1], \mathbb{R})\) et \(x \in[0,1]\) tel que \((x+h, x-h) \in[0,1]^{2}\). Justifier à l'aide de l'inégalité de Taylor-Lagrange que :

\[
\left|\mathrm{u}(\mathrm{x}+\mathrm{h})-2 \mathrm{u}(\mathrm{x})+\mathrm{u}(\mathrm{x}-\mathrm{h})-\mathrm{h}^{2} \mathrm{u}^{\prime \prime}(\mathrm{x})\right| \leq \frac{\mathrm{h}^{4}}{12} \sup _{[0,1]}\left|\mathrm{u}^{(4)}\right|
\]

b) En déduire : \(\forall \mathrm{i} \in \llbracket 1, \mathrm{n} \rrbracket\left|\mathrm{u}^{\prime \prime}\left(\mathrm{x}_{\mathrm{i}}\right)-\frac{1}{\mathrm{~h}^{2}}\left[\mathrm{u}\left(\mathrm{x}_{\mathrm{i}-1}\right)-2 \mathrm{u}\left(\mathrm{x}_{\mathrm{i}}\right)+\mathrm{u}\left(\mathrm{x}_{\mathrm{i}+1}\right)\right]\right| \leq \frac{\mathrm{h}^{2}}{12} \sup _{[0,1]}\left|\mathrm{u}^{(4)}\right|\).\\
\(3^{\circ}\) ) On reprend la matrice A du II-4 \({ }^{\circ}\) et on note \(\tilde{\mathrm{F}}=\left(\begin{array}{c}1 \\ 1 \\ \vdots \\ 1\end{array}\right) \in \mathbb{R}^{n}\) et \(\tilde{\mathrm{U}}=\left(\begin{array}{c}\tilde{\mathrm{u}}\left(\mathrm{x}_{1}\right) \\ \tilde{\mathrm{u}}\left(\mathrm{x}_{2}\right) \\ \vdots \\ \tilde{\mathrm{u}}\left(\mathrm{x}_{\mathrm{n}}\right)\end{array}\right) \in \mathbb{R}^{n}\).\\
a) Réécrire les inégalités du \(2^{\circ}\)-b) dans le cas où u est la fonction ũ.\\
b) Montrer que \(\frac{1}{\mathrm{~h}^{2}} \mathrm{~A} \tilde{\mathrm{U}}=\tilde{\mathrm{F}}\).\\
c) En déduire que les coefficients \(b_{i, j}\) de la matrice \(A^{-1}\) vérifient :

\[
\forall i \in \llbracket 1, n \rrbracket, 0 \leq \sum_{j=1}^{n} b_{i, j} \leq \frac{(n+1)^{2}}{8}=\frac{1}{8 h^{2}}
\]

\(4^{\circ}\) ) Pour \(\mathrm{f} \in \mathrm{C}^{2}([0,1], \mathbb{R})\), on pose: \(\forall \mathrm{i} \in \llbracket 1, \mathrm{n} \rrbracket, \mathrm{f}_{\mathrm{i}}=\mathrm{f}\left(\mathrm{x}_{\mathrm{i}}\right)\) et \(\mathrm{F}=\left(\begin{array}{c}\mathrm{f}_{1} \\ \mathrm{f}_{2} \\ \vdots \\ \mathrm{f}_{\mathrm{n}}\end{array}\right) \in \mathbb{R}^{\mathrm{n}}\). On note u l'unique solution du système \((\mathrm{S})\) associé à f .\\
On définit \(U=\left(\begin{array}{c}u_{1} \\ u_{2} \\ \vdots \\ u_{n}\end{array}\right) \in \mathbb{R}^{n}\) par \(U=h^{2} A^{-1} F\). On note : \(\forall i \in \llbracket 1, n \rrbracket, \Delta u_{i}=u_{i}-u\left(x_{i}\right)\) et \(\Delta \mathrm{U}=\left(\begin{array}{c}\Delta \mathrm{u}_{1} \\ \Delta \mathrm{u}_{2} \\ \vdots \\ \Delta \mathrm{u}_{\mathrm{n}}\end{array}\right) \in \mathbb{R}^{\mathrm{n}}\) et enfin \(\mathrm{V}=\left(\begin{array}{c}\mathrm{v}_{1} \\ \mathrm{v}_{2} \\ \vdots \\ \mathrm{v}_{\mathrm{n}}\end{array}\right)\) le vecteur défini par \(\mathrm{V}=\mathrm{A} \Delta \mathrm{U}\).\\
Montrer pour \(i \in \llbracket 1, n \rrbracket\) que \(\left|v_{i}\right| \leq \frac{h^{4}}{12} \sup _{[0,1]}\left|f^{\prime \prime}\right|\).\\
Donner alors pour \(\mathrm{i} \in \llbracket 1, \mathrm{n} \rrbracket\) une majoration de \(\left|\Delta \mathrm{u}_{\mathrm{i}}\right|=\left|\mathrm{u}_{\mathrm{i}}-\mathrm{u}\left(\mathrm{x}_{\mathrm{i}}\right)\right|\) en fonction de h et \(\mathrm{f}^{\prime \prime}\).\\
\(5^{\circ}\) ) Exemple : on prend \(\mathrm{f}: \mathrm{x} \mapsto \exp (\sin \mathrm{x})\).\\
a) Montrer que \(\left|\mathrm{f}^{\prime \prime}\right| \leq 2 \mathrm{e}\). En déduire une première valeur de n qui garantit \(\left|\mathrm{u}_{\mathrm{i}}-\mathrm{u}\left(\mathrm{x}_{\mathrm{i}}\right)\right| \leq 10^{-4}\) pour tout \(\mathrm{i} \in \llbracket 1, \mathrm{n} \rrbracket\).\\
b) Etudier la fonction \(x \mapsto\left(x^{2}+x-1\right) \exp (x)\) pour \(x \geq 0\). En déduire une valeur de \(n\) meilleure que la précédente qui garantit encore \(\left|u_{i}-u\left(x_{i}\right)\right| \leq 10^{-4}\) pour tout \(i \in \llbracket 1, n \rrbracket\).


\end{document}