Vous êtes sur la page 1sur 14

Interpolation Approximation

1 Interpolation polynomiale
1.1 Forme de L AGRANGE
Dterminer le polynme dinterpolation de la fonction f (x) = |x| dont on connat les valeurs aux
abscisses -1, -1/2, 0, 1/2 et 1.
On dtermine la base de L AGRANGE :
L0 (x) =

(x + 12 )x(x 12 )(x 1)
2
1
1
= (x + )x(x )(x 1)
1
1
3
2
2
(1 + 2 )(1)(1 2 )(1 1)

(x + 1)x(x 12 )(x 1)
8
1
L1 (x) =
= (x + 1)x(x )(x 1)
1
1
1
1
1
3
2
( 2 + 1)( 2 )( 2 2 )( 2 1)
L2 (x) = . . . (calcul inutile)
(x + 1)(x + 12 )x(x 1)
8
1
L3 (x) =
= (x + 1)(x + )x(x 1)
1
1
1 1 1
3
2
( 2 + 1)( 2 + 2 )( 2 )( 2 1)
L4 (x) =

(x + 1)(x + 12 )x(x 12 )
2
1
1
1
1 = 3 (x + 1)(x + 2 )x(x 2 )
(1 + 1)(1 + 2 )(1)(1 2 )

Do le polynme dinterpolation :
P4 (x) =

4
X

yi Li (x)

i=0

2
1
1
4
1
(x + )x(x )(x 1) (x + 1)x(x )(x 1)
3
2
2
3
2
1
2
1
1
4
(x + 1)(x + )x(x 1) + (x + 1)(x + )x(x )
3
2
3
2
2
2

4x 7
x2 .
3 4

Lerreur dinterpolation (x) = f (x) P4 (x) est majore par : max |(x)| 0.148.
x[1,1]

y
1

x
1

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

1.2

Forme de N EWTON

Reprendre lexercice prcdent.


On calcule les diffrences divises :
i

xi

yi

f [xi , xi1 ]

f [xi , . . . , xi2 ]

-1

12

1
2

-1

-1

1
2

1
2

f [xi , . . . , xi3 ]

f [xi , . . . , xi4 ]

4
3
43

43

Lalgorithme de H ORNER donne :


P4 (x) =



!

4
1
4
1
0(x 1) (x ) +
(x 0) + 0 (x ( ))1 (x (1)) + 1.
3
2
3
2

Remarque : cette forme se prte parfaitement au calcul numrique ; il serait maladroit (et fatigant. . . )
de dvelopper.
Le graphe est, videmment, le mme que celui qui a t ralis avec la forme de L AGRANGE.

1.3

Utilisation dabscisses optimales

1 Vrifier lexpression des abscisses optimales :



2(n i) + 1
a+b ba
i {0, 1, . . . , n}, xi =
+
cos

2
2
2(n + 1)

Le polynme de T CHEBYCHEV de degr (n + 1), Tn+1 (t) = cos (n + 1) arccos(t) , a pour zros :
tk = cos

(2k + 1)
, k = 0, 1 . . . , n.
2(n + 1)

Les abscisses optimales sont obtenues par la transformation affine de [1, 1] dans [a, b]
t 7

a+b
ba
t+

2
2

Do les abscisses optimales sur lintervalle [a, b], qui sont ranges par ordre croissant en prenant pour
indice i = n k.
2 Dterminer le polynme dinterpolation de la fonction f (x) = |x| sur lintervalle [1, 1] obtenu
en utilisant des abscisses optimales ; tudier linfluence du nombre de points utiliss sur le rsultat.
Pour comparer aux rsultats prcdents nous prenons cinq points, cest--dire n = 4 ; les abscisses
optimales sont donc
= cos

0.951, = cos
0.588, 0, , .
10
10

On dtermine les diffrences divises pour obtenir le polynme dinterpolation dans la base de N EWTON :
ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

xi

yi

f [xi , xi1 ]

f [xi , . . . , xi2 ]

0
1
+
1
+

f [xi , . . . , xi3 ]

f [xi , . . . , xi4 ]

1
(+)
1
(+)

1
(+)

Do le polynme cherch :
P (x) =
=



1
1
(x + )
x(x ) + 1 (x ) +
( + )
( + )
2

x
(2 + + 2 ) x2 ,
( + )

cette dernire forme permettant de vrifier la symtrie de la solution.


On peut majorer lerreur dinterpolation :
max |(x)| 0.124 ;
x[1,1]

cest un (tout petit) peu meilleur que pour des abscisses quirparties. . .
y
1

Nous reprsentons sur un mme graphique


la fonction et les deux polynmes dinterpolation, lun avec les abscisses quirparties, lautre avec les abcisses optimales.

x
1

1
y

Nous terminons par le graphe du polynme dinterpolation de degr 8 bas sur


des abscisses optimales ; le rsultat est
meilleur globalement, mais on constate
que linterpolation polynomiale nest pas
bien adapte aux fonctions dont la drive
prsente des discontinuits.
x
1

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

2
2.1

Interpolation par fonction spline


Spline appuye

Dterminer sur lintervalle [2, 2] la fonction spline dinterpolation de la fonction f (x) = |x| dont on
connat les valeurs aux abscisses -1, -1/2, 0, 1/2 et 1.
Le systme linaire scrit :

1
3
1
12

1
12
1
3
1
12

1
12
1
3

Z2 = 2 ,

Z3
0

Z1

do lon dduit

12
48
12
, Z2 = , Z3 =
7
7
7
Il reste reporter ces valeurs dans lexpression de la restriction de la spline sur chaque intervalle.
Sur [2, 1] :
1
12 
1
0 (x) = 1 + 1 ( ) (x + 1) = (1 6x)
12
7
7
Z1 =

Sur [1, 21 ] :

12 (x + 1)3
1
12
1
+ ( ) + 1 (x + 1) + (2)(x + )
7
3
12
7
2
4
8
= (x + 1)3 + (x + 1) (2x + 1)
7
7

1 (x) =

Sur [ 21 , 0] :

12 x3
48 (x + 12 )3
1 48 
1
1
12
+
+ ( ) (x + ) +
( ) 1 x
7 3
7
3
12 7
2
12
7
4 3 8
16
1 3 4
1
x x + (x + ) (x + )
7
7
7
2
7
2

2 (x) =
=
Sur [0, 12 ] :

8
16
1
4
1
4
3 (x) = x3 + x (x )3 + (x )
7
7
7
2
7
2
Sur [ 12 , 1] :
4 (x) =

4
8
(x 1)3 (x 1) + (2x 1)
7
7

Sur [1, 2] :
5 (x) =

1
(1 + 6x)
7

On remarque que la fonction est paire,


les points tant symtriques.

x
2

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

2.2

Spline encastre

Dterminer sur lintervalle [1, 1] la fonction spline encastre dinterpolation de la fonction f (x) = |x|
dont on connat les valeurs aux abscisses -1, -1/2, 0, 1/2 et 1.
Par la mme mthode que pour la spline appuye on obtient lquation de la restriction i de
lintervalle [xi1 , xi ] pour tout i entre 1 et n :
i (x) =

(x xi )3
(x xi1 )3
Zi1 +
Zi
6di
6di
 d
d
yi 
yi1 
i
i
+ Zi +
(x xi1 ) +
Zi1
(x xi ).
6
di
6
di

Do la drive :
i0 (x) =

(x xi )2
(x xi1 )2
di
yi
di
yi1
Zi1 +
Zi Zi + + Zi1

2di
2di
6
di
6
di

En annulant les drives aux extrmits (10 (x0 ) = 0 et n0 (xn ) = 0) on obtient les deux relations :
Z1
y 1 y0 ,
+3
2
d21
Zn1
yn yn1
=
3

2
d2n

Z0 =
Zn

On reporte les valeurs de Z0 et Zn dans les quations extrmes du systme linaire exprimant la continuit de la drive premire :
i {1, 2 . . . , n 1},

di
di + di+1
di+1
yi+1 yi yi yi1
Zi1 +
Zi +
Zi+1 =

6
3
6
di+1
di

Elles deviennent :
3d1 + 4d2
d2
Z1 + Z2 =
12
6
4dn1 + 3dn
dn1
Zn2 +
Zn1 =
6
12
Le systme linaire scrit matriciellement :

3d1 +4d2
d2
0

6
12
..
d2
d2 +d3
d3
.
6
3
6

..
..
..

.
.
.
0
.
..
dn2 +dn1
dn2
..
.

6
3
dn1
0

0
6

y2 y1 3 y1 y0 ,

d2
2 d1
3 yn yn1 yn1 yn2

2
dn
dn1


y2 y1
3 y1 y0

Z
d2
2 d1

1
y2 y1
y3 y2

Z2
d3
d2

.
..

. =
.
.
0

yn1 yn2 yn2 yn3


dn1
Z

dn2

n2 dn1
6
yn1 yn2
4dn1 +3dn
3 yn yn1
Z
d
n1
2
d
12
0
..
.

n1

Application
Partant des points (1, 1), ( 12 , 12 ), (0, 0), ( 12 , 12 ) et (1, 1) on obtient le systme linaire

1
1
7
Z1
0
2
24
12

1
1
Z2 = 2
12 13 12
1
1
7
Z3
0 12
2
24
ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

dont la solution (vidente) est


Z1 = 0, Z2 = 6 et Z3 = 0.
Do :
Z0 = Z4 = 6.
En reportant on obtient :
1
5
1
1 (x) = 2(x + )3 + (x + 1) (x + ),
2
2
2
1
1 3 1
2 (x) = 2(x + ) (x + ) x,
2
2
2
1 3 1
1
3 (x) = 2(x + ) (x + ) + x,
2
2
2
1 3
5
1
4 (x) = 2(x + ) + (x + 1) (x + ),
2
2
2
Do le graphe :
y
1

x
1

tant donne la fonction de dpart on obtiendrait une solution plus satisfaisante en fixant
0 (1) = 1 et 0 (1) = 1.
Ceci constitue un bon exercice complmentaire.

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

Approximation polynomiale uniforme

3.1

Abaissement du degr

Dterminer la meilleure approximation uniforme polynomiale de degr n sur [1, 1] de la fonction


n+1
X
polynomiale f (x) =
ak xk .
k=0

Pn tant le polynme cherch, on veut que (f Pn ) ralise la meilleure approximation uniforme polynomiale de degr (n + 1) de la fonction nulle sur [1, 1] ; son terme de plus haut degr est an+1 xn+1 .
Donc on a :
1
an+1
(f Pn ) = 2n Tn+1 et Pn = f n Tn+1 .
an+1
2

Exemple : Dterminer la meilleure approximation polynomiale uniforme de degr 3 de la fonction


f (x) = x4 sur [1, 1].
La meilleure approximation uniforme polynomiale de degr 3 de f (x) = x4 sur lintervalle [1, 1] est
P3 (x) = f (x)

1
1
1
T4 (x) = x4 (8x4 8x2 + 1) = x2
3
2
8
8
y
1

x
1

Remarques :
1. La meilleure approximation trouve est en ralit de degr 2 du fait de la symtrie du problme.
2. Le polynme de T CHEBYCHEV T4 est obtenu partir de T0 (x) = 1 et T1 (x) = x en appliquant
la relation de rcurrence Tn+1 (x) = 2xTn (x) Tn1 (x).

3.2

Thorme dalternance

Dterminer la meilleure approximation polynomiale uniforme de degr 2 de la fonction f (x) = |x| sur
[1, 1].
Tenant compte de la symtrie de la fonction f nous savons que le polynme cherch est pair :
P2 (x) = ax2 + b.
Daprs le thorme dalternance de T CHEBYCHEV P2 est la meilleure approximation uniforme polynomiale de f si et seulement si la fonction = f P2 alterne sur 4 points de lintervalle [1, 1] au

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

moins. tudions les variations de .




(x) = |x| (ax + b) =

ax2 x b sur [1, 0],


ax2 + x b sur [0, 1].

On tudie le signe de la drive :




(x) =

2ax 1 sur [1, 0[,


2ax + 1 sur ]0, 1].

Sur le tableau de variations ( construire) on voit que :


Si a 0 il ne peut y avoir alternance en 4 points.
Si a > 0 il y a alternance en 4 points si
b = a b + 1 =

1
2a

ce qui donne a = 1 et b = 81 Donc :


1
P2 (x) = x2 +
8
y
1

x
1

12

1
2

Lcart maximum kf P2 k = sup1x1 |(x)| = 18 est atteint lorsque x est gal -1, 21 , 0, 12
et 1 ; il y a donc alternance en 5 points : P2 est la meilleure approximation uniforme polynomiale de
degr 3 de f sur [1, 1].
Remarques
On peut faire ltude sans tenir compte de la parit en cherchant le polynme sous la forme P2 (x) =
ax2 + bx + c ; les calculs sont plus difficiles et constituent un bon exercice complmentaire.
On peut chercher la meilleure approximation uniforme polynomiale de degr 3 de f sur [1, 1].

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

