DIVERGENCIA

INSTITUTO TECNOLGICO DEL ISTMO 1
MECANICA DE LOS MEDIOS CONTINUOS

1.1.- NOTACIN INDICIAL.

La notacin indicial es una notacin abreviada que se utiliza para facilitar la
escritura de ecuaciones. En el que se suprime el smbolo de sumatorio
representado con la letra griega sigma - .
El convenio fue introducido por Albert Einstein en 1916. Se aplica
en matemticas en especial a los clculos realizados en lgebra lineal destinados
a la fsica. El convenio se aplica slo a sumatorias sobre ndices repetidos. El
convenio se usa especialmente con tensores donde es muy frecuente la operacin
de suma sobre ndices repetidos y sera muy fatigoso escribir explcitamente los
signos de sumatorios.
Se utilizan subndices(o superndices) numricos para distinguir tanto los vectores
de cada base como las componentes de los mismos. As, la base [ i, j ,k] se
denota adicionalmente [ e
1
, e
2,
e
3
]; y las componentes de un vector v se denotan
(v
x
, v
y
, v
z
). En notacin indicial, los ndices numricos son representados
mediantes ndices variables, denotados con letras minsculas, como: i, j, k,m, n,
q.., que son variables naturales , valoradas en el conjunto [1,2,3] en el espacio. Al
interpretar una expresin escrita en notacin indicial, se conviene en que cada
ndice tome siempre sus tres valores (en el espacio; dos, en el plano).
De esta manera, bastara indicar la base mediante [e
i
] para entender [e
1
, e
2
, e
3
];
bastara tambin decir vector v de componente v
i
, para entender v
1
, v
2
, v
3.

Un ndice utilizado en la notacin de Einstein puede aparecer en forma de
producto hasta dos veces en mismo trmino de una expresin, por lo que las
siguientes expresiones son vlidas:

Y las siguientes expresiones no se encuentran definidas o son invlidas:

En clculo de tensores es comn utilizar una de las ocurrencias como un
subndice y la otra como un superndice. Por ejemplo, en la siguiente expresin en
.


Existen dos tipos de subndices:
ndice libre: Es aquel que solo aparece solo una vez y toma los valoras 1,2 y 3.El
nmero de trminos que existe en la expresin 3
n
en donde n es el nmero de
ndices libres.
Podemos decir el resto de los ndices, que no se repiten en un mismo trmino de
la expresin, son llamados ndices libres.

ndice mudo: Aparece dos veces e indica una suma de 1 a 3 lo que constituye el
convenio de la suma de Einstein.
Como regla general, un subndice no puede aparecer repetido ms de 2 veces en
un monomio. As, la expresin A
ijj
est escrita correctamente en notacin Indicial.
El subndice i es el ndice libre e indica que dicha expresin representa un
conjunto de 3
1
=b 3 cantidades (por ejemplo un vector). El subndice j, que aparece
dos veces, es el ndice mudo y representa una suma desde j= 1 a j= 3.

Sin embargo, la expresin A
iii
no es correcta puesto que el subndice i aparece 3
veces.
Es importante sealar que la letra con la que se representen los subndices
mudos es indiferente, siempre y cuando respeten las reglas mencionadas, por lo
que:
A
ijj
=

A
ikk
= A
ill
La diferenciacin con respecto a las tres variables independientes X
1,
X
2
y X
3
se
indica mediante la coma.

A
ij
= a A
i
A X
j
Esta expresin est constituida por 3
2
= 9 cantidades, puesto que tanto i como j
son ndices libres.
Puede decirse asi que el algoritmo matricial clsico fila x columna se formaliza en
trminos indiciales mediante una ecuacin con dos ndices libres (fila y columna
del producto) y un ndice mudo o contrado que regula las operaciones a efectuar.
En notacin indicial se habla de contraer ndices , y puede decirse que el
producto de posfactor, queden contrados los dos ndices contiguos. En las
aplicaciones fsicas, todas las matrices que se manejan son de las mismas
dimensiones, n x n, ya sea n=2 n=3.



El determinante de una matriz cuadrada se presenta de un modo natural al
despejar las incgnitas en un sistema de Cramer (compatible y determinado) y se
define como un numero asociado a la matriz, que obtenemos sumando todos los
productos de n elementos de la misma, formados tomando un solo elementos de
la misma, formados tomando un solo elemento de cada fila y uno solo cada
columna sea de la misma o de distinta paridad.
En el caso 3x3 resulta difcil de calcular, por medio de cualquiera de los algoritmos
clsicos para desarrollarlo.

El algoritmo mas general se conoce como desarrollo por los elementos de una fila
o columna y tratamos ahora de expresarlo indicialmente. Se tiene:

Desarrollamos los determinantes 2x2 ordenando los factores cuidando que los
ndices de columna siempre sean 1,2, 3 en cada trmino, es decir:
= a
11
(a
22
a
33
- a
32
a
23
) - a
21
(a
12
a
33
- a
32
a
13
) + a
31
(a
12
a
23
- a
22
a
13
)=

De esta manera vemos que los tres ndices de columna, de los tres factores de
cada trmino, forman siempre la permutacin natural [123], mientras que los
ndices de fila forman una permutacin de dicha ordenacin, que es caracterstica
(nica) para cada trmino.
Adems, el signo que afecta a este es la signatura de la permutacin que forman
sus ndices de fila. Es decir, un sumando genrico tiene la forma:

=
ijk
a
i1
a
j2
a
k3
La repeticin de los ndices puede usarse adems para entender directamente lo
anterior como un resumen de la de los seis trminos.


1.2 OPERACIONES DE TENSORES.
Los fsicos e ingenieros, especialmente en tratamientos informales de los
tensores, consideran que un tensor es simplemente una magnitud fsica multi-
ndice dada por un conjunto de nmeros reales o "componentes" del tensor que se
transforman de "manera adecuada". Es decir, si en un determinado sistema de
referencia una magnitud tensorial est dada por un conjunto de
componentes al cambiar a un sistema de referencia diferente tendr
componentes con valores numricos diferentes siendo la relacin entre
las componentes de la magnitud en uno y otro sistema de referencia la siguiente:

donde en la ltima expresin se ha usado el convenio de sumacin de Einstein y
adems:
es la matriz del cambio de base de coordenadas
es la matriz del cambio de base inverso, que es la matriz traspuesta de la
anterior.
Las magnitudes escalares de la fsica en general son tensores de orden cero, y
varios de los tensores fsicos importantes (tensor de inercia, tensor de tensiones,
etc.) son tensores de segundo orden.
COMO APLICACIN MULTILINEAL.
Dado un espacio vectorial de dimensin sobre un cuerpo , recordemos que
su espacio dual es el conjunto de todas las aplicaciones lineales .
El espacio dual es un espacio vectorial de la misma dimensin que . Nos
referiremos normalmente a los elementos de y
de como vectores y covectores, respectivamente.
Un tensor es una aplicacin multilineal, es decir, una aplicacin lineal en cada uno
de sus argumentos, de la forma:

De este modo, un tensor asocia
cada covectores y vectores , un escalar

Llamamos tipo del tensor al par .



USANDO PRODUCTO TENSORIAL DE ESPACIOS VECTORIALES.
En el enfoque ms matemtico del clculo tensorial se considera un espacio
vectorial V y se considera su espacio dual V*. Si es una base del espacio
vectorial V y la correspondiente base dual de V*, se construye el espacio
vectorial producto de r copias de V y s copias de V*, es
decir, o producto tensorial de espacios vectoriales. Un tensor es
un elemento de dicho espacio vectorial:

Las propiedades de transformacin de los tensores se siguen de las propiedades
de transformacin de los vectores de la base de manera trivial.
Ejemplos de tensores de distinto orden:
A los tensores se los puede clasificar por su orden, es decir el nmero de arreglos
que requiere para ser descrito. En general, si n es la dimensin del tensor
(dimensin del espacio vectorial sobre el que se construye) y r+s el orden, un
tensor requiere de componentes para ser descrito.
TENSORES DE ORDEN CERO: ESCALARES.
Como se dijo anteriormente, un escalar es una cantidad que requiere solo
un nmero real en cualquier sistema de coordenadas para ser descrito. Es decir
es invariante ante cualquier cambio de coordenadas en cualquier sistema. De esta
manera si es un escalar en un sistema de coordenadas y es el mismo escalar
en otro sistema de coordenadas entonces Un escalar es un tensor de
orden cero porque requiere un solo nmero para ser descrito: .
TENSORES DE ORDEN UNO: VECTORES Y COVECTORES.
En general, un vector requiere n componentes para ser descrito. En un espacio
tridimensional, un vector se define mediante tres componentes. La transformacin
de coordenadas de un vector de un espacio a otro se realiza mediante
una transformacin lineal. De esta manera, un vector es un tensor de orden uno
porque requiere n nmeros para definirlo.
Si tenemos un vector expresado por sus componentes en un sistema y en
otro sistema, la transformacin de coordenadas para que el vector se mantenga
invariante se puede expresar:

Donde es el coseno del ngulo entre el i-simo eje de coordenadas y el k-
simo.


TENSORES DE ORDEN DOS: MATRICES Y FORMAS CUADRTICAS.
Siguiendo la misma lgica, el siguiente elemento es el que requiere x
componentes para ser descrito. Se denomina tensor de orden dos al objeto,
normalmente representado por una matriz nxn, que representado en un sistema
de coordenadas como su transformacin invariante en otro sistema con
componentes es:

Donde es el coseno del ngulo entre el i-simo eje de un sistema con el l-
simo eje del otro sistema.
TENSORES DE ORDEN M GENERALIZADOS.
Finalmente, la generalizacin de los tipos anteriores viene dada por un elemento
que necesita coordenadas para ser especificado. Como generalizacin de las
transformaciones anteriores tenemos:

Donde son las componentes del tensor en un sistema de
coordenadas, son las componentes del mismo tensor en otros
coordenadas y los son los cosenos de los ngulos entre los -simos ejes
de un sistema y los -simos en el otro sistema.
Notacin y nomenclatura
COVARIANZA Y CONTRAVARIANZA.
El concepto de covarianza y contravarianza est arraigado en la descripcin de un
elemento en dos sistemas de coordenadas. Para simplificar su descripcin se
puede tomar a un vector en un espacio tridimensional. La posicin de un punto
arbitrario en este espacio puede ser expresado en trminos de tres
coordenadas y si es el vector posicin de ese punto
entonces en P existen dos conjuntos de vectores base:
y donde
En general, estos vectores no son unitarios ni forman una base ortogonal. Sin
embargo los conjuntos y son sistemas recprocos de vectores y por eso:

En el clculo tensorial es usual denotar al conjunto de vectores base como , el
cual lo diferencia de la base . Con esta notacin, la relacin de reciprocidad
anterior sera:


donde es la delta de Kronecker.
As, dadas dos bases y se puede escribir un vector general en trminos de
estas bases:

Los se los llama componentes contravariantes del vector y los se los llama
componentes covariantes. De igual manera, se los llama base contravariante
y se los llama base covariante.
CONVENIO DE SUMACIN DE EINSTEIN.
Existe una convencin para escribir tensores, conocida como convenio de
sumacin de Einstein. En esta notacin todo subndice que aparece dos veces en
cualquier trmino de una expresin indica que stos deben ser sumados sobre
todos los valores que ese ndice toma. Por ejemplo, en un caso tridimensional:
implica que
implica que

NOTACIN EN CLCULO EN VARIEDADES.
Otra notacin ampliamente usada en el clculo tensorial es la forma usada para
los vectores de la base. Cuando se hace clculo tensorial en una variedad
diferencial o superficie curva, el espacio bsico que sirve para definir las
magnitudes es el espacio tangente a dicha variedad en cada punto. Cuando se
emplean coordenadas curvilneas , dada la relacin isomrfica que existe
entre derivaciones sobre la variedad y el conjunto de elementos del espacio
tangente, se puede construir una base del espacio vectorial tangente formada por
las derivadas direccionales segn las direcciones dadas por las coordenadas; as
una base vectorial del espacio tangente en cada punto p viene dada por:

Por otra parte la base del espacio cotangente, que es el espacio dual del espacio
tangente, se puede expresar mediante la diferencial exterior de las coordenadas
consideradas como funciones reales sobre la variedad:


LGEBRA DE TENSORES.
Debido a que las operaciones de los tensores de orden cero (escalares), uno
(vectores) y dos (matrices) son conocidos, para los tensores se espera que solo se
generalicen algunas operaciones. El conjunto de todos los tensores p-veces
covariantes y q-veces contravariantes definidos sobre el espacio vectorial V se
denota como (algunos autores usan la notacin inversa ) forman un
espacio vectorial con la suma y la resta definidas como, ya que la
suma est bien definida para tensores de los mismos rdenes y ; as
su suma y resta estara dada por:

Este espacio vectorial es de dimensin donde es la dimensin del espacio
vectorial V.
Otro conjunto de operaciones importantes tienen que ver con el cambio de orden
de los ndices de un tensor. Si son las componentes de un tensor, de la
misma manera el conjunto formado por el intercambio de dos ndices, es
decir , tambin lo es. En trminos de esos intercambios de ndices pueden
identificarse subespacios vectoriales:
Se dice que el tensor es simtrico si el intercambio de cualquier par de
ndices no altera el tensor:
el conjunto de todos los tensores simtricos del
espacio forma un subespacio del mismo denotado
como
Se dice que el tensor es antisimtrico si el intercambio de cualquier par de
ndices altera el signo del tensor:
el conjunto de todos los tensores antisimtricos de
orden k de un espcio tensorial tambin forma un subespacio denotado
como es de dimensin
Por otra parte, un tensor arbitrario no es simtrico ni antisimtrico. Un tensor de
orden 2 siempre puede expresarse como la suma de un tensor simtrico ( ) y
uno antisimtrico ( ):
. Esto no es posible para
tensores de orden superior a 2.


PRODUCTO TENSORIAL Y PRODUCTO EXTERIOR.

Artculos principales: Producto tensorial y Producto exterior.
Dados dos tensores se puede definir entre ellos el llamado producto tensorial cuyo
resultado es un tensor de tipo ms complejo cuyas componentes pueden
obtenerse a partir de los tensores originales.
El producto de dos tensores es un tensor cuyo rango es la suma de los rangos
dados por los dos tensores. Este producto implica la multiplicacin ordinaria de los
componentes de un tensor y es llamado producto exterior.
Por ejemplo:

1.3.- MTODOS PARA EL CLCULO DE VALORES Y VECTORES PROPIOS.

En lgebra lineal, los vectores propios, autovectores o eigenvectores de
un operador lineal son los vectores no nulos que, cuando son transformados por el
operador, dan lugar a un mltiplo escalar de s mismos, con lo que no cambian su
direccin. Este escalar recibe el nombre valor propio, autovalor, valor
caracterstico o eigenvalor. A menudo, una transformacin queda completamente
determinada por sus vectores propios y valores propios. Un espacio
propio, autoespacio o eigenespacio es el conjunto de vectores propios con un
valor propio comn.
Las transformaciones lineales del espacio como la rotacin, la reflexin, el
ensanchamiento, o cualquier combinacin de las anteriores; en esta lista podran
incluirse otras transformaciones pueden interpretarse mediante el efecto que
producen en los vectores. Los vectores pueden visualizarse como flechas de una
cierta longitud apuntando en una direccin y sentido determinados.
Los vectores propios de las transformaciones lineales son vectores que, o no
se ven afectados por la transformacin o se ven multiplicados por un escalar, y
por tanto no varan su direccin.
El valor propio de un vector propio es el factor de escala por el que ha sido
multiplicado.
Un espacio propio es un espacio formado por todos los vectores propios del
mismo valor propio, adems del vector nulo, que no es un vector propio.
La multiplicidad geomtrica de un valor propio es la dimensin del espacio
propio asociado.
El espectro de una transformacin en espacios vectoriales finitos es el
conjunto de todos sus valores propios.



Por ejemplo, un vector propio de una rotacin en tres dimensiones es un vector
situado en el eje de rotacin sobre el cual se realiza la rotacin. El valor
propio correspondiente es 1 y el espacio propio contiene a todos los
vectores paralelos al eje. Como es un espacio de una dimensin, su multiplicidad
geomtrica es uno. Es el nico valor propio del espectro (de esta rotacin) que es
un nmero real.
Formalmente, se definen los vectores propios y valores propios de la siguiente
manera: Si A: V V es un operador lineal en un cierto espacio vectorial V, v es
un vector diferente de cero en V y c es un escalar tales que

Entonces decimos que v es un vector propio del operador A, y su valor propio
asociado es c. Observe que si v es un vector propio con el valor propio c entonces
cualquier mltiplo diferente de cero de v es tambin un vector propio con el valor
propio c. De hecho, todos los vectores propios con el valor propio asociado c junto
con 0, forman un subespacio de V, el espacio propio para el valor propio c.
Observe adems que un un espacio propio Z es un subespacio invariante de A,
es decir dado w un vector en Z, el vector Aw tambin pertenece a Z. espacio
propio Z es un subespacio invariante de A, es decir dado w un vector en Z, el
vector Aw tambin pertenece a Z.
Casos de interes espcial. Intuitivamente, para las transformaciones lineales del
espacio de dos dimensiones , los vectores propios son:
Rotacin: ningn vector propio de valores reales (existen en cambio pares
valor propio, vector propio complejos).

Reflexin: los vectores propios son perpendiculares y paralelos al eje de
simetra, los valores propios son -1 y 1, respectivamente.

Escalado uniforme: todos los vectores son vectores propios, y el valor
propio es el factor de escala.

Proyeccin sobre una recta: los vectores propios con el valor propio 1 son
paralelos a la lnea, vectores propios con el valor propio 0 son paralelos a la
direccin de la proyeccin.
Clculo de valores propios y vectores propios de matrices. Si se quiere
calcular los valores propios de una matriz dada y sta es pequea, se puede
calcular simblicamente usando el polinomio caracterstico. Sin embargo, a
menudo resulta imposible para matrices extensas, caso en el que se debe usar
un mtodo numrico.



Clculo simblico.

Una herramienta importante para encontrar valores propios de matrices cuadradas
es el polinomio caracterstico: decir que es un valor propio de A es equivalente a
decir que el sistema de ecuaciones lineales A v = v --> A v - v = 0
(Factorizando por v queda) (A - I) v = 0 (donde I es la matriz identidad) tiene una
solucin no nula v (un vector propio), y de esta forma es equivalente
al determinante:
( )
La funcin p() = ( )es un polinomio de pues los determinantes se
definen como sumas de productos. ste es el polinomio caracterstico de A: los
valores propios de una matriz son los ceros de su polinomio caracterstico.

Todos los valores propios de una matriz A pueden calcularse resolviendo la
ecuacin:

Si A es una matriz , entonces tiene grado y tiene como
mximo valores propios.
El teorema fundamental del lgebra dice que esta ecuacin tiene
exactamente races (ceros), teniendo en cuenta su multiplicidad. Todos los
polinomios reales de grado impar tienen un nmero real como raz, as que para n
impar toda matriz real tiene al menos valor propio real. En el caso de las matrices
reales, para par e impar, los valores propios no reales son pares conjugados.

Encontrando vectores propios. Una vez que se conocen los valores propios ,
los vectores propios se pueden hallar resolviendo el sistema de ecuaciones
homogneo:

Una forma ms sencilla de obtener vectores propios sin resolver un sistema de
ecuaciones lineales se basa en el teorema de Cayley-Hamilton que establece que
cada matriz cuadrada satisface su propio polinomio caracterstico. As,
si son los valores propios de A se cumple que

por lo que los vectores columna de son vectores propios
de .
Ejemplo de matriz sin valores propios reales. Un ejemplo de matriz sin valores
propios reales es la rotacin de 90 grados en el sentido de las manecillas del reloj:


Cuyo polinomio caracterstico es y sus valores propios son el par de
conjugados complejos i, -i. Los vectores propios asociados tampoco son reales.

Ejemplo
Considrese la matriz

que representa un operador lineal R R. Si se desea computar todos los
valores propios de A, se podra empezar determinando el polinomio caracterstico:

y porque p(x) = - (x - 2)(x - 1)(x + 1) se ve que los valores propios de A son 2, 1 y -
1. El teorema de Cayley-Hamilton establece que cada matriz cuadrada satisface
su propio polinomio caracterstico. Es decir:

Efectivamente, para el caso del valor propio 2, se puede comprobar que

De donde (1, 1, -1) es un vector propio asociado a 2.



CLCULO NUMRICO.

En la prctica, los valores propios de las matrices extensas no se calculan usando
el polinomio caracterstico. Calcular el polinomio resulta muy costoso, y extraer las
races exactas de un polinomio de grado alto puede ser difcil de calcular y
expresar: el teorema de Abel-Ruffini implica que las races de los polinomios de
grado alto (5 o superior) no pueden expresarse usndose simplemente races
ensimas. Existen algoritmos eficientes para aproximar races de polinomios, pero
pequeos errores en la estimacin de los valores propios pueden dar lugar a
errores grandes en los vectores propios. En consecuencia, los algoritmos
generales para encontrar vectores propios y valores propios son iterativos. La
manera ms fcil es el mtodo de las potencias: se escoge un vector aleatorio y
se calcula una secuencia de vectores unitarios:

, , , ...

Esta sucesin casi siempre converger a un vector propio correspondiente al
mayor valor propio. Este algoritmo es sencillo, pero no demasiado til
aisladamente. Sin embargo, hay mtodos ms populares, como la descomposicin
QR, que se basan en l.
1.4 GRADIENTE, DIVERGENCIA Y ROTACIONAL.

El gradiente normalmente denota una direccin en el espacio segn la cual se aprecia
una variacin de una determinada propiedad o magnitud fsica.
En otros contextos se usa informalmente gradiente, para indicar la existencia de
gradualidad o variacin gradual en determinado aspecto, no necesariamente relacionado
con la distribucin fsica de una determinada magnitud o propiedad.

DEFINICIN.

El gradiente de un campo escalar, que sea diferenciable en el entorno de un punto,
es un vector definido como el nico que permite hallar la derivada direccional en cualquier
direccin como:


Siendo un vector unitario y la derivada direccional de en la direccin de ,
que informa de la tasa de variacin del campo escalar al desplazarnos segn esta
direccin:

Una forma equivalente de definir el gradiente es como el nico vector que, multiplicado
por cualquier desplazamiento infinitesimal, da el diferencial del campo escalar:

Con la definicin anterior, el gradiente est caracterizado de forma unvoca. El gradiente
se expresa alternativamente mediante el uso del operador nabla:

Interpretacin del Gradiente

De forma geomtrica el gradiente es un vector que se encuentra normal a una
superficie o curva en el espacio a la cual se le esta estudiando, en un punto cualquiera,
llamese , , etctera. Algunos ejemplos son:
Considere una habitacin en la cual la temperatura se define a travs de un campo
escalar, de tal manera que en cualquier punto , la temperatura
es . Asumiremos que la temperatura no varia con respecto al tiempo.
Siendo esto as, para cada punto de la habitacin, el gradiente en ese punto nos
dar la direccin en la cual se calienta ms rpido. La magnitud del gradiente nos
dir cun rpido se calienta en esa direccin.
Considere una montaa en la cual su altura en el punto se define
como . El gradiente de H en ese punto estar en la direccin para la que
hay un mayor grado de inclinacin. La magnitud del gradiente nos mostrar cun
empinada se encuentra la pendiente.


Aproximacin lineal de una funcin.

