Nivel Superior La Derivada Geomtrica y el Clculo Geomtrico Carlos Pereyda Pierre y Arnulfo Castellanos-Moreno Departamento de Fsica, Universidad de Sonora

Apartado 1626, Hermosillo, Sonora, Mxico.

Resumen
En este artculo discutimos el concepto de derivada geomtrica y el teorema fundamental del clculo en el contexto del clculo geomtrico. Enseguida demostramos que resultan como casos particulares el teorema fundamental del clculo para funciones escalares en el clculo tradicional de varias variables, as como los teoremas de la divergencia y del rotacional para campos vectoriales adems del teorema de Cauchy de los nmeros complejos.

I. Introduccin En este trabajo nos proponemos estudiar la derivada geomtrica y discutir el teorema fundamental del clculo en el contexto del Clculo Geomtrico, que trata con funciones definidas y valuadas en espacios lineales llamados lgebras geomtricas. Para leer una introduccin breve sobre esta clase de matemticas es recomendable consultar la referencia [9], sobre la cual descansa este artculo. En este trabajo asociamos dos significados a la frase lgebra geomtrica, para evitar confusiones, cuando nos estemos refiriendo al mtodo la escribiremos con maysculas o la abreviaremos como AG y cuando hablemos del espacio lineal la escribiremos con minsculas y nunca usaremos abreviaturas. El lgebra Geomtrica (AG) retoma el trabajo sobre teora de extensiones de Hermann Grassmann de 1844 [1]. Aparentemente, mucho de este trabajo no fue adecuadamente apreciado en el siglo XIX y empez a generar inters en la segunda mitad del siglo XX, de tal modo que muchas de sus ideas fueron redescubiertas por diversos investigadores. El programa de Grassmann, en palabras de David Hestenes, consisti en la elaboracin de un clculo universal, siendo sta una idea que se retoma con la disertacin doctoral de este autor en 1963 en la University of California Los Angeles en 1963 y revisada y refinada en el libro Space-Time lgebra, publicado en 1966. Entre los elementos previos que influyen sobre este trabajo se encuentran las notas de Marcel Riesz [2]. El trabajo posterior a esa fecha consiste en un programa de aplicaciones a la Fsica y de difusin de esta matemtica que inicia con las referencias [3] y [4] y que contina en los aos recientes con un nmero creciente de obras, entre las cuales podemos citar [5] y [6]. Adems, la facilidad para realizar transformaciones lineales ha llevado a aplicar estas matemticas a modelos para estudiar la relacin de la visin con el equilibrio de las personas [7] y a desarrollar con xito estudios sobre robtica [8]. El lgebra Geomtrica es un lenguaje natural construido sobre el campo de los nmeros reales y contiene los formalismos de los vectores, los nmeros complejos, los cuaternios, los espinores y otras formas algebraicas que podemos identificar con las formas diferenciales. En general, sustituye y generaliza al lgebra lineal. Este artculo se organiza como sigue: en la segunda seccin definimos la derivada geomtrica, en la tercera demostramos el teorema fundamental del clculo, en la cuarta lo

115

particularizamos para R3 y en la quinta demostramos que en el plano complejo se reduce al teorema de Cauchy. II. La derivada geomtrica El clculo diferencial en Rn: Nos proponemos estudiar la derivada geomtrica de una funcin multivectorial F. Nuestro punto de partida es una funcin f definida sobre un intervalo [x,x+ ] contenido en los nmeros reales. La idea consiste en interpretar la derivada de esta funcin f(x): f ( x + ) f ( x) x f ( x) lim 1.1 0 como la suma de los dos valores que toma la funcin en la frontera del intervalo [x,x+ ], tal que dicha funcin valuada est multiplicada por dos direcciones en los extremos de dicho intervalo: direccin 1 en el punto x y direccin +1 en el punto x+ , de modo que enseguida dividimos la suma entre el tamao del intervalo: . Si trabajamos con funciones valuadas en R2, nuestro conjunto es un segmento del plano, las fronteras son el contorno que delimita a dicha regin del plano y el conjunto de puntos frontera donde es necesario especificar direcciones es infinito. El tamao del intervalo ser el rea dirigida del segmento de plano. Es decir, habr en el denominador un bivector y en lugar de sumar dos valores, como en (1.1), lo que tenemos que hacer es una integral de contorno. En cambio, si decidimos trabajar en R3, la regin es un volumen del espacio tridimensional y la frontera es la superficie que lo rodea, en consecuencia, lo que tendremos es una integral de superficie como la que sigue: n    Fd 2 x = lim 2 ( x k ) F ( x k ) , 1.2 2
 donde 2 ( x k ) es un bivector que aproxima e indica la direccin de la superficie S en el punto  x k . En el denominador de la definicin de derivada tendremos el volumen dirigido de la porcin del espacio tridimensional correspondiente, por consiguiente, habr en el denominador un trivector. En consecuencia con las consideraciones anteriores, la definicin de derivada geomtrica de la funcin multivectorial F es N  1 1    lim S j F ( r j ) = lim F = lim   S i 0  d s F ( x ),   1.3 m ( x ) 0 m ( x ) m ( x ) 0 m ( x ) S n j =1   donde m( x ) es el trivector correspondiente. Es importante hacer notar que depende de x , lo cual nos da la oportunidad de considerar espacios cuya direccin cambia de un punto a otro del espacio. La funcin F puede ser un escalar, un vector, un bivector, un trivector, o una combinacin de ellos, es decir, un multivector. La generalizacin a Rn es directa, basta considerar un subconjunto de Rn, rodeado por  una frontera que denotaremos como , tal que el multivector de grado n-1: n 1 ( x k ) , aproxima  a la superficie e indica su direccin en el punto x k de . Hasta aqu hemos supuesto que la orientacin del espacio puede cambiar de un punto a otro del espacio. Una forma de imaginarlo es cuando pensamos en una superficie S en R3. As como S puede cambiar su orientacin, lo mismo puede ocurrir con el espacio n-dimensional inmerso en un espacio de dimensin n+1.
S xi 0 n k =1

116

 Cuando se trata de espacios llanos, como es el caso de R3, el multivector m( x ) es un  trivector que denominamos V( x )=iV, de modo que la orientacin indicada por el trivector i es la misma en todo el espacio. Sobre esta base, veremos cul es la forma de la derivada geomtrica en R3:

 f (t , x ) = lim 

N  1  lim S j f (r j ) .   Si 0 V ( x ) 0 V ( x ) n j =1

1.4

Podemos tomar un segmento de volumen de forma cbica, lo suficientemente pequeo para aproximar la frontera S de la expresin (1.4) por medio de la suma que sigue 1 6    f (t , x ) = lim 1.5  S j f (r j ) ,  V ( x )0 V ( x ) j =1  de forma que cada sumando corresponde a una cara del cubo. El bivector S j , con j= 1,,6, tiene area d2x=dxidxj con i,j= 1,2,3, de modo que puede ser representado mediante su vector dual in d2x:  S j = ind 2 x, 1.6 donde n es el vector normal a cada cara del volumen cbico seleccionado. En detalle, es una suma de seis integrales de superficie sobre cada una de las caras y queda como sigue 6   1  f (t , x ) = lim  dS j f (rj ) , 1.7  S v ( x ) 0 v( x ) j =1  donde rj son los puntos sobre la j-sima cara. Numerando las caras como 1, 2, 3, 4, 5 y 6, respectivamente, podemos establecer el siguiente razonamiento: la nica diferencia entre dos caras opuestas es la direccin del bivector, no su magnitud. Esto se traduce en la direccin de los vectores normales,

dx

dx
n

dx dx

  por eso se pueden representar como S1 = i (n1 )d 2 x y S2 = i (n2 )d 2 x , donde n1 = n2 . Asimismo tendremos n3 = n4 y n5 = n6 . Resulta 1        f (t , x ) = lim { i (n2 )d 2 xf (r2 ) + i (n1 )d 2 xf (r1 ) + i (n4 )d 2 xf (r4 ) + S1 S1 S4 V 0 iV  2   2   2  i(n3 )d xf (r3 ) + i(n6 )d xf (r6 ) + i(n5 )d xf (r5 )} .
S3 S6 S5

Reagrupando y simplificando,

117

 d 2x  d 2x  1      [ f (r2 ) f (r1 )] + i (n4 ) f (t , x ) = lim {i (n2 ) V [ f (r4 ) f (r3 )] V S2 S4 V 0 iV d 2x    [ f (r6 ) f (r5 )]} + i (n6 ) . S6 V Podemos usar coordenadas cartesianas porque se trata de un cubo, hacemos x2=x, x4=y, x6=z, tambin hemos incluido el volumen como denominador que acompaa al numerador: d2x. Si el cubo es tan pequeo que las funciones pueden ser aproximadas como en constantes en sus reas respectivas, los trminos entre corchetes salen de las integrales como constantes multiplicativas. Entonces podemos establecer las siguientes expresiones: d 2x 1 S 2 V = x para las caras con normal en la direccin de n2 d 2x 1 S 4 V = y para las caras con normal en la direccin de n4

d 2x 1 S 6 V = z para las caras con normal en la direccin de n6 Adems, si usamos la base ortonormal usual : { 1 , 2 , 3 } , podemos escribir       r2 r1 = x 1 , r4 r3 = y 2 , r6 r5 = z 3 y entonces tenemos 1 1    f (t , x ) = lim 1 [ f (r1 + x 1 ) f (r1 )] + lim 1 [ f (r1 + x 1 ) f (r1 )] x 0 x 0 x x 1  + lim 1 [ f (r1 + x 1 ) f (r1 )] x 0 x as f f f  , 1.8 f (t , x ) = 1 + 2 + 3 x y z de donde resulta que, cuando f es la funcin real , la derivada geomtrica coincide con el gradiente  f f f 1.9 f (t , x ) = , , x y z .
III. El teorema fundamental del clculo Para espacios llanos el teorema fundamental del clculo se enuncia como sigue: Teorema: Sea F una funcin multivectorial cuyo dominio es un volumen R n con una superficie que ahora simbolizamos como , se cumple que n n 1  2.1 d xF = d xF   donde d n x es un elemento de volumen dirigido en y d n 1 x es un multivector que aproxima a  la superficie en cada punto x . Demostracin:  Puesto que hemos restringido nuestro estudio a espacios llanos, el elemento de volumen es V( x )  = iV y ser representado como: V = n x ; a su vez, el multivector que aproxima a la superficie

118

  ser ds = d n 1 x , por lo tanto, en la nueva notacin la definicin de derivada (1.4) se escribe como sigue 1    2.2 F ( x ) = lim n  d n 1 xF ( x ) n x 0 x Escribiendo el lado izquierdo de 2.1 mediante la definicin de integral resulta N   2.3 d n xF = lim (n x )k (F )
N k =1

usando ahora la expresin 2.2 en el lado derecho N 1     d n xF = lim (n x )k lim n  d n 1 x F ( x ) n N x 0 x k =1 simplificando N      d n xF = lim d n 1 xF ( x ) = d n 1 xF ( x )
N k =1

2.4

con lo cual queda completa la demostracin.

IV Ejemplos Particulares en R3 Si F es una funcin escalar f definida en R3, el teorema fundamental del clculo se reescribe como 3 2 3.1 d x f = d x F ,
V S

Para ligar estos resultado con los del clculo usual basta relacionar el trivector con su dual     escalar: d 3 x = id 3 x y el bivector con su dual vectorial d 2 x = in d 2 x , donde n es el vector  normal al bivector d 2 x .     Si F es un campo vectorial E , usamos que E = E + E , tambin      nE = n E + n E , que sustituidas en (2.1) e igualando partes escalares y partes bivectoriales nos proporciona las relaciones que siguen:       d 3 x E = d 2 xn E y d 3 x E = d 2 xn E ,
V S V S

La primera expresin es el teorema de la divergencia del clculo usual y la segunda nos proporciona el teorema del rotacional si usamos los vectores duales para escribirla, en lugar de los bivectores que hemos usado.

V. El teorema fundamental del clculo en el plano complejo Podemos particularizar el teorema fundamental del clculo al caso del plano complejo si hacemos: n=2, el dominio es entonces una regin S del plano complejo y la frontera es el contorno C que rodea a la regin S. Enseguida aprovechamos que en el lgebra geomtrica los nmeros complejos son una sublgebra del lgebra geomtrica G2 que se discute en la referencia [9], entonces: z = x + iy donde i = 1 2 , con { 1 , 2 } la base ortonormal en R2. Una funcin f(z) valuada en los complejos puede escribirse como f ( z ) = u ( x, y ) + iv ( x, y ) . Tambin sabemos que para que la funcin sea derivable deben de cumplirse las ecuaciones de Cauchy-Riemann

119

u v v u = = , x y x y
El operador nabla = 1

+ 2 sobre f(z) resulta x y f ( z ) = 1 + 2 [u ( x, y ) + iv( x, y )] x y

= 1 u ( x, y ) v( x, y ) u ( x, y ) v( x, y ) + 1i +2 + 2i x x x x y 2i = 2 1 2 = 2 ( 2 1 ) = 1 , reagrupamos en la expresin

calculando 1i = 1 1 2 = 2 anterior y se obtiene

u ( x, y ) v( x, y ) v( x, y ) u ( x, y ) f ( z ) = 1 + 2 x + y . y x De las ecuaciones de Cauchy-Riemann resulta f ( z ) = 0 . Entonces el teorema fundamental del clculo se escribe como sigue  2 Sd xf ( z ) = C dxf ( z )  usando d 2 x = id 2 x y multiplicando por i, se obtiene  i id 2 xf ( z ) = i dxf ( z ) , S C  tal que si usamos: f ( z ) = 0 y idx = dz resulta

que es el teorema de Cauchy. Este resultado es muy interesante porque es una muestra de que la variable compleja se encuentra contemplada en el clculo geomtrico.
Bibliografa
[1] H. Grassmann, Linear Extension Theory, traduccin al ingles en L. C. Kannenberg, The Ausdehnungslehre of 1844 and other works Chicago, La Salle: Open Court Publ. (1995). [2] M. Riesz, Clifford Numbers and Spinors, (notas de curso desarrollado en el ciclo escolar 1957-8). Editado por E. Folke Bolinder and P. Lounesto, Luwer Academic Publisher (1993). [3] D. Hestenes, New Foundations for Classical Mechanics 2nd. Ed., Kluwer (1999) [4] D. Hestenes and G. Sobczyk, Clifford Algebra to Geometric Calculus, Kluwer (1992). [5] A. Castellanos-Moreno, Introduccin al lgebra y al Clculo Geomtrico, notas de curso (2003). [6] C. Doran y A. Lasenby, Geometric lgebra for Physicists, Cambridge University Press (2003) [7] D. Hestenes, Neural Networks, 7, No. 1, 1994, 65-77. D. Hestenes, Neural Networks, 7, No. 1, 1994, 79-88. [8] E. Bayro-Corrochano y G. Advances in Geometric Algebra with Applications in Science and Engineering. Automatic theorem proving, computer vision, quantum and neural computing and robotics.,Sobczyk (eds.), Birkhauser, New York, February, ISBN 0-8176-4199-8, 2001 [9] B. Miranda, R. Olivas, F. G. Robles y A. Castellanos-Moreno, Algunos Elementos del lgebra Geomtrica y el Origen de los Huracanes, enviado a la XIV Semana Regional de Investigacin y Docencia en Matemticas (2004).

0 = dzf ( z )
C

120