Résolution numérique d'équations non-linéaires

28 Sep 2019, 07:20

cours / ananum / python

L’objectif que nous nous fixons ici est de présenter quelques méthodes numériques pour la recherche des zéros d’une fonction non-linéaire $f$ .

Par exemple, dans la figure suivante nous représentons graphiquement une fonction non-linéaire ainsi que ses zéros trouvés de manière numérique.

Pour formaliser les notations, on considère la définition suivante des zéros d’une fonction.

Définition

Soit $f : Ω \subset R^{N} \to R^{N}$ avec $Ω$ un domaine de $R^{N}$ . On dit que $α \in Ω$ est un zéro de $f$ si $f (α) = 0_{R^{N}}$ .

Il est naturel de se poser la question de l’existence des zéros:

un ou plusieurs zéros?
comment déterminer les zéros d’une fonction en sachant qu’un calcul exact il est rarement possible?

En général, on approche les zéros des fonctions non-linéaires à l’aide des méthodes itératives. Plus précisément, soit $f : I \to R$ , $I$ un intervalle de $R$ et supposons que $f$ admet au moins un zéro $α \in I$ . Calculer une valeur approchée de $α$ par une méthode itérative consiste à construire une suite récurrente $(x_{n})_{n}$ de $I$ convergeant vers $α$ .

Plusieurs critères d’arrêt existent :

$| f (x_{n + 1}) | < ε ou | x_{n + 1} - x_{n} | < ε ou \frac{| x_{n + 1} - x_{n} |}{| x_{n + 1} |} < ε,$

pour un $ε > 0$ donné. Plus exactement, on construit des termes de la suite $(x_{n})_{n}$ jusqu’à un de ces critères d’arrêt est validé.

Une fois qu’on sait que la suite $x_{n}$ converge vers le zéro $α$ de $f$ , il est pertinent de quantifier la vitesse de convergence de la suite et, donc, de la méthode d’approximation.

Définition

Soit $(x_{n})_{n \in N}$ une suite convergeant vers $α$ tel que $f (α) = 0$ . Soit $p \in N^{*}$ . S’il existe $C > 0$ et $n_{0} \in N$ tels que $\forall n \geq n_{0}, | x_{n + 1} - α | \leq C | x_{n} - α |^{p},$ on dit que la convergence est d’ordre au moins $p$ .

Si $p = 1$ on dit que la convergence est linéaire et si $p = 2$ la convergence et quadratique:

$p = 1$ : convergence linéaire $\forall n \geq 0, | x_{n + 1} - α | \leq C | x_{n} - α |$
$p = 2$ : convergence quadratique $\forall n \geq 0, | x_{n + 1} - α | \leq C | x_{n} - α |^{2} .$

Si la limite

$lim_{n \to \infty} \frac{| x_{n + 1} - α |}{| x_{n} - α |^{p}}$

existe et elle est finie, alors la convergence est d’ordre au moins $p$ .

Définition

S’il existe une suite $(c_{n})$ qui converge à 0 telle que $\forall n \geq n_{0}, | x_{n + 1} - α | \leq c_{n} | x_{n} - α |$ on dit que la convergence est surlinéaire.

Il existe plusieurs méthodes classique d’approximation des zéros. Nous allons présenter les méthodes suivantes:

méthode de la dichotomie
méthode de la fausse position
méthode de point fixe
méthode de Newton.

Méthode de la dichotomie

On rappel d’abord un très connu résultat donnant l’existence d’un zéro pour les fonctions continues changeant de signe: le théorème des valeurs intermédiaires.

Théorème

Soit $f : [a, b] \to R$ , une fonction continue sur $[a, b]$ . Supposons $f (a) f (b) < 0$ .

