Operador diferencial

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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.

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:

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

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:

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

Operadores lineales ordinarios[editar]

  • El uso y la creación de la notación \scriptstyle D^k para la derivada k-ésima se debe a Oliver Heaviside, quien consideraba los operadores diferenciales lineales ordinarios de la forma:

\begin{cases} \mathcal{L}:C^1(\Omega)\to C^0(\Omega) & \Omega\subset\R \\
\mathcal{L}(f)(x) = \sum_{k=0}^n a_k(x)D^k f(x) & x\in \Omega
\end{cases}

Donde:

a_k(x)\, son funciones definidas sobre el dominio \Omega\,.
C^1(\Omega)\, denota a las funciones diferenciables con continuidad en el dominio \Omega\,
C^0(\Omega)\, 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 \mathcal{L}y = f, donde y\, es la función incógnita.

Propiedades de los operadores diferenciales[editar]

  • 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 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 :

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

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, que en coordenadas cartesianas se expresa

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

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

Véase también[editar]