Álgebra diferencial

En matemáticas, el álgebra diferencial comprende el estudio de los anillos diferenciales, los campos diferenciales y las álgebras diferenciales con 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.dotado de una o más derivaciones, que son homomorfismos de grupos aditivossatisface la regla del producto de Leibniz: para cadade la regla del producto en entornos conmutativos puede ser falsa.es una multiplicación en el anillo, la regla del producto es la identidad dondesignifica la función que mapea un parLa 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 aen la que las derivaciones conmutan con la multiplicación escalar.es el homomorfismo de anillos al centro de A que define la multiplicación escalar en el álgebra, se tieneComo 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.∂ ( a x + b y ) = a , ∂ x + b , ∂ y .Una derivación en un álgebra de Lieque satiface la regla del producto de Leibniz: Para cualquierEste tipo de derivación se extiende al álgebra envolvente universal del álgebra de Lie en cuestión.Por ejemplo, en un cuerpo diferencial de característica ceroCualquier anillo es un anillo diferencial con respecto a la derivación trivial que mapea cualquier elemento del anillo a cero.tiene una estructura única como cuerpo diferencial, determinada al establecerlos axiomas de cuerpo junto con los axiomas para las derivaciones aseguran que la derivación es diferencial respecto aPor ejemplo, por conmutatividad de la multiplicación y la regla del producto de Leibniz se tiene queno tiene solución a la ecuación diferencialpero se expande a un campo diferencial mayor que incluye la funciónque sí tiene solución a esta ecuación.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.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.