Teorema lui Fermat asupra punctelor staționare

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

Teorema lui Fermat asupra punctelor staționare (care nu trebuie confundată cu ultima teoremă a lui Fermat, teorema mică a lui Fermat sau teorema lui Fermat asupra sumelor a două pătrate ) este o teoremă a analizei matematice , care își ia numele de la Pierre de Fermat . Teorema oferă o metodă pentru găsirea punctelor maxime și minime ale unei funcții diferențiate , arătând că fiecare punct extrem local este un punct staționar al funcției (adică prima derivată a funcției dispare în acel punct). În acest fel, folosind teorema lui Fermat, problema găsirii punctelor extreme ale unei funcții se reduce la soluția unei ecuații .

Este important să rețineți că teorema lui Fermat oferă doar o condiție necesară pentru valoarea extremelor funcției: este adevărat că toate punctele extreme sunt staționare, dar există și unele puncte staționare care nu sunt puncte extreme, dar pot fi inflexiune puncte (sau, în cazul unei funcții multi-variabile, puncte de șa sau puncte de altă natură). Pentru a evalua dacă un punct staționar este o valoare extremă și pentru a distinge dacă acest punct este de maxim sau minim, este în general necesar să se analizeze a doua derivată a funcției (dacă există).

Enunțarea teoremei

Este o funcție și presupuneți că este un punct local extrem de . De sine Este diferențiat la acest punct , asa de . [1]

Demonstrație

Demonstrație intuitivă

Următoarea este ideea pe care se bazează dovada teoremei pentru punctele maxime ale funcției (dar raționamentul este valid, cu modificările adecvate, de asemenea, pentru punctele minime ). De sine în este un maxim local, apoi există un cartier (oricât de mic vă place) de astfel încât funcția crește înainte de punct și scade după. Deoarece derivata este pozitivă în intervalele în care funcția crește și este negativă în intervalele în care funcția scade, este pozitiv înainte și negativ după. trebuie să își asume toate valorile în mod continuu ( conform teoremei lui Darboux ), deci trebuie să își asume în mod necesar o valoare zero în punctul în care se schimbă de la pozitiv la negativ. Singurul punct în care acest lucru este posibil este deci .

Rețineți că teorema, precum și dovada sa, sunt mai generale decât intuiția, deoarece nu necesită ca funcția să fie diferențiată într-un vecinătate a . Așa cum este afirmat de teoremă, este suficient ca funcția să fie diferențiată doar în punctul extrem.

Demonstrație riguroasă

Asuma ca este un punct maxim local (dovada se aplică și în cazul în care este minim). Atunci:

Prin urmare, pentru fiecare relația merită

Întrucât limita acestui raport pentru există și este egal cu ( limita raportului incremental ), atunci se poate concluziona ( permanența semnului ) că . Pe de altă parte, pentru am notat asta

;

din nou, limita pentru merita , din care avem .

Combinând rezultatele obținute se poate concluziona că , CVD

Comportamentul local al funcției

O subtilă concepție greșită care apare adesea în contextul teoremei lui Fermat este presupunerea că face o afirmație mai puternică despre comportamentul local decât pretinde de fapt. Notă, teorema lui Fermat nu spune că funcțiile (monotone) „cresc spre” sau „scad de la” un maxim local. Acest lucru este foarte asemănător cu neînțelegerea conform căreia o limită înseamnă „apropierea monotonă de un punct”. Pentru „funcții bune” (care aici înseamnă diferențiat continuu), se păstrează o anumită intuiție, dar în general funcțiile ar putea fi patologice, așa cum se ilustrează mai jos. Morala este că derivatele determină un comportament infinitesimal și că derivatele continue determină un comportament local.

Funcții care pot fi diferențiate cu continuitate

De sine se poate diferenția cu continuitate (adică dacă este ) într-un cartier deschis al punctului , asa de înseamnă că crește într-un cartier al după cum urmează.

De sine Și apoi, din continuitatea derivatului, ele există astfel încât . Atunci crește în acest interval. Din teorema lui Lagrange : panta fiecărei secante este cel puțin întrucât este egal cu panta unei tangente.

Cu toate acestea, în ipotezele generale ale teoremei lui Fermat, unde se dă doar derivatul „în” este pozitiv, putem concluziona doar că liniile secante „prin” vor avea o pantă pozitivă, pentru secante între și puncte suficient de apropiate.

În schimb, dacă derivatul lui într-un punct este 0 ( este un punct staționar ), în general nu se poate concluziona nimic despre comportamentul local al funcției: ar putea crește pe ambele părți (ca în ), scade pe o parte și crește pe cealaltă (ca pentru ), crește și apoi scade (ca în ), sau se comportă într-un mod mai complicat, cum ar fi swinging (cum ar fi , așa cum este discutat mai jos).

Tendința locală poate fi analizată testând derivatele secundare și derivatele de ordin superior. Dacă funcția este suficient de diferențiată și dacă prima derivată nu este nulă în este o funcție continuă, putem deduce apoi comportamentul local (adică dacă este prima derivată diferită de zero, e este continuu, așa ). În acest caz, poate fi tratat ca local apropiat de un polinom de grad , deoarece se comportă aproximativ ca. dar dacă -a derivată nu este continuă, nu se pot trage anumite concluzii și se poate avea o tendință destul de diferită.

Funcții patologice

Luați în considerare funcția oscilează crescând rapid între Și de sine abordari. Luați în considerare atunci aceasta oscilează în creștere rapidă între și de sine Tinde să Dacă extindeți această funcție cu atunci este continuu și oriunde derivabil (este derivabil în cu derivat nul), dar are un comportament destul de ciudat aproape de el: în fiecare vecinătate a acestuia dispare infinit de ori, dar devine și egal cu (un număr pozitiv) frecvent.

Continuând pe această linie, oscilează între Și , este minim atât local, cât și global, dar în niciun cartier funcția nu crește sau scade: oscilează sălbatic aproape de .

Această patologie poate fi înțeleasă deoarece, deși funcția poate fi diferențiată peste tot, nu poate fi diferențiată cu continuitate: limita cu nu există, prin urmare derivatul nu este continuu în Aceasta reflectă oscilațiile dintre valorile crescătoare și descrescătoare pe măsură ce vă apropiați de punctul critic .

Extindere la mai multe variabile

Există o versiune a teoremei lui Fermat care privește funcțiile variabile vectoriale, adică funcțiile de tip

(care se reduce la declarația anterioară pentru ). Teorema oferă o condiție necesară (insuficientă) pe care trebuie să o îndeplinească punctele staționare interioare (nu poate fi aplicat pentru a căuta extreme „legate”, adică aparținând limitei întregului).

Afirmație

Este una deschisă și fie ea ; este un punct de maxim local sau minim pentru , și așa să fie diferențiat în . Apoi gradientul de calculat în este vectorul nul, adică

.

Demonstrație

Dovada se folosește de teorema pentru care sa dovedit deja ; teorema va fi dovedită în caz este un punct de minim local, dar dovada este complet analogă pentru punctele de maxim.

Este a versor (i.e. = 1), și lăsați-l să fie funcția care măsoară creșterea de-a lungul direcției de , sau:

( este definit într-un cartier al , deoarece acesta este un punct interior al ). Functia admite minim în , deoarece prin ipoteză pentru toți într-un cartier al . În plus, este diferențiat în , deoarece

,

și derivata direcțională a lung exista ( este diferențiat în , deci admite toate derivatele direcționale în acel moment). Teorema lui Fermat pentru funcțiile variabilelor reale garantează în acest moment că ; deoarece toate derivatele direcționale din punct sunt zero, în special derivatele de-a lungul axelor de coordonate (derivate parțiale) vor fi și, prin urmare, . QED

Contrapunct la demonstrație

Din dovadă vedem că ipoteza diferențialității a în nu este indispensabil (este necesară doar existența derivatelor parțiale); enunțul ar putea fi reformulat astfel: dacă este un punct extrem pentru , și dacă există o derivată direcțională a în sens , atunci acest derivat este nul în acesta.

Notă

  1. ^ PM Soardi , p. 220 .

Bibliografie

Elemente conexe

Matematica Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică