Capt 1 Met Mat V00

Captulo 1
Los vectores de siempre

7
Metodos de la Fsica Matematica (Vol 1) BORRADOR PRELIMINAR
1.1. Para comenzar
Este conjunto de secciones pretende hacer una repaso, un recordatorio y avanzar sobre lo que la mayora
de Uds. conocen o han escuchado a lo largo de sus cursos de Fsica, Matematicas y Qumica.
1.2. Vectores y escalares y algebra vectorial
Desde siempre, desde los primeros cursos de Fsica en educacion media, venimos hablando de vectores
como cantidades que tienen que ser representadas con mas de un n umero. Son muchas las razones que obligan
a introducir este (y otro) tipo de cantidades, enumeraremos algunas que, a criterio personal, son las mas
representativas.
1. Necesidad de modelos matematicos de la naturaleza. Desde los albores del renacimiento, con
Galileo Galilei a la cabeza, nos es imperioso representar cantidades de manera precisa. Las matematicas
nos apoyan en esta necesidad de precision. Desde ese entonces las matematicas son el lenguaje de la
actividad cientca.
2. Los modelos tienen que tener contrastacion experimental. Las ciencias y sus modelos, en ultima
instancia, tienen que ver con la realidad, con la naturaleza y por ello debemos medir y contrastar las
hipotesis con esa realidad que modelamos. Necesitamos representar cantidades medibles (observables)
y que, por lo tanto, tienen que ser concretadas de la forma mas compacta, pero a la vez mas precisa
posible.
3. Las leyes de los modelos deben ser independiente de los observadores. Cuando menos a
una familia signicativa de observadores. El comportamiento de la naturaleza no puede depender de la
vision de un determinado observador, as los modelos que construimos para describirla, tampoco pueden
depender de los observadores. Con conocer la ley de transformacion entre observadores equivalentes
deberemos conocer como ocurren los fenomenos en otros referenciales.
Por ello, tropezaremos con escalares, vectores, tensores y espinores, dependiendo del n umero de cantidades
que necesitemos para representar ese objeto pero, sobre todo, dependiendo de la ley de transformacion que
exista entre estos objetos. Constataremos que las leyes de la Fsica vienen escritas en forma vectorial (o
tensorial) y, por lo tanto, al conocer la ley de transformacion de los vectores (tensores) conoceremos la vision
que de esta ley tendran otros observadores.
1.2.1. Escalares y vectores
Dejaremos para mas adelante caracterizar objetos como tensores y espinores, por ahora nos contentaremos
con refrescar nuestros recuerdos con cantidades como:
Escalares: Seran aquellas cantidades las cuales se representan con UN solo n umero, una magnitud: temperatura,
volumen, masa, entre otras. Es costumbre no denotarlas de manera especial, as T = 5
o
C represen-
tara una temperatura de 5 grados centgrados.
Vectores: Seran cantidades las cuales, para ser representadas por un objeto matematicos requieren mas de un
n umero, requieren de UN n umero, UNA direccion y UN sentido. Entre las cantidades que tpicamente
reconocemos como vectores estan: la velocidad, la aceleracion, la fuerza En terminos gracos podremos
decir que un vector sera un segmento orientado, en el cual la dimension del segmento representara su
modulo y su orientacion la direccion y el sentido. Para diferenciarla de las cantidades escalares hay
Hernandez & N u nez Universidad Industrial de Santander 8
Figura 1.1: Vectores y sus operaciones
una variedad de representaciones, entre ellas: en negrita a; con una echa arriba de la cantidad a;
con una tilde arriba a; o explicitando el origen del segmento orientado

