OPERADORES DIFERENCIALES VECTORIALES

Un operador diferencial vectorial es un operador lineal que acta sobre campos

vectoriales definidos sobre una variedad diferenciables

El operador vectorial nabla es un operador matemtico que tiene carcter vectorial; sin
embargo, carece de algunas de las propiedades de las que gozan las magnitudes
vectoriales, como por ejemplo el mdulo.

En coordenadas cartesianas se expresar por

Sistema de coordenada cilndrica

Sistema de coordenadas esfricas

Ejemplos:
operadores diferenciales

Los libros de fsica e ingeniera estn repletos de operadores diferenciales que sirven
para formular ideas relativamente sencillas. Dos de los ms importantes son la
divergencia y el rotacional que actan sobre campos vectoriales en R 3 , es decir
sobre funciones F= (F1, F2, F3) que aplican puntos de tres coordenadas en vectores
de tres coordenadas. La divergencia de
Fse define como

El rotacional se define como un determinante formal

donde se supone que multiplicar por

ejemplo y y F3 significa hacer la derivada parcial F3/y y lo mismo con las otras
variables. Adems, en el resultado debemos interpretar los coeficientes de i, j y k como
la primera, la segunda y la tercera coordenadas, respectivamente. Desarrollando el

determinante se obtiene:

pero esta frmula es ms difcil de memorizar. Recordando que el gradiente es el

vector formado por las derivadas parciales y se representa como f, no debiera resulta
extrao que en muchos textos se escriba Fen lugar de div Fy Fen lugar de rot
F.
Una propiedad del rotacional muy importante en Fsica es que es capaz de detectar
los gradientes, en el sentido de que, al menos en pequeos entornos, si rot F = 0

entonces existe una funcin f, llamada potencial, que verifica f = F. Como el nombre
sugiere, esta funcin est relacionada con la energa potencial. Recprocamente, si se
toma F = f, entonces rot F = 0. La segunda notacin introducida vuelve a ser muy
sugestiva porque dice algo as como que es nulo. Los campos que cumplen F= f
se llaman conservativos, sobre todo en Fsica.

transformacin de coordenadas.

La transformacin de coordenadas de un vector de posicin r = (x, y, z) expresado en

coordenadas cartesianas a las nuevas coordenadas {u, v, w} se lleva a cabo mediante
las ecuaciones de transformacin:

u = u(x, y, z) v = v(x, y, z) w = w(x, y, z).

Tambin es posible realizar la transformacin inversa:

x = x(u, v, w) y = y(u, v, w) z = z(u, v, w).

Frecuentemente es de inters utilizar un sistema de coordenadas diferente a las

rectangulares para campos escalares, f(u, v, w), y vectoriales, F = fu(u, v, w)eu +
fv(u, v, w)ev + fw(u, v, w)ew, donde {eu, ev, ew} es un conjunto de vectores base
en el sistema de coordenadas {u, v, w}. Mediante la regla de la cadena, se obtienen las
siguientes expresiones para operadores diferenciales en sistemas de coordenadas
ortogonales:

A partir del vector de posicin r = (x, y, z) y las ecuaciones de transformacin (2), se

obtienen los coeficientes mtricos (tambin llamados factores de escala) y los vectores
base en el nuevo sistema de coordenadas:

El Jacobiano.

En calculo vectorial, se llama jacobiano o determinante jacobiano al determinante de

la matriz jacobiana. Tanto la matriz jacobiana como el determinante jacobiano reciben
su nombre en honor al matemtico Carl Gustav Jacobi.

La matriz jacobiana es una matriz formada por las derivadas parciales de primer
orden de una funcin. Una de las aplicaciones ms interesantes de esta matriz es la
posibilidad de aproximar linealmente a la funcin en un punto. En este sentido, el
jacobiano representa la derivada de una funcin multivariable.

Funcin Vectorial.

Supongamos es una funcin que va del espacio euclideo n-dimensional a otro

espacio eucldeo m-dimensional. Esta funcin est determinada por m funciones
escalares reales:

Cuando la funcin anterior es diferenciable, entonces las derivadas parciales de

estas m funciones pueden ser organizadas en una matriz m por n, la matriz jacobiana
de F es:

Esta matriz es notada de diversas maneras:

Ntese que la fila, i-sima fila coincidir dada con el gradiente de la funcin yi, para i =
1,...,m.