Alors il existe $α \in] a, b [$ tel que $f (α) = 0$ .

La méthode de la dichotomie permet d’approcher un zéro d’une fonction vérifiant les hypothèses du théorème des valeurs intermédiaires. Voici une illustration graphique de cette méthode.

L’idée de la méthode peut être résumé par:

on prend $c = \frac{a + b}{2}$
si $f (c) f (a) < 0$ $b = c$
si $f (c) f (b) < 0$ alors le zéro $α$ de $f$ est à chercher dans $] c, b [$ $a = c .$
aller au point 1. si on n’a pas convergé.

Plus précisément, nous allons construire trois suites récurrentes $(a_{n})_{n \geq 0}$ , $(b_{n})_{n \geq 0}$ et $(c_{n})_{n \geq 0}$ définies comme suit:

$a_{0} = a$ , $b_{0} = b$
Pour tout $n \geq 0$ :
- $c_{n} = \frac{a_{n} + b_{n}}{2}$
- si $f (c_{n}) = 0$ alors $a_{n + 1} = a_{n}$ , $b_{n + 1} = b_{n}$
- si $f (c_{n}) f (a_{n}) < 0$ alors $a_{n + 1} = a_{n}$ , $b_{n + 1} = c_{n}$
- si $f (c_{n}) f (b_{n}) < 0$ alors $a_{n + 1} = c_{n}$ , $b_{n + 1} = b_{n}$ .

Théorème

Soit $f : [a, b] \to R$ , une fonction continue sur $[a, b]$ telle que $f (a) f (b) < 0$ . Alors la suite $(c_{n})_{n}$ définie par la méthode de la dichotomie converge vers un zéro $α \in] a, b [$ de $f$ .

L’idée de la preuve est de montrer que les suites $(a_{n})_{n}$ et $(b_{n})_{n}$ sont adjacentes. Elles convergent donc vers la même limite, notée $β$ . En utilisant le théorème d’encadrement, on a $lim_{n \to \infty} c_{n} = β .$ finalement, on obtient $f (β) = 0$ en passant à la limite pour la suite $(f (a_{n}) f (b_{n}))_{n}$ .

De point de vue algorithmique, la méthode de la dichotomie peut être synthétisée comme suit:

Données : $f$ , $a$ , $b$ , $ϵ$ , nmax
$c = (a + b) / 2$
$n = 1$
tant que $| f (c) | \geq ϵ$ et $n \leq$ nmax:
si $f (a) f (c) < 0$ :
$b = c$
sinon:
$a = c$
$n = n + 1$
$c = (a + b) / 2$
si $| f (c) | < ϵ$ :
donner $c$
sinon:
afficher “Non convergence en nmax itérations”

Remarquer que pour la construction de la suite $(c_{n})$ seuls les signes de $f (a_{n})$ et $f (b_{n})$ sont utilisés (et pas les valeurs de $f (a_{n})$ et $f (b_{n})$ ). La méthode de la dichotomie est inapplicable pour chercher un zéro sans changement de signe de $f$ . De plus, si on sait que dans $[a, b]$ il n’existe qu’un zéro $α$ de $f$ , on a un contrôle de l’erreur : $\forall n \in N, | c_{n} - α | < \frac{1}{2^{n + 1}} (b - a) .$ Cela donne une convergence de la méthode de la dichotomie plutôt “lente”.

Méthode de la fausse position

Comme la méthode de la dichotomie, la méthode de la fausse position construit une suite récurrente pour approcher un zéro d’une fonction continue qui change de signe sur un intervalle. Voici une illustration graphique de la méthode :

Le principe de la méthode peut être résumé par:

$w = a - f (a) \frac{b - a}{f (b) - f (a)}$
si $f (w) f (a) < 0$ alors $α \in] a, w [$ $b = w .$
si $f (w) f (b) < 0$ alors $α \in] w, b [$ $a = w .$
aller au point 1. si on n’a pas convergé.

Plus précisément, nous allons construire trois suites récurrentes $(a_{n})_{n \geq 0}$ , $(b_{n})_{n \geq 0}$ et $(w_{n})_{n \geq 0}$ définies comme suit:

$a_{0} = a$ , $b_{0} = b$
Pour tout $n \geq 0$ :
- $w_{n} = a_{n} - f (a_{n}) \frac{b_{n} - a_{n}}{f (b_{n}) - f (a_{n})}$
- si $f (w_{n}) = 0$ alors $a_{n + 1} = a_{n}$ , $b_{n + 1} = b_{n}$
- si $f (w_{n}) f (a_{n}) < 0$ alors $a_{n + 1} = a_{n}$ , $b_{n + 1} = w_{n}$
- si $f (w_{n}) f (b_{n}) < 0$ alors $a_{n + 1} = w_{n}$ , $b_{n + 1} = b_{n}$ .

Nous pouvons démontrer le résultat de convergence suivant:

Théorème

Soit $f \in C^{2} ([a, b], R)$ , telle que $f (a) f (b) < 0$ . Supposons que $f^{″}$ est de signe constant sur $[a, b]$ .

Alors la suite $(w_{n})_{n \in N}$ définie par la méthode de la fausse position converge vers l’unique zéro $α \in] a, b [$ de $f$ .

Méthode de point fixe

L’idée de la méthode de point fixe est d’écrire le problème de recherche d’un zéro de $f$ comme un problème de recherche d’un point fixe d’une autre fonction $g$ .

Exemple

On peut choisir la fonction $g$ de différentes manières. Voici le deux choix les plus fréquentes:

$g (x) = x - f (x)$
$g (x) = x - λ f (x)$ avec $λ \neq 0$ .

Le principe de la méthode de point fixe est de construire une suite itérative $(x_{n})_{n \in N}$ de la manière suivante:

${\begin{cases} x_{0} \in R \\ x_{n + 1} = g (x_{n}), \forall n \in N \end{cases}$

Il est facile à voire que si $g$ est continue et si $lim x_{n} = α$ alors $α = g (α)$ . Il faudra, donc, donner des conditions (les moins restrictives possible) pour que la suite $(x_{n})_{n \in N}$ converge.

Exemple : On peut mettre en évidence plusieurs comportements différents de la méthode de point fixe en fonction des valeurs de la dérivée de $g$ (si $g$ est dérivable).

Si $0 < g^{'} (x) < 1$ pour tout $x \in I$ la suite $(x_{n})$ donnée par la méthode de point fixe a un comportement similaire à celui illustré dans la figure suivante:
Si $1 < g^{'} (x)$ pour tout $x \in I$ la suite $(x_{n})$ donnée par la méthode de point fixe a un comportement similaire à celui illustré dans la figure suivante:
Si $- 1 < g^{'} (x) < 0$ pour tout $x \in I$ la suite $(x_{n})$ donnée par la méthode de point fixe a un comportement similaire à celui illustré dans la figure suivante:
Si $g^{'} (x) < - 1$ pour tout $x \in I$ la suite $(x_{n})$ donnée par la méthode de point fixe a un comportement similaire à celui illustré dans la figure suivante:

Une notion qui couvrira les deux cas précédents ( $| g^{'} (x) | < 1$ ) pour lesquels on a la convergence de la méthode de point fixe est la notion d’application contractante.

Définition

Soit $g : I \subset R \to R$ .

On dit que $g$ est une application contractante sur $I$ s’il existe $0 \leq K < 1$ tel que

$\forall x, y \in I | g (x) - g (y) | \leq K | x - y | .$

Il est facile à démontrer que si $g$ est contractante alors $g$ est continue. De plus, en utilisant le théorème de accroissements finis on peut démontrer que si $g$ est une fonction de classe $C^{1}$ sur l’ensemble fermé, borné et non-vide $I$ et s’il existe $0 \leq K < 1$ tel que $| g^{'} (x) | \leq K \forall x \in I$ alors $g$ est contractante. Une propriété remarquable des fonctions contractantes invariant un ensemble fermé et non-vide et le théorème de Banach de point fixe.

Théorème de Banach de point fixe

Soit $g : I \subset R \to R$ . On suppose :

$I$ est un fermé non-vide,
$g (I) \subset I$ , $(\forall x \in I, g (x) \in I)$ ,
$g$ est contractante sur $I$ . Il existe donc $0 \leq K < 1$ telle que pour tout $x, y \in I$ on a $| g (x) - g (y) | \leq K | x - y | .$

Alors, $g$ admet un unique point fixe $α \in I$ .

Démonstration. Démontrons d’abord l’unicité du point fixe. Supposons qu’il existe deux points fixes distincts $α, β \in I$ : ${\begin{cases} g (α) = α \\ g (β) = β \end{cases} α \neq β .$

En utilisant le fait que les deux points fixes sont distincts et que $g$ est une contraction, on obtient: $0 < | α - β | = | g (α) - g (β) | \leq K | α - β |,$ d’où $1 \leq K$ , ce qui constitue une contradiction.

Montrons maintenant l’existence d’un point fixe. Pour cela nous allons construire une suite $(x_{n})_{n \geq 0}$ définie par ${\begin{cases} x_{0} \in I \\ x_{n + 1} = g (x_{n}), n \geq 0. \end{cases}$ Nous allons montrer que la suite $(x_{n})_{n \geq 0}$ est une suite de Cauchy. Pour tout $n \geq 0$ , on a

$\begin{aligned} | x_{n + 1} - x_{n} | & = | g (x_{n}) - g (x_{n - 1}) | \leq K | x_{n} - x_{n - 1} | \\ = K | g (x_{n - 1}) - g (x_{n - 2}) | \leq K^{2} | x_{n - 1} - x_{n - 2} | \\ = \dots \\ = K^{n - 1} | g (x_{1}) - g (x_{0}) | \leq K^{n} | x_{1} - x_{0} | . \end{aligned}$

De plus, pour tout $n \geq 0$ et $p \geq 1$ nous avons

$\begin{aligned} | x_{n + p} - x_{n} | & = | \sum_{i = 0}^{p - 1} (x_{n + p - i} - x_{n + p - i - 1}) | \\ \leq \sum_{i = 0}^{p - 1} | x_{n + p - i} - x_{n + p - i - 1} | \\ \leq \sum_{i = 0}^{p - 1} K^{n + p - i - 1} | x_{1} - x_{0} | \\ = K^{n} | x_{1} - x_{0} | \sum_{i = 0}^{p - 1} K^{i} = \frac{1 - K^{p}}{1 - K} K^{n} | x_{1} - x_{0} | \\ \leq \frac{K^{n}}{1 - K} | x_{1} - x_{0} | \to 0 quand n \to + \infty . \end{aligned}$

Alors, la suite $(x_{n})_{n \geq 0}$ est une suite de Cauchy de nombres réels, donc $(x_{n})_{n \geq 0}$ converge. Soit $α$ sa limite. Comme $g (I) \subset I$ , tous les termes de la suite $(x_{n})_{n \geq 0}$ restent dans I. En rappelant l’hypothèse que $I$ est fermé, il suit que $α \in I$ . Mais $g$ est continue (car contractante). En passant à la limite dans la relation de récurrence qui définit la suite $(x_{n})_{n \geq 0}$ on déduit que $g (α) = α$ , c’est-à-dire $α$ et un point fixe de $g$ .

Remarque

Les outils employés pour la preuve du théorème précédent ne sont pas spécifiques au fait que la fonction $g$ est une fonction définie sur un ensemble $I \subset R$ . Le résultat reste vrai si $I$ est un fermé de $R^{N}$ en remplaçant les valeurs absolues par des normes. En fait, le résultat reste vrai dans tout espace vectoriel normé qui a la propriété que les suites de Cauchy convergent. On appelle un tel espace un espace de Banach. Ces espaces doivent leur nom au mathématicien polonais Stefan Banach.

Le résultat suivant est une conséquence directe du théorème de point fixe de Banach.

Théorème (convergence globale)

Soit $g : I \subset R \to R$ . On suppose :

$I$ est un fermé non-vide de $R$ ,
$g (I) \subset I$ : $(\forall x \in I, g (x) \in I)$ ,
$g$ est contractante sur $I$ de constante de contraction $0 \leq K < 1$ .

Alors, la suite $(x_{n})_{n \in N}$ définie par $x_{n + 1} = g (x_{n})$ et $x_{0} \in I$ donné converge vers l’unique point fixe $α \in I$ de $g$ . De plus,

$\begin{array}{r} \forall n \in N, | x_{n} - α | \leq \frac{K^{n}}{1 - K} | x_{1} - x_{0} |, \\ \forall n \in N, | x_{n + 1} - α | \leq \frac{K}{1 - K} | x_{n + 1} - x_{n} | . \end{array}$

Démonstration. Le fait que la suite $(x_{n})_{n \geq 0}$ converge vers l’unique point fixe de $g$ est exactement le théorème de point fixe de Banach. Il reste donc à démontrer les deux estimations d’erreur.

Commençons par la première estimation.

$\begin{aligned} | x_{n} - α | & = | g (x_{n - 1}) - g (α) | \leq K | x_{n - 1} - α | \\ = K | g (x_{n - 2}) - g (α) | \leq K^{2} | x_{n - 2} - α | \\ \dots \\ = K^{n - 1} | g (x_{0}) - g (α) | \leq K^{n} | x_{0} - α | . \end{aligned}$

Mais

$\begin{aligned} | x_{0} - α | & = | x_{0} - x_{1} + x_{1} - α | \\ \leq | x_{0} - x_{1} | + | x_{1} - α | = | x_{0} - x_{1} | + | g (x_{0}) - g (α) | \\ \leq | x_{0} - x_{1} | + K | x_{0} - x_{α} |, \end{aligned}$

d’où $(1 - K) | x_{0} - α | \leq | x_{0} - x_{1} |$ . Il suit donc que $| x_{0} - α | \leq \frac{1}{1 - K} | x_{0} - x_{1} |$ et, donc, $| x_{n} - α | \leq \frac{K^{n}}{1 - K} | x_{0} - x_{1} | .$

Pour la deuxième partie de la preuve on commence par évaluer $| x_{n + 1} - α |$ :

$\begin{aligned} | x_{n + 1} - α | & = | g (x_{n}) - g (α) | \\ \leq K | x_{n} - α | = K | x_{n} - x_{n + 1} + x_{n + 1} - α | \\ \leq K | x_{n + 1} - x_{n} | + K | x_{n + 1} - α | . \end{aligned}$

On obtient immédiatement que $(1 - K) | x_{n + 1} - α | \leq K | x_{n + 1} - x_{n} |,$ et, en prenant en compte que $1 - K > 0$ , la preuve est finie.

Nous démontrons le résultat suivant de convergence locale pour la méthode de point fixe.

Théorème (convergence locale)

Soit $g : I \subset R \to R$ . On suppose :

$g$ de classe $C^{1}$ sur $I$ ,
$g$ possède un point fixe $α$ situé à l’intérieur de $I$ ,
$| g^{'} (α) | < 1$ .

Alors, il existe $ρ > 0$ tel que la suite $(x_{n})_{n \in N}$ définie par $x_{n + 1} = g (x_{n})$ et $x_{0} \in [α - ρ, α + ρ]$ est bien définie, reste dans $[α - ρ, α + ρ]$ et converge vers $α$ .

Démonstration.

La première étape de la preuve est de montrer qu’il existe $ρ > 0$ tel que $g$ soit une contraction sur l’intervalle fermé $[α - ρ, α + ρ]$ . Comme $g^{'}$ est continue sur $I$ (car de classe $C^{1}$ ) et $| g^{'} (α) | < 1$ , alors il existe $ρ > 0$ tel que $| g^{'} (x) | < 1$ pour tout $x \in [α - ρ, α + ρ]$ . Soient $x, y \in [α - ρ, α + ρ]$ distincts. La fonction $g$ vérifie les hypothèses du théorème des accroissements finis. Il existe donc $ξ_{x, y}$ compris entre $x$ et $y$ tel que

$\frac{g (x) - g (y)}{x - y} = g^{'} (ξ_{x, y}) .$

Alors

$| g (x) - g (y) | = | g^{'} (ξ_{x, y}) | | x - y | \leq max_{ξ \in [α - ρ, α + ρ]} | g^{'} (ξ) | | x - y | .$

Mais $K = max_{ξ \in [α - ρ, α + ρ]} | g^{'} (ξ) | < 1,$

donc $g$ est une contraction de constante $K$ . De plus, $g ([α - ρ, α + ρ]) \subset [α - ρ, α + ρ]$ . Effectivement, soit $x \in [α - ρ, α + ρ]$ . Alors $| x - α | \leq ρ$ et donc $| g (x) - α | = | g (x) - g (α) | \leq K | x - α | \leq K ρ < ρ,$ ce qui n’est rien d’autre que $g (x) \in [x - ρ, x + ρ]$ .

La fonction $g$ est donc une fonction contractante sur l’intervalle fermé $[α - ρ, α + ρ]$ . De plus, $g ([α - ρ, α + ρ]) \subset [α - ρ, α + ρ]$ . On peut alors appliquer le théorème de point fixe de Banach pour obtenir la convergence de la suite $(x_{n})_{n \geq 0}$ vers le point fixe $α$ .

Pour le théorème de convergence globale il faut que $g$ soit contractante sur l’intégralité de $I$ . On obtient alors que la méthode de point fixe converge convergence pour tout $x_{0}$ dans $I$ . Le résultat de convergence locale se réduit finalement au fait que $g$ est contractante au voisinage de $α$ . Alors, dans ce cas la convergence a lieu pour $x_{0}$ proche de $α$ . Dans les deux cas, on a

$\forall n \in N, | x_{n + 1} - α | \leq K | x_{n} - α |,$

donc on a au moins une convergence linéaire.

Cas particulier:

Soit $g \in C^{2} (I, R)$ tel que $g^{'} (α) = 0$ avec $α$ un point fixe.

A l’aide du théorème de Taylor-Lagrange on a:

$g (x_{n}) = g (α) + g^{'} (α) (x_{n} - α) + g^{''} (ξ_{n}) \frac{(x_{n} - α)^{2}}{2}$

et donc la convergence de la méthode de point fixe et au moins quadratique.

Méthode de Newton

Le principe de la méthode de Newton est illustré graphiquement dans la figure suivante.

La méthode de Newton pour approcher un zéro de la fonction dérivable $f$ consiste en construire une suite récurrente $(x_{n})_{n \in N}$ définie par

${\begin{cases} x_{0} donné, proche du zéro à approcher \\ x_{n + 1} = x_{n} - \frac{f (x_{n})}{f^{'} (x_{n})}, \forall n \in N \end{cases}$

Autrement dit, on définit $x_{n + 1}$ à partir de $x_{n}$ comme l’intersection de la droite tangente au graphique de la fonction $f$ au point $(x_{n}, f (x_{n}))$ avec l’axe $O x$ .

On démontre le théorème suivant de convergence locale.

Théorème

Soit $f \in C^{2} ([a, b], R)$ et $\overset{―}{x} \in [a, b]$ un zéro de $f$ tel que $f^{'} (\overset{―}{x}) \neq 0$ . Alors il existe $δ > 0$ tel que pour tout $x_{0} \in [\overset{―}{x} - δ, \overset{―}{x} + δ]$ la suite $(x_{n})_{n \in N}$ donnée par la méthode de Newton est bien définie et converge vers $\overset{―}{x} \in [a, b]$ . En outre, il existe une constante $C > 0$ telle que

$| x_{n + 1} - \overset{―}{x} | < C | x_{n} - \overset{―}{x} |^{2} .$

Démonstration.

Comme $f \in C^{2} ([a, b], R)$ la fonction $f^{'}$ est continue sur $[a, b]$ . Du fait que $f^{'} (\overset{―}{x}) \neq 0$ et de la continuité de $f^{'}$ il suit qu’il existe $η > 0$ telle que pour tout $x \in [\overset{―}{x} - η, \overset{―}{x} + η]$ on a $f^{'} (x) \neq 0$ .

Soit $L$ et $M$ définis par

$\begin{array}{r} L = inf_{x \in [\overset{―}{x} - η, \overset{―}{x} + η]} | f^{'} (x) | \\ M = sup_{x \in [\overset{―}{x} - η, \overset{―}{x} + η]} | f^{''} (x) | . \end{array}$

Vue le choix de $η$ , $| f^{'} (x) | > 0$ pour tout $x \in [\overset{―}{x} - η, \overset{―}{x} + η]$ . De plus $f^{'}$ est continue sur l’intervalle fermé $[\overset{―}{x} - η, \overset{―}{x} + η]$ , donc elle atteint son $inf$ . Alors $L > 0$ . On a également $M > 0$ . Le cas $M = 0$ ce réduit au fait que $f$ est linéaire sur $[\overset{―}{x} - η, \overset{―}{x} + η]$ et donc la méthode de Newton converge de manière exacte dès la première itération.

Alors $\frac{1}{f^{'} (x)} \leq \frac{1}{L} \forall x \in [\overset{―}{x} - η, \overset{―}{x} + η] .$ Soit $δ = min {η, \frac{L}{M}}$ . Alors, $\frac{M δ}{2 L} \leq \frac{1}{2} < 1$ et pour tout $x \in [\overset{―}{x} - δ, \overset{―}{x} + δ]$

$\begin{array}{r} \frac{1}{f^{'} (x)} \leq \frac{1}{L} \\ | f^{''} (x) | \leq M . \end{array}$

Soit $x_{0} \in [\overset{―}{x} - δ, \overset{―}{x} + δ]$ . Alors par la formule de Taylor-Lagrange il existe $η_{0} \in [\overset{―}{x} - δ, \overset{―}{x} + δ]$ tel que

$0 = f (\overset{―}{x}) = f (x_{0}) + (\overset{―}{x} - x_{0}) f^{'} (x_{0}) + \frac{(\overset{―}{x} - x_{0})^{2}}{2!} f^{''} (η_{0}) .$

En rappelant que $f^{'}$ ne s’annule pas sur $[\overset{―}{x} - δ, \overset{―}{x} + δ]$ , de la relation précédente on en déduit

$0 = \frac{f (x_{0})}{f^{'} (x_{0})} + \overset{―}{x} - x_{0} + \frac{(\overset{―}{x} - x_{0})^{2}}{2!} \frac{f^{''} (η_{0})}{f^{'} (x_{0})} .$

La définition de la suite $(x_{n})_{n \geq 0}$ par la méthode de Newton combinée à la relation précédente, donne $x_{1} = \overset{―}{x} + \frac{(\overset{―}{x} - x_{0})^{2}}{2!} \frac{f^{''} (η_{0})}{f^{'} (x_{0})} .$ Alors, $| x_{1} - \overset{―}{x} | \leq \frac{1}{2} \frac{| f^{''} (η_{0}) |}{| f^{'} (x_{0}) |} | \overset{―}{x} - x_{0} |^{2} \leq \frac{M}{2 L} δ^{2} \leq δ .$

Donc $| x_{1} \in [\overset{―}{x} - δ, \overset{―}{x} + δ] |$ et $f^{'} (x_{1}) \neq 0$ . En procédant par récurrence la suite $(x_{n})_{n \geq 0}$ et bien définie et, de plus, $| x_{k + 1} - \overset{―}{x} | \leq \frac{M}{2 L} | x_{k} - \overset{―}{x} |^{2}$ .

Notons $e_{k} = \frac{M}{2 L} | x_{k} - \overset{―}{x} |$ . La relation précédente donne $e_{k + 1} \leq (e_{k})^{2}$ et donc $e_{k} \leq (e_{0})^{2^{k}} \leq {(\frac{M δ}{2 L})}^{2^{k}} \to 0$ quand $k \to \infty$ . Alors $x_{k} \to \overset{―}{x}$ quand $k \to \infty$ . De plus la convergence et quadratique.

Remarquer que la méthode de Newton donne seulement la convergence locale. La combinaison de plusieurs méthodes peut être nécessaire pour la recherche rapide des zéros d’une fonction.

Remarque

La méthode de point fixe et la méthode de Newton peuvent être utilisés pour la recherche des zéro des fonctions $f : D \subset R^{N} \to R^{N}$ .

Ainsi la méthode de point fixe revient à construire une suite $(x_{n})_{n}$ définie par $x_{n + 1} = g (x_{n})$ avec $g (x) = x + f (x)$ par exemple.

Dans ce cadre la méthode de Newton s’écrit par $x_{n + 1} = x_{n} - (\nabla f (x_{n}))^{- 1} f (x_{n}),$ où $\nabla f (x_{n}) \in M_{n} (R)$ et la matrice Jacobienne de $f$ évaluée en $x_{n}$ .

Biblio

Filbet, Francis. Analyse numérique-Algorithme et étude mathématique-2e édition: Cours et exercices corrigés. Dunod, 2013.