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

1 Caso con una variable
2 Caso con varias variables
- 2.1 Descripción independiente de las coordenadas
- 2.2 Ejemplos
3 Véase también

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 D₂ deben ser diferenciables tantas veces como requiera la aplicación de D₁. 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

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

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 $C^\infty(\R^n;\R)$ constituye un enfomorfismo lineal.
El gradiente es un operador diferencial es un operador lineal del espacio de vectorial de funciones $C^1(\R^n;\R)$ en $C^0(\R^n;\R^n)$ .
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

operador diferencial lineal

Categoría:

Operadores diferenciales

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

Los diccionarios y las enciclopedias sobre el Académico

Operador diferencial

Contenido