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 (al estilo de una función de orden superior de las ciencias de la computación).

Contenido

Caso con una variable

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

{d \over dx}, \quad D_x, \quad D\,

Las dos primeras se usan fundamentalmente cuando se quiere hacer explícitca la variable respecto a la cual se toman las derivadas ordinarias, la última forma sólo se usa cuando por el contexto está claro cual 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:

{d^n \over dx^n}, \quad D^n_x, \quad D^n\,

Operadores lineales ordinarios

  • El uso y la creación de la notación D se debe a Oliver Heaviside, quien consideraba los operadores diferenciales lineales ordinarios de la forma:

\mathcal{L} = \sum_{k=0}^n a_k(x)D^k(\cdot)

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 \mathcal{L}y = f, donde y\, es la función incógnita.

Propiedades de los operadores diferenciales

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

D (f+g) = (Df) + (Dg), \qquad D (af)  = a (Df)

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

D_1\circ D_2 (f) = D_1(D_2(f))

  • Esta última propiedad dota al conjunto de los operadores lineales, sobre un cierto espacio de funciones reales, de estructura de espacio vectorial sobre \R y de modulo 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

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:

\begin{cases} \mathcal{L}\{y(x)\} = f(x) & y(x)\in \mathcal{D}\\
\mathcal{D} = \{z\in C^1(\R)|\sum_{j=0}^n a_{ij}D^j(z)=b_i\} & i\in \{0,\dots,n\}
\end{cases}

En este caso existe un operador integral \mathcal{K} dado por:

y(x) = \mathcal{K}\{f(x)\} = \int_{-\infty}^{+\infty}G(\bar{x},x)f(x) d\bar{x}

Tal que se cumple:

\mathcal{K\circ L}\{z\} = \mathcal{L\circ K} \{z\} = z(x), \quad \forall z\in\mathcal{D}

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:

{\part \over \part x_i} = \part_{x_i} = \part_i,
\qquad {\part^n \over \part x_{i_1}\dots\part x_{i_n}} = \part^n_{x_{i_1},\dots,x_{i_n}} =
\part^n_{i_1,\dots,i_n}

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:

\mathcal{L} = \sum_{k=0}^n a_{i_1\dots i_k}(x)\part_{i_1\dots i_k}^k(\cdot)

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

\Delta=\sum_{k=1}^n {\partial^2\over \partial x_k^2}

Descripción independiente de las coordenadas

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 M. Un operador es un mapeo de secciones, P:\Gamma(E)\rightarrow\Gamma(F) \,\! que se mapea el tallo o fibra de un fibrado de los gérmenes de \Gamma(E) \,\! en el punto x\in M \,\! a la fibra de F en x:

P:\Gamma_x(E)\rightarrow F_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 J^k(E) \,\!. En otras palabras, existe un mapeo lineal de conglomerados vectoriales

i_P:J^k(E)\rightarrow F \,\!

tal que P=i_P\circ j^k como en la siguiente composición:

P:\Gamma_x(E)\rightarrow J^k(E)_x\rightarrow F_x \,\!.

Ejemplos

Véase también

  • operador diferencial lineal

Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Operador diferencial — En matemáticas, un operador diferencial es un operador lineal definido como una fució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… …   Enciclopedia Universal

  • Operador diferencial vectorial — Un operador diferencial vectorial es un operador lineal que actúa sobre campos vectoriales definidos sobre una variedad diferenciable. Ejemplos Operador rotacional Operador gradiente Operador divergencia Operador laplaciano Categorías:… …   Wikipedia Español

  • Diferencial — Saltar a navegación, búsqueda El término diferencial tiene varios significados: Diferencial de un automóvil Diferencial eléctrico Diferencial (cálculo) Ecuación diferencial Diferencial de una función Geometría diferencial Operador diferencial… …   Wikipedia Español

  • Operador laplaciano — En cálculo vectorial, el operador laplaciano o laplaciano es un operador diferencial elíptico de segundo orden, denotado como Δ, relacionado con ciertos problemas de minimización de ciertas magnitudes sobre un cierto dominio. El operador tiene… …   Wikipedia Español

  • Diferencial — ► adjetivo 1 De la diferencia. 2 MATEMÁTICAS Se aplica a la cantidad que es infinitamente pequeña. ► sustantivo masculino 3 MECÁNICA Mecanismo de un automóvil que permite transmitir a una rueda un movimiento igual a la suma o a la diferencia de… …   Enciclopedia Universal

  • Operador — En matemáticas, el término operador puede usarse con varios significados. Algunas veces, un operador es un símbolo matemático que indica que debe ser llevada a cabo una operación especificada[1] sobre un cierto número de operandos (número,… …   Wikipedia Español

  • Operador Sobel — El operador Sobel es utilizado en procesamiento de imágenes, especialmente en algoritmos de detección de bordes. Técnicamente es un operador diferencial discreto que calcula una aproximación al gradiente de la función de intensidad de una imagen …   Wikipedia Español

  • Operador laplaciano — En cálculo vectorial, el operador laplaciano o laplaciano es un operador diferencial igual a la suma de todas las segundas derivadas parciales no mixtas dependientes de una variable. Corresponde a div (grad φ), de donde el uso del símbolo del… …   Enciclopedia Universal

  • Operador escalera — En álgebra lineal, Analisis funcional y en sus aplicaciones a la mecánica cuántica, un operador de subida o de bajada (también conocidos como operadores escalera) es un operador que aumenta o disminuye el autovalor de otro operador. En mecánica… …   Wikipedia Español

  • Cálculo diferencial — Saltar a navegación, búsqueda El cálculo diferencial, un campo de las matemáticas, es el estudio de cómo cambian las funciones cuando sus variables cambian. El principal objeto de estudio en el cálculo diferencial es la derivada. Una noción… …   Wikipedia Español


Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.