Algebră diferențială

Inelele , câmpurile și algebrele diferențiale sunt numite inele , câmpurile și algebrele echipate cu diferențiere  - o operație unară care satisface regula produsului . Un exemplu natural de câmp diferențial este câmpul funcțiilor raționale ale unei variabile complexe , operația de diferențiere corespunde diferențierii în raport cu . Teoria a fost creată de Joseph Ritt (1950) și elevul său Ellis Kolchin [1] [2] .

Definiții

Inele diferențiale

Un inel diferential  este un inel R echipat cu unul sau mai multe endomorfisme ( derivatii )

satisfacerea regulii produsului

pentru orice . Subliniem că regula poate eșua într-un inel necomutativ. În forma de notare non-index, dacă  - înmulțire în inel, atunci regula produsului va lua forma

unde este o  mapare pereche-la-pereche .

Câmpuri diferențiale

Un câmp diferențial  este un câmp K echipat cu o derivație. Diferențierea trebuie să se supună regulii Leibniz în formă

întrucât înmulțirea într-un câmp este comutativă. Diferențierea trebuie să fie și distributivă în raport cu adunarea:

Câmpul constantelor unui câmp diferențial se numește .

Algebră diferențială

O algebră diferențială peste un câmp K este o K -algebră A în care derivațiile comută cu câmpul. Adică pentru orice și :

În formă non-index, dacă  este un morfism de inele care definește înmulțirea cu scalari în algebră, atunci

Ca și în alte cazuri, diferențierea trebuie să îndeplinească regula lui Leibniz pentru înmulțirea în algebră și să fie liniară în raport cu adunarea. Adică pentru orice și :

și

Diferențierea în algebra Lie

O derivație de algebră Lie  este o mapare liniară care satisface regula Leibniz:

Pentru orice operator  - diferențiere pe , care decurge din identitatea Jacobi . Orice astfel de derivație se numește intrinsecă .

Exemple

Dacă  este o algebră cu unitate , atunci , deoarece . De exemplu, în câmpurile diferențiale cu caracteristica 0, elementele raționale formează un subcâmp în câmpul constantelor.

Orice câmp poate fi considerat ca un câmp de constante.

În câmpul , există o structură naturală a câmpului diferențial, definită de egalitate : din axiomele câmpului și diferențierii rezultă că aceasta va fi o diferențiere față de . De exemplu, din comutativitatea înmulțirii și din regula Leibniz rezultă că

Nu există o soluție pentru ecuația diferențială într-un câmp diferențial , dar poate fi extinsă la un câmp care conține o funcție care are o soluție la această ecuație.

Un câmp diferențial care are o soluție pentru orice sistem de ecuații diferențiale se numește câmp diferențial închis . Astfel de câmpuri există, deși nu apar în mod natural în algebră sau geometrie. Orice câmp diferențial (de putere limitată ) este încorporat într-un câmp diferențial închis mai mare. Câmpurile diferențiale sunt studiate în teoria diferențială Galois .

Exemple naturale de derivate sunt derivatele parțiale , derivatele Lie , derivata Pincherle și comutatorul față de un element dat al algebrei. Toate aceste exemple sunt strâns legate de ideea generală de diferențiere.

Inel de operatori pseudodiferențiali

Inelele diferențiale și algebrele diferențiale sunt adesea studiate folosind inelul operatorilor pseudodiferențiali peste ele:

Înmulțirea în acest inel este definită ca

Aici  este coeficientul binom . Observați identitatea

urmare de la

și

Diferențierea gradată

Fie  o algebră gradată ,  fie o mapare liniară omogenă, . se numeste derivata omogena daca , cand actioneaza asupra elementelor omogene . O derivată gradată  este suma derivatelor omogene cu același .

Dacă , definiția este aceeași cu diferențierea obișnuită.

Dacă , atunci , pentru impar . Astfel de endomorfisme sunt numite antiderivate .

Exemple de anti-derivate sunt derivatele externe și interne ale formelor diferențiale .

Derivatele gradate ale superalgebrelor (adică algebrele gradate) sunt adesea numite superderivate .

Note

  1. Ritt, Joseph Fels (1950). Algebră diferențială. New York: AMS Coloquium Publications (volumul 33).
  2. Kolchin, ER (1985), Grupuri algebrice diferențiale , voi. 114, Pure and Applied Mathematics, Boston, MA: Academic Press , ISBN 978-0-12-417640-9 , < https://books.google.com/books?isbn=0124176402 > 

Vezi și

Literatură