Notas Campos I
Notas Campos I
Alejandro Kunold
6 de abril de 2006
II
Objetivos
5. Interpretar los resultados obtenidos del trabajo teórico por medio de herramientas
computacionales como MatLab
, R Mathematica
, R C++
, R Fortran
R u otro software.
Comunicar en forma oral y escrita los resultados y conclusiones obtenidos de sus tareas
y sus experiencias con la computadora.
IV Objetivos
Índice general
Objetivos III
1. Algebra Vectorial 5
1.1. Objetivos Especı́ficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Escalares y vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Vectores unitarios. Cosenos directores . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Multiplicación de un vector por un escalar . . . . . . . . . . . . . . . . . . . . 6
1.5. Suma de vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.6. Producto interno. Producto punto . . . . . . . . . . . . . . . . . . . . . . . . 6
1.7. Producto vectorial. Producto cruz . . . . . . . . . . . . . . . . . . . . . . . . 7
1.8. Productos Múltiples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.8.1. Producto (A · B) C . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.8.2. Producto escalar triple (A × B) · C . . . . . . . . . . . . . . . . . . . 8
1.8.3. Triple producto (A × B) × C . . . . . . . . . . . . . . . . . . . . . . . 9
1.8.4. Cuádruple Producto (A × B) · (C × D) . . . . . . . . . . . . . . . . . 9
1.9. Rotación de ejes cartesianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.9.1. Coordenadas cilı́ndricas circulares . . . . . . . . . . . . . . . . . . . . 12
1.9.2. Coordenadas esféricas . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.10. Invariancia de la norma de un vector ante rotación de ejes . . . . . . . . . . . 13
5. Tensores Cartesianos 55
5.1. Objetivos Especı́ficos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.2. Leyes de transformación tensorial . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.3. Operaciones algebraicas elementales . . . . . . . . . . . . . . . . . . . . . . . 55
5.3.1. Producto y contracción. Convención de suma de Einstein . . . . . . . 55
5.3.2. Suma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.3.3. Producto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.3.4. Simetrı́a o antisimetrı́a de un tensor . . . . . . . . . . . . . . . . . . . 56
5.4. La delta de Kroneker y el tensor de Levi-Civita . . . . . . . . . . . . . . . . . 56
5.4.1. Representación del producto punto . . . . . . . . . . . . . . . . . . . . 57
5.4.2. Representación del producto cruz . . . . . . . . . . . . . . . . . . . . . 57
5.5. El operador nabla en terminos tensoriales . . . . . . . . . . . . . . . . . . . . 58
5.5.1. El gradiente de un escalar y un vector . . . . . . . . . . . . . . . . . . 58
5.5.2. La divergencia de un vector y de una matriz . . . . . . . . . . . . . . . 58
5.5.3. El rotacional de un vector . . . . . . . . . . . . . . . . . . . . . . . . . 59
5.5.4. El laplaciano de un escalar y de un vector . . . . . . . . . . . . . . . . 59
5.6. Algunas identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Índice de figuras
Algebra Vectorial
A = (Ax , Ay , Az ) = Ax i + Ay j + Az k, (1.1)
B = (Bx , By , Bz ) = Bx i + By j + Bz k, (1.2)
C = (Cx , Cy , Cz ) = Cx i + Cy j + Cz k, (1.3)
D = (Dx , Dy , Dz ) = Dx i + Dy j + Dz k (1.4)
donde
i = (1, 0, 0) , (1.5)
j = (0, 1, 0) , (1.6)
k = (0, 0, 1) . (1.7)
Es importante recordar que las componentes del vector representan al punto en el que se
encuentra la flecha del vector suponiendo que su cola está en el origen. La posición de la
que sale el vector es irrelevante. Ası́, dos vectores que tienen la misma dirección y magnitud
pero parten de puntos distintos son en realidad el mismo vector.
La magnitud de un vector se define como
q
|A| = A = A2x + A2y + A2z . (1.8)
6 Algebra Vectorial
donde α, β y γ son los ángulos que forma el vector con los ejes x, y y z.
Calculando la magnitud del vector A vemos que
p
A = A cos2 α + cos2 β + cos2 γ (1.10)
por lo que
cos2 α + cos2 β + cos2 γ = 1. (1.11)
el vector C tiene la misma dirección que el vector A pero tiene magnitud C = aA.
C = A + B = (Ax + Bx , Ay + By , Az + Bz )
= (Ax + Bx ) i + (Ay + By ) j + (Az + Bz ) k. (1.14)
Geométricamente representa la diagonal del paralelogramo cuyos lados son los vectores como
los lados de dicho paralelogramo.
La suma tiene las siguientes propiedades
A + B = B + A, (1.15)
(A + B) + C = A + (B + C) = A + B + C (1.16)
a (A + B) = aA + aB (1.17)
A · B = Ax Bx + Ay By + Az Bz . (1.18)
1.7 Producto vectorial. Producto cruz 7
A · B = AB cos θ (1.20)
ya que son perpendiculares. Se dice entonces que son ortogonales (perpendiculares entre si
y de norma uno).
Es fácil ver que
A · i = Ax , A · j = Ay , A · k = Az (1.23)
Entonces cualquier vector puede escribirse como
A = (A · i) i + (A · j) j + (A · k) k. (1.24)
Con esta identidad podemos regresar a la definición de los cosenos directores y verificar
donde θ es el ángulo entre los dos vectores. La magnitud del producto cruz es igual al área
del paralelogramo cuyos lados son los vectores A y B y la dirección del producto cruz es
perpendicular a A y B.
Dado que el producto cruz proviene de un determinante entonces
A × B = −B × A. (1.30)
Se puede verificar que los vectores unitarios cumplen con las siguientes relaciones
i×i=j×j =k×k =0 (1.31)
y además tienen la siguiente propiedad cı́clica
i × j = k, j × i = −k (1.32)
k × i = j, i × k = −j (1.33)
j × k = i, k × j = −i (1.34)
(1.35)
El producto cruz tiene además la propiedade distributiva
A × (B + C) = A × B + A × C (1.36)
(A × B) × C = λ [(C · A) B − (C · B) A] . (1.45)
(A × B) × C = (C · A) B − (C · B) A. (1.46) {tripleprod1}
A×B·U = A · B × U = A · [B × (C × D)]
= A · [(B · D) C − (B · C) D]
= (A · C) (B · D) − (A · D) (B · C) . (1.47)
Se puede verificar fácilmente que estos vectores son unitarios. Un vector cualquiera A =
Ax i + Ay j puede escribirse como
A = A · i0 i0 + A · j 0 j 0 A · k0 k0 +
Podemos representar la relación entre las componentes del vector en ambos sitemas de
coordenadas como en forma matricial
0
Ax cos φ sin φ 0 Ax Ax
{rota1} A0y = − sin φ cos φ 0 Ay = Rz (φ) Ay (1.54)
A0z 0 0 1 Az Az
donde
cos φ sin φ 0
Rz (φ) = − sin φ cos φ 0 . (1.55)
0 0 1
Si definimos
A0x
Ax
A = Ay , A0 = A0y (1.56)
Az A0z
entonces podemos escribir a (1.54) como
A0 = Rz (φ) A. (1.57)
Esta matriz sirve también para conectar los vectores unitarios de un sistema de coordenadas
con el otro 0
i i
j 0 = Rz (φ) j (1.58)
k0 k
Una forma más general de escribir esta matriz es
0
i · i i0 · j i0 · k
R> >
z (φ) Rz (φ) = Rz (φ) Rz (φ) = I, (1.60)
De esta
0 relación puede verse que la magnitud de un vector es invariante ante rotaciónes ya
2 2
que A = A · A0 = A · A = |A| .
0
Podemos encontrar por un procedimiento similar las matrices de rotación al rededor del
eje x
i0 = i (1.62)
0
j = j cos θ + k sin θ (1.63)
k0 = −j sin θ + k cos θ (1.64)
Puede verificarse que también sirve para conectar los vectores unitarios de uno y otro sistema
de coordenadas
0
i i
j 0 = Rx (θ) j (1.66)
k0 k
y
0
i0 · j i0 · k
cos ψ 0 − sin ψ i ·i
Ry (ψ) = 0 1 0 = j0 · i j0 · j j0 · k . (1.70)
sin ψ 0 cos ψ k0 · i k0 · j k0 · k
Es importante notar que todas las rotaciones son unitarias, y por lo tanto, cualquier com-
binación de ellas también lo será. Por esto, es posible hacer la operación inversa de una
rotación o un conjunto de ella utilizando la transpuesta. Ası́, si
A0x
Ax
A0y = R Ay (1.71)
A0z Az
entonces
0
Ax Ax
Ay = R> A0y . (1.72)
Az A0z
12 Algebra Vectorial
por lo tanto
ur i
uθ = Rz (φ) j . (1.76)
uz k
Entonces, podemos extender el argumento para las rotaciones al rededor del eje z
De esta
0 relación puede verse que la magnitud de un vector es invariante ante rotaciónes ya
2 2
que A = A · A0 = A · A = |A| .
0
14 Algebra Vectorial
Capı́tulo 2
Derivación de Funciones
Vectoriales
d df (t) dA (t)
[f (t) A (t)] = A (t) + f (t) , (2.5)
dt dt dt
d dB (t) dA (t)
[A (t) · B (t)] = A (t) · + · B (t) , (2.6)
dt dt dt
d dB (t) dA (t)
[A (t) × B (t)] = A (t) × + × B (t) , (2.7)
dt dt dt
d d
[A (t) · B (t) × C (t)] = A (t) · B (t) × C (t)
dt dt
d
+A (t) · B (t) × C (t)
dt
d
+A (t) · B (t) × C (t) (2.8)
dt
Demostramos la ecuación (2.6)
d d
[A (t) · B (t)] = [Ax (t) Bx (t) + Ay (t) By (t) + Az (t) Bz (t)]
dt dt
d d
= Ax (t) Bx (t) + Ax (t) Bx (t)
dt dt
d d
+ Ay (t) By (t) + Ay (t) By (t)
dt dt
d d
+ Az (t) Bz (t) + Az (t) Bz (t)
dt dt
d d
= A (t) · B (t) + A (t) · B (t) . (2.9)
dt dt
Las demás demostraciones se dejan al lector como ejercicio.
2.6 Fórmula de Taylor para funciones vectoriales 17
Estas identidades nos permiten llegar a resultados interesantes como que un vector de
magnitud constante es perpendicular a su derivada. Supongamos otra vez que A ≡ A (t) y
que su magnitud es contante entonces
d d d d
[A (t) · A (t)] = A (t) · A (t) + A (t) · A (t) = 2A (t) · A (t) = 0 (2.10)
dt dt dt dt
entonces
d
A (t) · A (t) = 0 (2.11)
dt
dr
r· = r · v = r · (ω × r) = 0. (2.12)
dt
∞ n
X dn f (t0 ) (t − t0 )
f (t) = n
n=0
dt n!
2 3
df (t0 ) t − t0 d2 f (t0 ) (t − t0 ) d3 f (t0 ) (t − t0 )
= f (t0 ) + + + ... (2.13)
dt 1! dt2 2! dt3 3!
Podemos entonces preguntarnos si una función puede expandirse se manera similar. Supo-
nemos que la función vectorial puede escribirse al rededor del parámetro t0 como
∞
X n
A (t) = C n (t − t0 )
n=0
2 3
= C 0 + C 1 (t − t0 ) + C 2 (t − t0 ) + C 3 (t − t0 ) + . . . , (2.14)
A (t0 ) = C 0,
dA (t0 )
= 1C 1 ,
dt
d2 A (t0 )
= 2 · 1C 2 ,
dt2
3
d A (t0 )
= 3 · 2 · 1C 3 ,
dt3
d4 A (t0 )
= 4 · 3 · 2 · 1C 4 ,
dt4
..
.
dn A (t0 )
= n!C n , (2.15)
dtn
entonces
∞ n
X dn A (t0 ) (t − t0 )
A (t) =
n=0
dtn n!
2 3
dA (t0 ) t − t0 d2 A (t0 ) (t − t0 ) d3 A (t0 ) (t − t0 )
= A (t0 ) + + 2
+ . . . (2.16)
dt 1! dt 2! dt3 3!
ds (t)
q
2 2 2
= [x (t)] + [y (t)] + [z (t)] ,
dt p
ds = dx2 + dy 2 + dz 2 . (2.18)
Esto nos permite definir un conjunto de vectores ortogonales en cada punto de la trayectoria
r (t).
Por el momento tenemos dos vectores ortogonales, el vector tangencial es
dr (s) dr (t) /dt
T = u (s) = = . (2.24)
ds |dr (t) /dt|
La derivada con respecto a s de u es perpendicular a u como puede verse de la ecuación
(2.22), entonces, un vector unitario, perpendicular a u serı́a
du (s) du (s)
N= / (2.25)
ds ds
que recibe el nombre de vector principal normal. La magnitud |du (s) /ds| recibe el nombre
de curvatura de la curva y el recı́proco de esta magnitud es ρ, el radio de curvatura, entonces
du (s) 1
= N. (2.26)
ds ρ
Se sigue entonces que
" 2 2 2 #−1/2
d2 x d2 y d2 z
ρ= + + . (2.27)
ds2 ds2 ds2
El tercer vector, que recibe el nombre de vector binormal puede obtenerse del producto
cruz del tangencial y el normal principal
B = T × N. (2.28) {binormal}
Estos vectores nos permiten escribir la velocidad de una partı́cula de manera conveniente
como
ds
v (t) = u = vT , (2.29)
dt
y la aceleración como
d2 s du ds d2 s du ds ds dv v2
a (t) = u 2
+ =u 2 + = T + N. (2.30)
dt dt dt dt ds dt dt dt ρ
20 Derivación de Funciones Vectoriales
dB dT dN 1 dN dN
= ×N +T × = N ×N +T × =T × (2.31)
ds ds ds ρ ds ds
ϕ ≡ ϕ (x, t) (3.1)
A ≡ A (x, t) (3.3)
A ≡ A (x, t) (3.4)
∂ϕ ∂ϕ ∂u ∂ϕ ∂v ∂ϕ ∂w
= + + (3.16)
∂x ∂u ∂x ∂v ∂x ∂w ∂x
∂ϕ ∂ϕ ∂u ∂ϕ ∂v ∂ϕ ∂w
= + + (3.17)
∂y ∂u ∂y ∂v ∂y ∂w ∂y
∂ϕ ∂ϕ ∂u ∂ϕ ∂v ∂ϕ ∂w
= + + . (3.18)
∂z ∂u ∂z ∂v ∂z ∂w ∂z
Todas estas son posibles formas de la regla de la cadena.
dr ∂ϕ dx ∂ϕ dy ∂ϕ dz dϕ
V · =V ·u= + + = , (3.21)
ds ∂x ds ∂y ds ∂z ds ds
∂ ∂ ∂
∇= i+ j+ k. (3.23) {nabla1}
∂x ∂y ∂z
∂ ∂ ∂
∇= i+ j+ k.
∂x ∂y ∂z
F = Fx i + Fy j + Fz k (3.27)
y en particular
dF dr
= · ∇ F = (u · ∇) F . (3.31) {dervec1}
ds ds
Como u es un vector unitario entonces (3.31) es la derivada direccional de un campo vecto-
rial.
Dado que no hay ambigüedad alguna, entonces
u · ∇F ≡ (u · ∇) F (3.32)
∇ · ϕu = ϕ∇ · u + ∇ · ϕu (3.34)
∇ × ϕu = ϕ∇ × u + ∇ϕ × u (3.35)
∇·u×v = v·∇×u−u·∇×v (3.36)
∇ × (u × v) = v · ∇u − u · ∇v + u (∇ · v) − v (∇ · u) (3.37)
∇ (u · v) = u · ∇v + v · ∇u + u × (∇ × v) + v × (∇ × u) (3.38)
∇ × ∇ϕ = 0 (3.39)
∇ · (∇ × u) = 0 (3.40)
∇ × (∇ × u) = rotrotu = ∇ (∇ · u) − ∇ · ∇u
= grad divu − ∇2 u (3.41)
∇ · (∇ϕ1 × ∇ϕ2 ) = 0 (3.42)
26 Derivación de campos escalares y vectoriales
donde
∂2 ∂2 ∂2
∇2 = ∇ · ∇ = 2
+ 2+ 2 (3.43)
∂x ∂y ∂z
La demostración de estas fórmulas puede hacerse por sustitución directa. Como ejemplo
demostramos la ecuación (3.39) hacemos
i j k
∂ ∂ ∂
∇ × ∇ϕ = ∂x ∂y ∂z
∂ϕ ∂ϕ ∂ϕ
∂x ∂y ∂z
2
∂2ϕ
2
∂2ϕ
2
∂2ϕ
∂ ϕ ∂ ϕ ∂ ϕ
= i − +j − +k − (3.44)
∂y∂z ∂z∂y ∂z∂x ∂x∂z ∂x∂y ∂y∂x
y vemos que si el orden de derivación es irrelevante, entonces
{rotgradcero2} ∇ × ∇ϕ = i0 + j0 + k0 = 0. (3.45)
∇·r = 3, (3.46)
∇×r = 0, (3.47)
u · ∇r = u (3.48)
x ≡ x (u1 , u2 , u3 ) (3.49)
y ≡ y (u1 , u2 , u3 ) (3.50)
z ≡ z (u1 , u2 , u3 ) . (3.51)
u1 ≡ u1 (x, y, z) (3.52)
u2 ≡ u2 (x, y, z) (3.53)
u3 ≡ u3 (x, y, z) (3.54)
(3.55)
x = r cos θ (3.56)
y = r sin θ (3.57)
z = z, (3.58)
∂r ∂r ∂s1
U1 = = = h 1 u1 (3.60) {lameraU1}
∂u1 ∂s1 ∂u1
es un vector unitario y
∂r
h1 =
(3.62)
∂u1
U1 = h 1 u1 (3.63)
U2 = h 2 u2 (3.64)
U3 = h 3 u3 (3.65)
y
∂s1 ∂r
h1 = =
(3.66)
∂u1 ∂u1
∂s2 ∂r
h2 = =
(3.67)
∂u2 ∂u2
∂s3 ∂r
h3 = =
(3.68)
∂u3 ∂u3
28 Derivación de campos escalares y vectoriales
Por analogı́a con (2.17) las longitudes de arco están dadas por
s 2 2 2
Z u1
0 ∂x (u01 , u02 , u03 ) ∂y (u01 , u02 , u03 ) ∂z (u01 , u02 , u03 )
s1 (u1 ) = du1 + + (3.69)
0 ∂u01 ∂u01 ∂u01
s 2 2 2
Z u2
∂x (u01 , u02 , u03 ) ∂y (u01 , u02 , u03 ) ∂z (u01 , u02 , u03 )
s2 (u2 ) = du02 + + (3.70)
0 ∂u02 ∂u02 ∂u02
s 2 2 2
Z u3
0 ∂x (u01 , u02 , u03 ) ∂y (u01 , u02 , u03 ) ∂z (u01 , u02 , u03 )
s3 (u3 ) = du3 + + (3.71)
0 ∂u03 ∂u03 ∂u03
Adoptamos la combención de que u1 , u2 y u3 formen un sistema de coordnadas de mano
derecha, es decir
u1 × u 2 = u 3 , u3 × u1 = u2 , u 2 × u3 = u1 . (3.72)
Supongamos que s es el arco de longitud de r sobre alguna trayectoria arbitraria, en-
tonces, la derivada total del vector de posición r a lo largo de esa trayectoria está dado
por
dr ∂r du1 ∂r du2 ∂r du3
= + +
ds ∂u1 ds ∂u2 ds ∂u3 ds
du1 du2 du3
= U1 + U2 + U1 (3.73)
ds ds ds
y si las curvas formadas al dejar constante u1 , u2 y u3 son ortogonales, es decir
U1 · U2 = U1 · U3 = U2 · U3 = 0 (3.74)
entonces se sigue que, al ser dr/ds unitario
2 2 2
dr dr du1 du2 du3
· = 1 = U1 · U1 + U2 · U2 + U3 · U3 (3.75)
ds ds ds ds ds
o bien
ds2 = U 1 · U 1 du21 + U 2 · U 2 du22 + U 3 · U 3 du23
2 2 2
= |U 1 | du21 + |U 2 | du22 + |U 3 | du23
= h21 du21 + h22 du22 + h23 du23 (3.76)
donde J es el jacoviano.
De manera similar podemos encontrar los diferenciales de superficie, como el área que
se forma entre cada par de vectores, es decir, como el producto cruz de estos vectores
dσ 1 = U 2 du2 × U 3 du3 = u2 × u3 ds2 ds3 = u1 h2 h3 du2 du3 (3.79)
dσ 2 = U 3 du3 × U 1 du1 = u3 × u1 ds3 ds1 = u1 h2 h3 du2 du3 (3.80)
dσ 3 = U 1 du1 × U 2 du2 = u3 × u1 ds1 ds2 = u1 h2 h3 du2 du3 (3.81)
Si U 1 du1 , U 2 du2 y U 3 du3 no fueran mutuamente perpendiculares entonces podemos decir
que
i j k
dσ 1 = U 2 du2 × U 3 du3 = ∂x/∂u2 ∂y/∂u2 ∂z/∂u2
∂x/∂u3 ∂y/∂u3 ∂z/∂u3
i j k
= ∂x/∂u2 ∂y/∂u2 ∂z/∂u2 (3.82)
∂x/∂u3 ∂y/∂u3 ∂z/∂u3
i j k
dσ 2 = U 3 du3 × U 1 du1 = ∂x/∂u3 ∂y/∂u3 ∂z/∂u3
∂x/∂u1 ∂y/∂u1 ∂z/∂u1
∂x/∂u1 ∂y/∂u1 ∂z/∂u1
= i j k
(3.83)
∂x/∂u3 ∂y/∂u3 ∂z/∂u3
i j k
dσ 3 = U 1 du1 × U 2 du2 = ∂x/∂u1 ∂y/∂u1 ∂z/∂u1
∂x/∂u2 ∂y/∂u2 ∂z/∂u2
∂x/∂u1 ∂y/∂u1 ∂z/∂u1
= ∂x/∂u2 ∂y/∂u2 ∂z/∂u2 (3.84)
i j k
En términos de las nuevas variables tenemos que el diferencial total del campo escalar f es
∂f ∂f ∂f
df = du1 + du2 + du3 (3.86) {totf1}
∂u1 ∂u2 ∂u3
y el diferencial de r es
∂r ∂r ∂r
dr = du1 + du2 + du3
∂u1 ∂u2 ∂u3
= U 1 du1 + U 2 du2 + U 3 du3
= h1 u1 du1 + h2 u2 du2 + h3 u3 du3 . (3.87)
Nos interesa conocer el gradiente de f en el nuevo sistema de coordenadas que debe estár
dado por
{totf3} ∇f = λ1 u1 + λ2 u2 + λ3 u3 (3.88)
Sustituyendo (3.88) en (3.85) e igualando con (3.86) vemos que la diferencial total de f es
∂f ∂f ∂f
df = du1 + du2 + du3
∂u1 ∂u2 ∂u3
= h1 λ1 du1 + h2 λ2 du2 + h3 λ3 du3 . (3.89)
entonces, como du1 , du2 y du3 son linealmente independientes, tenemos que
1 ∂f
λ1 = , (3.90)
h1 ∂u1
1 ∂f
λ2 = , (3.91)
h2 ∂u2
1 ∂f
λ3 = . (3.92)
h3 ∂u3
La ecuación (3.88) se transforma en
u1 ∂f u2 ∂f u3 ∂f
∇f = + + (3.93)
h1 ∂u1 h2 ∂u2 h3 ∂u3
y el operador nabla puede expresarse de manera general como
u1 ∂ u2 ∂ u3 ∂
{nablageneral} ∇f = + + . (3.94)
h1 ∂u1 h2 ∂u2 h3 ∂u3
La ecuación (3.94) nos provee de un método general para calcular el gradiente, la divergencia
y el rotacional en cualquier sistema de coordenadas. Sustituyendo las ecuaciones (3.66),
(3.67) y (3.68) en (3.94) obtenemos que el gradiente del escalar f también se puede escribir
como
∂s1 ∂f ∂s2 ∂f ∂s3 ∂f
∇f = u1 1/ + u2 1/ + u3 1/
∂u1 ∂u1 ∂u2 ∂u2 ∂u3 ∂u3
∂u1 ∂f ∂u2 ∂f ∂s3 ∂f
= u1 + u2 + u3
∂s1 ∂u1 ∂s2 ∂u2 ∂u3 ∂u3
∂f ∂f ∂f
= u1 + u2 + u3 (3.95)
∂s1 ∂s2 ∂s3
3.7 Coordenadas curvilı́neas ortogonales 31
y el operador gradiente es
∂ ∂ ∂
{nablageneral2} ∇ = u1 + u2 + u3 . (3.96)
∂s1 ∂s2 ∂s3
En particular, haciendo f = u1 , f = u2 y f = u3 , de las ecuaciones (3.66), (3.67) y (3.68)
podemos ver que
1
∇u1 = u1 , (3.97)
h1
1
∇u2 = u2 , (3.98)
h2
1
∇u3 = u3 (3.99)
h3
y consecuentemente
1 1 1
∇× u1 = ∇ × u2 ∇ × u3 = 0 (3.100)
h1 h2 h3
ya que el rotacional de cualquier gradiente es necesariamente cero como puede verse de las
ecuaciones (3.39) y (3.45).
Además, como los vectores u1 , u2 y u3 son ortogonales y a mano derecha, es decir
u1 = u2 × u3 (3.101)
u2 = u3 × u1 (3.102)
u3 = u1 × u2 (3.103)
F = F 1 u1 + F 2 u2 + F 3 u 3 . (3.108)
Para analizar esta expresión empezamos por el primer término. Multiplicando el argumento
de la divergencia por h2 h3 y dividiendo entre h2 h3
u1
∇ · (F1 u1 ) = ∇ · (F1 h2 h3 )
h2 h3
u1 u1 u1
= ∇ (F1 h2 h3 ) · + (F1 h2 h3 ) ∇ · = ∇ (F1 h2 h3 ) ·
h2 h3 h2 h3 h2 h3
u1 u1 ∂ u2 ∂ u3 ∂
= · (F1 h2 h3 ) + (F1 h2 h3 ) + (F1 h2 h3 )
h2 h3 h1 ∂u1 h2 ∂u2 h3 ∂u3
1 ∂
= (F1 h2 h3 ) . (3.110)
h1 h2 h3 ∂u1
1 ∂
∇ · (F1 u1 ) = (F1 h2 h3 ) (3.111)
h1 h2 h3 ∂u1
1 ∂
∇ · (F2 u2 ) = (F2 h1 h3 ) (3.112)
h1 h2 h3 ∂u2
1 ∂
∇ · (F3 u3 ) = (F3 h1 h2 ) . (3.113)
h1 h2 h3 ∂u3
u1 ∂f u2 ∂f u3 ∂f
F = ∇f = + + (3.116)
h1 ∂u1 h2 ∂u2 h3 ∂u3
entonces
1 ∂f
F1 = (3.117)
h1 ∂u1
1 ∂f
F2 = (3.118)
h2 ∂u2
1 ∂f
F3 = , (3.119)
h3 ∂u3
3.7 Coordenadas curvilı́neas ortogonales 33
∂ 1 ∂ ∂
∇ = ur + uθ + uz (3.150)
∂r r ∂θ ∂z
De acuerdo con la ecuación (3.114), la divergencia de un campo vectorial
F = ur F r + uθ F θ + uz F z (3.151)
es
1 ∂ ∂ ∂
∇·F = (Fr r) + (Fθ ) + (Fz r) (3.152)
r ∂r ∂θ ∂z
De (3.120), el laplaciano está dado por
1 ∂ ∂f ∂ 1 ∂f ∂ ∂f
∇2 = r + + r . (3.153)
r ∂r ∂r ∂θ r ∂θ ∂z ∂z
Integración de Campos
Escalares y Vectoriales
Suponemos que la curva C es suave, es decir, C está hecha de arcos consecutivos en los que
no solo u existe si no que además es continuo de tal suerte que F · u es continuo si F es
continua. También supondremos que la curva no se intersecta con sigo misma.
El vector F está dado por
donde A y B son el punto inical y final como puede verse en la figura 4.1. De esta manera
la integral de lı́nea sólo depende del punto final y del inicial sin importar que camino se ha
seguido para calcular la integral.
Si se cumple la ecuación (4.5) entonces
∂ϕ ∂ϕ ∂ϕ
F · dr = dϕ = dx + dy + dz (4.7)
∂x ∂y ∂z
donde
∂ϕ
= P, (4.8)
∂x
∂ϕ
= Q, (4.9)
∂y
∂ϕ
= R, (4.10)
∂z
Derivando (4.8) con respecto a y y (4.9) con respecto a x vemos que
∂P ∂2ϕ
= (4.11)
∂y ∂y∂x
∂Q ∂2ϕ
= (4.12)
∂x ∂x∂y
y si las derivadas son continuas entonces
∂2ϕ ∂ 2 ϕ ∂P ∂Q
{rotcero1} = = . (4.13)
∂y∂x ∂x∂y ∂y ∂x
Análogamente vemos que, si las derivadas son continuas, entonces
∂P ∂R
= (4.14)
∂z ∂x
∂Q ∂R
= (4.15)
∂z ∂y
Podemos ver que si la función ϕ existe entonces F puede escribirse como una diferencial
exacta y las funciones P , Q y R deben cumplir (4.13), (4.14) y (4.14). Notamos además que
∂R ∂Q ∂P ∂R ∂Q ∂P
∇×F = − i+ − j+ − k (4.16)
∂y ∂z ∂z ∂x ∂x ∂y
ser idéntico a cero si se cumplen (4.13), (4.14) y (4.14). De este último resultado se sigue
que
F = ∇ϕ. (4.17)
4.3 Campo vectorial irrotacional 39
∇ × F = 0. (4.18)
El campo eléctrico de una carga puntual, salvo por unidades y constantes tiene la forma
x y z
F = 3/2
i+ 3/2
j+ 3/2
j (4.19)
(x2 + y2 + z2) (x2 + y2 + z2) (x2 + y2 + z2)
x = a cos t, (4.20)
y = a sin t, (4.21)
z = 0, (4.22)
donde t ∈ [0, 2π] para hacer una revolución completa. El diferencial de trayectoria es entonces
Es interesante notar que el que esta integral sea cero tiene que ver con el hecho de que el
campo eléctrico es conservativo. Se puede comprobar fácilmente que
∇×F =0 (4.25)
40 Integración de Campos Escalares y Vectoriales
y que efectivamente
1
ϕ = −p (4.26)
x2 + y2 + z2
g (x, y, z) = 0. (4.27)
∇g (x, y, z) = 0. (4.28)
∇g (x, y, z)
n=± (4.29)
|∇g (x, y, z)|
g1 (x, y, z) = z
∇g1
n1 = ± = −k
|∇g1 |
dσ 1 = (dσ · n1 ) n1 = −kdxdy (4.33)
La integral sobre S1 es
x=3 y=8
8 × 32
Z Z Z
A · dσ 1 = xdxdy = = 4 × 9 = 36. (4.34)
S1 x=0 y=0 2
g2 (x, y, z) = x
∇g2
n2 = ± = −i
|∇g2 |
dσ 2 = (dσ · n2 ) n2 = −idydz (4.35)
La integral sobre S2 es
y=8 z=3
6 × 8 × 32
Z Z Z
A · dσ 2 = (−6z) dydz = − = −6 × 36. (4.36)
S2 y=0 z=0 2
g3 (x, y, z) = y
∇g3
n3 = ± = −j
|∇g3 |
dσ 3 = (dσ · n3 ) n3 = −jrdrdθ (4.37)
La integral sobre S3 es
Z Z r=3 Z θ=π/2
A · dσ 3 = − (2x + y) rdrdθ
S3 r=0 θ=0
Z r=3 Z θ=π/2 Z r=3 Z θ=π/2
= − (2x) rdrdθ = − 2r cos θrdrdθ
r=0 θ=0 r=0 θ=0
Z r=3 Z θ=π/2 Z r=3
θ=π/2
= −2 r2 cos θdrdθ = −2 [sin θ]θ=0 r2 dr
r=0 θ=0 r=0
Z r=3 r=3
2
= −2 r2 dr = − r3 = −18. (4.38)
r=0 3 r=0
x = r cos θ
z = r sin θ (4.39)
4.4 Integrales de Superficie 43
Ahora calculamos sólo una de estas integrales sobre una superficie Si que contiene un volu-
men Vi . Suponiendo que este volumen es un diferencial como el que se muestra en la figura
4.4 tenemos que
I Z Z Z
F · dσ = F · dσ 1 + F · dσ 2 + F · dσ 3
Si Si1 Si2 Si3
Z Z Z
+ F · dσ 4 + F · dσ 5 + F · dσ 6 (4.47)
Si4 Si5 Si6
4.5 Teorema de la divergencia 45
donde Si1 , Si2 , Si3 , Si4 , Si5 y Si6 son las seis caras del paralelepı́pedo del diferencial de
volumen que se muestra en la figura 4.4. Los diferenciales de volumen son
dσ 1 = −dσ 2 = −jdxdz, (4.48)
dσ 3 = −dσ 4 = −kdxdy, (4.49)
dσ 5 = −dσ 6 = −idydz. (4.50)
(4.51)
Si suponemos que uno de los vértices del paralelepı́pedo se encuentra en el punto (x, y, z)
vemos que, en el interior del diferencial de volumen, el campo vectorial se puede expandir
como
dF = dr · ∇F (4.52)
entonces
F (x + dx, y + dy, z + dz) = F (x, y, z) + dr · ∇F (x, y, z) (4.53)
o bien
F (x + dx, y + dy, z + dz) = F (x, y, z) + dr · ∇F (x, y, z) . (4.54) {expanf1}
Sustituyendo (4.54) en la integral de superficie (4.47) obtenemos
I Z Z
F · dσ = [dr · ∇] F (x, y, z) · dσ 1 + [dr · ∇] F (x, y, z) · dσ 2
Si Si1 Si2
Z Z
+ [dr · ∇] F (x, y, z) · dσ 3 + [dr · ∇] F (x, y, z) · dσ 4
ZSi3 ZSi4
+ [dr · ∇] F (x, y, z) · dσ 5 + [dr · ∇] F (x, y, z) · dσ 6 (4.55)
Si5 Si6
46 Integración de Campos Escalares y Vectoriales
I Z x+dx Z z+dz
F · dσ = − [dr · ∇] Fy (x, y, z) dxdz
Si x z
Z x+dx Z z+dz
+ [(dr + jdy) · ∇] Fy (x, y, z) dxdz
x z
Z x+dx Z y+dy
− [dr · ∇] Fz (x, y, z) dxdy
x y
Z x+dx Z y+dy
+ [(dr + kdz) · ∇] Fz (x, y, z) dxdy
x y
Z y+dy Z z+dz
− [dr · ∇] Fx (x, y, z) dydz
y z
Z y+dy Z z+dz
+ [(dr + idx) · ∇] Fx (x, y, z) dydz
y z
Z x+dx Z z+dz
= (jdy · ∇) Fy (x, y, z) dxdz
x z
Z x+dx Z y+dy
+ (kdz · ∇) Fz (x, y, z) dxdy
x y
Z y+dy Z z+dz
+ (idx · ∇) Fx (x, y, z) dydz
y z
Z x+dx Z z+dz
∂
= Fy (x, y, z) dxdydz
x z ∂y
Z x+dx Z y+dy
∂
+ Fz (x, y, z) dxdydz
x y ∂z
Z y+dy Z z+dz
∂
+ Fx (x, y, z) dxdydz
y z ∂x
∂ ∂ ∂
= Fy (x, y, z) + Fz (x, y, z) + Fx (x, y, z) dxdydz
∂y ∂z ∂x
= ∇ · F (x, y, z) dxdydz = ∇ · F (x, y, z) dτ i
Z
= ∇ · F (x, y, z) dτ , (4.56)
Vi
De esta última ecuación puede inferirse que, la divergencia de un campo vectorial equivale
al flujo total del mismo campo escalar por unidad de volumen en la localidad en la que fue
calculada la divergencia.
Vemos que
∂ (6z) ∂ (2x + y) ∂ (−x)
∇ · A = ∇ · [6zi + (2x + y) j − xk] = + + = 1, (4.62)
∂x ∂y ∂z
por lo que la integral de volumen (4.61) puede calcularse como
I Z Z Z r=3 Z θ=π/2 Z y=8
A · dσ = (∇ · A) dτ = (1) dτ = rdrdθdy
S V V r=0 θ=0 y=0
r=3
r2
π 9π
= (8) = 8 = 2 × 9π = 18π. (4.63)
2 r=0 2 22
Este resultado coincide con el obtenido en el ejemplo de la sección 4.4.1 tal como se espera
del teorema de la divergencia.
Este es conocido como el teorema de Stokes o del rotacional. Veamos la demostración del
teorema de Stokes. Es posible descomponer la integral de lı́nea en una infinidad de circuitos
Ci . Como puede verse en la figura 4.6 las integrales de linea de dos circuitos contiguos se
cancelan en las ramas que comparten dado que estas se llevan a cabo en direcciones opuestas.
Se puede decir entonces que
I XI
{sumacirc1} F · dr = F · dr. (4.65)
C i Ci
Ahora calculamos una integral de linea sobre uno de estos diferenciales de circuito Ci
I Z Z
F · dr = F · dr 1 + F · dr 2
Ci Ci1 Ci2
Z Z
+ F · dr 3 + F · dr 4 . (4.66)
Ci3 Ci4
Figura 4.6: Teorema de Sokes. La supericie S está formada por múltiples superficies Si . Se
puede ver que la supericie Si está contenida en el circuito Ci que tiene los cuatro lados de
un cuadrado Ci1 , Ci2 , Ci3 y Ci4 . {stokes2}
Entonces podemos decir que el rotacional nos da una medida de que tango gira un campo
vectorial en torno a un punto. La dirección del rotacional es perpendicular al plano de giro.
Si integramos este campo a lo largo de una trayectoria C dada por la circunferencia de radio
a que se muestra en la figura 4.7 obtenemos que
I Z 2π
F · dr = (−a sin θi + a cos θj) · (−a sin θi + a cos θj) dθ
C 0
Z 2π
= a2 dθ = 2πa2 . (4.75)
0
∇ × F = 2k (4.76)
Figura 4.7: Teorema del rotacional: La integral sobre el disco es igual a la integral sobre la
{dispel} semiesfera.
52 Integración de Campos Escalares y Vectoriales
F = ∇ϕ (4.79)
∇ · ∇ϕ = ∇2 ϕ = ψ. (4.81)
∇×F = 0
F = ∇ϕ. (4.82)
∇·F = 0
F = ∇ × A. (4.83)
Campo irrotacional . Su rotacional es cero y por lo tanto puede ser expresado como el
gradiente de un campo escalar
∇×F = 0 (4.84)
F = ∇ϕ. (4.85)
Campo solenoidal . Su divergencia es cero y por lo tanto puede expresarse como el rota-
cional de un campo vectorial
∇·F = 0 (4.86)
F = ∇ × A. (4.87)
El teorema de Helmholtz establece que cualquier campo vectorial puede escribirse como la
superposición de un campo solenoidal y otro irrotacional de la forma
F = ∇ϕ + ∇ × A. (4.88)
Tensores Cartesianos
Bi = Mij Aj . (5.3)
56 Tensores Cartesianos
La convensión de Einstein pide también que un ı́ndice no se repita más de dos veces.
Cuando un ı́ndice se encuentra repetido se dice que este ı́ndice está contraido.
Algunos ejemplos de productos de tensores pueden ser
X
Bijk = Miljmkn Almn = Bijk = Miljmkn Almn , (5.4)
lmn
X
B= Aijk Mkij = B = Aijk Mkij , (5.5)
ijk
X
Bk = Ai Mij Cjk = Bk = Ai Mij Cjk . (5.6)
ij
5.3.2. Suma
La suma de dos tensores se da término a término. Por ejemplo, la suma de dos vectores
puede escribirse como
Ci = Ai + Bi , (5.7)
la suma de dos matrices como
Cij = Aij + Bij . (5.8)
La suma de dos tensores de cuarto orden puede escribirse como
5.3.3. Producto
5.3.4. Simetrı́a o antisimetrı́a de un tensor
Supongamos que tenemos un tensor Aij de segundo orden. Este puede reescribirse como
1 1
Aij = (Aij + Aji ) + (Aij − Aji ) = Bij + Cij (5.10)
2 2
donde
1
Bij = (Aij + Aji ) (5.11)
2
1
Cij = (Aij − Aji ) . (5.12)
2
Bij es la parte simétrica del tensor ya que Bij = Bji y Cij es la parte antisimétrica del
tensor ya que Cij = −Cji .
La propiedad más interesante de la delta es que contraida con uno de los ı́ndices de un
tensor da por resultado el mismo tensor
Si cualquiera de los ı́ndices está repetido ijk = 0, si la permutación ijk es par entonces
ijk = 1 y si esta permutación es impar entonces ijk = −1. Por ejemplo
En la sección 1.8.3 estudiamos el triple producto dado por la ecuación (1.46) que puede
ponerse en forma tensorial como
Pasando el lado derecho de esta última ecuación a la izquierda y factorizando tenemos que
[jki jmn − (δkm δin − δkn δim )] Am Bn Ck = 0. (5.23)
Dado que los tensores Am , Bn y Ck son completamente arbitrarios,
jki jmn = δkm δin − δkn δim , (5.24) {doblepsilon1}
que renombrando los ı́ndices tiene la forma
{doblepsilon2} ijk ilm = δjl δkm − δjm δkl . (5.25)
Esta relación es de gran utilidad en la deducción de indentidades vectoriales o diferenciales
como las que se muestran en (3.34)-(3.42).
De las propiedades (5.17) y (5.18) pueden demostrarse fácilmente las relaciones vectoriales
(3.39) y (3.40). Comenzamos con (3.39). El rotacional del gradiente de un escalar se escribe
como
∂ ∂ϕ ∂2ϕ
(∇ × ∇ϕ)i = ijk = ijk
∂xj ∂xk ∂xj ∂xk
∂2ϕ ∂2ϕ ∂2ϕ
= −ikj = −ijk = −ijk , (5.34)
∂xj ∂xk ∂xk ∂xj ∂xj ∂xk
entonces
∂2ϕ ∂2ϕ
ijk = −ijk = 0, (5.35)
∂xj ∂xk ∂xj ∂xk
(∇ × ∇ϕ)i = 0. (5.36)
∂ ∂ ∂ 2 Ak
∇·∇×A = ijk Ak = ijk
∂xi ∂xj ∂xi ∂xj
∂ 2 Ak ∂ 2 Ak ∂ 2 Ak
= −jik = −ijk = −ijk . (5.37)
∂xi ∂xj ∂xj ∂xi ∂xi ∂xj
∂ 2 Ak ∂ 2 Ak
ijk = −ijk = 0, (5.38)
∂xi ∂xj ∂xi ∂xj
entonces
∇ · ∇ × A = 0. (5.39)
∂ ∂ ∂2
∇2 = ∇ · ∇ = = . (5.40)
∂xi ∂xi ∂xi ∂xi
60 Tensores Cartesianos
∂ ∂
(∇ × [u × v])i = ijk klm ul vm = kij klm ul vm
∂xj ∂xj
∂ ∂
= (δil δjm − δim δjl ) vm ul + ul vm
∂xj ∂xj
∂ ∂ ∂ ∂
= vj ui − vi uj + ui vj − uj vi
∂xj ∂xj ∂xj ∂xj
= (v · ∇u)i − (v∇ · u)i + (u∇ · v) − (u · ∇v)i (5.41)