Teorema di Fermat sui punti stazionari

Il teorema di Fermat sui punti stazionari (da non confondersi con l'ultimo teorema di Fermat, il piccolo teorema di Fermat o il teorema di Fermat sulle somme di due quadrati) è un teorema dell'analisi matematica, che prende il nome da Pierre de Fermat. Il teorema fornisce un metodo per la ricerca dei punti di massimo e minimo di una funzione differenziabile, mostrando che ogni punto di estremo locale è un punto stazionario della funzione (cioè la derivata prima della funzione si annulla in quel punto). In tal modo, utilizzando il teorema di Fermat, il problema della ricerca dei punti estremi di una funzione è ridotto alla risoluzione di un'equazione.

È importante notare che il teorema di Fermat fornisce solamente una condizione necessaria per il valore degli estremi della funzione: è vero che tutti i punti estremi sono stazionari, ma esistono anche alcuni punti stazionari che non sono punti estremi, ma possono essere punti di flesso (o, nel caso di una funzione a più variabili, punti di sella o punti di diversa natura). Per valutare se un punto stazionario è un valore estremo e per distinguere se tale punto è di massimo o di minimo, è necessario, in genere, analizzare la derivata seconda della funzione (se esiste).

Enunciato del teoremaModifica

Sia   una funzione e si supponga che   sia un punto di estremo locale di  . Se   è derivabile nel punto  , allora  .[1]

DimostrazioneModifica

Dimostrazione intuitivaModifica

Di seguito si fornisce l'idea su cui si basa la dimostrazione del teorema per i punti di massimo della funzione (ma il ragionamento vale, con opportune modifiche, anche per i punti di minimo). Se   in   è un punto di massimo locale, allora esiste un intorno (piccolo a piacere) di   tale che la funzione sia crescente prima del punto e decrescente dopo. Siccome la derivata è positiva negli intervalli in cui la funzione cresce ed è negativa negli intervalli in cui la funzione decresce,   è positiva prima di   e negativa dopo.   deve assumere tutti i suoi valori in modo continuo (per il teorema di Darboux), così deve assumere necessariamente valore zero nel punto in cui da positiva diventa negativa. Il solo punto in cui è possibile che   è quindi  .

Si noti che il teorema, come anche la sua dimostrazione, è più generale dell'intuizione, in quanto non richiede che la funzione sia differenziabile in un intorno di  . Come affermato dal teorema, è sufficiente che la funzione sia differenziabile solo nel punto estremo.

Dimostrazione rigorosaModifica

Si supponga che   sia un punto di massimo locale (la dimostrazione si applica anche nel caso in cui   sia un minimo). Allora:

 

Pertanto, per ogni   vale la relazione

 

Dato che il limite di questo rapporto per   esiste ed è pari a   (limite del rapporto incrementale), allora si può concludere (permanenza del segno) che . D'altra parte, per   si nota che

 ;

di nuovo, il limite per   vale  , da cui abbiamo  .

Combinando i risultati ottenuti si può concludere che  , C.V.D.

Comportamento locale della funzioneModifica

Una sottile idea sbagliata che spesso compare nel contesto del teorema di Fermat è l'assumere che esso faccia un'affermazione più forte sul comportamento locale di quanto effettivamente asserisca. Da notare, il teorema di Fermat non dice che le funzioni (monotone) "crescono verso" o "decrescono da" un massimo locale. Questo è molto simile con l'incomprensione che un limite significhi "avvicinarsi monotonicamente a un punto". Per "funzioni buone" (che qui significa continuamente derivabili), qualche intuizione regge, ma in generale le funzioni potrebbero essere patologiche, come illustrato più sotto. La morale è che le derivate determinano il comportamento infinitesimale, e che derivate continue determinano il comportamento locale.

Funzioni derivabili con continuitàModifica

Se   è derivabile con continuità (cioè se è  ) in un intorno aperto del punto  , allora   significa che   sta crescendo in un intorno di   come segue.

Se   e   allora, dalla continuità della derivata, esistono   tali che    . Allora   è crescente su questo intervallo. Dal teorema di Lagrange: la pendenza di ogni secante è almeno   poiché uguaglia la pendenza di qualche tangente.

Tuttavia, nelle ipotesi generali del teorema di Fermat, dove è dato che solo la derivata "in"   sia positiva, si può solamente concludere che le linee secanti "attraverso"   avranno pendenza positiva, per secanti tra   e punti abbastanza vicini.

Al contrario, se la derivata di   in un punto è 0 (  è un punto stazionario), non si può in generale concludere niente sul comportamento locale della funzione: potrebbe crescere da tutti e due i lati (come in  ), decrescere da una parte e crescere dall'altra (come per  ), crescere e poi decrescere (come in  ), oppure comportarsi in una maniere più complicata, ad esempio oscillando (come  , come discusso sotto).

Si può analizzare l'andamento locale attraverso il test della derivata seconda e delle derivate di ordine superiore. Se la funzione è sufficientemente derivabile e se la prima derivata non nulla in   è una funzione continua, si può allora dedurre il comportamento locale (cioè se   è la prima derivata non nulla, e   è continua, così  ). In tal caso si può trattare   come localmente vicina a un polinomio di grado  , poiché si comporta approssimativamente come   ma se la  -esima derivata non è continua, non si possono trarre certe conclusioni, e si può avere un andamento piuttosto differente.

Funzioni patologicheModifica

Si consideri la funzione   essa oscilla crescendo rapidamente tra   e   se   si avvicina  . Si consideri poi   questa oscilla crescendo rapidamente tra   e   se   tende a   Se si estende questa funzione con   allora essa è continua e ovunque derivabile (è derivabile in   con derivata nulla), ma ha un comportamento alquanto strano vicino  : in ogni intorno di   si annulla infinite volte, ma diventa anche uguale a   (un numero positivo) frequentemente.

Continuando su questa linea,   oscilla fra   e  ,   è un minimo sia locale che globale, ma in nessun suo intorno la funzione sta crescendo o decrescendo: oscilla selvaggiamente vicino a  .

Questa patologia può essere compresa perché, mentre la funzione è derivabile ovunque, non è derivabile con continuità: il limite di   con   non esiste, perciò la derivata non è continua in   Questo rispecchia le oscillazioni tra valore crescenti e decrescenti se ci si avvicina a al punto critico  .

Estensione a più variabiliModifica

Esiste una versione del teorema di Fermat che riguarda le funzioni di variabile vettoriale, ossia funzioni del tipo

 

(che si riduce all'enunciato precedente per  ). Il teorema fornisce una condizione necessaria (non sufficiente) che devono soddisfare i punti stazionarî interni a   (non può essere applicato per cercare estremanti "vincolati", ossia appartenenti alla frontiera dell'insieme).

EnunciatoModifica

Sia   un aperto, e sia  ; sia   un punto di massimo o minimo locale per  , e sia   differenziabile in  . Allora il gradiente di   calcolato in   è il vettore nullo, ossia

 .

DimostrazioneModifica

La dimostrazione fa uso del teorema che è già stato dimostrato per  ; verrà dimostrato il teorema nel caso in cui   sia un punto di minimo locale, ma la dimostrazione è del tutto analoga per i punti di massimo.

Sia   un versore (ossia   = 1), e sia   la funzione che misura l'incremento di   lungo la direzione di  , ossia:

 
 

(  risulta definita in un intorno di  , poiché questo è un punto interno di  ). La funzione   ammette minimo in  , perché per ipotesi   per tutti gli   in un intorno di  . Inoltre,   è derivabile in  , perché

 ,

e la derivata direzionale di   lungo   esiste (  è differenziabile in  , quindi ammette tutte le derivate direzionali in quel punto). Il teorema di Fermat per funzioni di variabile reale garantisce a questo punto che  ; poiché tutte le derivate direzionali nel punto sono nulle, lo saranno in particolare le derivate lungo gli assi coordinati (derivate parziali), e quindi  . Q. E. D.

Contrappunto alla dimostrazioneModifica

Dalla dimostrazione si vede che l'ipotesi di differenziabilità di   in   non è indispensabile (si richiede solo l'esistenza delle derivate parziali); l'enunciato potrebbe essere riformulato nel seguente modo: se   è un punto estremante per  , e se esiste una derivata direzionale di   nel punto  , allora tale derivata è ivi nulla.

NoteModifica

  1. ^ P. M. Soardi, p. 220.

BibliografiaModifica

Voci correlateModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica