Operador diferencial

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Una función armónica definida en un anillo . Funciones armónicas son exactamente las funciones que se encuentran en el núcleo del operador de Laplace, un operador diferencial importante.

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.

Definición[editar]

Supongamos que hay un mapa  A de un espacio de función  a otro espacio de funciones y una función para que  f sea la imagen de Es decir, . Un operador diferencial se representa como una combinación lineal, finitamente generada por  y sus derivados que contienen un grado más alto tal como

Donde el conjunto de enteros no negativos se llama un multi-indice son funciones de algún dominio abierto en el espacio n-dimensional y . La derivada anterior es una como funciones o, a veces, distribuciones o hiperfunciones y   o a veces,

.

Caso con una variable[editar]

El uso más común del operador diferencial es realizar la derivada en sí misma. Las notaciones comunes de este operador incluyen:

Las dos primeras se usan fundamentalmente cuando se quiere hacer explícita la variable respecto a la cual se toman las derivadas ordinarias, la última forma sólo se usa cuando por el contexto está claro cuál es la variable respecto a la que se deriva (sin necesidad de explicitarla). Las primeras derivadas se toman como arriba, pero para las derivadas de orden superior, las n-ésimas, son útiles los siguientes cambios:

Otro operador diferencial es el operador Θ, o operador theta, definido por

Esto a veces también se llama el operador de homogeneidad, porque sus funciones propias son los monomios en z:

En n variables el operador de homogeneidad está dado por

Como en una variable, los de Θ son los espacios de polinomios homogéneos.

Operadores lineales ordinarios[editar]

  • 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[editar]

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 izquierdo sobre 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: DxxD = 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:

Artículo principal: Del[editar]

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, el enrollamiento, la divergencia, y el Laplaciano de varios objetos.

Caso con varias variables[editar]

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[editar]

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:

Descripción independiente de las coordenadas[editar]

En la geometría diferencial y la geometría algebraica es con frecuencia conveniente tener una descripción independiente de las coordenadas de los operadores diferenciales entre dos grupos vectoriales. Sean E y F dos grupos de vectores sobre una variedad diferenciable M. Un operador es un mapeo de secciones, que se mapea el tallo o fibra de un fibrado de los gérmenes de en el punto a la fibra de F en x:

.

Se dice que un operador P es un operador diferencial de orden k-ésimo si los factores a través del chorro del fibrado . En otras palabras, existe un mapeo lineal de conglomerados vectoriales

tal que como en la siguiente composición:

.

Anillo de operadores diferenciales polinómicos[editar]

Anillo de polinomio univariante diferencial operadores[editar]

Si R es un anillo, ser el anillo polinomial no conmutativo sobre R en la variable D y X, e I el ideal bidireccional Generado por DX-XD-1, entonces el anillo de operadores diferenciales polinomiales univariados sobre R es el anillo cociente . Este es un anillo simple no conmutativo. Todos los elementos pueden escribirse de una manera única como una combinación R-lineal de monomios de la forma . Apoya un análogo de la división euclidiana de polinomios.

Los módulos diferenciales (para la derivación estándar) se pueden identificar con módulos sobre

Anillo de operadores diferenciales polinómicos multivariantes[editar]

Si R es un anillo, ser el anillo polinomial no conmutativo sobre R en las variables y I el ideal de dos caras generado por los elementos para todos donde es Kronecker delta, entonces el anillo de operadores diferenciales polinomiales multivariantes sobre R es el anillo cociente

Este es un anillo simple no conmutativo. Cada elemento se puede escribir de una manera única como una combinación R-lineal de monomios de la forma

Coordinate-independentdescription [dt[editar]

En geometría diferencial y geometría algebraica a menudo es conveniente tener una descripción independiente de coordenadas de operadores diferenciales entre dos haces vectoriales. Sea E y F dos haces vectoriales sobre un múltiple diferenciable M. Se dice que un mapeo R-lineal de secciones P: Γ (E) → Γ (F) es un operador diferencial lineal de orden k si factoriza a través del haz de chorro Jk (E). En otras palabras, existe un mapeo lineal de haces vectoriales

Tal que

Donde jk: Γ (E) → Γ (Jk (E)) es la prolongación que se asocia a cualquier sección de E su k-jet.

Esto sólo significa que para una sección dada de E, el valor de P (s) en un punto x ∈ M está completamente determinado por el comportamiento infinitesimal de orden k de s en x. En particular, esto implica que P (s) (x) está determinada por el germen de s en x, que se expresa diciendo que los operadores diferenciales son locales. Un resultado fundamental es el teorema de Peetre que muestra que lo contrario también es cierto: cualquier operador local (lineal) es diferencial.

Relación al álgebra conmutativa e[editar]

Una descripción equivalente, pero puramente algebraica, de los operadores diferenciales lineales es la siguiente: un mapa lineal R lineal P es un operador diferencial lineal de orden k, si para cualquier función lisa k + 1 tenemos

Aquí el corchete  se define como el conmutador

Esta caracterización de los operadores diferenciales lineales muestra que son mapeos particulares entre módulos sobre un álgebra conmutativa, permitiendo que el concepto sea visto como una parte del álgebra conmutativa.

Ejemplos[editar]

  • En aplicaciones a las ciencias físicas, los operadores como el operador de Laplace juegan un importante papel para escribir y solucionar ecuaciones diferenciales en derivadas parciales.
  • La divergencia es un operador diferencial es un operador lineal en el espacio de vectorial de funciones constituye un endomorfismo lineal.
  • El gradiente es un operador diferencial es un operador lineal del espacio de vectorial de funciones en .
  • En la geometría diferencial los operadores de derivada exterior y derivada de Lie tienen un significado intrínseco.
  • En álgebra abstracta el concepto de derivación significa que los operadores diferenciales pueden seguir definidos, aún en ausencia de los conceptos de cálculo basados en la geometría.

Véase también[editar]