A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes...

51
A quoi servent les méthodes numériques ?

Transcript of A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes...

Page 1: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

A quoi servent les méthodes numériques ?

Page 2: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Systèmes d’équations non-linéaires

Notation compacte :les vecteurs sont en gras.

f 4 ) = on

µ AVECTEUR VECTEUR

Page 3: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Que peut-on faire avec les systèmes ?

Méthodes numériques itératives Méthode de bissectionMéthodes du point fixeMéthode de Newton-Raphson

Robuste, converge toujours si on a un

intervalle de départ !

Mais pas généralisable aux

systèmes !

Généralisables de manière immédiate aux systèmes..Ne convergent que sous conditions…Nécessitent un candidat initial proche de la solution…

Page 4: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Trouver la solution d’un système non-linéaire est très très difficile !

1 9

* jx44y? - 4 = 0 I a p = Y ( I i )

• • , pa i: 3 i i i .

• ✓ X2-2x-y+ % : O

> ×

Page 5: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Construireune itération

× = ( x?- g i t "2)I L ×?- 2 x - y + Va = 0

" 1 - y ↳ y A

g .Ca,y; )l l

y = (×?+ 4g?_ y + S'g)18 8g + Nexity? -4=81 = !" I - _ ✓

| 924g? 11g.+ T'+492-4-11g = 0

PAUL ↳ E U¥ ,{Y FE

Y}→ y = ( x 2 +4g? - 4 + 1 1 g)111Z

m y\ -

PIERRE ÙÇy )

Page 6: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Méthode du point fixe

Itération de Paul

Itération de Pierre

Page 7: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Parfois, cela marche…

f

Page 8: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Parfois, cela diverge..

Page 9: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Méthode du point fixe

Condition de Lipschitz

La méthode du point fixe convergera vers la racine si la condition de Lipschitz est satisfaite !

Notation compacte :les vecteurs sont en gras.

Page 10: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Et la condition de Lipschitz…Zone de

convergence garantie

•t : L↳ .

Page 11: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Et la condition de Lipschitz…Zone de

convergence garantie

x,y = meshgrid(linspace(-2,2,1000),linspace(-2,2,1000))

dfdx = abs(x) + 0.5dfdy = abs(x/4) + abs(-y+1)gain = maximum(dfdx,dfdy)plt.contourf(x,y,gain,arange(0,1.1,0.1)

Page 12: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Une autre itération

converge...

Page 13: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Est-il possible d’améliorer la vitesse de convergence ?

Algorithme de SeidelOn utilise la dernière valeur disponible pour chaque inconnueParfois, cela converge plus vite,Parfois, cela converge moins vite, parfois cela diverge…

Page 14: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Peut-on appliquer la méthode du point fixe à un système linéaire ?

Méthodes directes Elimination gaussienne (technique d’échelonnement du cours d’algèbre)Résultat toujours obtenu en un nombre fini d’opérations Nombre d’opérations requises = n3

Méthodes itératives (pt fixe)Parfois plus rapidesMais, ne convergent pas toujoursMoins gourmandes en mémoireUtiles pour les très grands systèmes

Page 15: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Un système linéaire

=

¥ = E + ? + E

( E - E ) ± + ? ±-bu = 0

Jacobi " ¥ ? (q)" [C? -E )± + ! ]- -

ÇÊY! g t x )

( ¥ -CE + =L))± + (D=+ E ) ± - b = o

- ~

I = CE + E )" [CE+ ±-f ) ± + bu]- -

y G )

Page 16: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Méthodes de Jacobi et de Gauss-Seidel

=Approximation de A-1

Page 17: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Exemple concretdef g(x):y = copy(x)y[0] = (-3*x[1]+6)/5y[1] = -(6*x[0]-4)/8return y

def jacobi(x,tol,nmax):n = 0; delta = tol+1; x = array(x,dtype=float) while (norm(delta) > tol and n < nmax):n = n+1; xold = x.copy()x = g(x)delta = x - xold

return x

print(jacobi([0,0],10e-6,50))

On remplace la deuxième équation par « equation(2) – 2 equation(1) » pour obtenir la convergence !

p5x+3I

✓=Çg

😉

4x - 2 y = 8- 10X - 6 y = - 1 2

"

ֆ*

😐

Page 18: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Et Gauss-Seidel ?def g(x):y = copy(x)y[0] = (-3*x[1]+6)/5y[1] = -(6*x[0]-4)/8return y

def jacobi(x,tol,nmax):n = 0; delta = tol+1; x = array(x,dtype=float) while (norm(delta) > tol and n < nmax):n = n+1; xold = x.copy()x = g(x)delta = x - xold

return x

def g(x):

x[0] = (-3*x[1]+6)/5x[1] = -(6*x[0]-4)/8return x

def gaussseidel(x,tol,nmax):n = 0; delta = tol+1; x = array(x,dtype=float) while (norm(delta) > tol and n < nmax):n = n+1; xold = x.copy()x = g(x)delta = x - xold

return x

L’implémentation de Gauss-Seidel est plus simple que celle de Jacobi !

Page 19: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Jacobi>>>print(jacobi([0,0],10e-6,50))Estimated error 1.3000000e+00 at iteration 1Estimated error 9.4868330e-01 at iteration 2Estimated error 5.8500000e-01 at iteration 3Estimated error 4.2690748e-01 at iteration 4Estimated error 2.6325000e-01 at iteration 5

Estimated error 2.9436348e-05 at iteration 28Estimated error 1.8151752e-05 at iteration 29Estimated error 1.3246357e-05 at iteration 30Estimated error 8.1682883e-06 at iteration 31[ 1.63636089 -0.72726502]

Page 20: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Gauss-Seidel>>>print(gaussseidel([0,0],10e-6,50))Estimated error 1.2649111e+00 at iteration 1Estimated error 3.0000000e-01 at iteration 2Estimated error 1.3500000e-01 at iteration 3

Estimated error 1.0215189e-04 at iteration 12Estimated error 4.5968349e-05 at iteration 13Estimated error 2.0685757e-05 at iteration 14Estimated error 9.3085907e-06 at iteration 15[ 1.63635754 -0.72726816]

Page 21: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Convergence ?± , " - ± = t t ± . ¥ - E t ± *- - - -E u n | I l e i

P

= tien.

L à I i = o

F k 14kt < t- -

RAYONSPECTRAL !

Page 22: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Convergenced’une méthode itérative ?

Il faut que…

Page 23: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Ecrivons l’erreur comme une combili de vecteurs propres…

… on doit exiger que le rayon spectral de la matrice M soit inférieur à l’unité

Pour obtenir…

Page 24: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Condition pratique pour Jacobi

La dominance diagonalepermet d’avoir

la convergence…

Page 25: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Méthode de Newton-Raphson

Matrice jacobienne du système

Tableau à deux indicesOn calcule la dérivée partielle par rapport à la k-ième inconnue de la j-ième composante de f

Tableau à deux indicesIl s'agit de la seconde composante du vecteurInconnue lors de la i-ème itération

Notation compacte :les vecteurs sont en gras.

Page 26: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Exemple I " :☹☹ I l☹- a

0¥: [ "¥ à]" "

E-

[" : :X

😉

=- I " : : : : : ]

- -¥0±

Page 27: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Exemple

Page 28: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Comment appliquer la méthode de Newton-Raphson à ce système d'équations non-linéaires ?

Page 29: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Que fournit la méthode de Newton-Raphson pour ce système d'équations non-linéaires ?

Dans le domaine de convergence asymptotique, on double le nombre de chiffres significatifs à chaque itération

Page 30: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Optimisation non-linéaire

Fonction à minimiser

On ajuste les deux paramètres a et b afin de minimiser le carré des écarts

U1

p mEcar t

• uh.. d -× + b

😐 😐

> x

Page 31: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Fonction à minimiser

%fcxdr.co ¥7

-0¥#=-£ LàÎ""÷Ë÷Ùs÷

😐😉☹ 😐

:

ËÏ"÷E- LIÉ]

a .¥.im#Xix-sDx--tiIo=qtz..zZCXxEsi)

Page 32: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Fonction à minimiser

°a . ¥, --2214-Es)tËs))

0 = 0 > ftp.zZCXE-si)

[ ¥ - 2 ¥ . E

😐

+ 2 ¥ËgtËËËI:EËÏC)