Si p es un punto de Rn y F es diferenciable en p, entonces su derivada est dada

por JF(p). En este caso, la aplicacin lineal descrita por JF(p) es la mejor aproximacin
lineal de F cerca del punto p, de esta manera:

Para x cerca de p. O con mayor precisin:

Ejemplo. La matriz jacobiana de la funcin F : R3 R3 definida como

laplaciano

operador Laplaciano vectorial ,

nombrado as en honor a Pierre-Simon

Laplace, es un operador diferencial definido sobre un campo vectorial. El Laplaciano
vectorial es similar al Laplaciano escalar. Mientras que el Laplaciano escalar acta, se
aplica sobre campos escalares y devuelve, da como resultado, una cantidad escalar, el
Laplaciano vectorial se aplica sobre campos vectoriales y da como resultado otra
cantidad vectorial.
Un ejemplo del uso del Laplaciano vectorial son las ecuaciones de Navier-Stokes para
un flujo incompresible newtoniano

donde el trmino con el laplaciano vectorial del campo de velocidad representa

( 2 v) las tensiones viscosas en el fluido.

Otro ejemplo muy usado en Fsica es la ecuacin de ondas para el campo elctrico,
que puede ser derivada a partir de las ecuaciones del Maxwell. En particular, en
ausencia de cargas y corrientes, se tiene

Wronskiano

En matemtica, el wronskiano es un determinante introducido en 18121 por el

matemtico polaco Jzef Hoene-Wroski (1776-1853) y nombrado en 18822 por el
matemtico escocs Thomas Muir (1844 1934). Se utiliza en el estudio de
las ecuaciones diferenciales ordinarias, donde a veces puede ser utilizado para
mostrar que un conjunto de soluciones es linealmente independiente.

Dado un conjunto de n funciones que son (n-1)-veces derivables, f1, ..., fn, el
wronskiano W(f1, ..., fn) est dado por:

El wronskiano es el determinante de la matriz construida al colocar las funciones en el

primer rengln (o fila), la primera derivada de cada funcin en el segundo rengln, y
as hasta la derivada n-1, formando as una matriz cuadrada, algunas veces
llamada matriz fundamental.

En una ecuacin diferencial lineal de segundo orden, el wronskiano puede ser

calculado por computadora ms fcilmente por la identidad de Abel.

D'Alambertiano
Saltar a navegacin, bsqueda
El operador D'Alambertiano es la generalizacin del operador laplaciano a un espaci
o de Minkowski, o, ms engeneral, a un espacio de dimensin y mtrica arbitraria. Se

suele representar como , o simplemente como . Tcnicamente el D'Alambertiano

de una funcin escalar es el operador de Laplace-Beltrami asociado a lamtrica de dic

ho espacio, operando sobre dicha funcin.
Su definicin es, por analoga con el operador nabla ordinario de , el producto escal

ar del vector dederivadas parciales consigo mismo.

Esta forma manifiestamente covariante implica la invarianza de este operador frente a
transformaciones deLorentz.
En el espacio de Minkowski
La mtrica es la mtrica plana , y por tanto el

D'Alambertiano es

En un espacio curvo
Se puede hacer que el operador D'Alambertiano sea tambin invariante frente a una tr
ansformacin general decoordenadas si se define en relacin a la derivada covariante:

Ejemplos
Un ejemplo de utilizacin del D'Alambertiano sera la ecuacin de Klein-Gordon, que d

escribe campos escalaresde spin cero:

Obtenido de "D%27Alambertiano"
Categoras: Relatividad | Clculo vectorial | Operadores diferenciales

Introduccin a tensor

En un sentido prctico un tensor es objeto matemtico representado por un cierto

conjunto de componentes. Para definir un tensor es necesario partir de un espacio
fsico o variedad diferenciable que define cul es el espacio vectorial base V sobre el
que se construirn tensores de diferente tipo y orden. En mecnica clsica por ejemplo

el espacio es , aunque en la teora de la relatividad especial el espacio base es

isomorfo a y en la teora general de la relatividad es el espacio tangente a

una variedad lorentziana de cuatro dimensiones. En matemticas lo ms usual es

construir la teora sobre una variedad riemanniana o variedad pseudoriemanniana n-
dimensional

Producto Tensorial

