Simetria derivatei a doua

(Redirecționat de la Teorema lui Schwarz)

În matematică, simetria derivatei a doua se referă la posibilitatea interschimbării ordinii de derivare parțială a unei funcții f. Fie funcția f de 2 variabile.

atunci functia derivata intr-un punct X0 din R se noteaza cu

sau

fiindca

Dacă derivata parțială în raport cu Xi a lui f se notează cu indicele i, atunci simetria presupune că există două derivate parțiale de ordinul doi, notate ce satisfac egalitatea următoare:

Observație: se ințelege că acestea sunt de asemenea funcții de variabilă definită ca mai sus.

Teorema lui ClairautModificare

Matricea avand ca elemente valorile derivatei de ordin II a functiei, se numește matricea hessiană sau matrice Hess asociată lui f. Elementele din afara diagonalei principale a acestei matrice sunt derivate mixte, obținute prin derivarea de gradul doi a funcției în raport cu două variabile diferite.

Matricea Hesse este o matrice simetrică, iar matematic acest lucru se exprimă prin faptul că f are mai mult de o derivată parțială intr-un punct. Adică cel putin două. Teorema lui Clairaut dă o condiție suficientă pentru ca f să aibă o matrice Hesse intr-un punct, adică să aibă toate derivatele de rand doi de pe diagonala principala diferite de 0.

Exprimarea matematicăModificare

Simetria înseamnă că

 

Această egalitate se poate scrie și ca

 

Alfel, simetria poate fi scrisă ca o formulă algebrică folosind operatorul diferențial Di care primește derivata parțială în raport cu xi:

Di . Dj = Dj . Di.

Din relație se deduce că inelul operatorilor diferențiali cu coeficienți constanți, generați de Di, este comutativ. Dar trebuie să fie specificat un domeniu pentru acești operatori. Este ușor de verificat că simetria se aplică la monoame, deci putem lua polinomele în xi ca domeniul funtiei f(x).

Teorema lui ClairautModificare

În analiza matematică, teorema lui Schwarz-Clairaut, numită după Alexis Clairaut și Hermann Schwarz, spune că

 

sunt derivate parțiale de ordinul doi continue în orice punct dat  , notat cu,   atunci pentru  

 

Altfel spus, derivatele parțiale de ordinul doi ale acestei funcții comută în acest punct.