Approximation quadratique

4.1

Moindres carrs : cas continu

Dterminer le polynme de degr 2 qui ralise la meilleure approximation quadratique de la fonction


f (x) = |x| sur lintervalle [1, 1]
1. pour le poids w(x) = 1 ;
2. pour le poids w(x) =

1 x2

1. Poids w(x) = 1
a) On cherche le polynme dans la base canonique cest--dire sous la forme g =
j (x) = xj . Les coefficients aj sont solutions du systme linaire
k {0, 1, 2},

2
X

P2

k=0 aj j

hj , k i aj = hf, k i, o hu, vi =

u(x)v(x) dx.
1

j=0

On a :
Z

1
j+k

hj , k i =


dx =

1
1

hf, k i =

|x|x dx =
1

2
j+k+1

si j + k est pair,
0 sinon.
2
k+2

si k est pair,
0 sinon.

Le systme scrit matriciellement :

2
0
2
3

dont la solution est a0 =

3
16 ,

0
2
3

a1 = 0 et a2 =

2
3


a0
1
0 a1 = 0 ,
2
1
a2
5
2
15
16

g(x) =

; do :
3
(5x2 + 1).
16
y
1

x
1

b) Il est plus habile de chercher le polynme de meilleure approximation quadratique dans la base des
polynmes de L EGENDRE qui sont orthogonaux sur lintervalle [1, 1] pour le poids w(x) = 1. On a
1
0 (x) = 1, 1 (x) = x et 2 (x) = (3x2 1).
2
ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

On sait que
k0 k2 = 2, k1 k2 =

2
2
et k2 k2 =
3
5

On calcule
Z

|x| dx = 1,

hf, 0 i =
1
Z 1

hf, 1 i =

|x|x dx = 0,
1
Z 1

hf, 2 i =
1

et on en dduit
a0 =

|x|
1
(3x2 1) dx = ,
2
4

hf, 0 i
1
hf, 1 i
hf, 2 i
5
= , a1 =
= 0, a2 =
=
2
2
2
k0 k
2
k1 k
k2 k
8

Et enfin :
g(x) =

2
X

aj j (x) =

j=0

1 5 1
3
+ (3x2 1) = (5x2 + 1).
2 8 2
16

1
1 x2
Le polynme de meilleure approximation quadratique peut tre cherch dans la base canonique, mais
il est plus simple de lexprimer dans la base des
polynmes de T CHEBYCHEV qui sont orthogonaux
sur lintervalle [1, 1] pour le poids w(x) = 1/ 1 x2 . On a
2. Poids w(x) =

0 (x) = 1, 1 (x) = x et 2 (x) = 2x2 1.


On sait que
k0 k2 = , k1 k2 = k2 k2 =

On calcule
1

Z 1
h p
i1
dx
2x dx

=
= 2 1 x2 = 2,
0
1 x2
1 x2
1
0
Z 1
dx
hf, 1 i =
|x|x
= 0,
1 x2
1
Z 1
2
dx
hf, 2 i =
|x|(2x2 1)
= = ,
3
1 x2
1
et on en dduit
hf, 0 i
2
hf, 1 i
hf, 2 i
4
a0 =
= , a1 =
= 0, a2 =
=

k0 k2

k1 k2
k2 k2
3
y
Et enfin :
Z

hf, 0 i =

g(x) =

2
X

|x|

aj j (x)

j=0

=
=

2
4
+
(2x2 1)
3
2
(4x2 + 1).
3
x
1

ENSAM Aix-en-Provence

1
Anne 2001-2002/2e semestre

On remarque que lapproximation est meilleure aux extrmits quau centre. . . ce qui tait le but recherch en changeant le poids.
p
3. Poids w(x) = 1 x2
En ralit ce ntait pas une trop bonne ide de donner plus de poidsaux extrmits : il vaudrait mieux
augmenter limportance du centre et prendre pour poids w(x) = 1 x2 . Le polynme sera alors
exprim dans la base des polynmes de T
CHEBYCHEV de deuxime espce qui sont orthogonaux sur
lintervalle [1, 1] pour le poids w(x) = 1 x2 . On a
0 (x) = 1, 1 (x) = 2x et 2 (x) = 4x2 1.
On sait que

