Álgebra diferencial

En matemáticas, el álgebra diferencial comprende el estudio de los anillos diferenciales, los campos diferenciales y las álgebras diferenciales son anillos, campos, y álgebras dotadas de un número finito de derivaciones, que son funciones unarias que son lineales y satisfacen la regla del producto de Leibniz. Un ejemplo natural de campo diferencial es el campo de las funciones racionales en una variable sobre los números complejos, donde la derivación es la diferenciación con respecto a

Álgebra diferencial se refiere también al área de las matemáticas que consiste en el estudio de estos objetos algebraicos y su uso en el estudio algebraico de las ecuaciones diferenciales. El álgebra diferencial fue introducida por Joseph Ritt en 1950.[1].

Anillo diferencial

Un anillo diferencial es un anillo dotado de una o más derivaciones, que son homomorfismos de grupos aditivos

tales que cada derivación satisface la regla del producto de Leibniz:

para cada Nótese que el anillo puede ser no conmutativo, por lo que la forma algo estándar de la regla del producto en entornos conmutativos puede ser falsa. Si es una multiplicación en el anillo, la regla del producto es la identidad

donde significa la función que mapea un par al par

Obsérvese que un anillo diferencial es un álgebra diferencial (no necesariamente graduada) .

Cuerpo diferencial

Un cuerpo diferencial es un cuerpo conmutativo dotado de alguna forma de derivación. La conocida fórmula para diferenciar fracciones:

se deduce de la regla del producto. En efecto, debemos tener

Por la regla del producto,

Resolviendo con respecto a obtenemos la identidad buscada.

Si es un cuerpo diferencial, entonces el cuerpo de constantes de es

Un álgebra diferencial sobre un cuerpo es una -álgebra en la que las derivaciones conmutan con la multiplicación escalar. Es decir, para todo y

Si es el homomorfismo de anillos al centro de A que define la multiplicación escalar en el álgebra, se tiene

Como en el caso anterior, la derivación debe obedecer a la regla de Leibniz sobre la multiplicación del álgebra, y debe ser lineal sobre la suma. Así, para todo y

y

Derivación en un álgebra de Lie

Una derivación en un álgebra de Lie es una aplicación lineal que satiface la regla del producto de Leibniz:

Para cualquier es una derivación en resultado que se sigue de la identidad de Jacobi. Cualquier derivación de ese tipo se llama derivación interna. Este tipo de derivación se extiende al álgebra envolvente universal del álgebra de Lie en cuestión.

Ejemplos

Si es un álgebra unitaria, entonces ya que Por ejemplo, en un cuerpo diferencial de característica cero los racionales son siempre un subcuerpo del cuerpo de constantes de .

Cualquier anillo es un anillo diferencial con respecto a la derivación trivial que mapea cualquier elemento del anillo a cero.

El cuerpo tiene una estructura única como cuerpo diferencial, determinada al establecer los axiomas de cuerpo junto con los axiomas para las derivaciones aseguran que la derivación es diferencial respecto a Por ejemplo, por conmutatividad de la multiplicación y la regla del producto de Leibniz se tiene que

El cuerpo diferencial no tiene solución a la ecuación diferencial

pero se expande a un campo diferencial mayor que incluye la función que sí tiene solución a esta ecuación. Un campo diferencial con soluciones a todos los sistemas de ecuaciones diferenciales se llama un cuerpo diferencialmente cerrado. Tales campos existen, aunque no aparecen como objetos algebraicos o geométricos naturales. Todos los campos diferenciales (de cardinalidad acotada) se incrustan en un gran campo diferencialmente cerrado. Los campos diferenciales son los objetos de estudio de la teoría diferencial de Galois.

Ejemplos naturales de derivaciones son las derivadas parciales, las derivadas de Lie, la derivada de Pincherle y el conmutador respecto a un elemento de un Álgebra.

Referencias

  1. Ritt, Joseph Fels (1950). Álgebra diferencial. AMS Colloquium Publications 33. American Mathematical Society. ISBN 978-0-8218-4638-4.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.