Project Gutenbergs Theorie der Abelschen Functionen, by Karl Weierstrass

This eBook is for the use of anyone anywhere at no cost and with
almost no restrictions whatsoever. You may copy it, give it away or
re-use it under the terms of the Project Gutenberg License included
with this eBook or online at www.gutenberg.org

Title: Theorie der Abelschen Functionen

Author: Karl Weierstrass
Release Date: August 26, 2009 [EBook #29780]
Language: German
Character set encoding: ISO-8859-1
*** START OF THIS PROJECT GUTENBERG EBOOK THEORIE DER ABELSCHEN FUNCTIONEN ***

Produced by K.F. Greiner, Andrew D. Hwang, Joshua Hutchinson

and the Online Distributed Proofreading Team at

Anmerkung der Korrekturleser

Diese PDF-Datei wurde fr den Bildschirm optimiert, kann bei
Bedarf aber leicht fr den Drucker angepasst werden. Bitte finden
Sie weitergehende Informationen am Anfang des LaTeX-Quelltexts.

Theorie

der Abelschen Functionen

von

Karl Weierstra.

E r s t e s H e f t.
Abdruck aus dem Journal fr die reine und angewandte Mathematik.

B e r l i n.
Druck und Verlag von Georg Reiner.

1856.

Einleitung

Das Abelsche Theorem ber die hyperelliptischen Integrale bildet die

Grundlage fr die Theorie einer neuen Gattung analytischer Functionen, die

deswegen passend Abelsche Functionen genannt, und folgendermaen definirt
werden knnen.
Es bedeute
R(x) = A0 (x a1 )(x a2 ) (x a2%+1 )
eine ganze Function (2% + 1)ten Grades von x, wobei angenommen werde, da
unter den Gren
a1 , a2 , . . . , a2%+1
keine zwei gleiche sich finden, whrend sie im brigen beliebige (reelle und
imaginre) Werthe haben knnen. Ferner seien u1 , u2 , . . . , u% % unbeschrnkt
vernderliche Gren, und zwischen diesen und eben so vielen von ihnen
abhngigen x1 , x2 , . . . , x% die nachstehenden Differential-Gleichungen, in denen
P(x)

das Product

(x a1 )(x a2 ) (x a% )

bedeutet, gegeben:
dx%
dx
dx
1 P(x% )
1 P(x2 )
1 P(x1 )
 p 1 +
 p 2 + +
 p
,
2 x1 a1
2 x% a1
R(x1 ) 2 x2 a1
R(x2 )
R(x% )
dx%
dx
dx
1 P(x% )
1 P(x1 )
1 P(x2 )
 p 1 +
 p 2 + +
 p
du2 =
,
2 x1 a2
2 x% a2
R(x1 ) 2 x2 a2
R(x2 )
R(x% )
..........................................................................
dx%
dx
dx
1 P(x1 )
1 P(x2 )
1 P(x% )
du% =
 p 1 +
 p 2 + +
 p
; )
2 x1 a%
2 x a%
R(x1 ) 2 x2 a%
R(x2 )
R(x% )
du1 =

mit der Bestimmung, da x1 , x2 , . . . , x% die Werthe a1 , a2 , . . . , a% annehmen

sollen, wenn u1 , u2 , . . . , u% smmtlich verschwinden.
Alsdann sind x1 , x2 , . . . , x% als die Wurzeln einer Gleichung von der
Form
x% + P1 x%1 + P2 x%2 + + P% = 0

) Man kann diesen Differential-Gleichungen mancherlei verschiedene Formen geben; die

hier gewhlte vereinfacht die Rechnung nicht unwesentlich, ohne da, wie spter soll gezeigt
werden, der Allgemeinheit Abbruch geschieht.

zu betrachten, wo P1 , P2 , . . . , P% eindeutige analytische Functionen von u1 ,

u2 , . . . , u% bedeuten; whrend eine zweite ganze Function von x des (% 1)ten
Grades
Q1 x%1 + Q2 x%2 + + Q% ,
deren Coefficienten eben solche Functionen von u1 , u2 , . . . u% sind, wenn man
x = x1 , x2 , . . . , x% setzt, die zugehrigen Werthe von
p
p
p
R(x1 ),
R(x2 ), . . . ,
R(x% )
giebt. )
Hiernach ist jeder rational und symmetrisch aus
p
p
p
R(x1 ), R(x2 ), . . . , R(x% )
x1 , x2 , . . . , x% und
zusammengesetzte Ausdruck als eine eindeutige Function von u1 , u2 , . . . u%
anzusehn. Insbesondere aber zeigt es sich, da das Product
(ar x1 )(ar x2 ) (ar x% ),
wo r eine der Zahlen 1, 2, . . . 2% + 1 bedeutet, das Quadrat einer solchen ist.
Betrachtet man demgem, indem man
(x) = (x x1 )(x x2 ) (x x% )
setzt, und unter h1 , h2 , . . . , h2%+1 Constanten versteht, die Gren
p
h1 (a1 ),

h2 (a2 ),

...,

p
h2%+1 (a2%+1 )

als Functionen von u1 , u2 , . . . , u% , so kann man nicht nur aus denselben die
Coefficienten der Gleichung, deren Wurzeln x1 , x2 , . . . , x% sind, leicht zusammensetzen, sondern sie zeichnen sich auch gleich den elliptischen sin am u,
cos am u, am u, auf welche sie sich fr % = 1 reduciren, und denen sie berhaupt vollkommen analog sind, durch eine solche Menge merkwrdiger und
fruchtbarer Eigenschaften aus, da man ihnen und einer Reihe anderer, im Zusammenhange mit denselben stehenden, vorzugsweise den Namen Abelsche
Functionen zu geben berechtigt ist, und sie zum Hauptgegenstande der Betrachtung zu machen aufgefordert wird.
Die nchste Aufgabe, welche sich nun darbietet, betrifft die wirkliche
Darstellung der im Vorstehenden definirten Gren, sowie die Entwicklung

) Den ersten Theil dieses Satzes hat bereits Jacobi ausgesprochen, und dadurch den wahren
analytischen Charakter der Gren x1 , x2 , . . . , x% klar gemacht.

ihrer hauptschlichsten Eigenschaften. Sodann ist es auch erforderlich, das

Integral
)
Z (
F(x% ) dx%
F(x1 ) dx1 F(x2 ) dx2
+ + p
+ p
,
p
R(x1 )
R(x2 )
R(x% )
wo F(x) eine beliebige rationale Function von x bedeutet, als Function von u1 ,
u2 , . . . , u% auszudrcken. Beide Probleme finden in der gegenwrtigen Schrift,
deren Resultate ich zum Theil schon frher in zwei kleinern Abhandlungen )
bekannt gemacht habe, ihre vollstndige Erledigung, und zwar auf einem Wege,
welcher von dem fr die Abelschen Functionen zweier Argumente von Gpel
und Rosenhain betretenen gnzlich verschieden ist. Die genannten Mathematiker gehen nmlich von unendlichen Reihen aus, die sie aus denen, durch
welche Jacobi die elliptischen Functionen auszudrcken gelehrt hat, durch eine von tiefer analytischer Einsicht zeugende Verallgemeinerung erhalten, und
zeigen dann, wie sich aus denselben, die zwei vernderliche Gren u1 , u2 enthalten, die Coefficienten einer quadratischen Gleichung so zusammensetzen
lassen, da zwischen deren Wurzeln und u1 , u2 zwei Differential-Gleichungen
von der oben aufgestellten Form bestehen. Dagegen war mein Bestreben von
Anfang an auf die Auffindung einer Methode gerichtet, die geeignet sei, unmittelbar von den genannten Differential-Gleichungen aus fr jeden Werth von
% auf einem einfachen, alle Willkhrlichkeit ausschlieenden Wege zur Darstellung der Gren x1 , x2 , . . . , x% als Functionen von u1 , u2 , . . . , u% in einer
fr alle Werthe der letztern gltig bleibenden Form zu fhren. Durch weitere
Ausbildung eines Verfahrens, dessen ich mich bereits frher zur directen Entwicklung der elliptischen Functionen, ohne Voraussetzung der Multiplications
und Transformations-Formeln mit gutem Erfolge bedient hatte, gelang es
mir, das Ziel, welches ich mir gesteckt, vollstndig zu erreichen; wo sich denn
als schlieliches Resultat meiner Untersuchungen ergab, da sich smmtliche
Abelsche Functionen einer bestimmten Ordnung auf eine einzige, in einfacher
Form darstellbare Transcendente zurckfhren lassen. Damit ist aber fr sie
dasselbe erreicht, was fr die elliptischen Functionen Jacobi gethan hat, und
was Lejeune Dirichlet in seiner Gedchtnirede auf den groen Mathematiker
mit Recht als eine der bedeutendsten Leistungen desselben bezeichnet.
Die vorliegende Arbeit ist unter mancherlei uern Hemmungen entstanden, die mir nur von Zeit zu Zeit, und oftmals nach langer Unterbrechung,
mit derselben mich zu beschftigen gestatteten. Ohne Zweifel wird man Spuren
davon an nicht wenigen Stellen entdecken. Gleichwohl hoffe ich, da ihr die
Sachkundigen auch in der Gestalt, wie ich sie jetzt ihrer Beurtheilung vorlege,

) Programm des Braunsberger Gymnasiums v. J. 1849 und Crelles Journal Bd. 47.

nicht ganz ihren Beifall versagen, und wenigstens ein Ergebni derselben mit
Befriedigung aufnehmen werden, die Thatsache nmlich, da sich die elliptischen und die Abelschen Functionen nach einer fr alle Ordnungen gleich
bleibenden und zugleich directen Methode behandeln lassen; und ich trage
kein Bedenken, zu gestehen, da ich auf dieses Resultat meiner Arbeit einigen
Werth lege, und es als ein fr die Wissenschaft nicht unbedeutendes betrachte.

Erstes Kapitel.
Erklrung der Abelschen Functionen; Bestimmung der
analytischen Form derselben.
. 1.
Ich beginne mit der Ermittelung der Form, unter welcher der Zusammenhang
zwischen den Gren x1 , x2 , . . . , x% und u1 , u2 , . . . , u% dargestellt werden
kann. Zuvrderst aber mge, zur Vermeidung von Wiederholungen, hier ein
fr allemal in Betreff einiger Bezeichnungen, die ich im Verlaufe der ganzen
Abhandlung unverndert beibehalten werde, Folgendes festgestellt werden.
Die ersten Buchstaben des deutschen Alphabets, a, b, c . . . sollen, sobald
nicht ausdrcklich etwas Anderes bestimmt wird, ausschlielich Zahlen aus
der Reihe
1,

2,

...,

bedeuten, in der Art, da jeder derselben, wo er in einer Formel vorkommt,

unabhngig von den brigen etwa in ihr sich findenden, smmtliche dieser
Reihe angehrigen Werthe durchlaufen kann. Ein Ausdruck, der einen oder
mehrere dieser Buchstaben enthlt, reprsentirt demnach, je nachdem die Zahl
derselben 1, oder 2, oder 3 u. s. w. ist, %, oder %2 , oder %3 u. s. w. Werthe. Die Summe
P aller dieser Werthe soll dann ferner durch ein dem Ausdrucke vorgesetztes
bezeichnet werden, und zwar in der Regel ohne besondere Andeutung der
Buchstaben, auf welche es sich bezieht, was nur in dem Falle nicht unterbleiben
darf, wenn auer derselben noch andere deutsche Buchstaben vorkommen.

Hiernach ist z. B.
X

F(a) =

F(a, b) =

a=%
X

F(a)

a=1
a=% X
b=%
X

F(a, b).

a=1 b=1

Dagegen soll
X

F(a, b) =

F(a, b, c) =

a,b

a=%
X

F(a, b)

a=1
b=%
a=% X
X

F(a, b, c)

a=1 b=1

sein; u. s. w.
Kommt es in einem besondern Falle vor, da bei einer solchen Summation ein Buchstabe von den festgesetzten Werthen irgend
P einen bestimmten
nicht annehmen darf, so soll darauf durch ein dem
oben beigefgtes (0 )
aufmerksam gemacht, und zugleich der auszuschlieende Werth neben der
Summenformel angegeben werden; wonach z. B. die Bedeutung der Formel
X0  1 
, (a b)
a

a
a
b
a
klar ist.
Endlich bemerke ich noch, da eine Gleichung, die einen, oder zwei
u. s. w. der in Rede stehenden deutschen Buchstaben enthlt, ein System von
%, oder %2 u. s. w. Gleichungen darstellt; so da z. B. die in der Einleitung
aufgestellten Differential-Gleichungen smmtlich in der folgenden
(1.)

dub =

X 1 P(x )
dxa
a
 p
2 xa ab
R(xa )
a

enthalten sind.
Dies vorausgeschickt soll nun zunchst gezeigt werden, da sich x1 , x2 ,
. . . , x% bei hinlnglich kleinen Werthen von u1 , u2 , . . . , u% nach ganzen positiven
Potenzen dieser Gren in convergirende Reihen entwickeln lassen.

Wenn die Differenz x ar , wo r irgend eine der Zahlen 1, 2, . . . , 2% + 1

bezeichnen soll, dem absoluten Betrage ) nach kleiner ist als die Differenz
zwischen ar und jeder andern der Gren a1 , a2 , . . . , a2%+1 (was durch den
Ausdruck es befinde sich x in der Nhe von ar bezeichnet werden mge), so
lt sich
1
p

R(x)

durch eine convergirende Reihe von der Form

1

R0 (ar )(x ar )

n
o
 1 + (r)1 (x ar ) + (r)2 (x ar )2 +

R(x)

darstellen, wo R0 (x) =
, und (r)1 , (r)2 u. s. w. rational aus ar und den
x
Coefficienten von R(x) zusammengesetzte Ausdrcke sind.
Wird daher angenommen, es befinde sich x1 in der Nhe von a1 , x2 in
der Nhe von a2 u. s. w., und setzt man,
R(x)
= A0 (x a%+1 ) (x a2%+1 )
P(x)

mit Q(x),

P(x)
x

mit P0 (x)

bezeichnend,
s
 0

P (aa )
(xa aa ) = sa ,
Q(aa )

(2.)
so hat man



1 P(xa )
dxa
= (a, b)0 + (a, b)1 s2a + (a, b)2 s4a + dsa ,
 p
2 xa xb
R(xa )
wo (a, b)0 , (a, b)1 u. s. w. rationale, aus aa , ab und den Coefficienten von P(x),
Q(x) zusammengesetzte Ausdrcke bedeuten, und insbesondere
(a, a)0 = 1,

(a, b)0 = 0,

wenn a b,

) Unter dem absoluten Betrage oder Werthe einer complexen (imaginren) Gre verstehe
ich hier den analytischen Modul derselben, wie er sonst genannt wird. Der Umstand, da
das Wort Modul in so verschiedenem Sinne gebraucht wird, und namentlich in der Theorie
der elliptischen und Abelschen Functionen bereits eine feststehende Bedeutung hat, mge die
Einfhrung der vorgeschlagenen Benennung entschuldigen.

ist. Hiernach geben die Gleichungen (1.) durch Integration

(X
)

(a, 1)n 2n+1

u1 = s1 + S
s
,

2n + 1 a

n = 1...

)
(

X (a, 2)

s2n+1
,

a
u2 = s2 + S
2n
+
1
(3.)

n = 1...

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
..............

(
)

X (a, %)n

2n+1

u% = s% + S
s
.

2n + 1 a

n = 1...

Aus diesen Reihen erhlt man dann ferner durch Umkehrung die folgenden, in
denen (u1 , u2 , . . . , u% )n eine ganze homogene Function nten Grades von u1 , u2 ,
. . . , u% bezeichnen soll.
s

 0


P (a1 )

(x

a
)
s
=

1 = u1 + (u1 , u2 , . . . , u% )3 + (u1 , u2 , . . . , u% )5 + ,
1

Q(a1 ) 1


 0

P (a2 )

s2 =
(x

a
)
2 = u2 + (u1 , u2 , . . . , u% )3 + (u1 , u2 , . . . , u% )5 + ,
(4.)

Q(a2 ) 2

.....................................................................


 P0 (a )

s
=
(x

a
)
%
%
% = u% + (u1 , u2 , . . . , u% )3 + (u1 , u2 , . . . , u% )5 + .

Q(a% )
Ferner, da sich
P(xa )
p
R(xa )

in eine Reihe von der Form

sa + (a)1 s3a + (a)2 s5a +

entwickeln lt,
(5.)

p
R(xa )
P(xa )
=
= ua + (u1 , u2 , . . . , u% )3 + (u1 , u2 , . . . , u% )5 + .
p
Q(xa )
R(xa )
(a = 1, 2, . . . , %)

Die vorstehenden Reihen knnen nicht fr alle Werthe von u1 , u2 , . . . , u% convergiren, sondern nur fr solche, die gewisse Bedingungen erfllen. Es ist aber
fr den gegenwrtigen Zweck nicht erforderlich, diese aufzusuchen; es gengt
vielmehr anzunehmen, da die Reihen (3 5) fr irgend welche Werthe von u1 ,
u2 , . . . , u% , deren absolute Betrge durch U 1 , U 2 , . . . , U % bezeichnet werden
mgen, smmtlich convergent seien wozu man nach einem allgemeinen Satze
ber die Reihenentwicklungen von Functionen, die algebraischen DifferentialGleichungen gengen, berechtigt ist ) . Dann sind sie es auch unbedingt, sobald
man fr u1 , u2 , . . . , u% nur solche Werthe zult, die dem absoluten Betrage
nach kleiner als beziehlich U 1 , U 2 , . . . , U % sind, und geben unter dieser Voraussetzung
p
p
p
R(x1 ), R(x2 ), . . . , R(x% )
x1 , x2 , . . . , x% ,
als vllig bestimmte, eindeutige Functionen von u1 , u2 , . . . , u% . Wenn man
aber die vorstehenden Gren fr alle Werthe von u1 , u2 , . . . , u% innerhalb
der bezeichneten Grnzen berechnen kann, so ist durch das Abelsche Theorem
die Mglichkeit gegeben, dieses auch fr beliebig groe Werthe der genannten
Vernderlichen auszufhren.
. 2.
Um dieses nachzuweisen, nehme man statt u1 , u2 , . . . , u% (2) Reihen von je %
solchen vernderlichen Gren
0

u1 , u02 , . . . , u0% ,

00
00
00

u1 , u2 , . . . , u% ,
(1.)

....................

u(2) , u(2) , . . . , u%(2)

2
1
an, die keiner andern Beschrnkung unterworfen sein sollen, als da
(2)
u0a , u00
a , . . . , ua

smmtlich dem absoluten Betrage nach kleiner als U a vorausgesetzt werden.

Ferner bezeichne man, wenn m eine der Zahlen 1, 2, . . . , 2 bedeutet, mit
s1 ,

(m)

s2 ,

(m)

...,

s% ,

(m)

x2 ,

(m)

...,

x% ,

x1 ,
q

(m)
R(x1 ),

q
(m)
R(x2 ),

...,

(m)

(m)

(m)

R(x% )

) Vergl. meine Abhandlung ber die analytischen Facultten in Crelles Journal Bd. 51. S. 43.

die Gren, welche man fr

s1 ,
x1 ,
q
R(x1 ),

s2 ,

...,

s% ,

x2 ,
...,
q
R(x2 ), . . . ,

x% ,
p

R(x% )
(m)

vermittelst der Reihen (4, 5) des vorhergehenden . erhlt, wenn man dort u1 ,
(m)

(m)

u2 , . . . , u% an die Stelle von u1 , u2 , . . . , u% setzt. Sodann hat man zwei ganze

Functionen M(x), N(x) von der Form

%
%1 + + M ,

%
M(x) = x + M 1 x
(2.)

N(x) =
N 1 x%1 + + N % ,
vermittelst der folgenden (2%) Gleichungen

R(x0a )

0)
0

M(x
= 0,

0 ) + N(xa )

Q(x

R(x00

a)

00 )

M(x
+ N(x00

a
a ) = 0,

00
Q(x
)
(3.)

.................................

(2)

R(xa )

(2)
(2)

+ N(xa ) = 0,
M(xa )

(2)

Q(xa )

(a = 1, 2, . . . , %)

zu bestimmen, worauf die ganze Function (2% + %)ten Grades

P(x) M 2 (x) Q(x) N 2 (x)
(2)
(2)
fr x = x01 , . . . , x0% , x00
, . . . , x00
Null wird, und daher durch
% , . . . , x1 , . . . , x%
1
das Product
(2)

00
(x x01 ) (x x0% )(x x00
1 ) (x x% ) (x x1

(2)

) (x x%

),

welches durch (x) bezeichnet werden mge, theilbar ist, so da man

(4.)

P(x) M 2 (x) Q(x) N 2 (x) = (x) (x)

10

setzen kann, wo (x) eine ganze Function von der Form

x% + P1 x%1 + P2 x%2 + + P%
bedeutet, in der P1 , P2 , . . . , P% rational aus
q
q
q

0
0
0

0
0

R(x1 ),
R(x2 ), . . . , R(x0% ),
x1 , x2 , . . . , x% ,

q
q
q

00 , x00 ,
00 ,
00
00

x
.
.
.
,
x
R(x
R(x
),
.
.
.
,
R(x00
),

%
% ),
1
2
2
1
und
(5.)

....................
....................................

q
q
q

(2)
(2)
(2)
x(2) , x(2) , . . . , x(2) ,
R(x1 ), R(x2 ), . . . , R(x% ),
%
2
1
zusammengesetzt, und daher auch als eindeutige Functionen der Gren (1.)
zu betrachten sind. Bezeichnet man jetzt mit x1 , x2 , . . . , x% die % Wurzeln der
Gleichung
(x) = 0,
so gelten nach dem Abelschen Theorem die % Gleichungen, die sich aus der
nachstehenden
) X
X 1 ( P(x0 )
P(x00
dx0a
dx00
1 P(xa )
dxa
a
a)
a
(6.)
+ 00
+ =
p
p
p
0
2 xa ab
2 xa ab
R(x0a ) xa ab
R(x00
R(xa )
a
a
a)
ergeben, indem
p man b = 1, 2, . . . , % setzt, unter der Bedingung, da man der
Wurzelgre R(xa ) den durch die Gleichung
p
P(xa ) M(xa ) Q(xa ) N(xa )
R(xa ) =
=
N(xa )
M(xa )

(7.)

bestimmten Werth beilege ) . Nun ist aber

X 1 P(x0 )
dx0a
a

= du0b ,
p
0 a
0
2
x
R(xa )
b
a
a

X 1 P(x00 )
dx00
a
a

= du00
p
00 a
b , u. s. w.
00
2
x
R(xa )
b
a
a

Daher
(8.)

(2)

du0b + du00
b + + dub

X 1 P(x )
dxa
a
.
 p
2 xa ab
R(xa )
a

(b = 1, 2, . . . , %)

) In Betreff des Beweises dieses Satzes verweise ich auf Abels Abhandlung: Remarques sur
quelques proprits etc. in Crelles Journal, B. 3, S. 313 und uvres compltes, tome I, 288. Einen
auf ganz andern Principien beruhenden Beweis des Satzes werde ich spter geben.

11

Bevor aber aus diesen Gleichungen weitere Folgerungen gezogen werden, ist
es nothwendig, die Zusammensetzungsweise der Coefficienten von M(x), N(x),
(x) aus den Gren (5.) oder (1.) einer nhern Betrachtung zu unterwerfen.
. 3.
Es lt sich, wenn x in der Nhe von aa angenommen und
s
(1.)

 0

P (aa )
(x aa ) = s,
Q(aa )

Q(aa ) 2
s
x = aa + 0
P (aa )

gesetzt wird,
p

R(x)
Q(x)

oder

P(x)
p
R(x)

in eine convergirende Reihe

(2.)

s + (a)1 s3 + (a)2 s5 +

entwickeln, welche mit Ra (s) bezeichnet werden mge, so wie auch die Functionen von s, in welche M(x), N(x), P(x), Q(x) durch die Substitution
Q(aa ) 2
x = aa + 0
s
P (aa )
bergehen, durch M a (s), N a (s), Pa (s), Qa (s) angedeutet werden sollen. Ferner
setze man

(2)

) (s sa ) = a (s),
(s s0a )(s s00
a
(3.)

M a (s) Ra (s) + N a (s) = fa (s),

so kann auch fa (s) fr jeden Werth von s, der so beschaffen ist, da der zugehrige Werth von x in der Nhe von aa liegt, in eine convergirende Reihe entwickelt
werden. Es ist klar, da s0a , s00
a , u. s. w. in Folge der oben in Betreff der Gren
(1, . 2.) gemachten Annahme smmtlich zu diesen Werthen von s gehren.
Angenommen nun, es sei berhaupt f (s) eine Function von s, die sich
fr alle Werthe dieser Vernderlichen, die ihrem absoluten Betrage nach kleiner
als ein bestimmter Grnzwerth S sind, durch eine convergirende Reihe von der
Form
A0 + A1 s + A2 s2 +

12

darstellen lasse, und (s) bedeute eine ganze Function nten Grades, wobei zugleich angenommen werde, da die Wurzeln der Gleichung (s) = 0 smmtlich
dem absoluten Betrage nach kleiner als S seien. Alsdann lt sich fr jeden
Werth von s, der seinem absoluten Betrage nach grer als jede dieser Wurzeln
ist,
1
= C0 sn + C1 sn1 + C2 sn2 + = S Ca snm
(s)
m = 0...
setzen (wo m, so wie berhaupt im Folgenden die Buchstaben m, n, p, eine
ganze Zahl, die alle Werthe zwischen den Grnzen 0 und annehmen kann,
bezeichnet), und man erhlt daher, indem man diese Reihe mit der fr f (s)
multiplicirt, wenn der absolute Werth von s zugleich kleiner als S ist,
f (s)
= D0 + D1 s + D2 s2 +
(s)
+ E0 s1 + E1 s2 + ,
welche Reihen-Entwicklung von

f (s)
durch
(s)
"
#
f (s)
(s)

angedeutet werden mge, so wie durch

"
#
f (s)
(s) sm
der Coefficient von sm in derselben. Ist nun
(s) = B0 + B1 s + + Bn sn ,


f (s)
so mssen, wenn man die Reihe
mit (s) multiplicirt, aus dem Producte
(s)

alle Glieder mit negativen Potenzen von s fortfallen, und daher

B0 Em + B1 Em+1 + + Bn Em+n = 0
sein, indem der Ausdruck auf der linken Seite dieser Gleichung der Coefficient
von sm1 in dem gedachten Producte ist. Diese Relation lehrt aber, da die
Coefficienten E0 , E1 u. s. w. smmtlich gleich Null sind, sobald dies mit den n ersten
der Fall ist. Denn da Bn nicht Null ist, so erhellt unmittelbar, da Em+n = 0 sein

13

mu, wofern Em , Em+1 , . . . , Em+n1 smmtlich verschwinden; woraus, indem

man der Reihe nach m = 0, 1, 2, u. s. w. setzt, das Behauptete sofort sich ergiebt.
Dann hat man
f (s)
= D0 + D1 s + D2 s2 + ,
(s)
oder

f (s) = (B0 + B1 s + )(D0 + D1 s + )

fr alle Werthe von s innerhalb der bezeichneten Grnzen. Die letztere Gleichung kann aber nicht anders bestehen, als wenn in der Reihe, die aus der
Entwicklung des Products auf der rechten Seite hervorgeht, die Coefficienten
mit den gleichstelligen von f (s) bereinstimmen. Dann aber gilt sie, und mit ihr
auch die vorhergehende berhaupt fr alle Werthe von s, bei denen die Reihen
A0 + A1 s + ,

D0 + D1 s +

beide convergiren. Fr die letztere steht dies aber, ihrer Herleitung nach, fest,
wenn der absolute Betrag von s zwischen zwei Grnzen, von denen die obere S
ist, enthalten ist; es mu daher fr alle Werthe von s, die dem absoluten Betrage
nach unter S liegen, der Fall sein. Hiermit ist folgender Hlfssatz bewiesen, der
bei mancherlei Untersuchungen mit Nutzen angewandt werden kann:
Wenn die oben nher charakterisirten Functionen f (s), (s) so beschaffen sind,
da man
#
"
#
"
#
"
f (s)
f (s)
f (s)
= 0,
= 0, . . . ,
= 0,
(s) s1
(s) s2
(s) sn
oder auch
"

#
f (s)
= 0,
(s) s1

"

#
s f (s)
= 0,
(s) s1

...,

n1

s
f (s)
= 0,

(s)
s1

hat, so lt sich der Quotient

f (s)
(s)
fr alle Werthe von s, bei denen die Reihe fr f (s) convergirt, ebenfalls durch eine nur
ganze positive Potenzen von s enthaltende convergirende Reihe darstellen. Umgekehrt
ist dies nicht der Fall, sobald die vorstehenden Bedingungsgleichungen nicht smmtlich
befriedigt werden.
Fr die durch die Formeln (3.) definirten Functionen fa (s), a (s) ist nun,
nach dem oben Bemerkten, die Bedingung erfllt, da die Wurzeln der Gleichung a (s) = 0 smmtlich dem absoluten Betrage nach kleiner sind als der

14

Grnzwerth, unter dem s bleiben mu, damit die Reihe fr fa (s) unbedingt convergire. Wenn daher die Coefficienten von M(x) und N(x) so bestimmt werden
knnen, da die folgenden (2%) Gleichungen
21

#
#
"
"
s
fa (s)
s fa (s)
fa (s)
= 0,
= 0,
= 0, . . . ,
(4.)
a (s) s1
a (s) s1
a (s) s1
(a = 1, 2, . . . , %)

befriedigt werden; so hat man fr alle Werthe von s, bei denen die Reihe fr
fa (s) convergirt
fa (s) = a (s) fa (s),

(5.)

wo fa (s) eine als unendliche Reihe von derselben Form wie die fr fa (s) darstellbare Function bedeutet. Nun darf man aber in dieser Gleichung (s) fr s
setzen, und erhlt
fa (s) fa (s) = a (s) a (s) fa (s) fa (s),
oder da
M a (s) = M a (s),
ist,

N a (s) = N a (s),

Ra (s) = Ra (s),

N 2a (s) M 2a (s) R2a (s) = a (s)a (s) fa (s) fa (s),

oder auch, indem

R2a (s) =

Pa (s)
Qa (s)

ist, durch Multiplication dieser Gleichung mit Qa (s)

(5.)

Pa (s)M 2a (s) Qa (s)N 2a (s) = a (s)a (s) a (s),

wo
a (s) = Qa (s) fa (s) fa (s)
gesetzt ist. Nun gehrt jeder Werth von s, der a (s) = 0 oder a (s) = 0 macht,
zu denen, fr welche die Reihen-Entwicklungen von fa (s), fa (s) und somit
auch die von fa (s), fa (s), a (s) convergiren; es behlt daher der Quotient
Pa (s) M 2a (s) Qa (s) N 2a (s)
a (s) a (s)

15

auch dann noch einen endlichen Werth, wenn der Divisor verschwindet; und
da Dividendus und Divisor desselben beide ganze Functionen von s2 sind, so
mu der erstere durch den letzteren theilbar, und somit a (s) ebenfalls eine
ganze Function von s2 sein. Daraus folgt denn, da die Gleichung (5.) fr jeden
Werth von s besteht. Setzt man nun in derselben
P0 (aa )
(x aa )
Q(aa )

fr s2 ,

so geht der Ausdruck auf der linken Seite in

P(x) M 2 (x) Q(x) N 2 (x),
und

2
002
a (s) a (s) = (s2 s02
a )(s sa ) ,

abgesehen von einem constanten Factor, in

(2)

(x x0a )(x x00

a ) (x xa

ber, whrend sich a (s) ebenfalls in eine ganze Function von x verwandelt.
Demnach wird, wenn die Gleichungen (4.) smmtlich bestehen, der Ausdruck
P(x) M 2 (x) Q(x) N 2 (x)

durch (x)

theilbar, und es gilt die Gleichung (4.) des . 2. Die Anzahl dieser Gleichungen
ist aber (2%), d. h. gleich der Anzahl der Coefficienten von M(x), N(x) und sie
werden daher zur Bestimmung der letzteren hinreichen.
Nun hat die Reihe
#
"
1
die Form
a (s)


(6.)
s2 (1 + a,1 s1 + a,2 s2 + ) = S a,n s2n ,
n = 0...

wo a,n eine ganze homogene und symmetrische Function nten Grades von
s0a ,

s00
a,

...,

(2)

sa

bedeutet. Setzt man daher

(7.)

fa (s) = F a,0 + F a,1 s + F a,2 s2 + = SF a,m sm ,

m = 0...

16

wo die Ausdrcke F a,0 , F a,1 u. s. w. lineare Functionen von

M 1 , M 2 , . . . , M % ,
N1, N2, . . . ,

N %

sind, mit Coefficienten, die rational aus aa und den Coefficienten von P(x) und
R(x) zusammengesetzt werden, so wird

(8.)

2p1

n
o
s
fa (s)

= S a,n F a,m smnp1 ,

(s)

(9.)

2p1

n
o
s
fa (s)

= S a,n F a,p+n ,

(s)

m = 0 . . . , n = 0 . . .

s1

n = 0...

und man erhlt demnach, indem man p = 0, 1, . . . , 21 setzt, zur Bestimmung

der Coefficienten von M(x), N(x) die (2%) Gleichungen, welche durch die
folgende

(10.)

n
o
F a,p + S a,n F a,p+n = 0
n = 1...

a = 1, 2, . . . , %
p = 0, 1, . . . , 2 1

reprsentirt werden. Diese kann man durch Zusammenziehung der Glieder,

welche dieselbe Unbekannte enthalten, auf die Form
(11.)

(a, p)0 + (a, p)1 M 1 + + (a, p)% M %

+ (a, p)%+1 N 1 + + (a, p)2% N % = 0

bringen, wo die Ausdrcke (a, p)0 , (a, p)1 u. s. w. smmtlich Reihen von der
Form
g0 + g1 a,1 + g2 a,2 +
sind. Bezeichnet man nun mit Mm die Determinante des Systems, welches aus


dem folgenden

(12.)

(0)

17

(2%)

...

(1)

(1, 0)0
.........
(1, 2 1)0
.........
.........
.........
(%, 0)0
(%, 1)0
.........
(%, 2 1)0

(1, 0)1
.........
(1, 2 1)1
.........
.........
.........
(%, 0)1
(%, 1)1
.........
(%, 2 1)1

...
....
...
....
....
....
...
...
....
...

(1, 0)2%
...........
(1, 2 1)2%
...........
...........
...........
(%, 0)2%
(%, 1)2%
...........
(%, 2 1)2%

dadurch sich ergiebt, da man die mit (m) bezeichnete Vertikal-Reihe fortlt,
und zugleich die darauf folgenden, ohne ihre Aufeinanderfolge zu ndern, vor
die mit (0) berschriebenen setzt; so erhlt man

M%

M
M

M1 = 1 ,
M2 = 2 ,
. . . , M % =
,

M0
M0
M0

(13.)

M%+1
M%+2
M2%

N 1 = M , N 2 = M , . . . , N % = M ,
0
0
0
wo M0 , M1 u. s. w. als rationale und ganze aus (a, p)0 , (a, p)1 u. s. w. gebildete
Ausdrcke gleich den letztern nach ganzen positiven Potenzen der Gren
0

s1 ,
s02 ,
. . . , s0%

00

s00
,
. . . , s00
s1 ,
%
2
(14.)

.........................

s(2) , s(2) , . . . , S%(2)

2
1
in convergirende Reihen entwickelt werden knnen ) . Hier ist es nun von
besonderer Wichtigkeit, die Anfangsglieder dieser Reihen, d. h. die Werthe,
welche sie annehmen, wenn die Gren (14.) smmtlich verschwinden, zu
ermitteln. Offenbar erhlt man dieselben, die mit
0

M0 ,

M1 ,

...,

M2%

) Vergl. den Satz (5, B, . 7) in der angefhrten Abhandlung ber die Facultten.

18

bezeichnet werden mgen, wenn man bei der Bildung von M0 , M1 u. s. w.

die Reihen fr (a, p)0 , (a, p)1 u. s. w. auf ihre Anfangsglieder reducirt, oder,
was dasselbe ist, wenn man die Gleichungen (11.), die mit den unter (10.)
aufgestellten identisch sind, durch die folgenden ersetzt
(15.)

F a,0 = 0,

F a,1 = 0,

...,

F a,21 = 0,

(a = 1, 2, . . . , %)
0

und dann aus den Coefficienten derselben M0 , M1 , u. s. w. so zusammensetzt,

wie M0 , M1 u. s. w. aus den Coefficienten der Gleichungen (11.).
Nun sind aber F a,0 , F a,1 , u. s. w. die Coefficienten der Reihen-Entwicklung
von
fa (s) = M a (s) Ra (s) + N a (s),
und die Gleichungen (15.) drcken also aus, da die (2) ersten Glieder derselben verschwinden sollen. Dies kann, da N a (s) und M a (s) gerade Functionen
von s sind, Ra (s) aber eine ungerade, in deren Entwicklung der Coefficient von
s1 nicht Null ist, nur unter der Bedingung geschehen, da in den Entwicklungen von M a (s) und N a (s) nach Potenzen von s alle Glieder von einer niedrigern
als der (2)ten Ordnung verschwinden. Da aber M a (s) und N a (s) aus M(x) und
N(x) durch die Substitution
P0 (aa ) 2
s
x = aa +
Q(aa )
hervorgehn, so mu man, damit die genannten Glieder Null werden,
M(aa ) = 0,

M 0 (aa ) = 0,

. . . , M (1) (aa ) = 0,

N(aa ) = 0,

N 0 (aa ) = 0,

...,

N (1) (aa ) = 0

haben, d. h. es mssen M(x), N(x) beide durch (x aa ) theilbar sein. Hiernach

sagen die Gleichungen (15.) aus, es sollen die Coefficienten von M(x) und N(x)
so bestimmt werden, da beide durch
(x a1 ) (x a2 ) (x a% ) = P (x)
theilbar werden. Dies kann aber, da M(x) vom (%)ten, N(x) vom (% 1)ten
Grade, und der Coefficient von x% in M(x) der Einheit gleich sein soll, nicht
anders geschehen, als wenn man
N 1 = 0,

N 2 = 0,

...,

N % = 0,


und

19

M(x) = P (x)

annimmt. Hiernach liefern die Gleichungen (15.) fr M 1 , N 1 , M 2 , N 2 u. s. w.

0
vllig bestimmte endliche Werthe. Daraus folgt zunchst, da M0 oder das
Anfangsglied von m0 nicht Null sein kann, indem, wenn dieses der Fall wre,
die Gleichungen (15.) entweder gar nicht, oder auf mehr als eine Weise befriedigt
werden knnten; und daher ergiebt sich
0
0
0
0

% + M x%1 + + M = M P (x),

M
x

%
0
1
0
(16.)

0
0
0

M
=M
= = M
= 0.
%+2

%+1

Mithin kann man, wenn man

2%

M0
0

= M0

M
setzt, M(x) und N(x) auf die Form

M(x)

,
M(x) = P (x) +

M0

(18.)

N(x)

N(x) =
M0
bringen, wo jetzt M(x), N(x) ganze Functionen des (2% 1)ten Grades von
x bedeuten, deren Coefficienten sich gleich wie M 0 nach ganzen positiven
Potenzen der Gren (14.) in convergirende Reihen entwickeln lassen. Dabei
reducirt sich M 0 auf die Einheit, wenn diese Gren smmtlich den Werth
Null annehmen, whrend die Coefficienten von M(x) und N(x) dann ebenfalls
smmtlich verschwinden.
Hierzu bemerke ich noch Folgendes. Die Formel (7.) lehrt, indem
fa (s) = M a (s) Ra (s) + N a (s)
und N a (s) eine gerade, M a (s) Ra (s) eine ungerade Function von s ist, da fr
einen geraden Werth von m
Fa,m

die Form

f1 N 1 + f2 N 2 + + f% N % ,

und fr einen ungeraden

Fa,m

die Form

f0 + f1 M 1 + f2 M 2 + + f% M % ,

20

(2)

hat. Ferner ist a,n eine gerade oder ungerade Function von s0a , s00
a , . . . , sa ,
jenachdem n eine gerade oder ungerade Zahl ist. Aus der Gleichung (10.) folgt
daher, da
(a, p)0

(a, p)1

...

(a, p)%

(a, p)%+1

(a, p)%+2

...

(a, p)2%

gerade,

und
ungerade

Functionen der eben genannten Gren sind, wenn p eine ungerade Zahl ist; da
sich dies aber umgekehrt verhlt, sobald p gerade ist. Es ndert sich also jeder
Coefficient der Gleichungen (11.) gar nicht, oder wechselt nur sein Zeichen,
(2)

wenn man s0a , s00

a , . . . , sa

in
(2)

s0a , s00
a , . . . , sa

verwandelt; und zwar geht dadurch, wenn man mit

m die Zahl 0 oder 1
bezeichnet, je nachdem m 5 % oder m > % ist,
(a, p)m

in

(1)p1+m (a, p)m

ber. Der Ausdruck Mm ist nun ein Aggregat von Gliedern, deren jedes die
Form
(a1 , p1 )m1 (a2 , p2 )m2 (a , p )m
hat, wo = 2% ist und die Reihe der Indices m1 , m2 , . . . , m smmtliche
Zahlen der Reihe 0, 1, . . . , 2% enthlt, mit Ausnahme von m, whrend fr
a1 , p 1

a2 , p 2

...

a , p

die in der folgenden Zusammenstellung enthaltenen Verbindungen zu setzen

sind:
1, 0
1, 1 . . . 1, 2 1,
2, 0
2, 1 . . . 2, 2 1,
.....................
%, 0
%, 1 . . . %, 2 1.

21

Giebt man daher jeder der unter (14.) zusammengestellten Gren den entgegengesetzten Werth, so erfhrt das vorstehende Product dadurch dieselbe
Vernderung als wenn es mit
(1)p1 1+p2 1++p 1+m1 +m2 ++m
multiplicirt wird. Aber


p1 + p2 + + p = % 0 + 1 + 2 + + (2 1) = %(2 1),
m1 + m2 + + m = 0 + 1 + + (2%) m = % m,
und daher
(1)p1 1++p 1+m1 ++m = (1)2%(1)m = (1)m .
Man sieht also, da die Glieder von Mm nach der Zeichennderung der Gren (14.) smmtlich unverndert bleiben, wenn m 5 %, und nur ihr Zeichen
wechseln, wenn m > %; d. h. mit andern Worten, da
M0 ,

M1 ,

...,

M%

und somit auch M 0 und die Coefficienten von M(x) gerade, dagegen die Coefficienten von N(x) ungerade Functionen der genannten Gren sind.
Hierdurch ist nun die Zusammensetzungsweise der Functionen M(x),
N(x) fr den vorliegenden Zweck hinlnglich festgestellt. Aus denselben kann
man ferner die Function (x) leicht erhalten.
Da der Ausdruck auf der linken Seite der Gleichung (4, . 2) durch (x)
theilbar ist, (x) aber die Form
x% + P1 x%1 + + P%
u. s. w. und somit auch
hat, wo P1 , P2 u. s. w. ganze Functionen von x01 , x00
1
0
00
der Quadrate von s1 , s2 u. s. w. sind, von denen, nachdem man den gedachten
Ausdruck durch (x) dividirt, in dem Quotienten nur ganze positive Potenzen
vorkommen; so sieht man, da man
(18.)

(x) = x% +

P(1) %1 P(2) %2
P(%)
x
+
x
+ +
M 20
M 20
M 20

erhalten mu, wo P(1) , P(2) , . . . , P(%) ganz dieselbe Gestalt haben wie die Coefficienten von M(x).

22

Man kann aber dieser Function noch eine andere, sehr bemerkenswerthe
Form geben. Setzt man nmlich in der Gleichung (4, . 2)
x = aa ,

a%+a ,

so erhlt man

(aa )
N 2 (aa )

=
=

Q(aa )
(aa )

(a%+a ) = M (a%+a ) =
(19.)

P(a%+a )
(a%+a )

(a2%+1 ) M 2 (a2%+1 )

=
=

P(a2%+1 )
(a2%+1 )

a2%+1 ,

N2 (aa )

,
M 20 (aa )

2
M 0 P (a%+a ) + M(a%+a )
M 20 (a%+a )

2

M 0 P (a2%+1 ) + M(a2%+1 )
M 20 (a2%+1 )

Nun ist
( 0
)2

P (aa )
1
=

,
(2)
(2)
Q(a
)
0
00
0
00
a
(aa xa )(aa xa ) (aa xa )
sa sa sa
1

und, wenn b von a verschieden,

1
(2)

) (aa xb
(aa x0b )(aa x00
b
=

(

 
1
1
aa ab

Aber

1

x0b ab  12
aa ab

x0b ab  12
aa ab

(2)
)

xb ab  21 2
... 1
.
aa ab


x00
ab  12
b
1
aa ab

u. s. w.

sind, weil x0b , x00

u. s. w. smmtlich in der Nhe von ab sich befinden, nach
b
ganzen positiven Potenzen von (x0b ab ), (x00
ab ) u. s. w., und somit auch von
b
s02
, s002
u. s. w. in convergirende Reihen entwickelbar. Folglich kann man
b
b
1
1
Sa
=
(aa ) Q2 (aa ) s0 s00 . . . s(2)
a
a a

!2

23

setzen, wo Sa eine convergirende, nur ganze positive und gerade Potenzen der
Gren (14.) enthaltende Reihe bedeutet. In hnlicher Weise findet man
S2%+a
1
,
=
(a%+a ) P2 (a%+a )

1
(a2%+1 )

S22%+1
P2 (a2%+1 )

wo S%+a , S2%+1 Reihen von hnlicher Gestalt wie Sa bedeuten.

Aus (19.) ergiebt sich nun
(aa )
N(aa )Sa
=
(2)
Q(aa )
Q (aa ) s0a sa M 0

!2
,

und aus (18.)

(a)
(aa )
=
,
Q(aa )
M 20
wo (a) eine nur ganze positive Potenzen von s01 , s00
, u. s. w. enthaltende Reihe
1
bezeichnet. Mithin mu
(a)

N(aa )Sa
(2)
Q (aa ) s0a sa

!2
,

(2)

und daher N(aa )Sa durch s0a . . . sa theilbar sein. Bemerkt man nun, da N(aa )
(2)
eine ungerade, Sa , (s0a . . . sa ), M 0 , M(a%+a ), M(a2%+1 ) aber gerade Functionen
der Gren (14.) sind, so erkennt man, da man

(20.)

( (a)
)
(a)
(a)

S1 + S3 + + S2m1 + 2

(aa )

= 2a ,
=

(0)
(0)

Q(a
)
a

1 + S2 + + S2m +

(%+a)
(%+a)
( (%+a)
)

S0
+ S2
+ + S2m + 2

(a%+a )
=
= 2%+a ,
( )

(0)
(0)

P(a%+a )

1 + S2 + + S2m +

(2%+1)
(2%+1)
( (2%+1)
)

S0
+ S2
+ + S2m
+ 2
(a2%+1 )

=
= 22%+1 .

(0)
(0)

P(a2%+1 )
1 + S2 + + S2m +

24

(r)

hat, wo Sm eine ganze homogene Function mten Grades der Gren

(2)

s01 , s00
, . . . , s1

s0 , s00 , . . . , s(2)
2
2
2
(21.)

.
.
.
.
.
.
.
.
.
.
.
...

(2)

0
00
s% , s% , . . . , s%
bezeichnen soll. Es ist aber
X
(x)
(aa )
=1+
;
P(x)
(x aa )P0 (aa )

(22.)
und so erhlt man
(23.)

)
X ( Q(a ) P(x)
a
(x) = P(x)

2 .
P0 (aa ) x aa a

Drckt man nun die Gren (21.) durch die folgenden

(2)

0
00

u1 , u1 , . . . , u1

u0 , u00 , . . . , u(2)
2
2
2
(24.)

.
.
.
.
.
.
.
.
.
.
.
.
...

(2)

u0% , u00
% , . . . , u%
aus (vermittelst der Formeln (4.) des . 1), so erhlt man

s
(a)
(a)
(a)

U 1 + U 3 + + U 2m1 +

(aa )

=
a
=

(0)
(0)

Q(aa )

1 + U 2 + + U 2m +

(%+a)
(%+a)
(%+a)

U0
+ U2
+ + U 2m +

(a%+a )

(25.)
=
%+a =

(0)
(0)

P(a%+a )

1 + U 2 + + U 2m +

(2%+1)
(2%+1)
(2%+1)

+ U2
+ + U 2m
+
(a2%+1 ) U 0

=
=

2%+1

(0)
(0)

P(a2%+1 )

1 + U 2 + + U 2m +

( (%+a)
)2
(%+a)
(%+a)
+ S2
+ + S2m +
S0
(a%+a )
)
=
= 2%+a im Text.
(0)
(0)
P(aa )
1 + S + + S +
2

2m

M(x) = P (x) +

N(x) =

(26.)

25

U 2 (x) + + U 2m (x) +
(0)

(0)

1 + U 2 + + U 2m +

U 1 (x) + + U 2m+1 (x) +

(0)

(0)

1 + U 2 + + U 2m +

(r)

der Gren (24.)

wo jetzt U m , U m (x) ganze homogene Functionen mten Grades

sind, die zweite aber zugleich auch eine ganze Function (% 1)ten Grades
von x ist, und smmtliche in diesen Ausdrcken vorkommenden unendlichen
Reihen unbedingt convergiren, sobald die absoluten Werthe der genannten
Vernderlichen unterhalb der oben fr sie festgesetzten Grnzen liegen. ) Da(r)
bei kann man bemerken, da die Coefficienten von U m und U m (x) aus a1 ,
a2 , . . . , a% , und den Coefficienten von Q(x) rational zusammengesetzt sind,
wie man leicht sieht, wenn man die vorhergehenden Entwicklungen in dieser
Beziehung berblickt.
. 4.
Nachdem nun ermittelt worden, welche Gestalt die Coefficienten von M(x),
N(x), (x), als Functionen von u01 , u00
u. s. w. betrachtet, haben ) , kehre ich zu
1
den Gleichungen (8.) des . 2. zurck.
) Wenn F(s1 , s2 , . . . ) eine Function mehrerer vernderlichen Gren s1 , s2 , . . . ist, die fr alle
Werthe derselben, die ihrem absoluten Betrage nach unter gewissen Grnzwerthen S1 , S2 , . . .
liegen, durch eine convergirende Reihe von der Form
n
o
S A(n1 , n2 , . . . )sn11 sn22

n1 = 0 . . . , n2 = 0 . . . , . . .

dargestellt werden kann; und man substituirt fr s1 , s2 , . . . ebenso gebildete Potenz-Reihen

beliebig vieler anderer Vernderlichen u1 , u2 , . . . , und ordnet nach Potenzen dieser letztern; so
convergirt die so sich ergebende Reihe, sobald man fr die absoluten Werthe von u1 , u2 , . . .
solche Grnzen festsetzt, da nicht nur die Reihen fr s1 , s2 , . . . smmtlich convergent sind,
sondern ihre Summen auch zu denjenigen Werthen von s1 , s2 , . . . gehren, fr welche die
angegebene Darstellung von F(s1 , s2 , . . . ) gltig ist.

) Wenn man die in Rede stehenden Gren direct durch Auflsung der Gleichungen (3, . 2)
p
p
), . . . durch u01 ,
bestimmen, und in den so sich ergebenden Formeln x01 , x00
, . . . R(x01 ), R(x00
1
1
00
u1 , . . . ausdrcken wollte, so wrden sie die Gestalt von Brchen erhalten, bei denen Zhler
und Nenner gleichzeitig verschwnden, sobald man in zweien oder mehreren der unter (1, . 2)
aufgestellten Reihen die gleichstelligen Glieder einander gleich setzte. Um diesen Uebelstand
zu vermeiden, der sich schon bei Anwendung des Abelschen Theorems zur Herleitung der sog.
Additions-Formeln fr die elliptischen Functionen zeigt, ist das im vorhergehenden . auseinandergesetzte, allerdings etwas umstndliche Verfahren gewhlt worden. Wie man brigens

26

Wenn die Gren (1.) des . 2. smmtlich verschwinden, so reduciren

sich, nach den Formeln (25, . 3) 1 , 2 , . . . , % ebenfalls smmtlich auf Null,
und daher (nach (23.) desselben .) (x) auf P(x), so da alsdann x1 , x2 , . . . , x%
p
die Werthe a1 , a2 , . . . , a% erhalten. Man kann daher xa aa , R(xa ) die letztere
Gre mit Hlfe der Formel (7, . 2) bei hinlnglich kleinen Werthen der
genannten Vernderlichen nach ganzen positiven Potenzen derselben in Reihen
entwickeln, die gleichzeitig mit ihnen verschwinden, und x1 , x2 , . . . , x% als in
der Nhe beziehlich von a1 , a2 , . . . , a% liegend betrachten. Dann aber fhren
die Gleichungen (8, . 2) indem man ganz denselben Weg verfolgt wie bei den
Entwicklungen des . 1., und wieder
s

 0
P (aa )
(xa aa ) = sa
Q(aa )
setzt, zu den folgenden
u0b

+ u00
b

(2)
+ ub

(X
)
(a, b)n 2n+1
= sb + S
sa
2n
+
1
a

(b = 1, . . . , %),

n = 1...

p
R(xa )
= sa + (a)1 s3a + ,
Q(xa )
und man sieht daher, da man, unter der Voraussetzung, es seien nicht nur
(2)

(2)

0
00
u0a , u00
dem absoluten Betrage
a , . . . , ua , sondern auch ua + ua + + ua
nach kleiner als U a , durch Auflsung der Gleichung (x) = 0 und
p
p Anwendung
der Formel (7, . 2) zu denselben Werthen von x1 , x2 , . . . , x% , R(x1 ), R(x2 ),
p
. . . , R(x% ) gelangen mu, die man fr diese Gren vermittelst der Formeln
(4, 5, . 1) erhlt, wenn man in diesen
(2)

u01 + u00
1 + + u1

(2)

u02 + u00
2 + + u2

an die Stelle von u1

u2

...........................................
(2)

u0% + u00
% + + u%

u%

p
p
die Gleichungen (3, . 2), auch ohne R(x01 ), R(x00
), . . . in unendliche Reihen aufzulsen, so
1
umformen kann, da derselbe Zweck erreicht wird, soll fr den besonders wichtigen Fall, wo
= 1 ist, spter gezeigt werden.

27

setzt. Aus den so eben angefhrten Formeln erhlt man ferner

(1.)

(aa x1 )(aa x2 ) . . . (aa x% )

Q(aa )

(a)
(a)

= ua + (u1 , u2 , . . . , u% )3 + + (u1 , u2 , . . . , u% )2m1 + ,

(a%+a x1 )(a%+a x2 ) . . . (a%+a x% )

P(a%+a )

(%+a)
(%+a)

= 1 + (u1 , u2 , . . . , u% )2
+ + (u1 , u2 , . . . , u% )2m + ,

(a2%+1 x1 )(a2%+1 x2 ) . . . (a2%+1 x% )

P(a2%+1 )

= 1 + (u , u , . . . , u% )(2%+1) + + (u , u , . . . , u% )(2%+1) + ,
1

2m

(r)

wo wieder (u1 , u2 , . . . , u% )m eine homogene ganze Function mten Grades von

u1 , u2 , . . . , u% bedeutet, deren Coefficienten aus denen von Q(x), und aus a1 , a2 ,
. . . , a% rational zusammengesetzt sind. Macht man nun in diesen Ausdrcken
die angegebene Substitution, so ersieht man aus der Vergleichung der so hervorgehenden Formeln mit den unter (25.) des vorhergehenden . aufgestellten,
wenn man die letztern nach Potenzen von u01 , u00
, u. s. w. sich entwickelt denkt,
1
da
(2)

(a)

U 1 = (u0a + u00
a + + ua

),

(%+a)

U0

= 1,

(2%+1)

U0

= 1

sein mu. Setzt man nun fest, es solle jeder der Wurzelgren
s

(aa )
,
Q(aa )

(a%+a )
P(a%+a )

s
,

(a2%+1 )
P(a2%+1 )

von den beiden Werthen, die sie haben kann, derjenige beigelegt werden, bei
dem in den vorstehenden Formeln die obern Zeichen gelten, so sind dieselben jetzt als vllig bestimmte eindeutige Functionen von u01 , u00
u. s. w. zu
1
betrachten, welche bei hinlnglich kleinen Werthen dieser Vernderlichen mit

28

den unter (1.) aufgestellten bereinstimmen, wofern man in den letztern

(2)

u1 = u01 + u00
1 + + u1

(2)

u2 = u02 + u00
2 + + u2
.........................

(2)

u = u0 + u00
+ + u
setzt.

Angenommen nun, man habe fr die absoluten Werthe der vernderlichen Gren u1 , u2 , . . . , u% irgend welche Grnzen T 1 , T 2 , . . . , T % , die sie nicht
berschreiten sollen, festgestellt, so kann man die Zahl so gro annehmen,
da
T 1 < 2U 1 ,

T 2 < 2U 2 ,

...,

T % < 2U % .

Dann darf man

(2)

u01 = u00
1 = = u1

u
= 1 ,
2

u
= 2 ,
2
..........................
u%
(2)
u0% = u00
=
% = = u%
2
(2)

u02 = u00
2 = = u2

setzen, und es werden, wenn man die Functionen von u1 , u2 , . . . , u% , in welche dadurch die Ausdrcke auf der rechten Seite der Gleichungen (25.) des
vorhergehenden . sich verwandeln, mit
(u1 , u2 , . . . , u% )1

(u1 , u2 , . . . , u% )2

...

(u1 , u2 , . . . , u% )2%+1 ,

oder auch krzer mit

(u1 , . . . )1

(u1 , . . . )2

...

(u1 , . . . )2%+1 ,

29

bezeichnet, dieselben die Gestalt

(a)
(a)

ua + U3 + + U2m1 +

(u1 , u2 , . . . , u% )a
=

(0)
(0)

1 + U2 + + U2m +

(%+a)
(%+a)

1 + U2
+ + U2m +

(2.)
(u1 , u2 , . . . , u% )%+a =

(0)
(0)

1 + U2 + + U2m +

(2%+1)
(2%+1)

1 + U2
+ + U2m
+

(u
,
u
,
.
.
.
,
u
)
=

%
2
1
2%+1

(0)
(0)

1 + U2 + + U2m +
(r)

haben, in welchen Formeln Um eine ganze homogene Function mten Grades

von u1 , u2 , . . . , u% bedeutet, und die unendlichen Reihen, welche den Nenner
und die Zhler bilden, fr alle Werthe von u1 , u2 , . . . , u% , die ihrem absoluten
Betrage nach die Grnzen T 1 , T 2 , . . . , T % nicht berschreiten, unbedingt convergent sind. Fr hinlnglich kleine Werthe der genannten Vernderlichen lassen
sich (u1 , . . . )1 , (u1 , . . . )2 , u. s. w. nach ganzen positiven Potenzen derselben
in convergirende Reihen entwickeln, welche mit den entsprechenden unter (1.)
aufgestellten bereinstimmen.
Durch Auflsung der Gleichung
(x) = 0,
wo
(3.)

)
X ( Q(a ) P(x)
a
2
(x) = P(x)
(u1 , u2 , . . . , u% )a

P0 (aa ) x aa

ist, und man

(4.)

(aa )

= (u1 , u2 , . . . , u% )a

Q(aa )

(a%+a )

= (u1 , u2 , . . . , u% )%+a

P(a%+a )

(a2%+1 )

P(a2%+1 ) = (u1 , u2 , . . . , u% )2%+1

30

hat, ergeben sich sodann % Gren x1 , x2 , . . . , x% , welche den DifferentialGleichungen

(5.)

X 1 P(x )
dxa

du
=
 p

2 xa a1

R(xa )

X 1 P(x )

dxa
a

 p
du2 =
2 xa a2

R(xa )

...........................

X 1 P(x )

dxa

 p

du% =
2 xa a%
R(xa )

gengen, und zugleich die Werthe a1 , a2 , . . . , a% annehmen, wenn u1 , u2 , . . . ,

u% smmtlich verschwinden. Die Werthe, welche die Wurzelgren in diesen
Gleichungen haben mssen, erhlt man ohne Zweideutigkeit, indem man mit
M(x, u1 , u2 , . . . , u% ),

N(x, u1 , u2 , . . . , u% )

die Functionen bezeichnet, in welche die Ausdrcke (26, . 3) durch die angegebene Substitution bergehen, durch die Formel
(6.)

p
N(xa , u1 , u2 , . . . , u% )
R(xa )
=
Q(xa )
M(xa , u1 , u2 , . . . , u% )

(a = 1, 2, . . . , %).

Hierzu ist jetzt noch eine wesentliche Bemerkung zu machen. Der Nenner und die Zhler in den Ausdrcken von
(u1 , . . . )1

(u1 , . . . )2

u. s. w.

hngen, auer von u1 , u2 , . . . noch von der Zahl ab. Gleichwohl lt sich
nachweisen, da die Werthe dieser Functionen selbst stts dieselben bleiben,
welchen Werth man auch dieser Zahl geben mge, wenn derselbe nur gro
genug genommen wird, um die in den in Rede stehenden Ausdrcken vorkommenden Reihen convergent zu machen.
Wenn nmlich F(u1 , u2 , . . . ), G(u1 , u2 , . . . ), F 0 (u1 , u2 , . . . ), G0 (u1 , u2 , . . . )
eindeutige Functionen mehrerer Vernderlichen u1 , u2 , . . . sind, die sich nach
ganzen positiven Potenzen derselben in Reihen entwickeln lassen, und es gilt
die Gleichung
F(u1 , u2 , . . . )
F 0 (u1 , u2 , . . . )
=
G(u1 , u2 , . . . ) G0 (u1 , u2 , . . . )

31

fr alle Werthe von u1 , u2 , . . . , die ihrem absoluten Betrage nach kleiner als
gewisse Gren sind; so mu sie berhaupt fr alle Werthe der genannten
Vernderlichen bestehen, bei denen die Reihen fr F, G, F 0 , G0 smmtlich convergiren. Denn es folgt aus ihr
FG0 = GF 0 ,
und wenn diese Gleichung fr beliebige unendlich kleine Werthe von u1 , u2 ,
. . . richtig sein soll, so mssen die Reihen, in welche FG0 und GF 0 nach ganzen
positiven Potenzen dieser Gren entwickelbar sind, in den gleichstelligen
Coefficienten bereinstimmen, woraus denn folgt, da sie, und mit ihr auch
die ursprngliche
F0
F
= 0
G G
gilt, sobald nur u1 , u2 , . . . solche Werthe haben, da die Entwicklungen von F,
G, F 0 , G0 smmtlich convergent sind.
Bezeichnet man nun die Reihen, welche in dem Ausdrucke irgend einer
der Functionen (u1 , . . . )1 , (u1 , . . . )2 u. s. w., bei einem bestimmten Werthe
von , den Zhler und den Nenner bilden, mit F, G, sowie mit F 0 , G0 dieselben
Reihen fr irgend einen andern Werth von , so stimmen, nach dem oben
Bemerkten, die Reihen, in welche die Brche
F
,
G

F0
G0

bei hinlnglich kleinen Werthen von u1 , u2 , . . . , u% entwickelt werden knnen,

vollstndig berein, und es besteht daher die Gleichung
F0
F
= 0
G G
jedenfalls fr alle Werthe von u1 , u2 , . . . , u% , deren absoluten Betrge kleiner
als gewisse Gren sind, und somit, nach dem so eben Bewiesenen, berhaupt
fr diejenigen Werthe dieser Vernderlichen, bei denen die Reihen F, G, F 0 , G0
alle vier convergiren wodurch die Richtigkeit des Behaupteten dargethan ist.
In hnlicher Weise lt sich ferner zeigen,pda man
p nach Bestimmung
p
von x1 , x2 , . . . , x% auch fr die Wurzelgren R(x1 ), R(x2 ), . . . , R(x% )
vermittelst der Formel (6.) stts dieselben Werthe erhalte, welche Zahl man
auch bei Bildung der Functionen M, N anwenden mge. Es ist aber bemerkenswerth, da man aus der Function (x) eine andere vom (% 1)ten Grade
und mit Coefficienten von demselben analytischen Charakter wie die von (x)

32

selbst ableiten kann, welche jene Wurzelgren liefert, wenn man x = x1 , x2 ,

. . . , x% setzt.
(x)
Es werde
= 0 (x) gesetzt, und nachdem man die Gleichung
x
X 1 P(x )
dxc
c
dub =
 p
2 xc ab
R(xc )
c
mit

(ab )
.
(xa ab )P0 (ab )
multiplicirt, auf beiden Seiten in Beziehung auf b summirt. Dies giebt
X (a )
X1
(ab )P(xc )
dub
dxc
b

=
 p
.
0
0
2 (xa ab )(xc ab )P (ab )
P (ab ) xa ab
R(x
)
c
b
b,c
Nun ist aber

X
(x)
(ab )
=
,
(xa x)P(x)
(xa ab )(x ab )P0 (ab )
b

und daher, wenn man x = xc setzt,

X
(ab )
= 0, wofern c a
(xc ab )(xa ab )P0 (ab )
b
X
(ab )
0 (xa )
und
=
.
P(xa )
(xa ab )(xa ab )P0 (ab )
b

Hiernach reducirt sich die rechte Seite der vorhergehenden Differential-Gleichung auf
1 0 (xa ) dxa

,
p
2
R(xa )
und man erhlt
0 (x

p
X (aa ) R(xa )
du .
a ) dxa = 2
(xa ab )P0 (ab ) b
b

Hieraus folgt
p
2(a
)
R(xa )
x
b
a
0 (xa )
=
,
ub
(xa ab )P0 (ab )
X
X
p
(ab )
xa

0 (xa )
= 2 R(xa ) 
.
ub
(xa ab )P0 (ab )
b


Aber

33

X
(x)
(ab )
=1+
,
P(x)
(x ab )P0 (ab )
b

und daher fr x = xa
X
b

(ab )
= 1.
(xa ab )P0 (ab )

Folglich
X

0 (xa )

p
xa
= 2 R(xa ).
ub

Nun ist, nach dem Vorhergehenden, (x) eine eindeutige Function von x und
u1 , u2 , . . . , u% , und man hat, weil (xa ) = 0 ist,
0 (xa )

 (x) 
xa
=
.
ub
ub x=xa

Somit giebt die vorhergehende Gleichung, wenn man

(7.)


(x) 
1 (x) (x)
+
+ +
= (x)
2 u1
u2
u%

setzt, wo dann (x) eine ganze Function (% 1)ten Grades von x ist, deren
Coefficienten gleich denen von (x) eindeutige Functionen der Gren u1 , u2 ,
. . . , u% sind,
(8.)

p
R(xa ) = (xa )

(a = 1, 2, . . . , %).

Da nun die Werthe der Coefficienten von (x), die aus den Functionen (u1 , . . . )1 ,
. . . , (u1 , . . . )% zusammengesetzt werden, von unabhngig sind, so gilt dasselbe auch hinsichtlich der Coefficienten von (x). Und so ist erwiesen, da die
Werthe der Gren
p
p
p
x1 , x2 , . . . , x% , R(x1 ), R(x2 ), . . . , R(x% ),
wenn man dieselben vermittelst der im Vorhergehenden entwickelten Formeln
berechnet, nur von u1 , u2 , . . . , u% , in keinerlei Weise aber von der dabei gebrauchten Zahl abhngen.
Die Functionen (u1 , . . . )1 , (u1 , . . . )2 , u. s. w., auf welche, der vorstehenden Darstellung nach, das Abelsche Theorem fast mit Nothwendigkeit fhrt,

34

knnen durch die Formeln (2.) fr alle Werthe von u1 , u2 , . . . , u% als vollstndig definirt betrachtet werden, indem man, wie auch die letztern angenommen
werden mgen, stts so gro whlen kann, da die in den Ausdrcken jener
Functionen vorkommenden unendlichen Reihen convergiren. Fr % = 1 gehen
sie, wenn
p
(a3 a1 )A0  u1 = u
gesetzt wird, in die elliptischen
sin am u

am u

cos am u

ber. Aus diesem Grunde mgen sie vorzugsweise hyperelliptische oder Abelsche Functionen der Argumente u1 , u2 , . . . , u% genannt werden. Ferner sollen,
der letztern Benennung entsprechend, fr dieselben von nun an die Bezeichnungen
al(u1 , u2 , . . . , u% )1

al(u1 , u2 , . . . , u% )2

al(u1 , u2 , . . . , u% )2%+1 ,

oder auch krzer

al(u1 , . . . )1

al(u1 , . . . )2

al(u1 , . . . )2%+1

gebraucht werden. )
Durch die bisherigen Entwicklungen ist jetzt das in der Einleitung ausgesprochene, die Form des Abhngigkeitsverhltnisses, welches zwischen den
Gren x1 , x2 , . . . , x% und u1 , u2 , . . . , u% durch die daselbst aufgestellten
Differential-Gleichungen begrndet ist, betreffende Theorem strenge erwiesen.
Dasselbe mge, in noch bestimmterer Weise gefat, hier wiederholt und mit
einer bersichtlichen Zusammenstellung der wichtigsten Formeln verbunden
werden.

) Die Form, welche ich in der vorliegenden Abhandlung den Abelschen Functionen gegeben
habe, stimmt nicht ganz mit derjenigen berein, in welcher sie der frhern, im 47sten Bande
des Crelleschen Journals abgedruckten, aufgestellt sind. Die letztere drfte, an sich betrachtet,
einige Vorzge haben; ich habe sie aber gendert, um den nicht unwesentlichen Vortheil zu
erreichen, da jede Abelsche Function fr % = 1 geradezu in eine der elliptischen von der
gebruchlichen Form bergehe was bei den dortigen al(u1 , . . . )0 , al(u1 , . . . )1 , u. s. w. nicht
der Fall ist, indem diese vielmehr fr % = 1 mit den von Abel in dessen erster Abhandlung
ber die elliptischen Transcendenten gebrauchten Formen berein kommen und auf diese
Weise die Vergleichung jedes gefundenen Resultats mit einem aus der Theorie der elliptischen
Functionen bekannten erleichtert werde.

35

Es sei

(I.)

R(x) = A0 (x a1 )(x a2 ) (x a2%+1 ),

P(x)

P(x) = (x a1 )(x a2 ) (x a% ),
= P0 (x),

Q(x) = A0 (x a%+1 )(x a%+2 ) (x a2%+1 ),

so lassen sich die Gren x1 , x2 , . . . , x% , welche die Differential-Gleichungen

(II.)

X 1 P(x )
dxa

du
=
 p

2 xa a1

R(xa )

X 1 P(x )

dxa
a

 p
du2 =
2 xa a2

R(xa )

...........................

X 1 P(x )

dxa

 p

du% =
2 xa a%
R(xa )

befriedigen, und zugleich die Werthe a1 , a2 , . . . , a% annehmen, wenn u1 , u2 , . . . , u%

smmtlich verschwinden, als die Wurzeln einer Gleichung %ten Grades betrachten,
welcher man die Form
X( Q(a ) al2 (u1 , u2 , . . . , u% )a )
a
(III.)

=1
x aa
P0 (aa )
geben kann. In dieser bedeuten
al(u1 , u2 , . . . , u% )1

al(u1 , u2 , . . . , u% )2

...

al(u1 , u2 , . . . , u% )%

eindeutige Functionen der unbeschrnkt vernderlichen Argumente u1 , u2 , . . . , u% ,

welche fr alle innerhalb irgend eines endlichen Bereichs liegenden Werthe dieser Gren in der Form

(IV.)

(1)
(1)

u1 + (u1 , u2 , . . . , u% )3 + + (u1 , u2 , . . . , u% )2m1 +

,
al(u1 , u2 , . . . , u% )1 =

(0)
(0)

1
+
(u
,
u
,
.
.
.
,
u
)
+

+
(u
,
u
,
.
.
.
,
u
)
+

%
%

1 2
1 2
2
2m

.........................................................................

(%)
(%)

u% + (u1 , u2 , . . . , u% )3 + + (u1 , u2 , . . . , u% )2m1 +

al(u1 , u2 , . . . , u% )% =
,

(0)
(0)

1 + (u1 , u2 , . . . , u% )2 + + (u1 , u2 , . . . , u% )2m +

36

(r)

wo durch (u1 , u2 , . . . , u% )m eine homogene ganze Function mten Grades bezeichnet

wird, dargestellt werden knnen.
Setzt man ferner
(x x1 )(x x2 ) (x x% ) = (x),