El gradiente de una funcin f definida de R
n
a R caracteriza la mejor aproximacin lineal
de la funcin en un punto particular x
0
en R
n
. Se expresa as:

Donde es el gradiente evaluado en x
0
.
Propiedades.

El gradiente verifica que:
Es ortogonal a las superficies equiescalares, definidas por =cte..
Apunta en la direccin en que la derivada direccional es mxima.
Su mdulo es igual a esta derivada direccional mxima.
Se anula en los puntos estacionarios (mximos, mnimos y puntos de silla)
El campo formado por el gradiente en cada punto es siempre irrotacional, esto es,

Expresin en diferentes sistemas de coordenadas

A partir de su definicin puede hallarse su expresin en diferentes sistemas de
coordenadas.
En coordenadas cartesianas, su expresin es simplemente


En un sistema de coordenadas ortogonales, el gradiente requiere los factores de escala,
mediante la expresin

Para coordenadas cilndricas (h
= h
z
= 1, ) resulta

y para coordenadas esfricas (h
r
= 1, h
= r, )

Gradiente de un campo vectorial.

En un espacio eucldeo, el concepto de gradiente tambin puede extenderse al caso de
un campo vectorial, siendo el gradiente de un tensor que da el diferencial del campo al
realizar un desplazamiento

Este tensor podr representarse por una matriz , que en coordenadas cartesianas
est formada por las tres derivadas parciales de las tres componentes del campo
vectorial.

Ejemplo [editar]
Dada la funcin f(x,y,z) = 2x + 3y
2
sin(z) su vector gradiente es:


Aplicaciones en fsica.

El Gradiente posee innumerables aplicaciones en fsica, especialmente en
electromagnetismo y mecnica de fluidos. En particular, existen muchos campos
vectoriales que puede escribirse como el gradiente de un potencial escalar.
Uno de ellos es el campo electrosttico, que deriva del potencial elctrico

Todo campo que pueda escribirse como el gradiente de un campo escalar, se
denomina potencial, conservativo o irrotacional. As, una fuerza conservativa deriva de la
energa potencial como

Los gradientes tambin aparecen en los procesos de difusin que verifican la ley de Fick o
la ley de Fourier para la temperatura. As, por ejemplo, el flujo de calor en un material es
proporcional al gradiente de temperaturas

Siendo k la conductividad trmica.

DIVERGENCIA.

La divergencia de un campo vectorial mide la diferencia entre el flujo entrante y el
flujo saliente de un campo vectorial sobre la superficie que rodea a un volumen de control,
por tanto, si el campo tiene "fuentes" o "sumideros" la divergencia de dicho campo ser
diferente de cero.
Divergencia de un campo vectorial.
La divergencia de un campo vectorial es un campo escalar, y se define como el flujo del
campo vectorial por unidad de volumen:


donde S es una superficie cerrada que se reduce a un punto en el lmite. El
smbolo representa el operador nabla.
Esta definicin est directamente relacionada con el concepto de flujo del campo. Como
en el caso del flujo, si la divergencia en un punto es positiva, se dice que el campo
posee manantiales. Si la divergencia es negativa, se dice que tiene sumideros. El ejemplo
ms caracterstico lo dan las cargas elctricas, que dan la divergencia del campo
elctrico, siendo las cargas positivas manantiales y las negativas sumideros del campo
elctrico.
Se llaman fuentes escalares del campo al campo escalar que se obtiene a partir de la
divergencia de

La divergencia de un campo vectorial se relaciona con el flujo a travs del teorema de
Gauss o teorema de la divergencia.
Coordenadas cartesianas.
Cuando la definicin de divergencia se aplica al caso de un campo expresado en
coordenadas cartesianas,

el resultado es sencillo:

Coordenadas ortogonales

Sin embargo, para un caso ms general de coordenadas ortogonales curvilneas, como
las cilndricas o las esfricas, la expresin se complica debido a la dependencia de los
vectores de la base con la posicin. La expresin para un sistema de coordenadas
ortogonales es:


Donde los son los factores de escala del sistema de coordenadas, relacionados con la
forma del tensor mtrico en dicho sistema de coordenadas. Esta frmula general, para el
caso de coordenadas cartesianas (h
x
= h
y
= h
z
= 1) se reduce a la expresin anterior. Para
coordenadas cilndricas ( ) resulta:

Para coordenadas esfricas ( ) resulta:

Coordenadas generales

En sistemas de coordenadas generales, no necesarimente ortogonales, la divergencia de
un vector puede expresarse en trminos de las derivadas parciales respecto a las
coordenadas y el determinante del tensor mtrico:

Divergencia de un campo tensorial


El concepto de divergencia puede extenderse a un campo tensorial de orden
superior. En una variedad de Riemann la divergencia de un tensor T completamente
simtrico.

Se define como:

