Suites de fonctions

La notation $$| \, \, |$$ désigne la valeur absolue d'un nombre réel ou le module d'un nombre complexe.
$${\color{red}{\blacktriangleright \,\, \textbf{Suites de fonctions}}}$$
$${\color{blue}{\blacklozenge \,\, \textbf{La convergence simple}}}$$
$${\color{green}{\sphericalangle \,\, \textbf{Définition}}}$$
Soit $$A$$ un sous-ensemble de $$\mathbb{R}$$ ou $$\mathbb{C}$$. Soit $$(f_n)_{n \in \mathbb{N}}$$ une suite de fonctions définies sur $$A$$, à valeurs réelles ou complexes.
On dit que la suite $$(f_n)_{n \in \mathbb{N}}$$ converge simplement vers une fonction $$f$$, également définie sur $$A$$, également à valeurs réelles ou complexes, si, pour tout élément $$x$$ de $$A$$, la suite $$(f_n)_{n \in \mathbb{N}}(x)$$ converge vers $$f(x)$$. D'où :
$$\forall \varepsilon > 0, \,\, \forall x \in A, \,\, \exists N \in \mathbb{N} \,/\, \forall n \in \mathbb{N}, \,\, n \geqslant N \,\,\, \Longrightarrow \,\,\, | \, f_n(x) - f(x) \,| < \varepsilon$$
Cette définition fait que la nombre entier naturel $$N$$ peut déprendre du nombre réel ou complexe $$x$$.
Pour illustrer cela, on considère la suite réelle de fonctions $$(f_n)_{n \geqslant 1}$$, définies sur l'intervalle $$[0 \,;\, 1]$$ par :
$$\left\lbrace \begin{array}{rcl} \forall x \in \left[ 0 \,;\, \dfrac{1}{n} \right] & \mathrm{on \,\,a} & f_n(x) = 1 - nx \\ & & \\ \forall x \in \left[ \dfrac{1}{n} \,;\, 1 \right] & \mathrm{on \,\,a} & f_n(x) = 0 \end{array} \right.$$
La suite de fonction $$(f_n)_{n \geqslant 1}$$ converge simplement vers la fonction réelle, définie sur l'intervalle $$[0\,;\,1]$$ par :
$$f(0) = 1$$ et $$\forall x \in ] 0 \,;\, 1], \, f(x) = 0$$
Effectivement, pour tout nombre entier naturel non nul $$n$$, $$f_n(0)=1$$ ce qui signifie que la suite $$(f_n(0))_{n \geqslant 1}$$ est stationnaire (constante) et de fait convergente vers $$f(0) = 1$$.
Puis, pour $$x \in ] 0 \,;\, 1]$$, la suite $$\left( \dfrac{1}{n} \right)_{ n \geqslant 1} \longrightarrow 0$$. De fait, il existe un certain nombre entier naturel $$N$$ tel que pour $$n \geqslant N \Longrightarrow \dfrac{1}{n} \leqslant x$$. Ceci implique que $$f_n(x) = 0$$. Ainsi la suite $$(f_n(x))_{n \geqslant 1}$$ est nulle à partir de $$N$$ et cela implique qu'elle est de nature convergente, vers $$0$$.
$${\color{green}{\sphericalangle \,\, \textbf{Critère de Cauchy de convergence simple}}}$$
On a le théorème suivant :
Soit $$(f_n)_{n \geqslant 0}$$ une suite de fonctions, à valeurs réelles ou complexes, définies sur un sous ensemble $$A$$ de $$\mathbb{R}$$ ou $$\mathbb{C}$$. La suite $$(f_n)_{n \geqslant 0}$$ \textbf{converge simplement} sur $$A$$ si et seulement si :
$$\forall \varepsilon > 0, \,\, \forall x \in A, \,\, \exists N \in \mathbb{N} \,/\, \forall (n\,;\,p) \in ]N \,;\, + \infty[^2, \,\, | \, f_n(x) - f_p(x) \,| < \varepsilon$$
Cette définition fait que la nombre entier naturel $$N$$ peut déprendre du nombre réel ou complexe $$x$$.
$${\color{blue}{\blacklozenge \blacklozenge \,\, \textbf{La convergence uniforme}}}$$
$${\color{green}{\sphericalangle \,\, \textbf{Définition}}}$$
Soit $$A$$ un sous-ensemble de $$\mathbb{R}$$ ou $$\mathbb{C}$$. Soit $$(f_n)_{n \in \mathbb{N}}$$ une suite de fonctions définies sur $$A$$, à valeurs réelles ou complexes.
On dit que la suite $$(f_n)_{n \in \mathbb{N}}$$ converge uniformément vers une fonction $$f$$, également définie sur $$A$$, également à valeurs réelles ou complexes, si :
$$\forall \varepsilon > 0, \,\, \exists N \in \mathbb{N} \,/\, \forall n \in \mathbb{N}, \,\, n \geqslant N \,\,\, \Longrightarrow \,\,\, \forall x \in A, \, | \, f_n(x) - f(x) \,| < \varepsilon$$
Cette fois le nombre entier naturel $$N$$ ne déprend pas du nombre réel ou complexe $$x$$.
$${\color{green}{\sphericalangle \,\, \textbf{Critère de Cauchy de convergence uniforme}}}$$
On a le théorème suivant :
Soit $$(f_n)_{n \geqslant 0}$$ une suite de fonctions, à valeurs réelles ou complexes, définies sur un sous ensemble $$A$$ de $$\mathbb{R}$$ ou $$\mathbb{C}$$. La suite $$(f_n)_{n \geqslant 0}$$ \textbf{converge uniformément} sur $$A$$ si et seulement si :
$$\forall \varepsilon > 0, \,\, \exists N \in \mathbb{N} \,/\, \forall (n\,;\,p) \in ]N \,;\, + \infty[^2, \,\, \forall x \in A, \,\,| \, f_n(x) - f_p(x) \,| < \varepsilon$$
Cette définition fait que la nombre entier naturel $$N$$ peut déprendre du nombre réel ou complexe $$x$$.
On a également le théorème important suivant :
Soit $$(f_n)_{n \geqslant 0}$$ une suite de fonctions, à valeurs réelles ou complexes, définies sur un sous ensemble $$A$$ de $$\mathbb{R}$$ ou $$\mathbb{C}$$. La convergence uniforme de la suite $$(f_n)_{n \geqslant 0}$$ vers une fonction $$f$$ sur $$A$$ implique la convergence simple de la suite $$(f_n)_{n \geqslant 0}$$ vers $$f$$.
$${\color{green}{\sphericalangle \,\, \textbf{Condition équivalente de convergence uniforme}}}$$
Soit $$(f_n)_{n \geqslant 0}$$ une suite de fonctions bornées, à valeurs réelles ou complexes, définies sur un sous ensemble $$A$$ de $$\mathbb{R}$$ ou $$\mathbb{C}$$. On suppose que cette suite $$(f_n)_{n \geqslant 0}$$ converge simplement, sur $$A$$, vers une fonction bornée $$f$$.
On pose :
$$|| \, f_n - f \, ||_{\infty} = \underset{x \in A}{\sup} | \, f_n(x) - f(x) \,|$$
On a le théorème (très important dans la pratique) suivant :
La suite $$(f_n)_{n \geqslant 0}$$ converge uniformément vers $$f$$ si et seulement si :
$$\lim_{n \longrightarrow + \infty} || \, f_n - f \, ||_{\infty} = 0$$
$${\color{blue}{\blacklozenge \,\, \textbf{Continuité d'une limite uniforme}}}$$
$${\color{green}{\sphericalangle \,\, \textbf{Définition}}}$$
Soit $$A$$ un sous-ensemble de $$\mathbb{R}$$ ou $$\mathbb{C}$$. Soit $$(f_n)_{n \in \mathbb{N}}$$ une suite de fonctions définies sur $$A$$, à valeurs réelles ou complexes.
On dit que la suite $$(f_n)_{n \in \mathbb{N}}$$ converge localement uniformément vers une fonction $$f$$ si, pour tout $$x$$ de $$A$$ il existe un disque ouvert(qui est un intervalle ouvert dans la cas d'une fonction réelle, de centre $$x$$ sur lequel la convergence est uniforme.
On a le théorème suivant :
Soit $$(f_n)_{n \in \mathbb{N}}$$ une suite de fonctions définies sur un ouvert $$A$$, à valeurs réelles ou complexes qui converge localement uniformément vers une fonction $$f$$, elle même définies sur $$A$$ et à valeurs réelles ou complexes. Dans ce cas, la fonction $$f$$ est continue sur $$A$$.
$${\color{blue}{\blacklozenge \,\, \textbf{Dérivation d'une limite uniforme}}}$$
On a le théorème suivant :
Soit $$(f_n)_{n \in \mathbb{N}}$$ une suite de fonctions réelles définies et dérivables sur un intervalle ouvert $$I$$ de $$\mathbb{R}$$, à valeurs réelles. On suppose alors que :
$$- \,\,$$ la suite $$(f_n)_{n \in \mathbb{N}}$$ converge simplement sur $$I$$ vers une fonction $$f$$ définie sur $$I$$ à valeurs réelles ou complexes ;
$$- \,\,$$ la suite des dérivées $$(f'_n)_{n \in \mathbb{N}}$$ converge uniformément sur $$I$$ vers une fonction $$f$$ définie sur $$I$$ à valeurs réelles ou complexes.
Dans ce cas la fonction $$f$$ est dérivable sur $$I$$ et de dérivée $$g$$. La suite $$(f_n)_{n \in \mathbb{N}}$$ converge uniformément, sur toute partie bornée de $$I$$, vers $$f$$.
On a également le théorème suivant :
Soit $$(f_n)_{n \in \mathbb{N}}$$ une suite de fonctions réelles définies et dérivables sur un intervalle ouvert $$I$$ de $$\mathbb{R}$$, à valeurs réelles. On suppose alors que :
$$- \,\,$$ la suite $$(f_n)_{n \in \mathbb{N}}$$ converge simplement sur $$I$$ vers une fonction $$f$$ définie sur $$I$$ à valeurs réelles ou complexes ;
$$- \,\,$$ la suite des dérivées $$(f'_n)_{n \in \mathbb{N}}$$ converge uniformément sur $$I$$ vers une fonction $$f$$ définie sur $$I$$ à valeurs réelles ou complexes ;
$$- \,\,$$ chaque fonction $$f_n$$ est $$p$$ fois dérivable sur $$I$$ ;
$$- \,\,$$ pour tout $$k$$ tels que $$1 \leqslant k \leqslant p$$, la suite des dérivées d'ordre $$k$$ $$(f^{(k)}_n)_{n \in \mathbb{N}}$$ converge uniformément sur $$I$$ vers une fonction $$g_k$$ définie sur $$I$$ à valeurs réelles ou complexes.
Dans ce cas la fonction $$f$$ est $$p$$ fois dérivable sur $$I$$ et, pour tout $$k$$ tels que $$1 \leqslant k \leqslant p$$, on a :
$$\forall x \in I, \,\, \lim_{n \longrightarrow \infty} f^{(k)}_n(x) = g_k(x)$$
$${\color{blue}{\blacklozenge \,\, \textbf{Intégration d'une limite uniforme}}}$$
On a le théorème suivant :
Soit $$(f_n)_{n \in \mathbb{N}}$$ une suite de fonctions réelles définies et continues sur un intervalle $$[a \,;\,b]$$ de $$\mathbb{R}$$, à valeurs réelles ou complexes. On suppose que la suite $$(f_n)_{n \in \mathbb{N}}$$ converge uniformément sur $$[a \,;\,b]$$ vers une fonction $$f$$.
Dans ce cas :
$$\lim_{n \longrightarrow \infty} \int_a^b f_n(x) \, dx = \int_a^b f(x) \, dx$$
Ce théorème justifie la permutation de la limite et de l'intégrale.
$${\color{blue}{\blacklozenge \,\, \textbf{Convergence dominée}}}$$
Par définition, continue par morceaux sur un intervalle $$I$$ de $$\mathbb{R}$$, à valeurs réelles (ou complexes), est intégrale si l'intégrale, sur $$I$$, de sa valeur absolue (ou de son module) converge.
On a le théorème suivant :
Soit $$(f_n)_{n \in \mathbb{N}}$$ une suite de fonctions réelles définies et continues par morceaux sur un intervalle $$[a \,;\,b]$$ de $$\mathbb{R}$$, à valeurs réelles ou complexes. On suppose que :
$$- \,\,$$ pour tout entier naturel $$n$$ la fonction $$f_n$$ est intégrable sur $$I$$ ;
$$- \,\,$$ la suite de fonctions $$(f_n)_{n \in \mathbb{N}}$$ converge simplement, sur $$I$$, vers une fonction $$f$$ continue par morceaux, définie sur $$I$$, et à valeurs réelles ou complexes ;
$$- \,\,$$ il existe une fonction $$\varphi$$, définie sur $$I$$, et à valeurs réelles, continue par morceau et intégrable sur $$I$$, telle que :
$$\forall x \in I, \,\, \forall n \in \mathbb{N}, \,\, |\, f_n(x) \,| \leqslant \varphi(x)$$
Dans ce cas la fonction $$f$$ est intégrable et on a :
$$\lim_{n \longrightarrow \infty} \int_I f_n(x) \, dx = \int_I f(x) \, dx$$