Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.

di Bologna
Prodotto scalare
Funzione
C C C
n n
: ,
che verifica le seguenti propriet:
n
C x x x x x x = = 0 0 , , 0 ,
1.
2.
n
C y x x y y x = , , ,
1
3.
C C z y x z y z x z y x
n
+ = + , , , , , ,
Esempi

= == =
= == = = == =
n
i
n
i i
T
in y x x y y x
1
,
=
= =
n
i
n
i i
H
C in y x x y y x
1
,
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Prodotto scalare

= == =

= == =
= == = = == =
n
i
n
i j ij
n
j
T
A
in y x a Ax y y x
1 1
,
positiva definita ca simmetri
nxn
A
positiva definita hermitiana
nxn
A C
2
positiva definita hermitiana A C
0 ) x x
n
(
n
C
negativa ita semidefin A
negativa definita A
positiva ita semidefin A
positiva definita A
0
0
0
0

< << <

> >> >
Ax x
Ax x
Ax x
Ax x
H
H
H
H
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Matrice definita positiva
positiva definita ca simmetri
nxn
A
Teorema Se una matrice
anche tutte le sue sottomatrici principali sono definite positive.
Teorema Criterio di Sylvester
Una matrice simmetrica A di ordine n definita positiva se e
solo se
3
solo se
n 1,2,..., k = == = > >> > 0 ) det(
k
A
ove A
k
la matrice principale di ordine k,cio la matrice formata
dalle prime k righe e colonne della matrice A.
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Norme vettoriali
Funzione
{ } 0 :
+ n
C
che verifica le seguenti propriet:
n
C x x x x = == = = == = 0 0 , 0
1.
2.
n
x x x C C = = = =
4
3.
n
C y x y x y x + ++ + + ++ + ,
Esempi

=
=
n
i
n
i
in x x
1
1
( )
n
n
i
i
T
in x x x x x x = = =

=1
2
2
,
norma 1
norma 2 - euclidea
i
n i
x
x
,..., 2 , 1
max
=
=

Norma infinito
- Chebyshev
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Norme vettoriali - esempi

=
=
n
i
n
i
in x x
1
1
( )
n
n
i
i
T
in x x x x x x = = =

=1
2
2
,
norma 1
norma 2 - euclidea
i
n i
x
x
,..., 2 , 1
max
=
=

Norma infinito
- Chebyshev
5
i

=1
2
n=4
(
(
(
(

=
3
0
1
2
x
6
1
= x
x = == =
2
14
3 =

x
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Norme vettoriali
Teorema. La funzione
e uniformemente continua
n
C x x x ,
Teorema. Siano
' ' '
,
due norme vettoriali. Allora le due norme sono
equivalenti, nel senso che esistono due costanti
< 0 , ,
tali che per ogni
n
C x
6
tali che per ogni
C x
' ' ' ' '
x x x

x n x x
2

x n x x
1
2 1 2
x n x x
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Norme matriciali
Funzione
{ } 0 :
+ nxn
C
che verifica le seguenti proprieta:
nxn
C A A A A = == = = == = 0 0 , 0
1.
2.
C C A A A
nxn
= == =
7
3.
nxn
C B A B A B A + ++ + + ++ + ,
4.
nxn
C B A B A AB ,
Non essenziale
le norme usate soddisfano
questa propriet
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Norme matriciali
Teorema. Sia

una norma vettoriale. La funzione

n nxn
C x C A A
Ax
x

=
,
1
max
e una norma matriciale
Definizione. La norma definita da
n nxn
C x C A A
Ax
x

=
,
1
max
8
viene detta norma matriciale indotta dalla norma vettoriale
o norma naturale

Nota
n nxn
C x C A A
Ax
x

=
,
1
max
n nxn
C x C A A
x
Ax
x

,
0
sup
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Norme matriciali - esempi
norma 1
i
n i
x
x
,..., 2 , 1
max
=
=

Norma infinito
- Chebyshev

=
=
n
i
i
x x
1
1

= == =
= == =
= == =
n
i
ij
n j
a A
1
,..., 2 , 1
1
max

= == =
= == =
= == =

n
j
ij
n
n i
a A
1
,..., 2 , 1
max
9
( )

=
=
n
i
i
x x
1
2
2
norma 2
- Euclidea
(
(
(
(

=
1 0 9 10
5 6 0 0
3 1 4 11
8 0 7 1
A
22
1
= A
??
2
= A
20 =

A
) (
2
A A A
T
= == =
(A) raggio spettrale di A
massimo autovalore in modulo di A 16
19
11
20
22 20
7 17
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Norme matriciali

=
=
n
j i
ij
F
a A
1 ,
2
Norma di Frobenius o Schur
Tutte le norme matriciali sono equivalenti
A n A A
1 1
A n A A
10

A n A A
n
2
1
ij
j i
ij
j i
a n A a
,
2
,
max max
1 2 1
1
A n A A
n

F F
A A A
n

2
1
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Norme matriciali
Data una norma di vettore ed una norma di matrice, diciamo che le due
norme sono compatibili se
n nxn
x A x A Ax
Una norma di vettore puo risultare compatibile con piu norme matriciali
La norma matriciale indotta e compatibile con la sua norma vettoriale
11
La norma matriciale indotta e compatibile con la sua norma vettoriale
Se e una norma matriciale indotta, allora risulta

1 = I
Sia A una matrice simmetrica , allora

= A A
1
max
2 2
2
) ( ) ( ) ( ) ( = = = = = A A A A A A
T
Sia A una matrice simmetrica definita positiva, allora
max
2
= A
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Condizionamento di un sistema lineare
A x = b
A matrice delle perturbazioni
b
x
vettori delle perturbazioni
12
1. A (x + x ) = b + b
2. (A + A) (x + x ) = b
3. (A + A) (x + x ) = b + b
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Condizionamento di un sistema lineare
A x = b
A (x + x) = b + b
sottraendo
A x = b x = A
-1
b
13
b A b A x
1 1
=
b A x
1

x A Ax b =
b
A
x
1 1

Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Condizionamento di un sistema lineare
b
b
A A
x
x
1

Indice/numero di
condizionamento
14
condizionamento
Errore relativo
nella soluzione
Errore relativo
nei dati
cond(A)
( ( ( (A)
K(A)
I= A A
-1
1
1

= A A I
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Condizionamento di un sistema lineare
(A + A) (x + x ) = b + b
b
b
A
A
A A
x


1
+

15
A
A
A A
A A
x
1
1
1

A non singolare
A + A non singolare
1
1
< << <

A A
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Matrice di Hilbert
1
1
) (
+ ++ +
= == =
j i
a
n
ij
i,j=1,2,,n
16
n=5
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Matrice di Hilbert
n
e A A A
5 . 3 1
) ( = == =


17
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Esempio di malcondizionamento
(

=
(

=
(

=
0
1
7 . 9
1 . 4
6 . 6 7 . 9
8 . 2 1 . 4
x b A
1 8 . 13
1 1
= = x b
(

=
(

=
97 . 0
34 . 0
70 . 9
11 . 4
' '
x b
01 . 0
1
'
= = b b b b
63 . 1
'
= = x x x x
18

97 . 0 70 . 9
63 . 1
1
'
= = x x x x
0007246 . 0 =
b
b
63 . 1 =
x
x
4 . 2249 ) (
1
= A cond
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Considerazioni sul residuo
(

=
(

=
(

=
1
1
000 . 2
001 . 2
000 . 1 000 . 1
001 . 1 000 . 1
x b A
(

=
(

. 0
. 10
. 0
. 2
3
r x
3
10 ) (

A cond
esatto
x
x
non vicino
19
(

. 0
. 0
x
x
non vicino
(

=
(

=
. 1000
. 1000
. 0
. 1
x b esatto
^
x
vicino x
^ ^
. .

x r b Ax
. .

( ( ( ( ( ( ( (
= = = = = = = = = = = =
( ( ( ( ( ( ( (

1001 1
1000 1
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Indice di condizionamento
) (
2
A A A
T
=
A simmetrica
max
2 2
2
) ( ) ( ) ( ) ( = = = = = A A A A A A
T
20
A simmetrica definita positiva
max
2
= A
min
max
1
2
) (


= =

A A A cond
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Indice di condizionamento
det(A) piccolo necessariamente
A malcondizionata (spesso)
( 1
21
(
(
(
(
(
(

=
2 / 1
.
2 / 1
2 / 1
1
D
1
2
1
det

=
n
D
2 ) ( =

D cond
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Matrice di Hankel






> >> >
= == =

+ ++ +
0 2
0 2
2
1
) (
,
k se
k se
a
k
k
n
i k n i
i=1,2,,n
k=i+1-n,,i
22
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Matrice di Hankel
A
A
A A
b
b
A
A
A A
x
x



1
1
1

Se
sono dellordine
della precisione
di macchina eps
b
b
A
A
n
n
( A )eps
h( n )
( A )eps


= == =

2
2
2
1
una maggiorazione dellerrore
inerente del problema
23
inerente del problema
Metodi Numerici per Ing. Civile M-A F.Sgallari Dip. Matematica-CIRAM, Univ.di Bologna
Matrice di Hankel
( (( (
( (( (
( (( (
( (( (

( (( (






= == =
1
.
1
1
x
2
2
x
x
24