Operador diferencial

En matemáticas, un operador diferencial es un operador lineal definido como una función

del operador de diferenciación. Ayuda, como una cuestión de notación, considerar a
la diferenciación como una operación abstracta, que acepta una función y regresa otra.

Operadores lineales ordinarios

 El uso y la creación de la notación para la derivada k-ésima se debe a Oliver

Heaviside, quien consideraba los operadores diferenciales lineales ordinarios de la forma:

Donde:

son funciones definidas sobre el dominio .

denota a las funciones diferenciables con continuidad en el dominio

denota a las funciones continuas en el mismo dominio.

en su estudio de las ecuaciones diferenciales.

 La derivada simple es, como se ha dicho, un operador diferencial lineal sobre

el conjunto de funciones reales de variable real.
 Una ecuación diferencial ordinaria se puede expresar mediante un operador

lineal en la forma , donde es la función incógnita.

Propiedades de los operadores diferenciales

 La diferenciación es lineal, i.e.

en donde f y g son funciones y a es una constante.

 Cualquier polinomio en D con funciones como coeficientes es también un

operador diferencial. También se pueden componer operadores
diferenciales con la regla

 Esta última propiedad dota al conjunto de los operadores lineales, sobre un

cierto espacio de funciones reales, de estructura de espacio vectorial

sobre y de módulo izquierdosobre el mismo conjunto de funciones.

 Eso último implica a su vez que el conjunto de operadores constituyen
un álgebra asociativa.

 Se requiere de algo de cuidado: primero, cualesquiera coeficientes de

función en el operador D2 deben ser diferenciables tantas veces como
requiera la aplicación de D1. Para obtener un anillo de dichos operadores
se debe suponer que se utilizan derivadas de todos los órdenes. Segundo,
este anillo no debe ser conmutativo: un operador gD no es el mismo en
general que Dg. De hecho se tiene por ejemplo la relación básica
en mecánica cuántica: Dx − xD = 1.

 El subanillo de operadores que son polinomios en D con coeficientes

constantes es, en contraste, conmutativo. Puede ser caracterizado de otra
forma: consiste en los operadores de traslación invariantes.
Operador inverso[editar]
Dado un operador diferencial lineal sobre un espacio de funciones reales de
una sola variable real con condiciones de contorno homogénea, en el que
todas las funciones que intervienen son continuas, existe un operador inverso
que es un operador integral.
Dicho operador inverso vienen dado por la función de Green. Explicitémoslo
considerando una ecuación diferencial de orden n sin constante :

En este caso existe un operador integral dado por:

Tal que se cumple:

Operador Del o Nabla

El operador diferencial del, también llamado operador nabla, es un importante
operador diferencial vectorial. Aparece frecuentemente en la física en lugares
como la forma diferencial de las ecuaciones de Maxwell. En coordenadas
cartesianas tridimensionales, del se define:

Del se utiliza para calcular el gradiente de campos escalares; el rotacional y la

divergencia de campos vectoriales; y el Laplaciano tanto de campos escalares
como de campos vectoriales.

Caso con varias variables[

Análogamente al caso de una variable, cuando se consideran derivadas
respecto a variables diferentes las derivadas parciales pueden escribirse como:
Además con derivadas parciales, se pueden hacer las mismas construcciones
que en el caso de una variable. La derivación con respecto a variables distintas
da como lugar a operadores que conmutan (ver teorema de Clairaut).
Un operador lineal en derivadas parciales de orden n tiene la forma:

Uno de los operadores diferenciales que se ve con más frecuencia es

el operador laplaciano, que en coordenadas cartesianas se expresa

Si Ω es un dominio en Rn y P un operador diferencial en Ω, entonces el adjunto

de P se define en L2 (Ω) por la dualidad de la manera análoga:
Para todas las funciones L2 suaves f, g. Como las funciones suaves son densas
en L2, esto define el adjunto en un subconjunto denso de L2: P * es un operador
densamente definido.

Varias variables[
Si Ω es un dominio en Rn y P un operador diferencial en Ω, entonces el adjunto
de P se define en L2 (Ω) por la dualidad de la manera análoga: