Professional Documents
Culture Documents
A
bstr act
COHOMOLOGIAS
ELIPTICAS
( Un
ensayo i ntr oductor i o)
GUILLERMON1011
. ENO
Al a memo7- i a de un ami go:
Pene Menal
Let a and , Ci be any angl os
then the known f or mul a sena +
/ j )
=
son n: cos
p
J - cos ason
/ 3
becomes under the substi tuti on x
=
sona, y =
son , 0, son ( a
- l -
Q)
=x
1 -
y2
- f -
y
l - x2
=
: F( x,
y) .
Thi s acl di ti on
f or mul a i s an exampl e of a " 1" or mal gr oupLaw"
whi ch showupi n many contexts i n Moder n
Mathemati cs .
In Al gebr ai c
Topol ogy sui tabl e Cohomol ogy theor i es
i nduce a
For mal
Gr oupLaws, the El l i pti c Cohomol ogi es ar e the or es
who
r eal i ze the Eul er acl di ti on
f or mul a ( 1778) : F( x, y) =: ( x
R( y)
y
R( x) / 1 - ex' y
2) .
For R( z) =1 - 26x2 +ez
4 the above case
cor r esponds to e =0, 6 =
2
.
In thi s sur vey paper we def i ne thi s Cohomol ogy
theor i es and es-
tabl i sh i ts r el ati onshi p wi th Gl obal anal ysi s
( Ati yah- Si nger The-
or em) and Modul ar hor r os f ol l owi ng
i deas of Landweber , Hi r ze-
br uch et al .
" Entr e l as di sci pl i nas
i ntel ectual es, l a Matem-
ti ca
ocupa una posi ci n ni ca. Desde muchos
puntos de vi sta es
un ar te, per o tambi n es el
l enguaj e de
l as ci enci as . Apesar de que gr an
par te
de
l a Matemti ca pr ovi ene de f uentes ex-
ter mks,
mucha de su cr eati vi dad est moti vada
i nter namente
. " 1 . M. SINGER.
" Por
l a
gl or i a del esp r i tu humano" . G. T. J A-
COBI
Una de l as car acter sti cas
f undamental es de l a i nvesti gaci n en Ma-
temti ca ( bsi ca) hoy d a, es l a
i nter r el aci n y tr asl apami ento de sus
di f er entes r amas; stas se
entr el azar a a veces del a maner a ms i nesper ada
790
G. MORENO
y poco evi dent e para dar l ugar a nuevas t eor as, desde l as cual es l os
probl emas de i nvest i gaci n vi ej os t oman un nuevo enf oque y dan l ugar
a nuevos probl emas con nuevas sol uci ones.
Est e es el caso del t ema que nos ocupa, "Cohomol og as El pt i cas", que
se podr a descri bi r como l a i nt ersecci n de vari as i mport ant es ramas,
cada una con su probl emt i ca espec f i ca, a saber : Topol og a Al gebrai ca,
Teor a de l os Nmeros ( La Teor ade l as curvas el pt i cas) , Anl i si s Gl obal
( El ndi ce de At i yah- Si nger) y F si ca Teri ca ( El model o si gma no l i neal ) .
En est e art cul o i nt roduct ori o t rat aremos de est abl ecer l os
di f erent es
i ngredi ent es necesari os para l a def i ni ci n de di chas t eor as procurando
obt ener l os ant ecedent es necesari os para poder comprender
l as
i nt errel a-
ci ones
de l as que habl bamos ; l a i dea f undament al de l a exposi ci n es
hacer resal t ar una const ant e en l a i nvest i gaci n mat emt i ca que consi st e
en not ar que en muchas ocasi ones dos probl emas ( o ms) nos l l evan a l a
necesi dad de resol ver un mi smo
probl ema numri co, es deci r, se reducen
a est udi ar
un
mi smo
f ormal i smo. Eso no qui ere deci r en pri mera i nst an-
ci a que l os
probl emas sean el mi smo o de l a mi sma nat ural eza, empero
en ocasi ones nos hace adi vi nar
causas o cont ext os est ruct ural es de l os
dos probl emas para que
el modo en que se present an y l a nat ural eza de
l as sol uci ones de uno t engan
que ver con l a del ot ro.
En nuest ro caso
di chos probl emas son el est udi o de l a Cohomol og as
general i zadas compl ej o- ori ent abl es
en Topol og aAl gebrai ca. , el est udi o de
l as curvas el pt i cas
l l amados Curt i cas de J acobi
y
el est udi o de ci ert os
i nvari ant es baj o
cobordi smo de vari edades l l amados gneros ( donde l a
si gnat ura
es el
pri nci pal
ej empl o) . Est os t res t emas nos l l evan a un
mi smo f ormal i smo,
a saber, el est udi o de ci ert os
"Logari t mos
de Leyes
f ormal es de
Grupo", que son l os que se pueden escri bi r como i nt egral es
el pt i cas correspondi ent es a l as f unci ones seno general i zado de J acobi .
En l a Secci n 1 daremos un
repaso de
di cho
l enguaj e
f ormal ;
en l a
Secci n
2
est udi aremos ci ert as curvas el pt i cas, l as curt i cas de J acobi ,
desde
un
punt o
de
vi st a f ormal ;
en l a Secci n 3 est udi aremos el f orma-
l i smo l i gado
a una t eor a de cohomol og a ( Compl ej o ori ent abl e) ; en l a
Secci n
4 def i ni rnos
l as cohomol og as
el pt i cas
recogi endo l os dat os de l as
Secci ones
2
. y
3.
En l a
Secci n 5 revi saremos
l a noci n de l ogari t mo f ormal ,
en l a
Secci n 6 veremos l o que se ent i ende
por gnero el pt i co que es; por
deci rl o de al guna manera, l a
ot ra cara de l a moneda respect o a Coho-
mol og as El pt i cas
.
En
l a Secci n
7
di scut i remos l a rel aci n ent re ci ert o gnero el pt i co
y el ndi ce
de
At i yah- Si nger
del operador de Di rac. En l a Secci n 8
t rat aremos
de mot i var el est udi o de l a rel aci n de l os t emas expuest os
COHOMOLOG AS
EL PTI CAS
791
con l a pr obl emt i ca de l a t eor a de super cuer das, r ef i r i endo al l ect or
a ot r as f uent es ms compl et as, dado nuest r o car ct er de t ur i st as en
el
t ema.
Est e
ar t cul o sur gi de pl t i cas y conf er enci as i mpar t i das en l a secci n
deMat emt i cas de
l a Uni ver si dad Aut noma de Bar cel ona en Bel l at er r a,
en
l os depar t ament os de Mat emt i cas del CI NVESTAVy UAM- I zt apa-
l apa, en
el I nst i t ut o de Mat emt i cas de l a U. N. A. M. y en el
CI MATen
Guanaj uat o. At odos l os col egas de est as i nst i t uci ones que
par t i ci par on
agr adecemos sus coment ar i os, muy en especi al a
L.
Ast ey y
a X. Gmez-
Mont .
"Per o nos
pr egunt ar nos : El cr eci mi ent o del
conoci mi ent o
mat emt i co har event ual ment e
i mposi bl e par a un sol o
i nvest i gador ent ender
t odas
l as par t es de di cho conoci mi ent o? En
r espuest a
per m t aseme seal ar cmo i nt er na-
ment e, por l a
mi sma nat ur al eza de l as ci en-
ci as mat emt i cas, cual qui er pr ogr eso r eal l l eva
dent r o de
s el descubr i mi ent o de her r ami en-
t as
ms i nci si vas y mt odos si mpl es l os cual es
al mi smo t i empo f aci l i t an l a compr ensi n de
l as
t eor as pr evi as y el i mi nan l os ant er i or es de-
sar r ol l os i ns escabr osos . Por l a adqui si ci n
el e est as
her r ami ent as ms pr eci sas y mt odos
si mpl es, el i nvest i gador
por s mi smo obt i ene
xi t o
or i ent ndose en l as di f er ent es r amas de
l as mat emt i cas . En ni nguna ot r a ci enci a es
posi bl e hacer
est o en el mi smo gr ado" . DAVI D
I - I I LBERT ( 1 900)
1 . Repaso
sobr e Ley de Gr upo For mal
Def i namos a 1 V1 como un ani l l o
( gr aduado) con 1 y a x t i na i ndet er mi -
nada ( de gr ado - 2) AI [ [ x] ] denot a el
ani l l o de ser i es f or mal es en x con
coef i ci ent es en 1 V1 , un
el ement o t pi co es de l a f or ma
, . >o
ai xi
a
E1 1 ~1
.
_2i
.
M[ [ x, y] ] denot a el ani l l o de ser i es f or mal es en dos var i abl es x e y ( de
gr ado - 2 ambas) con coef i ci ent es en M. Un el ement o t pi co es de l a
f or ma
F( x, y) =1:
ai . j x' y~
con
a?7
EM_2( i +
. 7)
.
, j >0
792
G. MORENO
Def i ni ci n. Unal ey de grupo f orl i l al sobreMes unel ement oF(x, y)E
M[[x, y] ] , est o es, unaseri e f ormal que cumpl e l as si gui ent es propi edades :
1) F(x, 0) =x, F(0, y) =y (I dent i dad)
2)
F(x, y) =F(y, x) (Conmut at i vi dad)
3)
F(F(x,
y), z) =F(x, F(y, z)) (Asoci at i vi dad)
4)
Exi st e
i (x)
E
M[[x] ] t al
que F(x, i (x)) =
0
(La exi st enci ade
un
i nverso) .
Se puede veri f i car " f ci l ment e que l as propi edades def i ni t ori as son l as
t res pri meras, yaque 4) se puede deri var de el l as . Observamos t ambi n
que 2) nos di ce que
ai . 7
=
aj i
para t odai , j >0 .
Ej empl os .
(a) F(x, y) =x +y " Lal ey adi t i va" es deci r que
ao1 =
a
j
o
=1
y
ai 7
=
0
ent odos
l os ot ros
casos. Sepuede deci r i nmedi at ament e
que i (x) =-x.
(b)
F(x, y) =x +y +xy =(1 +x)(1 +y) - 1 -es deci r
aoj =aj o =1
y
al , =1
ai 7
=
0 en t odos l os ot ros casos, est a l ey de
grupo f ormal es conoci dacomo " mul t i pl i cat i va" es f ci l deduci r t ambi n
que
i (x)
1
+
x
-
1
n>1
El t eoremapri nci pal de l a t eor a de grupos f ormal es al menos en l o
que a nuest radi scusi n conci erne es :
Teoremade Lazard. Exi st e un ani l l o Lgraduado conmut at i vo y con
1 y unal ey de grupof ormal Fu(x, y) sobre L t al queparat odo ot ro ani l l o
My seri e f ormal F(x, y) sobre l , exi st e O:
L ->M
homomorf i smo de
ani l l os graduados con l a propi edad de que si
Fu
(x, y) =
i , j >o
i , j >o
Ci i xi yi ,
Ci j
E
L,
ent onces
(Ci j ) x, YJ .
Est e
t eorema
se puede
resumi r
di ci endo
:
dadaunal ey de grupo
f ormal
sobre
M
a st al e corresponde (unni co)
homomorf i smo
de
ani l l os
de
L
a
M
.
Tal
. ani l l o
uni versal
se puede const rui r
:
L =71
[t i ,
t 2,
. . . ] donde el
grado
de t i es +2(i +J ) +
2
.
Paraunacompl et a versi n de est a secci n recomendamos el l i bro de
M. Hazewi nkel ,
vea
[H]
en l abi bl i ograf a.
COHOMOLOGAS
13Ll PTI CAS
793
2. Gruposformal es yfunci ones el pt i cas
Tomemose y8 comoparmet ros ydefi namos R(x) =1 - 28x2 +Ex4
un
pol i nomi ode cuart o
grado, y
con l defi namos
dt
g(x)
=
l oxR(' t )
Est ag(x) es conoci da comounai nt egral el pt i ca de J acobi (vea [ Ha]
en l a bi bl i ografa) .
Paraci ert as sust i t uci ones de
l os parmet ros 6 y E est a g(x) nos es
conoci da:
=
arcsenx.
=
arcsenhx.
=arcsenl x l a funci n
i nversa
del senol emni sct i co.
Si 0<~<l yE=k2 y8=
k221, g(x)=fx
d-r
=
O
(
1- T2)(1+
k2T2)
arcsenJ x; est aes l a funci n i nversadel o que se conoce col eoel senode
J acobi que
i nt ervi ene cent ral ment e enel probl emadel pndul omat em-
t i co.
El nombredeel pt i co, comoes bi ensabi do,
provi enede que el i nt ent ar
cal cul ar
l a l ongi t ud de unsegment ode el i pse nos conduce i rremedi abl e-
ment e al cl cul o. de i nt egral es de est e
t i po, que nose pueden eval uar
con funci ones el ement al es. Nuest ros t res
pri meros ej empl os provi enen
del casoci rcul ar, hi perbl i coy
l emni sct i co(vea [ Ma] enl a bi bl i ografa,
pgi nas 96 enadel ant e) . _
Del a t ri gonomet ra el ement al sabemos que parangul os dados
ay0
l a l ey
de adi t i vi dad del senoes
sen(a+, 3) =
senacos
Q
+
cosnsen, 3.
Si hacemos l a
sust i t uci n x =sena
y =senfl y recordamos que
cose p=1 - sen2
~3
ysi mi l ari nent e paraa, podemosver que
sen(a+/0) =x
1
--y2 +y
1
--x2
- x
R. (y)
+y
R(x)
para E =0y 6 =
2
enl a frmul ade arri ba.
Cl arament e F(x,
y)
=x
R(y)
+y
R(x) es unal ey de grupoformal ,
veri fi que que cumpl e l as t res propi edades menci onadas.
Si E =0y6 =
g(x) =
fo
dTT
Si E =0y6 =-
g(x) =
fo
+T
Si
E =-1 y 6 =0 g(x) --
fo
dTT
794
G. MORENO
Lal ey de adi t i vi dad parag- 1( x) , es el caso general de l a ant eri or, y
es l a l ey de grupo f ormal
FEl l ( x, y)
=
x
R( y)
+
y
R( x)
1 - ex2y2
que es conoci dacomo l a l ey de adi t i vi dad de Eul er y dat ade
1768. ( Vea
[Ma] parauna demost raci n, especi al ment e
el Cap t ul o
I V) .
Dado un pol i nomi o P( x) de grado 3 4, a l a curva que def i ne l a
ecuaci n y2 =P( x) es conoci dacomo unacurvael pt i ca; o t cni cament e
una curva al gebrai ca
de gnero
1 ;
a l a i nt egral
g
( x) =
f o
P
( T )
se l e
conoce como i nt egral el pt i caasoci adaal acurvay2 =P( x) y al af unci n
g
- 1( x)
como l a f unci n el pt i ca asoci ada, a l acurva.
Exi st e una t eor a general paraasoci aci n de una l ey de grupo f ormal
auna curvael pt i ca dada; l o que nosot ros hi ci mos arri ba f ue ent ender el
caso part i cul ar y2 =1- 26x 2 +ex 4 =R( x) conoci dacomo l a curt i ca de
J acobi . ( Vea el l i bro de Si l verman [Si ] en l a bi bl i ograf a, especi al ment e
el Cap t ul o I V)
.
Acl aramos que en t odal a di scusi n de est asecci n hemos consi derado
f unci ones a val ores real es def i ni das sobre R, pero para evi t ar posi bl es
probl emas t cni cos podemos pensarl as def i ni das y con val ores en C, l os
nmeros compl ej os .
3. Ley de grupo f ormal y t opol og a al gebrai ca.
SeaE*( ) unat eor ade cohomol og amul t i pl i cat i va con ani l l o
espect ro
Ey coef i ci ent es 7r*( E) y CP =l i mCP` el espaci o proyect i vo compl ej o
i nf i ni t o.
Def i ni ci n. Lat eor a de cohomol og a E*( ) es compl ej o ori ent abl e
si E*( CPw) =7r*( E) [[x]] un ani l l o de seri es f ormal es sobre el ani l l o
graduado 7r *( E) con x unai ndet ermi nadade di mensi n - 2.
Ej empl os .
( 1) Si E- ( ) - H* ( ; 7L) , ent onces t enemos l a cohomol og a ordi nari a
H*( CP; Z) =7L[x] C 71[[x]] .
( 2) Si E*( ) =K*( ) l a K- t eor a compl ej a, ent onces K*( CP) _
7L[[x]]
donde x =
- 1 y
es el haz de Hopf canni co sobre CPI .
( 3) Si E*( ) =MU*( ) es el cobordi smo compl ej o, ent onces t en-
dremos E*( CP) =7r*( MU) [[x]] .
( 4)
E*( ) =KO*( ) l aK- t eor a. real no es compl ej o ori ent abl e. ( Ver
[Sw, Cap t ul os 17y 18] en l a bi bl i ograf a) .
COHOMOLOGASHLPTI CAS
795
ComoH*(CP; Z) es l i br e de t or si n ent onces
E*(CP' x CP) =E*(CP-) E*(CP-) =7r
(E)[ [ xi , x2] ]
.
7r . l E)
Si
~y
denot a el pr oduct ot ensor i al de haces l i neal es sobr e CP
xCP',
ent onces exi st e y: CP x CP --> CP', el mapeocl asi f i cant e, el
cual
i nduce una mul t i pl i caci n sal vohomot opa en
CP' . Al t er nat i vament e,
p puede ser def i ni da comol a mul t i pl i caci n de l azos en
CP-=
K(7L, 2) =QK(7; 3)
Suponi endoque E*(
)
es
compl ej o-or i ent abl e, t endr emos que
p*
: E*(CP') -> E*(CP' x CP')
def i ne un
homor f i smode ani l l os de ser i es f or mal es
p, * : i r
. (E) [ [ x] ] ->
7F*
(E) [ [ XI , x2] ] -
Luego
p*
(x) =
Fc(xl , x2)
es l a l ey de gr upof or mal asoci ada a E*() .
Ej empl os .
(a) Si
E*( ) =H*( ; 7L), ent onces noes di f ci l ver que Fi l a (x1,
x2)
_
x
l +x2
vea ej empl o (a) de
l a Secci n 1 .
(b) Si
E*( )=K*( )ent onces K*(CP1 xCP1)
=7L[ [ xl , x2] ] ,
donde
xl =~-1 y
x2
=r l -1, denot ando~y
y
dos copi as del haz
canni co
de l neas de Hopf , ent onces
FK(x1, x2) =(x1
+1
)(x2
+
1) -1 =
XI
+x2 +xl x2
Vea ej empl o (b) de l a Secci n 1 .
El t eor ema f undament al sobr e l ar el aci n ent r e t eor as de
cohomol ogas
compl ej oor i ent abl es yl eyes de gr upo
f or mal
es :
Teor ema de Qui l l en. El ani l l o de
Lazar d L
es i somor f o
al ani l l o de
cobor di smo compl ej o7r *(MU) yl a l ey
uni ver sal de gr upof or mal sobr e L
es
Fu(xl ,
x2)
=
FAI U(xi ,
x2),
l a l ey de gr upof or mal asoci ada
a MU*( ) .
Par a una demost r aci n de est e r esul t ado, vea el
l i br o
de J .
F. Adams
[ Ad] en l a bi bl i ogr af a. En nuest r a i nt er pr et aci n del t eor ema de Lazar d
en l a Secci n 1 habamos seal adoque L
. y
Fv (x, y) comoobj et os uni ver -
sal es en ci er t ocont ext oi . e . , est os "domi naban" a t oda par ej a M, F(x, y) .
796
G.
MORENO
Deaqu queel teorema deQui l l en nos di ce quetodas l as teor as deco-
homol og a compl ej o ori entabl es estn domi nados por MU*( ) yconse-
cuentementepor "enci ma" deMU*( ) no hayteor as compl ej o
ori enta-
bl es; tratando deser ms preci sos, consi deremos el di agrama
7r*( ) - ;
. . . - MU*(
) - '
.
. . K*
( ) - H*( ; Z) ;
donde 7r*(
) denota l a cohomol og a establ e y
l as
f l echas l a f actori zaci n
del mapeo ("edge") ari sta en l a sucesi n espectral de
Ati ya, h- Hi rzebruch,
entonces l as teor as decohomol og a a l a derecha deMU*( )
son compl ej o
ori entabl es ya l a i zqui erda deMU*( ) no admi ten el f ormal i smo
del as
l eyes degrupo
f ormal .
Esto qui z seal e al l ector l o i naccesi bl equees el cal cul ar l a cohomo-
top a decual qui er espaci o oen otras pal abras cuanto ms a l a i zqui erda
estemos en el di agrama ms di f ci l es el cal cul ar pero ms
i nf ormaci n
se
obti ene ycuanto ms a l a derecha es menos di f ci l cal cul ar pero
menor
es l a i nf ormaci n queseobti ene. (Para esta secci n recomendamos
l a
l ectura de [ Ad, Secci n
2] ) .
4. Cohomol og as el pti cas
Deacuerdo con l a Secci n 3 todateor a decohomol og acompl ej o ori en-
tabl e ti ene una l ey degrupo f ormal asoci ada, bi en nos pudi eramos pre-
guntar
:
Dada
una l eydegrupo f ormal sobreci ertos coef i ci entes apropi -
ados
exi ste una teor a decohomol og a compl ej o ori entabl e con esos coe-
f i ci entes ycon
di cha l ey degrupo f ormal asoci ada?
Nose conoceuna respuesta compl eta a esta pregunta, pero para casos
parti cul ares se puedeobtener una respuesta
af i rmati va
;
notabl ementese
ti ene.
Teorema
(Landweber- Stong,
1985) .
Para
FE11(x, y)
_
- EX
y
E
'
)
1 -
,
l a l ey
de
grupof ormal asoci ada a l a curti ca de J acobi
ex
y2 =R(x) en l a Secci n
2, exi ste una teor a de cohomol og a compl ej o-
ori entabl e que denotamos
por E11*( ) ; l l amada l a cohomol og a el pti ca .
(Vea l os art cul os de
Landweber en [ La] .
5. El l ogari tmo deuna l ey degrupo f ormal
Pocodi j i mos acerca decohomol og as el pti cas en l a Secci n
4ms al l
desu def i ni ci n. Para eso necesi tamos ms herrami entas teri cas
.
Def i ni ci n
. Sea F(x, y)
una l ey
de
grupo f ormal sobre Mun ani l l o
(como arri ba) l a di f erenci al f ormal asoci ada a F(x, y) es
Ej empl os .
(a) F(x, y) =
x
+
y
ent onces
F
=
1 , as W(T) =dt .
(b) Si F(x, y) =x
+y +
xy ent onces ==
1
+y
W(T)
=
1 +7' .
(c) F(x, y) =
FF1 1 (x, y)
_
x
a
y) +y~~(
. r)
ent onces
al ,
=
R(y)
+
x
G(x, y) donde G(x, y) es
ci ert a f unci n que depende de . ry ( veri -
f quel o! ) . as es que
Wcl 1 (T)
=R(T) 21 dT.
La f orma di f erenci al W(T) es
de part i cul ar i mport anci a, dadoque dej a
i nvari ant e a F(x, y) est o es,
W(F(T, S) ) =W(T) ,
. y
cumpl e t ambi n que
W(0) =dT. Adems, W(T)
es l a, ni cacon l as dos propi edades descri t as .
(Vea [ Si , Cap t ul o
I V, Secci n 4, pgi nas 1 . 1 9 y 1 20] ) .
Def i ni ci n
. El l ogari t mo f ormal de F(x, y) es :
La exponenci al f ormal de F(x, y) es l a seri e de pot enci as
i nversa a
1 09F(T)
y se denot a
expr (T) , es deci r,
Ej empl os .
W(T) -
C
OF
(X
,
y) (0
T) ~
- 1
dt
E
M[ [ T] ] dt .
(a) Si F(x, y) =x
+y,
ent onces l ogF(T) =T=
exp(T) .
(b) Si
F(x, y)
=
. x
+
. y
+
. xy,
l ogF(T)
=
f (1 +
T) - 1 dT
=
1 T
"
00
,
, y
l uego exp(T) =1 : l _. En t rmi nos de l a no-
n- 1
, 1 =1
t aci n del cl cul o,
l og1 , (T) =l og(1
+
T) y expF(T) =eT-
1 .
(c) Para
FEl , (x,
y) , t enemos
l ogF1 1 (T)
=
. ~
M7F1 1
(T) =f R(T)
21 dT
=
dT
=
9(t ) .
R(T)
Est a l t i ma es l a i nt egral el pt i ca est udi ada en
l a,
Secci n
2y exp(T) =
9
- 1 (T) l a f unci n seno general i zada. Ahora bi en, not emos que (1 - 2zT+
1
, 2
)
- 1 =E
P, 1 (z) T` es l a f unci n generadora (l e l os "pol i norni os de
n>0
Legendre" P, , (z) , l os cual es est n dados por l a f rmul a
Po(z) =1 ,
P, z (z) =
COHOMOLOG AS EL PTI CAS
79
7
1 09F(T)
=
J
W(T) dt
EM
Q[ [ T] ] .
l ogr (expF
(T) ) =
eXPF(l ogF(T) )
=
1
.
(2n
-
2r) !
, L_2, .
(- 1 )
2' Er! (n - r) ! (n, - 2r) !
z
7. 98
G. MORENO
donde m=
2
or ni =
n21
dependi endo
de
que m
sea unnmer o ent er o.
Haci endo una sust i t uci n adecuada, podemos ver
que
n>o
y Pn( z , 0) =Pn( z ) , l uego ent onces
P, , ( 6 , E) T
2n
con
P, ( S , E) =
Pn( S /E) En~2
Pa
( s, E)
2n+1
l ogE11( T) _
2n
+
1
T
Una pr opi edad i mpor t ant e de l as ser i es f or mal es l og( T) y exp( T) en
M