(V.)
wo denn

)
X( Q(a ) P(x)
a
2
(x) = P(x)

al (u1 , u2 , . . . , u% )a
P0 (aa ) x aa

(VI.)
und
s
(VII.)

(aa )
=
Q(aa )

(aa x1 )(aa x2 ) (aa x% )

A0 (aa a%+1 ) (aa a2%+1 )

= al(u1 , u2 , . . . , u% )a

( )

ist, und
X 1 (x)
= (x),
2 ua

(VIII.)
oder, indem man
(IX.)

al(u1 , u2 , . . . , u% )a
u1

+ +

al(u1 , u2 , . . . , u% )a
u%

mit al(u1 , u2 , . . . , u% )a

bezeichnet,
)
X( Q(a ) P(x)
a
(x) =

al(u1 , u2 , . . . , u% )a al(u1 , u2 , . . . , u% )a ,
P0 (aa ) x aa

(X.)

so giebt die Formel

p
R(xa ) = (xa )

(XI.)

p
nach Bestimmung von x1 , x2 , . . . , x% diejenigen Werthe der Wurzelgren R(x1 ),
p
p
R(x2 ), . . . , R(x% ), welche diesen in den obigen Differential-Gleichungen (II.) beir

(aa )
=
Q(aa )

(aa x1 )(aa x2 ) (xa x% )

= al(u1 , u2 , . . . , u% )a im Text.
A0 (aa a%+1 ) (aa a2%+1 )

37

gelegt werden mssen. Weiter hat man

(XII.)

s
s

(a
)
(a%+a x1 )(a%+a x2 ) (a%+a x% )
%+a

P(a%+a )
(a%+a a1 )(a%+a a2 ) (a%+a a% )

= al(u1 , u2 , . . . , u% )%+a ,

s
s

(a2%+1 )
(a2%+1 x1 )(a2%+1 x2 ) (a2%+1 x% )

P(a2%+1 )
(a2%+1 a1 )(a2%+1 a2 ) (a2%+1 a% )

= al(u1 , u2 , . . . , u% )2%+1 ,

wo al(u1 , . . . )%+1 , . . . , al(u1 , . . . )2%+1 Functionen derselben Art wie al(u1 , . . . )1 u. s. w.

sind, die sich in der Form

(XIII.)

al(u1 , u2 , . . . , u% )%+1

(%+1)
(%+1)

1 + (u1 , u2 , . . . , u% )2
+ + (u1 , u2 , . . . , u% )2m +

,
=

(0)
(0)

,
.
.
.
,
u
)
,
.
.
.
,
u
)
1
+
(u
,
u
+

+
(u
,
u
+

% 2
% 2m

1 2
1 2

..........................................................

al(u1 , u2 , . . . , u% )2%+1

(2%+1)
(2%+1)

+ + (u1 , u2 , . . . , u% )2m
+
1 + (u1 , u2 , . . . , u% )2

(0)
(0)

1 + (u1 , u2 , . . . , u% )2 + + (u1 , u2 , . . . , u% )2m +

darstellen lassen, wo der Nenner derselbe ist wie in den Ausdrcken (IV.). Diesen
Formeln fge ich noch die folgenden hinzu.
Bezeichnet man mit irgend eine der Zahlen 1, 2, . . . , 2% + 1, und setzt
(XIV.)

(XV.)

Q(aa ) = la ,
al(u1 , u2 , . . . , u% )
u1

P(a%+a ) = l%+a ,

+ +

P(a2%+1 ) = l2%+1 ,

al(u1 , u2 , . . . , u% )
u%

= al(u1 , u2 , . . . , u% ) ,

so ist
(XVI.)

(a ) = l al (u1 , u2 , . . . , u% ) ,

(a ) = l al(u , u2 , . . . , u% ) al(u , u2 , . . . , u% ) ,
1
1

38

so da man auch, wenn 1 , 2 , . . . , % % verschiedene Werthe von sind, und

(x a1 ) (x a% ) = R1 (x)

(XVII.)

gesetzt wird,

)
X( l

R1 (x) 2

(x) = R1 (x) +

al (u1 , u2 , . . . , u% ) ,

R01 (a ) x a

= 1 , 2 , . . . , %

(XVIII.)
)

X( l

R1 (x)

al(u1 , u2 , . . . , u% ) al(u1 , u2 , . . . , u% ) ,


(x) =
R01 (a ) x a

= 1 , 2 , . . . , %
hat.
Ferner ist, indem
(x) X
(xa )
=
,
(x)
(x xa ) 0 (xa )

wo 0 (x) =

(x)
,
x

in Folge (X, XVI.)

(XIX.)

(XX.)

p
R(xa )
(x) X
=
,
(x)
(xa x) 0 (xa )
p
al(u1 , u2 , . . . , u% ) X
R(xa )
=
.
al(u1 , u2 , . . . , u% )
(xa a ) 0 (xa )

Nun ist oben bei Herleitung der Gleichung (8.) gefunden worden
p
 (x) 
2(a
)
R(xa )
2(ab )(xa )
x
b
a
=
.
= 0 (xa )
=
0
ub x=xa
ub (xa ab )P (ab )
(xa ab )P0 (ab )
woraus man schliet, da fr jeden Werth von x
(XXI.)

1 (x) (ab ) (x) (ab ) (x)

=
2 ub
(x ab )P0 (ab )

ist, indem die beiden einander gleichgesetzten Ausdrcke ganze Functionen

(% 1)ten Grades von x sind, welche fr % Werthe dieser Gre, x1 , x2 , . . . , x% ,
der vorstehenden Formel gem bereinstimmen, also identisch sein mssen.

39

Aus dieser Gleichung folgt, wenn man die durch (XIX.) gegebenen Ausdrcke
von (ab ) und (x) substituirt
p
)
(
R(xa )
(ab ) (x) X
1 (x)
(XXII.)
.
=
2 ub
(xa x)(xa ab ) 0 (xa )
P0 (ab )
a
Ferner, wenn man x = a setzt,
(XXIII.)

al(u1 , u2 , . . . , u% )
al(u1 , . . . ) ub
=

Q(ab ) al(u1 , . . . ) al(u1 , . . . )b al(u1 , . . . )b al(u1 , . . . )

,

a ab
P0 (ab )

vorausgesetzt, da von b verschieden sei; oder wenn man, unter der Annahme, da ,
(XXIV.)

al(u1 , . . . ) al(u1 , . . . ) al(u1 , . . . ) al(u1 , . . . )

a a
durch al(u1 , u2 , . . . , u% )

bezeichnet, wo denn, zufolge (XX.)

(XXV.)

p
X( al(u1 , . . . ) al(u1 , . . . ) R(xa ) )
al(u1 , u2 , . . . , u% ) =
(xa a )(xa a ) 0 (xa )

ist, und man

(XXVI.)

al(u1 , u2 , . . . , u% ) = al(u1 , u2 , . . . , u% )

hat:
(XXXVII.)

al(u1 , . . . )
Q(a )
= 0 b al(u1 , . . . )b al(u1 , . . . )b ,
ub
P (ab )
(b )

aus welcher Gleichung, wenn man = a setzt und auf beiden Seiten mit
Q(aa )
P0 (aa )

al(u1 , . . . )a multiplicirt, noch

(XXVIII.)




Q(ab ) 2
Q(aa ) 2
al
(u
,
.
.
.
)

al
(u
,
.
.
.
)
a
b
1
1
P0 (ab )
P0 (aa )
=
ub
ua

40

folgt.
Die in dem Vorstehenden eingefhrten Functionen
al(u1 , . . . ) ,

al(u1 , . . . ) ,

al(u1 , . . . )

knnen (nach den Formeln XVI, XX, XXIV) smmtlich algebraisch durch x1 , x2 ,
. . . , x% ausgedrckt werden; es mssen daher unter ihnen so viele algebraische
Relationen bestehen, als Functionen vorhanden sind, weniger %. Diese sollen in
dem folgenden . entwickelt und zusammengestellt werden.

. 5.
Algebraische Relationen unter den Abelschen Functionen und deren ersten
Differential-Coefficienten.
Es werde der Krze wegen
al(u1 , . . . ) = p

al(u1 , . . . ) = p

al(u1 , . . . ) = p

gesetzt; dann gelten folgende Stze.

I. Durch je % von den Quadraten der Gren p knnen die brigen linear ausgedrckt werden.
Aus der Formel (XVIII.) des vorhergehenden . folgt nmlich, wenn man
x = a setzt, und nicht unter den Zahlen 1 , 2 , . . . , % begriffen ist, mit
Bercksichtigung von (XVI.)
l
R1 (a )

 p2

=1

X(

)
p2
l
.

R01 (a ) a a
= 1 , 2 , . . . , %

II. Eben so knnen durch je % von den Gren

p2 ,

p21 ,

p22 ,

...,

p2(2%+1)

(wo p fortzulassen ist) die brigen linear ausgedrckt werden, vermittelst der For-

41

meln
A0 p2
(a a ) l
R1 (a )

p2

R0 (a )
l R1 (a )

X(

X(

)
l
2
,
p
R01 (a )

a a

)
l
2
=
+

p
a a R01 (a )

)
X( a a
R0 (a )
l
2
+
 0
=
p ,
l R1 (a )
a

a
R
(a
)

1
A0 p2

in denen sich das Summenzeichen auf dieselben Werthe von bezieht wie in (I.), und
sowohl als nicht unter diesen begriffen sein darf.
In Folge der Gleichung
p
(xa ) = R(xa ) (a = 1, 2, . . . , %)
wird die Function R(x) 2 (x) fr x = x1 , x2 , . . . , x% gleich Null, und ist daher
durch (x) theilbar. Setzt man nun
(x) =

p (x) p (x)
x a

so wird der Zhler dieses Ausdruckes fr x = a (zufolge der Formel XVI. des
vorhergehenden .) gleich Null, und es ist somit (x) eine ganze Function
(% 1)ten Grades. Dann hat man
p2 R(x) (x a )2 2 (x)




= p2 R(x) 2 (x) + p (x) 2p (x) p (x) ,
und es ist also der Ausdruck auf der linken Seite dieser Gleichung ebenfalls
durch (x) theilbar, wie auch durch x a , so da man setzen kann
p2

R(x)
(x a ) 2 (x) = (x) (x),
x a

und dann (x) eine ganze Function %ten Grades bedeutet. Nimmt man nun
x = a , vorausgesetzt, so ergiebt sich (zufolge Formel XVI. d. v. .)
(a ) = (a a ) l p2 ,

42

indem
(a ) = l p p
ist. Ferner erhlt man fr x = a
(a ) =

R0 (a )
l

Bemerkt man nun noch, da der Coefficient des hchsten Gliedes von (x)
gleich A0 p2 ist, und man daher
(x)
R1 (x)

A0 p2

(a )

(x a ) R0 1 (a )
X a a
l
2
 0
p
= A0 p +
(x a ) R 1 (a )

hat, so ergeben sich die zu beweisenden Relationen, indem man x = a und

x = a setzt.
III. Aehnliche Relationen finden Statt unter den in der Reihe
p1 p1 ,

p2 p2 ,

...,

p2%+1 p(2%+1)

enthaltenen Producten.
Setzt man nmlich in der Gleichung
(x)
R1 (x)

(a )

(x a )R01 (a )

l p p

(x a )R01 (a )

x = a , so ergiebt sich
l
R1 (a )

p p =

l p p

(a a )R01 (a )

wo hinsichtlich der Zahlen , , dasselbe gilt wie bei der vorhergehenden Nr.
IV. Unter je sechs Functionen p , p , p , p , p , p , wo , , verschiedene
Werthe haben mssen, findet die Relation
(a a )p p + (a a )p p + (a a )p p = 0,

43

oder
p =

(a a )p p (a a )p p
(a a )p

Statt.
Denn es ist (vermge Formel XXIV. des v. .)
(a a )p
p p
(a a )p
p p
(a a )p
p p

=
=

p
,
p p
p
p

p
=
p

p
p

p
p

aus welchen Gleichungen, wenn man sie durch Addition verbindet, die aufgestellte Relation sofort folgt.
V. Endlich ergeben sich noch folgende Gleichungen, in denen
a0

irgend eine der Zahlen % + 1, % + 2, . . . , 2% + 1

bedeuten soll,
pa =

X p

)
X0 ( Q(a ) a a
a
b
b
p p ,
= (aa0 aa )pa0 paa0 +

ub
P0 (ab ) ab aa0 b ab
a

(b a)

)
X0 ( Q(a ) a a 0
pa
a
b
a

p p ,
= (aa0 aa )pa0 paa0 +
ua
P0 (ab ) ab aa0 b ab
b
(b a)

pa0 =

X p

)
X( Q(a )
b
=
p p0 .
ub
P0 (ab ) b a b
a0

Man hat nmlich (Formel XXVII d. v. .)

pa0
Q(a )
= 0 b pb pab
ub
P (ab )

(b a).

44

Hieraus folgt, wenn man = a0 setzt, sofort die dritte der vorstehenden Gleichungen. Aus (VI.) aber folgt, wenn man x = aa0 nimmt und b statt a schreibt,
p2a0

)
X( Q(a )
p2b
b
,
=1

P0 (ab ) aa0 ab
b

und hieraus, wenn man nach ua differentiirt,

pa
X 0 ( Q(a ) p p )
ua
b
pa0 paa0 =

 b ab ,
0
aa0 aa
P (ab ) aa0 ab

(b a),

woraus sich die zweite Gleichung ergiebt, aus der dann weiter die erste folgt.
VI. Von den vorstehenden Relationen mgen nun die folgenden besonders hervorgehoben werden, in denen der Krze wegen
2% + 1

durch

a0 ,

%+a

durch

a0 ,

% + b durch

b0

bezeichnet ist.
(1.)

X( Q(a ) al2 (u , . . . ) )
a
a
1
al2 (u1 , . . . )a0 = 1

0
aa0 aa
P (aa )
a

(2.)

al2 (u1 , . . . )a0

(3.)

(4.)

A0 al2 (u1 , . . . )a0

X( Q(a ) al2 (u , . . . ) )
a
a
1
=1

0
aa0 aa
P (aa )
a

(
)
Q0 (aa0 ) X Q(aa ) 2
=
+
0 (a ) al (u1 , . . . )a0 a
P(aa0 )
P
a
a

(aa0 aa0 ) al2 (u1 , . . . )a0 a0

)
X( aa aa Q(a )
a
0
2
 0
al (u1 , . . . )a0 a
=

0 aa
a
P
(a
)
a
a
a
(
)
0
X
Q (aa0 )
aa0 aa0 Q(aa ) 2
=

 0
al (u1 , . . . )a0 a
0 aa
P(aa0 )
a
P
(a
)
a
a
a
A0 al2 (u1 , . . . )a0

(5.)

45

X( Q(a ) al(u1 , . . . )a al(u1 , . . . )a a0 )

a
0
al(u1 , . . . )a0 al(u1 , . . . )a0 a0 =
0 (a ) 
0
a

a
P
a
a
a
a

(6.)

al(u1 , . . . )a0 al(u1 , . . . )ab

(aa0 ab ) al(u1 , . . . )a al(u1 , . . . )a0 b (aa0 aa ) al(u1 , . . . )b al(u1 , . . . )a0 a
=
aa ab

(7.)

al(u1 , . . . )a0 al(u1 , . . . )a0 b

(aa0 ab ) al(u1 , . . . )a0 al(u1 , . . . )a0 b (aa0 aa0 ) al(u1 , . . . )b al(u1 , . . . )a0 a0
=
aa0 ab

(8.)

al(u1 , . . . )a0 al(u1 , . . . )a0 b0

(aa0 ab0 ) al(u1 , . . . )a0 al(u1 , . . . )a0 b0 (aa0 aa0 ) al(u1 , . . . )b0 al(u1 , . . . )a0 a0

(9.)

aa0 ab0

al(u1 , . . . )a

ub

al(u1 , . . . )a0

ub

al(u1 , . . . )a0

ub

al(u1 , . . . )a

ua

Q(a )
= 0 b al(u1 , . . . )b al(u1 , . . . )ab
P (ab )

(b a)

Q(a )
= 0 b al(u1 , . . . )b al(u1 , . . . )a0 b
P (ab )
Q(a )
= 0 b al(u1 , . . . )b al(u1 , . . . )a0 b
P (ab )
= (aa0 aa ) al(u1 , . . . )a0 al(u1 , . . . )a0 a
)
X0 ( Q(a ) aa aa
0
b


al(u1 , . . . )b al(u1 , . . . )ab .
P0 (ab ) aa0 ab
b

(b a)

Von diesen Gleichungen gehen Nr. (1, 2, 3, 4, 5) aus (I, II, III) hervor, wenn
man in diesen R1 (x) = P(x) setzt; Nr. (6, 7, 8) sind die Relationen (IV.), wenn
man = a0 nimmt, und die unter Nr. (9.) finden sich unter (XXVII.) des v. .
und (V.). Sie stellen, wie man sofort bersieht, so viel Relationen unter den
Functionen al(u1 , . . . ) , al(u1 , . . . ) und den ersten Differential-Coefficienten
von al(u1 , . . . ) dar, als nthig sind, um alle diese Gren algebraisch durch
al(u1 , . . . )1

al(u1 , . . . )2

...

al(u1 , . . . )%

46

(an deren Stelle je % andere der Functionen al(u1 , . . . ) treten knnten) auszudrcken, ohne da in den betreffenden Formeln die Argumente u1 , u2 , . . . ,
u% selbst vorkommen; woraus unmittelbar weiter folgt, da auch die hheren
Differential-Coefficienten der Abelschen Functionen algebraisch durch je % der
letztern ausdrckbar sein werden.
. 6.
Die Abelschen Integral-Functionen.
Das Integral
Z (

)
F(x% ) dx%
F(x1 ) dx1 F(x2 ) dx2
+ + p
+ p
,
p
R(x1 )
R(x2 )
R(x% )

wo F(x) eine beliebige

rationale
Function
p
p von x bedeuten soll, geht, wenn man
p
x1 , x2 , . . . , x% , R(x1 ), R(x2 ), . . . , R(x% ) vermittelst der Formeln des . 4.
durch u1 , u2 , . . . , u% ausdrckt, in eine Function dieser Argumente ber, welche
man eine Abelsche Integral-Function derselben nennen kann, und deren
analytischer Charakter jetzt nher untersucht werden soll.
Man kann, wie weiter unten wird nachgewiesen werden, jede in der
vorstehenden Formel enthaltene Function auf eine einzige zurckfhren, die
mit
Al(u1 , u2 , . . . , u% ) oder krzer Al(u1 , . . . )
bezeichnet werden soll, und durch die folgende Gleichung
(1.)

d Al(u1 , u2 , . . . , u% ) =

R(a) P(xa )
dxa

 p
2 P(a) xa a
R(xa )

X1

definirt wird, mit der nhern Bestimmung, da Al(u1 , . . . ) den Werth Null erhalte, wenn u1 , u2 , . . . , u% smmtlich verschwinden. Die Constante a kann jeden
beliebigen Werth haben, mit Ausnahme von a1 , a2 , . . . , a2%+1 , und auch das
p
Zeichen der Wurzelgre R(a) willkhrlich bestimmt werden. Ist es nthig,
a in die Bezeichnung der erklrten Function mit aufzunehmen, so soll dieselbe
Al(u1 , u2 , . . . , u% ; a) geschrieben werden.
Nimmt man zunchst die Gren u1 , u2 , . . . , u% so klein an, da nicht
nur x1 , x2 , . . . , x% in der Nhe von a1 , a2 , . . . , a% sich befinden, und dieselben
p
p
p
daher, so wie R(x1 ), R(x2 ), . . . , R(x% ) durch die unendlichen Reihen (4, 5)
des . 1. ausgedrckt werden knnen, sondern auch die Differenzen x1 a1 ,

47

x2 a2 , . . . , x% a% dem absoluten Betrage nach kleiner als beziehlich a a1 ,

a a2 , . . . , a a% sind; so erhlt man, indem
P(xa )
xa aa P(xa )
=

xa a
xa a xa aa
und
)
(
 


xa aa xa aa
xa aa 2
xa aa
=
+
+
1+
xa a
aa a
aa a
aa a
(
)


Q(aa )  s2a
Q(aa )
2m
=
1+S
 sa ,
(aa a)P0 (aa )
(a aa )P0 (aa )
m = 1...



dxa
1 P(xa )
 p
= 1 + (a, a)1 s2a + (a, a)2 s4a + dsa
2 xa aa
R(xa )

(. 1.)

ist:
(2.)

p
R(a)
Al(u1 , u2 , . . . , u% ) =
P(a)
p
R(a)
=
P(a)

o
n
 S3 + S5 + + S2m+1 +
n
o
 U3 + U5 + + U2m+1 + ,

wo durch S2m+1 eine homogene ganze Function (2m + 1)ten Grades von s1 , s2 ,
. . . , s% und durch U2m+1 eine eben solche von u1 , u2 , . . . , u% bezeichnet wird.
Die Coefficienten von S2m+1 , U2m+1 werden rational aus a, a1 , a2 , . . . , a% und
den Coefficienten von Q(x) zusammengesetzt; nach fallenden Potenzen von a
entwickelt, fangen S2m+1 , U2m+1 mit Gliedern an, die mit am multiplicirt sind.
Nun aber findet, wenn man jetzt wieder unter
(2)

u0a ,

u00
a,

...,

ua

x0a ,

x00
a,

...,

xa

q
R(x0a ),
M(x),
xa ,

(2)

q
q
(2)
00
R(xa ), . . . ,
R(xa )
(x)
qN(x),
R(xa )

48

dieselben Gren versteht wie in . 2, nach dem Abelschen Theoreme nicht

blo die dort unter (6.) aufgestellte Gleichung Statt, sondern auch die folgende
p
p
)
0
X 1 ( R(a) P(x0 )
R(a) P(x00
dx
dx00
a
a
a)
a
(3.)

+

+
 p
 p
2 P(a) x0a a
P(a) x00
R(x0a )
R(x00
)
a a
a
a
p
(
)
 M(a) P(a) + N(a) pR(a) 
X 1 R(a) P(x )
dxa
a
1
=

 p
+ 2 d log
.
p
2
P(a)
x

a
a
R(x
)
M(a)
P(a)

N(a)
R(a)
a
a
Werden daher

(p)

u1 ,

(p)

u2 ,

...,

(p)

u% ,

wo p irgend eine der Zahlen 1, 2, . . . , 2 bezeichnet, so klein angenommen,

da die Reihen auf der rechten Seite der Gleichung (2.), wenn man darin diese
Gren an die Stelle von u1 , u2 , . . . , u% setzt, convergiren, so hat man
p
)
X( 1 R(a) P(x )
dxa
a
(4.)

 p
2 P(a) xa a
R(xa )
 M(a) P(a) N(a) pR(a) 
0
00
= d Al(u1 , . . . ) + d Al(u1 , . . . ) + + 21 d log
.
p
M(a) P(a) + N(a) R(a)
Jetzt setze man, wie in . 4,
(2)

u0a = u00
a = = ua

ua
,
2

und nehme so gro an, da nicht nur die unendlichen Reihen, welche in den
dortigen Ausdrcken von al(u1 , . . . )1 , al(u1 , . . . )2 u. s. w. und von M(x, u1 , . . . ),


u
N(x, u1 , . . . ) vorkommen, convergent werden, sondern auch die fr Al 1 , . . . ;
2
so verwandeln sich die Gren
p
p
p
x1 , x2 , . . . , x% ,
R(x1 ),
R(x2 ), . . . ,
R(x% )
der Gleichung (4.) in die durch die Gleichungen (III, XI) des genannten .
bestimmten; und es ergiebt sich durch Integration

u% 
u1 u2
(5.) Al(u1 , u2 , . . . , u% ) = 2 Al
, ,...,
2 2
2
 M(a, u , u , . . . , u ) P(a) N(a, u , u , . . . , u ) pR(a) 
%
%
1 2
1 2
+ 12 log
.
p
M(a, u1 , u2 , . . . , u% ) P(a) + N(a, u1 , u2 , . . . , u% ) R(a)

49

Eine Constante ist nach der Integration nicht hinzuzufgen, indem die Function, deren Logarithmus in dieser Gleichung vorkommt, sich auf die Einheit
reducirt, wenn u1 , u2 , . . . u% , smmtlich verschwinden, wie aus den unter (26,
. 2.) gegebenen Ausdrcken von M(x), N(x) zu ersehen ist.
Setzt man


p
u1
M(a, u1 , . . . ) P(a) N(a, u1 , . . . ) R(a) 4 Al 2
,...
e
(6.)
= Al(u1 , u2 , . . . , u% ),
p
M(a, u1 , . . . ) P(a) + N(a, u1 , . . . ) R(a)
so ist
(7.)

Al(u1 , u2 , . . . , u% ) = 12 log Al(u1 , u2 , . . . , u% ),

und es bezeichnet alsdann Al(u1 , u2 , . . . , u% ) eine eindeutige Function von u1 , u2 ,

. . . , u% , welche, wenn fr die absoluten Werthe dieser Vernderlichen irgend
welche Grnzen festgesetzt werden, die sie nicht bersteigen sollen, in der
Form eines Bruches ausdrckbar ist, dessen Zhler und Nenner nach ganzen
positiven Potenzen von u1 , u2 , . . . , u% , in convergirende Reihen sich entwickeln
lassen. Fr hinlnglich kleine Werthe der Argumente hat man
p

(8.)

Al(u1 , u2 , . . . , u% ) = e

2(U3 +U5 ++U2m+1 + )

R(a)
P(a) ,

woraus sich leicht erweisen lt, ganz in derselben Weise, wie dies in . 4. fr
die Functionen (u1 , . . . ) geschehen ist, da der Werth von Al(u1 , u2 , . . . , u% ),
obwohl in dem Ausdrucke dieser Function, wie er durch die Formel (6.) gegeben
ist, die Zahl vorkommt, dennoch von derselben ganz unabhngig ist. Man
hat daher folgenden Satz:
Es giebt eine eindeutige Function Al(u1 , u2 , . . . , u% ) der unbeschrnkt vernderlichen Gren u1 , u2 , . . . , u% , welche der Differential-Gleichung
p
)
X( 1 R(a) P(x )
dx
a
a
1 d log Al(u , u , . . . , u ) =

 p
,
%
1 2
2
2 P0 (a) xa a
R(xa )
p
p
p
in der x1 , x2 , . . . , x% , R(x1 ), R(x2 ), . . . , R(x% ) die durch die Gleichungen (III,
XI) des . 4. bestimmten Functionen von u1 , u2 , . . . , u% sind, gengt und, wenn diese
Vernderlichen smmtlich verschwinden, den Werth 1 annimmt.
Wenn nun F(x) eine beliebige rationale Function von x ist, so kann man
dieselbe stts als ein Aggregat von Gliedern von der Form
A
(x a)m

und

Bxm1

50

darstellen, wo m eine ganze positive Zahl, und A, B, a Constanten bedeuten. Mit

Unterscheidung derjenigen Werthe von a, welche R(a) = 0 machen, von denen,
bei welchen dies nicht der Fall ist, kann man daher als den allgemeinsten
Ausdruck von F(x) den folgenden annehmen

(9.)

F(x) =

X(

Am

)
+

(x a)m

(x a)m

1
2
) X(
)
Bm
Bm
+
+
(x a1 )m
(x a2 )m

m = 1 . . . n1

Xn

Am

m = 1 . . . m2

m = 1 . . . m1

X(

X(

m = 1 . . . n2

Cm xm1 ,
m = 1...n

wo m1 , m2 , . . . , n, n1 , n2 , . . . ganze positive Zahlen (Null ausgeschlossen) und

1
2
1
2
1 2
Am , Am , . . . , Bm , Bm , . . . , Cm , a, a, . . . Constanten bedeuten, und angenommen
1
2
wird, da a, a, . . . nicht zu den Gren a1 , a2 , . . . , a2%+1 , den Wurzeln der
Gleichung R(x) = 0, gehren.
Nun ist
p


R(x)
R(x)
1 R0 (x)
dx
d
(10.)
=
m
p
m
m
m+1
(x a)
2 (x a)
(x + 1)
R(x)
)
X ( r

dx
(r)
m+r1
=
,
m R (a)(x a)
p
2
R(x)
r = 0 . . . (2% + 1)

wenn man

X
R(x) =
R(r) (a)(x a)r
r = 0 . . . 2% + 1

setzt. Da nun R(0) (a) = R(a) ist, so bersieht man aus dieser Formel sofort, da
sich, wenn R(a) nicht Null ist, indem man m = 1, 2, . . . , m 1 setzt,
dx
(11.)
p
(x a)m R(x)


auf die Form

p

G2 (x) R(x)
G0
dx
+ G1 (x) p
+d
xa
(x a)m1
R(x)

51

wird bringen lassen, wo G0 eine Constante, G1 (x) und G2 (x) aber ganze Functionen von x bedeuten, die erste vom (2% 1)ten und die zweite vom (m 2)ten
Grade, wobei man fr m = 1, G0 = 1, G1 (x) = 0, G2 (x) = 0 hat. 
Setzt man aber a = a , so ist R(a) = 0, nicht aber 12 m R(1) (a), und es
erhellt aus der Formel (10.), wenn man jetzt m = 1, 2, . . . , m nimmt, da man
p
G2 (x) R(x)
G1 (x) dx
dx
(12.)
= p
+d
p
(x a )m
(x a )m R(x)
R(x)
erhalten mu, wo G1 (x), G2 (x) wieder ganze Functionen sind, die erste vom
(2% 1)ten und die andere vom (m 1)ten Grade. Namentlich hat man
p


R(x)
R(x)
1 R0 (x) 1 R0 (a )
dx
1 R0 (a ) dx
+

.
(13.)
=
d
p
p
2 (x a ) R(x)
2 x a 2 x a (x a )2
x a
R(x)
Ferner ist

 (m 1)xm2 R(x) + 12 xm1 R0 (x)
p
m1
d x
dx
R(x) =
p
R(x)
oder, wenn man
R(x) =

Ar x2%+1r

r = 0 . . . 2% + 1

setzt,
(14.)



 X 
p
r + 1
dx
m1
2%+mr1
d x
%+m
R(x) =
,
Ar x
p
2
R(x)
r = 0 . . . 2% + 1

und man hat daher

(15.)



p
x2%1+m dx G1 (x) dx
= p
+ d G2 (x) R(x) ,
p
R(x)
R(x)

wo gleichfalls G1 (x), G2 (x) ganze Functionen sind, die erste vom (2% 1)ten und
die andere vom (m 1)ten Grade.
Aus den Formeln (11, 12, 15) folgt nun sofort, da sich
1

F(x) dx
(16.) p
R(x)

auf die Form

G0
1

xa

2% 1

G0
2

xa

dx
p
R(x)

!

G(x)  p
G(x) dx
+ d G0 (x) +
R(x)
+ p
R0 (x)H(x)
R(x)

52

bringen lt, wo G0 , G0 , . . . Constanten,

1

H(x) = (x a)m1 1 (x a)m2 1 . . . ,

R0 (x) = (x a1 )n1 (x a2 )n2 . . . ,
2% 1

und G(x), G(x), G0 (x) ganze Functionen sind, von denen die erste von nicht
hherem als dem (2% 1)ten Grade, die zweite von einem niedrigern als R0 (x)
H(x) ist, und die dritte sich auf Null reducirt, wenn n 5 2%, whrend sie vom
(n 2% 1)ten Grade ist, sobald n > 2%.
Da man ferner
P(x)
P(x) P(a)
dx
dx
dx
=


 p
p
p
(x a) R(x) P(a) (x a) R(x) (x a)P(a)
R(x)
P(x) P(a)
eine ganze Function (% 1)ten Grades ist, und man, wenn
xa
f (x) eine Function (2% 1) Grades bedeutet,

hat, wo

f (x) = f1 (x) P(x) + f2 (x)

setzen kann, wo f1 (x), f2 (x) beide vom (% 1)ten Grade sind, und
f2 (x) =

X f (a ) P(x)
2 b

P0 (ab ) x ab

F(x) dx
ist; so erhellt, da man dem Differential p
auch die Form
R(x)
q
(17.)

q
2
R(a)

R(a) P(x)
F(x) dx
P(x)
dx
dx
= F1

 p
+ F2

 p
+
p
2
2
1
1
R(x)
R(x)
R(x)
2P(a) x a
2P(a) x a
 X

X 1
xb1 P(x) dx
P(x)
1
dx
+
G
+
H
 p
p
2 b
2 b x ab
R(x)
R(x)
b = 1...%

+d

(

G0 (x) +

G(x)
R0 (x) H(x)

b = 1...%

)
p
R(x)

geben kann, wo F 1 , F 2 , . . . , Gb , H b Constanten bedeuten.

53

Nun folgt aus der Gleichung (1.)

(18.)



X( 1 xb1 P(xa ) dxa )
P(a)
a
=
d
Al(u
,
u
,
.
.
.
,
u
)
,
p
p
%
1 2
b
2
a
R(x
)
R(a)
a
a


P(a)
wo p
Al(u1 , . . . )
den Coefficienten von ab in derjenigen Entwicklung
ab
R(a)
der eingeklammerten Gre, welche fr sehr groe Werthe von a gilt, bezeichnet. Aus den Formeln (2, 6) ersieht man, da dieser Coefficient (indem
p
R(a)
N(a, u1 , . . . )

= 0 wird fr a = , und
M(a, u1 , . . . ) P(a)


man daher fr alle Werthe von a, die ihrem absoluten Betrage nach eine gewisse
Grnze bersteigen,
 M(a, u , . . . ) P(a) N(a, u , . . . ) pR(a) 
P(a)
1
1
log
p
p
2 R(a)
M(a, u1 , . . . ) P(a) + N(a, u1 , . . . ) R(a)
(



 )
N(a, u1 , . . . ) 2m+1 Q(a) m
1
= S
2m + 1 M(a, u1 , . . . )
P(a)
m = 0...



hat, so wie auch nach (2.)

 


2 P(a)  u1
u
Al
, . . . = 2 S U a, 1 , . . .
,
p
2m+3
2
2
R(a)
m = 0...

und die in Beziehung auf a rationalen Functionen






N(a, u1 , . . . ) 2m+1 Q(a) m
,
M(a, u1 , . . . )
P(a)



u1
U a, ,
,
2
2m+3

wenn man sie nach fallenden Potenzen von a entwickelt, beide mit einem Gliede
anfangen, welches mit am1 multiplicirt ist) eine eindeutige ungerade Function
von u1 , u2 , . . . , u% ist, welche fr alle Werthe dieser Gren, die ihrem absoluten
Betrage nach beliebig festgesetzte Grnzen nicht berschreiten, als Quotient zweier,
nach ganzen positiven Potenzen derselben entwickelbare Reihen dargestellt werden
kann.

54

Bercksichtigt man ferner, da

X
X

p
f (xa ) R(xa ) =
f (xa )(xa ),
wenn f (x) eine beliebige rationale Function von x ist, rational durch die Coefficienten von (x) und (x) dargestellt werden kann; so ergiebt sich, wenn
man


P(a)
Al(u
,
.
.
.
)
= Al(b) (u1 , u2 , . . . , u% )
(19.)
p
1
b
a
R(x)
setzt, aus (17.)
Z X
F(xa ) dxa
1
2
(20.)
= F 1 Al(u1 , u2 , . . . , u% ; a) + F 2 Al(u1 , u2 , . . . , u% ; a) +
p
R(xa ) X 

+
Gb Al(b) (u1 , u2 , . . . , u% ) + Hb ub


+ F al(u1 , . . . )a , al(u1 , . . . )a ,
wo F eine rationale Function von al(u1 , . . . )1 , al(u1 , . . . )1 u. s. w. bedeutet. Man
sieht also, da in der That, wie oben bemerkt worden, eine jede Abelsche IntegralFunction auf die mit Al(u1 , u2 , . . . , u% ) bezeichnete, zurckgefhrt werden kann.
Es ist in (. 4.) bei Herleitung der dortigen Gleichung (8.) die Formel
p
X (a ) R(xa )
b
0 (xa ) dxa = 2
du ,
(xa ab ) P0 (ab ) b
b

oder

X (a )
dub
1 dxa
b
=

p
0
2 R(xa )
P (ab ) (xa ab ) 0 (xa )
b
P(x )

a
auf beiden Seiten multigefunden worden. Diese Gleichung werde mit
xa a
plicirt, so findet sich, wenn man dann in Beziehung auf a summirt,

X 1 P(x )
X (a )
P(xa ) dub
dxa
a
b

 p
=
.
0
2 xa a
P (ab ) (xa a)(xa ab ) 0 (xa )
R(xa )
a,b
Nun ist aber
X
P(x)
P(a)
P(xa )
=
+
,
(x a) (x) (x a) (a)
(xa a)(xa aa ) 0 (xa )

55

und daher fr x = ab
X

P(xa )
P(a)
=
.
0
(xa a)(xa ab ) (xa )
(a ab ) (a)
a

Mithin

X P(a) (a )
X 1 P(x )
dub
dxa
a
b
 p
=
 0
,

2 xa a
(a) P (ab ) a ab
R(xa )

oder auch, wenn man jetzt auf der rechten Seite a statt b schreibt,
(21.)

X 1 P(x )
X P(a) (aa )
dxa
dua
a
 p
=
 0

2 xa a
(a) P (aa ) a aa
R(xa )
X( Q(a ) al2 (u , . . . ) du )
a
a
a
1
0

a aa
P (aa )
=
.
(
X Q(a ) al2 (u , . . . ) )
a
a
1
1

a aa
P0 (aa )

Hieraus folgt
Q(ab ) 2
al (u1 , . . . )b
Al(u1 , u2 , . . . , u% )
R(a)
P(ab )

.
=
X( Q(a ) al2 (u , . . . ) )
(a ab ) P(a)
ub
a
a
1
1

a aa
P0 (aa )
p

(22.)

Ferner ersieht man aus der Gleichung (21.), da die partiellen DifferentialCoefficienten von Al(1) (u1 , . . . ), Al(2) (u1 , . . . ) u. s. w. rationale und ganze Functionen von al(u1 , . . . )1 , al(u1 , . . . )2 , . . . , al(u1 , . . . )% sind. Namentlich hat man
(23.)

Al(1) (u1 , u2 , . . . , u% )
ua

Q(aa ) 2
al (u1 , u2 , . . . , u% )a ,
P0 (aa )

so da man die Gleichung (III.) des . 4, deren Wurzeln die Gren x1 , x2 , . . . , x%

sind, auch folgendermaen
(24.)

X( Al(1) (u1 , u2 , . . . , u ) )
(x aa ) ua

=1

ausdrcken kann. Auf diese merkwrdige Form der in Rede stehenden Gleichung werde ich spter noch zurckkommen.

56

Zweites Kapitel.
Einige allgemeine Betrachtungen ber die Darstellung
eindeutiger analytischer Functionen durch Reihen;
Digression ber die elliptischen Transcendenten.
. 7.
Die im vorhergehenden Kapitel durchgefhrten Untersuchungen haben hauptschlich den Zweck, fr die Functionen
al(u1 , . . . )

al(u1 , . . . )

Al(u1 , . . . ; a)

Al(a) (u1 , . . . ),

durch welche sich, wie gezeigt worden ist, alle Abelschen Transcendenten ausdrcken lassen, zu einer vllig bestimmten, auf beliebige Werthe von u1 , u2 ,
. . . , u% anwendbare Erklrung zu fhren, und die analytische Form derselben
in so weit festzustellen, als hierfr und zum Behufe der weitern Entwicklungen
erforderlich ist. Die in . 4. und . 6. gegebenen Formeln gengen fr diesen
Zweck zwar vollstndig, nicht aber, wenn verlangt wird, die genannten Gren in einer ihrem wahren analytischen Charakter entsprechenden, fr alle
Werthe der Argumente u1 , u2 , . . . , u% unverndert dieselbe bleibenden Form
darzustellen. Diese bleibt vielmehr noch zu ermitteln.
Der Umstand, da die unendlichen Reihen, welche in den Formeln (IV,
XIII, . 4) und (6, . 6) vorkommen, fr um so grere Werthe von u1 , u2 , . . . , u%
convergent bleiben, je grer man die Zahl annimmt, begrndet die Vermuthung, es werde sich jede derselben, wenn = gesetzt wird, in eine fr alle
Werthe der genannten Vernderlichen convergirende Reihe verwandeln, und
sich auf diese Weise eine Darstellung der in Rede stehenden Functionen in der
gesuchten Form ergeben. Es drfte vielleicht mglich sein, durch eine genauere Untersuchung jener Reihen die Richtigkeit dieser Vermuthung strenge zu
erweisen; ich gehe jedoch hierauf nicht ein, weil man, wenn es auch gelnge,
dadurch noch nicht dahin kommen wrde, fr jede einzelne der beiden Functionen, als deren Quotient alsdann irgend eine Abelsche Function sich darstellen
liee, eine analytische Definition zu gewinnen. Es tritt uns hier vielmehr eine
Aufgabe entgegen, welche, so viel ich wei, noch nicht allgemein behandelt
worden, und doch fr die Theorie der Functionen von besonderer Wichtigkeit
ist.
Die einfachsten transcendenten Functionen sind solche, welche sich nach
ganzen positiven Potenzen ihrer Argumente in bestndig convergirende Reihen
entwickeln lassen und somit im Wesentlichen den Charakter der ganzen rationalen Functionen besitzen. Nach ihnen kommen diejenigen, welche aus mehreren

57

dieser Art in rationaler Weise zusammengesetzt und daher als Quotienten aus
zweien dargestellt werden knnen. Man kann sie als transcendente Gren
vom Charakter der gebrochenen rationalen Functionen bezeichnen.
Oftmals aber ist eine Function in der Art definirt und so verhlt es sich,
der vorhergehenden Darstellung nach, mit den Abelschen da zwar die Mglichkeit gegeben ist, sobald jedes ihrer Argumente auf einen endlichen, brigens
beliebig gro anzunehmenden Bereich beschrnkt wird, dieselbe in der Gestalt
eines Bruches, dessen Zhler und Nenner nach ganzen positiven Potenzen der
Argumente entwickelte Reihen sind, auszudrcken, whrend eine stts gltig
bleibende Darstellungsform noch unbekannt ist. Angenommen nun, es sei eine derartige Function durch eine (algebraische) Differential-Gleichung definirt,
(oder auch im Vereine mit andern durch mehrere solche), so kann man untersuchen, ob sie vielleicht zu den gebrochenen rationalen, in dem eben erklrten
Sinne, gehre. Hierfr aber reichen die gewhnlichen Entwicklungs-Methoden
nicht aus. Es handelt sich dann darum, zu entscheiden, ob man, nachdem in
die gegebene Differential-Gleichung statt der gesuchten Function ein Bruch,
dessen Zhler und Nenner noch zu bestimmende Gren sind, eingefhrt worden, dieselbe in zwei andere, aus denen sie wieder folgt, so zerfllt werden
knne, da die genannten Gren beide den Charakter einer ganzen Function
erhalten. Dazu kann man in vielen Fllen mit Hlfe eines allgemeinen Satzes
gelangen, der verdient, bei dieser Gelegenheit entwickelt zu werden.
Wenn f (u) eine Function von u ist, welche durch eine nur ganze positive Potenzen dieser Vernderlichen enthaltende und bestndig convergirende
Reihe dargestellt werden kann, so wird der Differential-Quotient
log f (u)

,
u
wo eine ganze positive Zahl bezeichnet, nur fr solche Werthe von u unendlich
gro, bei denen f (u) verschwindet. Es sei a einer dieser Werthe, so kann man
setzen
f (a + k) = gkm + g1 km+1 + ,
wo m eine ganze positive Zahl bedeutet und g nicht Null ist, und hat also
g1
log f (a + k) = m log k + log g + k + ,
g
wo die nicht hingeschriebenen Glieder nur positive ganze Potenzen von k enthalten; woraus folgt
 log f (u) 
log k {Glieder mit nur positiven
=m
+
ganzen Potenzen von k},
u
k
u=a+k

58

welche Reihe convergirt, sobald der absolute Betrag von k kleiner ist als eine
gewisse Gre, auf deren nhere Bestimmung es nicht ankommt. Dieselbe
Darstellung gilt aber auch fr jeden andern Werth von a; nur ist dann m = 0.
Dieser Satz lt sich nun in folgender Weise umkehren.
T h e o r e m.
Wenn eine eindeutige Function F(u) der unbeschrnkt vernderlichen Gre u die
Eigenschaft besitzt, da
F(a + k),
wo a irgend einen besondern Werth von u, k aber eine Vernderliche bezeichnet, fr
hinlnglich kleine Werthe der letztern in eine convergirende Reihe von der Form
m

log k
k

+ S hm km ,
m = 0...

wo m entweder Null oder eine ganze positive Zahl bedeuten soll, entwickelbar ist; so
lt sich eine b e s t n d i g convergirende Reihe
f0 u + f1 u+1 + + fm u+m + = f (u),
in der den zu a = 0 gehrigen Werth von m bezeichnet, dergestalt bestimmen, da
log f (u)
u

= F(u)

ist. Und zwar erhlt man den allgemeinsten Ausdruck von f (u), indem man, unter der
Voraussetzung, da fr hinlnglich kleine Werthe von u
F(u) =

log u
u

+ S F m um

m = 0...

gefunden sei, die Formel

n

F u+m

m
S
+C0 +C1 u++C1 u1
u e (m + 1) . . . (m + )
,

in der C0 , C1 , . . . , C1 willkhrliche Constanten bezeichnen, nach Potenzen von u

entwickelt, wenn auch die dabei gebrauchte Reihe
)
(
F m u+m
S
(m + 1) . . . (m + )
nicht fr alle Werthe von u convergirt.

59

B e w e i s.
Es seien a1 , a2 , . . . , a unter den Werthen von u, fr welche F(u) unendlich gro
wird, diejenigen, die ihrem absoluten Betrage nach kleiner als eine beliebig
angenommene Gre U sind, den Werth Null, wenn er auch zu denselben
gehrt, ausgeschlossen. Es ist leicht zu erweisen, da es nur eine endliche
Anzahl solcher Werthe geben kann. Denn sonst mte sich in dem angegebenen
Bereiche von u wenigstens ein Werth a finden, in dessen Nhe eine unbegrnzte
Menge derselben vorhanden wre. Dann aber liee sich F(a + k), wie klein
auch k angenommen werde, nicht nach ganzen Potenzen dieser Gre in eine
convergirende Reihe entwickeln, die, wie doch vorausgesetzt wird, nur eine
endliche Zahl Glieder mit negativen Potenzen von k enthlt. Bezeichnet man
nun mit m1 , m2 , . . . , m die zu a1 , a2 , . . . , a gehrigen Werthe der Zahl m in
den Entwicklungen von
F(a1 + k),
und setzt
u

F(a2 + k),

...,

F(a + k),



 

u m
u m2
u m1
1
1
= (u),
1
a1
a2
a

so hat man nach dem oben Bemerkten

 log (u) 
u

=m

u=a+k

log k
k

+ {Glieder mit ganzen positiven Potenzen von k},

wo m = , m1 , m2 , . . . , m ist fr a = 0, a1 , a2 , . . . , a , und Null fr jeden andern

Werth von a. Setzt man daher
F(u)

log (u)
u

= F 1 (u),

so ist F 1 (a + k) bei jedem Werthe von a, dessen absoluter Betrag kleiner als U
ist, in eine nur ganze positive Potenzen von k enthaltende Reihe entwickelbar.
Daraus folgt, da F 1 (u), so lange der absolute Betrag von u unterhalb der
genannten Grnze bleibt, stts einen endlichen Werth hat und sich continuirlich
F (u)

(so wie von den hhern Differentialmit u ndert. Dasselbe gilt von 1
u
Coefficienten dieser Function). Nach einem Cauchyschen Satze lt sich daher
F 1 (u) fr alle jene Werthe von u durch eine convergirende Reihe
S Ga um
m = 0...

60

darstellen. Wird daher

f1 (u) = (u) e

Gm u+m
(m + 1) (m + )

gesetzt, so ist f1 (u) in eine, jedenfalls fr dieselben Werthe von u convergirende

Reihe von der Form
1
f1 (u) = u + S f m u+m
m = 0...

entwickelbar, ) und man hat

log f1 (u)
u

log (u)

+ F 1 (u) = F(u).

Nun kann man aber, wenn u dem absoluten Betrage nach kleiner als jede der
Gren a1 , a2 , . . . , a ist, F(u) durch eine convergirende Reihe

log u
u

+ S F m um

ausdrcken, wo Null oder eine ganze positive Zahl ist. Nimmt man daher fr
f (u) die aus der Entwicklung des Ausdrucks
o
n
+m
S

u e

Fm u
(m + 1) (m + )

+C0 +C1 u++C1 u1

hervorgehende Reihe, so convergirt dieselbe sicher bei den eben genannten

Werthen von u, und man hat fr dieselben
log f (u)
u
und mithin auch

log f (u)
u

= F(u),

log f1 (u)
u

woraus durch Integration

log f (u) = log f1 (u) + C00 + C01 u + + C01 u1 ,
0

f (u) = f1 (u)  eC0 +C1 u++C1 u

) S. die Stze des . 7. der Abhandlung ber die Facultten.

61

folgt, wo C00 , C01 , . . . , C01 gleich C0 , C1 , . . . , C1 Constanten sind, und aus

den fr f (u) und f1 (u) aufgestellten Ausdrcken sofort erhellt, da man, wenn


(u)
log = c1 u + c2 u2 +
u
ist,
C00 + C01 u + + C01 u1 = C0 + C1 u + + C1 u1 c1 u c1 u1
hat. Der Exponential-Factor in dem vorstehenden Ausdrucke von f (u) lt sich
aber nach Potenzen von u in eine bestndig convergirende Reihe entwickeln;
folglich mu auch das Product aus derselben und der Reihe fr f1 (u), das heit
die mit f (u) bezeichnete Reihe convergiren, sobald der absolute Werth von u
kleiner als U ist. Aber U kann beliebig gro angenommen werden, whrend
die Coefficienten von f (u) stts dieselben bleiben, welchen Werth auch U haben
mge. Mithin mu die Reihe fr f (u) eine bestndig convergirende sein, wenn
auch die bei der Bildung ihrer Coefficienten gebrauchte
F m u+m
S
(m + 1) . . . (m + )
(

es nicht ist.
Zugleich sieht man aus der vorhergehenden Darstellung, da die aufgestellte Formel den allgemeinsten Ausdruck der Function f (u) liefert. Denn
gesetzt, es sei f0 (u) irgend eine andere, welche auch der Differential-Gleichung
log f0 (u)
= F(u)
u
gengt, so mu, wie gezeigt,
f0 (u) = f (u) e(u)
sein, wo (u) eine ganze Function ( 1)ten Grades bedeutet, wonach f0 (u) in
dem fr f (u) gegebenen Ausdrucke mit einbegriffen ist.
A n m e r k u n g. Htte die Function F(u) nicht fr alle Werthe von u,
sondern nur fr alle dem absoluten Betrage nach unterhalb einer gewissen
Grnze liegenden, die angegebenen Eigenschaften; so folgt aus dem vorstehenden Beweise, da die auf die angezeigte Weise gebildete Reihe f (u) jedenfalls fr

62

die bezeichneten Werthe von u convergent sein und der Differential-Gleichung

f (u)
u

= F(u) gengen wrde.

Der bewiesene Satz kann nun, wenn zwischen zwei vernderlichen Gren x und u eine algebraische Differential-Gleichung besteht, dazu gebraucht
werden, um zu entscheiden, ob sich wirklich x als eine Function von u, die
den Charakter einer ganzen oder gebrochenen rationalen hat, betrachten lasse, und um, wenn das Letztere der Fall ist, zur Bestimmung des Zhlers und
des Nenners zwei Differential-Gleichungen zu ermitteln. Denn immer wird sich
aus der gegebenen Differential-Gleichung fr irgend einen ten DifferentialCoefficienten von log x ein Ausdruck von der Form


log x
x
1 x
= F u, x,
, ...,
u
u
u1
x

herleiten lassen, wo F eine rationale Function von x,

u. s. w. bezeichnen soll,
u
deren Coefficienten Constanten oder eindeutige analytische Functionen von u
sind. Wenn nun x in der Gestalt
f1 (u)
,
f2 (u)
wo unter f1 (u), f2 (u) zwei nach ganzen positiven Potenzen von u in bestndig
convergirende Reihen entwickelbare Functionen zu verstehen sind, darstellbar
sein soll, so mu, indem dann
log x

log f2 (u)
u
u
u
ist, F sich auf die Form F 1 F 2 in der Art bringen lassen, da F 1 , F 2 Functionen von der in dem aufgestellten Satze beschriebenen Art sind. Gelingt es
nun, F in dieser Weise umzuformen, wo denn im Allgemeinen F 1 , F 2 Funcx

1 x

log f1 (u)

tionen von u, x, , . . . , 1 sein werden, und der Nachweis, da sie die in

u
u
Rede stehende Beschaffenheit haben, mit Hlfe dessen, was hinsichtlich des
zwischen x und u bestehenden Abhngigkeits-Verhltnisses aus der gegebenen
Differential-Gleichung folgt, oder sonst bekannt ist, geliefert werden mu; so
kann man
log f1 (u)
log f2 (u)
= F1,
= F2
u
u
setzen, und dann, indem man fr x diejenige Entwicklung nach Potenzen von
u sucht, welche fr hinlnglich kleine Werthe von u gilt, und hierauf die entsprechenden Entwicklungen von F 1 , F 2 ausfhrt, die Reihen fr f1 (u), f2 (u)

63

f1 (u)

in der beschriebenen Weise bilden oder man kann auch, in F 1 , F 2

statt
f2 (u)
x einfhrend, aus den so sich ergebenden Gleichungen die Coefficienten der
gesuchten Reihen, deren Form und bestndige Convergenz ja bereits vor ihrer
Entwicklung feststeht, nach irgend einer passenden Methode ableiten; worauf
man bei gehriger Constanten-Bestimmung x =

f1 (u)
f2 (u)

haben wird.

Wenn man im Stande ist, von der Gre x vor ihrer Entwicklung nachzuweisen, da sie eine eindeutige Function von u ist, welche sich fr alle in der
Nhe eines beliebigen besondern Werthes a liegenden Werthe dieses Arguments
durch eine convergirende Reihe von der Form
A0 (u a) + A1 (u a)+1 + A2 (u a)+2 + ,
wo eine ganze (positive oder negative) Zahl bedeutet, ausdrcken lt; so
gengt es, F als die Differenz zweier andern hnlich gebildeten Ausdrcke F 1 ,
F 2 darzustellen, von denen sich zeigen lt, da der erste nur fr solche Werthe
von x unendlich gro werde, bei denen x = 0, der andere nur fr diejenigen, bei
denen x = wird und man kann berzeugt sein, da die aus den Gleichungen
log f1 (u)

= F1

log f2 (u)

= F2
u
u
auf die beschriebene Weise fr f1 (u), f2 (u) sich ergebenden Reihen bestndig convergent
sein werden.
Denn bei der angenommenen Beschaffenheit von x hat man fr jeden
Werth von a
 log x 
log k {Glieder mit nur ganzen
= m
+
positiven Potenzen von k}
u u=a+k
k
= F 1 (a + k) F 2 (a + k),
wo m eine ganze positive Zahl ist, wenn fr u = a, x = 0 oder = wird, und
das obere Zeichen im ersten, das untere im andern Falle gilt, whrend man
m = 0 fr jeden andern Werth von a hat. Ferner geben F 1 , F 2 , wenn man in
denselben u = a + k setzt und nach Potenzen von k entwickelt, Reihen mit nur
ganzen Potenzen von k, wobei jedoch, da F 1 und F 2 fr keinen Werth von u
beide unendlich gro werden, niemals in beiden zugleich negative Potenzen
von k vorkommen knnen. Daher folgt aus der vorstehenden Gleichung, wenn
F 1 (a) = ist, (indem man mit (k) eine Reihe von der Form h0 + h1 k + h2 k2 +
andeutet)
log k
F 1 (a + k) = m
+ (k), F 2 (a + k) = (k);
k

64

und wenn F 2 (a) = ,

log k

+ (k),
k
whrend man fr jeden andern Werth von a
F 2 (a + k) = m

F 1 (a + k) = (k),

F 1 (k) = (k),

F 2 (a + k) = (k)

hat. Es besitzen also F 1 (u), F 2 (u) die bei dem entwickelten Satze fr die Function
F(u) vorausgesetzte Beschaffenheit.
Wenn sich nur nachweisen liee, da man x fr alle Werthe von u, die
dem absoluten Betrage nach unterhalb einer gewissen Grnze liegen, als eine
Function dieser Vernderlichen von der angegebenen Beschaffenheit anzusehen
habe; so wrde man, in der beschriebenen Weise verfahrend, zu einer jedenfalls
fr alle jene Werthe von u geltenden Darstellung von x gelangen.
Sind fr mehrere Functionen x1 , x2 , . . . von u eben so viele algebraische
Differential-Gleichungen gegeben, so kann man bei deren Entwicklung in ganz
hnlicher Weise verfahren. Auch ist es mglich, in dem Falle, wo es sich um
Functionen von mehr als einem Argumente handelt, die Untersuchung auf den
hier betrachteten zurckzufhren, wie dies an dem Beispiel der Abelschen
Functionen wird gezeigt werden. Ich halte es jedoch fr zweckmig, zuvor
die Fruchtbarkeit des im Vorhergehenden entwickelten Princips fr die Darstellung der eindeutigen Functionen in seiner Anwendung auf die elliptischen
Transcendenten klar zu machen.
. 8.
Zur Theorie der elliptischen Functionen.
Die in (. 1 4.) behandelten Differential-Gleichungen reduciren sich fr % = 1
auf eine einzige, und zwar, wenn man in diesem Falle u, x statt u1 , x1 schreibt,
und
1
A0 =
a3 a1
nimmt, so da man
(1.)

R(x) =

(x a1 )(x a2 )(x a3 )
(x a2 )(x a3 )
, P(x) = x a1 , Q(x) =
a3 a1
a3 a1

hat, auf die folgende

(2.)

du =

1 dx
.
p
2 R(x)

65

Nach den Schluformeln des . 4. kann man, bei der Annahme, da x = a1

werde fr u = 0, die erstere Gre in der Form
x = a1 + (a2 a1 ) al2 (u)1

(3.)

ausdrcken, wo al(u)1 eine eindeutige Function des unbeschrnkt vernderlichen Arguments u bezeichnet, wobei dann
p
al(u)1
R(x) = (a2 a1 ) al(u)1
u

(4.)

zu nehmen ist, und man ferner

a x = (a2 a1 ) al2 (u)2 , a3 x = (a3 a1 ) al2 (u)3 ,

2
(5.)
a a2 2

2
2

al2 (u)3 = 1 3
al (u)1
al (u)2 = 1 al (u)1 ,
a3 a1
hat, wo al(u)2 , al(u)3 Functionen derselben Art wie al(u)1 sind. Fr hinlnglich
kleine Werthe von u haben al(u)1 , al(u)2 , al(u)3 die Form

al(u)1 = u + f1 u3 + f2 u5 + + fm u2m1 +

(6.)
al(u)2 = 1 + g1 u2 + g2 u4 + + gm u2m +

al(u) = 1 + h u2 + h u4 + + hm u2m + ,
3
2
1
wo die Coefficienten der unendlichen Reihen rational aus a1 , a2 , a3 (welche
Gren beliebige complexe Werthe haben knnen) zusammengesetzt werden.
Und wenn man fr den absoluten Betrag von u irgend eine beliebig anzunehmende Grnze, die er nicht berschreiten soll, festsetzt, so kann man al(u)1 ,
al(u)2 , al(u)3 in der Form

u + F 1 u3 + + F m u2m1 +

al(u)1 =

1 + E1 u2 + + Em u2m +

1 + G1 u2 + + Gm u2m +

(7.)
al(u)
=

1 + E1 u2 + + Em u2m +

1 + H 1 u2 + + H m u2m +

al(u)
=

1 + E1 u2 + + Em u2m +
ausdrcken, wo die unendlichen Reihen
u + F 1 u3 + ,

1 + G1 u2 + ,

1 + H 1 u2 + ,

1 + E1 u2 + ,

66

deren Coefficienten gleichfalls rational aus a1 , a2 , a3 zusammengesetzt werden,

fr alle Werthe von u innerhalb des auf die angegebene Weise begrnzten
Bereiches convergiren.
Dieses vorausgesetzt werde die Gleichung (2.) auf die Form

(8.)


dx 2
= 4R(x)
du

gebracht, so folgt
d2 x
= 2R0 (x),
2
du

(9.)

(x a1 ) d2 x dx dx

(10.)

2(x a1 )2 du2

R0 (x)
2R(x)

.
x a1 (x a1 )2

Aber
R0 (a1 )
R0 (x)
=
+ R00 (a1 ) + 12 R000 (a1 )(x a1 )
x a1
x a1

2R0 (a1 )
2R(x)
=
R00 (a1 ) 13 R000 (a1 )(x a1 ),
x a1
(x a1 )2

und daher, indem R000 (a1 ) =

(11.)

6
ist,
a3 a1

x a1
R0 (a1 )
1 d2 log(x a1 )

=
.
2
a3 a1 x a1
du2

Nimmt man a2 , a3 statt a1 , so erhlt man ebenso

(12.)

x a1
x a2
R0 (a2 )
R0 (a2 ) a2 a1
1 d2 log(x a2 )
=

,
2
a3 a1 x a2
a3 a1 x a2 a3 a1
du2

(13.)

x a1
x a3
R0 (a3 )
R0 (a3 )
1 d2 log(x a3 )
=

1.
2
a3 a1 x a3
a3 a1 x a3
du2

Fhrt man nun in diese Gleichungen al(u)1 , al(u)2 , al(u)3 ein, und setzt
(14.)

a2 a1
= k2 ,
a3 a1

a3 a2
= 1 k2 ,
a3 a1

67

so finden sich, indem

R0 (a1 ) = a2 a1 ,

R0 (a2 ) =

(a2 a1 )(a2 a3 )
= (a2 a1 )(1 k2 ),
a3 a1

R0 (a3 ) = (a3 a2 ) = (a3 a1 )(1 k2 )

ist, die folgenden
(15.)

(16.)

(17.)

d2 log al(u)1
du2
d2 log al(u)2
du2
d2 log al(u)3
du2

= k2 al2 (u)1
=

k2 al2 (u)1

= k2 al2 (u)1 +

1
al2 (u)1
1 k2
al2 (u)2
1 k2
al2 (u)3

=
k2

al2 (u)1
al2 (u)3

1 =

al2 (u)2
k2 al2 (u)2
al2 (u)3



k2 al2 (u)1 ,


k2 al2 (u)1 ,


k2 al2 (u)1 .

Indem nun
1

= wird nur fr solche Werthe von u, die al2 (u)1 = 0 machen,

2
al (u)1
und
k2 al2 (u)1 =

u, die al2 (u)1 =

so kann man, nach dem im vorhergehenden . bewiesenen Lehrsatze, zwei

Functionen Al(u), Al(u)1 , die sich nach ganzen positiven Potenzen von u in bestndig
convergirende Reihen entwickeln lassen, bestimmen, welche die Gleichungen
d2 log Al(u)

(18.)

du2

= k2 al2 (u)1

d2 log Al(u)1

(19.)

du2

befriedigen. Ebenso giebt es, weil



k2 al2 (u)1 = k2 al2 (u)2 1 =

1
al2 (u)1

wird nur fr solche Werthe von u,

fr die al2 (u)2 = ist,

1 k2
al2 (u)2

k2 =

wird nur fr solche Werthe von u,

fr die al2 (u)2 = 0 ist,

68

und
k2 al2 (u)1 = al2 (u)3 1 =
fr die
1 k2
al2 (u)3

1=

wird nur fr solche Werthe von u,

al2 (u)3

= ist,

wird nur fr solche Werthe von u,

fr die al2 (u)3 = 0 ist,

noch zwei Functionen Al(u)2 , Al(u)3 von derselben Art wie Al(u), Al(u)1 , welche
den Gleichungen

(20.)

(21.)

d2 log Al(u)2
du2
d2 log Al(u)3
du2

=
=

1 k2
al2 (u)2
1 k2
al2 (u)3

k2 =
1 =

al2 (u)3
al2 (u)2
k2 al2 (u)2
al2 (u)3

gengen. Um dieselben darzustellen hat man die Functionen auf der rechten
Seite dieser 4 Differential-Gleichungen nach Potenzen von u in Reihen zu entwickeln, die bei hinlnglich kleinen Werthen von u convergiren, wodurch man,
nach den Formeln (6.),

(22.)

1
1

= + S P0m u2m ,
k2 al2 (u)1 = S Pm u2m+2 ,

u2
al (u)1

1 k2
1 k2

2 = S P00 u2m ,
2m

k
1 = S P000

m
mu

2
2

al (u)2
m = 0 . . . al (u)3

erhlt; und kann dann fr Al(u), Al(u)1 , Al(u)2 , Al(u)3 die aus der Entwicklung
der Ausdrcke

(23.)

n P0 u2m+2 o
n P u2m+4 o
m
m

S
S

(2m + 3)(2m + 4) , ue
(2m + 1)(2m + 2)

n P000 u2m+2 o
n P00 u2m+2 o

S
S (2m +m1)(2m + 2)
e
, e (2m + 1)(2m + 2)

69

hervorgehenden Reihen nehmen. Dann ist

d2 log al(u)1 d2 log Al(u)1 d2 log Al(u)

2
2

du
du
du2

d2 log al(u)2 d2 log Al(u)2 d2 log Al(u)

(24.)

2
2

du
du
du2

d2 log al(u)3 d2 log Al(u)3 d2 log Al(u)

du2
du2
du2
aus welchen Gleichungen man, mit Bercksichtigung des Umstandes, da in
den Entwicklungen von
Al(u)1
,
Al(u)

Al(u)2
,
Al(u)

Al(u)2
Al(u)

nach Potenzen von u die Coefficienten von u0 und u1 dieselben sein mssen
wie in den Reihen (6) fr al(u)1 , al(u)2 , al(u)3 ,
(25.)

al(u)1 =

Al(u)1
Al(u)

al(u)2 =

Al(u)2
Al(u)

al(u)3 =

Al(u)3
Al(u)

erhlt. Man sieht also, da man fr al(u)1 , al(u)2 , al(u)3 , sobald nur feststeht, da
sie eindeutige analytische Functionen von u, in dem oben angegebenen Sinne, sind,
unmittelbar aus den Differential-Gleichungen, durch welche sie definirt werden, zu
Darstellungen gelangen kann, die fr alle Werthe von u ihre Gltigkeit behalten.
Fhrt man die gefundenen Ausdrcke von al(u)1 , al(u)2 , al(u)3 in die
Gleichungen (18 21) ein, so verwandeln sich dieselben in die folgenden:

d Al(u) d Al(u)
d2 Al(u)


+ k2 Al2 (u)1 = 0
Al(u)

du
du
du

d2 Al(u)1 d Al(u)1 d Al(u)1


+ Al2 (u) = 0
Al(u)1

du
du
du

(26.)

d2 Al(u)2 d Al(u)2 d Al(u)2

Al(u)


+ Al2 (u)3 = 0
2

2
du
du

du

d2 Al(u)3 d Al(u)3 d Al(u)3

Al(u)3


+ k2 Al2 (u)2 = 0,
du
du
du2
wobei zu bemerken ist, da in Folge der Relationen (5.)
(27.)

Al2 (u)2 = Al2 (u) Al2 (u)1 ,

Al2 (u)3 = Al2 (u) k2 Al2 (u)1

70

ist. Bercksichtigt man nun, da die Reihen fr Al(u) u. s. w. nach den Formeln (23.) die Gestalt

(28.)

Al(u) = 1 + A2 u4 + + Am u2m +
Al(u)1 = u + B1 u3 + + Bm u2m+1 +
Al(u)2 = 1 + C1 u2 + + Cm u2m +
Al(u)3 = 1 + D1 u2 + + Dm u2m +

haben, so ist ersichtlich, da die Gleichungen (26.) zur Bestimmung der Coefficienten dieser Reihen hinreichen, und da dieselben ganze Functionen von k2
mit rationalen Zahl-Coefficienten sind.
Aus den Gleichungen (1 5) folgt noch, wenn man
r
al(u)1 =

x a1
=
a2 a1

setzt,
(29.)

al(u)2 =

1 2 ,

al(u)3 =

p
1 k 2 2

und

(30.)

d al(u)1

= al(u)2 al(u)3

du

d al(u)2

= al(u)1 al(u)3

du

d al(u)3

= k2 al(u)1 al(u)2

du

du = p
.
p

1 2 1 k2 2

Es sind also
al(u)1

al(u)2

al(u)3

die von Jacobi mit

sin am u

cos am u

am u,

71

und von Gudermann mit

sn u

cn u

dn u

bezeichneten elliptischen Functionen. Nach der vorstehenden Darstellung ist

man im Stande, nicht nur gleich im Eingange der Theorie von denselben eine
allgemeine, gleichmig auf alle reellen und imaginren Werthe des Arguments wie des Moduls sich erstreckende Definition zu geben, sondern sie auch
sofort wirklich zu entwickeln, und zwar in einer stts gltig bleibenden und
den wahren analytischen Charakter dieser Gren klar hervortreten lassenden
Form. Dadurch ist aber fr die weitere Theorie derselben eine sichere Grundlage gewonnen, und namentlich die Schwierigkeit beseitigt, welche bei dem
gewhnlichen Verfahren, wenn man sin am u vermittelst der Gleichung
Z sin am u
d
u=
p
p
0
1 2 1 k 2 2
definirt, aus der Vieldeutigkeit eines Integrals von dieser Form entspringt. Nachdem nmlich sin am u als eine eindeutige Function von u erkannt ist, hlt es nicht
schwer, den richtigen Sinn, in welchem die vorstehende Gleichung aufzufassen ist, festzustellen. Hierauf gehe ich aber hier nicht nher ein, indem dieser
Gegenstand weiter unten fr die Abelschen Functionen berhaupt zur Sprache kommen mu. Dagegen mge schon jetzt erwhnt werden, da von den
Functionen Al(u) u. s. w. aus ein directer Weg zu den Jacobischen Functionen
fhrt, sowie berhaupt zu allen Darstellungen der elliptischen Transcendenten,
die auf deren periodischem Verhalten beruhen.
Bei den Entwicklungen dieses . habe ich, mit Rcksicht darauf, da
sie vorbereitend fr die folgenden sein sollen, die fr die Abelschen Functionen berhaupt gewonnenen und aus dem Abelschen Theoreme hervorgehenden Ergebnisse der bisherigen Untersuchungen vorausgesetzt. Es beruht
aber die Anwendbarkeit des im vorhergehenden . begrndeten EntwicklungsVerfahrens auf die Differential-Gleichung
du =

1 dx
p
2 R(x)

wesentlich nur darauf, da vorher Zweierlei festgestellt sein mu. Zunchst ist
zu zeigen, da sich fr hinlnglich kleine Werthe von u
r
r
r
x a1
a3 x
a2 x
,
,
a2 a1
a2 a1
a3 a1

72

in Reihen von der unter (6.) aufgestellten Gestalt entwickeln lassen, und dann
mu die Mglichkeit nachgewiesen werden, Ausdrcke von der Form
p
,
s

q
,
s

r
s

in denen p, q, r, s hnlich gestaltete, fr alle Werthe von u, die ihrem absoluten Betrage nach eine willkhrlich angenommene Grnze nicht bersteigen,
convergirende Reihen sein sollen, in der Art zu bestimmen, da sie nach Potenzen von u entwickelt in jene drei Reihen bergehen. Denn dies reicht hin,
um die Existenz
p eindeutiger analytischer Functionen al(u)1 , al(u)2 , al(u)3 , durch
welche x und R(x) in der durch die Formeln (3, 4, 5) angegebenen Weise ausgedrckt werden knnen, zu erweisen. Beides lt sich nun in der That durch bloe
Betrachtung der aufgestellten Differential-Gleichung in aller Strenge bewerkstelligen;
und man kann daher, unmittelbar von dieser Gleichung aus, ohne irgend eine andere Eigenschaft der elliptischen Functionen als bekannt vorauszusetzen, und blo mit
Hlfe allgemeiner Entwicklungs-Principien, zu der hier gegebenen Darstellung dieser
Transcendenten gelangen. Ich kann jedoch dieses, wie es mir scheint, wichtige
Ergebni hier nicht nher begrnden, gedenke aber spter darauf zurckzukommen, wenn es mir, was bisher noch nicht vollstndig der Fall war, gelingen
sollte, fr die Abelschen Functionen aller Ordnungen ein hnliches Resultat zu
erhalten. Es mge aber, da man bei den elliptischen Functionen so mancherlei
Methoden versucht hat, erlaubt sein, bei dieser Gelegenheit noch ein anderes
Verfahren anzudeuten, welches ich in einer bereits im Jahre 1840 verfaten
Prfungsarbeit zur Entwicklung derselben angewandt habe, und das mir so
einfach und elementar zu sein scheint, als man nur wnschen kann.
. 9.
Fortsetzung.
Ausgehend von den Differential-Gleichungen
d
= ,
du

(1.)

d
= ,
du

d
= k2 ,
du

welche, wenn man noch hinzufgt, da fr u = 0, = 0, = 1, = 1 sein sollen,

zu den folgenden
(2.)

du = p

d
,
p
1 2 1 k 2 2

p
1 2 = ,

p
1 k 2 2 =

73

fhren, kann man , , zunchst in der Form gewhnlicher Potenzreihen

(3.) = u + f1 u3 + , = 1 + g1 u2 + , = 1 + h1 u2 + (S. Gl. 6 d. v. .)
entwickeln, deren Coefficienten ganze Functionen von k2 sind. Es ist leicht
nachzuweisen, da dieselben fr alle Werthe von u, deren absoluter Betrag
unter einer gewissen Gre U, deren genauere Kenntni nicht erforderlich
ist, bleibt, unbedingt convergiren. Beschrnkt man nun u zunchst auf diese
Werthe, so stellen die Reihen eindeutige Functionen von u dar, die jetzt nach
Gudermann mit
sn u
cn u
dn u
bezeichnet werden mgen.
Nun hat man die Formeln herzuleiten, vermittelst welcher, wenn
u=v+w
ist,
sn u, cn u, dn u durch

sn v, cn v, dn v, sn w, cn w, dn w

ausgedrckt werden knnen, nmlich

sn v cn w dn w + cn v dn v sn w

sn u =

1 k2 sn2 v sn2 w

cn u = cn v cn w sn v dn v sn w dn w

1 k2 sn2 v sn2 w

dn v dn w k2 sn v cn v sn w cn w

dn u =
,
1 k2 sn2 v sn2 w

(4.)

wobei vorlufig u, v, w alle drei dem absoluten Betrage nach kleiner als U
vorauszusetzen sind. Aus denselben bersieht man sofort, auch ohne die Rechnung auszufhren, da man, wenn m eine ganze positive Zahl bedeutet, sn u,
u
u
u
, cn
, dn
ausdrcken kann, in der Form
cn u, dn u rational durch sn
m

Q
R
dn u = ,
S
S
u
u
u
wo P, Q, R, S ganze Functionen von sn
, cn
und dn
bedeuten. Man
sn u =

(5.)

P
S

cn u =

kann ferner leicht nachweisen, da S und auch P2 , Q2 , R2 ganze Functionen

u
von sn2
sind, und da sie, als solche betrachtet, keinen gemeinschaftlichen
m

74

Factor haben. (S. Abel, Prcis etc. . 4, und Gudermann, Theor. d, Modular-F.
. 149.) Aus den Gleichungen

d sn u
d cn u
d dn u

= cn u dn u,
= sn u dn u,
= k2 sn u cn u

du
du
du
(6.)

sn2 u + cn2 u = 1, k2 sn2 u + dn2 u = 1

leitet man sodann die Ausdrcke fr

d2 log sn u

u. s. w. ab (s. Gl. 15, 16, 17 d. v.

du2
.), und fhrt in dieselben P, Q, R, S ein, wodurch man

(7.)

d2 log P
du2

S2
P2

d2 log Q
du2

R2

Q2

d2 log R
du2

k2 Q2
R2

d2 log S
du2

k2 P2
S2

erhlt. Setzt man

d2 log P
du2

P1
P2

d2 log Q
du2

Q1
Q2

d2 log R
du2

R1
R2

d2 log S
du2

S
= 1 ,
S2

u
!2
d sn2
u
m
, indem S,
so ist zunchst S1 eine ganze Function von sn2
,
m
du2
u
d2 sn2
m
, solche sind, und dann zeigen die vorstehenden Gleichungen (7.),
2
du
d2 log P d2 log Q d2 log R
da
,
,
rationale, und daher P1 , Q1 , R1 ganze Functiodu2   du2
du2
u
sind. Die Gleichungen
nen von sn2
m

P 1 + S2
P2

Q1 + R2
Q2

R1 + k2 Q2
R2

S1 + k 2 P 2
S2

lehren dann, indem P2 , Q2 , R2 , S2 keinen gemeinschaftlichen Factor haben,

da in diesen Ausdrcken die Zhler durch
 u  die Nenner theilbar sind, und der
2
Quotient eine ganze Function von sn
ist. Die Kenntni des letztern ist
m
nicht unumgnglich erforderlich; man findet aber, wenn man den Grad von
P2 und von S2 bestimmt und dann von den Entwicklungen der Ausdrcke
1 d2 log P2 S2 1 d2 log S2 k2 P2
+
+
nach steigenden und fallenden Potenzen
,
2
du2
S2
P2 2 du2

75

u
blo die Anfangsglieder mit einander vergleicht, da derselbe
von sn2
m
u
ist. Man hat daher
k2 sn2
m

(8.)

d log P

du2

d2 log Q

du2

d2 log R

du2

d log S

du2

 
1
u
2
2
+
k sn
=0
2
m
sn u
 
dn2 u
u
2
2
+
k sn
=0
2
m
cn u
 
k2 cn2 u
u
2
2
+
k sn
=0
2
m
cn u
 
u
2
2
2
2
+ k sn u k sn
= 0.
m

Bildet man nun, ganz so wie im vorhergehenden ., die 4 Functionen Al(u),

Al(u)1 , Al(u)2 , Al(u)3 , so da man
2

d log Al(u)
d2 log Al(u)1

1
2 sn2 u = 0,

= 0,
+
k
+

2
2

du
du
sn2 u

(9.)

d2 log Al(u)2
d2 log Al(u)3 k2 cn2 u
dn2 u

+
= 0,
+
=0

du2
cn2 u
du2
dn2 u
hat, so geben die Gleichungen (8.)

(10.)

d2 log P

du2

d2 log Q

du2

d2 log R

du2

d2 log S

du2

d2 log Al(u)1
du2

d2 log Al(u)2
du2

d2 log Al(u)3
du2

d2 log Al(u)
du2

m2

m2

m2

m2

u
d2 log Al
m

du2
u
d2 log Al
m

du2
u
d2 log Al
m

du2
u
d2 log Al
m

du2

Hieraus aber folgt, mit Rcksicht auf die ersten Glieder in den Reihen-Entwick-

76

lungen der vorkommenden Gren,

 

mm u  P

Al(u
)
=
Al

(11.)

 

mm

R
Al(u3 ) = Al
m

 
u
Q
m
 
u
mm
Al(u) = Al
S
m

Al(u2 ) = Almm

und somit (gem 5)

(12.)

(13.)

sn u =

Al(u)1
Al(u)

cn u =

Al(u)2
Al(u)

dn u =

Al(u)3
.
Al(u)



Al(u)1
Al(u)2 Al(u)3

=
du
d

Al(u)
Al(u) Al(u)




d Al(u)2 = Al(u)1 Al(u)3 du

Al(u)
Al(u) Al(u)




k2 Al(u)1 Al(u)2
Al(u)3

du.
=
d
Al(u)
Al(u) Al(u)

Alle diese Gleichungen sind zunchst nur unter der Voraussetzung erwiesen, da u dem absoluten Betrage nach kleiner als U sei, weil ja nur fr
solche Werthe des Arguments die Functionen sn u, cn u, dn u bis jetzt definirt
u
u
u
sind. Aber P, Q, R, S sind ganze Functionen von sn
, cn
, dn
, und
m
m
m
knnen daher nach Potenzen von u in Reihen entwickelt werden, welche convergiren, sobald der absolute Werth von u kleiner als mU ist. Fr die Werthe,
die dem absoluten Betrage nach kleiner als U sind, convergirt ferner auch die
Reihe, welche aus der fr (k2 sn2 u) durch zweimalige Integration hervorgeht,
und die in dem Ausdrucke von Al(u), der im vorhergehenden . unter Nr. (23.)
gegeben ist, den Exponenten von e bildet. Da nun die Exponential-Reihe eine
bestndig convergirende ist, so mu die fr Al(u) hervorgehende Reihe jedenu
, und somit
falls fr die genannten Werthe von u convergiren. Die fr Al
m
u
auch die fr Almm
mu es also, sobald der absolute Betrag von u kleiner
m
als mU ist, und die Gleichungen (11.) lehren sodann, da die Reihen fr Al(u)1 ,
Al(u)2 , Al(u)3 , Al(u) ebenfalls fr diese Werthe von u noch convergent sind. Daraus folgt unmittelbar, da diese letzteren Reihen bestndig convergiren mssen,
indem einerseits mU beliebig gro gemacht werden kann, und anderseits die
Coefficienten der genannten Reihen in keinerlei Weise von m abhngen. Nach

77

der in . 4. in Betreff der dort mit F(u1 , . . . ), G(u1 , . . . ), F 0 (u1 , . . . ), G0 (u1 , . . . )

bezeichneten Functionen gemachten Bemerkung gelten daher die Gleichungen (13.) jetzt fr alle Werthe von u; und wenn man nunmehr sn u, cn u, dn u
allgemein durch die Gleichungen (12.) definirt, so gengen dieselben nicht nur
den Differential-Gleichungen
d dn u
= k2 sn u cn u,
du

sondern es haben fr dieselben, die fr hinlnglich kleine Werthe von u in Folge

der Gleichungen (11, 5) mit den ursprnglich so bezeichneten und durch die
Reihen (3.) dargestellten bereinstimmen, auch alle brigen im Vorhergehenden
entwickelten Gleichungen (namentlich Nr. 4, 6, 9) unbedingte Gltigkeit.
Verfhrt man auf die im Vorstehenden angegebene Weise, so braucht
man, um zur Entwicklung der elliptischen Functionen zu gelangen, nur einige
wenige, auf die Convergenz der gewhnlichen Potenz-Reihen sich beziehenden und sehr einfach zu erweisenden Stze vorauszusetzen. (S. die mehrfach
angefhrte Abhandlung ber die Facultten, . 7.) Dagegen sind die Formeln,
u
u
u
welche sn u, cn u, dn u durch sn
, cn
, dn
, auszudrcken lehren, etm
m
m
was genauer zu untersuchen, als sich dies bei den analogen, fr die Abelschen
Functionen geltenden fglich ausfhren lt. Aus diesem Grunde suchte ich
die Ableitung der Functionen Al(u) u. s. w. aus den ursprnglichen-DifferentialGleichungen von aller speciell auf den betrachteten Einzelfall sich beziehenden
Rechnung mglichst frei zu machen, und kam so auf die im vorhergehenden
. befolgte Methode, deren allgemeinere Anwendbarkeit sich deutlich genug
herausstellt.
d sn u
= cn u dn u,
du

d cn u
= sn u dn u,
du

. 10.
Fortsetzung.
Die Bestimmung der Coefficienten in den Reihen-Entwicklungen von Al(u)
u. s. w. mit Hlfe der Gleichungen (. 7, 26 oder 22, 23) ist zwar ausfhrbar,
aber beschwerlich. Obgleich man nun wohl niemals zur numerischen Berechnung
einer elliptischen Function sich dieser Reihen bedienen wird, so ist es doch
nicht ohne Interesse, da es zur wirklichen Darstellung derselben noch einen
andern, die Rechnung ungemein erleichternden Weg giebt. Jacobi hat nmlich
zur Bestimmung der im vorhergehenden . mit P, Q, R, S bezeichneten Gren
u
eine lineare Differential-Gleichung gegeben, in der dieselben auer nach sn
m
oder u, auch noch in Beziehung auf den Modul k differentiirt erscheinen. Da

78

nun die angefhrten Ausdrcke fr m = , nach den Formeln (11.) des v. .,

in Al(u)1 , Al(u)2 , Al(u)3 , Al(u) bergehen, so mu es auch hnliche partielle
Differential-Gleichungen fr diese Functionen geben. Man kann dieselben in
einfacher Weise aus den obigen Gleichungen (18 21.) herleiten, und sie dann
selbst wieder benutzen, um die erwhnten Gleichungen Jacobis aus den unter
Nr. 8. des v. . aufgestellten herzuleiten (so wie auch die analogen, welche zur
Bestimmung der Zhler und des Nenners in den Transformations-Formeln dienen und ebenfalls von Jacobi ohne Beweis mitgetheilt sind). Auch dieses habe
ich in der erwhnten Arbeit ausgefhrt; ich begnge mich aber hier, nur die Ableitung der fr Al(u) u. s. w. geltenden partiellen Differential-Gleichungen selbst
zu geben, und zwar aus dem Grunde, weil das Verfahren, gegebene DifferentialGleichungen nach einer darin vorkommenden Constanten zu differentiiren, und durch
Combinationen der so erhaltenen mit den ursprnglichen andere Gleichungen zu ermitteln, welche fr die Reihen-Entwicklung der zu bestimmenden Gren eine geeignetere
Form haben, einer weitern Anwendbarkeit fhig sein drfte.
Es werde
Al(u)1 = p,

Al(u)2 = q,

Al(u)3 = r,

Al(u) = s,

Al(u)1
=
Al(u)

gesetzt, so hat man (. 8, 30)


(1.)

2
= (1 2 )(1 k2 2 ) = 1 (1 + k2 ) 2 + k2 4 ,
= (1 + k2 ) + 2k2 3 .
2
u
u

Differentiirt man jetzt diese Gleichung, indem man , sowie p, q, r, s als Functionen von u und k betrachtet, in Beziehung auf k, so erhlt man


2

= (1 + k2 ) + 2k2 3
k2 (1 2 ),
u u k
k
2
2



= k2 (1 2 ),
u u k k u2



:


1
1
k2
k u
=
=
1 .
k 1 k2 2
u
1 k 2 2
Nach (. 8, 17) hat man aber, indem al2 (u)3 = 1 k2 2 ist,
2 log s
1 2 log(1 k2 2 )
1 k2
1 k2
2
2
=k +
1=
+
1,
2
u2
1 k2 2
u2
1 k2 2

79

oder
1 k2
=
1 k 2 2

 log s
u


log(1 k2 2 )
+ 21
+u
u
.
u

Multiplicirt man daher die zweitvorhergehende Gleichung noch mit k(1 k2 ),

und integrirt in Beziehung auf u, so kommt
k(1 k2 )

log s 1 log(1 k2 2 )

:
=

k2 u,
2
k u
u
u

multiplicirt, indem
u

oder wenn man mit

 2
1 log(1 k2 2 )
k2


=
= k2 (1 2 )
2
2
2
u
u 1 k u
ist,
k(1 k2 )

(2.)


log s 

= k2 (1 2 ) k2 u +
.
k
u u

Diese Gleichung multiplicire man mit 4k2 , so folgt, weil (. 8, 18)

2 log s

(3.)

u2

+ k2 2 = 0,

und daher
2k2

3 log s

2k2 ,
=
k
u2 k

2k2

3 log s

=
u
u3

ist,
2k(1 k2 )

3 log s
u2 k

+ 2k2 u

3 log s
u3

+2

log s 3 log s

+ 4k2 2 4k4 4 = 0,
u
u3

80

oder da


2 k2 u log s

3 log s
2 log s
u
2k2 u
=2
4k2
u3
u2
u2
 log s 2
2

 2 log s 2
log s 3 log s
u
2
=
2

u
u3
u2
u2
 log s 2
2 
u
2k4 4
=
2
u
ist,
(
 log s 2 )

log
s

log
s
2 2k(1 k2 )
+ 2k2 u
+
k
u
u
u2

+ 4k2 (1 + k2 )2 6k4 4 = 0.

Aber
4 log s
u4

2k2

u2

2k2


2
= 2k2 + 4k2 (1 + k2 ) 2 6k4 4 ,
u

und man kann daher die vorstehende Gleichung zweimal in Beziehung auf u
integriren, wodurch man
2 log s
u2

+ 2k(1 k2 )

log s
log s  log s 2
+ 2k2 u
+
+ k2 u2 = 0
k
u
u

erhlt. Durch Betrachtung der ersten Glieder in der Reihen-Entwicklung von

s berzeugt man sich, da bei keiner dieser Integrationen eine Constante hinzuzufgen ist. Multiplicirt man nun die vorstehende Gleichung noch mit s, so
ergiebt sich die folgende lineare partielle Differential-Gleichung fr s
s
s
2 s
+ 2k2 u
+ 2k(1 k2 ) + k2 us = 0.
u
k
u2
p
Setzt man nun in (2.) = , so ergiebt sich
s
(4.)

p
p
s
s

s
p
p
p
p3
1 s u
u
k
k
2
2
2
2
k(1 k )
+ k u+ 
k +k
= 0,
s u
s
s2
s2
s3
s

81

oder wenn man mit 2ps3 multiplicirt,




p 
p
s
s
2
2
2
2
2
2
+ 2k(1 k )
sp 2k u
+ 2k(1 k )
ps 2k u
u
k
u
k
 2
p s
s
2
+ 2ps

2p
2k2 p2 s2 + 2k2 p4 = 0.
u u
u
Aus der Gleichung (1.) aber folgt
 p 2
 2
p s
s
2
2
s
+p
2ps

= s4 (1 + k2 )p2 s2 + k2 p4 ,
u
u
u u
und man erhlt daher, wenn man vermittelst dieser Gleichung aus der vorher
 p
s

eliminirt,
gehenden das Glied 2p
u u


 p 2
p
p
2
2
2
2
2
ps 2k u
+ 2k(1 k ) + (1 k )p + s
s4
u
k
u
 2

p 
s
s
2
2
2
2
+ 2k(1 k )
+p
k2 p4 .
= sp 2k u
u
k
u
 p 2
 2
2 p
2 s
s
2
Aber (. 8, 26)
=p
=s
+s ,
+ k2 p2 ; daher verwandelt sich
u
u
u2
u2
die vorstehende Gleichung in die folgende:

 2 p
p
2
2
+ 2k(1 k )p
+ 2k u
s
u
u2
 2

s
s
s
2
2
=p
+ 2k u
+ 2k(1 k )
,
u
u
u2
woraus wegen der 4ten
(5.)

2 p
u2

+ 2k2 u

p
p
+ 2k(1 k2 ) + (1 k2 + k2 u2 )p = 0
u
k

folgt. Ferner hat man (. 8, 27) s2 = p2 + q2 , woraus sich

p
q
p
q
s
s
=p
+q , s =p +q ,
u
u
u
k
k
k
 2
2 p  p 2
2 q  q 2
s
2 s
s
+
=p
+
+q
+
u
u
u
u2
u2
u2

82

findet, und da, wenn man in der dritten dieser Gleichungen

 p 2
u

=p

2 p
u2

+ s2 ,

 q 2

=q

2 q

+ r2 = q

u
u2
 2
s
2 s
+ k2 p2
=s
2
u
u

2 q
u2

+ s2 k2 p2 ,

setzt, sich
2 p
2 q
2 s
2
2
=p
+ (1 k )p + q
+ q2
s
2
2
2
u
u
u
ergiebt,
 2

s
s
s
2
2
2
2
s
+ 2k u
+ 2k(1 k ) + k u s
u
k
u2
=p

 2 p

p
+ 2k2 u

p
+ 2k(1 k2 )

+ (1 k2

u
k
u2

 2 q
q
q
2
2
2
2
+ 2k(1 k ) + (1 + k u )q ;
+q
+ 2k u
u
k
u2

woraus mit Rcksicht auf (4, 5)

2 q

(6.)

u2

+ 2k2 u

q
q
+ 2k(1 k2 ) + (1 + k2 u2 )q = 0
u
k

folgt.
Endlich ist
s2 = k2 p2 + r2
p
p
s
r
s
r
= k2 p
+r ,
s = k2 p + r + kp2
u
u
u
k
k
k
 2
 p 2
 2
2 p
2 s
s
2 r
r
s
+
= k2 p
+ k2
+r
+
,
u
u
u
u2
u2
u2
s

+ k2 u2 )p

83

oder weil


 p 2
 2

2 p
r
s 2
2 s
2 r
2
2
2
+k p ,
+s ,
+ k2 s2 k2 p2 ,
=s
=p
=r
2
2
2
u
u
u
u
u
u
 2

s
s
s
s
+ 2k2 u
+ 2k(1 k2 ) + k2 u2 s
u
k
u2
 2 p

p
p
+ 2k2 u
= k2 p
+ 2k(1 k2 ) + (1 k2 + k2 u2 )p
u
k
u2
 2

r
r
r
2
2
2
2
2
+r
+ 2k u
+ 2k(1 k ) + (k + k u )r ,
u
k
u2

woraus
(7.)

r
r
2 r
+ 2k2 u
+ 2k(1 k2 ) + (k2 + k2 u2 )r = 0
u
k
u2

folgt. Mit Hlfe dieser Gleichungen (4 7), die hier nun noch einmal zusammengestellt werden mgen:

(8.)

Al(u)

u2

2 Al(u)1

u2

2 Al(u)2

u2

2 Al(u)

2
u

+ 2k2 u

Al(u)
Al(u)
+ 2k(1 k2 )
+ k2 u2 Al(u) = 0
u
k

+ 2k2 u

Al(u)1
Al(u)1
+ 2k(1 k2 )
+ (1 k2 + k2 u2 ) Al(u)1 = 0
u
k

+ 2k2 u

Al(u)2
Al(u)2
+ 2k(1 k2 )
+ (1 + k2 u2 ) Al(u)2 = 0
u
k

+ 2k2 u

Al(u)3
Al(u)3
+ 2k(1 k2 )
+ (k2 + k2 u2 ) Al(u)3 = 0
u
k

lassen sich nunmehr die Reihen fr Al(u), Al(u)1 , Al(u)2 , Al(u)3 ohne Mhe
entwickeln, wobei man noch mit Vortheil die leicht zu erweisenden Relationen


1
1

=
k
Al(u,
k)
Al
ku,
= Al(u, k)3
Al
ku,

k 1
k 2

(9.)






Al ku, 1 = Al(u, k)2 Al ku, 1 = Al(u, k)

k 3

benutzen kann. Die Resultate der leicht auszufhrenden Rechnung sind folgende.

84

Es seien m, n ganze Zahlen, die unabhngig von einander alle Werthe

von 0 bis + zu durchlaufen haben, so ist

(10.)

(
)

u2m+2n+4

m+n
2m+2

Al(u) = 1 S (1)
am,n k


(2m + 2n + 4)!

(
)

2m+2n+1

Al(u)1 =
S (1)m+n bm,n k2m 

(2m + 2n + 1)!

(
)

u2m+2n+2

m+n
2m

Al(u)2 = 1 S (1)
cm,n k 

(2m + 2n + 2)!

)
(

u2m+2n+2

m+n
2n+2

.
cm,n k


Al(u)3 = 1 S (1)
(2m + 2n + 2)!

In diesen Formeln ist mit n! das Product (1  2 n) bezeichnet, und

am,n

bm,n

cm,n

sind ganze Zahlen, welche vermittelst der folgenden Recursions-Formeln zu

berechnen sind:

am,n = (4m + 4)am,n1 + (2n + 4)am1,n (2m + 2n + 1)(2m + 2n + 2)am1,n1

bm,n = (4m + 1)bm,n1 + (2n + 1)bm1,n (2m + 2n 2)(2m + 2n 1)bm1,n1

(11.)

cm,n = (4m + 1)cm,n1 + (4n + 4)cm1,n (2m + 2n 1)(2m + 2n)cm1,n1 .

Beim Gebrauche dieser Formeln hat man
a0,0 = 2,

b0,0 = 1,

c0,0 = 1,

c1,0 = 2,

c0,1 = 1

zu setzen, so wie jedem Coefficienten, bei dem einer der Indices negativ wird,
den Werth Null beizulegen. Ferner mu in der ersten m + n > 0, eben so in der
zweiten, und in der dritten m + n > 1 sein. Auch ist
am,n = an,m

bm,n = bn,m .

Da es ntzlich sein kann, die Reihen fr Al(u) u. s. w. in einer Anzahl von

Gliedern wirklich dargestellt zu haben, so mgen hier noch fr die 10 ersten
Coefficienten derselben die vollstndig berechneten Ausdrcke Platz finden.


Al(u) = 1 A2

85

u4
u6
u2m
+ A3 + (1)m1 Am

4!
6!
(2m)!

A2 = 2 k2
A3 = 8(k2 + k4 )
A4 = 32(k2 + k6 ) + 68 k4
A5 = 128(k2 + k8 ) + 480(k4 + k6 )
A6 = 512(k2 + k10 ) + 3008(k4 + k8 ) + 5400 k6
A7 = 2048(k2 + k12 ) + 17408(k4 + k10 ) + 49568(k6 + k8 )
A8 = 8192(k2 + k14 ) + 95232(k4 + k12 ) + 395520(k6 + k10 ) + 603376 k8
A9 = 32768(k2 + k16 ) + 499712(k4 + k14 ) + 2853888(k6 + k12 ) + 5668096(k8 + k10 )
A10 = 131072(k2 + k18 ) + 2539520(k4 + k16 ) + 19097600(k6 + k14 )
+ 38153728(k8 + k12 ) + 42090784 k10
u. s. w.
Al(u)1 = u B1

u5
u2m+1
u3
+ B2 + (1)m Bm

3!
5!
(2m + 1)!

B1 = 1 + k2
B2 = 1 + k4 + 4 k2
B3 = 1 + k6 + 9(k2 + k4 )
B4 = 1 + k8 + 16(k2 + k6 ) 6 k4
B5 = 1 + k10 + 25(k2 + k8 ) 494(k4 + k6 )
B6 = 1 + k12 + 36(k2 + k10 ) 5781(k4 + k8 ) 12184 k6
B7 = 1 + k14 + 49(k2 + k12 ) 55173(k4 + k10 ) 179605(k6 + k8 )
B8 = 1 + k16 + 64(k2 + k14 ) 502892(k4 + k12 ) 2279488(k6 + k10 ) 3547930 k8
B9 = 1 + k18 + 81(k2 + k16 ) 4537500(k4 + k14 ) 27198588(k6 + k12 )
59331498(k8 + k10 )
B10 = 1 + k20 + 100(k2 + k18 ) 40856715(k4 + k16 ) 313180080(k6 + k14 )
909015270(k8 + k12 ) 1278530856 k10
u. s. w.


Al(u)2 = 1 C1

86

u2
u4
u2m
+ C2 + (1)m Cm

2!
4!
(2m)!

C1 = 1
C 2 = 1 + 2 k2
C 3 = 1 + 6 k2 + 8 k4
C4 = 1 + 12 k2 + 60 k4 + 32 k6
C5 = 1 + 20 k2 + 348 k4 + 448 k6 + 128 k8
C6 = 1 + 30 k2 + 2372 k4 + 4600 k6 + 2880 k8 + 512 k10
C7 = 1 + 42 k2 + 19308 k4 + 51816 k6 + 45024 k8 + 16896 k10 + 2048 k12
C8 = 1 + 56 k2 + 169320 k4 + 628064 k6 + 757264 k8 + 370944 k10 + 93184 k12 + 8192 k14
C9 = 1 + 72 k2 + 1515368 k4 + 7594592 k6 + 12998928 k8 + 9100288 k10
+ 2725888 k12 + 491520 k14 + 32768 k16
C10 = 1 + 90 k2 + 13623480 k4 + 89348080 k6 + 211064400 k8 + 219361824 k10
+ 100242944 k12 + 18450432 k14 + 2506752 k16 + 131072 k18
u. s. w.
Al(u)3 = 1 D1

u4
u2m
u2
+ D2 + (1)m Dm

2!
4!
(2m)!

D1 = k2
D2 = 2 k2 + k4
D3 = 8 k2 + 6 k4 + k6
D4 = 32 k2 + 60 k4 + 12 k6 + k8
D5 = 128 k2 + 448 k4 + 348 k6 + 20 k8 + k10
D6 = 512 k2 + 2880 k4 + 4600 k6 + 2372 k8 + 30 k10 + k12
D7 = 2048 k2 + 16896 k4 + 45024 k6 + 51816 k8 + 19308 k10 + 42 k12 + k14
D8 = 8192 k2 + 93184 k4 + 370944 k6 + 757264 k8 + 628064 k10 + 169320 k12 + 56 k14 + k16
D9 = 32768 k2 + 491520 k4 + 2725888 k6 + 9100288 k8 + 12998928 k10
+ 7594592 k12 + 1515368 k14 + 72 k16 + k18
D10 = 131072 k2 + 2506752 k4 + 18450432 k6 + 100242944 k8 + 219361824 k10
+ 211064400 k12 + 89348080 k14 + 13623480 k16 + 90 k18 + k20
u. s. w.

Ordnet man diese Ausdrcke von Al(u) u. s. w. nach Potenzen von k,

87

so erscheinen die Coefficienten als unendliche Reihen, die sich aber summiren
lassen.
. 11.
Uebergang zu den Jacobischen Reihen.
Nunmehr mge gezeigt werden, wie man von den Functionen Al(u), Al(u)1 ,
Al(u)2 , Al(u)3 aus zu den unendlichen Reihen gelangen kann, durch welche
Jacobi die elliptischen Functionen auszudrcken gelehrt hat. Dabei nehme ich
jedoch an, da der absolute Betrag des Moduls k kleiner als Eins sei, was erlaubt
ist, weil man vermittelst der Formeln




1
1
= Al(u, k)
Al ku,
= Al(u, k)3
Al ku,
k
k 2




1
1
Al ku,
= k Al(u, k)1
Al ku,
= Al(u, k)2
k 1

k 3

jede der 4 genannten Functionen, wenn der absolute Betrag des Moduls die
Einheit bersteigt, auf eine andere zurckfhren kann, bei welcher derselbe
kleiner als 1 ist.
Es werde nun, unter dieser Voraussetzung,
Z 1
(1.)

d
= K,
p
p
0
1 2 1 k2 2

1
k

Z
1

d
= K0
p
2 1 1 k2 2

gesetzt, wobei, um diesen Integralen eine ganz bestimmte Bedeutung

p zu geben,
festgestellt werden mge, es solle bei beiden Integrationen fr 1 k2 2 der
durch die Reihe
1
1 4 4
13 6 6
1 k 2 2
k
k
2
24
246
gegebene Werth dieser Wurzelgre, und bei der ersten
p
1
1 4
13 6
1 2 = 1 2

,
2
24
246
so wie bei der zweiten
p
1
1 5
13 7
2 1 = 3


2
24
246

88

genommen werden. Dann erhlt man, wenn man die Reihe





 2
1  3 (2n 1) 2 2n
13 2 4
1 2
k +
k + +
k +
1+
2
24
2  4 2n

mit K,

und die Summe ihrer (n + 1) ersten Glieder

 2




1  3 (2n 1) 2 2n
1 2
13 2 4
1+
k +
k + +
k
2
24
2  4 2n

mit Kn

bezeichnet,

K
K
=

 

2
4
2

(K K1 )
(K K2 ) ,
(K 1)
K = K log
k
34
56

(2.)

und es ergeben sich die folgenden Gleichungen

sn(K) = 1

sn(K iK0 ) = 1

(3.)

dn(K) = k0

cn(K) = 0
cn(K iK0 ) =

k0 i
k

dn(K iK0 ) = 0,

in denen
k0 =

(4.)

1
1 4
1 k2 = 1 k2
k
2
24

ist.
Die Herleitung derselben, so wie auch die Entwicklung der Reihen fr K
und
mu bei dem hier eingeschlagenen Wege, die Theorie der elliptischen
Functionen zu begrnden, in einer etwas andern als der gewhnlichen Weise
geschehen. Doch gehe ich hierauf nicht nher ein, sondern verweise auf das
folgende Kapitel, wo man alles, was hier zu bemerken wre, in den daselbst
anzustellenden allgemeinern Untersuchungen gehrig errtert finden wird.
Die Formeln fr sn(u v), cn(u v), dn(u v) fhren sodann, wenn man
K0 ,

89

v = K, und v = K iK0 setzt, zu den Relationen

(5.)

(6.)

sn(u + K) =

cn(u + K) =

dn(u + K) =

cn u
dn u

sn(u K) =

k0 sn u
dn u

cn(u K) =

k0 sn u
dn u

k0
dn u

dn(u K) =

k0
dn u

dn u

sn(u + K iK0 ) =

k cn u

0) = k i

cn(u
+
K

iK

k cn u

ik0 sn u

dn(u + K iK0 ) =
cn u

cn u
dn u

sn(u K + iK0 ) =

dn u
k cn u

cn(u K + iK0 ) =

k0 i
k cn u

dn(u K + iK0 ) =

ik0 sn u
.
cn u

Und wenn man in diesen letztern Formeln u K, sowie auch u + K fr u setzt,

so erhlt man

1
1

sn(u iK0 ) =
sn(u + iK0 ) =

k sn u
k sn u

i dn u
i dn u

(7.)
cn(u + iK0 ) =
cn(u iK0 ) =

sn u
sn u

i cn u
i cn u

dn(u + iK0 ) =
dn(u iK0 )=
.
sn u
sn u
Aus (5, 7) folgt nun

(8.)

sn(u + K) = sn(u K)

cn(u + K) = cn(u K)

dn(u + K) = dn(u K)

sn(u + iK0 ) =

sn(u iK0 )

cn(u + iK0 ) = cn(u iK0 )

dn(u + iK0 ) = dn(u iK0 )

und hieraus, indem man u + K und u + iK0 fr u setzt,

(9.)

sn(u + 2K) = sn u

cn(u + 2K) = cn u

dn(u + 2K) = dn u

sn(u + 2iK0 ) =

sn u

cn(u + 2iK0 ) = cn u
dn(u + 2iK0 ) = dn u.

90

Diese Gleichungen fhren endlich zu den folgenden allgemeinern, in denen m,

n beliebige ganze Zahlen bedeuten:

sn(u + 2mK + 2niK0 ) = (1)m sn u

(10.)
cn(u + 2mK + 2niK0 ) = (1)m+n cn u

dn(u + 2mK + 2niK0 ) = (1)n dn u.

Man hat ferner, wenn man
d Al(u)
du
d

(11.)

mit Al0 (u) bezeichnet,

Al0 (u)
= k2 sn2 u du,
Al(u)

oder wenn
= sn u,
d

(12.)

Al0 (u)
k2 2 d
= p
.
p
Al(u)
1 2 1 k 2 2

Wird daher
Z 1
(13.)

k2 2 d
= J,
p
p
0
1 2 1 k 2 2

1
k

Z
0

k2 2 d
= J0 ,
p
p
2 1 1 k 2 2

gesetzt, mit der Bestimmung, da bei jeder dieser Integrationen und die Wurzelgren dieselben Werthe durchlaufen sollen, wie bei der entsprechenden,
durch welche man bezieht. K oder K0 findet; so ergiebt sich
(14.)

Al0 (K)
= J
Al(K)

Al0 (K iK0 )
= J + iJ0 .
Al(K iK0 )

Aus den Gleichungen (11, 8) aber folgt

d
und daher

Al0 (u + K)
Al0 (u K)
=d
,
Al(u + K)
Al(u K)

Al0 (u + K) Al0 (u K)
=
+ C,
Al(u + K)
Al(u K)

91

wo C eine von u unabhngige Gre bedeutet. Indem man u = 0 nimmt, und

bemerkt, da Al(u) eine gerade, Al0 (u) aber eine ungerade Function von u ist,
findet sich
Al0 (K) Al0 (K)
Al0 (K)
C=

=2
= 2J.
Al(K)
Al(K)
Al(K)
Setzt man nun in der vorhergehenden Gleichung u + K fr u, so ergiebt sich
(15.)

Al0 (u + 2K) Al0 (u)

=
2J.
Al(u + 2K)
Al(u)

In ganz hnlicher Weise findet sich

(16.)

Al0 (u + 2K 2iK0 ) Al0 (u)

2J + 2iJ0 .
=
Al(u)
Al(u + 2K 2iK0 )

Und wenn man in dieser Gleichung u + 2iK0 an die Stelle von u setzt, so kommt
(17.)

Al0 (u + 2iK0 ) Al0 (u)

2iJ0 ,
=
0
Al(u)
Al(u + 2iK )

worauf man dann aus (15, 17) die allgemeinere Relation

(18.)

Al0 (u + 2mK + 2niK0 ) Al0 (u)

=
2mJ + 2niJ0
0
Al(u)
Al(u + 2mK + 2niK )

herleiten kann.
Jetzt werde zur Abkrzung
(
mK + niK0 =
(19.)
mJ + niJ0 =
gesetzt. Dann folgt aus der vorstehenden Gleichung
Al(u + 2) = C  e2u Al(u),
wo C eine Constante bedeutet. Zur Bestimmung derselben setze man u = ,
so findet sich
Al() = Ce2 Al() = Ce2 Al(),
und daher, wofern nicht Al() = 0 ist, C = e2 . Es wird aber, wie aus der
Gleichung
d2 log Al(u)
= k2 sn2 u
du2

92

folgt, Al() nur dann = 0, wenn sn = ist; was, wie die Formeln (7, 10)
lehren, nur der Fall ist, wenn fr m eine gerade und fr n eine ungerade Zahl
angenommen wird. Dann aber ist, wie die Gleichung
d2 log Al(u)1
du2

1
sn2 u

zeigt, Al()1 nicht = 0; und da man, nach (10.), jetzt sn(u + 2) = sn u hat, und
somit aus der vorstehenden Gleichung fr Al(u + 2)
Al(u + 2)1 = Ce2u Al(u)1
folgt, so findet sich jetzt, wenn man wieder u = setzt, C = e2 . Demgem hat man
Al(u + 2) = e2(u+) Al(u),
in welcher Gleichung das untere Zeichen gilt, wenn m gerade und gleichzeitig
n ungerade, oder wenn das Product (m + 1)n ungerade ist. Daher
Al(u + 2) = (1)(m+1)n e2(u+) Al(u).
Verbindet man nun mit dieser Gleichung die unter (10.) aufgestellten, so ergeben sich fr die Functionen Al(u), Al(u)1 , Al(u)2 , Al(u)3 folgende Relationen:

(20.)

Al(u + 2)

Al(u + 2)1

Al(u + 2)2

Al(u + 2)

= (1)mn+n e2(u+) Al(u)

= (1)mn+m+n e2(u+) Al(u)1
= (1)mn+m e2(u+) Al(u)2
= (1)mn e2(u+) Al(u)3 .

Diese Gleichungen sprechen charakteristische Eigenschaften der Functionen

Al(u) u. s. w. aus, und fhren in einfacher Weise zur Darstellung derselben
durch die Jacobischen Reihen. Dabei ist die bekannte unter den Gren K,
K0 , J, J0 statt findende Relation von wesentlicher Bedeutung, die man aus den
vorhergehenden Formeln folgendermaen erhlt.
Aus (20.) folgt
Al(u + 2K)3 = e2J(u+K) Al(u)3
0
0
Al(u + 2iK0 )3 = e2iJ (u+iK ) Al(u)3 .

93

Setzt man in der ersten dieser Gleichungen u + 2iK0 , und in der andern u + 2K
fr u, so kommt
0
Al(u + 2K + 2iK0 )3 = e2J(u+2iK +K) Al(u + 2iK0 )3
0
0
0
= e2J(u+2iK +K)2iJ (u+iK ) Al(u)3 ,
0
Al(u + 2K + 2iK0 )3 = e2iJ(u+2K+iK ) Al(u + 2K)3
0
0
= e2iJ (u+2K+iK )2J(u+K) Al(u)3 .

Folglich mu
0
0
e4JK i = e4KJ i
0
0
e4(KJ JK )i = 1,

d. h. es mu

2
sein, wo eine ganze Zahl bedeutet. Nun aber erhlt man, wenn man die
Gren J, J0 in hnlicher Weise wie K, K0 in Reihen entwickelt

J= J

2
(21.)

J0 = J log 4 + 1 (J J1 ) 2 (J J2 ) 2 (J J3 )

k
34
56
wo
 2




1 4 5 13 2 6 7 135 2 8
2
1
3
J = 2k + 4
k +6
k +8
k +
2
24
246
 2
1 4
2
2
1
1
1
1
3
k etc.
J1 = 2  2 k ,
J2 = 2 k + 2  4
2
 2


1 4
2n 3 1  3 (2n 5) 2 2n2
2
1
3
Jn = 2 k + 4
k + +
k
2
2n 2 2  4 (2n 4)


2n 1 1  3 (2n 3) 2 2n
k
+ 21
2n 2  4 (2n 2)
KJ0 JK0 =

ist; und man hat daher

 
2K
4
0
K =
log
+

k
 
2J
4
0
J =1+
log
+

Glieder, welche fr k = 0 verschwinden.

94

Substituirt man diese Ausdrcke in die vorstehende Gleichung, so findet sich,

da = 1 ist. Mithin hat man
KJ0 JK0 =

(22.)

,
2

aus welcher Gleichung sich, wenn man

= mK + niK0
0 = m0 K + n0 iK0

= mJ + niJ0
0 = m0 J + n0 iJ0

setzt, und nun unter m, n, m0 , n0 ganz willkhrliche Gren versteht, die allgemeinere
0 0 = (m n0 n m0 )

(23.)

i
2

ergiebt.
. 12.
Fortsetzung.
Man bezeichne jetzt mit F(u) irgend eine der Functionen Al(u), Al(u)1 , Al(u)2 ,
Al(u)3 , so hat man nach dem Vorhergehenden, wenn m, n zwei beliebige ganze
Zahlen bedeuten, und
mK + niK0 =

mJ + niJ0 =

gesetzt wird,
F(u + 2) = e2(u+)+mi F(u),
wo m fr jede Function durch die Formeln (20.) bestimmt ist. Diese Gleichung
lt sich folgendermaen darstellen:

mi
(u+2)2
(u+2)
2
e 2
F(u

+ 2) =

u2 mi

u
e 2 2 F(u),

und zeigt dann, da

u2 mi

u
e 2 2 F(u)

eine periodische Function von u ist. Nun gilt aber folgender allgemeiner Satz:

95

Eine eindeutige periodische Function einer unbeschrnkt vernderlichen

Gre u lt sich, mag nun die Periode, die durch a bezeichnet werde,
reell oder imaginr sein, wenn sie zugleich den Charakter einer ganzen
rationalen Function in dem oben erklrten Sinne des Worts besitzt,
stts, und zwar nur auf eine einzige Weise, durch eine fr jeden Werth von
u convergirende Reihe von der Form
X(

2
ui
e a

darstellen, wo der Zeiger , auf den sich das Summenzeichen bezieht,

die Reihe der ganzen Zahlen von bis + durchlaufen hat, und die
Coefficienten A von u unabhngig sind.
Zum Beweise werde die Function, in welche die in Rede stehende durch
die Substitution
a
v
u=
2
bergeht, mit f (v) bezeichnet, so hat man
f (v + 2) = f (v).
Setzt man nun
v = t + si,
und versteht unter t, s reelle Gren, so hat man nach dem Fourierschen Satze,
indem f (t + si) eine continuirliche Function von t, s ist, welche in Beziehung auf
t die Periode 2 besitzt,
X
B eti ,
2i  f (t + si) =
wo

Z 2
B

f (t + si) eti dt

ist. Zugleich wei man, da sich f (t + si) auf keine andere Weise in dieser Form
darstellen lt. Nun ist aber nicht nur f (t + si) eine continuirliche Function von
t, s, sondern auch, nach dem, was hinsichtlich des analytischen Charakters von
f (v) angenommen worden ist,
f (t + si)
t

und

f (t + si)
f (t + si)
=i
.
s
t

96

B
Mithin mssen auch B und
continuirliche Functionen von s sein, und man
s
hat daher
R 2
(t+si)i dt
 B es 0 f (t + si) e
=
s
s
Z 2 

f (t + si)
=
+ f (t + si) e(t+si)i dt.
s
0
Aber
Z 2
Z 2
f (t + si) (t+si)i
f (t + si) (t+si)i
e
dt = i
e
dt
s
t
0
0
Z 2
f (t + si) e(t+si)i dt,
=
0

indem f (t + si) e(t+si)i fr t = 0 und t = 2 denselben Werth hat. Daher ist

 B es
= 0,
s
d. h. der Werth von B es ist unabhngig von s, und bleibt, weil B eine continuirliche Function dieser Gre ist, fr jeden Werth von s derselbe. Bezeichnet
man ihn durch 2iA , wo man dann, indem s = 0 genommen wird,
2iA =

Z 2

f (t) eti dt

erhlt, so ist
B = 2iA es ,
und es ergiebt sich
f (t + si) =

A e(t+si)i

fr alle Werthe von t, s, oder

f (v) =

A evi

97

2u

fr jeden complexen Werth von v, woraus, wenn man

fr v setzt, die
a
angegebene Reihe fr die ursprngliche Function sich unmittelbar ergiebt ) .
Uebrigens ist leicht zu zeigen, da sich eine Reihe von der betrachteten
Form, wenn sie fr jeden Werth von u convergirt, immer in eine andere von der
Gestalt
Xn
o
A0 u ,
= 0...

die ebenfalls bestndig convergent ist, umwandeln lt; woraus erhellt, da der
bewiesene Satz eben nur dann gilt, wenn die Function, um die es sich handelt,
den Charakter einer ganzen rationalen hat.
Hiernach lt sich
2
u

e 2

mi
u
2 F(u)

in eine bestndig convergirende Reihe

Xn

A e

ui o

entwickeln, und es handelt sich jetzt um die Bestimmung der Coefficienten

derselben. Dazu gelangt man auf folgende Weise. Man darf unbeschadet der
Allgemeinheit annehmen, da m, n keinen gemeinschaftlichen Factor haben.
Dann kann man zwei andere ganze Zahlen m0 , n0 dergestalt bestimmen, da
m n0 n m0 = 1
ist, und es gelten, wenn man mit 0 , , m0 die Gren bezeichnet, in welche ,
, m bergehn, indem m0 , n0 an die Stelle von m, n treten, fr F(u) die beiden
2ui

) Setzt man e a = x, so gehren zu jedem Werthe von x zwar unendlich viele von u, fr die
aber, da sie sich nur um ein Vielfaches von a unterscheiden, die betrachtete Function denselben
Werth hat. Man kann daher die letztere als eine eindeutige Function von x ansehn, die durch
(x)
(x) bezeichnet werden mge. Dann ist leicht zu zeigen, da nicht nur (x), sondern auch
x
sich continuirlich mit x ndert, ohne jemals unendlich gro zu werden, sobald man nur fr
den absoluten Betrag von x irgend eine, wenn auch noch so kleine Grnze festsetzt, oberhalb
welcher er bleiben soll. Dies reicht aber, nach einem von Cauchy gegebenen Theorem hin, um
nachzuweisen, da sich (x) durch eine fr jeden Werth von x, der nicht Null ist, convergirende
Reihe
X
{ A x }
= +
darstellen lt; woraus der aufgestellte Satz unmittelbar folgt. Ich habe es aber hier vorgezogen,
denselben aus dem Fourierschen abzuleiten.

98

Gleichungen
(1.)

2(u+)+mi F(u)

F(u + 2) = e

F(u + 20 ) = e20 (u+0 )+m0 i F(u),

whrend zugleich die Gren , , 0 , 0 der Formel (23.) des v. . gem durch
die Relation

(2.)
0 0 = i
2
mit einander verbunden sind. Man kann dabei bemerken, da diese Gleichungen bestehen bleiben, wenn
0, , 0, , m0, m
an die Stelle von , 0, , 0, m, m0
treten, wie man sofort sieht, sobald man nur in der ersten u 2 fr u setzt, und
e2(u)+mi auf die andere Seite bringt. Man wird daher aus jeder Gleichung,
welche eine Folge der vorstehenden (1, 2) ist, sofort eine neue ableiten knnen,
indem man in ihr die angegebenen Substitutionen macht.
Es werde jetzt
(3.)

0 u2 u2
iu2
=

20
2
40

mit (u)

bezeichnet, und
u2

(4.)
(5.)

e 2

+(um0 )

F(u) = f (u)

0 u2
(um0 )
e 20
F(u)

= f 0 (u)

gesetzt. Dann hat man fr beliebige Werthe von p, q

p 
pi 

u+
(u + p) (u) =

20
2

(6.)

qi
q0 

u+
,
(u + p ) (u) =
2
2
woraus weiter

pq

(u + p + q0 ) (u + q0 ) = (u + p) (u) + i,

(7.)

pq

(u + p + q0 ) (u + p) = (u + q0 ) (u) + i

oder

99

folgt.
Die Gleichung (4.) lt sich nun auch so schreiben:
f (u) =

0 u2
+(um0 )(u)
e 20
F(u),

und man hat daher, indem

0 (u + 20 )2 0 u2
=
+ 20 (u + 0 ),
20
20
und nach (7.), wenn p = m0 , q = 2 genommen wird
(u m0 + 20 ) (u + 20 ) = (u m0 ) (u) m0 i
ist, in Folge von (1.)
(8.)

f (u + 20 ) = f (u).

Ebenso, oder wenn man die vorhin angegebenen Substitutionen macht, wodurch sich (u) in (u), f (u) in f 0 (u) und f 0 (u) in f (u) verwandelt, erhlt man
(9.)

f 0 (u 2) = f 0 (u), oder auch f 0 (u + 2) = f 0 (u).

Ferner folgt aus (4.), wenn man bemerkt, da nach (7.)

(u m0 + m0 ) = (u + m0 ) + (u m0 ) (u)

mm0
i
2

ist, und
(10.)

m0 m0 =

setzt,

(11.)

0
mm0

i+(u+) 0

f
(u)
=
e
f (u),

0
0

mm

f 0 (u) = e 2 i(u+) f (u).

Der Gleichung (9.) gem kann man nun f 0 (u) durch eine Reihe
X

ui
A e

100

darstellen. Man hat aber nach (6.)

(12.)

(u + + 20 ) (u + ) =

Folglich, wenn man

A = C e

i
0
(u + + 0 ).

i 0
(+0 )

setzt,
f 0 (u)

(13.)

Xn

0
0 o
0
C e(u++2 )(u+) ,

und daher (nach 11.)

(14.)

f (u) = e

mm0 Xn
i
2
C

0
0 o
e(u++2 ) .

In dieser Gleichung werde jetzt u + 20 fr u gesetzt, und zugleich 1 fr ,

was erlaubt ist, weil 1 so gut als jede ganze Zahl reprsentirt, so kommt
mit Bercksichtigung von (8.)
f (u) =

mm0 Xn
i
e 2
C

o
0
(u++20 ) .
e
1

In dieser Reihe mu aber jeder Coefficient mit dem gleichstelligen der vorhergehenden bereinstimmen, weil sich, wenn dies nicht der Fall wre, aus ihr
0

durch Multiplication mit e(u+) fr f 0 (u) eine zweite Reihe von der Form
Xn

A0 e

ui o

ergeben wrde, welche es nicht giebt. Daher mu C = C1 sein, woraus folgt,

da smmtliche Coefficienten C denselben Werth haben, der durch

ge

mm0
i
2

bezeichnet werden mge. Somit erhlt man, wenn zugleich statt f (u) wieder
F(u) eingefhrt wird,
(15.)

u2
+(um0 )
e 2
F(u)

Xn
0
0 o
= g
e(u++2 ) ,

101

oder, da
(16.)

(u + + 0 ) (u m0 )



2 + m 0
2 + m i
0
=

um +

ist,
u2
e 2 F(u)

(17.)

)
X ( 2 + m i 
2 + m 0
 um0 +

2
= g
e 2
.

Da m eine ganze Zahl ist, so darf man in dieser Reihe ( m) statt

setzen; verbindet man dann die so sich ergebende Gleichung mit der vorstehenden, so kommt

 )
u2
X (  m 2 0
u
m0
+
2
i cos(2 + m)
e
(18.)
e 2 F(u) = g 

.
2
2

Aus diesen Gleichungen (15, 16, 17) erhlt man nun sofort drei neue, indem
man die oben angegebene Substitution 0 fr u. s. w. macht, wobei zugleich
() fr geschrieben, und der Werth, den die Constante g alsdann annehmen
mu, mit g0 bezeichnet werde.
0 u2
(u+m0 )
F(u)
e 20

(19.)

0 u2
e 20 F(u)

(20.)
0 u2

(21.)

e 20 F(u) = g0 

g0

Xn

e(u++2)

Xn 2 m0  i u+m0 + 2 m0 o
0
2
0
2
=g 
e


Xn


2
m0 i

0
2



u
m o
cos(2 m0 )
+

20 2

Man sieht also, da die Function F(u), bei dem vorausgesetzten analytischen
Charakter derselben, durch die Gleichungen (1, 2) vllig bestimmt ist, bis auf
eine Constante (g oder g0 ), welche ebenfalls vermittelst der vorstehenden Formeln gefunden wird, sobald man fr irgend einen besondern Werth von u den
von F(u) kennt, vorausgesetzt, da der letztere nicht Null ist. Man kann dabei
bemerken, da die Gleichungen (15, 17, 19, 20) auch dann noch eine strenge
Folgerung aus den eben genannten bleiben, wenn auch unter m, m0 nicht mehr
ganze Zahlen verstanden werden.
Da die erhaltenen Reihen fr jeden Werth von u convergiren, so kann
man schlieen, da

0
,
i

wie auch der Modul k beschaffen sein mge, entweder

102

eine reelle positive Gre sein mu, oder eine imaginre, deren reeller Theil
positiv ist. Umgekehrt sind die Reihen stts wirklich convergent, sobald man fr
, 0 beliebige Gren annimmt, welche diese Bedingung erfllen, abgesehen
davon, ob sie in der oben angegebenen Form durch K und K0 ausgedrckt
werden knnen oder nicht. Stellt man sich nun vor, man bestimme, indem man
mit h irgend eine (complexe) Gre, deren reeller Theil positiv ist, bezeichnet,
bei willkhrlicher Annahme von , (wobei jedoch fr der Werth Null
auszuschlieen ist) 0 , 0 durch die Gleichungen
(22.)

0
= h,
i

=
,
0

20

0 = h +

i
,
2

und definire dann, m, m0 , g ebenfalls beliebig annehmend (also auch die Voraussetzung, da m, m0 ganze Zahlen seien, fallen lassend) eine Function F(u)
durch die Gleichung (15.) oder (17.); so besitzt dieselbe den Charakter einer
ganzen rationalen Function, und es lt sich zeigen, da sie stts auch die Gleichungen (1.) befriedigt, und da daher fr sie auch die Gleichungen (19, 20.)
gelten.
Denn die Gleichung (17.) und es ist ganz einerlei, ob man von dieser
oder von Nr. (15.) ausgeht, indem jede von ihnen eine unmittelbare Folge der
andern ist zeigt, da man
(u + 2)2
e 2 F(u

+ 2) =

u2
+mi
e 2
F(u)

hat, was die erste der genannten Gleichungen ist, indem jedes Glied der Reihe
auf der Rechten, wenn man u + 2 fr u setzt, dieselbe Vernderung erfhrt, als
wenn es mit e(2+m)i = emi multiplicirt wird. In der Reihe auf der Rechten der
Gleichung (15.) aber darf man 1 fr setzen, und wenn man dann u + 20
an die Stelle von u treten lt, so sieht man, da
(u + 20 )2
+(um0 +20 )
F(u
e 2

+ 20 )

u2
+(um0 )
e 2
F(u)

ist, woraus, da man

(u m0 + 20 ) (u m0 ) = (u + 20 ) (u) m0 i
u2
0 u2
,
+ (u) =
2
20
hat,

(u + 20 )2
0 (u + 20 )2
+ (u + 20 ) =
2
20

0 (u + 20 )2
e 20 F(u

+ 20 )

0 u2
+m0 i
e 20
F(u)

103

folgt, was die zweite der Gleichungen (1) ist. Von denselben sind aber die unter
(18 21) angegebenen eine Folge.
Htte man bei willkhrlicher Annahme von 0 , 0 , m, m0 , g0 die Gren
, vermittelst der Formeln (22) bestimmt, und dann F(u) durch die Gleichung (19) oder (20) definirt; so wrde sich eben so ergeben, da fr F(u) die
Gleichungen (1) gelten, und somit auch (15, 17, 18).
Betrachten wir jetzt insbesondere die Function, welche durch die Gleichung (17) bei der Annahme
2 = 1,

= 0,

20 = hi,

0 = i,

m = 0,

m0 = 0,

g=1

definirt wird, welche die einfachste von allen ist, und nach dem Vorschlage
Lejeune Dirichlets, weil sie von Jacobi in die Analysis eingefhrt worden ist,
die Jacobische Function genannt, und dieser Benennung entsprechend durch
Jc(u, h)
bezeichnet werden mge; wo man dann
Xn
o Xn 2
o
2
(23.)
Jc(u, h) =
e( h+2ui) =
e h cos 2u

hat, und wenn die Gre h, die, wie bemerkt, stts eine positive reelle, oder
eine imaginre, deren reeller Theil positiv ist, sein mu, im Verlaufe einer
Untersuchung denselben Werth beibehlt, krzer auch blo Jc(u) schreiben
kann. Die Gleichungen (1) gestalten sich dann folgendermaen

Jc(u + 1, h) = Jc(u, h)
(24.)

Jc(u + hi, h) = e(2u+hi)i Jc(u, h).

2 0
= ,
Ferner ist jetzt nach (19), indem (u) = u ,
0
h
2
h
Xn
(u+)2 o
,
Jc(u, h) = g0 
e h

wo die Constante g0 , nach Jacobi, auf folgende Weise ermittelt wird. Es ist,
wenn man sich jetzt unter u eine reelle Gre denkt,
Z 1
0

Jc(u, h) du =

XZ 1

2
e h cos 2u  du = 1.

104

Daher mu
Z 1X

XZ 1
1
(u+)2
(u+)2
=
du
e h
du =
e h
0
g
0
0

Z
Z
+
X +1 2

u
u2
=
e h du =
e h du

sein. Aber

Z +
e

u2

du =

h,

wo, wenn h reell ist, der positive Werth der Wurzel, und, wenn h imaginr,
derjenige, dessen reeller Theil positiv ist, genommen werden mu. Folglich hat
man
Xn

(u+)2 o
.
h  Jc(u, h) =
e h
(25.)

Nach der Formel (15.) aber ist

(26.)

2
u
e h Jc(u, h)

Xn

(u+hi)2 o
eh

Aber
Xn h
e

Xn h
=
e

u
+
hi

2
o

2

u
+
hi



u 1
1
.
= Jc ,
h hi h

Daher

u2




u 1
e h
ui 1
=  Jc ,
 Jc ,
hi h
h h
h
h

u2

(27.)

Jc(u, h) =

2
u

(28.)

eh
Jc(ui, h) =


u 1
 Jc ,
.
h h
h


In der Reihe (23) bleibt ferner das allgemeine Glied ungendert, wenn man u+
2
fr u, und zugleich h + i fr h setzt, aber eine ganze Zahl bedeutet. Denn
dadurch wird dasselbe nur mit e(+1)i = 1 multiplicirt. Folglich hat man



(29.)
Jc(u, h) = Jc u + , h + i ,
2

105

und erhlt aus (27.)

Jc(u, h) =

(30.)

u2



u
+ ,h ,
 Jc
hi 2 1
h

1
wenn h1 = + i ist.
h
In den vorstehenden Formeln (23 30) sind die wichtigsten Eigenschaften
der Jacobischen Function ausgesprochen. Durch dieselbe lassen sich nun die
obigen Reihen (15, 17, 19, 20) leicht ausdrcken. Man hat nmlich
0

2
0 u +
0
0
(u + + 2 ) =
+
i 20
0

2
i u +
0
+ ,
(u + + 2) = 0

2
und daher
r
0


Xn
o
0
0
u + 0
(u+
+2)
 Jc
,
(31.)
e
=
i
2
i

r
0


Xn
0
0)o
i
u + i
(u+
+2
(32.)
e
=
 Jc
,
.
0
20 0

Nach (27) aber ist

r
(33.)



 u i 
0
u 0
 Jc
,
,
= e(u) Jc
,
i
2 i
20 0

und daher
(34.)

(35.)



0


Xn 2 + m  i um0 + 2 + m 0 o
0
0 )
u + 0
(u+
)(um
2

2
=e
Jc
,
e
2
i



0


Xn 2 m0  i u+m0 + 2 m0 o
0
0 )(u+)
u + i
0
(u+m
2

2
=e
Jc
,
.
e
20 0

Hiernach geben die Gleichungen (15, 17, 19, 20)

(36.)

u2
e 2 F(u)

0
ge(u+)(um ) Jc

r
=g

u + 0
,
2 i

0


i (um0 ) u + i

e
Jc
,
0
20 0

(37.)

0 u2
e 20 F(u)

0
g0 e(u+)+(u+m ) Jc

r
=

106

g0

u + i
,
20 0

0


0 (u+m0 ) u + 0
e
Jc
,
.
i
2 i

Aus der Vergleichung dieser Ausdrcke ergiebt sich noch, indem

0

(u + ) (u m0 ) (u + m0 ) = (u)

mm0
i
2

ist,
(38.)

g0

=e

mm0
i
2

i
 g.
0

Das Ergebni der vorstehenden Untersuchung ist also, da sich jede Function,
welche die im Anfange dieses . angegebenen Eigenschaften besitzt, welche
Werthe auch die Gren , 0 , , 0 , m, m0 haben mgen, auf die Jacobische
zurckfhren lt.
. 13.
Schlu der die elliptischen Functionen betreffenden Entwicklungen.
Die specielle Anwendung der entwickelten Formeln auf die Functionen Al(u)
u. s. w. will ich hier nur kurz andeuten. Zuerst bemerke ich, da (m + 1)n +
m und (m0 + 1)n0 + m0 aus dem Grunde, weil weder m, n noch m0 , n0 einen
gemeinschaftlichen Theiler haben, beide ungerade Zahlen sind, und man daher

mn + n m + 1
m0 n0 + n0 m + 1

m0 n0 + m0 + n0 1
mn + m + n 1
(1.)
(mod. 2)

mn + m n + 1
m0 n0 + m0 n0 + 1

mn m + n + 1
m0 n0 m0 + n0 + 1
hat. Nimmt man daher
(
m m + 1 m0 m0 + 1 l = 1 m n
(2.)
n n + 1 n0 n0 + 1 l0 = 1 m0 n0 ,
wobei man jeder der Zahlen m, n, m0 , n0 einen der Werthe 0, 1 beilegen kann,
und dann auch l sowohl als l0 entweder = 0, oder = 1 erhlt; so geben die
Gleichungen (20) d. . 11.

(3.)

107

Al(u + 2) = e2(u+)+mi Al(u)

Al(u + 20 ) = e2 (u+ )+m i Al(u)

Al(u + 2)1 = e2(u+)+i Al(u)1

Al(u + 20 )1 = e2 (u+ )+i Al(u)1

Al(u + 2)2 = e2(u+)+ni Al(u)2

Al(u + 20 )2 = e2 (u+ )+n i Al(u)2

Al(u + 2)3 = e2(u+)+li Al(u)3

Al(u + 20 )3 = e2 (u+ )+l i Al(u)3 .

Es ist leicht nachzuweisen, da die Combinationen

m, m0

n, n0

l, l0

0, 1

1, 0

0, 0

mit den folgenden

bereinstimmen mssen, abgesehen von der Aufeinanderfolge. Hiernach geben die Formeln (15, 17, 18, 19, 20, 21, 36, 37) d. v. . unmittelbar die Ausdrcke
von Al(u), Al(u)1 , Al(u)2 , Al(u)3 , sobald die Constanten g, g0 fr jede einzelne
dieser Functionen bestimmt sind. Dies kann aber unter Andern fr die 1ste, 3te
und 4te dadurch geschehen, da man u = 0 setzt, indem die letztern dann den
Werth 1 erhalten.
Zur Abkrzung werde
 u + p0 q 0 
0

e(u+p q)(uq) Jc
,
(4.)
= (u)p,q
2
i
 u + p0 q

0 q)+(u+q0 )
i
(u+p
e
Jc
, 0 = 0 (u)q,p
(5.)
2

gesetzt, wo p, q beliebige Zahlen bedeuten, und man in Folge von (33.) und (7.)
d. v. .
r
i (u) pq i 0
2
(u)q,p
(6.)
(u)p,q =
e
0
hat. Dann erhlt man aus den Gleichungen (36, 37) nach dem eben Bemerkten
(6.)

u2
e 2

(7.)

u2
e 2

(8.)

u2
e 2

Al(u) =
Al(u)2 =
Al(u)3 =

(u)m,m0
(0)m,m0
(u)n,n0
(0)n,n0
(u)l,l0
(0)l,l0

0 u2
e 20

Al(u) =

0 u2
e 20

Al(u)2 =

0 u2
e 20

Al(u)3 =

0 (u)m0 ,m
0 (0)m0 ,m
0 (u)n0 ,n
0 (0)n0 ,n
0 (u)l0 ,l
0 (0)l0 ,l


Ferner hat man

u2
e 2

108

Al(u)1 = g(u)1,1

und daher
sn u = g(0)m,m0 

(u)1,1
(u)m,m0

In dieser Gleichung setze man

u = (n 1)0 (n0 1),
so erhlt man aus (42, 43) nach einigen Reductionen


0 g(0)m,m0 (0)n,n0
sn (n 1)0 (n0 1) = i(n1)(1m )
.
(0)l,l0
Aber




(n 1)0 (n0 1) = (n 1)m0 (n0 1)m K + (n 1)n0 (n0 1)n K0 i,
oder mit Bercksichtigung der Gleichung m n0 n m0 = 1,
(n 1)0 (n0 1) = (2r 1) K + 2r0 K0 i,
wo
(
(9.)

2r = (n0 + 1 n0 ) m (n + 1 n) m0
2r0 = (n0 + 1 n0 ) n (n + 1 n) n0

ist, und aus (40) sich ergiebt, da r, r0 ganze Zahlen sind. Daher hat man


sn (n 1)0 (n0 1) = sn(K + 2rK + 2r0 K0 i) = (1)r1 .
Damit ist der Werth von g bestimmt, und man erhlt
u2
(0)l,l0
(u)1,1

(1)r1

2 Al(u) =


e

1
0

i(n1)(1m ) (0)m,m0 (0)n,n0

(10.)

0 u2

0 (0)l0 ,l
0 (u)1,1
(1)r1

0
2


.
Al(u)1 =

e
0
i(n1)(1m )+1 0 (0)m0 ,m 0 (0)n0 ,n
Die zweite dieser Gleichungen ergiebt sich aus der ersten vermittelst der Relation (6), wobei zu bemerken ist, da nach dem Obigen mm0 = 0, nn0 = 0, ll0 = 0
ist.

109

Wenn p, q ganze Zahlen sind, so erhlt man nach dem, was im vorhergehenden . in Betreff der Ableitung der Formeln (18, 21) aus den unter (17, 20)
aufgestellten bemerkt ist



)


X( + p 2 0

q
u

2
i

(u)p,q =
e
cos(2 + p)

2 2

(11.)




)


X( q 2 i

p

u
0
0

(u)p,q =
+ .
cos(2 q)
e

20 2

Und hieraus

(12.)

(13.)

(u)0,0

(u)0,1

(u)1,0

(u)1,1

=
=

X(

X(

0
i

u
cos 2
2
0

2
i
(1) e

u
cos 2
2



)
X( + 1 2 0
u
2
i cos(2 + 1)
=
e
2

0 (u)0,0

0 (u)0,1

(u)1,0

0 (u)1,1

X(

+
2
(1) e

2

0
i

)
u
sin(2 + 1)
,
2

)
X( 2 i
u
0
cos 2
=
e
0

)
X(
i
u
2 0

cos 2
=
(1) e
0



)
X( 1 2 i
u
0
2
cos(2 1)
=
e
0


2
)
1 i
X(

u
0

2
sin(2 1)
=
(1) e
.
0

Nimmt man = K, 0 = iK0 , so erhlt man die von Jacobi in den Fundamentis
zur Darstellung von sn u, cn u, dn u gegebenen Reihen.

110

Die in den Formeln (6, 7, 8, 10) vorkommenden Gren (0)0,0 u. s. w.

lassen sich bekanntlich durch k, k0 , K, K0 ausdrcken; was aber fr beliebige
Werthe von m, n, m0 , n0 einige Errterungen nthig macht, in die ich hier nicht
eingehn kann.
Hiermit breche ich die auf die elliptischen Functionen sich beziehenden
Entwicklungen ab, die, obwohl die Resultate bekannt sind, hier einen Platz
gefunden haben, weil die dabei befolgte Methode im Wesentlichen dieselbe
ist, welche im Folgenden auch bei den Abelschen Functionen zur Anwendung
kommen wird.
Ehe ich mich nun aber wieder zu diesen wende, darf ich nicht unerwhnt
lassen, da ursprnglich eine Bemerkung Abels ) , in der er auf die in (. 8
10) hergeleitete Darstellungsform der elliptischen Transcendenten hinweist, es
gewesen ist, die mich zu einer neuen Behandlung dieser Functionen in der
vorgetragenen Weise veranlate, und so auf den Weg fhrte, der mir auch in
die Theorie der hyperelliptischen den Eingang erffnete.

) S. die Einleitung zu dessen Prcis dune thorie des fonctions elliptiques, uvr. compl.
Tom. I, pag. 234, sowie auch Lettre Mr. Legendre, ib. Tom. II, pag. 259.

111

Anmerkungen der Korrekturleser

Im Buch-Original befindet sich kein Inhaltsverzeichnis. Im LaTeX-Quelltext ist
ein einfaches Inhaltsverzeichnis enthalten, aber dieser Code ist standardmig
ausgeschaltet. Bitte ziehen sie den Anfang der Quelldatei zu Rate, wenn Sie das
PDF neu erzeugen wollen.
Inkonsiste Numerierung der Gleichungen (fehlende oder doppelte Nummern) wurden unverndert bernommen. Surd-Zeichen wurden durch Wurzeln ersetzt und in den meisten Fllen wurden Klammern um den Radikanden
entfernt.

PG L
End of the Project Gutenberg EBook of Theorie der Abelschen Functionen, by
Karl Weierstrass
*** END OF THIS PROJECT GUTENBERG EBOOK THEORIE DER ABELSCHEN FUNCTIONEN ***
***** This file should be named 29780-pdf.pdf or 29780-pdf.zip *****
This and all associated files of various formats will be found in:
http://www.gutenberg.org/2/9/7/8/29780/
Produced by K.F. Greiner, Andrew D. Hwang, Joshua Hutchinson
and the Online Distributed Proofreading Team at

Updated editions will replace the previous one--the old editions

will be renamed.
Creating the works from public domain print editions means that no
one owns a United States copyright in these works, so the Foundation
(and you!) can copy and distribute it in the United States without
permission and without paying copyright royalties. Special rules,
set forth in the General Terms of Use part of this license, apply to
copying and distributing Project Gutenberg-tm electronic works to
protect the PROJECT GUTENBERG-tm concept and trademark. Project
Gutenberg is a registered trademark, and may not be used if you
charge for the eBooks, unless you receive specific permission. If you
do not charge anything for copies of this eBook, complying with the
rules is very easy. You may use this eBook for nearly any purpose
such as creation of derivative works, reports, performances and
research. They may be modified and printed and given away--you may do
practically ANYTHING with public domain eBooks. Redistribution is
subject to the trademark license, especially commercial
redistribution.

*** START: FULL LICENSE ***

THE FULL PROJECT GUTENBERG LICENSE
PLEASE READ THIS BEFORE YOU DISTRIBUTE OR USE THIS WORK
To protect the Project Gutenberg-tm mission of promoting the free
distribution of electronic works, by using or distributing this work
(or any other work associated in any way with the phrase "Project
Gutenberg"), you agree to comply with all the terms of the Full Project
Gutenberg-tm License (available with this file or online at
http://gutenberg.org/license).

Section 1. General Terms of Use and Redistributing Project Gutenberg-tm

electronic works
1.A. By reading or using any part of this Project Gutenberg-tm
electronic work, you indicate that you have read, understand, agree to
and accept all the terms of this license and intellectual property

PG L
(trademark/copyright) agreement. If you do not agree to abide by all
the terms of this agreement, you must cease using and return or destroy
all copies of Project Gutenberg-tm electronic works in your possession.
If you paid a fee for obtaining a copy of or access to a Project
Gutenberg-tm electronic work and you do not agree to be bound by the
terms of this agreement, you may obtain a refund from the person or
entity to whom you paid the fee as set forth in paragraph 1.E.8.
1.B. "Project Gutenberg" is a registered trademark. It may only be
used on or associated in any way with an electronic work by people who
agree to be bound by the terms of this agreement. There are a few
things that you can do with most Project Gutenberg-tm electronic works
even without complying with the full terms of this agreement. See
paragraph 1.C below. There are a lot of things you can do with Project
Gutenberg-tm electronic works if you follow the terms of this agreement
and help preserve free future access to Project Gutenberg-tm electronic
works. See paragraph 1.E below.
1.C. The Project Gutenberg Literary Archive Foundation ("the Foundation"
or PGLAF), owns a compilation copyright in the collection of Project
Gutenberg-tm electronic works. Nearly all the individual works in the
collection are in the public domain in the United States. If an
individual work is in the public domain in the United States and you are
located in the United States, we do not claim a right to prevent you from
copying, distributing, performing, displaying or creating derivative
works based on the work as long as all references to Project Gutenberg
are removed. Of course, we hope that you will support the Project
Gutenberg-tm mission of promoting free access to electronic works by
freely sharing Project Gutenberg-tm works in compliance with the terms of
this agreement for keeping the Project Gutenberg-tm name associated with
the work. You can easily comply with the terms of this agreement by
keeping this work in the same format with its attached full Project
Gutenberg-tm License when you share it without charge with others.
1.D. The copyright laws of the place where you are located also govern
what you can do with this work. Copyright laws in most countries are in
a constant state of change. If you are outside the United States, check
the laws of your country in addition to the terms of this agreement
before downloading, copying, displaying, performing, distributing or
creating derivative works based on this work or any other Project
Gutenberg-tm work. The Foundation makes no representations concerning
the copyright status of any work in any country outside the United
States.
1.E.

Unless you have removed all references to Project Gutenberg:

1.E.1. The following sentence, with active links to, or other immediate
access to, the full Project Gutenberg-tm License must appear prominently
whenever any copy of a Project Gutenberg-tm work (any work on which the
phrase "Project Gutenberg" appears, or with which the phrase "Project
Gutenberg" is associated) is accessed, displayed, performed, viewed,
copied or distributed:
This eBook is for the use of anyone anywhere at no cost and with

PG L
almost no restrictions whatsoever. You may copy it, give it away or
re-use it under the terms of the Project Gutenberg License included
with this eBook or online at www.gutenberg.org
1.E.2. If an individual Project Gutenberg-tm electronic work is derived
from the public domain (does not contain a notice indicating that it is
posted with permission of the copyright holder), the work can be copied
and distributed to anyone in the United States without paying any fees
or charges. If you are redistributing or providing access to a work
with the phrase "Project Gutenberg" associated with or appearing on the
work, you must comply either with the requirements of paragraphs 1.E.1
through 1.E.7 or obtain permission for the use of the work and the
Project Gutenberg-tm trademark as set forth in paragraphs 1.E.8 or
1.E.9.
1.E.3. If an individual Project Gutenberg-tm electronic work is posted
with the permission of the copyright holder, your use and distribution
must comply with both paragraphs 1.E.1 through 1.E.7 and any additional
terms imposed by the copyright holder. Additional terms will be linked
to the Project Gutenberg-tm License for all works posted with the
permission of the copyright holder found at the beginning of this work.
1.E.4. Do not unlink or detach or remove the full Project Gutenberg-tm
License terms from this work, or any files containing a part of this
work or any other work associated with Project Gutenberg-tm.
1.E.5. Do not copy, display, perform, distribute or redistribute this
electronic work, or any part of this electronic work, without
prominently displaying the sentence set forth in paragraph 1.E.1 with
active links or immediate access to the full terms of the Project
Gutenberg-tm License.
1.E.6. You may convert to and distribute this work in any binary,
compressed, marked up, nonproprietary or proprietary form, including any
word processing or hypertext form. However, if you provide access to or
distribute copies of a Project Gutenberg-tm work in a format other than
"Plain Vanilla ASCII" or other format used in the official version
posted on the official Project Gutenberg-tm web site (www.gutenberg.org),
you must, at no additional cost, fee or expense to the user, provide a
copy, a means of exporting a copy, or a means of obtaining a copy upon
request, of the work in its original "Plain Vanilla ASCII" or other
form. Any alternate format must include the full Project Gutenberg-tm
License as specified in paragraph 1.E.1.
1.E.7. Do not charge a fee for access to, viewing, displaying,
performing, copying or distributing any Project Gutenberg-tm works
unless you comply with paragraph 1.E.8 or 1.E.9.
1.E.8. You may charge a reasonable fee for copies of or providing
access to or distributing Project Gutenberg-tm electronic works provided
that
- You pay a royalty fee of 20% of the gross profits you derive from
the use of Project Gutenberg-tm works calculated using the method

PG L
you already use to calculate your applicable taxes. The fee is
owed to the owner of the Project Gutenberg-tm trademark, but he
has agreed to donate royalties under this paragraph to the
Project Gutenberg Literary Archive Foundation. Royalty payments
must be paid within 60 days following each date on which you
prepare (or are legally required to prepare) your periodic tax
returns. Royalty payments should be clearly marked as such and
sent to the Project Gutenberg Literary Archive Foundation at the
address specified in Section 4, "Information about donations to
the Project Gutenberg Literary Archive Foundation."
- You provide a full refund of any money paid by a user who notifies
you in writing (or by e-mail) within 30 days of receipt that s/he
does not agree to the terms of the full Project Gutenberg-tm
License. You must require such a user to return or
destroy all copies of the works possessed in a physical medium
and discontinue all use of and all access to other copies of
Project Gutenberg-tm works.
- You provide, in accordance with paragraph 1.F.3, a full refund of any
money paid for a work or a replacement copy, if a defect in the
electronic work is discovered and reported to you within 90 days
of receipt of the work.
- You comply with all other terms of this agreement for free
distribution of Project Gutenberg-tm works.
1.E.9. If you wish to charge a fee or distribute a Project Gutenberg-tm
electronic work or group of works on different terms than are set
forth in this agreement, you must obtain permission in writing from
both the Project Gutenberg Literary Archive Foundation and Michael
Hart, the owner of the Project Gutenberg-tm trademark. Contact the
Foundation as set forth in Section 3 below.
1.F.
1.F.1. Project Gutenberg volunteers and employees expend considerable
effort to identify, do copyright research on, transcribe and proofread
public domain works in creating the Project Gutenberg-tm
collection. Despite these efforts, Project Gutenberg-tm electronic
works, and the medium on which they may be stored, may contain
"Defects," such as, but not limited to, incomplete, inaccurate or
corrupt data, transcription errors, a copyright or other intellectual
property infringement, a defective or damaged disk or other medium, a
computer virus, or computer codes that damage or cannot be read by
your equipment.
1.F.2. LIMITED WARRANTY, DISCLAIMER OF DAMAGES - Except for the "Right
of Replacement or Refund" described in paragraph 1.F.3, the Project
Gutenberg Literary Archive Foundation, the owner of the Project
Gutenberg-tm trademark, and any other party distributing a Project
Gutenberg-tm electronic work under this agreement, disclaim all
liability to you for damages, costs and expenses, including legal
fees. YOU AGREE THAT YOU HAVE NO REMEDIES FOR NEGLIGENCE, STRICT

PG L
LIABILITY, BREACH OF WARRANTY OR BREACH OF CONTRACT EXCEPT THOSE
PROVIDED IN PARAGRAPH F3. YOU AGREE THAT THE FOUNDATION, THE
TRADEMARK OWNER, AND ANY DISTRIBUTOR UNDER THIS AGREEMENT WILL NOT BE
LIABLE TO YOU FOR ACTUAL, DIRECT, INDIRECT, CONSEQUENTIAL, PUNITIVE OR
INCIDENTAL DAMAGES EVEN IF YOU GIVE NOTICE OF THE POSSIBILITY OF SUCH
DAMAGE.
1.F.3. LIMITED RIGHT OF REPLACEMENT OR REFUND - If you discover a
defect in this electronic work within 90 days of receiving it, you can
receive a refund of the money (if any) you paid for it by sending a
written explanation to the person you received the work from. If you
received the work on a physical medium, you must return the medium with
your written explanation. The person or entity that provided you with
the defective work may elect to provide a replacement copy in lieu of a
refund. If you received the work electronically, the person or entity
providing it to you may choose to give you a second opportunity to
receive the work electronically in lieu of a refund. If the second copy
is also defective, you may demand a refund in writing without further
opportunities to fix the problem.
1.F.4. Except for the limited right of replacement or refund set forth
in paragraph 1.F.3, this work is provided to you AS-IS WITH NO OTHER
WARRANTIES OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
WARRANTIES OF MERCHANTIBILITY OR FITNESS FOR ANY PURPOSE.
1.F.5. Some states do not allow disclaimers of certain implied
warranties or the exclusion or limitation of certain types of damages.
If any disclaimer or limitation set forth in this agreement violates the
law of the state applicable to this agreement, the agreement shall be
interpreted to make the maximum disclaimer or limitation permitted by
the applicable state law. The invalidity or unenforceability of any
provision of this agreement shall not void the remaining provisions.
1.F.6. INDEMNITY - You agree to indemnify and hold the Foundation, the
trademark owner, any agent or employee of the Foundation, anyone
providing copies of Project Gutenberg-tm electronic works in accordance
with this agreement, and any volunteers associated with the production,
promotion and distribution of Project Gutenberg-tm electronic works,
harmless from all liability, costs and expenses, including legal fees,
that arise directly or indirectly from any of the following which you do
or cause to occur: (a) distribution of this or any Project Gutenberg-tm
work, (b) alteration, modification, or additions or deletions to any
Project Gutenberg-tm work, and (c) any Defect you cause.

Section

2.

Information about the Mission of Project Gutenberg-tm

Project Gutenberg-tm is synonymous with the free distribution of

electronic works in formats readable by the widest variety of computers
including obsolete, old, middle-aged and new computers. It exists
because of the efforts of hundreds of volunteers and donations from
people in all walks of life.
Volunteers and financial support to provide volunteers with the

PG L
assistance they need, are critical to reaching Project Gutenberg-tms
goals and ensuring that the Project Gutenberg-tm collection will
remain freely available for generations to come. In 2001, the Project
Gutenberg Literary Archive Foundation was created to provide a secure
and permanent future for Project Gutenberg-tm and future generations.
To learn more about the Project Gutenberg Literary Archive Foundation
and how your efforts and donations can help, see Sections 3 and 4
and the Foundation web page at http://www.pglaf.org.

Section 3.
Foundation

Information about the Project Gutenberg Literary Archive

The Project Gutenberg Literary Archive Foundation is a non profit

501(c)(3) educational corporation organized under the laws of the
state of Mississippi and granted tax exempt status by the Internal
Revenue Service. The Foundations EIN or federal tax identification
number is 64-6221541. Its 501(c)(3) letter is posted at
http://pglaf.org/fundraising. Contributions to the Project Gutenberg
Literary Archive Foundation are tax deductible to the full extent
permitted by U.S. federal laws and your states laws.
The Foundations principal office is located at 4557 Melan Dr. S.
Fairbanks, AK, 99712., but its volunteers and employees are scattered
throughout numerous locations. Its business office is located at
809 North 1500 West, Salt Lake City, UT 84116, (801) 596-1887, email
business@pglaf.org. Email contact links and up to date contact
information can be found at the Foundations web site and official
page at http://pglaf.org
For additional contact information:
Dr. Gregory B. Newby
Chief Executive and Director
gbnewby@pglaf.org

Section 4. Information about Donations to the Project Gutenberg

Literary Archive Foundation
Project Gutenberg-tm depends upon and cannot survive without wide
spread public support and donations to carry out its mission of
increasing the number of public domain and licensed works that can be
freely distributed in machine readable form accessible by the widest
array of equipment including outdated equipment. Many small donations
($1 to $5,000) are particularly important to maintaining tax exempt
status with the IRS.
The Foundation is committed to complying with the laws regulating
charities and charitable donations in all 50 states of the United
States. Compliance requirements are not uniform and it takes a
considerable effort, much paperwork and many fees to meet and keep up
with these requirements. We do not solicit donations in locations
where we have not received written confirmation of compliance. To
SEND DONATIONS or determine the status of compliance for any

PG L
particular state visit http://pglaf.org
While we cannot and do not solicit contributions from states where we
have not met the solicitation requirements, we know of no prohibition
against accepting unsolicited donations from donors in such states who
approach us with offers to donate.
International donations are gratefully accepted, but we cannot make
any statements concerning tax treatment of donations received from
outside the United States. U.S. laws alone swamp our small staff.
Please check the Project Gutenberg Web pages for current donation
methods and addresses. Donations are accepted in a number of other
ways including checks, online payments and credit card donations.
To donate, please visit: http://pglaf.org/donate

Section 5.
works.

General Information About Project Gutenberg-tm electronic

Professor Michael S. Hart is the originator of the Project Gutenberg-tm

concept of a library of electronic works that could be freely shared
with anyone. For thirty years, he produced and distributed Project
Gutenberg-tm eBooks with only a loose network of volunteer support.

Project Gutenberg-tm eBooks are often created from several printed

editions, all of which are confirmed as Public Domain in the U.S.
unless a copyright notice is included. Thus, we do not necessarily
keep eBooks in compliance with any particular paper edition.

Most people start at our Web site which has the main PG search facility:
http://www.gutenberg.org
This Web site includes information about Project Gutenberg-tm,
including how to make donations to the Project Gutenberg Literary
Archive Foundation, how to help produce our new eBooks, and how to
subscribe to our email newsletter to hear about new eBooks.