SOBRE LA DUALIDAD ENTRI; EL TEOREMA DE GAUSS. BONNET Y LA INTEGRAL DE GEODESICAS QUE CORTAN A UNA CURVA SOBRE UNA SUPERFICIE por Viwas, Anascar, 0. Fstablecemos a continuacién Ia integral de geoddsicas como un invariante integral absoluto del conjunto de geodésicas que cor- tan a una curva, simplificando una demostracién dada anteriormente 31*, Tambidn seiialamos la casi-dualidad existente entre el teorema de Gauss-Bonnet y la integral de geodésicas. Como ejeraplo consi- deramos dos circulos de distancia en coordenadas polares geodésicas ¥ dos métricas casi-dutales, 1a f6nmula relativa a Ia integral de geo- désicas en una, expresa el toorema de Gauss-Bonnet cn Ta otra métri- ca. Hin un trabajo anterior estableciamos esta casi-dualidad con coordenadlas georésicas paralelas a una curva C pero la valides de las coordenadas no permite extender los resultados a todo el interior de ©. Ta integral de yevrlésicas relaciona una medida lineal de puntos, Ja Tongitud, con la integral doble de geodésieas, Jil teorema de Gauss- Bonnet, relaciona la medida lineal de geodésicas tangentes, esto es ds, con una integral doble «le puntos. in Ia integral de geodé sicas no aparece sada andlogo a la curvatura K, porque fos dngutos que forman las tangentes en cada punto de la superficie varian en. todos de 0 a z, si este dngulo variase de un punto a otro, tendria que apareeer una funeién de punto K para medir las geodésicas, Jaa duulidad seré completa en un espacio de Finsler conveniente. os miimeros eutre corchetes se relicren a la bibliografia dada al final1. Tnwariante integral relative del tubo de geodésicas tangentes a una curva dada, PROPOSICION 1. Sea una curva cerrada C, de clase > 3 sobre una superficie, Con- sideremos sobre ella coordenadas curvilineas tal que C esté represontada por v' = 0, sobre ella v# la longitud del arco, sean v* = const. las geo- désicas tangentes a C, siendo sobre ellas v! la longitud del arco. Veconst, arco Vv! Si tomamos sobre tas geodésicas a partir de su punto de tangencia con C una distancia variable I (funcién de P), se encuentra una curva E, verificdndose Se Ip cos 2. ds = Ue (03, 9) 110 siendo a et dngulo que forma E con las geodésicas v? = const. y U (oR, v9) la longitd de C entre los puntos que corresponden av — v ye Demostracién: Por set o? el arco sobre vl a: 0 g22(0, %) = 1, gn sobre o? == const., o! es el arco. puesSupongamos v= , con C. Considerando las ecuaciones diferenciales de tas geodésicas: , geodésicas que hacen el Angulo A(0, v4) @) opi (= 12) por ser i? = d= 0, de la segunda, se deduce: Ih=0 Hs decir, UR = g4 11, 1) +2 ]11, 2) Leen au -yee ae ten ($2 - 0, pero gun =I, por tanto 612 es decir: giz sélo depende de v®; gia(v#). Para el dngulo de dos curvas paramétri a 2 con p= jt os P Ven giza pero grx(0, #2) s+ 1, se deduce: &12(%%) = cos 8 (0, #4), esta primera forma fundamental seré: $2 = He? 4.2 cos B(0, vipile? + g,,(0!, wr)ar2, Si las curvas v2 = ¢ son tangentes a C, se obtiene ds? == (dv'? + 2dv'do® + gr, (dv2)? Considerando ta curva E { ui = Hy tas geodésicas i = 1 se tiene § = POA sioas { dt! = 0! pare Es tiene { 1 para tas goodésicas { 4%, = 2,para el dngulo « de estus dos curvas se deduce (tae ay » (ass = arco de E), finalmente se obticne: Jaron 2% & ae (+d =F + O08, arco Ey, parte de E comprendido entre las geodésicas correspon- dientes a 03 y 0. COROLARIO 1. SiC y E son corvados @ [cos & dy = Ue Se deduce: Cualquiera que sea la curva E cervada, | cos x doy 68 ine dependiente de E y por tanto, es un invariante integral relativo. COROLARIO 2 Si E es um arco ortogonal a las geodésicas o® = c, se deduce: Gleb, of) = Hod) — 0) que representa ct leorema de curva envolwente 2, Medida de las geodésicas que corlan a wia curva C sobre wna su- peficie, PROPOSICION 2. Del incariante integral reativo { cus a dsy det tubo de geodésicasLangentes a una curva C sobre wna superficie, se deduce el invariante ‘integral absoluto (4) que representa la medida de las geodésicas que corlan a C. Se toma valor absoluto de sen a for tratarse de wna medida. La curva E fué obtenida tomando una semi-gevdésica tangente, considerando la geodé- sica completa, se deduce: | cos x dsy || dsj=2L (sobre C, a= 0) por el teorema de Stokes: 6 cos 2 ds, = | son o| dx as = [ cos 2 ds = 2L ar Jeneso 2c PROPOSICION 3. Siondo aG ta densidad de geodésicas y et mimero de intersecciones de cada geodésica con C, se deduce () f 90dG = 2E Jeneve Demostracién: Dado un invariante integral relative correspondiente a un tubo lineal de yeodésicus, su diferencial exterior representa un invariante integral absotuto, que es una medida, pues ¢s invariante sobre un conjunto de dos dimensiones de geodésieus, sin necesidad de que sea cerrado y no depende del punto en que sc cuente Ia geodésica. Por tanto [sen a) dx ds es un invariante integral absoluto que mide la densidad de geodésicas que cortan a C. Teniendo en cuenta queOy fies J, jsen al da = 20 siendo dG el elemento diferencial de fa medida de geodésicas, como Ia geodésica G ha sido contada tantas veces como intersecciones tiene con C, siendo m este ntimero, se obticne: | ndG = 2L cad. eneeo COROLARIO 3. Para las curvas convexas | 2dG— 21 as decir, en este caso \ aG= 1 Jonceo La medida de las geodésicas que cortan sobre una superficie a wna curva C, convexa, es igual a su longitud. 3. Otra expresién de la integral de geodésicas. TEOREMA Dada una curva convexa cerrada de clase no inferior a tres, sobre una porciin de superficie, en donde puedan definirse unas coordenadas polares ortogonales (1, 12) y tal gue cada geodésica que corta a C tiene twia sélo wna linea paramétrica orlogonal w— const., la medida de las geodésicas que cortan a C esté definida por ieee 40 aut Siendo 9 la variacién del dngulo del vector tangente a las lineas paraméiricas 1! = const., en el sentido de Levi-Civita, s, la longituddel arco sobre las curvas 12 = const., L Ua longitud de C, La integra- ciin extendida al dominio: Int. E, de los puntos determinados por los puntos de interseecién de cada geadésica que corte a C com la curva ortogonal 12 = const Demostraci6n: ‘Teniendo cn cuenta las coordenadas clegidlas, se deduce: dst = gi (du? +gra(du2}?, siendo x, la cutvatura geodésica de ta curva i! = const. y representado por dsp su arco y por ds el arco de uw = const., se deduce (Vid. "I! pag. 9 Pero Por tanto (8) (Jon fads, ff Siendo E el contomo que limita ol dominio de integracién con- siderado, 0 sea, determinado por los puntos de interseecién de tas curvas geodésicas tangentes a C con tas curvas paramétricas 12 = const. ortogonales. Hlamando ds, al elemento de arco de la curva Ey a al éngulo que forma en cada punto dicha curva E con las lineas paramétricas ut ~ const, es el mismo que forma E con la geodésica tangente a C correspondiente a ese punto; pues 1! = const. es tangente también a. esa geodésica en P, (Fig. 2), se deducc: ds, gp awe as, dspPero por ta férmula establecida (3), se tiene [Joce att [a= [cnt Nota. Esta férmula generaliza a las superficies 1a f6rmula para Ja medida de rectas en el plano dada cn coordenadas polares. 4, La casi-dualidad entre ta integral de geodésicas y el teorema de Gauss-Bonnet. Dada una superficie S, la medida de las geodésicas que cortan a wna curva C, cerrada, que para mas simplicidad, supondremos convexa, pttede expresarse siendo I ta Iongitud de ta curva C (10) ja-({ oo «¢ at dence G densidad de geodésicas, mide el conjunto de geodésicas sobre la superficie que cortan a C y es igual a la longitud de ta curva si C es convexa, sta férmula telaciona una medida lineal de puntos con na integral doble de geodésicas.HA teorema de Ganss-Bonnet, para wa curva sin puntos singa- ares, puede expresarse: an Qe-| ads~l| Kado curvatura yeodésiea, K curvatura total, de elemento de area sobre lu superficie. Pero | x, ds es la medida lineal de las geodésieas tangentes a C, mide el angulo entre la tangente al describir la curva ¥ ¢l vector tangente inieial que se desplaza paralclamente en 1 sen- tido de Iwevi-Civita. Por tanto esta férmula relaciona la medica Tineal de geodésieas tangentes con una integral doble de puntos*. Lat duatidad no es completa, pues los Angulos que en cada punto de la superficie hacen los veetores tangentes ex constante e igual a 2, nnientras que la Tongitud de Ins geodesieus no es constante, Bor esto aparece ta frncién K evi la férmula de Gauss-Bonnet y no figura nada anilogo en ta formula de la integral de yeodésicas Para poner de relieve esta casi-dutalidad, vamos a consitlerar unas coordenadas polares geodésicas (i!, 12). u? = const, las geodésicas ¥ sobre cllas ula Tongitud del arco. Ta primera forma fundamental (12) ds = (dul)? gradu? Consideremos una segunda meétrica sobre otra superficie $", tame bién en coordenadas polares, tal que sea; (13) dS2 se (du!) 1 Gg(drei2 (4 a= (8 ) PROPOSICION 4. EL teorema de la integral de geodésicas en esta segunda mélrica (13) relativa al civculo de distancia 1! — ¢ en S? exprosa el leoremua de @) Si existen pumtos angulosos, ex le expresién del teorema de Gat Bonnet aparece el érraino “gig ds 2x, que tambien representa ta medida dle tamgentes CGauss-Bonnet relativo a la primera métrica (12), también respecto al circulo de distancia w' = c en S. Demostracién: De Ja férmula de ta curvatura total en frneién de pag. 80): (as) Se deduce de (15) Ven k= — 3h (View o a. (#ab) mele = Gut V ant) ~~ Ge)? es decir: age 6G! (06) en + Kelp = 0 _ ae + Kg = La expresién del tcorema sobre 1a densidad de geodésicas en la métrica (13), respecto a Ia enrva C’, v! = ¢ se expresa: un [, vGia dus = [f ! J Jenceo Mae pero teniendo en cuenta el valor de G22 deducido de (16) se tienecmv me una CH OF YoOrCEL a CHS HOMIE nas ae tt eae : (191 SE ae Ff RH aut — [i aca at a cesta expresidn representa cl teorema de Gauss-Bonnet, para In pri- mera métri putes de fa formula para x, se deduce (Vid. 1, pag, 93) apn WO. Nien ~ ae (in (Sy waa f 2! ) as ain para Ta primera forma (12), siendo C, a! ¢ dvr A aL On ds "VED 2G ge au! Ger die dev bake du ds as ut as a, ds- On es decir (18) se puede escribir: eee i KelPaut ava, BIBT.I0G) APTS 1, Rrenunnscn, Differentiat geometric, CG. Yeukmer, Berlin 1932. L.A. Sawrasc, Introduction to Integral Geometry, Act. Se. ot ind. n.0 1198. Hermann, Paris, 1953, 3H. Vupar, Anascat, Geometria integral sobre las superficies curcas. Publ. del Obseev, de la V antiago de Compostela, 1950, F. VIDAT-R. G. Ropuya, Nola sobre curvas en superficies de curcatura constante, Collectanea Math, V. 5, 1952p. 1-9.