l principal ejemplo de producto tensorial lo vimos en la entrada anterior para definir la

mtrica. Si tomamos dos vectores de un espacio de N grados de libertad, cada uno
de ellos covariante o contravariante a elegir, y desarrollamos todos los posibles
productos de sus componentes, obtenemos un tensor de dos grados de libertad, con
NxN componentes distintas (todas las combinaciones de productos). Segn la
naturaleza de los vectores que hayamos usado, podremos obtener tensores
covariantes, contravariantes o invariantes:

Podemos generalizar este concepto para formar as tensores con muchos ms grados
de libertad, como represento en los siguientes ejemplos:

Podemos tomarnos la libertad de denominar a distintos tensores por la misma letra

dentro de una ecuacin tensorial si el nmero de indices co(contra)variantes que
poseen los determina por completo. Es importante sealar de nuevo que las letras que
aparecen a un lado de la ecuacin tienen que volver a aparecer en el otro lado y en la
misma posicin (arriba o abajo), porque si no la notacin se volvera inconsistente

Transformaciones

Los tensores se transforman componente a componente segn vimos en la entrada

sobre la varianza, por lo que es fcil generalizar el concepto a un tensor p-q del

siguiente modo:
As pues, dado que las transformaciones lineales de coordenadas se representan por
tensores de rango 2 (matrices), podemos decir que un tensor p-q se transforma con p
tensores de transformacin covariantes y q tensores de transformacin
contravariantes. Concretamente, en el caso de un tensor 1-1:

, o en forma matricial:

Simetrizador:

Decimos que un tensor es simtrico en algunas de sus componentes si podemos

intercambiarlas obteniendo el mismo resultado. Un claro ejemplo de ello es el tensor
mtrico. Para indicar que unos conjuntos de componentes son simtricas las
rodeamos de un parntesis. Pongamos por caso un tensor 3-0 de dimensin 3

, donde hemos escrito todas

las posibles combinaciones de los nmeros 1, 2 y 3.
Si queremos simetrizar un determinado conjunto de componentes de un tensor, lo
habitual es, para cada combinacin de nmeros, sumar todas las posibles
combinaciones, y hacer la media aritmtica de las mismas. Tomemos por caso el
tensor:

Si lo simetrizamos, sus componentes sern:

, lo que expresamos como:

En esta nueva versin del tensor, todas las componentes son simtricas respecto a la
diagonal, tal y como en principio esperbamos que sucediese.
Si nos fijamos, al simetrizar nuestro tensor de 9 componentes hemos hecho que
realmente slo 6 componentes sigan siendo independientes.
Supongamos un tensor de rango 3 y de dimensin 3, sus combinaciones
independientes sern: 111, 112, 113, 122, 123, 133, 222, 223, 233 y 333. Cualquier
otra combinacin de los 3 nmeros estar repetida. Si nos fijamos, para garantizar que
no repetimos ninguna combinacin de ndices nos podemos ir asegurando de que a
medida que avanzamos hacia la derecha los nmeros pueden ser iguales o mayores,
pero nunca menores. As pues, el nmero de combinaciones para un tensor simtrico
de rango r y dimensin N ser la suma acumulada de posibles combinaciones de
cada ndice del tensor, bajo la condicin de no ser menor que el anterior:

, cuyos valores segn r y N son anlogos al nmero

combinatorio:
Antisimetrizador:

Decimos que un tensor es antisimtricos en algunas de sus componentes si al

intercambiar dos de ellas el tensor cambia de signo, al cambiar dos de ellas de nuevo
lo recupera, y as indefinidamente. Por ahora no hemos visto ningn tensor de estas
caractersticas, pero en futuras entradas veremos ejemplos de esto como el smbolo
de Levi-Civita o el tensor de campo electromagntico de Maxwell. Para indicar que un
conjunto de componentes son antisimtricas las rodeamos con un corchete, y de
nuevo, pongamos por caso un tensor 3-0 de dimensin 3:

Si ahora queremos antisimetrizar un determinado conjunto de componentes de un

tensor determinado el mtodo consiste en, para cada combinacin de nmeros, sumar
todas las posibles combinaciones cambiando de signo segn el criterio visto
anteriormente, y hacer la media aritmtica de las mismas. Tomemos por caso el tensor
del apartado anterior por comodidad. Si lo antisimetrizamos, sus componentes sern: