Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
`
E lestensione in C
N
dellOsservazione ??.
In riferimento alla Denizione ??, nel punto di sella normale
_
z
1,0
, . . . , z
N,0
_
si ha
H
f
0 . Si osserva ora che esiste sempre una trasformazione lineare delle variabili
(A.1)
_
_
z
1
= a
11
Z
1
+ + a
1N
Z
N
.
.
.
z
N
= a
N1
Z
1
+ + a
NN
Z
N
, det
_
_
a
11
. . . a
1N
.
.
.
.
.
.
.
.
.
a
N1
. . . a
1N
_
_
0 ,
con a
kl
costanti in C, per k, l = 1, . . . , N, tale che la nuova funzione cos` ottenuta
f (Z
1
, . . . , Z
N
) = f
_
z
1
(Z
1
, . . . , Z
N
) , . . . , z
N
(Z
1
, . . . , Z
N
)
_
nel punto (Z
1,0
, . . . , Z
N,0
) corrispondente a (z
1,0
, . . . , z
N,0
) mediante la (A.1), soddis
H
f
0 , e
H
j
0 , per j = 1, . . . , N1 , dove
H
j
` e il minore principale in alto a sinistra
di ordine j di
_
2
f
Z
2
1
. . .
2
f
Z
1
Z
j
. . .
2
f
Z
1
Z
N
.
.
.
.
.
.
.
.
.
2
f
Z
1
Z
j
. . .
2
f
Z
2
j
.
.
.
.
.
.
.
.
.
2
f
Z
1
Z
N
. . .
2
f
Z
2
N
_
_
.
Dimostrazione. Per le derivate parziali prime di
f vale
_
f
Z
1
=
_
a
11
z
1
+ + a
N1
z
N
_
f
.
.
.
f
Z
N
=
_
a
1N
z
1
+ + a
NN
z
N
_
f
,
dunque per le derivate parziali seconde si ha
(A.2)
2
f
Z
k
Z
l
=
_
a
1k
z
1
+ + a
Nk
z
N
_ _
a
1l
z
1
+ + a
Nl
z
N
_
f =
N
r,s=1
a
rk
a
sl
2
f
z
r
z
s
,
1
qualunque siano gli indici k, l tra 1 e N.
Si considerino ora gli N polinomi omogenei P
j
: C
Nj
C, j = 1, . . . , N, ciascuno di
grado 2j , cos` deniti:
(A.3)
_
_
P
1
(a
11
, . . . , a
N1
) =
H
1
,
P
2
(a
11
, . . . , a
N1
, a
12
, . . . , a
N2
) =
H
2
,
.
.
.
P
N1
(a
11
, . . . . . . . . . , a
N N1
) =
H
N1
,
P
N
(a
11
, . . . . . . . . . , a
N N
) = H
f
.
Si prova ora che nessuno dei polinomi P
1
, . . . , P
N
pu` o essere identicamente nullo.
Siano
J =
_
_
a
11
. . . a
1N
.
.
.
.
.
.
.
.
.
a
N1
. . . a
1N
_
_
,
0
=
_
2
f
z
2
1
. . .
2
f
z
1
z
N
.
.
.
.
.
.
2
f
z
1
z
N
. . .
2
f
z
2
N
_
_
|
(z
1,0
,...,z
N,0
)
rispettivamente la matrice jacobiana della trasformazione (A.1) e la matrice hessiana
di f calcolata in(z
1,0
, . . . , z
N,0
) , e siano e sottoinsiemi di {1, . . . , N} . Per indicare
la sottomatrice di J costruita prendendo le righe i cui indici appartengono a e le
colonne i cui indici appartengono a si usa la notazione
(A.4) J
(,)
.
In base ad un calcolo analogo a (??), si vede che lhessiana di
f calcolata nel punto
(Z
1,0
, . . . , Z
N,0
) corrisponde a
t
J
0
J , per cui, ssato j {1, . . . , N} ,
H
j
` e il determinante
della matrice ottenuta moltiplicando le prime j righe di
t
J con
0
e con le prime j
colonne di J, cio` e
(A.5)
H
j
= det
_
t
J
({1,..., j},{1,...,N})
0
J
({1,...,N},{1,..., j})
_
,
dove si ` e adoperata la notazione (A.4) anche in relazione a
t
J . Utilizzando la formula
di Cauchy-Binet [HJ90, p.22] ed usando nuovamente la notazione (A.4), dalla (A.5)
2
si ottiene
(A.6)
H
j
=
:
|
|
=j
det
t
J
({1,..., j},)
det
_
_
0
J
({1,...,N},{1,..., j})
_
(,{1,..., j})
_
=
=
:
|
|
=j
det
t
J
({1,..., j},)
: ||=j
det
0
(,)
det J
(,{1,..., j})
=
=
, :
|
|
=j , ||=j
det J
(,{1,..., j})
det J
(,{1,..., j})
det
0
(,)
.
Per la (A.6), se P
j
fosse identicamente nullo allora dovrebbero essere nulli i de-
terminanti di tutti i minori principali di ordine j di
0
, insieme con tutti i minori
complementari sommati a j a j (?), contrariamente allipotesi che H
f
0 . Come
conseguenza linsieme Q
j
C
Nj
delle soluzioni di P
j
= 0 ha misura nulla, per ogni
j = 1, . . . , N, e quindi il complementare di Q
j
` e denso in C
NN
. Esistono dunque
innite trasformazioni del tipo (A.1) i cui coecienti soddisfano
_
H
1
0
.
.
.
H
N1
0
H
f
0
.
in quanto lintersezione numerabile di densi ` e densa in C
NN
.
Riferimenti bibliograci
[Ait39] A.C. Aitken, Determinants and Matrices, Oliver and Boyd, Edinburgh, 1939.
MR 0000217 (1,35a)
[HJ90] Roger A. Horn and Charles R. Johnson, Matrix analysis, Cambridge Uni-
versity Press, Cambridge, 1990, Corrected reprint of the 1985 original. MR
1084815 (91i:15001)
3