Unidad 1.

- Fundamentos Matemticos
1.1 NOTACIN INDICIAL.
El convenio de sumacin de Einstein, notacin de Einstein o notacin inicial a la
convencin utilizada para abreviar la escritura de sumatorios, 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.

1.2 OPERACIONES DE TENSORES.

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.
1,3 MTODOS PARA EL CALCULO DE VALORES Y VECTORES PROPIOS.
En lgebra lineal, los vectores propios, auto vectores 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, auto valor, valor
caracterstico o eigenvalor. A menudo, una transformacin queda completamente
determinada por sus vectores propios y valores propios. Un espacio propio, auto
espacio 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.

UN TENSOR DE SEGUNDO ORDEN, EN TRES DIMENSIONES.

Ejemplo 1.4.-

1.4 GRADIENTE, DIVERGENCIA Y ROTACIONAL.

-Gradiente. En el clculo vectorial, el gradiente de un campo escalar es un
campo vectorial. El vector gradiente de evaluado en un punto genrico del
dominio de, (), indica la direccin en la cual el campo vara ms rpidamente y su
mdulo representa el ritmo de variacin de en la direccin de dicho vector
gradiente. El gradiente se representa con el operador diferencial nabla seguido de
la funcin (cuidado de no confundir el gradiente con la divergencia, sta ltima se
denota con un punto de producto escalar entre el operador nabla y el campo).
Tambin puede representarse mediante, o usando la notacin. La generalizacin
del concepto de gradiente a campos vectoriales es el concepto de matriz
Jacobina.
 -Interpretacin del gradiente. De forma geomtrica el gradiente es un vector que
se encuentra normal (perpendicular) a la curva de nivel en el punto que se est
estudiando, llmese, (tiempo, temperatura), etctera.
Ejemplo 2
Consideremos el campo vectorial

Su divergencia, calculada en cartesianas, es

Este parece el mismo resultado que obtuvimos antes, pero es mucho ms

que eso. En el clculo anterior hallamos la divergencia exclusivamente en
el origen de coordenadas. Ahora la hemos calculado para todos los puntos
del espacio, resultando un valor positivo y constante para todo el
espacio.Esto quiere decir que, aunque las lneas de campo radian solo
desde el origen, si consideramos un elemento de volumen en torno a un
punto arbitrario del espacio, la cantidad de campo que sale del elemento
es mayor que la que entra en l.

Podemos comprobar tambin cmo

es un campo solenoidal. Hallando su divergencia en cartesianas

1.5Teoremas de Green y de Stokes.

Teorema de Green. En fsica y matemticas, el teorema de Green da la relacin

entre una integral de lnea alrededor de una curva cerrada simple C y una integral
doble sobre la regin plana D limitada por C. El teorema de Green se llama as por
el cientfico britnico George Green y es un caso especial del ms general teorema
de Stokes. El teorema afirma:

Sea C una curva cerrada simple positivamente orientada, diferenciable por trozos,
en el plano y sea D la regin limitada por C. Si L y M tienen derivadas
parciales continuas en una regin abierta que contiene D,

A veces la notacin

Se utiliza para establecer que la integral de lnea est calculada usando la

orientacin positiva (anti horaria) de la curva cerrada C.
Relacin con el teorema de la divergencia:

El teorema de Green es equivalente a la siguiente analoga bidimensional

del teorema de Stokes:

Donde es el vector normal saliente en la frontera.

Para ver esto, considere la unidad normal en la parte derecha de la ecuacin.

Como es un vector apuntando tangencialmente a travs de una

curva, y la curva C est orientada de manera positiva (es decir, en contra del sentido
de las agujas del reloj) a travs de la frontera, un vector normal saliente sera aquel

que apunta en 90 hacia la derecha, el cual podra ser .

El mdulo de este vector es:

Por lo tanto:

Tomando los componentes de:

El lado derecho se convierte en:

Que por medio del teorema de Green resulta:

Teorema de Stokes. 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 (1819-1903), 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.

El teorema fundamental del clculo establece que la integral de una funcin f en

el intervalo [a, b] puede ser calculada por medio de una anti derivada F de f:

El teorema de Stokes es una generalizacin de este teorema en el siguiente sentido:

 Para la F elegida, . En el lenguaje de las formas diferenciales es decir
que f(x) dx es la derivada exterior de la 0-forma (como por ejemplo una
funcin) F: dF = f dx. El teorema general de Stokes aplica para formas
diferenciales mayores en vez de F.

En un lenguaje matemtico, el intervalo abierto (a, b) es una variedad

matemtica unidimensional. Su frontera es el conjunto que consiste en los dos
puntos a y b. Integrar f en ese intervalo puede ser generalizado como integrar
formas en una variedad matemtica de mayor orden. Para esto se necesitan dos
condiciones tcnicas: la variedad matemtica debe ser orientable, y la forma
tiene que ser compacta de manera que otorgue una integral bien definida.

Los dos puntos a y b forman parte de la frontera del intervalo abierto. Ms

genricamente, el teorema de Stokes se aplica a variedades orientadas M con
frontera. La frontera M de Mes una variedad en s misma y hereda la
orientacin natural de M. Por ejemplo, la orientacin natural del intervalo da una
orientacin de los dos puntos frontera. Intuitivamente a hereda la orientacin
opuesta a b, al ser extremos opuestos del intervalo. Entonces, integrando F en
los dos puntos frontera a, b es equivalente a tomar la diferencia F(b) F(a).

Por lo que el teorema fundamental relaciona la integral de una funcin sobre un

intervalo, con una integral o suma de la primitiva de la funcin en los lmites que
encierran dicho intervalo:

Por otro lado el teorema de Green hace algo similar en dos dimensiones, relaciona
la integral a lo largo de una curva simple con la integral de una combinacin de
derivadas sobre un rea limitada por la curva simple:
Similarmente el teorema de la divergencia relaciona la integral de una funcin sobre
una superficie con la integral de una combinacin de derivadas sobre el interior del
conjunto:

El teorema de Stokes generaliza todos estos resultados, relacionando la integral

sobre una frontera con la integral de una funcin "derivada" sobre el interior de la
regin limitada por la frontera.

Formulacin General. Sea M una variedad de dimensin n diferenciable por trozos

orientada compacta y sea una forma diferencial en M de grado n-1 y de clase C.
Si M denota el lmite de M con su orientacin inducida, entonces

aqu d es la derivada exterior, que se define usando solamente la estructura de

variedad. El teorema debe ser considerado como generalizacin del teorema
fundamental del clculo y, de hecho, se prueba fcilmente usando este teorema.

El teorema se utiliza a menudo en situaciones donde M es una sub-variedad

orientada sumergida en una variedad ms grande en la cual la forma se define.

El teorema se extiende fcilmente a las combinaciones lineales de las sub-

variedades diferenciables por trozos, las, as llamadas, cadenas. El teorema de
Stokes demuestra entonces que las formas cerradas definidas mdulo una forma
exacta se pueden integrar sobre las cadenas definidas mdulo borde. sta es la
base para el apareamiento entre los grupos de homologa y la homologa de Rham.

El clsico teorema de Kelvin-Stokes:

que relaciona la integral de superficie del rotacional del campo vectorial sobre una
superficie en el 3-espacio euclidiano a la integral de lnea del campo vectorial
sobre su borde, es un caso especial del teorema de Stokes generalizado (con n =
2) una vez que identifiquemos el campo vectorial con una 1-forma usando la mtrica
en el 3-espacio euclidiano.

Asimismo el teorema de Ostrogradsky-Gauss o Teorema de la divergencia:

Es un caso especial si identificamos un campo vectorial con la n-1 forma obtenida

contrayendo el campo vectorial con la forma de volumen euclidiano.

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, por supuesto, aunque los ltimos son ms
accesibles y a menudo son considerados ms convenientes por fsicos e ingenieros.

Otra forma de escribir el mismo teorema es la siguiente:

Donde es un campo vectorial cualquiera.

Establece que la integral de superficie del rotacional de un campo vectorial sobre

una superficie abierta es igual a la integral (curvilnea) cerrada del campo vectorial a
lo largo del contorno que limita la superficie.