EULER,

SERIES
Y ALGUNAS
FUNCIONES
ESPECIALES
per
JOAQUINM. ORTEGAARAMBURU
Professor de l a Sec c i o de Ma tema ti ques , Fa c ul ta t de Ci en c i es,
Un i v ersi ta t Auton oma de Ba rc el on a
1 . BREVE APUNTE BIOGRAFICO
LEONHARDEULER n a c 1 6 el 1 5 de a bri l de 1 807en Ba si l ea . Ba si -
l ea posei a un a de l a s poc a s un i v ersi da des de l a epoc a en que l a en se-
n a n za e i n v esti ga c i on ma tema ti c a ten i a un a mpl i o desa rrol l o. El l o
fue debi do a t i mpul so de l a fa mi l i a de l os BERNOULLI, un mi n i mo de
oc ho ma tema ti c os en tres gen era c i on es. El fun da dor de l a di n a sti a ,
Ni c ol a s, tuv o tres hi j os: Ja c obo, Jua n y Ni c ol a s I. Ja c obo y Jua n
fueron c orrespon sa l es c on LEIBNITZy c ol a bora dores del mi smo. El
pa dre de EULER, que era pa stor c a l v i n i sta , si gui o l a s l ec c i on es dej a -
c obo e i n i c i o en l os c on oc i mi en tos
ma tema ti c os a su hi j o. Este i n -
treso en l a Un i v ersi da d en 1 720c on l a i dea de dedi c a rse a l a teol ogi a
si gui en do l a s di rec tri c es de su pa dre. En tro a l l i en c on oc i mi en to
de
JUAN BERNOULLI que ha bi a susti tui do a Ja c obo, a su muerte, en l a
c a tedra de Ma tema ti c a s de l a Un i v ersi da d de Ba si l ea . JUAN BER-
NOULLI supo v er l a s a pti tudes de EULER y l o a c ogi o c omo di sc i pul o
l l ega n dose a da r peri odi c a men te c l a ses pa rti c ul a res. EULER se gra -
duo a l os 1 7 a n os y empezo sus publ i c a c i on es a l os 1 8. JUAN BER-
NOULLI tuv o tres hi j os, de l os c ua l es, dos de el l os, NICOLAS II y DA-
NIEL fueron ma tema ti c os y a mi gos de EULER. Ambos fueron a l a
Ac a demi a de S. Petesburgo en 1 725, Ac a demi a que j un to a l a de
Berl i n y Pa ri s era n l os c en tros c i en ti fi c os de ma yor presti gi o del
c on ti n en te.
[ 3 83 1
3 0
JOAQUINM. ORTEGAARAMBURU
Los hermanos BERNOULLI consiguieron para EULER un puesto
de miembro agregado en l a Academia de S . Petesburgo y en 1727
parte de Basil ea. En el momento en que l l ega a Rusia l a muerte de
CATALINA I hace que, bajo el reinado de PEDRO II, se pierda el inte-
res en l a academia, y EULER se encuentra f al to de recursos; en esta
epoca esta a punto de aceptar, al gunos historiadores dicen que
acepto, un puesto de teniente en l a marina real . En cual quier caso,
en 173 0 con l a subida al trono de ANAI l a vida academica vuel ve a l a
normal idad y EULERpasa a prof esor de ciencias natural es en l a mis-
ma y en 193 3 sucede a DANIEL en el puesto de miembro de l a Acade-
mia, l o que l e permitira dedicarse pl enamente al quehacer cientif i-
co. Al l i permanencera hasta 1741 en que f ue invitado por FEDERICO
EL GRANDEde Prusia a l a Academia de Berl in. Estuvo en dicho Cen-
tro hasta 1766 en que regreso nuevamente a S . Petesburgo.
La vida de EULERno estuvo l ibre de tragedias. Una inf eccion l e
hizo perder un ojo en 173 5 y una catarata desarrol l ada en el S egun-
do l e dejo ciego al poco de su regreso a Rusia. En esta situacion per-
manecio durante 17 anos hasta que en 1783 como dijo CONDORCET
"Eul er dejo de viviry cal cul ar".
EULER recogio a traves de JUAN BERNOULLI l a creacion mate-
matica de LEIBNIz. El momento matematico era excel ente para l a
ecl osion de una personal idad como l a de EULER. La creacion del
cal cul o dif erencial e integral en el sigl o XVII por NEWTONy LEIB-
NIZ , l a de l a geometria anal l tica en 163 7 por DES CARTES , l os nuevos
conocimientos f isicos como l a l ey de l a gravitacion universal de
NEWTON, l as necesidades de l a navegacion y de todo el desarrol l o
cientif ico y social en general dejan el terreno preparado para l a
creacion de l as nuevas teorias del Anal isis. EULER va a recoger esta
herencia, va a disponer de una situacion personal que l e permite
dedicarse a l a investigacion matematica y f isica y, dotado de una
energia y dotes absol utamente excepcional es, va a situarse en l a
primera l inea de l os matematicos de todos l os tiempos. S u pro-
duccion matematica es enorme. S us obras compl etas ocupan del
orden de 73 vol umenes. Toda l a Matematica esta impregnada de
sus trabajos. S us campos de interes f ueron el cal cul o en general , se-
ries, cal cul o de variaciones, ecuaciones dif erencial es, geometria di-
f erencial y teoria de numeros asi Como apl icaciones de sus teorias a
practicamente todos l os dominios de l a f isica.
[ 3 84]
SERIES YFUNCIONES ESPECIALES
3 1
En e s t a confe re ncia va mos s imple me nt e a t ra t a r de a proxima r-
nos a un pe que no fra gme nt o de s u obra s obre la s s e rie s y s obre a l-
gun proble ma de int e rpola cion ; ma s e xplicit a me nt e da re mos un
bre ve re s ume n s obre s us t ra ba j os s obre la s e rie de WALLIS, ] a s s e rie s
que die ron orige n a la funcion
^
y, por ult imo a lgo s obre la funcion
Fy la s s e rie s t rigonome t rica s .
2. SOBRE LA SITUACIONDEL CALCULOENEL SIGLO XVIII
Pa ra s it ua rnos me j or da mos un bre ve a punt e s obre la s it ua -
cion de l Ca lculo e n la prime ra mit a d de l s iglo XVIII. La de s gra cia -
da cont rove rs ia s obre la priorida d e n la formula cion de l Ca lculo
e nt re NEWTONy LEIBNIZ de j o, a unque s olo pa rcia lme nt e , a is la dos a
J os ma t e ma t icos ingle s e s de los cont ine nt a le s . En Ingla t e rra la
pre ocupa cion por los funda me nt os de l Ca lculo s e a ce nt ua ra y s e
a s is t e a de ba t e s s obre los mis mos int e rvinie ndo e nt re ot ros BERKE-
LEY(1 685-1 753 ),
J URIN (1 684-1 750), ROBINS (1 705-51 ), BROOK TAY-
LOR (1 685-1 73 1 ) y SIMPSON (1 71 0-61 ).
Es pe cia lme nt e a guda e s la
crit ica de BERKELEY que a duce que los ma t e ma t icos e s t a ba n proce -
die ndo ma s induct iva que de duct iva me nt e y que no da ba n ra zone s
que j us t ifica s e n los dive rs os pa s os . Crit ica t a nt o la s fluxione s de
NEWTONcomo los dife re ncia le s de LEIBNIZ. El cocie nt e de dos dife -
re ncia le s de t e rmina ra la s e ca nt e y no la t a nge nt e , dira , y s i s e pre -
t e nde e vit a r e l e rror s uprimie ndo la s dife re ncia le s de Orde n s upe -
rior quiza la a cumula c1 6n de dos e rrore s conduzca a la ve rda d,
pe ro dificilme nt e podra s e r e s t o cie ncia .
La Ma t e ma t ica Cont ine nt a l no ce nt ra ra s us pre ocupa cione s
ba s ica s e n los funda me nt os . No obs t a nt e EuLER orga niza ra y s is t e -
ma t iza ra e l nue vo ca lculo ha cie ndo de l conce pt o de funcion un
punt o ce nt ra l, de s ga j a ndo a l Ana lis is de dia gra ma s y conce pcione s
ge ome t rica e n la s que ha bia e s t a do inme rs o ha s t a e l mome nt o. Su
Conce pcion s obre los funda me nt os de l Ca lculo a dole ce n, como la
de t odos s us cont e mpora ne os , de fa lt a de cla rida d; a s i, a l a firma r
que un nume ro me nor que cua lquie r ca nt ida d de be s e r ne ce s a ria -
me nt e ce ro s e guira que la s dife re ncia le s dx y dy s e ra n s imple me nt e
ce ro; s in e mba rgo a ce pt a ra que e s t a s ca nt ida de s que s on ce ro t ie -
ne n ra zone s que s on nume ros finit os . La de riva da s e ra la forma
[ 3 85]
3 2
JOAQUINM. ORTEGA ARAMBURU
conveniente de determinar es te 0 / 0 . Aceptara el
-
como numero,
pero aceptara dis tintos ordenes de inf initud y de inf inites imos al
encontrar dif erencial es de orden s uperior. Las pruebas no pueden
en muchos cas os s er admitidas con el concepto actual del rig or.
Hay que hater notar no obs tante como, muchas de el l as , criticadas
durante muchos anos en que l os arg umentos E, 6 preval ecian y aun
hoy l o s ig uen haciendo, pueden hacers e rig uros as en el contexto
del Anal is is no-s tandard introduciendo en 196 0 por ABRAHAM Ro-
BINSON y cuyas impl icaciones en el Anal is is del f uturo es tan aun por
determinar. Es s ug es tivo el verif icar como, cuando s e quieren dar
ejempl os de apl icaciones de dicha teoria s e acude, con f recuencia, a
l as demos traciones de EULER tachadas como "no rig uros as " duran-
te mucho tiempo.
Vamos a pas ar a decir al g o s obre el es tudio de l as s eries a prin-
cipios del s ig l o XVIII. El us e de l as s eries en es ta epoca es muy
g rande, s e util iz an s eries para derivation e integ ration de f uncio-
nes , paara obtener l ong itudes , para expl icitar f unciones , para cal -
cul o de numeros particul ares , etc...
El manejo de l as s ew ries era en g ran parte f ormal . No obs tante
l os probl emas que pres entaba s u us e no podian s er ig norados .
Quiz a el ejempl o mas s impl e es l a controvers ia s obre l a s erie
1-1+1-+1...
JACOBO BERNOUILLI ( 1896 . Opera 2 .745-6 4) es cribe:
r r n 1 r
rn2
rn2
1 1+-) +
m+n m m m
m2
m3
que al hacer r = m = n = 1 obtiene como s uma 112 . GUIDO GRANDI
en s u l ibro Quadratura Circul i et Hyperbol e ( 170 3 ) obtenia el mis -
mo res ul tado dando a x el val or 1 en l a expres ion:
1
=-x+x2 -x3 +...
1 +x
pero, por otra parte, piens a que s u s uma debia s er cero al s er ag ru-
[ 3 86 ]
SERIES Y FUNCIONES
ESPECIALES
3 3
pada ( 1 -1 ) + ( 1 - 1 ) + .
. . , por t o que no encuent ra explicacion y
sugiere a LEIBNiz que est a sit uacion podria ser comparable al de los
mist erios de la religion sobre la creacion del mundo en que una
fuerza
absolut ament e infinit a crea algo de la nada absolut a.
LEIBNIZ en una cart a a WOLFpublicada en Act a Eurodit orum
5 ( 1 71 3 ) est a de acuerdo con el result ado de GRANDI pero ut iliza un
argument o de t ipo probabilist ico: las sumas parciales de la serie dan
1 , 0 , 1 , 0 , 1 , . . . ; ent onces 0 o 1 son igualament e probables y debe
t omarse la media arit met ica de ambos como valor mas probable de
la suma. Sin embargo cuando WOLF
aplica los mismos argument os
para concluir que, por ejemplo:
1
1 -2+4-8+1 6-. . . = -
3
LE!BNiz, dice que las series que t ienen suma t ienen t erminos decre-
cient es y que la de part ida es al menos limit e de series que verifican
est a condicion . EULER coincidira con un argument o analogo al de
GRANDI para obt ener como suma 1 / 2.
Con EULER el est udio de las series adquiere caract eres de ver-
dadero malabarismo
aunque ya hemos dicho que su pensamient o
no est a libre del confusionismo de la epoca. Para EULER el valor de
una serie es el valor de la expresion
algebraica de la cual proviene y
en ot ro moment o afirma cuando una serie infinit a se obt iene como
el desarrollo de una expresion , puede ser usada en las operaciones
mat emat icas como equivalent e a est a expresion, incluso para los va-
lores en que la serie diverge.
Su fe en el Calculo es t an grande que Para t odo se podra dar
una explicacion . Asi el desarrollo:
1
=1 -2x+3 x2-4x3 +. . .
( I + x)2
parax=-1
dac = 1 +2+3 +4+5 +. . .
; perosien
[ 3 87]
3 6
JOAQUIN M. ORTEGAARAMBURU
El segundo metodo c onsi ste en def i ni r una suc esi on c uyo ter -
mi no c er o es f or mal mente l a ser i e de WALLIS y c omputar l o numer l -
c amente. Pr ec i sando mas, c onsi der a l a suc esi on:
PI=1,P2=2,...,Pn+I=nPn+1
Del hec ho de que A' PI = i ! l a f or mul a de i nter pol ac i on de
NEWTON:
k ( k - 1)
am+k =( 1
+A)k am=am+k Aam+
A2 am+...
2
da
Pn= I
+( n- 1)+( n- 1)( n- 2)+...
que par a n = 0 da f or mal mente l a ser i e busc ada.
Ahor a bi en, par a ev al uar P0 , EULER apl i c a l a f or mul a de i nter -
pol ac i on a l a suc esi on
1
an
y
a anl ogl 0 Pn
P
n
En el pr i mer c aso enc uentr a P0 = 0 ,6 0 542... que
c or r obor a
c on el v al or a par ti r de l a segunda P. = 0 ,5996 ...
En el ter c er metodo obser v a que l a ser i e
S( x)=x- 1x2+2x3 - 6 x4+24x5...
c uya ev al uac i on en x = I es l a de WALLIS v er i f i c a f or mal mente l a
ec uac i on di f er enc i al
s 1
s' +- =-
x2 x
La sol uc i on de di c ha ec uac i on que se anul a par a x = 0 es:
1 I
1i
s ( x) = e" j 0 e t
dt
[ 3 90 ]
SERIES Y FUNCIONES
ESPECIALES 37
q u e , me diante e l cambio de v ar iabl e s
v =e
tr ans for ma e n
y s u s titu ye ndo
obtie ne :
1-I
s (x)=e X-t
r l X
dv
J 0 1-l ogy
1 1
S=---
t x
1
s (l ')_e
J 1 e
dt=
f1
dv
0 t 0 1-l ogy
Compu ta l os v al or e s apr oximados de l as inte gr ate s por e l me todo
tr ape zoidal
tomando die z s u binte r v al os y obtie ne 0 , 59637255 par a
l a pr ime r a y 0 , 58734359 par a l a s e gu nda. Todav ia e n u na Car ta a
BERNOULLI compu tar a l a s e gu nda inte gr al
de s ar r ol l ando e l inte -
gr ando e n s e r ie de pote ncias e inte gr ando te r mino a te r mino.
El cu ar to me todo cons is te e n de s ar r ol l ar e n fr accione s conti-
nu as l a s e r ie de pote ncias
s (x)
u (x) =-=
1-x+2x2-6x3+24x4-120 x5...
x
e n l a for ma 1/ (1 + B) con
B=
x - 2x2 +
6x'-. . .
1-x+2x2-6x3+...
[ 391]
3 8
JOAQUINM. ORTEGAARAMBURU
B= x / ( 1 +C) con C=
x -4x 2+1 8 x 3 -...
1 -2x +6x 2-...
e t c.
EULER
e ncont rara
u ( x ) = 1 / 1 + x / 1 + x / 1 + x / 1 + 2 x / 1 + 2 x / 1 + 3 x / 1 + 3 x / 1 + ...
S i damos a x e l val or 1 y cal cul amos l a fracci on cont i nua pa-
randonos e n uno u ot ro t e rmi no obt e ne mos di ve rsas aprox i maci o-
ne s, pe ro EULERt o e val Ua asi :
A=1 / 1 +1 / 1 +1 /
1 +2/ 1 +2/ 1 +...+/
1 +1 0/ 1 +1 0/ 1 +p
donde
p=1 1 / 1 +1 1 / 1 +1 2+...+/ 1 +1 5/ 1 +1 5/ 1 +q
q = 1 6/ 1 + 1 6/ + ... + / 1 + 20/ 1 + 20/ 1 + r, e t c.
de donde de t e rmi nado r podra cal cul ar p, q y A. En cuant o a r ve ri -
fi cara
aprox i madame nt e l a e cuaci on r = 21 / 1 + r que se cumpl e
para r =
4, 1 0977.. .
Todavi a EULERe ncont rara ot ra e x pre si on para r. Pue st o que :
21 +21 s
r = 21 / 1 + 21 / 1 + s =
22+s
y s = 22/ 1 + 22/ + t , supone que r, s y t e st an e n progre si on ari t -
me t i ca con l o que :
2s3 +2s2-43 s-22=0
que , por e l me t odo de
aprox i maci on de rai ce s de NEWTONl e darn s
= 4, 3 23 que darn l ugar a r = 4, 3 1 y
A= 0, 5963 473 621 3 72-
[ 3 92]
SERIES Y FUNCIONES ESPECIALES
39
!La coincidencia entre l os val ores encontrados era formidabl e! El
dominio y l a ingenios idad en l a manipul acion de l as s eries es paten-
te en es tos res ul tados ; no obs tante un interes matemdtico s uperior
res ide en l os trabajos s obre l o que s e ha l l amado l a funcion ^ de RIE-
MANN.
4 . EULER Y LA FUNCION
b
La notacion
c
1
( S) =
Y -
n=1 n5
corres ponde a RIEMANN pero l os trabajos de EULER tienen mds de
1 00 anos de antel acion.
La divergencia de l a s erie
Y-
1
n
era conocida tras l os trabajos de NICHOLAS DE ORESME ( 1 323-1 382)
mientras que el probl ema de encontrar l a s uma de l a s erie
v?1 n2
habia s ido propues ta por MENGOLI ( 1 650) y tratado entre otros por
WALLIS, que l a computaba con tres cifras decimal es , por JUANBER-
NOULLI, LEIBNIZ, GOLUBACH Y DANIEL BERNOULLI. EULER e mpieza
s u contribucion en 1 731 con un metodo para el computo de ^ ( 2)
aparecido en s u articul o De s ummattone
innumerabil ium progres -
s zonum.
Pueto que
l og ( 1 -x) 0C
x" _ I
= - E -,
x n=1 n
[ 393]
4 0 JOAQUINM. ORTEGA ARAMBURU
s e s i g u e
f 1 log (1 -x)
-f (2)=J0
x
dx
y haci e ndo 1 - x = s e ob t i e ne :
-
(2)
_ f x log t
dt +
1
1 log
t
dt
1 0 1 -t x 1 -t
Me di ant e i nt e g r aci on por par t e s , de s ar r ollo e n s e r i e , i nt e -
g r ando t e r mi no a t e r mi no y dando a x e l v alor 1 / 2 conclu y-- qu e :
0
1
(2) = (log 2)2 +
E
2
n=1 2' n
Es t a u lt i ma s e r i e conv e r g e mu cho mas r api dame nt e qu e la de
par t i da lo qu e le pe r mi t e calcu lar
^
(2) = 1 , 64 4 934 (STIRLING hab i a
calcu lado e l ano ant e r i or ^ (2) con 8 ci f r as cor r e ct as ).
En v ar i os ar t i cu los qu e apar e ci e r on e nt r e 1 732 y 1 736 di o
ot r os me t odos de calcu lo de ^ (2) y de ^ (3) calcu lando e l pr i me r o
con 20 ci f r as de ci male s . El pr i me r g r an t r i u nf o de Eu le r e n e s t e
campo f u e e n 1 734 e n qu e comu ni ca s u r e s u lt ado a DnNIELBER-
Nou LLI, .car t a de la qu e s olo s e conoce la cont e s t aci on: El t e or e ma
s ob r e la s u ma de las s e r i e s
1 1 1 p2
1 +-+-+-+..._-
4 9 1 6 6
1 1 p4
1 +-+-+..._-
24 34 90
e s mu y not ab le ... " (la not aci on p e n lu g ar de i t e s u t i li zada por Eu -
LER has t a 1 739). Una de mos t r aci on apar e ce e n " De s u mmi s s e r i e -
r u m r e ci pr ocar u m" . Cons i de r a la f u nci on:
[ 394 1
SERIES Y FUNCIONES ESPECIALES 4 1
sen x x x3
f(x)=1 - =1 - + -...
sena sena 3 ! sen a
Maneja ahora f (x) como un polinomio de grado infinit o y co-
nociendo las raices de f (x)
2nn+a
x= { n=0,1 ,2,...
l 2nn+7t -a.
escrib e la descomposicion
x
(
1 -
n=-
x
f(x) n
1
2nit +a 2nit +t [-a
Si desarrollamos ahora est os product os aparecen como unas
" infinit as funciones element ales simet ricas"
y Si
ac
Sm=
a
i=1
I
EULER deriv a formulas analogas a las de NEWTON St = 6l,
S2
= 61 -
2 a2, ... , e igualando coeficient es ob t iene:
1 1
sena a
0
1
n=1 (2n-1 )n-a
1 1 1
(2n-1 )n+a 2nit +a 2nt t -a
[3 9 5 ]
4 2 JOAQUINM. ORTEGAARAMBURU
1 1
sent a az
0 0
1 1 1 1
n
E
1
(
( ( 2 n -1 ) i t--( x )2 + ( ( 2 n -1 )1 [+ a)2 + ( 2 nmt+a)2 + ( 2 nrt- )2
En esta segunda rel ac i o n al hac er
n
a= -
2
se o b ti ene:
8 1 1
nz
( 1 +
32
5 2
+ ...
= 1
pero puesto que:
1 1 1
( 2 )
=
( 1
+32
+ 3z + ... ) +
4
( 2 )
dar n a EULER
It
2
^ ( 2 ) =
6
Anal o go s argumento s l e daran el v al o r
^
( 4 ) y de
^
en al guno s o tro s
v al o res.
DANIEL BERNOULLI o b jetarl a que no era ev i dente que to das l as
rai c es de sen x = sen a f uesen real es y que no se po di a o perar c o n
seri es i nf i ni tas c o mo si f uesen po l i no mi o s. Esta ul ti ma o b serv ac i o n
no seri a admi ti da po r EULER e i nsi sti ri a en que " su meto do esta tan
b i en f undado c o mo c ual qui er o tro " . De hec ho se i ni c i ab a l a teo ri a
de l o s pro duc to s i nf i ni to s que tanta trasc endenc i a po steri o r ten-
dri a. Po steri o rmente dari a o tras prueb as, qui za tras l a o b jec i o n de
DANIEL, del c al c ul o de
^
( 2 ) asi c o mo resul tado s parc i al es para el
c al c ul o de
^
en l o s entero s i mpares.
[39 6 ]
SERIES Y FUNCIONES ESPECIALES 4 3
Es t a b l e c i o t a mb i e n que
0 0
(
2 T [
)2 -
y
1
(
1
)
n
I
B
U=1
u2 n
2 -( 2 n)!
2 n
do nde
Be n
e ra n l o s nume ro s de BERNOULLI, de fi ni do s c o mo l o s c o e -
fi c i e nt e s de l de s a rro l l o de
t
x
t i
S B;-.
e t -1
i =0
i !
En 1 74 9 e n un a rt i c ul o t i t ul a do Re ma rque s s ur un b e a u ra p-
po rt e nt re l e s s e ri e s de s pui s s a nc e s t a ns di re c t e s que re c i pro que s c o n-
s i de rs
s )
=
I
(
-1 )n
(
n=1 nS
que v e ri fi c a
^
( s ) ( 1 - 2 1 -S)
c
( s ) y ha c i e ndo us e de l de s a rro l l o de
1
1 -x
e n s e ri e de po t e nc i a s , a pl i c a ndo re i t e ra da s v e c e s e l o pe ra do r
d
x-
dx
y t e ni e ndo e n c ue nt a l o que s e l l a ma ha b i t ua l me nt e e l me t o do de
s uma c i o n pa rc i a l de ABEL ( 75 a no s de a nt e l a c i o n) o b t i e ne :
n
4 ( 1 -n)
( n)
(
1 )2
0
+1
( 2 n-1 ) ( n-1 )!
( 2 n-' - 1 )
,i t n
s i n e s pa r
s i n e s i mpa r
1 3 971
44 JOAQUIN M. ORTEGAARAMBURU
para n = 2 , 3 , ... , 10 y por otra parte s i n = 1 v eri f i c a que:
1-1+1-1+... 1
1 1 1 2 1n2
1--+---+...
2 3 4
y hac e l a obs erv ac i on de que l a c onexi on entre l as dos rel ac i ones es
"enteramente oc ul ta".
La pri mera rel ac i on l a es c ri be c omo
4 (1-n) -(n-1)!(2 -1) 7 1n
= c os
(n)
(2 n-I-1)rt
2
y, aqui aparec e l a marav i l l os a i ntui c i on de EULER c onj etura que l a
i gual dad
(1 -s ) -F(s )(2 '-1) i ts
-c os -
(S )
(2 5-1-1) i ta 2
es v al i da para todo s . EULERobs erv a que el l i mi te del mi embro de l a
derec ha es
I
2 In 2
c uando s ti ende a 1 y af i rma "La v al i dez de nues tra c onj etura para s
= 1 (c as o que aparec e des v i ado de l os otros ) es ya una f uerte j us ti f i -
c ac i on de l a v erdad de nues tra c onj etura ya que parec e poc o proba-
bl e que una hi potes i s f al s a pudi era v eri f i c ars e en es te c as o. Pode-
mos entonc es c ons i derar nues tra c onj etura s ol i damente bas ada,
pero nos otros daremos otras j us ti f i c ac i ones i gual mente c onv i n-
c entes ". Yc omprueba l a f ormul a para
1 3
s
=2 , 2
[ 3 9 8 ]
S E R I E S Y F U N C I O N E S E S P E C I A L E S 4 5
y en general para
s=
2k+1
2
L a relacion en terminos de ^ es:
> t s
^
(1- s^ _ ^
s
2' -S r
(S >
cos
2
^ (S )
que es la celebre ecuacion funcional que seria probada por R I E -
MA N N , para ^ adecuadamente extendida, en 185 9, 110 anos mas
tarde.
5 . E U L E R Y L A F U N C I O N L
E n la conjetura sobre la ecuacion funcional aparece la funcion
I ' . E sto nos da pie a comentar los trabajos de E U L E R sobre esta fun-
cion. E sta aparece como solucion a un problema de interpolacion,
en este caso construir una funcion que sobre los numeros naturales
tomase el valor n! Debe observarse a comienzos del siglo XVI I I
una funcion es sinonimo de una formula en que aparezcan sumas,
multiplicaciones, cocientes, potencias, rakes, exponenciales, lo-
garitmos, diferenciaacion, integracion y series infinitas, es decir, to
que fue llamado una expresion analitica. E l problema fue tratado
pO r GO L DBA C H, 5 7I R L I N G y DA N I E L BE R N nU L L I entre O L rO S . F U e
plariteadO a E U L E R y este ariuriC lO S ll S O luC I O ri a GO L DBA C H eri C ar-
tas1729 y 1730.
Trabajando E U L E R con productos infinitos observo que for-
malmente.
n! =
l^ ?I n 1 1L 131n 2 ^ r^ 4 1n
3
^
. . .
I n+1 2 n+2 3 n+3
[ 3991
4 6 JOAQUIN M. ORTEGA ARAMBURU
y , por otra parte, s i daba a n el val or 1 / 2 , con al guna trans forma-
ci on, s e obti ene el producto i nfi ni to de WALLIS:
2 .2 4 .4 6 .6 Ti
1 .3 3 .5 5 .7
2
expres i ones enteras mi entras que para otros n/ 2 ; es to h aci a al us 1 6 n
a ci rcul os y cuadraturas . EULER h abi a manejado i ntegral es que
cumpl i an es te fenomeno. P areci a natural pens ar en una expres 1 6 n
i ntegral para n!
Des arrol l ando ( 1 - x) n s e encuentra:
f1 Xe( 1 -x) n d x=
g
f+g
x
( e+1 ) ( e+2 ) ...( e+n+1 )
.Sus ti tuy endo e por f/ g y , s i gui endo notaci ones ori gi nal es :
1 ... n f + ( n + 1 ) g
$ xf/
g ( 1 -" ) n dx
( f+g) ( f+2 g) ...( f+ng)
gn+1
Haci endo f = 1 , g =0 en el mi embro de l a i z qui erda s e obti ene
n! ; EULER debi a entonces determi nar l o que el es cri bi ra:
xd x ( 1 -X) n
f
0 n + 1
Sus ti tuy e entonces
en l ugar de x y obti ene:
f+( n+1 ) g f
gn+1
g
f+g
1 .2 ...n
dx
[ 4 0 0 ]
g
f+g
1 -x )
SERIES Y FUNCIONES ESPECIALES 47
t o que l e l l ev a a l a indet ermina cio n:
( 1 _x
Or
f dx
o n
Co nsidera ent o nces l a expresio n
1 -x'
z
pa ra z nul o y po r una reg l a co no cida ( ref iriendo se a l a que co no ce-
mo s ho y co mo reg l a de 1 'H ( 5 pit a l ) o b t iene:
-xZdz inx
dz
que pa ra z = 0 l e da ra - In x. Escrib e ent o nces
1 -x ( 1 -x)
_-In x y = ( -In x)
0
o n
y co n el l o co ncl uye que
n! =f 1 ( -In x) dx
Est a int eg ra l t iene sent ido pa ra n no ent ero y es l a l l a ma da se-
g unda int eg ra l eul erina y que LEGENDRE l l a mo f uncio n F ( n + 1 ) .
Ma s t a rde , EuLER, en 1 781 , ha ciendo el ca mb io t = - l nxo b t endria
l a expresio n ha b it ua l :
I' ( n + 1 ) = f o x" e -" dx
[ 40 1 ]
48 JOAQUINM. ORTEGAARAMBURU
La relation con la funcion B (m, n) =fox`"-' dx, a la que LE-
GENDRE llamaria primera integ ral euleriana,
I^ (m) r (n)
B(m, n) _
I' (m + n)
s eria tambien encontrada por EULER.
fi. SERIES TRIGONOM^ TRICAS
Veamos por ultimo un apunte s obre Los trabajos de EUI, F ,R s o-
bre Las s eries trig onometrical . En 1729 trata el problema de la in-
terpolation de una funcion tal que f ( n) = 1, problema que con na-
turalidad aparecia en as tronomia. Si la funcion es y = f (x) por la
formula de TAYLOR:
fCxtH=yty't.^ -Y"t.
..
Pues to que f (x + 1) = f (x) , al menos para x enteros , la funcion
debia s atis fcer la ecuacion diferencial de orden infinito:
Aplica ahora EULER Los metodos de res olution de ecuaciones
diferenciales lineales de orden finito que el mis mo habia publicado,
es decir, res uelv e la ecuacion:
1
z+-zz+...=eZ-1=0.
2
Para ello res olv ers en primer Lug ar
( 1+ n)
n=1
[ 402]
SERIES Y FUNCIONES ESPECIALES
que t i en e el f a c t o r l i n ea l z y l o s f a c t o r es c ua d r a t i c o s
z
1+
?)
2 -2 (1+
z )
c o s
Z
+1, k<
n n
n
n
equi v a l en t es a
z
1+-+
n
y, r eempl a z a n d o
y, pues t o que pa r a n
z 2
4 n 2 s en 2
ki t ki t
s en - po r -
n n
0 0
el t er mi n o
z
- es 0
n
ki t
n
49
n
2
s e o bt i en en l a s s o l uc i o n es

i 2 k i t a l a s que
c o r r es po n d e l a i n t eg r a l
a ks en 2 kr t x+Akc o s 2 kn x.
Co mo f (0 ) = I EULER o bt i en e
0 0
y=1+
{a ks en 2 kn x+Ak(c o s
2 kn x-1)}
k=1
c o n l o s c o ef i c i en t es
a k y Ak l i g a d o s pa r a que f ( n ) = 1 pa r a c a d a n .
En el mi s mo a r t i c ul o
d emues t r a que l a s o l uc i o n
g en er a l d e l a ec ua -
c i o n f (
x)=f (x-1)+X(x)es :
Oc
f (x)=
f 0 x
X(i ;)d ^+2
E c o s 2 n i t x
f 0 x
X(4)
c o s 2 n t t ^
d +
n =1
[ 40 3 ]
50
JOAQUINM. ORTEGAARAMBURU
00
P2 E sen2n7tx foX(^)sen2nn^d^
n=1
es dec i r , apar ec e en 1750 l o que ahor a l l amamos un desar r ol l o en
ser i e de FOURIER (1768-1830).
Otr os
pr oc edi mi entos
c ompl etamente
di sti ntos son uti l i z a-
dos par a obtener desar r ol l os en ser i e
tr i gonometr i c os.
Asi , en 1977
obti ene l os c oefi c i entes de l a ser i e
tr i gonometr i c a
uti l i z ando
ar gu-
mentos de
or togonal i dad de l as func i ones
tr i gonometr i c as
c omo
l os que usamos hoy.
Aunque hayamos dado una vi si on
for z osamente
super fi c i al
sobr e l os metodos de tr abajo de EULERc on l as ser i es, en c ual qui er
c aso hemos
i ntentado
apr oxi mar nos l o
sufi c i ente par a admi r ar y
apr ender al go, una vez mas, de l a
per sonal i dad de ese c al c ul i sta por
exc el enc i a,
mani pul ador de ser i es
extr aor di nar i o, gr an
c r eador de
al gor i tmos de c al c ul o, de
i ntui c i on
for mi dabl e que fue
LEONHARD
EULER.
BIBLIOGRAFIA
AYOUB, R.- Eul er and the Zeta Func ti on. Amer Math. Monthl y
1974 . 1067-1086.
EDUWARDS, Jr . C. H.- The Hi stor i c al
Devel opment ofthe Cal c ul us.
Spr i nger 1979.
DAVIS PHILi p, Leonhar d Eul er 's Integr al : A Hi stor i c al Pr ofi l e
of the Gamma Func i on" Amer . Math. Monthl y 66, 1959.
84 9-869.
EULER, L.- Oper a Omni a. B. G. Teubner and Or el l Fussl y. 1911
en adel ante.
KLINE MORRIS.- Mathemati c al Thought fr om Anc i ent to Moder n
Ti mes. Oxfor d U.P. 1972.
[ 4 04 ]