OP. El modulo del vector lo
representaremos dentro de la funcion valor absoluto, o sencillamente sin la echa arriba a = [a[ = [a[ .
Los vectores son independientes del sistema de coordenadas. Sus caractersticas (modulo, direccion y
sentido) se preservaran en todos los sistemas de coordenada. Mas a un, habra vectores que podremos des-
plazarlos (conservando su modulo direccion y sentido) paralelos a ellos mismos, en el espacio y (obvio que)
seguiran siendo los mismo. Por ello encontraran el termino de vectores deslizantes. Un ejemplo de ellos son
las fuerzas que act uan en un determinado cuerpo, como se muestra el cuadrante III en la Figura 1.1, arriba.
Tambien habra vectores atados a un punto en el espacio, por cuanto representan una de sus propiedades:
la velocidad del viento, el campo electrico, o sus variaciones son algunos ejemplos de estos vectores atados
(observe la Figura 1.2 como ejemplos ilustrativos).
1.2.2. Algebra de vectores
Enumeraremos rapidamente el algebra de vectores sin hacer referencia a un sistema de coordenadas.
Desde siempre nos ense naron a representar gracamente este algebra. As tenemos que:
Vector nulo Es aquel que tiene por modulo cero y no se le pude asignar direccion ni sentido. Podremos
comparar vectores si tienen la misma direccion y sentido.
Vector unitario Es aquel que tiene por modulo la unidad, es muy util por cuanto, para efectos algebraicos,
contiene unicamente direccion y sentido. Lo denotaremos con un acento circunejo, com unmente llamado
sombrero u
a
=
a
[a[
, con lo cual todo vector a = [a[ u
a
se podra expresar por un modulo en la direccion y
sentido de un vector unitario.
Figura 1.2: Ejemplos de vectores atados
Comparamos vectores Al comparar sus modulos diremos que pueden ser mayores, menores o iguales.
Por lo tanto, tal y como mostramos en el cuadrante I de la Figura 1.1, dos vectores seran iguales a =

b si
tienen la misma direccion y sentido.
Multiplicacion por un escalar Un vector, multiplicado por un escalar, n, cambiara su modulo si n > 0
y cambiara su sentido y eventualmente su modulo si n < 0 Tal y como puede apreciarse en el cuadrante I de
la Figura 1.1. Claramente dos vectores proporcionales seran colineales. Diremos ademas, que el inverso del
vector a sera la multiplicacion de a por (1) . Esto es c = (1)a = a
Suma de vectores Aprendimos que para sumar vectores utilizamos la regla del paralelogramo, es decir,
desplazamos paralelamente uno de los vectores y lo colocamos a continuacion del otro, de tal forma que
la diagonal del paralelogramo, que tiene por lados los vectores sumandos, constituye el vector suma (ver
cuadrantes IIa y IIb de la Figura 1.1). Este esquema se puede generalizar para varios vectores tal y como lo
mostramos en el cuadrante IIa de la Figura 1.1. All construimos un polgono cuyos lados los constituyen los
vectores sumandos a,
b, c,
d y n con n = a +
b +c +

d.
Notese que a un el caso tridimensional, el vector suma siempre sera coplanar (estara en el mismo plano)
a los sumandos que lo generaron.
Igualmente, podemos denir la resta de vectores al sumar el inverso. Esto es
a
b a +
_
b
_
0 = a a a + (a)
En terminos gracos la resta de dos vectores se representa colocando los vectores (minuendo y sutraendo) con
el mismo origen y uniendo las cabezas de echa. Dependiendo de cual vector es el minuendo y cual sustraendo
el vector resta apuntara del sustraendo hacia el minuendo. Observese el cuadrante IIa de la Figura 1.1 la
resta
_
a +
b +c
_
a =
b +c.
Claramente, el modulo del vector resta representa la distancia entre los dos extremos de los vectores
minuendo y el sustraendo
Un resumen de propiedades Podemos resumir las propiedades del algebra de vectores como sigue
La suma de vectores
tiene un unico elemento neutro 0 +a = a + 0 = a a
existe un elemento simetrico (a) (uno para cada vector) tal que 0 = a a a + (a)
es conmutativa a +
b =
b +a
es asociativa
_
a +
b
_
+c = a +
_
b +c
_
es distributiva
_
a +
b
_
= a +
b respecto a la multiplicacion por escalares

La multiplicacion de escalares por vectores
es conmutativa a = a
es asociativa (a) = ()a
es distributiva ( + )a = a + a
1.3. Independencia lineal y las bases para vectores
Armados con el algebra y explicitando sus propiedades podemos construir la primera aproximacion a uno
de los conceptos fundamentales del algebra lineal. La nocion de independencia o dependencia lineal.
Diremos que tres vectores a,
b, c son linealmente independientes si se cumple que

a +
b + c = 0 = = = 0
es decir que la unica manera que al sumar cualquier m ultiplo de a,
b, c se anule esto obliga que los escalares son

necesariamente nulos. Si no se cumple lo anterior entonces diremos que uno de los vectores sera linealmente
dependiente y que por lo tanto se podra expresar como combinacion lineal de los otros dos
a +
b + c = 0 alguno de
_
_
_
,= 0
,= 0
,= 0
_
_
_
c = a +

b
Los vectores linealmente independientes formaran base para el espacio donde ellos viven y el n umero
maximo de vectores linealmente independientes sera la dimension de ese espacio de residencia. Tratemos
de concretar algunas de estas importantes armaciones.
Dos vectores linealmente dependientes son colineales. Es claro que
a +
b = 0 con alguno de
_
,= 0
,= 0
_

_
_
a =
b =
a
el contrario tambien sera cierto: si dos vectores son colineales ellos seran linealmente dependientes.
a =
b a +
b = 0
b +
b = 0 ( + )
b = 0 =
y con lo cual podremos arma que si dos vectores son linealmente independientes ellos no son colineales y
mas a un si dos vectores son linealmente independientes no son colineales.
Tres vectores linealmente dependientes son complanares. Es claro que por ser los tres vectores
linealmente dependientes al menos uno de los escalares tiene que ser distinto de cero. Esto es
a +
b + c = 0 c =
b = a +

b
pero como a a y

b
b eso signica que ambos a y a y

b y

b son colineales respectivamente y su
suma estara en el mismo plano.
Dos vectores linealmente independientes expanden todos los vectores coplanares. Esto es, dado
dos vectores a,
b linealmente independientes, entonces cualquier vector c,complanar con a y

b, podra expre-
sarse como una combinacion lineal de ellos y diremos que c se expresa en terminos de a,
b como c = a+

b
y esa expresi on es unica.
La primera de las armaciones es directa por cuanto hemos visto que si a y
b son linealmente independiente

y c es complanar con a y

b. Entonces, necesariamente a,
b y c son linealmente dependientes. Esto es

a +
b + c = 0 c =
b = a +

b
La demostracion de que la expansion es unica viene de suponer que existen dos maneras distintas de repre-
sentar al vector c
c = a +

b
c = a +

b
_
_
_
0 = ( ) a + ( )

b
_
_
_
= 0 =
= 0 =
debido a que a y
b son linealmente independiente. La demostracion para el caso tridimensional es equivalente.

Es decir tres vectores linealmente independientes a,
b y c expanden, de manera unvoca, todos los vectores

del espacio. Esta demostracion queda para el lector.
Cuando un vector c se pueda expresar en terminos de dos vectores linealmente independientes a,
b diremos
que a y

b forman una base para todos los vectores complanares a ellos. Equivalentemente para el caso
tridimensional, tres vectores linealmente independientes a,
b y c conformaran una base para los vectores del

espacio. Los escalares , para el caso bidimensional se denominan las componentes de c a lo largo de a y
b, .respectivamente. Equivalentemente , , seran las componentes de cualquier vector para el caso 3D a lo

largo de a,
b y c, respectivamente. Esta nomenclatura sera mas evidente luego de la proxima seccion.

1.4. Productos de vectores
1.4.1. Producto escalar
Denominaremos producto escalar de dos vectores a y

b a un escalar cuyo valor sera igual al producto de
los modulos multiplicado por el coseno del angulo que ellos forma.
= a
b = [a[
cos
a,
b
Figura 1.3: Productos de Vectores
El signicado geometrico del producto escalar es evidente el cuadrante I de la Figura El producto escalar
representa la proyeccion de a sobre

b y equivalentemente la proyeccion de

b sobre a.
De esta denicion se derivan varias consecuencias las cuales por obvias no dejan de ser importantes.
El producto escalar de un vector consigo mismo, siempre es positivo.
a
= aa = [a[
2
0 y solo sera nulo
si a es el vector nulo. Esto es
a
= 0 a = 0. Con esto podemos concluir que [a[ ==
a a =
a
El producto escalar es conmutativo = a
b =

b a ya el angulo entre los vectores es el mismo y la
multiplicacion entre escalares es conmutativa.
El producto escalar es distributivo Esto es a
_
b +c
_
= a
b +a c. La demostracion (graca) puede

apreciarse en el cuadrante II de la Figura 1.3
La multiplicacion por un escalar.

= = [[
_
a
b
_
= (a)
b = a
_
b
_
= [a[
cos
a,
b
=
[a[
cos
a,
b
Desigualdad de Cauchy Schwarz. A partir de la denicion de producto interno es inmediata la compro-
bacion de la desigualdad de Cauchy Schwarz
_
a
b
_
2
=
_
[a[
cos
a,
b
_
2
_
a
b
_
2
[a[
2
_
a
b
_
[a[
ya que 0 cos
2
a,
b
1
Del producto escalar surge el Teorema del Coseno. Es inmediato generalizar el producto escalar de un
vector consigo mismo, para ello suponemos que c = a +
b, con lo cual
c = a +
b c c =
_
a +
b
_
_
a +
b
_
= [c[
2
= [a[
2
+
2
+ 2 [a[
cos
a,
b
que no es otra cosa que el teorema del coseno y esta ilustrado en el cuadrante III de la Figura 1.3.
Diremos que dos vectores, no nulos son ortogonales (perpendiculares) si su producto escalar es nulo.
Esta armacion es inmediata
a
b
a,
b
=

2
a
b = [a[
cos
a,
b
= 0
1.4.2. Producto vectorial
De siempre, tambien hemos aprendido que existe otro producto entre vectores. El producto vectorial. A
diferencia del producto escalar que genera un escalar, el producto vectorial c = a
b tiene como resultado

otro vector (realmente un pseudovector o vector axial en contraposicion a los vectores polares pero eso lo
veremos mas adelante), c, con las siguientes caractersticas:
El modulo de c, sera [c[ = [a[
sen
a
b
. Es claro que el modulo de c representa el area del paralelogramo
cuyos lados estan formados por a y

b (cuadrante V de la Figura 1.3)
Tal y como muestran los cuadrantes IV y V de la Figura 1.3, tendra como direccion la perpendicular
al plano que forman a y

b
y como sentido regla del pulgar derecho, regla de la mano derecha, o mas elegante sera positivo cuando
la multiplicacion de a
b corresponda al sentido horario.

Otra vez, podemos deducir algunas consecuencias de esta denicion.
El producto vectorial es anticonmutativo. Esto es a
b =
b a y se sigue de la denicion que expresa

el cuadrante IV de la Figura 1.3
El producto vectorial es distributivo respecto a la suma. Vale decir a
_
b +c
_
= a
b + a c. La
demostracion de esto lo dejaremos para mas adelante. Valga ahora creerse la propiedad.
La multiplicacion por un escalar. Nos conduce rapidamente a
[c[ = [[
(a)
a
_
b
_
= [a[
sen
a
b
= [a[
sen
a
b
Dos vectores seran colineales si su producto vectorial se anula. Al igual que el cuando se anula el
producto escalar identicabamos a dos vectores ortogonales, cuando se anule el producto vectorial
tendremos dos vectores paralelos. Obvio que esto se cumple de inmediato
a |
b
a
b
= 0 [c[ =
= [a[
sen
a
b
= 0
y si el modulo del vector es cero, obvio que es el vector nulo. Ahora bien, tambien de aqu deducimos
que
c = a
b c a =
_
a
b
_
a = c
b =
_
a
b
_
b = 0
1.4.3. Una division fallida
Uno esperara que para cada una de las deniciones de productos vectoriales, existiera vector cociente. Es
decir pudieramos despejar uno de los multiplicados en terminos del otro. La situacion es que esta operacion
no esta denida unvocamente y lo podemos intuir a partir de una de las deniciones de producto.
Supongamos que tenemos un producto escalar o = a
b con lo cual, si pudieramos despejar, digamos
b =

a
tendramos entonces denido
b de una manera unvoca ? La respuesta es NO. ya que = a

_
a
+

d
_
donde a

d por lo cual existen innitos

b =

a
+

d que cumplen = a
b.
1.4.4. Producto triple o mixto
Analicemos ahora el n umero (pseudoescalar) que proviene de la multiplicacion
V = c
_
a
b
_
= [c[
_
a
b
_
cos
c,a
b
representa del volumen del paraleleppedo cuyos lados quedan denidos por a,
b y c. Este producto tambien

cumple con algunas propiedades que enunciaremos ahora y demostraremos mas tarde
El producto mixto
_
a
b
_
c, representa el volumen del paraleleppedo cuyos lados son los vectores a,
b
y c.Es claro y fue ilustrado que el modulo del producto vectorial
_
a
b
_
representa el area de la base

y la altura esta representada por la proyeccion del vector c sobre la perpendicular al plano de la base
que es, precisamente, [c[ cos
c,a
b
El producto mixto es cclico respecto a sus factores. Esto es
_
a
b
_
c =
_
b c
_
a = (c a)
b
Esta armacion se vera demostrada mas adelante
el producto mixto se anula cuando se repite alguno de sus factores
_
a
b
_
a =
_
a
b
_
b = (a a) c =
_
b
_
c = 0
Claramente, si
_
a
b
_
a
_
a
b
_
a = 0
Si los tres vectores a,
b y c son coplanares (linealmente dependientes) entonces

_
a
b
_
c = 0 o, dicho
de manera mas elegante, util e impactante: tres vectores que cumplen
_
a
b
_
c ,= 0 forma base para
el espacio tridimensional. Esa base se denominara levogira (contraria al giro de las manecillas del reloj)
si
_
a
b
_
c < 0 y dextrogira (la convencional base de la mano derecha) si
_
a
b
_
c > 0.
Figura 1.4: Vectores, bases y componentes
1.5. Componentes, coordenadas y cosenos directores
1.5.1. Bases, componentes y coordenadas
La formulacion de las leyes fsicas debe hacerse en termino de cantidades vectoriales (tensoriales). Esto
independiza su formulacion de un sistema particular de coordenadas, pero llegado el momento de calcular
valores y utilizar estas leyes, es mucho mas conveniente referirla a un sistema de coordenadas particularmente
adaptado a la geometra del problema. En ese caso la ecuacion vectorial se convertira en tantas ecuaciones
como componentes (referidas al sistema de coordenadas utilizado) tenga los vectores en ese sistema de
coordenadas
Tal y como mencionamos arriba tres vectores no coplanares cualesquiera son linealmente independientes
y constituyen una base para el espacio tridimensional. Denominaremos, de ahora en adelante estos vectores
base w
1
, w
2
, w
3
y por ser linealmente independientes podremos expresar cualquier vector a como una
combinacion lineal unica. Tal y como lo mostramos en el cuadrante I de la Figura 1.4 con los vectores base
w
1
, w
2
, w
3
podemos construir un sistema (oblicuo en general) de coordenadas al colocarlos con un mismo
origen. Esto es
a = a
1
w
1
+ a
2
w
2
+ a
3
w
3
donde las cantidades
_
a
1
, a
2
, a
3
_
son n umeros (no son escalares) que representan las componentes del vector
a a lo largo de cada uno de los vectores base w
1
, w
2
, w
3
. Notese que por costumbre (la cual sera evidente
mas adelante) etiquetamos estos n umeros con superndices y la letra que identica el vector.
Mas a un, cada punto P del espacio viene denido por un radiovector

r (P)

OP que une el origen
de coordenadas con el punto P y se le asocian tres n umeros
_
x
1
, x
2
, x
3
_
, los cuales son las proyecciones
a lo largo de cada uno de los ejes coordenados
_
0 x
1
, 0 x
2
, 0 x
3
_
. Los n umeros
_
x
1
, x
2
, x
3
_
se denominaran
componentes de

r (P) en el sistema de referencia w
1
, w
2
, w
3
.
Existe una familia de sistema de coordenadas en la cual sus vectores base son ortogonales (o mejor
ortonormales), es decir los vectores base e
1
, e
2
, e
3
son perpendiculares entre si. Tal y como mostraremos
mas adelante, siempre se puede construir un sistema ortogonal (ortonormal) e
1
, e
2
, e
3
a partir de una
base generica de vectores linealmente independientes w
1
, w
2
, w
3
. Cuando el sistema sea ortogonal sus
componentes se denominaran rectangulares. Dependiendo del signo del triple producto mixto el sistema de
coordenadas sera dextrogiro ((e
1
e
2
) e
3
> 0) o levogiro ((e
1
e
2
) e
3
< 0) tal y como se muestra en el
cuadrante III de la Figura 1.4
Es costumbre ancestral, por relaciones de dominacion de los derechos sobre los izquierdos (en latn e
italiano los zurdos son siniestros) utilizar la convencion dextrogira ((e
1
e
2
)e
3
> 0) y en ese caso utilizamos
el bien conocido conjunto de vectores unitarios
_
,,
k
_
con lo cual desde siempre tenemos que
a = a
x
+ a
y
+ a
z
k y r (P) = x + y + z

k
de ahora en adelante representaremos este sistema de coordenadas ortonormal como
_
e
1
, e
2
,
k
3
_
para recordar que estamos en un sistema de coordenadas cartesianas.
Obviamente el modulo del vector se podra expresar con la utilizacion del Teorema de Pitagoras
_
a
2
x
+ a
2
y
+ a
2
z
= [a[ y
_
x
2
+ y
2
+ z
2
=

r (P)
y la multiplicacion por un escalar

a =
_
a
x
+ a
y
+ a
z
k
_
= (a
x
) + (a
y
) + (a
z
)
k [a[ =
_
a
2
x
+ a
2
y
+ a
2
z
Igualmente un vector unitario
u
a
=
a
[a[
=
1
_
a
2
x
+ a
2
y
+ a
2
z
_
a
x
+ a
y
+ a
z
k
_
=
a
x
_
a
2
x
+ a
2
y
+ a
2
z
+
a
y
_
a
2
x
+ a
2
y
+ a
2
z
+
a
z
_
a
2
x
+ a
2
y
+ a
2
z
k
con lo cual todo vector
a = [a[ u
a
=
_
a
2
x
+ a
2
y
+ a
2
z
u
a
1.5.2. Cosenos directores
Como se puede apreciar en el cuadrante IV de la Figura 1.4 podemos construir tres triangulos rectangulos
con el radiovector

R(P) como hipotenusa de cada uno de ellos. Los angulos que forma el radiovector

R(P)
con cada uno de los ejes coordenados x, y, z son , , respectivamente, con lo cual
R
x
=
cos R
y
=
cos y R
z
=
cos cos
2
+ cos
2
+ cos
2
= 1
pero ademas
u
a
=
a
[a[
= cos + cos + cos

k
1.6. Algebra vectorial y coordenadas
Entonces podremos reescribir el algebra vectorial como de forma algebraica, vale decir mediante opera-
ciones referidas a las coordenadas. As
1.6.1. Suma y resta de vectores
Sera representada por
a +
b =
_
a
x
+ a
y
+ a
z
k
_
+
_
b
x
+ b
y
+ b
z
k
_
= (a
x
+ b
x
) + (a
y
+ b
y
) + (a
z
+ b
z
)
k
o equivalentemente
a +
b =
_
a
1
e
1
+ a
2
e
2
+ a
3
e
3
_
+
_
b
1
e
1
+ b
2
e
2
+ b
3
e
3
_
=
_
a
1
+ b
1
_
e
1
+
_
a
2
+ b
2
_
e
2
+
_
a
3
+ b
3
_
e
3
y obviamente, la resta
a +
b =
_
a
1
e
1
+ a
2
e
2
+ a
3
e
3
_
_
b
1
e
1
+ b
2
e
2
+ b
3
e
3
_
=
_
a
1
b
1
_
e
1
+
_
a
2
b
2
_
e
2
+
_
a
3
b
3
_
e
3
con lo cual la distancia entre dos puntos P y M sera
d (P, M) =
_

r (P) = a
_
_

r (M) =
b
_
=
_
(a
x
b
x
)
2
+ (a
y
b
y
)
2
+ (a
z
b
z
)
2
1.6.2. Dependencia e independencia lineal
Ahora es facil estudiar la dependencia/independencia lineal en coordenadas. Otra vez, tres vectores
a = a
x
+ a
y
+ a
z
k;
b = b
x
+ b
y
+ b
z
k y c = c
x
+ c
y
+ c
z
k seran linealmente independientes si se cumple

que
a +
b + c = 0 = = = 0
Antes de proseguir en forma general, veamos algunos casos particulares
La base canonica e
1
= (1, 0, 0) ; e
2
= (0, 1, 0) ; e
3
=

k (0, 0, 1). Estos vectores son claramente
linealmente independientes y por lo tanto constituyen un base
= 0
= 0
= 0
Los vectores w
1
= (1, 0, 0) ; w
2
= + (1, 1, 0) ;
3
= + +

k (1, 1, 1). Estos vectores no son
linealmente independientes de manera obvia. Veamos
= 0
+ = 0
+ + = 0
_
_
_

_
_
_
= 0
= 0
= 0
con lo cual demostramos que son linealmente independientes y por lo tanto constituyen una base para
los vectores tridimensionales.
En general tendremos que
0 =
_
a
x
+ a
y
+ a
z
k
_
+
_
b
x
+ b
y
+ b
z
k
_
+
_
c
x
+ c
y
+ c
z
k
_

0 = (a
x
+ b
x
+ c
x
) + (a
y
+ b
y
+ c
y
) + (a
z
+ b
z
+ c
z
)
k
_
_
_
a
x
+ b
x
+ c
x
= 0
a
y
+ b
y
+ c
y
= 0
a
z
+ b
z
+ c
z
= 0
Esto no es otra cosa que un sistema de 3 ecuaciones lineales con 3 incognitas , , y la solucion que
estamos buscando = = = 0 se cumplira si
a
x
b
x
c
x
a
y
b
y
c
y
a
z
b
z
c
z
= a
z
(b
y
c
x
c
x
b
y
) a
y
(b
x
c
z
c
z
b
x
) + a
x
(b
y
c
z
c
z
b
y
) ,= 0
1.6.3. Producto escalar
Del mismo modo representaremos el producto escalar de dos vectores en una base cartesiana como
_
,,
k
_
es una base ortonormal entonces
a
b =
_
a
x
+ a
y
+ a
z
k
_
_
b
x
+ b
y
+ b
z
k
_
= a
x
b
x
+ a
y
b
y
+ a
z
b
z
ya que por ser ortogonales
= =

k
k = 1 y
_
_
_
= = 0

k =

k = 0

k =

k = 0
Las propiedades del producto escalar en coordenadas comprueban facilmente
El producto interno de un vector consigo mismo, siempre es positivo.
a
= a a = [a[
2
= a
2
x
+ a
2
y
+ a
2
z
0 y a
2
x
+ a
2
y
+ a
2
z
= 0 a
x
= a
y
= a
z
= 0 a = 0
Adicionalmente [a[ =
a
=
a a =
_
a
2
x
+ a
2
y
+ a
2
z
El producto escalar es conmutativo
= a
b =
b a = a
x
b
x
+ a
y
b
y
+ a
z
b
z
= b
x
a
x
+ b
y
a
y
+ b
z
a
z
El producto escalar es distributivo:
a
_
b +c
_
= a
b +a c
_
a
x
+ a
y
+ a
z
k
_
_
(b
x
+ c
x
) + (b
y
+ c
y
) + (b
z
+ c
z
)
k
_
= a
x
(b
x
+ c
x
) + a
y
(b
y
+ c
y
) + a
z
(b
z
+ c
z
)
(a
x
b
x
+ a
x
c
x
) + (a
y
b
y
+ a
y
c
y
) + (a
z
b
z
+ a
z
c
z
) = (a
x
b
x
+ a
y
b
y
+ a
z
b
z
) + (a
x
c
x
+ a
y
c
y
a
z
c
z
)
La multiplicacion por un escalar.
= = [[
_
a
b
_
= (a)
b = a
_
b
_
= (a
x
) b
x
+(a
y
) b
y
+(a
z
) b
z
= a
x
(b
x
)+a
y
(b
y
)+a
z
(b
z
)
Desigualdad de Cauchy Schwarz.
_
a
b
_
= a
x
b
x
+ a
y
b
y
+ a
z
b
z

_
a
2
x
+ a
2
y
+ a
2
z
_
b
2
x
+ b
2
y
+ b
2
z
= [a[

Diremos que dos vectores, no nulos son ortogonales (perpendiculares) si su producto escalar es nulo.
Esta armacion es inmediata
a
b
a,
b
=

2
a
b = [a[
cos
a,
b
= 0
Por lo cual
a
x
b
x
+ a
y
b
y
+ a
z
b
z
= [a[
cos
a
b
cos
b
=
a
x
b
x
+ a
y
b
y
+ a
z
b
z
__
a
2
x
+ a
2
y
+ a
2
z
___
b
2
x
+ b
2
y
+ b
2
z
_
de donde se deduce que dos vectores perpendiculares
a
b 0 = a
x
b
x
+ a
y
b
y
+ a
z
b
z
Los vectores de la base canonica e
1
= (1, 0, 0) ; e
2
= (0, 1, 0) ;
3
=

k (0, 0, 1) son claramente
mutualmente ortonormales
cos
= = = 0

k =

k = 0

k =

k = 0
Del producto escalar surge el Teorema del Coseno. Es inmediato generalizar el producto escalar de un
vector consigo mismo, para ello suponemos que c = a +
b, con lo cual
c = a +
b c c =
_
a +
b
_
_
a +
b
_
= [c[
2
= [a[
2
+
2
+ 2 [a[
cos
a,
b
que no es otra cosa que el teorema del coseno y esta ilustrado en el cuadrante III de la Figura 1.3
1.6.4. Producto vectorial
De igual manera aprendimos
c = a
b = (a
y
b
z
a
z
b
y
)+(a
z
b
x
a
x
b
z
)+(a
x
b
y
a
y
b
x
)
k
con lo cual lo podemos organizar como el determinante de la matriz
c = a
b =

k
a
x
a
y
a
z
b
x
b
y
b
z
con lo cual
[c[ =
_
(a
y
b
z
a
z
b
y
)
2
+ (a
z
b
x
a
x
b
z
)
2
+ (a
x
b
y
a
y
b
x
)
2
=
__
a
2
x
+ a
2
y
+ a
2
z
___
b
2
x
+ b
2
y
+ b
2
z
_
sen
a
b
1.6.5. Triple producto mixto
V = c
_
a
b
_
= |c|
_
_
_
_
a
b
__
_
_ cos
c,a
b
=
c
x
c
y
c
z
a
x
a
y
a
z
b
x
b
y
b
z
representa del volumen del paraleleppedo cuyos lados quedan denidos por a,
b y c.
1.7. Algebra vectorial con ndices
1.7.1. Convenci on de Einstein
Antes de comenzar con la presentacion de este esquema de calculo. cabe aclarar algunas costumbres y
convenciones con la notacion de ndices
1. Los ndices repetidos (arriba y abajo) indicaran suma por los valores que tomen los ndices. Las com-
ponentes de los vectores tendran ndices arriba y los vectores base abajo
a = a
x
+ a
y
+ a
z
k = a = a
1
e
1
+ a
2
e
2
+ a
3
e
3
=
3
m=1
a
m
e
m
a = a
m
e
m
hemos identicado e
1
=; e
2
= y e
3
=

k
2. Los ndices repetidos son mudos (no importa la letra que lo etiquete) y representan suma. As
K
j
A
j
= K
m
A
m
= K
1
A
1
+K
2
A
2
+K
3
A
3
= B
En este punto del discurso, la posici on de los ndices (arriba y abajo) solo tiene sentido estetico y solo
as indican suma. En el Captulo ?? veremos que representan cantidades distintas.
3. Llamaremos contraccion cuando sumamos respecto a un par de ndices, vale decir
i
A
i
i
= A
1
1
+A
2
2
+A
3
3
= A
i
i
= A
1
1
+A
2
2
+A
3
3
Las cantidades con dos o mas ndices las llamaremos componentes de tensores, el nombre no importa,
son arreglos bidimensionales (tridimensionales, tetradimensionales, seg un el n umero de ndices) y seran
considerados en detalle en el Captulo ??. Por ahora contentemonos con saber que son cantidades con
dos ndices. Es claro que la contraccion de ndices convierte un conjunto de n umeros (i j) 1, a un
solo n umero.
4. Los ndices libres (aquellos que no estan sumados) indican el n umero de objetos disponibles y deben
mantenerse. As
K
k
i
A
k
= B
i

_
_
K
1
1
A
1
+K
2
1
A
2
+K
3
1
A
3
= B
1
K
1
2
A
1
+K
2
2
A
2
+K
3
2
A
3
= B
2
K
1
1
A
1
+K
2
1
A
2
+K
3
1
A
3
= B
1
con lo cual K
k
i
A
k
= B
i
representan 3 ecuaciones y K
k
i
A
kj
= B
ij
representara 9
5. La delta de Kronecker
1
k
i
lleva un ndice arriba y uno abajo. Representa
k
i
= 1 si i = k y es nula en
los otros casos. Con esto
K
k
ij

i
k
= K
1
1j

1
1
..
=1
+K
1
2j
=0
..
2
1
+K
1
3j
=0
..
3
1
+K
2
1j
=0
..
1
2
+K
2
2j

2
2
..
=1
+K
2
3j
=0
..
3
2
+K
3
1j
=0
..
1
3
+K
3
2j
=0
..
2
3
+K
3
3j

3
3
..
=1
es decir
K
k
ij

i
k
= K
k
kj
= K
i
ij
= K
1
1j
+K
2
2j
+K
3
3j
1
Leopold Kronecker (7 diciembre 1823 Legnica, Polonia; 29 diciembre 1891, Berlin, Alemania) Matem atico polaco con
importantes contribuciones en teora de n umeros, funciones elpticas y algebra, as como la interrelacion estre estas disciplinas.
Mas detalles http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Kronecker.html
6. Ademas de la delta de Kronecker introduciremos el smbolo de permutacion de Levi-Civita
2
ijk
para
el caso de tres dimensiones, vale decir i, j, k = 1, 2, 3
ijk
=
ijk
=
_
_
_
+1 cuando (1, 2, 3) ; (3, 1, 2) ; (2, 3, 1) permutacion cclica
1 cuando (1, 3, 2) ; (3, 2, 1) ; (2, 1, 3) permutacion impar o anticclica
0 cuando i = j; i = k j = k
y quiere decir que es distinto de cero cuando todos los ndices son diferentes; 1 si la permutacion de
ndices es cclicas (o par) y 1 si la permutacion es anticclica (o impar). Con ello
ijk
a
j
b
k
=
_
111
a
1
b
1
+
112
a
1
b
2
+
113
a
1
b
3
+
121
a
2
b
1
+
122
a
2
b
2
+
123
a
2
b
3
+
131
a
3
b
1
+
132
a
3
b
2
+
133
a
3
b
3
211
a
1
b
1
+
212
a
1
b
2
+
213
a
1
b
3
+
221
a
2
b
1
+
222
a
2
b
2
+
223
a
2
b
3
+
231
a
3
b
1
+
232
a
3
b
2
+
233
a
3
b
3
311
a
1
b
1
+
312
a
1
b
2
+
313
a
1
b
3
+
321
a
2
b
1
+
322
a
2
b
2
+
323
a
2
b
3
+
331
a
3
b
1
+
332
a
3
b
2
+
333
a
3
b
3
con lo cual
c
i
=
ijk
a
j
b
k

_
_
c
1
=
123
a
2
b
3
+
132
a
3
b
2
= a
2
b
3
a
3
b
2
c
2
=
231
a
3
b
1
+
213
a
1
b
3
= a
3
b
1
a
1
b
3
c
3
=
312
a
1
b
2
+
321
a
2
b
1
= a
1
b
2
a
2
b
1
7. A continuacion enumeramos algunas propiedades de las deltas de Kronecker y de los smbolos de
permutacion de Levi-Civita las cuales le dejamos al lector su demostracion. Ellas son
j
j
= 3
jkm
ilm
=
i
j
l
k

i
k
l
j
=
i
j
l
k

l
j
i
k
jmn
imn
= 2
i
j
,
ijk
ijk
= 6.
1.7.2. Los vectores y los ndices
Sumas de vectores
De ese modo la suma de vectores sera expresada de la siguiente manera
a +
b = a
i
e
i
+ b
i
e
i
=
_
a
i
+ b
i
_
e
i
= c
i
e
i
c
i
= a
i
+ b
i
con i, j = 1, 2, 3
Producto escalar
A partir da ahora y de forma equivalentemente, expresaremos el producto escalar en termino de los
ndices. De forma y manera que
a
b = |a|
_
_
_
b
_
_
_ cos
a
b
= a
i
b
i
= b
j
a
j
con i, j = 1, 2, 3
2
Tullio Levi-Civita (1873 Padova, Veneto, 1941 Roma, Italia) Geometra italiano uno de los desarrolladores del C alculo
Tensorial que m as tarde sera utilizado, por Einstein y Weyl como el lenguaje de la Relatividad General
Producto vectorial
En terminos de ndices, el producto vectorial se puede expresar como
_
a
b
_
i
=
ijk
a
j
b
k
con i, j = 1, 2, 3
todas las particularidades de producto vectorial ahora descansan en las propiedades del smbolo de Levy
Civita.
Triple producto mixto
V = c
_
a
b
_
= |c|
_
_
_
_
a
b
__
_
_ cos
c,a
b
= c
i
ijk
a
j
b
k
=
c
x
c
y
c
z
a
x
a
y
a
z
b
x
b
y
b
z
1.7.3. Un par de calculos ilustrativos

Mostremos tres casos de identidades vectoriales que pueden ser demostradas mediante la utilizacion de
ndices.
1. a
_
b c
_
= (c a)
b
_
a
b
_
c
El resultado sera un vector, por lo tanto
_
a
_
b c
__
i
=
ijk
a
j
_
b c
_
k
=
ijk
a
j
kmn
b
m
c
n
=
ijk
kmn
a
j
b
m
c
n
=
ijk
mnk
a
j
b
m
c
n
=
_
i
m
j
n

j
m
i
n
_
a
j
b
m
c
n
=
i
m
j
n
a
j
b
m
c
n
j
m
i
n
a
j
b
m
c
n
=
i
m
b
m
j
n
a
j
c
n
i
n
c
n
j
m
a
j
b
m
= b
i
a
n
c
n
..
(ca)
c
i
a
j
b
j
..
(a
b)
_
a
_
b c
__
i
= b
i
(c a) c
i
_
a
b
_
2.
_
a
b
_
_
c

d
_
= (a c)
_
b

d
_
_
a

d
__
b c
_
El lado derecho es un escalar, por lo tanto
_
a
b
_
_
c

d
_
=
_
a
b
_
l
_
c

d
_
l
=
ljk
a
j
b
k

lmn
c
m
d
n
=
ljk
lmn
a
j
b
k
c
m
d
n
=
jkl
mnl
a
j
b
k
c
m
d
n
=
_
j
m
k
n

k
m
j
n
_
a
j
b
k
c
m
d
n
=
j
m
k
n
a
j
b
k
c
m
d
n
k
m
j
n
a
j
b
k
c
m
d
n
=
j
m
a
j
c
m
. .
(ac)
k
n
b
k
d
n
. .
(
d)
k
m
b
k
c
m
. .
(
bc)
j
n
a
j
d
n
. .
(a
d)
= (a c)
_
b

d
_
_
a

d
__
b c
_
1.7.4. El escalares, pseudoescalares, vectores y pseudovectores
La diferencia entre vectores polares y axiales proviene del siguiente comportamiento bajo transformaciones
de coordenadas y base. Un vector polar (normal, com un y corriente) queda invariante bajo la siguiente
transformaci on
e
i
e
i
a
i
a
i
_
= a = a
i
e
i

_
a
j
_
(e
j
) = a
i
e
i
= a
mientras que un pseudovector o vector axial cambia de signo cuando las componentes de los vectores que la
generan y sus vectores base
e
i
e
i
a
i
a
i
b
i
b
i
_
_
_
= c = a
b
_
ijk
(a
j
) (b
k
)
_
(e
i
) = c
i
e
i
= c
es decir
a
b = (a
y
b
z
a
z
b
y
)+(a
z
b
x
a
x
b
z
)+(a
x
b
y
a
y
b
x
)
= ((a
y
) (b
z
) (a
z
) (b
y
)) () + ((a
z
) (b
x
) (a
x
) (b
z
)) () +((a
x
) (b
y
) (a
y
) (b
x
))
_
k
_
_
a
b
_
=
_
(a
y
b
z
a
z
b
y
) (a
z
b
x
a
x
b
z
) + (a
x
b
y
a
y
b
x
)
k
_
Existen varias e importantes cantidades fsicas que vienen representadas por pseudovectores, entre ellas
mencionamos
Velocidad Angular v = r
Cantidad de Movimiento Angular

L = r p
Torque = r

F
Campo de Induccion Magnetica

B
t
=

E
Adicionalmente el volumen, V = c
_
a
b
_
, como era de esperarse, no es invariante bajo cambio del
espacio
c
i
c
i
a
i
a
i
b
i
b
i
_
_
_
= V = c
_
a
b
_
= c
i
ijk
a
j
b
k
(c
i
)
_
ijk
(a
j
) (b
k
)
_
= V
El volumen es un pseudoescalar mientras que los escalares son invariantes bajo esta transformacion
a
i
a
i
b
i
b
i
_
= w = a
b = a
i
b
i

_
a
i
_
(b
i
) = w
en general tambien tendremos multiplicacion entre algunos de estos objetos, con lo cual construiremos otros
objetos. Dejamos al lector demostrar la siguiente tabla de relaciones
vector vector = escalar
vector pseudovector = pseudoescalar
pseudovector pseudovector = escalar
vector vector = pseudovector
vector pseudovector = vector
pseudovector pseudovector = pseudovector
Figura 1.5: Geometra analtica y vectores cartesianos
1.8. Aplicaciones del algebra vectorial
Uno de los terrenos mas exitosos de las aplicaciones del algebra vectorial es la geometra analtica en el
plano. Esto se realiza en base a la denicion que hicieramos de radio vector, en la cual a cada punto, P, del
espacio le asociabamos un radiovector posicion tal y como lo mostramos en el cuadrante IV de la Figura 1.4
.
P (x, y, z)
_
x
1
, x
2
, x
3
_
r (P) = x + y + z

k = x
1
e
1
+ x
2
e
2
+ x
3
e
3
= x
m
e
m
A partir de esta denicion todas las propiedades geometricas del espacio las podemos construir con vectores.
1.8.1. Rectas y vectores
La ecuacion de la recta en termino de vectores la deniremos jando uno de sus puntos, digamos
r (P
1
)

X (P
1
) =

X
1
= x
1
+ y
1
+ z
1
k = x
1
1
e
1
+ x
2
1
e
2
+ x
3
1
e
3
(x
1
, y
1
, z
1
)
sus puntos y un vector que indique su direccion, digamos

A = A
x
+ A
y
+ A
z

k (ver cuadrante IV de la
Figura 1.5) con lo cual la ecuacion de una recta en lenguaje vectorial sera
X =

X
1
+
A x + y + z

k = x
1
+ y
1
+ z
1

k+
_
A
x
+ A
y
+ A
z

k
_

_
_
x = x
1
+ A
x
y = y
1
+ A
y
z = z
1
+ A
z
donde

X = x + y + z

k el conjunto de puntos genericos que cumple con la ecuacion de la recta en 3D. Si
lo colocamos en funcion de la notacion de ndices, las ecuaciones anteriores son mas evidentes
X =

X
1
+
A x
m
e
m
= x
m
1
e
m
+ A
m
e
m
x
m
= x
m
1
+ A
m
para m = 1, 2, 3
Notese que efectivamente se cumplen tres ecuaciones escalares y cada una de ellas tiene la forma de una
recta. Adem as, tal y como muestra la Figura 1.5 el punto generico (x, y, z) lo describe (sobre la recta) la
variacion del modulo de
mediante la constante de proporcionalidad . Si se requiere describir una recta

que pase por dos puntos, digamos (x
1
, y
1
, z
1
) y (x
2
, y
2
, z
2
) entonces una vez seleccionado uno de los puntos
(digamos (x
1
, y
1
, z
1
)) seleccionamos el vector

A = r (P
2
) r (P
1
) como la resta de los dos radiovectores a los
puntos P
2
y P
1
. Esto es
X =

X
1
+
_
X
2

X
1
_

X =
X
1
+

X
2
1
con =
X
1

X
X
2

X
.
La division entre vectores tiene sentido porque no es una division entre vectores genericos es una division
entre vectores que tienen la misma direccion Notese ademas que, lo mismo ocurre cuando despejamos
de la ecuacion de la recta
=
X

X
1
A
x
m
= x
m
1
+ A
m
=
x
m
x
m
1
A
m
=
x x
1
A
x
=
y y
1
A
y
=
z z
1
A
z
y equivalentemente ocurre cuando despejamos de la ecuacion de la recta que pasa por dos puntos.
=
X

X
1
X
2

X
1
x
m
= x
m
1
+ (x
m
2
x
m
1
) =
x
m
x
m
1
x
m
2
x
m
1
=
x x
1
x
2
x
1
=
y y
1
y
2
y
1
=
z z
1
z
2
z
1
1.8.2. Planos y vectores
Ocurre exactamente lo mismo cuando construimos la ecuacion vectorial para un plano. En general una
supercie la dene su vector normal (perpendicular). En el caso de una supercie plana (un plano) tendra una
unica normal que lo dene. Por lo tanto, un plano vendra denido su vector perpendicular un punto, digamos
P
1
(x
1
, y
1
, z
1
) . La ecuacion vectorial del plano vendra denida por todos los vectores

PQ tales que sean
perpendiculares a un determinado vector

A (ver cuadrante IV de la Figura 1.5). Donde el punto P es un
punto generico (x, y, z) que dene un radiovector. La ecuacion vectorial del plano sera simplemente
A
_
_
_r (P) r (P
1
)
. .
B
_
_
_ = 0

A (r r
1
) = 0

A r =

A r
1
. .
b
Esto es se tiene que cumplir la condicion
_
A
x
+ A
y
+ A
z

k
_
__
x + y + z

k
_
_
x
1
+ y
1
+ z
1

k
__
= 0
_
A
x
+ A
y
+ A
z

k
_
_
(x x
1
) + (y y
1
) + (z z
1
)
k
_
= 0
A
x
(x x
1
) + A
y
(y y
1
) + A
z
(z z
1
) = 0
con lo cual la ecuacion del plano queda como siempre ha sido
A
x
x + A
y
y + A
z
z A
x
x
1
A
y
y
1
A
z
z
1
= 0 A
x
x + A
y
y + A
z
z = b = A
x
x
1
+ A
y
y
1
+ A
z
z
1
Figura 1.6: Vectores variables
es decir, de manera mas compacta
A
m
x
m
A
j
x
j
1
= 0 A
k
x
k
= b = A
l
x
l
1
Es claro que

A r
1
= b es la proyeccion del radiovector r (P
1
) sobre la perpendicular que dene al plano. Por
lo tanto sera la distancia entre el plano y el origen de coordenadas. Si b = 0 el plano pasa por el origen de
coordenadas.
Consideremos ahora el cuadrante IV de la Figura 1.5. All estan especicados tres puntos en el espacio
caracterizados por sus correspondientes radiovectores posicion, r (P
1
) = r
1
, r (P
2
) = r
2
y r (P
3
) = r
3
. Estos
tres puntos seran coplanares si
(r
1
r
2
) ((r
2
r
3
) (r
3
r
1
)) = 0
mnl
(x
m
1
x
m
2
) (x
n
2
x
n
3
)
_
x
l
3
x
l
1
_
= 0
y la ecuacion del plano vendra dada por
(r r
1
) ((r
2
r
1
) (r
3
r
1
)) = 0 = 0
1.9. Un comienzo a la derivacion e integraci on de vectores
1.9.1. Vectores variables,
Los vectores podran ser constantes o variables. Ahora bien esa caracterstica se vericara tanto en las
componentes como en la base. Esto quiere decir que cuando un vector es variable podran variar su modulo, su
direccion, su sentido o todo junto o separado. Obviamente esta variabilidad del vector dependera de la base
en la cual se exprese, por lo cual un vector podra tener una componente constante en una base y constante
en otra.
a (t) = a
k
(t) e
k
(t) = a
m
e
m
(t) = a
j
(t)e
j
(t)
Notese que hemos utilizado una base e
k
(t) de vectores variables a diferencia de la tradicional base de
vectores cartesianos, los cuales son constantes en modulo direccion y sentido (ver los cuadrantes I y II
de la Figura 1.6). Mas a un, tal y como se muestra en cuadrante IIc de la Figura 1.6 todo vector variable
podra ser expresado como la suma de uno variable, a (t) , mas otro constante c
A(t) = a (t) +c
1.9.2. Derivacion
De esta manera, cuando uno piensa en un vector variable a (t) a (t) uno rapidamente piensa en
establecer un cociente incremental tal y como se muestra en
lm
t0
a (t + t) a (t)
t
= lm
t0
a (t)
t
=
da (t)
dt
el cuadrante IV de la Figura 1.6 ilustra gracamente este cociente incremental. Como siempre, las propiedades
de esta operacion derivacion seran
d
_
a (t) +
b (t)
_
dt
=
d (a (t))
dt
+
d
_
b (t)
_
dt
d ((t)a (t))
dt
=
d ((t))
dt
a (t) + (t)
d (a (t))
dt
d
_
a (t)
b (t)
_
dt
=
_
d (a (t))
dt
_
b (t) +a (t)
_
_
d
_
b (t)
_
dt
_
_
d
_
a (t)
b (t)
_
dt
=
d (a (t))
dt

b (t) +a (t)
d
_
b (t)
_
dt
Ahora bien, esto implica que
a (t) = a
k
(t) e
k
(t) =
d (a (t))
dt
=
d
_
a
k
(t) e
k
(t)
_
dt
=
d a
k
(t)
dt
e
k
(t) + a
k
(t)
d (e
k
(t))
dt
con lo cual hay que tener cuidado al derivar vectores y cerciorarse de la dependencia funcional de base y
componentes. Habra sistemas de coordenadas (bases de vectores) que seran constantes y otros en los cuales
sus vectores bases cambiaran en su direccion. El primer termino representa la variacion del modulo y el
segundo muestra la contribucion de los cambios en direccion del vector. Mas a un, mostraremos apoyandonos
en la ilustracion del cuadrante el cuadrante III de la Figura 1.6 que, independientemente del sistema de
coordenada el cambio en el modulo apunta en la direccion del vector, mientras que las contribuciones en
direccion apuntan en la direccion perpendicular al vector. Esto es
d (a (t))
dt
=
d ([a (t)[)
dt
u
a
+[a (t)[ u
a
con u
a
u
a
= 0
Es facil convencernos de la forma del primer termino. Siempre podemos representar un vector como su
modulo y un vector unitario en la direccion apropiada. Esto es
a (t) = [a (t)[ u
a
=
d (a (t))
dt
=
d ([a (t)[ u
a
(t))
dt
=
d [a (t)[
dt
u
a
(t) +[a (t)[
d ( u
a
(t))
dt
adicionalmente
[a (t)[
2
= a (t) a (t) =
d
_
[a (t)[
2
_
dt

d (a (t) a (t))
dt
= 2 [a (t)[
d ([a (t)[)
dt
2a (t)
d (a (t))
dt
con lo cual
d ([a (t)[)
dt
2
a (t)
2 [a (t)[
. .
ua(t)
d (a (t))
dt
=
d ([a (t)[)
dt
= u
a
(t)
d (a (t))
dt
para que nalmente
u
a
(t)
d (a (t))
dt
= u
a
(t)
_
d [a (t)[
dt
u
a
(t) +[a (t)[
d ( u
a
(t))
dt
_
=
_
_
u
a
(t)
d (a (t))
dt
=
d [a (t)[
dt
u
a
(t)
d ( u
a
(t))
dt
= 0
Es decir que el cambio en el modulo de un vector se maniesta en la direccion del mismo vector, tal y
como era intuitivo suponer. Adicionalmente vemos que el vector siempre sera perpendicular a su derivada.
Gracamente podemos apreciarlo en el cuadrante IV de la Figura 1.6 , pero tambien surge analticamente
de si derivamos el vector unitario en la direccion de a (t)
d ( u
a
(t) u
a
(t))
dt

d
_
[ u
a
(t)[
2
_
dt
=
d (1)
dt
0 = u
a
(t)
d ( u
a
(t))
dt
= u
a
(t)
d ( u
a
(t))
dt
es decir
d (a (t))
dt
=
d ([a (t)[ u
a
(t))
dt
=
d [a (t)[
dt
u
a
(t) +[a (t)[
d ( u
a
(t))
dt
=
d ([a (t)[)
dt
u
a
+[a (t)[ u
a
Supongamos que denimos un vector

= u
n
con
_
_
_
u
n
u
a
u
n
u
a
_
_
_
=
_
_
u
n
u
a
= u
a
u
a
u
n
= u
a
u
a
u
a
= u
n
_
_
donde es el angulo de rotacion del vector a (t) (ver cuadrante V de la Figura 1.6) Claramente
a
= a (t + t) sen () u
a
a (t + t) u
a
= a
=

a (t) =
a
t

_
a
t
a
_
a
t
a (t) =
_
d (a (t))
dt
u
a
_
u
a
=
d ( (t))
dt
u
n
a (t) = a (t)
donde hemos identicado =
d((t))
dt
u
n
Entonces podemos ir mas alla. Observando el cuadrante V de la
Figura 1.6 vemos que si suponemos que el modulo del vector es constante, entonces
d [a (t)[
dt
= 0 =
d (a (t))
dt
= [a (t)[ u
a
=
_
d (a (t))
dt
u
a
_
u
a
= a (t)
1.9.3. Velocidades y aceleraciones
As, el radio vector posicion de una partcula genera los vectores velocidad y aceleracion.
r = r (t) =v (t) =
d (r (t))
dt
=a (t) =
d (v (t))
dt
=
d
2
(r (t))
dt
2
ahora bien
r = r (t)
P
u
r
= x
P
+ y
P
+ z
P
k con u
r
= cos + sen
si suponemos que la partcula describe un movimiento entonces
r
P
= r
P
(t)
= (t)
_
_
_

_
_
_
x = x(t)
y = y (t)
z = z (t)
; u
r
= u
r
(t) ;
= const
= const
k = const
con lo cual
d ( u
r
)
dt
=
d (cos (t) + sen (t) )
dt
= (sen (t))
d (t)
dt
+ cos (t)
d (t)
dt

d ( u
r
)
dt
=
d (t)
dt
[(sen (t)) + cos (t)]
. .
u
=
d (t)
dt
u
ya que
| u
r
| =
_
u
r
u
r
=
_
[cos (t) + sen (t) ] [cos (t) + sen (t) ] = 1
| u
| =
_
u
=
_
[(sen (t)) + cos (t) ] [(sen (t)) + cos (t)] = 1
y
u
u
r
= u
r
u
= [(sen (t)) + cos (t) ] [cos (t) + sen (t) ] = 0

Mas a un
d ( u
)
dt
=
d ((sen (t)) + cos (t) )
dt
= (cos (t) + sen (t) ) =
d (t)
dt
u
r
Con lo cual, una partcula que describe un movimiento generico vendra descrita en coordenadas cartesianas
por
r = x
P
(t) + y
P
(t) + z
P
(t)

k
y su velocidad sera
v (t) =
dr (t)
dt
=
d
_
x
P
(t) + y
P
(t) + z
P
(t)
k
_
dt
=
d (x
P
(t))
dt
+
d (y
P
(t))
dt
+
d (z
P
(t))
dt
k
= v
xP
(t) + v
yP
(t) + v
zP
(t)
k
y la aceleracion
a (t) =
d (v
xP
(t))
dt
+
d (v
yP
(t))
dt
+
d (v
zP
(t))
dt
k = a
xP
(t) + a
yP
(t) + a
zP
(t)
k
Mientras que en coordenadas polares sera
r (t) = r
P
(t) u
r
(t) =v (t) =
d (r (t)
P
u
r
(t))
dt
=
d (r (t)
P
)
dt
u
r
(t) + r (t)
P
d ( u
r
(t))
dt
con lo cual la velocidad
v (t) = v
r
(t)
P
u
r
(t) + r (t)
P
d (t)
dt
u
(t)
y la aceleracion
a (t) =
d (v (t))
dt
=
d
_
dr (t)
P
dt
u
r
(t) + r (t)
P
d (t)
dt
u
(t)
_
dt
=
d (v
r
(t)
P
u
r
(t))
dt
+
d
_
r (t)
P
d (t)
dt
u
(t)
_
dt
a (t) =
d
_
dr (t)
P
dt
_
dt
u
r
(t) +
dr (t)
P
dt
d ( u
r
(t))
dt
+
dr (t)
P
dt
d (t)
dt
u
(t) + r (t)
P
d
2
(t)
dt
2
u
(t) + r (t)
P
d (t)
dt
d ( u
(t))
dt
a (t) =
_
_
d
_
dr (t)
P
dt
_
dt
r (t)
P
_
d (t)
dt
_
2
_
_
u
r
(t) +
_
2
dr (t)
P
dt
d (t)
dt
+ r (t)
P
d
2
(t)
dt
2
_
u
(t)
Claramente para el caso de un movimiento circular
r = R = const =
dR
dt
= 0 =
_
_
r (t) = R u
r(t)
v (t) = R
d (t)
dt
u
a (t) = R
_
d (t)
dt
_
2
u
r
(t) + R
d
2
(t)
dt
2
u
(t)
De aqu podemos ver claramente que velocidad v (t) y posicion r (t) son ortogonales. La velocidad, v (t) ,
siempre es tangente a la trayectoria r (t) y en este caso la trayectoria es una circunferencia. En general el
vector
r
med
=
i
r (t
i
) =
i
(r (t
i
+ t
i
) r (t
i
)) = lm
t0
i
r (t
i
) =
_
dr (t) = r (t)
es decir dr (t) = lm
t0
i
r (t
i
) es tangente a la trayectoria. Es claro que
dr (t) = d
_
x
P
(t) + y
P
(t) + z
P
(t)
k
_

x
P
(t)
t
+
y
P
(t)
t
+
z
P
(t)
t
k
Tal y como mencionamos arriba, para el sistema de coordenadas cartesiano podemos denir un vector
(en este caso) velocidad angular

_
_

[ [
u
r
= u
v
u
v

[ [
= u
r
u
r
u
v
=

[ [
_
_
= v (t) = r (t)
Supongamos por que, simplicidad, elegimos el sistema de coordenadas cartesiano tal que r este el plano x, y.
En este caso es inmediato comprobar que v
i
=
ijk
j
x
k
y dado que r y v tienen unicamente componentes
1, 2 entonces, necesariamente tiene componente 3. Es decir
r = r
i
e
i
v = v
i
e
i
_
_
_
=
_
_
_
v
1
=
1j2
j
x
2
v
2
=
2j1
j
x
1
_
_
_
= =
3
3
[ [ e
3
[ [
k
como
r = x
P
(t) + y
P
(t)
v (t) =
d (r (t))
dt
= v
xP
(t) + v
yP
(t) = r (t) =
d ( (t))
dt
k (x
P
(t) + y
P
(t) )
como se ve mas claro es en coordenadas polares, esto es
v (t) =
d (r (t))
dt
= r (t)
P
d (t)
dt
u
(t) = ([ [ u
n
(t)) (r (t)
P
u
r
(t))
[r (t)[ = const
r (t)
P
d (t)
dt
. .
v
(t)
u
(t) = [ [ r (t) u
(t) =
d (t)
dt
[ [
1.9.4. Vectores y funciones
Antes de continuar con la integracion repensemos algunas funciones de tipo (x, y, z) y

V (x, y, z) . Son,
sin duda funciones de varias variables
= (x, y, z)
V =

V (x, y, z) =V
x
(x, y, z) +V
y
(x, y, z) +
kV
z
(x, y, z)
un par de reexiones se pueden hacer en este punto. Primeramente, dado que hemos relacionado un punto
del espacio con un radio vector posicion, entonces
P
(x,y,z)
(x, y, z) r = x
P
+ y
P
+ z
P

k
_
_
_
= (x, y, z) (r)
V =

V (x, y, z)

V (r)
La primera funcion, (r) sera una funcion escalar de argumento vectorial o, simplemente un campo escalar
y la segunda se conoce como una funcion vectorial de argumento vectorial o campo vectorial. Como hemos
dicho este tipo de funciones y las operaciones que pueden ser realizadas con ellas, as como tambien su
signicado, sera analizada en detalle mas adelante en este mismo curso.
En segundo lugar, siempre podremos parametrizar las coordenadas y tendremos
= (t) = (x(t) , y (t) , z (t))
V =

V (t) =

V (x(t) , (t) y, z (t))
V =V
x
(x(t) , y (t) , z (t)) +V
y
(x(t) , y (t) , z (t)) +
kV
z
(x(t) , y (t) , z (t))
Este caso lo hemos encontrado en montones de situaciones. El movimiento parabolico viene descrito por un
vectores velocidad y posicion
v =
kgt +v
0
=
kgt +
_
v
0x
+v
0y
+
kv
0z
_

_
_
_
v
x
= v
0x
v
y
= v
0x
v
z
= v
0z
gt
r =
k
g
2
t
2
+v
0
t =
kg
t
2
2
t +
_
v
0x
+v
0y
+
kv
0z
_
t
_
_
x = v
0x
t
y = v
0x
t
z = v
0z
t g
t
2
2
Derivada de funciones (r (t))
Al derivar una funcion de argumento vectorial tambien aplica la regla de la cadena. Esto es
z = (r (t)) = g (x(t) , y (t) , z (t))
d (r (t))
d t
=
(x(t) , y (t) , z (t))
x
d x(t)
d t
+
(x(t) , y (t) , z (t))
y
d y (t)
d t
+
(x(t) , y (t) , z (t))
z
d z (t)
d t
d (r (t))
d t
=
_
(x, y, z)
x
+
(x, y, z)
y
+
(x, y, z)
z
k
__
d x(t)
d t
+
d y (t)
d t
+
d z (t)
d t
k
_
d (r (t))
d t
=

(x(t) , y (t) , z (t))
d r (t)
d t
donde hemos representado
(r (t)) =
(x, y, z)
x
+
(x, y, z)
y
+
(x, y, z)
z
k =
m
(x, y, z) e
m
=
,m
(x, y, z)
m
y lo llamaremos el gradiente de la funcion. El gradiente de un campo escalar es uno de los objetos mas utiles,
el cual lo utilizaremos, por ahora de manera operacional y recordaremos que emerge como consecuencia de
una derivaci on contra un parametro. El gradiente mide el cambio del la funcion (x, y, z).
La idea de gradiente nos lleva a considerar al

como un operador vectorial que act ua sobre la funcion
escalar de variable vectorial (r (t)) . Es decir con un poquito de imaginacion
(r (t))
_

x
+

y
+

z
k
_
(x, y, z) = (e
m
m
) (x, y, z)
() =
_
()
x
+
()
y
+
()
z
k
_
= e
m
m
()
Derivada de funciones c (r (t))
De modo que inspirados en la regla de la cadena de una funcion escalar de variable vectorial comprobamos
que
d c
dt
=
d c
x
(x, y, z)
dt
+
d c
y
(x, y, z)
dt
+
d c
z
(x, y, z)
dt
k =
d c
m
(x, y, z)
dt
e
m
por consiguiente, si c, tiene por componentes cartesianas (c
x
, c
y
, c
z
) las componentes del vector derivado
seran
_
d cx
dt
,
d cy
dt
,
d cz
dt
_
. Con lo cual cada componente
d c
m
(x(t) , y (t) , z (t))
dt
=
d c
m
(x
n
(t))
dt
=
c
m
(x
n
)
x
l
d x
l
(t)
dt
=
_
d r (t)
d t

_
c
m
(x, y, z)
es decir, en terminos vectoriales
d c
dt
=
_
d r (t)
d t

_
c
_
v

_
c
d ()
dt
=
_
v

_
() v
i
i
()
con v la derivada del radiovector posicion r (t), es decir, la velocidad. Es decir, estamos viendo el cambio del
vector c respecto al tiempo es el cambio de sus componentes en la direccion de la velocidad.
Si se nos ocurre calcular la derivada del vector velocidad para encontrar la aceleracion tendremos que
nos queda expresada como
a =
d v
dt
=
_
v

_
v a
i
=
_
v

_
v
i
donde las componentes cartesianas de los vectores velocidad y aceleracion son v
i
= v
i
(x(t) , y (t) , z (t))
y a
i
= a
i
(x(t) , y (t) , z (t)) , respectivamente.
1.9.5. El vector gradiente
El operador vectorial

() merece un poco de atencion en este nivel. Tal y como hemos visto
(x, y, z) =
_
(x, y, z)
x
+
(x, y, z)
y
+
k
(x, y, z)
z
_
(x, y, z) = e
1
1
(x, y, z) +e
2
2
(x, y, z) +e
3
3
(x, y, z)
Con el operador nabla

() realizaremos operaciones igual como un vector com un y corriente. As en el caso

E se denomina rotor de

E viene denido por

E =
_

x
+

y
+
k

z
_
_
E
x
+ E
y
+ E
z
k
_
=

E =
_
E
z
y

E
y
z
_
+
_
E
x
z

E
z
x
_
+
_
E
y
x

E
z
y
_

E = e
i
ijk
j
E
k
Tambien tendremos el producto escalar de nabla por un vector. Esta operacion la llamaremos divergencia
a =
a
i
_
x
j
_
x
i

i
a
i
_
x
j
_

a
x
(x, y, z)
x
+
a
y
(x, y, z)
y
+
a
z
(x, y, z)
z
pero por ahora consideremos nabla

como un vector. De este modo habra cantidad de relaciones vectoriales
que involucren a

las cuales se podran demostrar. Veamos
1.

_
a
b
_
=
_
a

b +
_
_
a +a
_
b
_
+
b
_
a
_
El resultado es un gradiente, es decir un vector. El lado izquierdo sera
_
_
a
b
__
i
=
i
_
a
b
_
=
i
_
a
j
b
j
_
=
_
i
a
j
_
b
j
+
_
i
b
j
_
a
j
mientras que el lado derecho
_
_
a
b
__
i
=
_
a
j
j
_
b
i
+
_
b
j
j
_
a
i
+
ijk
a
j
_
b
_
k
+
ijk
b
j
_
a
_
k
=
_
a
j
j
_
b
i
+
_
b
j
j
_
a
i
+
ijk
a
j
kmn
m
b
n
+
ijk
b
j
kmn
m
a
n
=
_
a
j
j
_
b
i
+
_
b
j
j
_
a
i
+
ijk
mnk
a
j
m
b
n
+
ijk
mnk
b
j
m
a
n
=
_
a
j
j
_
b
i
+
_
b
j
j
_
a
i
+
_
i
m
j
n

j
m
i
n
_
a
j
m
b
n
+
+
_
i
m
j
n

j
m
i
n
_
b
j
m
a
n
= a
j
j
b
i
+ b
j
j
a
i
+
i
m
j
n
a
j
m
b
n
j
m
i
n
a
j
m
b
n
+
+
i
m
j
n
b
j
m
a
n
j
m
i
n
b
j
m
a
n
= a
j
j
b
i
+ b
j
j
a
i
+ a
n
i
b
n
a
m
m
b
i
+ b
n
i
a
n
b
m
m
a
i
= a
j
j
b
i
a
m
m
b
i
. .
=0
+ b
j
j
a
i
b
m
m
a
i
. .
=0
+ a
n
i
b
n
+ b
n
i
a
n
= a
n
i
b
n
+ b
n
i
a
n
=
i
_
a
j
b
j
_
=
i
_
a
b
_
2.

_
a

_
a =
_
a
__
a
_
a
__
a +
_
a

__
a
_
__
a
_
_
a
Iniciamos la traduccion a ndices por el lado izquierdo de la ecuacion as
_
a

_
a =
ijk
j
(a
m
m
) a
k
=
ijk
(
j
a
m
)
m
a
k
+
ijk
a
m
m
a
k
=
ijk
(
j
a
m
)
m
a
k
+ a
m
m
_
ijk
j
a
k
_
el lado derecho lo traduciremos termino por termino
_
a
__
a
_
= (
m
a
m
)
_
ijk
j
a
k
_
a
__
a =
_
mjk
j
a
k
a
i
=
_
mjk
j
a
k
a
i
= 0
_
a

__
a
_
= a
m
m
_
ijk
j
a
k
_
__
a
_
_
a =
__
mjk
j
a
k
_
a
i
el segundo termino se anula por cuanto
mjk
es antisimetrico respecto a los ndices mj mientras que
j
es simetrico. El tercer termino del desarrollo del lado derecho corresponde con el segundo del
desarrollo del lado izquierdo. Por cual llegamos a la siguiente igualdad
ijk
(
j
a
m
)
m
a
k
= (
m
a
m
)
_
ijk
j
a
k
_
__
mjk
j
a
k
_
a
i
Para vericar la igualdad tendremos que evaluar componente a componente. Esto es para el lado
izquierdo
1jk
(
j
a
m
)
m
a
k
=
123
(
2
a
m
)
m
a
3
+
132
(
3
a
m
)
m
a
2
= (
2
a
m
)
m
a
3
(
3
a
m
)
m
a
2
= (
2
a
1
)
1
a
3
+ (
2
a
2
)
2
a
3
+ (
2
a
3
)
3
a
3
(
3
a
1
)
1
a
2
(
3
a
2
)
2
a
2
(
3
a
3
)
3
a
2
mientras que para el primer termino del lado derecho
(
m
a
m
)
_
1jk
j
a
k
_
= (
m
a
m
)
_
123
2
a
3
_
+ (
m
a
m
)
_
132
3
a
2
_
=
2
a
3
1
a
1
. .
+
2
a
3
2
a
2
+
2
a
3
3
a
3
3
a
2
1
a
1
. .
3
a
2
2
a
2

2
a
2
3
a
3
y el segundo termino se escribe como
__
mjk
j
a
k
_
a
i
=
_
1jk
j
a
k
_
1
a
1
2jk
j
a
k
_
2
a
1
3jk
j
a
k
_
3
a
1
= (
2
a
3

3
a
2
)
1
a
1
(
3
a
1

1
a
3
)
2
a
1
(
1
a
2

2
a
1
)
3
a
1
=
3
a
2
1
a
1
. .
2
a
3
1
a
1
. .
+
1
a
3
2
a
1
3
a
1
2
a
1
. .
+
2
a
1
3
a
1
. .
1
a
2
3
a
1
al sumar ambos terminos se eliminan los sumandos indicados con letras griegas, y queda como
(
m
a
m
)
_
1jk
j
a
k
_
__
mjk
j
a
k
_
a
i
=
2
a
3
2
a
2
+
2
a
3
3
a
3
3
a
2
2
a
2
2
a
2
3
a
3
+
1
a
3
2
a
1
1
a
2
3
a
1

y al compararlo con el desarrollo del lado derecho e identicar termino a termino queda demostrado
1jk
(
j
a
m
)
m
a
k
= (
2
a
1
)
1
a
3
+ (
2
a
2
)
2
a
3
+ (
2
a
3
)
3
a
3
(
3
a
1
)
1
a
2
(
3
a
2
)
2
a
2
(
3
a
3
)
3
a
2
De igual manera se procede con i = 2 e i = 3

1.9.6. Integraci on
Despues de haber diferenciado campos escalares y vectoriales, el siguiente paso es integrarlos. Encontra-
remos varios objetos vectoriales a integrar seran:
_

V (u) d u integracion de un vector por un escalar
_
c
(x, y, z) d r integracion de un escalar a lo largo de un vector
_
c
V (x, y, z) d r integracion de un vector a lo largo de otro vector

_
c
V (x, y, z) d r integracion de un vector por otro vector

el primero de casos es el tipo de integral que siempre hemos utilizado para encontrar la posicion a partir
de la velocidad. Los siguientes tres casos se conocen con el nombre de integrales de lnea por cuanto es
importante la ruta o trayectoria que sigamos al integrar. Esto aparece indicado por la letra C en la
integral y sera evidente mas adelante. En general la integral de lnea dependera de la trayectoria.
Un vector por un escalar
El primer caso de este tipo integrales es el trivial que siempre hemos utilizado:
_

V (u) d u =
_
V
x
(u) d u +
_
V
y
(u) d u +
k
_
V
z
(u) d u =
__
V
i
(u) d u
_
e
i
La integral de un vector (en un sistema de coordenadas cartesianas) por un escalar se convierte en una suma
de tres integrales de siempre, cada una a lo largo de las componentes cartesianas del vector.
As integramos la aceleracion de un movimiento parabolico
d v
dt
= a = g
k =v =
_
a dt =

k
_
g dt =
kgt +v
0
=
kgt +v
0x
+v
0y
+
kv
0z
Ahora bien, existen sutilezas en este caso que debemos tener en cuenta. Por ejemplo considere la integral
_
dt
_
a
d
2
a
dt
2
_
=
_
dt
_
d
dt
_
a
d a
dt
_
d a
dt

d a
dt
_
=
_
dt
d
dt
_
a
d a
dt
_
= a
d a
dt
+c
Pero en general los casos quedan resueltos integrando componente a componente con la ayuda de la notacion
de ndices
_
dt
_
a
b
_
=
__
dt
_
ijk
a
j
b
k
_
_
[e
i
Quiza uno de los problemas que ilustra mejor esta situacion es el movimiento bajo fuerzas centrales. La Ley
de Gravitaci on de Newton nos dice que
F = m a = m
d v
dt
= m G
M
r
2
mM
u
r
=
d v
dt
= G
M
r
2
mM
u
r
Es costumbre denir la velocidad aerolar, v
A
, como el area barrida por el radio vector posicion, r (t) que
describe la trayectoria de la partcula
2v
A
= r
d r
dt
= r u
r

d (r u
r
)
dt
= r u
r

_
d r
dt
u
r
+ r
d u
r
dt
_
= r u
r
r
d u
r
dt
= r
2
u
r

d u
r
dt
Notese que si c es un vector constante
d
dt
_
u
r

d u
r
dt
_
= 0 = u
r

d u
r
dt
= c = 2v
A
= r
2
u
r

d u
r
dt
= const
con lo cual
d
dt
(v v
A
) =
d v
dt
v
A
= G
M
r
2
mM
u
r
v
A
=
MG
2
_
u
r

_
u
r

d u
r
dt
__
d
dt
(v v
A
) =
MG
2
__
u
r

d u
r
dt
_
u
r
( u
r
u
r
)
d u
r
dt
_
=
MG
2
d u
r
dt
integrando
v v
A
=
MG
2
u
r
+ p
donde p es un vector arbitrario de constante de integracion. Finalmente nos damos cuenta que
r (v v
A
) = r u
r

_
MG
2
u
r
+ p
_
=
MG
2
r + rp cos
r (v v
A
) =
ijk
r
i
v
j
v
Ak
v
A
(r v) = v
A
v
A
= v
2
A
y entonces
v
2
A
=
MG
2
r + rp cos = r =
v
2
A
MG
2
+ p cos
2v
2
A
MG
1 +
2p
MG
cos
que constituye la ecuacion de una conica.
Un escalar a lo largo de un vector
_
c
(r) dr
El segundo objeto que tropezaremos es la integracion de funciones de varias a lo largo de una curva
determinada. Esto es
_
c
(x, y, z) dr =
_
c
(x, y, z)
_
dx + dy + dz

k
_
=
_
c
(x, y, z) d x+
_
c
(x, y, z) d y+
k
_
c
(x, y, z) d z
la integral se nos ha convertido en tres integrales, las cuales son ahora componentes de un vector. Esto
es posible dado que la base
_
,,
k
_
es una base constante. Ahora bien, cada una de estas integrales son
interdependientes, dado que hay que seguir la misma curva c. Consideremos el caso bidimensional que es
mas simple y contiene toda la riqueza conceptual del tridimensional. As
(x, y) = 3x
2
+ 2y =
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
dr =
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
d x +
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
d y
Se requiere especicar la curva c a lo largo de la cual integraremos desde el punto P
1
(0, 0) al punto
P
2
(1, 2) . Si recorremos la ruta (0, 0) (1, 0) (1, 2) tendremos que
(0, 0) (1, 0) = y = cte = 0 =
_
(1,0)
(0,0)
_
3x
2
+ 2y
_
dr =
_
(1,0)
(0,0)
_
3x
2
+ 2y
_
dx =
_
1
0
_
3x
2
_
dx =
(1, 0) (1, 2) = x = cte = 1 =
_
(1,0)
(0,0)
_
3x
2
+ 2y
_
dr =
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
dy =
_
2
0
(3 + 2y) dy = 10
con lo cual
c
1
(0, 0)
c
A
1
(1, 0) (1, 2)
c
B
1
=
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
dr = + 10
si hubieramos seleccionado la recta que une a estos dos puntos como la curva c
2
entonces
c
2
y = 2x = d y = 2d x
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
dr =
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
d x +
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
d y
_
(1,2)
(0,0)
_
3x
2
+ 2y
_
dr =
_
1
0
_
3x
2
+ 2 (2x)
_
d x +
_
1
0
_
3x
2
+ 2 (2x)
_
2dx = 3+6
En general la curva c se parametrizara y las integrales en varias variables se convertiran en integrales a lo
largo del parametro que caracteriza la curva
c
_
_
_
x = x()
y = y ()
z = z ()
_
_
_
_
c
(x, y, z) dr =
_
c
(x() , y () , z ())
_
x()
d +
y ()
d +
z ()
d

k
_
_
c
(x, y, z) dr =
_
c
(x() , y () , z ())
x()
d +
_
c
(x() , y () , z ())
y ()
d
+
k
_
c
(x() , y () , z ())
z ()
d
las parametrizaciones para las curvas anteriores son muy simples
c
A
1
=
_
_
_
x =
y = 0
; c
B
1
=
_
_
_
x = 2
y =
; c
2
=
_
_
_
x =
y = 2
Un vector a lo largo de otro vector
_
c
F (r) dr
Quiza la integral de lnea mas conocida sea una del tipo
_
c
F (r) dr por cuanto nos la hemos tropezado

en el calculo del trabajo de que realiza una fuerza. Todo lo que hemos considerado al parametrizar la curva
en el caso anterior, sigue siendo valido.
_
c
F (r) dr =
_
c
F
x
(x, y, z) dx +
_
c
F
y
(x, y, z) dy +
_
c
F
z
(x, y, z) dz =
_
c
F
i
_
x
j
_
dx
i
Por lo cual, si consideramos
F (r) =
_
3x
2
+ 2xy
3
_
+6xy
_
(1,
3
4
2)
(0,0)
F (r) dr =
_
(1,
3
4
2)
(0,0)
__
3x
2
+ 2xy
3
_
+6xy
_
(dx + dy )
_
(1,
3
4
2)
(0,0)
F (r) dr =
_
(1,
3
4
2)
(0,0)
_
3x
2
+ 2xy
3
_
dx +
_
(1,
3
4
2)
(0,0)
6xy dy
y si la curva que une esos puntos viene parametrizada por
x = 2
2
y =
3
+
_
_
_
=
_
_
_
x()
= 4
y()
= 3
2
+ 1
_
_
_
=
entonces la primera de las integrales resulta
_
(1,
3
4
2)
(0,0)
_
3x
2
+ 2xy
3
_
dx =
_
_
3
_
2
2
_
2
+ 2
_
2
2
_ _
3
+
_
3
_
(4) d
_
(1,
3
4
2)
(0,0)
_
3x
2
+ 2xy
3
_
dx =
_

2
2
0
_
12
5
+ 4
12
+ 12
10
+ 12
8
+ 4
6
_
d =
1
4
+
9305
96 096
2
y la segunda
_
(1,
3
4
2)
(0,0)
6xy dy =
_

2
2
0
6
_
2
2
_ _
3
+
_ _
3
2
+ 1
_
d =
65
32
con lo cual
_
(1,
3
4
2)
(0,0)
F (r) dr =
_
(1,
3
4
2)
(0,0)
_
3x
2
+ 2xy
3
_
dx +
_
(1,
3
4
2)
(0,0)
6xy dy =
73
32
+
9305
96 096
2
1.10. Vectores y n umeros complejos
Desde la mas tierna infancia matematica nos hemos tropezado con las llamadas races imaginarias o
complejas de polinomios. De este modo la solucion a un polinomio c ubico
x
3
3x
2
+ 4x 12 = 0 =
_
_
_
x = 2i
x = 2i
x = 3
_
_
_
= (x + 2i) (x 2i) (x 3) = 0
o cuadratico
x
2
+ 4 = 0 =
_
x = 2i
x = 2i
_
= (x + 2i) (x 2i)
nos lleva a denir un n umero i
2
= 1 i =
1 como vimos arriba al multiplicar el n umero imaginario i

por cualquier n umero real obtendremos el n umero imaginario puro bi, con b 1. La nomenclatura n umeros
imaginarios surgio de la idea de que estas cantidades no representan mediciones fsicas. Esa idea ha sido
abandonada pero el nombre quedo.
1.10.1. Los n umeros complejos y su algebra
Un n umero complejo, z, es la generalizacion de los n umeros imaginarios (puros), ib. Esto es
z = a + ib con a, b 1 =
_
_
_
a parte real
b parte imaginaria
Obviamente los n umeros reales seran a + i0 n umeros complejos con su parte imaginaria nula. Los n umeros
imaginarios puros seran n umeros complejos con su parte real nula, esto es 0 +ib. Por ello en general diremos
que
z = a + ib = a = Re (z) b = Im(z)
es decir, a corresponde a la parte real de z y b a su parte imaginaria.
Cada n umero complejo, z, tendra un n umero complejo conjugado, z
tal que
z = a + ib z
= a ib
(z
= z z z
= a
2
+ b
2
claramente
z z
0 = [z[
2
= [z
[
2
= z z
Es importante se nalar que, en general, no existe relacion de orden entre los n umeros complejos. Vale
decir, que no sabremos si un n umero complejo es mayor que otro. No esta denida esta operacion.
z
1
z
2
z
1
z
2
las relaciones de orden solo se podran establecer entre modulos de n umeros complejos y no n umeros complejos
en general.
Rapidamente recordamos el algebra de los n umeros complejos:
dos n umeros complejos seran iguales si sus partes reales e imaginarios lo son
z
1
= z
2
= (a
1
+ ib
1
) = (a
2
+ ib
2
) = a
1
= a
2
b
1
= b
2
se suman dos n umeros complejos sumando sus partes reales y sus partes imaginarias.
z
3
= z
1
+ z
2
= (a
1
+ ib
1
) + (a
2
+ ib
2
) = (a
1
+ a
2
)
. .
a3
+ i(b
1
+ b
2
)
. .
b3
= a
3
+ ib
3
claramente z + z
= 2 Re z tambien z z
= 2 Imz. Igualmente es inmediato comprobar que

(z
1
+ z
2
)
= z
1
+ z
2
se multiplican n umeros complejos por escalares multiplicando el escalar por sus partes reales e imagi-
narias
z
3
= z
1
= (a
1
+ ib
1
) = (a
1
) + i (b
1
)
se multiplican n umeros complejos entre si, multiplicando los dos binomios y teniendo cuidad que
i
2
= 1.
z
3
= z
1
z
2
= (a
1
+ ib
1
) (a
2
+ ib
2
) = (a
1
a
2
b
1
b
2
) + i (a
1
b
2
+ b
1
a
2
)
tambien es inmediato comprobar que (z
1
z
2
)
= z
1
z
2
se dividen n umeros complejos siguiendo la estrategia de racionalizacion de fracciones irracionales. Esto
es
z
3
=
z
1
z
2
=
(a
1
+ ib
1
)
(a
2
+ ib
2
)
=
(a
1
+ ib
1
)
(a
2
+ ib
2
)
(a
2
ib
2
)
(a
2
ib
2
)
=
a
1
a
2
+ b
1
b
2
(a
2
2
+ b
2
2
)
+ i
b
1
a
2
a
1
b
2
(a
2
2
+ b
2
2
)
es claro que el divisor sera cualquier n umero complejo excepto el cero complejo, 0 + i0
1.10.2. Vectores y el plano complejo
Mirando con cuidado el algebra de n umeros complejos nos damos cuenta que un n umero complejo puede
ser representado por una dupla de n umeros complejos es decir,
z = (a + ib) z = (a, b)
las propiedades entre n umeros complejos de igualdad, suma y multiplicacion por un escalar arriba expuestas se
cumplen de forma inmediata con esta nueva representacion. Hay que denir las operaciones de multiplicacion
y division entre n umeros complejos de forma que
(a
1
, b
1
) (a
2
, b
2
) = (a
1
a
2
b
1
b
2
, a
1
b
2
+ b
1
a
2
)
(a
1
, b
1
)
(a
2
, b
2
)
=
_
a
1
a
2
+ b
1
b
2
(a
2
2
+ b
2
2
)
,
b
1
a
2
a
1
b
2
(a
2
2
+ b
2
2
)
_
Esta asociacion de un n umero complejo con una pareja de n umeros inmediatamente nos lleva a imaginar
un punto en un plano (complejo) en el cual la primera componente (horizontal) representa la parte real
y la segunda componente (vertical) representa la parte imaginaria. De esta forma asociamos a un n umero
complejo a un vector que une a ese punto (a, b) con el origen del plano complejo. Esta representacion de
n umeros complejos como vectores un el plano (complejo) de conoce con el nombre de Diagrama de Argand
3
a pesar que no fue Jean Argand, sino Caspar Wessel
4
el primero en proponerlo. Por cierto esta interpretacion
3
En honor a Jean Robert Argand, (Ginebra, Suiza, 18 Julio 1768; Paris, Francia 13 agosto 1822) Contador pero matem atico
acionado. Propuso esta interpretacion de n umeros complejos como vectors en un plano complejo en un libro autoeditado con
sus reexiones que se perdio y fue rescatado 7 a nos despues, fecha a partir de la cual Argand comenzo a publicar en Matematicas.
Mas detalles en http://www-groups.dcs.st-and.ac.uk/\char126\relaxhistory/Mathematicians/Argand.html
4
Caspar Wessel (Vestby, Noruega 8 junio 1745; 25 marzo 1818, Copenhagen, Dinamarca) Matematico noruego que se
dedico principalemente al levantamiento topograco de Noruega. Su trabajo sobre la interpretaci on de n umeros comple-
jos permanecio desconocido por casi 100 a nos. M as detalles http://www-groups.dcs.st-and.ac.uk/\char126\relaxhistory/
Mathematicians/Wessel.html
fue tres veces redescubierta primero por Caspar Wessel en 1799, luego por Jean Argand en 1806 y nalmente
por Gauss
5
en 1831.
De esta manera como un recordatorio al plano real
z = x + iy z = r (cos + i sen ) con
_
_
r =
zz
= [z[ =
_
x
2
+ y
2
tan =
y
x
donde
La interpretacion vectorial de n umeros complejos permite que la suma de n umeros complejos sea representada
por la regla del paralelogramo. Mientras que los productos escalar y vectorial nos llevan a
z
1
z
2
= Re (z
1
z
2
) = Re (z
1
z
2
) z
1
z
2
= Im(z
1
z
2
) = Im(z
1
z
2
)
Con esta interpretacion tendremos
x = Rez componente real del vector z o parte real de z
y = Imz componente imaginaria del vector z o parte real de z
r =
zz
= [z[ modulo, magnitud o valor absoluto de z

angulo polar o de fase del n umero complejo z
1.10.3. F ormulas de Euler y De Moivre
Nos hemos tropezado con la expansion en Taylor
6
esta serie permite expresar cualquier funcion inni-
tamente diferenciable alrededor de un punto x
0
como una serie innita de potencias del argumento de la
funcion. Esto es
f (x) = 1 +
d f (x)
d x
x=x0
(x x
0
) +
1
2
d
2
f (x)
d x
2
x=x0
(x x
0
)
2
+
1
3!
d
3
f (x)
d x
3
x=x0
(x x
0
)
3
+
f (x) = C
n
(x x
0
)
n
con C
n
=
1
n!
d
n
f (x)
d x
n
x=x0
donde n = 0, 1, 2, 3, 4
con lo cual si consideramos x
0
= 0 entonces
e
x
= 1 + x +
1
2
x
2
+
1
6
x
3
+
1
24
x
4
+
1
120
x
5
+
1
720
x
6
+
1
5040
x
7
+
cos x = 1
1
2
x
2
+
1
24
x
4
1
720
x
6
+
sen x = x
1
6
x
3
+
1
120
x
5
1
5040
x
7
+
5
Johann Carl Friedrich Gauss (30 abril 1777, Brunswick, Alemania; 23 febrero 1855, Gottingen, Alemania). Uno de los
matem aticos mas geniales y precoces de la Historia. Desde los 7 a nos comenzo a mostrar sus condiciones de genialidad. Sus
contribuciones en Astronoma y Matematicas son m ultiples y diversas. M as detalles http://www-groups.dcs.st-and.ac.uk/
\char126\relaxhistory/Mathematicians/Gauss.html
6
Brook Taylor (18 agosto 1685, Edmonton, Inglaterra; 29 diciembre 1731, Londres, Inglaterra) Fsico y Matem atico Ingles
contemporaneo de Newton y Leibniz y con ellos particip o profundamente en el desarrollo del C alculo diferencial e integral.
Ademas de sus aportes magnetismo, capilaridad y termometra, desarrollo el area de diferencias nitas que hasta hoy utilizamos
para c alculos en computacion. Invento la integraci on por partes y descubrio la serie que lleva su nombre. Mas detalles http:
//www-history.mcs.st-andrews.ac.uk/Mathematicians/Taylor.html
Es facil convercerse que
e
i
= 1 + i
1
2
2
+
_
1
6
i
_
3
+
1
24
4
+
1
120
i
5
1
720
6
+
_
1
5040
i
_
7
+
puede rearreglarse como
e
i
=
_
1
1
2
2
+
1
24
1
720
6
+
_
. .
cos
+ i
_

1
6
3
+
1
120
1
5040
7
+
_
. .
sen
e
i
= cos + i sen
esta relacion se conoce como la relacion de Euler
7
. Con lo cual ahora tenemos tres formas de representar
un n umero complejo
z = x + iy z = r (cos + i sen ) z = re
i
La expresion z = x + iy se conoce como forma cartesiana de representacion de un n umero complejo, la
forma z = r (cos + i sen ) sera la forma trigonometrica o polar y la expresion z = e
i
sera la forma de Euler.
Es importante notar una sutileza implcita en esta notacion. La forma cartesiana representa unvocamente
a un n umero complejo, mientras que la forma polar (y la de Euler), es ambigua
z = r (cos + i sen ) = r (cos( + 2n) + i sen( + 2n)) (1.1)
es decir, existen varios valores del argumento que denen el mismo n umero complejo. Esto se considerara mas
adelante cuando tratemos las funciones de n umero complejos.
Las sumas de n umeros complejos son mas facilmente planteables en su forma cartesiana. Mientras las
multiplicacion y division seran directas en la forma de Euler
z
1
= r
1
e
i1
z
2
= r
2
e
i2
_
_
_
= z
1
z
2
= e
i1
e
i2
= e
i(1+2)
= r
1
r
2
(cos (
1
+
2
) + i sen (
1
+
2
))
Mas a un, si
z = x + iy = e
z
= e
(x+iy)
= e
x
e
iy
= e
x
(cos y + i sen y)
y a partir de la relacion o formula de Euler se puede demostrar la De Moivre
8
_
e
i
_
n
= e
in
(cos + i sen )
n
= cos (n) + i sen (n) con n entero
1.10.4. Algunas Aplicaciones Inmediatas
Presentaremos algunas aplicaciones inmeditas la formula de De Moivre en varios ambitos
7
Leonhard Euler (15 abril 1707, Basilea, Suiza; 18 septiembre 1783, San Petersburgo, Rusia). Uno de los matematicos mas
prolcos de todos los tiempos. Desarroll o inmensamente campos como la geometra analtica y trigonometra, siendo el primero
que considero el coseno y el seno como funciones. Hizo aportes signicativos en el desarrollo del c alculo diferencial e integral
as como tambien, astronoma, elasticidad y mecanica de medios contnuos. Mas detalles http://www-history.mcs.st-andrews.
ac.uk/Mathematicians/Euler.html
8
Abraham de Moivre (26 mayo 1667 in Vitry-le-Francois, Francia; 27 noviembre 1754, Londres Inglaterra) Matematico
frances que tuvo que emigrar a Inglaterra por razones religiosas. Contemporaneo de Newton, Liebniz, Halley, fue pionero con
sus contribuciones en Geometra Analtica y Teora de Probabilides.
Identidades trigonometricas
La primera de las aplicaciones de la formula de De Moivre es para construir identidades trigonometricas
en las cuales se expresa el coseno o el seno de factores de un angulo. Esto las siguientes (nada triviales)
identidades trigonometricas
cos 3 = 4 cos
3
3 cos o sen 3 = 3 sen 4
3
sen
para demostrar estas (y otras) identidades utilizamos la formula de De Moivre, es decir
cos 3 + i sen 3 = (cos + i sen )
3
= cos
3
3 cos sen
2
+ i
_
3 cos
2
sen sen
3
_
igualando ahora parte real e imaginaria tendremos
cos 3 = cos
3
3 cos sen
2
= cos
3
3 cos
_
1 cos
2
_
= 4 cos
3
3 cos
sen 3 = 3 cos
2
sen sen
3
= 3
_
1 sen
2
_
sen sen
3
= 3 sen 4
3
sen
El metodo puede extenderse a expresiones de senos y cosenos de n
Igualmente podemos desarrollar un metodo para encontrar expresiones de potencias de funciones tri-
gonometricas en termino de funciones de factores de angulo del tipo (cos )
n
= F (cos n, sen n) . Para
empezar, supongamos que tenemos un n umero complejo de modulo 1, de tal forma que
z = e
i
= cos + i sen
_
_
z
n
+
1
z
n
= 2 cos n
z
n
1
z
n
= 2 sen n
. Estas identidades surgen de manera inmediata de
z
n
+
1
z
n
= (cos + i sen )
n
+ (cos + i sen )
n
= (cos n + i sen n) + (cos (n) + i sen (n))
= cos n + i sen n + cos n i sen n
z
n
+
1
z
n
= 2 cos n
igualmente puede demostrarse la segunda de las armaciones anteriores. Ahora bien, supongamos ademas
que n = 1, con lo cual se cumple que
z +
1
z
= e
i
+ e
i
= 2 cos y z
1
z
= e
i
e
i
= 2 sen
que tambien lo sabamos desde la mas temprana edad de nuestros bachilleratos. Ahora bien, lo que quiza no
sabamos en esos entonces (y quiza ahora tampoco) es que a partir de aqu podemos construir
cos
5
=
1
2
5
_
z +
1
z
_
5
=
1
2
5
__
z
5
+
1
z
5
_
+
_
5z
3
+
5
z
3
_
+
_
10z +
10
z
__
es decir
cos
5
=
1
2
5
[2 cos 5 + 10 cos 3 + 20 cos ]
de la misma manera se puede proceder con otras potencias y con potencias de la funcion seno.
Races de polinomios
La formula de De Moivre nos puede ayudar para la encontrar races de polinomios. Supongamos, para
empezar que queremos encontrar las n races de la ecuacion z
n
= 1. Para ello procedemos con el siguiente
articio
z
n
= 1 = cos (k2) + i sen (k2) = e
i(k2)
con k = 0, 1, 2, ....
con lo cual las n races de la ecuacion z
n
= 1 seran
z
n
= 1 z = e
i(
k2
n
)
z
..
0
= 1; z
1
= e
2i(
1
n
)
; z
2
= e
2i(
2
n
)
; z
3
= e
2i(
3
n
)
; z
n2
= e
2i(
n2
n
)
; z
n1
= e
2i(
n1
n
)
es decir n races corresponderan a los n valores de k = 0, 1, 2, n2, n1. Mayores valore de k no proveen
nuevas races.
Estas propiedades pueden extenderse a races de polinomios. Supongamos la siguiente ecuacion polinomica
con sus races:
z
5
z
4
+ 2z 2 = 0
_
z
4
+ 2
_
(z 1) = 0
_
_
_
z
4
+ 2 = 0 z
4
= 2
z 1 = 0 z = 1
una vez mas
z
4
= 2 z
4
= 2e
i(k2)
z = i
4
2e
i(
k2
4
)
z
0
= i
4
2; z
1
= i
4
2e
i
2
=
4
2; z
2
= i
4
2e
i
= i
4
2; z
3
= i
4
2e
i
3
2
=
4
2
por lo tanto la ecuacion z
5
z
4
+ 2z 2 = 0 tendra tres races reales y dos complejas
z
5
z
4
+ 2z 2 = 0 z
0
= i
4
2; z
1
=
4
2; z
2
= i
4
2; z
3
=
4
2; z
4
= 1
Una armacion que nos han dicho y que quiza no sepamos de donde viene es que si un polinomio
con coecientes reales tiene races complejas, ellas seran complejas conjugadas unas de otras. Vale decir si
z
5
z
4
+ 2z 2 = 0 tiene como raz z
0
= i
4
2 tambien tendra como raz z

2
= i
4
2 y z
0
= z
2
. Esta
armacion se prueba de forma general si suponemos que tenemos una ecuacion
a
i
z
i
= 0 con i = 0, 1, 2, n 1, n a
0
+ a
1
z + a
2
z
2
+ a
n1
z
n1
+ a
n
z
n
= 0
donde los coecientes a
0
, a, a
2
, , a
n1
, a
n
los suponemos reales, esto es a
i
= a
i
para todos los valores del
ndice i. Al tomar complejo conjugado a la ecuacion nos queda
a
0
+a
1
z +a
2
z
2
+a
n1
z
n1
+a
n
z
n
= 0 a
0
+a
1
z
+a
2
(z
)
2
+a
n1
(z
)
n1
+a
n
(z
)
n
= 0
como los coecientes son reales tenemos que
a
0
+a
1
z +a
2
z
2
+a
n1
z
n1
+a
n
z
n
= 0 a
0
+a
1
z
+a
2
(z
)
2
+a
n1
(z
)
n1
+a
n
(z
)
n
= 0
que no dice otra cosa que si z es solucion tambien lo sera z
ya que la ecuacion es la misma por tener los

mismos coecientes (reales).
Ahora consideremos el siguiente polinomio complejo P(z) = z
6
z
5
+ 4z
4
6z
3
+ 2z
2
8z + 8 = 0. Si
por alg un metodo comprobamos que (z
3
2) es uno de sus factores, entonces podremos encontrar las races
del polinomio P(z). Veamos:
Claramente si (z
3
2) es un factor podemos expresar
P(z) = z
6
z
5
+ 4z
4
6z
3
+ 2z
2
8z + 8 = (z
3
2)(z
3
z
2
+ 4z 4) = (z
3
2)(z 1)(z
2
+ 4)
con lo cual, como z es complejo, hay que tener cuidado de las races encubiertas
z
3
= 2 (a + ib)
3
= 2 a
3
3ab
2
+ i(3a
2
b b
3
) = 2
_
_
_
a(a
2
3b
2
) = 2
b(b
2
3a
2
) = 0
_
_
_

_
_
a =
1
3
4
b =
3
3
4
es decir, las 6 races seran
z
3
= 2
_
_
_
z = 2
z =
1
3
4
_
1 i
3
_
z = 1, z = 2i
Logaritmos y potencias de n umeros complejos
Denamos las siguiente funcion
z = e
i
Ln z = i
donde Ln representara el logaritmo natural del n umero complejo z. Notese que hemos utilizado Ln en lugar
de tradicional ln y la razon es la ambig uedad implcita en la notacion de Euler, vale decir
z = re
i
Ln z = ln r + i ( + 2n) = ln r + i
en otras palabras, Ln z no es funcion por ser multivaluada. Se supera esta dicultad cuando se restringe el
argumento < y esta se conoce como el valor principal de la funcion Ln z = ln z.
Por ejemplo, al evaluar el
Ln (3i) = Ln
_
3e
i(
2
+2n)
_
= ln 3 + i
_
2
+ 2n
_
con n = 0, 1, 2,
por lo tanto el valor principal del Ln (3i) sera ln (3i) = ln 3 i
2
.
Con la misma intuicion se procede con las potencias de n umeros complejos. Si queremos evaluar z = i
5i
tendremos que proceder como sigue
z = i
5i
Ln (z) = Ln
_
i
5i
_
= 5i Ln (i) = 5i Ln
_
e
i(
2
+2n)
_
=
con lo cual z = i
5i
= e
5(
2
+2n)
es un n umero real !
Para nalizar consideremos otro par de casos de potencias y logaritmos i
i
y ln
_
_
3 + i
_
3
_
. Entonces
i
i
=
_
exp i
_
2
+ 2n
__
i
= exp i
2
_
2
+ 2n
_
= exp
_
2
2n
_
y para
ln
_
_
3 + i
_
3
_
= 3 ln
_
2 exp i
_
arctan
1
3
__
= 3
_
ln 2 + i
_
arctan
1
3
__
= ln 8 + i
_
2
+ 6n
_
1.11. Algunos ejemplos resueltos
1. Hemos denido como la posicion,

R, del centro de masa para un sistema de N partculas como
R =

N
i=1
m
i
r
i
N
j=1
m
j
donde r
i
corresponde con la posicion de la iesima partcula
Determine la posicion del centro de masa para un sistema de tres masas, m
i
= 1,2,3, colocadas en los
vertices de un triangulo equilatero de lado l = 2
Solucion: Al colocar el origen de coordenadas en uno de los vertices y uno de los ejes de coordenadas sobre uno
de los lados. Entonces,
R =

3
i=1
m
i
r
i
3
j=1
m
j
=
m
1
r
1
+ m
1
r
1
M
T
=
1 2 + 3
_
+
3
_
6
=
5
6
+
3
2

2. Dada una base ortonormal ,,
k y los siguientes vectores

a = 3 + 2 +

k

b = 3 2 +

k c =
k
a) Comprobar si a,
b, c forman base
Solucion: Para que los vectores formen base tienen que ser linealmente independientes. Esto es a+
b+c =
0 = = = 0 con lo cual
_
3 + 2 +

k
_
+
_
3 2 +

k
_
+
_

k
_
= 0
_
_
_
3 + 3 + = 0
2 2 = 0
+ = 0
y al resolver esl sistema se obtiene = = = 0 con lo cual se demuestra que son linealmente
independientes
Otra manera de resolverlo es mostrar que c
_
a
b
_
,= 0 y efectivamente
c
_
a
b
_
=
1 0 1
3 2 1
3 2 1
= 4 ,= 0
b) Si a,
b, c forma base, exprese

d = +2 e = 3 2

f = a
b en termino de esa base a,
b, c.
De lo contrario, construya una base como a,
b, a
b y exprese los vectores
d, e,

f en termino
de esa nueva base
Solucion: Como forman base expresamos los vectores en termino esos terminos. Esto es
+ 2 =
_
3 + 2 +

k
_
+
_
3 2 +

k
_
+
_

k
_

_
_
_
3 + 3 + = 1
2 2 = 2
+ = 0
resolviendo tendremos que

d =
5
8
a
3
8
b +
1
4
c. Seguidamente
3 2 =
_
3 + 2 +

k
_
+
_
3 2 +

k
_
+
_

k
_

_
_
_
3 + 3 + = 3
2 2 = 2
+ = 0
resolviendo tendremos que e =
1
8
a +
7
8
b +
3
4
c
Ahora bien
a
b
_
3 + 2 +

k
_
_
3 2 +

k
_

k
3 2 1
3 2 1
= 4 12
k
con lo cual
4 12
k =
_
3 + 2 +

k
_
+
_
3 2 +

k
_
+
_

k
_

_
_
_
3 + 3 + = 4
2 2 = 0
+ = 12
y nalmente

f = a
b = a
b + 10c
3. Utilizando la notacion de ndices demostrar que para cualquier tro de vectores a,
b, c se cumple que
a (
b c) +
b (c a) +c (a
b) = 0
Solucion: En notacion de ndices
a (
b c) +
b (c a) +c (a
b) =
lmi
a
m
ijk
b
j
c
k
+
lmi
b
m
ijk
c
j
a
k
+
lmi
c
m
ijk
a
j
b
k
con lo cual arreglando
lmi
ijk
a
m
b
j
c
k
+
lmi
ijk
b
m
c
j
a
k
+
lmi
ijk
c
m
a
j
b
k
=
_
l
j
m
k

m
j

l
k
_
a
m
b
j
c
k
+
_
l
j
m
k

m
j

l
k
_
b
m
c
j
a
k
+
_
l
j
m
k

m
j

l
k
_
c
m
a
j
b
k
=
y ahora desarrollando los productos de s, nos queda
_
_
a
k
b
l
c
k
. .
I
a
k
b
k
c
l
. .
II
_
_
+
_
_
b
k
c
l
a
k
. .
II
b
k
c
k
a
l
. .
III
_
_
+
_
_
c
k
a
l
b
k
. .
III
c
k
a
k
b
l
. .
I
_
_
= 0
e indenticando termino a termino, notamos que se anula.
4. Una partcula se mueve a lo largo de una curva descrita por
x(t) = 3t
2
y(t) = 4t
3
t z(t) = t
a) Encuentre las expresiones para los vectores: posicion, velocidad y aceleracion de esa partcula
Solucion:
r(t) = 3t
2
+ (4t
3
t) + t
k v = 6t + (12t
2
1) +

k a = 6 + 24t
b) Encuentre las expresiones, mas generales, de los vectores tangentes y perpendiculares a todo a
punto de la trayectoria de la partcula
Solucion: Vector tangente a todo punto de la trayectoria es el vector velocidad
v = 6t + (12t
2
1) +

k
El perpendicular a todo punto, sera un vector

b = b
x
+ b
y
+ b
z
k, tal que
(6t + (12t
2
1) +

k) (b
x
+ b
y
+ b
z
k) = 6tb
x
+ (12t
2
1)b
y
+ b
z
= 0
con lo cual
b = b
x
+ b
y
(6tb
x
+ (12t
2
1)b
y
)
k
5. El campo de fuerzas del oscilador anarmonico anisotropo bidimensional se escribe como
F = k
1
x
2
+ k
2
y (1.2)
Encuentre el trabajo realizado,
_
(x2,y2)
(x1,y1)
dr

F a lo largo de las siguientes trayectorias
a) (1, 1) (4, 1) (4, 4)
Solucion:
_
(4,1)
(1,1)
(dx) (k
1
x
2
+ k
2
) +
_
(4,4)
(4,1)
(dy) (k
1
16 + k
2
y) = 21k
1
+
15k
2
2
b) (1, 1) (1, 4) (4, 4)
Solucion:
_
(1,4)
(1,1)
(dy) (k
1
+ k
2
y) +
_
(4,4)
(1,4)
(dx) (k
1
x
2
+ k
2
4) = 21k
1
+
15k
2
2
c) (1, 1) (4, 4) para x = y
Solucion:
_
(4,4)
(1,1)
(dx +dx) (k
1
x
2
+ k
2
x) =
_
(4,4)
(1,1)
(k
1
x
2
+ k
2
x)dx = 21k
1
+
15k
2
2
6. Dados los siguientes puntos en el espacio (1, 0, 3); (2, 1, 0); (0, 1, 1); (1, 0, 1).
a) Considere los tres primeros puntos. Estos tres puntos son coplanares ? por que ? De ser
coplanares,
Solucion: Tres puntos en el espacio denen un plano, por lo tanto siempre seran coplanares
1) Encuentre el area del triangulo que tiene por vertices esos tres puntos
Solucion: Para ello seleccionamos uno de los puntos como un vertice privilegiado (digamos (2, 1, 0))
respecto al cual construiremos dos vectores que representan dos de los lados del triangulo.
Esto es
a = (1, 0, 3) (2, 1, 0) a = 1 + + 3
k
y
b = (0, 1, 1) (2, 1, 0)
b = 2 +

k
con lo cual, el area del vertice sera la mitad del area del paralelogramo que tiene por lados
estos dos vectores. Es decir
A =
1
2
|a
b| a
b =

k
1 1 3
2 0 1
= 5 + 2
k A =
1
2
| 5 + 2
k| =
30
2
2) Encuentre la ecuacion del plano que los contiene
Solucion: La ecuacion del plano vendra dada por
(r r
1
) ((r
2
r
1
) (r
3
r
1
)) = 0
donde
r = x + y + z
k, r
1
= + 3
k, r
2
= 2 , r
3
= +

k,
con lo cual la ecuacion del plano queda como
(x 1) y (z 3)
1 1 3
1 1 2
= 0 (x 1) + 5y 2(z 3) = 0 x 5y + 2z = 7
b) Considere los cuatro puntos Estos cuatro puntos son coplanares ? por que ? De NO ser
coplanares, encuentre la distancia del cuarto punto al posible plano que contiene a los otros tres.
Solucion: Para vericar si el cuarto punto esta en el plano, vericamos si cumple la ecuaci on que lo dene
(1) 5(0) + 2(1) ,= 7
los cuatro puntos no son coplanares. Para calcular la distancia del cuarto punto al plano construyo
el vector unitario normal al plano
n
P
=
a
b
|a
b|
=
1
30
_
5 + 2
k
_
d = n
P
c =
1
30
_
5 + 2
k
_
_
3 + +

k
_
con lo cual la distancia al cuarto punto sera
d = n
P
c =
1
30
_
5 + 2
k
_
_
3 + +

k
_
=
6
30
7. Considere los siguientes tres vectores
w
1
= + 3
k w
2
= 2 3 w
3
= +

k
a) Forman una base para R
3
? Explique detalladamente
Solucion: Son linealmente independientes, estos es
w
1
+ w
2
+ w
3
= 0 = = = 0
que se comprueba directamente al resolver
+2 = 0
3 = 0
3 + = 0
b) Si es que forman base, exprese el vector a = 3 + 3
k en la posible base w
1
, w
2
, w
3
Solucion: Como son linealmente independientes, forman base, con lo cual cualquier vector puede ser expre-
sado como combinacion lineal de estos tres. Eso es:
a = w
1
+ w
2
+ w
3

_
_
_
+2 = 1
3 = 3
3 + = 3
_
_
_

_
_
=
1
3
=
1
3
= 2
8. Utilizando la notacion de ndices muestre si se cumple la siguiente identidad
_
a
b
_
= a
_
b
_
b
_
a
_
+
_
_
a
_
a

b
Solucion:
_
a
b
_
=
ijk
j
(
klm
a
l
b
m
) = (
i
l
j
m

i
m
j
l
)
j
(a
l
b
m
) =
m
(a
i
b
m
)
l
(a
l
b
i
)
expandiendo la derivada
(a
b) = b
m
m
(a
i
) + a
i
m
(b
m
) b
i
l
(a
l
) a
l
l
(b
i
) (
b

)a + (
b)a (
a)
b (a

)
b
9. La trayectoria de un punto en el plano vista por un observador 1 es
r
1
(t) = 5 cos 3t
2
+ 5 sen 3t
2
a) Exprese las aceleraciones radiales y tangenciales de esta partcula

Solucion: Es claro que la partcula describe un movimiento circular donde (t) = 3t
2
r(t) = 5 u
r
v(t) =
dr(t)
dt
= 5
d(t)
dt
u
= 30t u
a(t) =
da(t)
dt
= 30 u
30t u
r
b) Considere ahora un segundo observador, el cual describe una trayectoria respecto al primero
representada por
r
21
(t) = (t
3
4t) + (t
2
+ 4t)
Encuentre las expresiones para los vectores posicion, velocidad y aceleracion de la partcula me-
didos respecto al segundo observador
Solucion: La trayectoria de la partcula respecto al segundo observador sera
r
2
(t) = r
1
(t) r
21
(t) = 5 cos 3t
2
+ 5 sen 3t
2
((t
3
4t) + (t
2
+ 4t) )
con lo cual
r
2
(t) = (5 cos 3t
2
(t
3
4t)) + (5 sen 3t
2
(t
2
+ 4t))
entonces
v
2
(t) =
dr
2
(t)
dt
= (30t cos 3t
2
(3t
2
4)) + (30t sen 3t
2
(2t + 4))
y
a
2
(t) =
dv
2
(t)
dt
= (30 cos 3t
2
180t
t
sen 3t
2
6t) + (30 sen 3t
2
180t
2
cos 3t
2
2)
10. El campo de fuerzas del oscilador armonico anisotropo bidimensional se escribe como
F = k
1
x
i + k
2
y
j
Encuentre el trabajo realizado,
_
(x2,y2)
(x1,y1)
dr

F a lo largo de las siguientes trayectorias
Solucion: En general
_
(4,4)
(1,1)
dr

F =
_
(4,4)
(1,1)
(dx + dy )
_
k
1
x
i + k
2
y
j
_
=
_
(4,4)
(1,1)
dx k
1
x +
_
(4,4)
(1,1)
dy k
2
y
a) (1, 1) (4, 1) (4, 4)
_
(4,4)
(1,1)
dr

F =
_
(4,1)
(1,1)
dx k
1
x +
_
(4,4)
(4,1)
dy k
2
y =
1
2
k
1
x
2
4
1
+
1
2
k
2
y
2
4
1
=
15
2
(k
2
k
1
)
b) (1, 1) (1, 4) (4, 4)
_
(4,4)
(1,1)
dr

F =
_
(1,4)
(1,1)
dy k
2
y
_
(4,4)
(1,4)
dx k
1
x =
1
2
k
2
y
2
4
1
1
2
k
1
x
2
4
1
=
15
2
(k
2
k
1
)
c) (1, 1) (4, 4) para x = y
_
(4,4)
(1,1)
dr

F =
_
4
1
dx (k
2
k
1
) x =
1
2
(k
2
k
1
) x
2
4
1
=
15
2
(k
2
k
1
)
Figura 1.7: Las 5 redes de Bravais bidimensionales fundamentales: 1 Oblicuas, 2 rectangular, 3 rectangu-
lar centrada (rombica), 4 hexagonal, y 5 cuadrada. Figura tomada de http://en.wikipedia.org/wiki/
Bravais_lattice
1.12. Algunos ejercicios propuestos
1. Auguste Bravais
9
se dio cuenta que replicando un arreglo geometrico muy simple, se puede describir
una estructura cristalina. Dicho de otro modo, que conociendo una celda simple, podemos conocer la
estructura cristalina. Esto es que las posiciones de los atomos en una red cristalina puede ser descrita
por un vector

R = a + b + c = n
1
a
1
+ n
2
a
2
+ n
3
a
3
= n
i
a
i
donde los a
i
son vectores no copleares
(vectores primitivos o, simplemente en nuestro lenguaje, vectores base). Estos vectores Los n
i
son
n umeros enteros (negativos, cero o positivos). La posicion de cada atomo de un cristal puede ser
descrita como reescalamiento (discretos) de este vector generico, o mas preciso la traslacion del origen
de coordenadas por un vector. Ese concepto se conoce como redes de Bravais
10
. En cada red puede
haber varios vectores primitivos
11
. Se puede denir la celda primitiva como la estructura mnima que
replicada reproduce todo el cristal. Vale decir la estructura cristalina es invariante bajo traslaciones
espaciales del tipo

R
=

R +

T con

T = m
i
a
i
a) Redes de Bravais bidimensionales. Tal y como muestra la Figura 1.7 existen 5 tipos distintos
de redes de Bravais bidimensionales.
1) Dada la red bidimensional de la Figura 1.8 encuentre todos los posibles vectores primitivos y
celdas primitivas asociadas.
2) La humanidad ha estado seducida por la geometra desde que empezo a representar guras.
A partir de las cuatro imagenes que se ilustran en la Figura 1.9, encuentre todos los posibles
vectores y celdas primitivas asociadas.
3) Maurits Cornelis Escher
12
es un fenomenal dibujante holandes, quien se interes por las si-
9
http://en.wikipedia.org/wiki/Auguste_Bravais
10
http://en.wikipedia.org/wiki/Bravais_lattice
11
http://www.engr.sjsu.edu/rkwok/Phys175A/Chapter%201.pdf
12
http://en.wikipedia.org/wiki/M._C._Escher
Figura 1.8: Red cristalina bidimensional. Encuentre todos los posibles vectores y celdas primitivas asociadas
Figura 1.9: Cuatro detalles geometricos. Cuadrante I: Mural egipcio. Cuadrante II: Mural Mural Asirio.
Cuadrante III: Tejido Tahit. Cuadrante IV: Ilustracion en pieza de porcelana china. Tomado de http:
//en.wikipedia.org/wiki/Wallpaper_group
Figura 1.10: Teselados de M.C. Escher, tomados de http://www.wikipaintings.org/en/
paintings-by-genre/tessellation?firstArtist=m-c-escher#artist-m-c-escher
metras de los grupos de imagenes de papel tapiz. Berend, hermano de Maurits, era cris-
talografo y le mostro la belleza de las simetras de la naturaleza. En las cuatro obras del
genero de Teselado
13
de M.C. Escher, presentadas en la Fig 1.10 encuentre todos los posibles
vectores y celdas primitivas asociadas.
b) Redes de Bravais Tridimensionales. Este tipo de redes complica un poco mas el escenario.
Se puede demostrar que existen 14 de estas redes, tal y como se muestran en la Figura 1.11
Muestre que los vol umenes de ocupacion atomica, para los sistemas Monoclnico, Triclnico,
Ortorombico, Tetragonal, Romboedrico, exagonal y c ubico, corresponden a las expresiones
que se muestran en la Figura 1.11.
El sistema c ubico es el mas simple corresponde a un sistema con un unico parametro de red
a = [a[, ya que a = b = c. Ademas, una posible descripcion, para el caso mas simple, es
a =

i; b =

j; c =

h, los tres vectores cartesianos ortogonales. Existen otros sistemas que
tambien estan asociados al c ubico. Estos son el sistema c ubico cara centrada (fcc por sus
siglas en ingles) y c ubico cuerpo centrado (bcc). En el primero existen atomos en el centro de
cada una de las caras del cubo denido por la trada, a = b = c. En el sistema fcc se a nade
un atomo la centro del cubo simple.
1) Muestre que un sistema bcc tambien puede ser descrito por los vectores primitivos: a = a
i,
b = a
j y c = a(
i +

j +

k)/2. Dibuje la celda primitiva y calcule su volumen.
2) Muestre que un sistema bcc tambien puede ser descrito por los vectores primitivos: a =
13
http://en.wikipedia.org/wiki/Tessellation
Figura 1.11: Las 14 Redes de Bravais Tridimensionales y las estructuras cristalinas asociadas. Tomado de
http://en.wikipedia.org/wiki/Bravais_lattice
a(
j +
i)/2, b = a(
k + x
j)/2 y c = a(
i +
k)/2. Dibuje la celda primitiva y calcule

su volumen.
3) Muestre que un sistema fcc tambien puede ser descrito por los vectores primitivos: a =
a(
j +

k)/2, b = a(
i +

k)/2 y c = a(
i +

j)/2. Otra vez, dibuje la celda primitiva y calcule
su volumen.
Se puede denir la red recproca como
a
=
b c
a (b c)
; b
=
c a
a (b c)
; y c
=
a b
a (b c)
;
De esta manera es claro que, por construccion, a
b = a
c = 0 y ademas a
a = 1 Con
lo cual podemos generalizarlo como e
i
e
j
=
i
j
. Exprese los vectores y las celdas recprocas
para los sistemas c ubico simple, y los distintos bcc y fcc. Calcule ademas el vol umen de cada
celda recproca.
2. Considerando que
r = x
i + y

j + z

k = x
m
e
m
,
A =

A(r) =

A(x, y, z) = A
l
(x, y, z)e
l
y

B =

B(r) =

B(x, y, z) = B
i
(x, y, z)e
i
= (r) = (x, y, z) y = (r) = (x, y, z)
usando la notacion de ndices e inspirandose en las secciones 1.7.3, 1.9.5 y 1.11, muestre las siguientes
identidades vectoriales
a)

() =
b)

(
A) =

A + (
)

A
c)

= 0 y tambien

(

A) y que puede decir de

(

A) ?
d)

(
A

B) = (

A)

B +

A(

B)
e)

(

A) =

(

A)

2

A
3. Una partcula se mueve bajo la ley r(t) = x(t)
i + y(t)
j + z(t)
k con
x(t) = 2t
2
; y(t) = t
2
4t; z(t) = 3t 5.
El parametro t representa el tiempo. Encuentre las expresiones para la aceleracion y la velocidad de la
partcula, para t = 1 y en la direccion del vector

i 3
j + 2
k
4. Suponga ahora el caso general de una partcula que se mueve en una curva descrita por r(t) = x(t)
i +
y(t)
j + z(t)
k. Muestre que el vector velocidad es tangente a la trayectoria descrita

5. Encuentre la ecuacion vectorial para una trayectoria recta que pasa por los puntos P (1, 2, 3) y
Q (1, 1, 1)
6. Encuentre el angulo entre los siguientes planos x + y + z = 9 y x + y z = 3.
7. Un uido se considera irrotacional si su campo de velocidades v = v(r) = v(x, y, t) cumple con la
ecuaci on

v = 0. Suponga, ahora que v = (x + 2y + az)
i + (bx 3y z)
j + (4x + cy + 2z)
k
a) Encuentre el valor de a, b y c para que este campo de velocidades sea irrotacional
b) Es intuitivo convencerse que si

v = 0 v =

. Encuentre expresion para la funcion
potencial = (r) = (x, y, z)
c) Considere la siguiente integral I =
_
C
dr v. Donde ( es el circuito a recorrer.
1) Calcule el valor de la integral I a lo largo del siguiente trayecto de (0, 0, 0) (1, 1, 0) mediante
una segmento de recta. Luego, de (1, 1, 0) (2, 0, 0) a lo largo de otro segmento de recta.
Finalmente regresando (2, 0, 0) (0, 0, 0) tambien siguiendo una recta.
2) Ahora calcule el valor de la integral I de (0, 0, 0) (2, 0, 0) a lo largo de un arco de circunfe-
rencia que cumple con la ecuacion (x1)
2
+y
2
= 1 regresando de (2, 0, 0) (0, 0, 0) tambien
a traves de una recta.
3) que puede concluir del campo v
8. Dos funciones complejas Z
1
(t) y Z
2
(t) cumplen con las siguientes ecuaciones
dZ
1
dt
==
i
Z
1
Z
2
y
dZ
2
dt
==
i
Z
2
Z
1
Muestre que las siguientes cantidades son constantes.
Z
1
+ Z
2
[Z
1
Z
2
[
[Z
1
[
2
+[Z
2
[
2
9. Considere la siguiente ecuacion
z
7
4z
6
+ 6z
5
6z
4
+ 6z
3
12z
2
+ 8z + 4 = 0
Encuentre sus races sabiendo que z
3
= 2.
10. Muestre que la expansion binomial puede ser escrita como
(1 + x)
n
=
n
m=0
A
m
(n) x
m
con A
m
(n) =
n!
m!(n m)!
Si esta convencido de la expansion anterior, considere ahora una parecida:
_
1 + e
i
_
n
y muestre que
n
m=0
A
m
(n) cos(n) = 2
n
cos
n
_
2
_
cos
_
n
2
_
y
n
m=0
A
m
(n) sen(n) = 2
n
cos
n
_
2
_
sen
_
n
2
_
11. Las funciones hiperbolicas se denen como
cosh(x) =
e
x
+ e
x
2
y senh(x) =
e
x
+ e
x
2
y de manera analoga a las funciones trigonometricas tendremos el resto de funciones
tanh(x) =
senh(x)
cosh(x)
; sech(x) =
1
cosh(x)
; csech(x) =
1
senh(x)
; ctanh(x) =
1
tanh(x)
;
a) Muestre las siguientes equivalencias
cosh(x) = cos(ix), i senh(x) = sen(ix), cos(x) = cosh(ix) y i sen(x) = senh(x)
b) Muestre las siguientes identidades
cosh
2
(x) senh
2
(x) = 1; sech
2
(x) = 1 tanh
2
(x); cosh(2x) = cosh
2
(x) + senh
2
(x)
c) Resuelva las siguientes ecuaciones hiperbolicas
cosh(x) 5senh(x) 5 = 0, 2 cosh(4x) 8 cosh(2x) + 5 = 0 y cosh(x) = senh(x) + 2sech(x)
d) La posicion de una partcula vista desde dos observadores relativistas O y

O puede expresarse en
termino de funciones hiperbolicas como
x
= L
con , = 0, 1 y L
=
_
cosh() senh()
senh() cosh()
_
Encuentre la matriz

L
tal que x
=

L
Muestre que ds
2
= (x
0
)
2
(x
1
)
2
= ( x
0
)
2
( x
1
)
2
Metodos Matematicos de la Fsica Borrador Preliminar V1.0
1.13. Vectores y MAPLE
Hernandez & N u nez
Universidad Industrial de Santander 60
Hernandez & N u nez
Hernandez & N u nez
Hernandez & N u nez
Bibliografa
[1] Arfken, G. B.,Weber, H., Weber, H.J. (2000) Mathematical Methods for Physicists 5ta Edicion
(Academic Press, Nueva York)
[2] Borisenko, A.I, y Tarapov I.E. (1968) Vector and Tensor Analisys (Dover Publications Inc, Nueva
York)
[3] Dennery, P. y Krzywicki, A. (1995) Mathematics for Physicists (Dover Publications Inc, Nueva York)
[4] Harper, C. (1971) Introduction to Mathematical Physics (Prentice Hall, Englewood Cli, N.J:)
[5] Hassani, S. (1991) Foundations of Mathematical Physics (Prentice Hall, International Edition,
London:
[6] Hauser, W (1971) Introduction to Principles of Electromagnetism (Addison-Wesley Pub Co
Reading)
[7] Riley, K.F., Hobson, M.P. y Bence, S.J. (2002) Mathematical Methods for Physics and Enginee-
ring (Cambridge University Press)
[8] Santalo, L.A (1969) Vectores y Tensores (Editorial Universitaria, Buenos Aires)
[9] Schutz, B. (1980) Geometrical Methods in Mathematical Physics (Cambridge University Press,
Londres)
[10] Spiegel, M. (1959) Vector Analysis (Schaums Outline Series, McGraw Hill New York)
64

Capt 1 Met Mat V00

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Capt 1 Met Mat V00

Uploaded by

Copyright:

Available Formats

Captulo 1

Los vectores de siempre

b respecto a la multiplicacion por escalares

b, c son linealmente independientes si se cumple que

b, c se anule esto obliga que los escalares son

b eso signica que ambos a y a y

b linealmente independientes, entonces cualquier vector c,complanar con a y

b son linealmente independiente

b y c son linealmente dependientes. Esto es

b son linealmente independiente. La demostracion para el caso tridimensional es equivalente.

b y c expanden, de manera unvoca, todos los vectores

b y c conformaran una base para los vectores del

b, .respectivamente. Equivalentemente , , seran las componentes de cualquier vector para el caso 3D a lo

b y c, respectivamente. Esta nomenclatura sera mas evidente luego de la proxima seccion.

b +a c. La demostracion (graca) puede

b tiene como resultado

b corresponda al sentido horario.

b a y se sigue de la denicion que expresa

b con lo cual, si pudieramos despejar, digamos

b de una manera unvoca ? La respuesta es NO. ya que = a

b y c. Este producto tambien

representa el area de la base

b y c son coplanares (linealmente dependientes) entonces

y la multiplicacion por un escalar

k seran linealmente independientes si se cumple

Hernandez & N u nez Universidad Industrial de Santander 19

1.7.3. Un par de calculos ilustrativos

mediante la constante de proporcionalidad . Si se requiere describir una recta

= [(sen (t)) + cos (t) ] [cos (t) + sen (t) ] = 0

Hernandez & N u nez Universidad Industrial de Santander 36

De igual manera se procede con i = 2 e i = 3

V (x, y, z) d r integracion de un vector a lo largo de otro vector

V (x, y, z) d r integracion de un vector por otro vector

F (r) dr por cuanto nos la hemos tropezado

1 como vimos arriba al multiplicar el n umero imaginario i

= 2 Imz. Igualmente es inmediato comprobar que

= [z[ modulo, magnitud o valor absoluto de z

2 tambien tendra como raz z

ya que la ecuacion es la misma por tener los

k y los siguientes vectores

b, c forma base, exprese

b en termino de esa base a,

b y exprese los vectores

a) Exprese las aceleraciones radiales y tangenciales de esta partcula

k)/2. Dibuje la celda primitiva y calcule

k. Muestre que el vector velocidad es tangente a la trayectoria descrita

You might also like