Transformaciones a coordenadas curvilneas generales

FMM-1.7H1. V1.1, 8-marzo-2004

Consideremos un sistema de coordenadas cartesianas x
1
, x
2
, x
3
con vectores base

i
1
,

i
2
,

i
3
{ }
.
Transformamos a un sistema de coordenadas curvilneas
1
,
2
,
3
con vectores de la base
natural { }.

g
1
,

g
2
,

g
3
g
1

g
2

g
3

2


i
3

x
3



i
1

x
2


i
2
r
x
1

Notas:
1. Planteamos una transformacin de cartesianas a curvilneas para examinar las
propiedades del sistema de coordenadas curvilneas; los resultados pertenecen al
sistema de coordenadas y no a la transformacin.
2. En general hay cuatro bases importantes para un sistema de coordenadas
curvilneas:
Base natural { }
g
1
, g
2
, g
3
Base natural fsica e
1
, e
2
, e
3
{ } = base natural normalizada
Base recproca
Base recproca fsica = base recproca normalizada
3. Los vectores de la base natural son tangentes a las coordenadas.
4. La notacin correcta consiste en utilizar superndices para coordenadas y utilizar,
para ndices repetidos (que implican suma), una pareja de superndice y subndice.
Esto es, v
k

g
k
para indicar suma, i.e. v u
m

g
m k

g
k
= v
1

g
1
+ v
2

g
2
+ v
3

g
3
. En esta
clase simplificamos y slo utilizamos superndices para la base recproca y
componentes contravariantes en la seccin 3.5.
5. El objetivo de este desarrollo es derivar el resultado, para coordenadas curvilneas
ortogonales, J= h
1
h
2
h
3
donde J es el jacobiano y h
1
, h
2
, h
3
son los factores de
escala. Adems se demostrar que dV

= J d
1
d
2
d
3
. Por otra parte se discutir
el diferencial de longitud de arco y su relacin al tensor mtrico fundamental;
todo lo anterior a partir de los componentes cartesianos de los vectores de la base
natural.
2
Consideremos la transformacin:
Tx : Cart Curv Tx : Curv Cart

1
=
1
(x
1
, x
2
, x
3
)

2
=
2
(x
1
, x
2
, x
3
)

3
=
3
(x
1
, x
2
, x
3
)
x
1
= x
1
(
1
,
2
,
3
)
x
2
= x
2
(
1
,
2
,
3
)
x
3
= x
3
(
1
,
2
,
3
)

El primer paso en el desarrollo es obtener los vectores de la base natural; para lograrlo
consideramos el radio vector r (que va desde el origen hasta un punto P en el espacio):
r = x
1

i
1
+ x
2

i
2
+ x
3

i
3
= x
k

i
k
k=1,3

= x
k

i
k

en donde se puede omitir la sumatoria si se considera que los ndices repetidos implican
suma. Ntese que podemos obtener los vectores de la base si sacamos parciales del radio
vector con respecto a las coordenadas:

i
k
=
r
x
k
k =1,2,3.
Si consideramos el radio vector como funcin de las coordenadas curvilneas
r =
1
g
1
+
2
g
2
+
3
g
3
=
k
g
k

obtenemos

g
k
=
r

k
k =1,2,3,
en este caso pensamos que el radio vector es funcin de las coordenadas curvilneas; si
aplicamos la ecuacin anterior al radio vector que depende de las coordenadas cartesianas
utilizamos la regla de la cadena
g
k
=
r(x
1
, x
2
, x
3
)

k
=
r(x
1
, x
2
, x
3
)
x
m
x
m

k
=
x
m

k

i
m
k =1,2,3
en donde el ndice repetido m implica suma tomando valores 1,2 y 3. Con esto se puede
ver que los componentes (cartesianos) de los vectores de la base natural del sistema
curvilneo se obtienen a partir de la transformacin de coordenadas curvilneas a
cartesianas
J
x

( )
=
x
1

1
x
1

2
x
1

3
x
2

1
x
2

2
x
2

3
x
3

1
x
3

2
x
3

3
|
\





|
.
|
|
|
|
|

Componentes cartesianos de g
1
g
2
g
3
g
k
=
x
m

k

i
m
k =1,2,3
Se puede ver que los componentes de
estn dados por la primera columna
de la matriz del jacobiano de la
transformacin; esto es, las columnas
de la matriz del jacobiano nos dan los
componentes cartesianos de los
vectores de la base natural.
g
1
3
A partir de este punto nos restringimos a sistemas de coordenadas curvilneas ortogonales
(OG); en estos sistemas, los vectores de la base natural son ortogonales aunque no
necesariamente ortonormales (ON).
El segundo paso en el desarrollo consiste en normalizar los vectores de la base natural y
obtener la base natural fsica { . Se define a los factores de escala h

e
1
,

e
2
,

e
3
}
m
como la
magnitud de los vectores de la base natural; esto es
h
m

g
m
=

g
m

g
m
=
x
1

m
|
\

|
.
|
2
+
x
2

m
|
\

|
.
|
2
+
x
3

m
|
\

|
.
|
2
m =1,23

Con esto podemos definir los vectores (ortonormales; ON) de la base natural fsica

e
m

g
m
h
m
m =1,23 (sinsuma)
1
.
Cabe hacer notar que estos vectores son adimensionales, mientras que los vectores de la
base natural pueden tener dimensiones; en particular, si una coordenada es un ngulo, el
vector (de la base natural) asociada a esa coordenada tendr dimensiones de longitud. Lo
anterior se puede ver de la ecuacin del radio vector que tiene dimensiones de longitud;
por tanto los sumandos tienen dimensiones de longitud y si una coordenada no tiene
dimensiones entonces las dimensiones (de longitud) las tendr el vector que multiplica a
esa coordenada.
El producto interno de los vectores de la base natural fsica se puede expresar en trminos
de la delta de Kronecker:

e
k

e
m
=
km
=
1 si k = m
0 si k m




Es de uso comn denotar los vectores de la base natural fsica por las coordenadas en vez
de nmeros; esto es { se escribe
e
1
, e
2
, e
3
}

e
r
,

e

,

e
z
{ }
en coordenadas cilndricas o
en coordenadas esfricas. e
r
, e

, e

{ }
Un resultado que nos ser de gran utilidad posteriormente es el clculo del jacobiano
(J=determinante de la matriz del jacobiano) en trminos de los factores de escala;
considerando el producto de la transpuesta de la matriz del jacobiano por la matriz del
jacobiano tenemos que
J
T
J =

g
1

g
2
g
3
|
\



|
.
|
|
|

g
1

g
2

g
3
( )
=

g
i

g
j ( )
=

g
1

g
1

g
1

g
2

g
1

g
3

g
2

g
1

g
2

g
2

g
2

g
3
g
3
g
1
g
3
g
2
g
3
g
3
|
\



|
.
|
|
|
=
h
1
2
0 0
0 h
2
2
0
0 0 h
3
2
|
\



|
.
|
|
|
= TMF
donde la ltima matriz es diagonal (para coordenadas OG) y se denomina el tensor
mtrico fundamental (TMF; regresaremos al TMF posteriormente). Puesto que la
determinante de un producto de matrices es el producto de los determinantes y el

1
Ntese que la m del factor de escala est subrayada para indicar que en este caso m no
est repetida y no hay suma; esto es, e
1
=

g
1
h
1
, etc.
4
determinante de la transpuesta de una matriz es igual al determinante de la matriz,
tenemos que, si sacamos determinantes de la ecuacin anterior,
J
T
J = J
2
= J
2
= h
1
2
h
2
2
h
3
2
= h
1
h
2
h
3
( )
2
J = h
1
h
2
h
3


Esto es, para un sistema de coordenadas curvilneas OG, el jacobiano est dado por el
producto de los factores de escala.
El tercer paso en el desarrollo es el clculo de la longitud de arco dl; para un camino en el
espacio tenemos que si r =
k
g
k
entonces dr = d
k
g
k
. Con esto
2

dl
2
= dr
2
= dr dr = d
k
g
k
d
m
g
m
= g
k
g
m
( )
d
k
d
m

El producto interno de los vectores de la base natural son los
componentes del tensor mtrico fundamental (TMF) y se
denominan g
km
. Con esto escribimos
dr
dl
r
TMF = g
km
( )

g
k

g
m
( )= J
T
J =
h
1
2
0 0
0 h
2
2
0
0 0 h
3
2
|
\



|
.
|
|
|

en donde la ltima expresin slo es vlida en coordenadas OG. Finalmente, obtenemos
una expresin para la longitud de arco:
dl
2
= g
ij
d
i
d
j
= h
1
2
d
1
2
+ h
2
2
d
2
2
+ h
3
2
d
3
2

De nuevo, la ltima expresin es vlida en coordenadas OG.
El ltimo paso en el desarrollo es el clculo del volumen del elemento diferencial, el cual
se puede escribir utilizando el triple producto escalar:
g
1
d
1

g
2
d
2

g
3
d
3

1

dV

= g
1
d
1
g
2
d
2
( )
g
3
d
3
= g
1
g
2
( )
g
3
d
1
d
2
d
3

Considerando el triple producto escalar de los vectores,

g
1

g
2
( )

g
3
=
dx
k
d
1

i
k

dx
l
d
2

i
l
|
\

|
.
|

dx
m
d
3

i
m
=

i
k

i
l
( )

i
m
dx
k
d
1
dx
l
d
2
dx
m
d
3

se puede ver que i

k

i
l
=
kln

i
n
en donde

kln
=
1 si kln son permutacin par de {1,2, 3}
1 si kln son permutacin impar de {1,2, 3}
0 si kln estn repetidos






entonces,

i
k

i
l

i
m
=
kln

i
n

i
m
=
kln

nm
=
klm
, y con esto
g
1
g
2
( )
g
3
=
klm
dx
k
d
1
dx
l
d
2
dx
m
d
3
.

2
Ntese la doble sumatoria sobre k y m.
5
Ahora bien, de la triple sumatoria sobre los ndices k, l, m tenemos 27 sumandos de los
cuales 21 sumandos son cero (ndices repetidos), tres son positivos (
klm
= +1) y tres son
negativos (
klm
= 1). Con esto, hacemos la expansin de la ecuacin anterior y
obtenemos

g
1

g
2
( )

g
3
=
dx
1
d
1
dx
2
d
2
dx
3
d
3
+
dx
2
d
1
dx
3
d
2
dx
1
d
3
+
dx
3
d
1
dx
1
d
2
dx
2
d
3

dx
1
d
1
dx
3
d
2
dx
2
d
3

dx
3
d
1
dx
2
d
2
dx
1
d
3

dx
2
d
1
dx
1
d
2
dx
3
d
3

Examinando la ecuacin anterior, vemos que
g
1
g
2
( ) g
3
=
dx
1
d
1
dx
1
d
2
dx
1
d
3
dx
2
d
1
dx
2
d
2
dx
2
d
3
dx
3
d
1
dx
3
d
2
dx
3
d
3
= J

Finalmente, sustituyendo este resultado en la expresin del volumen diferencial,
obtenemos
dV

=

g
1

g
2
( )

g
3
d
1
d
2
d
3
= Jd
1
d
2
d
3
= h
1
h
2
h
3
d
1
d
2
d
3

En donde el ltimo resultado se aplica a coordenadas OG. Cabe hacer notar que todos los
resultados en donde no aparecen los factores de escala se pueden utilizar en coordenadas
curvilneas generales; slo cuando aparecen los factores de escala, el resultado se limita a
coordenadas curvilneas OG.
El ltimo resultado se puede aplicar a diferenciales de rea cuando las coordenadas son
2D; esto es, cuando la transformacin es del tipo
Tx : Cart Curv 2D Tx : Curv 2DCart

1
=
1
(x
1
, x
2
)

2
=
2
(x
1
, x
2
)

3
x
3
x
1
= x
1
(
1
,
2
)
x
2
= x
2
(
1
,
2
)
x
3

3

en este caso,
dA
12
= Jd
1
d
2
= h
1
h
2
d
1
d
2
.

De nuevo, el primer resultado es general, mientras que el segundo se aplica a
coordenadas 2D OG.
Sistemas de coordenadas 2D incluyen el sistema Cartesiano, Cilndrico, Elptico-
Cilndrico, Parablico- Cilndrico y Bipolar; sistemas 3D OG incluyen el Esfrico
3
,
Paraboidal, Cnico, Toroidal, Biesfrico, etc.

3
En FMM tomaremos las coordenadas esfricas como {r, , } (como se definen en el
paquete Calculus`VectorAnalysis` de Matemtica y en el libro de Narasimhan), a
diferencia de {r, ,} como se definen en otros libros.