Ven 31/10/2014 11:30-12:30 (1:0 h) lezione: Grafico f:A->Rm, A in R=
immagine di g:A->R(m+d), g(x)=(x, f(x))=insieme di livello di F:AxRm->Rm,
F(x,z)= f(x)-z. f differenziabile in p: il tangente al grafico in
P=(p,f(p)) e': 1- graf.della funz. lineare d_pf x traslato in P; 2-
immagine della funz.lin. (x,d_pf x)=d_p (y,f(y)) x tras. in P; 3- nucleo
della funz. lin. d_pfx - z= d_(p,v)(f(y)-v)(x,z) tras. in P. SLOGAN:1
tangente a grafico e' grafico traslato del differenziale, 2 tan. a
immagine e' l'immagine tras. del diff., 3 tan. a luogo di zeri e' il
nucleo tras. del diff.. DOMANDE: A)L'immagine di g:A->Rh vicino a p in A
e' grafico di f: Rd->R(h-d)? E' vero 2? permette di non calcolare f per
trovare il tangente. B)L'insieme di livello di F:Rh->Rm vicino a p e'
grafico di una f:R(h-m)->Rm? E' vero 3? DIM. derivata f(c(t)), t in R.
DIM. Teo.9 grad f(p) non nullo direzione di massima pendenza in p, sua
norma massima pendenza, ortogonale alle curve per p a valori in
{f(x)=f(p)}. (Vincenzo Maria Tortorelli)
Riferimenti libro Acquistapace:
Derivabilita' della composizione con curve: 1 Vol. cap.4.5 pag.241 (non
usa il lemma che immagine lineare di un `o' e' un `o' la dimostrazione e'
un pochino piu' lunga di quella vista a lezione).
Gradiente come direzione di massima pendenza e ortogonalita' alle curve
con valori nell'insime di livello: 1 Vol. cap.4.2 pagg.226-227.
ATTENZIONE, ATTENZIONE: la trattazione fatta nel libro dell'ortogonalita'
alle pagg.227-228 e' molto piu' difficile di quella esposta a lezione: qui
dimostra gia' che l'insieme di livello ha un piano tangente.
Invece a lezione abbiamo semplicemente detto che se una curva c(t) e' a
valori nell'insieme di livello {x: f(x)=f(p)} e c(0)= p allora grad f(p)
e' ortogonale a c'(0), semplicemente derivando la relazione f(c(t))= f(p).
immagini: 2 Vol. cap. 1.9 pag. 93 osservazione preliminare al teorema del
rango pagg.95-96 osservazioni ed esempi. 2 Vol. cap. 4.9 pag. 451-453.
luoghi di zeri: 2 Vol.cap.1.9 esempi ed osservazioni pagg.72-73 ,
pag.88, esempio 1.9.4 pag. 76, osservazioni preliminari al teorema di
invertibilita' pag. 93.