Teoria diferencial de Galois

De Viquipèdia

En matemàtiques, les primitives de certes funcions elementals no es poden expressar com a funcions elementals. Un exemple clàssic de funció d'aquest tipus és , la primitiva de la qual és (tret d'una constant) la funció error, que es troba habitualment en estadística. Altres exemples són i x^x.

Cal dir que la noció de funció elemental és merament una qüestió de convencions. Es pot decidir d'afegir la funció error a la llista de funcions elementals i, amb aquesta nova llista, la primitiva de és elemental. Ara bé, no importa lo llarga que es faci la llista de funcions elementals, sempre hi haurà funcions a la llista tals que les seves primitives no hi seran.

La maquinaria de la teoria diferencial de Galois permet determinar quan una funció elemental té o no té una primitiva que es pot expressar com una funció elemental. La teoria diferencial de Galois és una teoria que es basa en el model de la teoria de Galois. Mentre que la teoria algebraica de Galois estudia les extensions d'un cos algebraic, la teoria diferencial de Galois estudia les extensions dels cossos diferencials, es a dir cossos amb un operador derivació, D. La major part de la teoria diferencial de Galois és paral•lela a la teoria algebraica de Galois. Una diferència entre les dues construccions és que els grups de Galois en la teoria diferencial de Galois tendeixen a ser matrius grups de Lie, en comparació amb els grups finits que sovint es troben en la teoria algebraica de Galois.

Taula de continguts 1 Definicions 2 Exemple 3 Teorema basic 4 Enllaços externs 5 Vegeu també

[edita] Definicions

Per a qualsevol cos diferencial F, hi ha un subcos

Con(F) = {f de F | Df = 0},

anomenat les constants de F. Donats dos cossos diferencials F i G, G es diu una extensió logarítmica de F si G és una extensió transcendental simple de F tal que

Dt = Ds/s per algun s de F.

Això té la forma d'una derivada logarítmica. Intuïtivament, es pot veuret com el logaritme d'algun element s de F, en aquest cas, la condició és anàloga a la regla de la cadena ordinària. Però cal recordar que F no està necessàriament equipat amb un únic logaritme; es podrien afegir moltes extensions "pseudo-logarítmiques" a F. De forma semblant, una extensió exponencial és una extensió transcendental simple que satisfà

Dt = tDs.

Amb la prevenció anterior en ment, aquest element es pot veure com un exponencial de un element s de F. Finalment, es diu que G és una 'extensió diferencial elemental de F si hi ha una cadena finita de subcossos des de F fins a G on cada extensió de la cadena és o bé algebraica, o bé logarítmica, o bé exponencial.

[edita] Exemple

Com a exemple, el cos C(x) de les funcions racionals d'una sola variable, té un operador derivada donat per la derivada habitual respecte d'aquesta variable. Les constants d'aquest cos són precisament els nombres complexos C.

[edita] Teorema basic

Se suposa que F i G són cossos diferencials, amb Con(F) = Con(G), i que G és una extensió diferencial elemental de F. Sian a de F, y de G, i se suposa que Dy = a (en paraules, se suposa que G conté una primitiva de a). Llavors existeix c₁, ..., c_n de Con(F), u₁, ..., u_n, v de F tal que

En altres paraules, les úniques funcions que tenen "primitives elementals" (es a dir primitives que pertanyen, en el pitjor dels cassos, a una extensió diferencial elemental de F) són aquelles que es poden escriure d'aquesta forma que prescriu el teorema. Així, a nivell intuïtiu, el teorema estableix que les úniques primitives elementals són les "funcions simples" més un nombre finit de logaritmes de funcions "simples".

[edita] Enllaços externs

• Differential Galois Theory, M. van der Put and M. F. Singer

[edita] Vegeu també

• Algorisme de Risch