• Aucun résultat trouvé

Newton Methods, Villetaneuse, 04-2009

N/A
N/A
Protected

Academic year: 2022

Partager "Newton Methods, Villetaneuse, 04-2009"

Copied!
16
0
0

Texte intégral

(1)

Deuxi` eme journ´ ee de rencontre Cergy / Villetaneuse

06 avril 2009, `a l’Universit´e Paris 13

La M´ ethode de Newton et son fractal

Tan Lei

Universit´e de Cergy-Pontoise

(2)

SoitP(z) un polynˆome. Pour trouver une valeur approximative d’une racine deP, on peut it´erer lam´ethode de Newton associ´ee :

NP(z) = z− P(z) P0(z)

Soit z0 ∈Cb un point quelconque, il s’agit de remplacer P(z) par son DL d’ordre 1:

P(z) = 0 P(z0) +P0(z0)(z−z0) = 0 solution = z0− P(z)

P0(z0) =NP(z0) =z1 , P(z1) +P0(z1)(z−z1) = 0 solution =NP(z1) =z2,· · · .

(3)

L’it´eration de z → NP(z) nous sert ici comme un exemple d’un syst`eme dynamique holomorphe engendr´e par une fraction rationnelle:

R :z−→ f(z)

g(z), z∈Cb .

Exemple. PourP(z) =z2−2, on a NP(z) = z−z2−2 2z = 1

2(z+2 z).

On a NP(x+iy) = (1 + 2

x2 +y2)x+iy(1− 2 x2+y2).

DoncNP laisse invariant {x >0}, {x <0} et{x= 0}.

On peut montrerNPk(x+iy)−→

2 si x >0

−√

2 si x <0 lorsque k → ∞.

Donc la droite des nombres complexes imaginaires purs est `a la fois la m´ediatrice des deux racines, et la ligne de s´eparation de deux comportements diff´erents des suites de valeurs it´eratives.

(4)

Essayons maintenant la m´ethode de Newton NP(z) pour un polynˆome cubique : P(z) =Pa(z) = (z−a+ 1

2)(z+a+1

2)(z−1).

Les racines de P(z) sont 1, −1

2+a et 1

2−a. On aurait pu croire na¨ıvement que, `a la place d’une m´ediatrice, il existe un certain graphe s´eparateur ayant trois branches qui se rencontre en un point, tr`es probablement le centre de gravit´e des trois racines (ici 0),

(5)

Ce graphe s´eparerait le plan en trois r´egions, et qu’une valeur initiale prise dans une r´egion donn´ee nous donnerait des approximations de la racine dans cette r´egion.

Arthur Cayley avait tent´e de justifier cette intuition il y a 130 ans:

En 1879: “The division into regions is made without difficulty in the case of a quadric equation; but in the next succeeding case, that of a cubic equation, it is anything but obvious what the division is; and the author had not succeeded in finding it.”

En 1889: “J’esp`ere appliquer cette th´eorie au cas d’une ´equation cubique, mais les calculs sont beaucoup plus difficiles.”

Voici la raison de cet ´echec.

Prenons par exemple a = −0.00508 + 0.33136i. Pour chaque pixel z0 = x+iy dans le carr´e −1,4< x < 1,6, −1,5 < y < 1,5, demander `a un ordinateur d’it´erer NP(z) un grand nombre de fois, et colorier le pixel z0 en





bleu si NPk(z0)→1 vert si NPk(z0)→−12 +a rouge si NPk(z0)→−12 −a noir sinon.

Voici le r´esultat + un agrandissement :

(6)

Plutˆot qu’un simple graphe s´eparateur, on voit apparaˆıtre un surprenant “fractal”

qui d´ecoupe le carr´e en trois grand lacs, un autour de chaque racine, mais ´egalement en beaucoup de petits lacs rouges, verts et bleus. Et ces lacs s’entremˆelent de mani`ere tr`es compliqu´ee... . Certe Caylay aurait bien voulu voir cela!

(7)

Notons K l’ensemble noir et J sa fronti`ere. J est appel´e l’ensemble de Julia de NP. Voici la d´efinition g´en´erale: Soit R(z) = f(z)g(z) de degr´e≥2:

JR = {z ∈Cb | {Rk(z)}k est instable par rapport `az}

= {z ∈Cb | {Rk|U}k n’est normale sur aucun voisinageU dez}.

L’ensemble noirKrepr´esente le lieu des mauvaises conditions initiales pour la recherche d’une racine. On voit ici queK poss`ede mˆeme de l’int´erieur. On peut montrer qu’il existe unattracteur noirsous forme d’une orbite p´eriodique de p´eriode 6 qui attire toute orbite dans int(K). Ceci met donc en doute de l’efficacit´e globale de la m´ethode de Newton.

On peut aussi observer et d´emontrer

J =∂bleu=∂rouge=∂vert =∂noir .

Il s’agit du ph´enom`ene “chaotique” du syst`eme dynamique : si z0 ∈ J, la moindre erreur num´erique nous fait basculer soit d’une racine vers une autre, soit vers un pi`ege de couleur noire.

L’ensembleK et J d´ependent du choix de a.

Efficacit´e globale en sens de mesure?

Th´eor`eme (Buff-Ch´eritat): ∃ a0 ∈ {a∈C|J =K} tel que m(Ja0)>0 .

(8)

Renormalisation.

Douady a tr`es vite compris que pour comprendre l’it´eration deNP (fraction rationnelle de degr´e 3), il faut d’abord ´etudier l’it´eration de fc(z) =z2+c(polynˆome de degr´e 2).

Ici Jc =∂Kc, et Kc ={z ∈C|fck(z)6→ ∞}. Voici Kc pourc=−0,12 + 0,75i :

Th´eor`eme (Douady-Hubbard):

int(Ka)6=∅ ⇐⇒ ∃U 30, m∈N, c, (NPa)m|Uconjugu´ee fc

⇐⇒ ∃Kc ,→Ka avec int(Kc)6=∅ .

En particuler pour a =−0.00508 + 0.33136i, on a m= 2 et c=−0,12 + 0,75i.

Noter que a et c sont dans des zˆones o`u les dynamiques correspondantes sont ’struc- turellement stable’. Et donc une valeur voisine donnerait un enemble de Julia similaire.

(9)

Couture et accouplement

Nous allons donner un mod`ele topologique deKa ci-dessus, qui explique en particulier comment les multiples lapins pr´esents dansKa se sont reli´es les uns et les autres.

En fait, bien que ce ne soit pas du tout ´evident `a l’oeil nu, ce fractal est obtenu en recousant les ensembles de Julia de deux polynˆomes cubiques (dont la structure est plus simple `a comprendre) :

CbNP ≈Kf tKg/∼ et J ≈Jf tJg/∼ ,

avec f(z) = z3+ (1,503−0,8046i)z2 et g(z) = z3 + (2,12i)z2. Voici les images. Vous remarquerez que les multiples de lapins sont d´ej`a pr´esents dans Kf.

Puis tournonsJ de 90 pour mieux visualiser la couture :

(10)

Et enfin la couture en vid´eo (film r´ealis´e par A. Ch´eritat), d’abord sur le plan : (film 1)

puis sur la sph`ere de Riemann:

(film 2)

Ce proc´ed´e de couture a ´et´e appel´e “accouplement” avec humour par Adrien Douady.

(11)

Th´eor`eme (T.): Une description compl`ete de l’application M:{polynˆomes cubiques}2 → {NPa, a∈C},notamment :

• son domaine de d´efinition (tout n’est pas accouplable);

• son image (tout n’est pas un accouplement);

• et son non-injectivi´e (il existe des accouplements partag´es!).

Un retour vers le graphe s´eparateur

L’id´ee d’un graphe s´eparateur est tellement naturelle...

Peut-on lui donner un sens?

(12)

Yes we can!

Pour cela il faut it´erer la m´ethode de Newton ralentie : NP,h :z 7→z−hP(z)

P0(z)

pour chaque 1≥h >0. Nous avons donc une famille d’ensembles de Julia{Jh, h >0}.

Th´eor`eme (Flexor-Sentenac) : Jh −→h→0 un graphe Γ ; C rb Γ a 3 composantes connexes, chacune contient une racine;

Γ est compos´e de trajectoires s´eparatrices du champ de vecteurs de Newton ξ :=−PP0(z)(z)

∂z ; Le flot de ξ est s´epar´e par Γ en trois basins,

coulant dans chaque basin vers une racine.

Donc le graphe provient de la m´ethode de Newton `a pas infinit´esimal! Voici ce qui se passe avec Pa o`ua=−0.00508 + 0.33136i.

(13)

(film 3)

Surprise : Ce Γ n’a pas vraiment trois branches, et il ne passe pas forc´ement par le centre de gravit´e des trois racines de P.

(14)

En effet:

Th´eor`emes:

(Saupe) {a∈C|Γa a 3 branches}={a∈C|Γa∩Cconnexe}

={a∈C|ξa admet une connection h´et´erocline}

= graphe Σ d’une pomme tranch´ee.

(T.) {a∈C|Ja,h∩C connexe} −→h→0 Σ.

(film 4)

(15)

Outil math´ematique

• Pour la renormalisation, Douady-Hubbard utilisent la chirurgie quasi-conforme, `a l’aide du Th´eor`eme d’uniformisation mesurable(introduit par Sullivan) :

∀µ∈L(C) avec kµk <1, ∃ ϕ

( hom´eomorphisme de d´eriv´ee dans L2loc

∂ϕ

∂¯z =µ· ∂ϕ∂z .

(16)

• Pour r´ealiser les accouplements, on construit d’abord un mod`ele topologique F puis suivantThurstonon it`ere dans un certain espace deTeichm¨ullerpour tenter de lui trouver une structure complexe invariante.

τ_3 τ_2 _1 τ_0

dim= k φ_0 g_1

φ_1 φ_2

Teich(F) F

...

...

R φ_3

σ g_3

g_2

T eich(F) = Hom´eo+(S2 →Cb)/∼

avec φ∼ψ si :

Cb, (0,1,∞) φ%

S2,(a, b, c) ↓ψ◦φ−1isotrope relφ(P)Id ψ&

Cb, (0,1,∞)

o`u a, b, c ∈P =Or(CritF). La m´etrique est: dT([φ],[ψ]) = inf{logK(α), α ∼ψ◦φ−1}, o`u K(α) = 1 +kµαk

1− kµαk

, et µα= ∂α

∂z¯ ∂α

∂z .

Références

Documents relatifs

Généralisation pour les plus courageux: démontrer que si les perpendiculaires menées des sommets d'un triangle ABC aux côtés correspondants d'un triangle A'B'C' sont

Q2 : Si H le point commun aux perpendiculaires aux cot´ es de ABC passant par A 0 , B 0 , C 0 , il existe une infinit´ e de triangles homoth´ etiques ` a ABC qui ad- mettent H

Généralisation pour les plus courageux: démontrer que si les perpendiculaires menées des sommets d'un triangle ABC aux côtés correspondants d'un triangle A'B'C' sont

On trace trois polygones réguliers, respectivement un pentadécagone (15 côtés), un heptadécagone (17 côtés) et un octadécagone (18 côtés). Deux sur trois peuvent être tracés

On peut donc conjecturer que l’octadécagone aura ces trois droites concourantes car ce polygone ne servirait sinon à rien dans ce problème. [AB] est un diamètre du cercle passant

Il s’agit du ph´ enom` ene “chaotique” du syst` eme dynamique : si z 0 ∈ J, la moindre erreur num´ erique nous fait basculer soit d’une racine vers une autre, soit vers un pi`

Bedpan washers and macerators must be installed in dirty utility rooms located a reasonable distance away from patients’ rooms (to reduce the risk of workplace contamination),

a) Enonce le principe d’action-réaction et donne un exemple concret de ce principe. b) Comme le montre le schéma ci-contre, la vitesse d’un corps en chute libre peut