Eclats de vers : Matemat : Limites doubles
Table des matières
\( \newcommand{\parentheses}[1]{\left(#1\right)} \newcommand{\crochets}[1]{\left[#1\right]} \newcommand{\accolades}[1]{\left\{#1\right\}} \newcommand{\ensemble}[1]{\left\{#1\right\}} \newcommand{\identite}{\mathrm{Id}} \newcommand{\indicatrice}{\boldsymbol{\delta}} \newcommand{\dirac}{\delta} \newcommand{\moinsun}{{-1}} \newcommand{\inverse}{\ddagger} \newcommand{\pinverse}{\dagger} \newcommand{\topologie}{\mathfrak{T}} \newcommand{\ferme}{\mathfrak{F}} \newcommand{\img}{\mathbf{i}} \newcommand{\binome}[2]{ \left\{ \begin{array}{c} #1 \\ #2 \\ \end{array} \right\} } \newcommand{\canonique}{\mathfrak{c}} \newcommand{\tenseuridentite}{\boldsymbol{\mathcal{I}}} \newcommand{\permutation}{\boldsymbol{\epsilon}} \newcommand{\matriceZero}{\mathfrak{0}} \newcommand{\matriceUn}{\mathfrak{1}} \newcommand{\christoffel}[2]{ \left\{ \begin{array}{c} #1 \\ #2 \\ \end{array} \right\} } \newcommand{\lagrangien}{\mathfrak{L}} \newcommand{\sousens}{\mathfrak{P}} \newcommand{\partition}{\mathrm{Partition}} \newcommand{\tribu}{\mathrm{Tribu}} \newcommand{\topologies}{\mathrm{Topo}} \newcommand{\setB}{\mathbb{B}} \newcommand{\setN}{\mathbb{N}} \newcommand{\setZ}{\mathbb{Z}} \newcommand{\setQ}{\mathbb{Q}} \newcommand{\setR}{\mathbb{R}} \newcommand{\setC}{\mathbb{C}} \newcommand{\corps}{\mathbb{K}} \newcommand{\boule}{\mathfrak{B}} \newcommand{\intervalleouvert}[2]{\left] #1 , #2 \right[} \newcommand{\intervallesemiouvertgauche}[2]{ \left] #1 , #2 \right]} \newcommand{\intervallesemiouvertdroite}[2]{\left[ #1 , #2 \right[ } \newcommand{\fonction}{\mathbb{F}} \newcommand{\bijection}{\mathrm{Bij}} \newcommand{\polynome}{\mathrm{Poly}} \newcommand{\lineaire}{\mathrm{Lin}} \newcommand{\continue}{\mathrm{Cont}} \newcommand{\homeomorphisme}{\mathrm{Hom}} \newcommand{\etagee}{\mathrm{Etagee}} \newcommand{\lebesgue}{\mathrm{Leb}} \newcommand{\lipschitz}{\mathrm{Lip}} \newcommand{\suitek}{\mathrm{Suite}} \newcommand{\matrice}{\mathbb{M}} \newcommand{\krylov}{\mathrm{Krylov}} \newcommand{\tenseur}{\mathbb{T}} \newcommand{\essentiel}{\mathfrak{E}} \newcommand{\relation}{\mathrm{Rel}} \DeclareMathOperator*{\strictinferieur}{\ < \ } \DeclareMathOperator*{\strictsuperieur}{\ > \ } \DeclareMathOperator*{\ensinferieur}{\eqslantless} \DeclareMathOperator*{\enssuperieur}{\eqslantgtr} \DeclareMathOperator*{\esssuperieur}{\gtrsim} \DeclareMathOperator*{\essinferieur}{\lesssim} \newcommand{\essegal}{\eqsim} \newcommand{\union}{\ \cup \ } \newcommand{\intersection}{\ \cap \ } \newcommand{\opera}{\divideontimes} \newcommand{\autreaddition}{\boxplus} \newcommand{\autremultiplication}{\circledast} \newcommand{\commutateur}[2]{\left[ #1 , #2 \right]} \newcommand{\convolution}{\circledcirc} \newcommand{\correlation}{\ \natural \ } \newcommand{\diventiere}{\div} \newcommand{\modulo}{\bmod} \DeclareMathOperator*{\pgcd}{pgcd} \DeclareMathOperator*{\ppcm}{ppcm} \newcommand{\produitscalaire}[2]{\left\langle #1 \vert #2 \right\rangle} \newcommand{\scalaire}[2]{\left\langle #1 \| #2 \right\rangle} \newcommand{\braket}[3]{\left\langle #1 \vert #2 \vert #3 \right\rangle} \newcommand{\orthogonal}{\bot} \newcommand{\forme}[2]{\left\langle #1 , #2 \right\rangle} \newcommand{\biforme}[3]{\left\langle #1 , #2 , #3 \right\rangle} \newcommand{\contraction}[3]{\left\langle #1 \odot #3 \right\rangle_{#2}} \newcommand{\dblecont}[5]{\left\langle #1 \vert #3 \vert #5 \right\rangle_{#2,#4}} \DeclareMathOperator*{\major}{major} \DeclareMathOperator*{\minor}{minor} \DeclareMathOperator*{\maxim}{maxim} \DeclareMathOperator*{\minim}{minim} \DeclareMathOperator*{\argument}{arg} \DeclareMathOperator*{\argmin}{arg\ min} \DeclareMathOperator*{\argmax}{arg\ max} \DeclareMathOperator*{\supessentiel}{ess\ sup} \DeclareMathOperator*{\infessentiel}{ess\ inf} \newcommand{\dual}{\star} \newcommand{\distance}{\mathfrak{dist}} \newcommand{\norme}[1]{\left\| #1 \right\|} \newcommand{\normetrois}[1]{\left|\left\| #1 \right\|\right|} \DeclareMathOperator*{\adh}{adh} \DeclareMathOperator*{\interieur}{int} \newcommand{\frontiere}{\partial} \DeclareMathOperator*{\image}{im} \DeclareMathOperator*{\domaine}{dom} \DeclareMathOperator*{\noyau}{ker} \DeclareMathOperator*{\support}{supp} \DeclareMathOperator*{\signe}{sign} \newcommand{\abs}[1]{\left| #1 \right|} \newcommand{\unsur}[1]{\frac{1}{#1}} \newcommand{\arrondisup}[1]{\lceil #1 \rceil} \newcommand{\arrondiinf}[1]{\lfloor #1 \rfloor} \DeclareMathOperator*{\conjugue}{conj} \newcommand{\conjaccent}[1]{\overline{#1}} \DeclareMathOperator*{\division}{division} \newcommand{\difference}{\boldsymbol{\Delta}} \newcommand{\differentielle}[2]{\mathfrak{D}^{#1}_{#2}} \newcommand{\OD}[2]{\frac{d #1}{d #2}} \newcommand{\OOD}[2]{\frac{d^2 #1}{d #2^2}} \newcommand{\NOD}[3]{\frac{d^{#3} #1}{d #2^{#3}}} \newcommand{\deriveepartielle}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\PD}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\dblederiveepartielle}[2]{\frac{\partial^2 #1}{\partial #2 \partial #2}} \newcommand{\dfdxdy}[3]{\frac{\partial^2 #1}{\partial #2 \partial #3}} \newcommand{\dfdxdx}[2]{\frac{\partial^2 #1}{\partial #2^2}} \newcommand{\gradient}{\mathbf{\nabla}} \newcommand{\combilin}[1]{\mathrm{span}\{ #1 \}} \DeclareMathOperator*{\trace}{tr} \newcommand{\proba}{\mathbb{P}} \newcommand{\probaof}[1]{\mathbb{P}\left[#1\right]} \newcommand{\esperof}[1]{\mathbb{E}\left[#1\right]} \newcommand{\cov}[2]{\mathrm{cov} \left( #1 , #2 \right) } \newcommand{\var}[1]{\mathrm{var} \left( #1 \right) } \newcommand{\rand}{\mathrm{rand}} \newcommand{\variation}[1]{\left\langle #1 \right\rangle} \DeclareMathOperator*{\composante}{comp} \DeclareMathOperator*{\bloc}{bloc} \DeclareMathOperator*{\ligne}{ligne} \DeclareMathOperator*{\colonne}{colonne} \DeclareMathOperator*{\diagonale}{diag} \newcommand{\matelementaire}{\mathrm{Elem}} \DeclareMathOperator*{\matpermutation}{permut} \newcommand{\matunitaire}{\mathrm{Unitaire}} \newcommand{\gaussjordan}{\mathrm{GaussJordan}} \newcommand{\householder}{\mathrm{Householder}} \DeclareMathOperator*{\rang}{rang} \newcommand{\schur}{\mathrm{Schur}} \newcommand{\singuliere}{\mathrm{DVS}} \newcommand{\convexe}{\mathrm{Convexe}} \newcommand{\petito}[1]{o\left(#1\right)} \newcommand{\grando}[1]{O\left(#1\right)} \)
\( \newenvironment{Eqts} { \begin{equation*} \begin{gathered} } { \end{gathered} \end{equation*} } \newenvironment{Matrix} {\left[ \begin{array}} {\end{array} \right]} \)
\label{chap:limitesDoubles}
1. Dépendances
- Chapitre \ref{chap:limites} : Les limites
2. Introduction
Si les ensemble \(A, B\) sont munis d'une distance, on définit la distance :
\[\distance^2 : (A \times B) \times (A \times B) \mapsto \corps\]
associée par :
\[\distance^2\big[(x,y), (a,b)\big] = \max \big\{ \distance(x,a), \distance(y,b) \big\}\]
pour tout \((x,y),(a,b) \in A \times B\). La fonction définie est-elle une distance ? On a clairement \(\distance^2 \ge 0\) et :
\[\distance^2\big[(x,y), (a,b)\big] = \distance^2\big[(a,b), (x,y)\big]\]
On a aussi :
\[\distance^2\big[(x,y), (x,y)\big] = \max \big\{ \distance(x,x), \distance(y,y) \big\} = \max \{ 0, 0 \} = 0\]
Si :
\[\distance^2\big[(x,y), (a,b)\big] = 0\]
on a forcément :
\[\distance(x,a) = \distance(y,b) = 0\]
Donc \(x = a\), \(y = b\) et :
\[(x,y) = (a,b)\]
Pour l'inégalité triangulaire, soit \((x,y),(a,b),(c,d) \in A \times B\) et :
\[d = \distance^2\big[(a,b), (c,d)\big] = \max \big\{ \distance(a,c), \distance(b,d) \big\}\]
La distance sur \(A\) vérifie :
\[\distance(a,c) \le \distance(a,x) + \distance(x,c)\]
La distance sur \(B\) vérifie :
\[\distance(b,d) \le \distance(b,y) + \distance(y,d)\]
On en déduit que :
\begin{align} d &\le \max \{ \distance(a,x) + \distance(x,c), \distance(b,y) + \distance(y,d) \} \) \( &\le \max \{ \distance(a,x), \distance(b,y) \} + \max \{ \distance(x,c), \distance(y,d) \} \) \( &\le \distance^2\big[(a,b), (x,y)\big] + \distance^2\big[(x,y), (c,d)\big] \end{align}3. Limite en un point
Soit un ensemble \(F\) et une fonction \(f : A \times B \mapsto F\). On choisit un ensemble \(U \subseteq A \times B\). On dit que \(L\) est la limite de \(f\) en \((a,b) \in A \times B\) et on le note :
\[\lim_{ \substack{ (x,y) \to (a,b) \\ (x,y) \in U } } f(x,y) = L\]
si, pour toute précision \(\epsilon \strictsuperieur 0\), on peut trouver un \(\delta \strictsuperieur 0\) tel que :
\[\distance(f(x,y), L) \le \epsilon\]
pour tout \((x,y) \in U\) vérifiant :
\[\distance^2\big[ (x,y), (a,b) \big] = \max \{ \distance(x,a), \distance(y,b) \} \le \delta\]
3.1. Formulation équivalente
La condition :
\[\max \{ \distance(x,a), \distance(y,b) \} \le \delta\]
est équivalente à :
\( \distance(x,a) \le \delta \)
\( \distance(y,b) \le \delta \)
On en conclut que :
\[\lim_{ \substack{ (x,y) \to (a,b) \\ (x,y) \in U } } f(x,y) = L\]
si et seulement si, pour toute précision \(\epsilon \strictsuperieur 0\), on peut trouver un \(\delta \strictsuperieur 0\) tel que :
\[\distance(f(x,y), L) \le \epsilon\]
pour tout \((x,y) \in U\) vérifiant :
\( \distance(x,a) \le \delta \)
\( \distance(y,b) \le \delta \)
3.2. Extension
Supposons que pour toute précision \(\epsilon \strictsuperieur 0\) on puisse trouver des \(\delta_1, \delta_2 \strictsuperieur 0\) tels que :
\[\distance(f(x,y), L) \le \epsilon\]
pour tout \((x,y) \in U\) vérifiant :
\( \distance(x,a) \le \delta_1 \)
\( \distance(y,b) \le \delta_2 \)
En posant :
\[\delta = \min \{ \delta_1, \delta_2 \} \strictsuperieur 0\]
on voit que :
\[\distance(f(x,y), L) \le \epsilon\]
pour tout \((x,y) \in U\) vérifiant :
\( \distance(x,a) \le \delta \le \delta_1 \)
\( \distance(y,b) \le \delta \le \delta_2 \)
On en conclut que :
\[\lim_{ \substack{ (x,y) \to (a,b) \\ (x,y) \in U } } f(x,y) = L\]
4. Limite à l'infini
On suppose que les ensembles \(A, B\) sont ordonnés. On dit que \(L \in F\) est la limite de \(f : A \times B \mapsto F\) à l'infini positif et on le note :
\[\lim_{(x,y) \to +\infty} f(x,y) = L\]
si, pour toute précision \(\epsilon \strictsuperieur 0\), on peut trouver des bornes inférieures \((I, J) \in A \times B\) telles que :
\[\distance\big[f(x,y), L\big] \le \epsilon\]
pour tout \((x,y) \in A \times B\) vérifiant :
\( x \ge I \)
\( y \ge J \)
On dit que \(L \in F\) est la limite de \(f : A \times B \mapsto F\) à l'infini négatif et on le note :
\[\lim_{(x,y) \to -\infty} f(x,y) = L\]
si, pour toute précision \(\epsilon \strictsuperieur 0\), on peut trouver des bornes supérieures \((I, J) \in A \times B\) telles que :
\[\distance\big[f(x,y), L\big] \le \epsilon\]
pour tout \((x,y) \in A \times B\) vérifiant :
\( x \le I \)
\( y \le J \)
5. Dualité
5.1. \(x\) puis \(y\)
Supposons que la limite \(\lambda(y)\) définie par :
\[\lambda(y) = \lim_{x \to a} f(x,y)\]
existe pour tout \(y \in B\) et que :
\[L = \lim_{y \to b} \lambda(y) = \lim_{y \to b} \lim_{x \to a} f(x,y)\]
est bien définie. Nous supposons également que, quelque soit \(\epsilon \strictsuperieur 0\), on peut trouver un \(\delta \strictsuperieur 0\) tel que :
\[\distance(f(x,y),\lambda(y)) \le \epsilon\]
pour tout \((x,y) \in A \times B\) vérifiant :
\[\distance(x,a) \le \delta\]
Choissons \(\epsilon \strictsuperieur 0\). On peut trouver \(\delta_1 \strictsuperieur 0\) tel que :
\[\distance(\lambda(y), L) \le \frac{\epsilon}{2}\]
pour tout \((x,y) \in A \times B\) vérifiant :
\[\distance(y,b) \le \delta_1\]
On peut aussi trouver \(\delta_2\) tel que :
\[\distance(f(x,y),\lambda(y)) \le \frac{\epsilon}{2}\]
pour tout \((x,y) \in A \times B\) vérifiant :
\[\distance(x,a) \le \delta_2\]
Soit \(\delta = \min \{ \delta_1, \delta_2 \}\) et \((x,y) \in A \times B\) vérifiant :
\[\max \{ \distance(x,a), \distance(y,b) \} \le \delta\]
On a alors :
\begin{align} \distance(f(x,y),L) &\le \distance(f(x,y),\lambda(y)) + \distance(\lambda(y),L) \) \( &\le \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon \end{align}On en conclut que :
\[\lim_{(x,y) \to (a,b)} f(x,y) = L\]
autrement dit :
\[\lim_{(x,y) \to (a,b)} f(x,y) = \lim_{y \to b} \lim_{x \to a} f(x,y)\]
5.2. \(y\) puis \(x\)
Supposons que la limite \(\mu(x)\) définie par :
\[\mu(x) = \lim_{y \to b} f(x,y)\]
existe pour tout \(x \in A\) et que :
\[M = \lim_{x \to a} \mu(y) = \lim_{x \to a} \lim_{y \to b} f(x,y)\]
est bien définie. Nous supposons également que, quelque soit \(\epsilon \strictsuperieur 0\), on peut trouver un \(\delta \strictsuperieur 0\) tel que :
\[\distance(f(x,y),\mu(x)) \le \epsilon\]
pour tout \((x,y) \in A \times B\) vérifiant :
\[\distance(y,b) \le \delta\]
Choissons \(\epsilon \strictsuperieur 0\). On peut trouver \(\delta_1 \strictsuperieur 0\) tel que :
\[\distance(\mu(x), M) \le \frac{\epsilon}{2}\]
pour tout \((x,y) \in A \times B\) vérifiant :
\[\distance(x,a) \le \delta_1\]
On peut aussi trouver \(\delta_2\) tel que :
\[\distance(f(x,y),\mu(x)) \le \frac{\epsilon}{2}\]
pour tout \((x,y) \in A \times B\) vérifiant :
\[\distance(y,b) \le \delta_2\]
Soit \(\delta = \min \{ \delta_1, \delta_2 \}\) et \((x,y) \in A \times B\) vérifiant :
\[\max \{ \distance(x,a), \distance(y,b) \} \le \delta\]
On a alors :
\begin{align} \distance(f(x,y),M) &\le \distance(f(x,y),\mu(x)) + \distance(\mu(x),M) \) \( &\le \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon \end{align}On en conclut que :
\[\lim_{(x,y) \to (a,b)} f(x,y) = M\]
autrement dit :
\[\lim_{(x,y) \to (a,b)} f(x,y) = \lim_{x \to a} \lim_{y \to b} f(x,y)\]