Por ejemplo, en teora de la relatividad especial la energa de un sistema se representa
por un tensor simtrico de segundo orden, cuya divergencia es cero. De hecho el principio
de conservacin de la energa relativista toma la forma:

Teorema de la divergencia
El teorema de la divergencia, frecuentemente llamado teorema de Gauss, relaciona
el flujo de un campo vectorial a travs de una superficie cerrada con la integral de la
divergencia de dicho campo en el interior del volumen encerrado por una superficie. Ese
resultado lo hace interesante en aplicaciones relacionadas con la electroesttica como en
la mecnica de fluidos.
El teorema se enuncia as: Sea una funcin vectorial diferenciable definida sobre un
conjunto y sea un conjunto cerrado limitado por una frontera o
superficie de contorno (que sea una variedad diferenciable) y sea el vector normal en
cada punto de la superficie, entonces se cumple que:



ROTACIONAL.
Matemticamente, esta idea se expresa como el lmite de la circulacin del campo
vectorial, cuando la curva sobre la que se integra se reduce a un punto:

Aqu, S es el rea de la superficie apoyada en la curva C, que se reduce a un punto. El
resultado de este lmite no es el rotacional completo (que es un vector), sino solo su
componente segn la direccin normal a S y orientada segn la regla de la mano
derecha. Para obtener el rotacional completo debern calcularse tres lmites,
considerando tres curvas situadas en planos perpendiculares.
Aunque el que el rotacional de un campo alrededor de un punto sea distinto de cero no
implica que las lneas de campo giren alrededor de ese punto y lo encieren. Por ejemplo,
el campo de velocidades de un fluido que circula por una tubera (conocido como perfil de
Poiseuille) posee un rotacional no nulo en todas partes, salvo el eje central, pese a que la
corriente fluye en lnea recta:

La idea es que si colocamos una rueda de paletas infinitamente pequea en el interior del
campo vectorial, esta rueda girar, aunque el campo tenga siempre la misma direccin,
debido a la diferente magnitud del campo a un lado y a otro de la rueda.


Fuente vectorial y escalar [editar]
Al campo vectorial, , que se obtiene calculando el rotacional de un campo en cada
punto,

se conoce como las fuentes vectoriales de (siendo las fuentes escalares las que se
obtienen mediante la divergencia).
Un campo cuyo rotacional es nulo en todos los puntos del espacio se
denomina irrotacional o se dice que carece de fuentes vectoriales. Y si est definido sobre
un dominio simplemente conexo entonces dicho campo puede expresarse como el
gradiente de una funcin escalar:

Expresin en coordenadas cartesianas.

Partiendo de la definicin mediante un lmite, puede demostrarse que la expresin, en
coordenadas cartesianas, del rotacional es

que se puede expresar de forma ms concisa con ayuda del operador nabla como un
producto vectorial, calculable mediante un determinante:

En la notacin de Einstein, con el smbolo de Levi-Civita se escribe como:


Expresin en otros sistemas de coordenadas

Si se emplean sistemas de coordenadas diferentes del cartesiano, la expresin debe
generalizarse, para incluir el que los vectores de la base dependen de la posicin. Para un
sistema de coordenadas ortogonales, como las cartesianas, las cilndricas o las esfricas,
la expresin general precisa de los factores de escala:

Donde, en cartesianas, h
x
= h
y
= h
z
= 1 y reobtenemos la expresin anterior. En
coordenadas cilndricas y en coordenadas esfricas
.

Expresin mediante formas diferenciales
Usando la derivada exterior, el rotacional se escribe simplemente como:

Obsrvese que tomando la derivada exterior de un campo (co)vectorial no da lugar a otro
campo vectorial, sino a una 2-forma o un campo de bivector, escrito correctamente
como . Sin embargo, puesto que los
bivectores generalmente se consideran menos intuitivos que los vectores ordinarios, el R-
dual se utiliza comnmente en lugar de otro: esto es una operacin quiral, produciendo un
pseudovector que adquiere valores opuestos en conjuntos coordenados izquierdos y
derechos.


Propiedades

Todo campo potencial (expresable como el gradiente de un potencial escalar)
es irrotacional y viceversa, esto es,

Todo campo central (radial y dependiente slo de la distancia al centro) es
irrotacional.

En particular, el campo elctrosttico de una carga puntual (y por
superposicin, cualquier campo electrosttico) es irrotacional.
El rotacional de un campo vectorial es siempre un campo solenoidal, esto es,
su divergencia siempre es nula:

Ejemplos
En un tornado los vientos estn rotando sobre el ojo, y un campo vectorial que
muestra las velocidades del viento tendra un rotacional diferente de cero en
el ojo, y posiblemente en otras partes (vase vorticidad).
En un campo vectorial que describa las velocidades lineales de cada parte
individual de un disco que rota, el rotacional tendr un valor constante en
todas las partes del disco.
Si una autopista fuera descrita con un campo vectorial, y los carriles tuvieran
diversos lmites de velocidad, el rotacional en las fronteras entre los carriles
sera diferente de cero.
La ley de Faraday de la induccin y la ley de Ampre-Maxwell, dos de las
ecuaciones de Maxwell, se pueden expresar muy simplemente usando el
rotacional. La primera indica que el rotacional de un campo elctrico es igual a
la tasa de variacin de la densidad del flujo magntico, con signo opuesto
debido a la Ley de Lenz; la segunda indica que el rotacional de un campo
magntico es igual a la suma de la densidad de corrientes y la derivada
temporal de la densidad de flujo elctrico.


1.5 TEOREMAS DE GREEN Y DE STOKES.
Una curva cerrada C que es frontera de una regin elemental tiene dos orientaciones:

la contraria al sentido de las manecillas del reloj (positiva)
la del sentido de las manecillas del reloj (negativa)
Denotemos C con orientacin opuesta a la de las manecillas del reloj por C
+
, y con la
orientacin de las manecillas como C
-
(ver Figura 1).

La frontera de una regin y-simple se puede descomponer en sus partes inferior y
superior C
1
y C
2
y (en su caso) segmentos verticales a la izquierda y derecha B
1
y B
2
.
Siguiendo la Figura 2, escribimos:
C
+
= C
1
+
+ B
2
+
+ C
2
-
+ B
1
-


Podemos hacer una descomposicin semejante de la frontera de una regin x-simple en
trozos izquierdo y derecho, y (en su caso) segmentos horizontales superior e inferior (ver
Figura 3).

Este teorema relaciona una integral de lnea a lo largo de una curva cerrada simple en el
plano con una integral doble en la regin encerrada por C.
Teorema:
Sea D una regin simple y sea MD su frontera descrita por una curva orientada C
+
.
Supongamos que P : D R y Q : D R son de clase C
1
. Entonces:

El Teorema de Green tambin es vlido para regiones que se pueden descomponer en
varios trozos, cada uno de los cuales es simple. Por ejemplo si la regin D es un anillo y
su frontera consiste en dos curvas C = C
1
+ C
2
con las orientaciones indicadas en la
Figura 4.



Si se aplica el Teorema a cada una de las regiones D
1
, D
2 ,
D
3
y D
4
y se suman los
resultados, se obtiene la identidad dada por el teorema de Green para D y su frontera C.
El resultado es vlido porque las integrales a lo largo de las lneas interiores opuestas se
cancelan entre s
El Teorema de Green es muy til porque relaciona una integral de lnea a lo largo de la
frontera de una regin con una integral de rea sobre el interior de la regin o viceversa:
Podemos usar el teorema para obtener una frmula para calcular el rea de una regin
acotada por una curva cerrada simple. Esto es:
Si P(x , y) = -y Q(x , y) = x, entonces:

El teorema se extiende fcilmente a las combinaciones lineales de las subvariedades
diferenciables por trozos, las, as llamadas, cadenas. El teorema de Stokes demuestra
entonces que las formas cerradas definidas mdulo una forma exacta se puede integrar
sobre las cadenas definidas mdulo borde.

sta es la base para el apareamiento entre los grupos de homologa y la cohomologa de
De Rham.
El teorema fundamental del clculo y el teorema de Green son tambin casos especiales
del teorema de Stokes generalizado.
La forma general del teorema de Stokes que usa formas diferenciales es de ms alcance
que los casos especiales, aunque los ltimos son ms accesibles y a menudo son
considerados ms convenientes por fsicos e ingenieros.
El Teorema de Stokes establece que el clculo de la integral de lnea del campo vectorial
F en la direccin tangencial de la curva C, es igual a la integral sobre la superficie S de la
circulacin del campo F alrededor de la frontera, en la direccin de la componente normal
unitaria a la superficie, siendo la curva C es una curva orientada positivamente, de tal
manera que es la frontera de la superficie orientada positivamente S.

Este teorema establece una relacin entre una integral de lnea y una de superficie:

En que S es una superficie abierta, y C es la cueva cerrada que limita a dicha superficie.
La direccin de recorrido de la curva C determina la orientacin del vector, normal a la
superficie.
El teorema de Stokes en geometra diferencial es una proposicin sobre la integracin de
formas diferenciales que generaliza varios teoremas del clculo vectorial. Se nombra as
por George Gabriel Stokes (18191903), a pesar de que la primera formulacin conocida
del teorema fue realizada por William Thomson y aparece en una correspondencia que l
mantuvo con Stokes.

DIVERGENCIA

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

DIVERGENCIA

Cargado por

Copyright:

Formatos disponibles

INSTITUTO TECNOLGICO DEL ISTMO 1

MECANICA DE LOS MEDIOS CONTINUOS

También podría gustarte