0E¥;- [ ¥/ 4

2µs-[Ép [¥ i t ZËx

Page 33: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Extréma d’une fonction à deux variables…

Deux équations non-linéaires

Conditions nécessaires pour obtenir un minimum !

Page 34: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Utilisons Newton-Raphson !

Page 35: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Et espérer que cela converge…Il y aura un problème…. si on obtient une valeur de b identique à l’opposé des données !

Page 36: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

En pratique…

Iteration 1 : 5.0476842e-01 (a = 4.9952884e+00 b = 8.0757337e-01)Iteration 2 : 7.6236375e-01 (a = 5.7448233e+00 b = 9.4684249e-01)Iteration 3 : 2.3523119e-01 (a = 5.9751743e+00 b = 9.9450952e-01)Iteration 4 : 2.5103378e-02 (a = 5.9996858e+00 b = 9.9992860e-01)Iteration 5 : 3.2217774e-04 (a = 5.9999999e+00 b = 9.9999999e-01)Iteration 6 : 5.8254259e-08 (a = 6.0000000e+00 b = 1.0000000e+00)Iteration 7 : 5.4721560e-16 (a = 6.0000000e+00 b = 1.0000000e+00)Observed rate of convergence : 2.44 Theoretical rate : 2.00

Page 37: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Systèmes d’équations différentielles non-linéaires

Notation compacte :les vecteurs sont en gras.

VECTEURS

¢.!"""

Page 38: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

C’est exactement la même histoire !

Méthode d'Euler explicite

Tableau à deux indicesOn calcule la j-ème composante du vecteur des inconnues à la i-ème abscisse temporelle

VecteurOn calcule la j-ème composante du vecteur des inconnues.

Notation compacte :les vecteurs sont en gras.

Page 39: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Stabilité des systèmes

Le problème différentiel initial est équivalent à n équations scalaires

I m(ht)

Recht)

Page 40: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

ExempleU ' = fr4,4

😉

f r n ' = fzlx.hr)-

- -t a

8¥ 8¥ - 2 c a l 1

{¥#II. i .

vas]

Page 41: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

8¥ 0¥

1¥ ¥.tt:":*.]d i t[ ¥ - I I ] - - 0

det[ "j '

😉

v .× ] "

😐

* ÷ ,

😉

"

😉☹😐

- ±

😐 😉

- -

Page 42: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Il s'agit d'un problème raide

4,=-100

•"2=-2

|Raimi!Ya

t : - ,

Page 43: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Euler explicite

Euler implicite

91(Van Van)

- -U,+ ,-f4+ hf 4! +Vu)]= o

V .a - [Y+ hf504! + X")]:O- -

% ( Q u Ku )- -

O N utiliseU iV i

O N utiliséU n Vat

-

Page 44: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Newton-Raphson et Euler implicite

Notation compacte :les vecteurs sont en gras.

f4 1 - o !!

8¥A I = - f4 )

tu: )

Page 45: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Comment appliquer la méthode de Newton-Raphson à ce système d'équations non-linéaires ?

JACOBIENNEDU SYSTEMED ' EDO : - )

- -

Page 46: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Convergencede Newton-Raphson ?

- -

CECI EST L E

CRITERE D E

STABILITED'EULEREXPLICITE !

Page 47: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Schémas imbriqués

Euler implicite

Newton-Raphson

Page 48: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Utilisation conjointe des méthodes d'Euler implicite

et de Newton-Raphson

Page 49: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Minimiser une fonction non-linéaire est très très difficile !

Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les pièces de Shakespeare

Page 50: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Trouver le maximum d’une fonction non-linéaire est une tâche très très difficile…

Un maximum local ?

Comment savoir la présence ou l’absence d’une fosse plus profonde sur base d’informations locales….

Impossible ?

Page 51: A quoi servent les méthodes numériques...Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les

Secrétaire à la Défense USà l’OTAN à Bruxelles, juin 2002 !

(Lewis Lapham)

Minimiser une fonction non-linéaire est très très difficile !

Les méthodes numériques… existantes Des propos dignes de l’un de ces fous énigmatiques qui hantent les forêts enchantées dans les pièces de Shakespeare

Le message est que rien n’est su de manière sûre. Il y a des choses dont nous savons que nous les savons. Il y a des inconnues connues, c’est-à-dire des choses dont nous savons maintenant que nous ne les savons pas.

Mais, il y a aussi des inconnues inconnues. Il y a des choses dont nous savons que nous ne les savons pas …. Et chaque année, nous découvrons un peu plus de ces inconnues inconnues.

… Il y a une autre façon de dire cela, c’est que l’inexistence de preuves n’est pas une preuve d’inexistence