k0 k2 = k1 k2 = k2 k2 =
On calcule
Z

hf, 0 i =
1
1

Z
hf, 1 i =

Z
p
2
|x| 1 x dx =


1
p
2
2
2 3/2
2
2x 1 x dx = (1 x )
= ,
3
3
0

p
|x|x 1 x2 dx = 0,

1
1

Z
hf, 2 i =

p
2
|x|(4x2 1) 1 x2 dx = = ,
5
1

et on en dduit
a0 =

hf, 0 i
4 ,
hf, 1 i
hf, 2 i
4
=
a1 =
= 0, a2 =
=

2
2
2
k0 k
3
k1 k
k2 k
5
y

Et enfin :
g(x) =

2
X

aj j (x)

j=0

=
=

4
4
+
(4x2 1)
3 5
8
(6x2 + 1).
15
x
1

On peut comparer les trois approximations en superposant les graphes :


y
1

w(x) = 1
w(x) =

w(x) =

1
1 x2

p
1 x2

x
1

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

4.2

Moindres carrs : cas discret

Dterminer le polynme de degr 2 qui ralise la meilleure approximation quadratique des cinq points
(-1,1), (-1/2,1/2), (0,0), (1/2,1/2) et (1,1). On pourra prendre des poids gaux pour commencer, puis les
modifier pour rapprocher la courbe obtenue de lorigine (par exemple. . . ).
1. Poids gaux
Dans le cas discret on ne connat pas bien les bases orthogonales, bien quelles existent. On cherche
donc
approximation quadratique dans la base canonique. On pose g =
P2 le polynme de meilleure
j
k=0 aj j o j (x) = x . Les coefficients aj sont solutions du systme linaire
k {0, 1, 2},

2
X

hj , k i aj = hf, k i

j=0

o la forme bilinaire est dfinie par hu, vi =

5
X

u(xi )v(xi ).

i=1

On a donc :
hj , k i =

5
X

xj+k
i

i=1

et
hf, k i =

5
X

yi xki o yi = f (xi ).

i=1

On peut dresser le tableau ci-contre :

Le systme scrit matriciellement : 0


6
et a2 = ; do :
7

5
2

0
5
2

xi

yi

x2i

x3i

x4i

xi yi

x2i yi

12

1
2

1
4

18

1
16

14

1
8

1
2

1
2

1
4

1
8

1
16

1
4

1
8

5
2

17
8

9
4

5
2


a0
3
6

0
a1 = 0 , dont la solution est a0 = , a1 = 0
35
17
9
a2
8
4
y
1

g(x) =

6
(5x2 + 1).
35

x
1

2. Poids diffrents
On constate que la courbe est plus proche des points aux extrmits quau centre ; on peut souhaiter
obtenir une solution o les carts soient mieux rpartis. Par exemple on peut choisir les poids qui
apparaissent dans le tableau suivant.

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

wi

xi

yi

x2i

x3i

x4i

xi yi

x2i yi

12

1
2

1
4

18

1
16

14

1
8

1
2

1
2

1
4

1
8

1
16

1
4

1
8

10

9
4

5
2


10 0 3
a0
4
1

a1 = 0 , dont la solution est a0 = , a1 = 0


Le systme scrit matriciellement : 0 3 0
9
5
3 0 94
a2
2
26
et a2 =
; do :
27
y
1

g(x) =

1
(26x2 + 3).
27

x
1

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre

Systme linaire surdtermin

Utiliser la mthode des moindres carrs pour


suivant :

x
x

2x

dterminer une solution approche du systme linaire


+ y = 3
2y = 0
y = 2

Le systme scrit matriciellement Bv = c o :


 
1 1
3
x

B = 1 2 , v =
et c = 0 .
y
2 1
2
Une solution approche est obtenue, daprs la mthode des moindres carrs, en multipliant les deux
membres par t B, ce qui donne le systme

   
6 3 x
7
t
t
BBv = Bc, soit
=
3 6
y
1
dont la solution est

5
x = , y = 1.
3

Reprsentation graphique
y

x
0

ENSAM Aix-en-Provence

Anne 2001-2002/2e semestre