Beitrage zur Theorie der L a m d ' ~ h e n Functionen.

Von
gAR~ H~u~ in Mtlnchen.

G a u s s hat in der Abhandlnng ,,Methodus nova integralium valores

per approxim, inveniendi" die Gruppe der Diiibrentialgleichung, welche
durch die Kugelfunctionen integvirt wird, aufgefunden. J a c o b i er-
hielt im 56. Bd. des Crelle'schen Journals das analoge Resultat ffir
alle hypergeometrischen Differentialgleichungen, welche eine rationale
LSsung besitzen. H e i n e ist in dieser Richtung noch welter vor-
gedrungen und gelang~e im 60. Bd. desselben Journals zur Gruppe
der sogenannt~n L a m g'schen Differentialgleichung. Selbstversrt~udlich
ist gerade die gruppentheoretische Bedeutung der Resultate in diesen
Arbeiten nicht hervorgehoben. ThatsEchlich haben abet die genannten
Mathematiker specielle gruppentheoretische Probleme voIlst~ndig gelSst.
Der Umstand, dass die Resultate im Gewande des Kettenbruchalgorith-
mum auftraten, musste die Erkenntniss ihrer wese~tliche~ Bedeutung
erschweren. Aber man darf desshalb den Kettenbruch doch nich~ als
ein zufiilliges Moment in diesen Untersuchungen auffassen. Er t~t
eine wohl definirte Stellung in der R i e m a n n ' s c h e n Theorie d ~
Differentialgleichungen. Um dies zu erl'~utern will ich das G a u s s ' s c h ~
Resultat als Beispiel benutzen. In tier fiblichen Bezeichnung ffir die
Kugelfunctionen ist n~mlieh
1 x + 1 . / ~ . ) ( z ) - - Z~-~ ( x ) ,
Q") (x) ~-- :i lg x - I

wo Z~')(x) eine ganze Function yore Grade • - - I bedentet. Man er-

kennt aus dieser Relation ohne Weiteres, class die Gruppe f~ir die
Differentialgleichung der Kugelfunctionen dutch den Periodicit~tsmodul
1 l~,
der Function .~ ~ xz-{-1
- - i bestimmt ist und class dieselbe eine d/sere/e,
in der Terminologie des Herrn P o i n c a r g ist. Die recurrente Relation
zwischen drei consecutiven N~herungsnennern oder den zugehSrigen
Resten tier Kettenbruchentwicklung yon -~ lg I '
 Zur Theorie tier Lsm~'scheu F~u~o~e~ 181

und Q~")(z) tiefert~ ist dne .P-.~fio ~ ' ~ funetiones eontiguu u in

der Gauss'sehen Benennung. Der Kettenhrueh bestimmt also nieht
a!le~ die Gru~t~ , sondera auch t ~ e ~ zwis~en gleiehgruH~u
Funct~onen.
l~3r die sogenannten Lam~'sch~n Funet~onen hat H e i n e L c.
die Function, welche in einen Kett~mbruch zu en~ckela ist, voll~
s t ~ g besthumt and bewiesen, da~ diese Theilnenner bis zu eiaer
gewissen Stelle line~r~ der n~chstfolgende abet quadmtisch wird. Wm
der Kettenbmch jenseits dJeser -kxitSschenStelle beschaffen ist, blieb
unentschieden. Die formale Theorie des Kettenbruchalgorithmus konnte
keinen Aufschluss geben. An eine wirkliche Aufstellung der fragli~ea
Theflbr~che war auch nicht zu denken. Es bieten sich abar in der
soeben angedeuLeten gruppentheoret~sche~ Interpretagon de~ Kettan-
bruchs die hinreichenden Hilfsmittel zur vollst~ad/gen L~sung dieser
Aufgabe dar. ~an kaan ngmtich die Differentialgleichungen aufstellen,
welchen die N~herungsnenner genfigen and hieraus die recurrenten
Relationen~ die zwischen denselben bestehen, herleiten. In ~e~er
Weise erg~b s~ch~ dass diejenigen Theilnenner, welche auf den quadra-
tischen folgea, aasuahmelos I/near sind. Der Kettenbrach wird al~o
jenseits der erw~hnten kudtischen Stelle wieder regular.

I*
Die sogenannten Lam~'schen Funct/onen sind sp~Mv Rie-
mann'sche Fanctionen zweiter Ordnung mit vier Ver~weigungs-
p ~ k ~ m Ihr Indicessehema ist
0 1 OD

0 0 0 ~
! 1

a.qetzt m a n

wo
c~,,(q) ~ ~, c~,~(a) = ,,,sf- + { ~ + ~ - ~ + l+O,+0)a} q - ar
and allgemeia

- - (~ + ~, - - :) 6s + ,, - - I) O' + ~ ' - - ~) ~,a- ~ , - o ( q ) ,

182 K~ H~.

dann s~nd

(a ~ ~, s ~ s x)
yT~-~)..~ ,q; --T+I, T+~, -y, ~-; ,

--T-t-l, T+~, ~, ~; ,
/(~-~)(o:-a).F(~,~; ~ +~, .-;+-r ~, ~; ~),

]/~.F ,q; ~ , T+ I, .~, ~; ,

r ~ , ~' 6 , q; '~ - ' ,~ , ~ ~)

"z ' T + 1, ~, ~; ,

f~(k~-~)(x--a) .-~" , q; ~ , T+ ~, -~, -~; ,

Functioaen, weIehe das obige Indicesschema besitzem Der charak-

teristische Parameter ~ ist in jedem der vorstehenden 8 F~lle so zu
bestimmen~ dass die betreffende 1?-Function eine ganze rationale
Function wird. Nun stell~abet bekanntlich die Reihe F(a, q; ~, ~,~,~x)
eine gauze rationale Function m ~e~Grades dar~ wenn ~ ~ - ~ m u n d
eine Wurzel der Gleichnng G(~+~)(q) ~ 0 ist, Da die obigen ~F.Func.
tionen alle in der Form
1 1

enthatten s~ud, wenn al, a~, as die Werthe -tu 1 oder ~ 1 annehmen
und zur Abkfirzung a ~ -g
1 (al "~- ~- ~ ~3) gesetzt ist, so muss das
betreffende q in jedem Falle der Gleichung G(~d-z)(~)~ 0 genfigen,
welln
G(~) (~) ~ ~,,

+l~-y ~ ( ~ , + ~ + [ ~ - -~
' (~,+~]oi~-0- -~,)o
~
und s]lgemeSu

c~) ~,,~ =[~ 1[.-~ (~,.,.,). ~]. t~,,- ~-~,.~)+ 1]oI

- m ( ~ - - e -1- 2) e I 9 ~ ' ) ( ~ ) - -
1
- *'(" - ~ ~,) O' - " , - ~) (,, + ~ - ~ + ~) ,~ ~('-')(~)
 Z~ Theorm &~ L '
ist. Die Gldehm~g G~'~t~(~) ~ 0 ist also ia Being t d die Unbdamnte
yore Grsde m + L Ueber ihre Wurzeh shd m e k d ~ Unte~
su~ung~m augestellt wo~en. Ieh verweise in dieser Bemehtmg suf
H e i n e , .Handbueh der Kugelfuncthuen" [M. I, p. 364 end su.f
eine Abhandlnng des Herin F. Klein in den Mathen~ Annalen
Bd. 18.
Die Werkhe yon ~) ~, ~ und ~ i~ die ohigen 8 Func~d~o~ea
sind in derselbea Aaordnang diese

-[-1 -~1, -~-I, ~ **-t

1, 1, + I , ~ I; +1, --1, +1, --~"

~ ~L;

Dutch das Symbol (~, ~, ~) kSnnen ~ir also dne ~ Form

LamWscher l;hnetionen bezeichnea, l~Ir die Function ~-~I~-iul~Jrl~
heisst ~ B. die Gleicknng (A)

8
und es wh-d
1

Folglich h e ~ f ~ n ~= ~ die Gldchung~ welche den chsmkt~

ri~schen Parameter bes6mmt,
s I 0.

Die beMen Werthe i~r q slad also in die~e~m Fslle

l

! [1- ~ ~nnimmt; & h. dex Puakt a c o i n ~ mit daem

2
der Endpunk~ der Basis des ,~Modulardreiee~~ ~ vergl, Nr. 2
der vorhergehenden Abhandl.],
D~ die Function ~(a, q~ ~ ~, 7, 8; ~) der Glei~ung
184 ~ ~.
~y

[(,~ + : + ~)~- 1.+:- ~+ ~ + (~ + ~)~} ~ + ~ ] . ~

+ ,~p(z - ~). y = o

gen~gt, so muss tier raLionale Bes~and~heil tier Function (a~, a2, ~3)~
welcher glddi
_~(~,e; - ~ , , ~ - ~ + ~ , ~ - - ~1 , 1 - - ~1 , ; ~)
ist, ein Inbgral der Gleichung
(I) ~(a: -- 1) (x - - a)- -~-~- Jr"

-~(~--~+2)(~-e)v=o
sein~ wrillrend die Fllnetion (~i, a2, a~) selbst die Gleiehung

(i) ,p(x) 9 - - ~ 4- =~--~-. a. ,

befrie~gk
Die Integrale der Diffezentialgleichung (I) lassen sich in mannig-
faeher We~se dutch die T-Function ausddicken. So hat man z. B.
f~ den Pankt ~ ~---co die LSsungen

~,~,~({-,~-,~,-,~+~,~ - ~ , ~ + ~ - l , ~ - ~I. ~ ~),

1

V~ ~ : r ' ( ' - ~ ' ) . F ( ~ , ~; m--a~--2, ~,~--~-kE~..b . , 2 m - a + 3 ,

1 ~)
wo g eLue line,ire Funci~on yon ~ ist, welche einer Gleiehung
~+~(~) ~ o
g e n a ~ die der Gleichung G(m+i~(q) ~ 0 enbpricht. ~/t unter-
~cheidet sich also yon

9'(~,~; - ~ , ,~-.+~. 1 - - ~1 , , i - - ~1; ,~)

nut durch einen constan~en Factor. Man kann demnach alle Lam~'-
schen Functionen darstellen dutch den Ausdruck

(l a) (a,, a~., ~)= x ,t (:~_ 1)--~-(m_ a) ,t

(~- ' 2,~ ~ ~-),
 Z.r Theo~ der Lam~'~cheuFunct~e~ 185
we far ~ eine der m + 1 Wurzeln der Gleiehung ~=+~(q) am 0 ZU
setzen ist~ H e i n e nem~t au~h die Fanction
1--$, l--~t 1-.~
(~ -- I)T (z - a) T

1 - - T ~a; -~)
eine Lamg'sehe und unters~eiaet bride Ausdr~eke als F~ncfionen
erstcv und zwe/~ Art. Wit ver~r im Folgenden unter ham6'sdaen
Functionen nut die dutch die Gleichung (l a) defmirten Ausdrtlcke.

2.
A e i n e hat bekanntli& den rat~o~en Thdl de~ Lam$'~chea
ganc~ionen mi~ der Ke~enbruchentw/eklwag ~ e|li~scher Inte~
grale dr/tter Gattuag in Verbindung gebraeht und gefundea, dass
dersdbe siah ats eia b~stimmter Nghe~ngsaeaaer a~a~sen Dast. Ia
unserer Bezeichnung lautet dieses Resulf~t:
Dex rationale B ~ d t h e i l vo~ (~s, ~z~ ~) is~ d~r m~,
Ngherangsnenner der Ketienbrachentwicklung der Function

W = r~ ( = - *) F~m~i ~- r=. . - =) V~=,'i~ '

1

wo ep(z) ~ x', ( x ~ l ) ' , (x,--a)~ ge~etgt ist and r,,r~ so zQ

b~dmmen ~ind, da~s der ~.7~"I-~ Theihenner, in Bezug
auf x, nieht wie die vorhergehenden, lite~r ~oadera yore
zweiten Grade wird. Der zagehSrige Rest, mul~ipLicir~ in
//~--(~ i~t idenfisch mit der Function
27 I 1

also, ebem~:~wie der Nenner, elne l~sung der Diiferential-

gleieha~g (I).
Die Kettenbruehentwiddung der Fanc45on W L,~yon Heine ~Ibst
nieht we/t~r anf~rs~ae.ht. Die TheiL~enner, welche dem quadr~t/schea
vorangehen~ babe ieh zuerst in meiner In~uguraldisserta~.ion **Die
KugeLCunetionen und Lam~'schen Fanc*donen als I ) ~ t e r m ~ t e n ~
( 6 5 t ~ g e n 1881) expt/dte darge~IIr
186 KA~ Hcr~

Bezeiehnet man rait N("~(z), Z(')(%], ~'~(x) den NKherurgs-

nenner, N~herungsz~hler und zugehSrigen Rest ~,t~ Ranges der Ketten-
bruahentwieklung yon IV, dann ist nach dem obigen Satze:

(~,, ~ , ~3) ~ x-~-(~ - 1)-~-( ~ - ~)-~-" ~w~(x).

Ohne Weiteres erkennt man abet, dass bei fest~etLal~enem in die
Func~ionen
iV(~-~)(x), ~ ( ~ - ~ ) ( ~ ) . . . _~(~ sowie iV~-~)(x), i~(~+~)(x), . . . ,

jede mi~ der Irrationalit~t x - ~ - - ( x - l)-2-(x -- a) --2- mul~iplich~,

~egs Lam~'sche Func~ionen sind~ so lange lal ~ 1 /st. Es
ent~s~eh~ also die Frage, welche fu~t~entheor~ische Stellung diese
,~ljungh~en" Functionen zu den Lam~'schen Func~ionen einnehmen.
Ehe ich jedoch diesen Punk~ untersue~h% will ieh noch eine Bemerkung
zu dem Heine'schen Sa~ze beffflgen.
Die Function W hat die Form

WO
1 a
/~ f-1 ~z f" z~-~ d~

0 1

Die ganzen eUip~ischenIntegrale f z'- g~ F z'-~ d~

. . / ~ ~()
-~' J ~r~ ~ i ~
O
durch die In~egrale
1 a 1

:~ 4~1(1)
~l(o) ~(~) ' ~ o

rational ausdriicken, denn es ist

f d, , ~//F z ~- (~ - 1) -' -~"- (~ - a ) -' -T". V ~<t=

@) "

Wit setzen also

wo g.(O), g,(l) ale bekannte ganze rationale Funct~onen des Modul a

 Zur Theo,~ d~ Lttm~'tthea Funetieae~ 187
anzusehen sind. Zur Beetimmeag der Faetomn T,, , , benntat msm
nun die T h e e , daa
t
~,~ (x) - ~ - ~ - , + ~ J [ , ( x ) T ~

- F ( ~I, g ;- --m, - - m - { - ~ e tl , -- 2m-[-r 1-- ~., ~)

in der Umgebung des P t m k ~ x .~ r f'~ a//e ~ g e n Werthe yon

el, ~z.. ~s darstellbar ist in der Parm

Ist also

so miisaen in dem Produc~e Nc"~(z) 9 W die - - 1% -- 2r',.-- m ' ~ ~"

Po~m~ yon z au~.allen. Diese Fotderung ist erfllll~, wenn die Glei-
dlungen besf,e~en

ea K,'f'% /,,,_~+...+e,,+~ ~o--O,

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

Aus den m ersten Gleichungen diese~ Systems folgt, ~ abgesehe.

yon einem const~ten Fe~tor

(3) . . . . . . . - ~,-,(z).
C~ c~+t 9 " c*** I
~I x ...x- (
Die Gleichung

wel~e das Verh~ttnies der Consta~ten r~, r: besfimmt, wollen wit

jetzt n ~ e r betrschf,en, Aus der De~rmimmtenform ~ 2*Yt~(~) in
Verbindmng mit der Gleichung (a) echlieset ma.~ dass die Coefficient~n
/~,/t~,- -- 1~ die Form baben
~r,'* + A, r,'-~r~ + A~r,~'Cr/ + " "+ A,~,'~%
wo die A ga~uze r~tionale Functionen ~n~ Grades der ~Mmecendenten
at~et, at~v, ~(o), t~(~) sin& Die Gleiehung (4) bat also die Form

worin die H in B e r g aef die [ntegrale a, ~~ a~a~, a~t~), ~t,~ ,am

Gra~e m -1- 1 si~& Sic enteprieht der Gleiehn~ ~ ~d~)~)'~ 0 r
 da ~ eine lineEre Function yon q ist, auch der ursprfinglichen Glei-
chung G~n~w)(~)~ O, wenn man rt:r~ als die Unbekannte ansiehf~
Um jedoch die Beschaffenheit der 0oeflicienten r~ mad r~ zu erkennen,
ist es nothwendig die bisherige unsymmetrische Eiimlnation in Bezug
auf das System (2) dutch e~e symmetrisc~ zu ersetzen. Aus den
Gleichuagen (2) folgt der Reihe nach

~', ,=, ,,~,,~ ~ . _ ~ . . . . . ~ = + ~ o , , , + ( , ~ ~=+~.; ~ , ~ _ ~ + - - - + 9 ; ~ + i ~ o ) ~ i ~''

/,~(O)~ _L+~(O)h ._L _L~(O) ~ ~,tzfO)_t.[.(~)h ..L,,(1)h _L. _L.(i> h "~ .(t)
__fi+______ k.~:~ "r+,-Ir-,~'3 ,+a--l-+ ""T~r~i+,~2'+0J + -,I t,~2 i~,],I~3 "~--1 t" ''T~+++++§ 0,/

= ....... ,~+~ ~ , _ , , . . ~ , ~ ) 4 I,
r= (g(,~ h ~..,(o) h _L. _t_.,o) h~)_L/.t~) h _Lg~) s _~ .J_g~) 4~ +l,,
(o) {o) (@
~, _ (0,,,+~ 7,:+ g,,,+~h,+_, +.. + ~+~,+~4~ ~fo)~ y {D+ ~h _ tD h (z)
t+,~ +. + g,,,,+~~o) %|~}

Man seize nun m real je zwei dieser m + 1 Ausdrficke fiir r t : r 2

einander gleich. Hierdurch en~fehen m Gleichungen far die Coeffi-
cienten /~, h , ~ , - . . h0, in welchen die Transcendenten at+>, ~m,
I cot(~ r176 l
a~(o), as(i) diminirt sind, da ~1(1} ~(1)" i ei~en constanten Werth hat.
Die Coefficienten h h'~ngen also yon dem Modul a nur algebraisch
ab. Ferner er~ebt sich der fotgende Z u s a t z zu dem H e i n e ' s c h e n
Theorem.
Die constanbn Mulfiplicatoren r 1 und r 2 in dem Ausdruck

W = rl
/ (x-z)
+~~T-~j + r2j.( z - z) ~ '
1

dessert Kettenbruchentwicklung die Lam6' schen Functionen

lieferts haben die Form

~, = A + ~ . f ~' . C~_Z~ _

t 1

wo die A akje.braisahe Fmactione~ des Modul a sin&

 Zur Theor~ dee Lam6'~elma P ~ 189
Man kann also fin" W aaeh schreiben:

1 t

+ "0 o.Y v,(.) '

Hieraus erkennt man unmittelbar, dass die Coeffieienten c in der
Reihe
u
keine hSheren Transcendenten enthalten als a0e~aise/~ Functionea
des Modul a. Mit Be~eksichtigung der Gleiehung (3) ergiebt sida
also der S atz
Die zur La m6'schen Funetlon (~j, ~ , ~) .adjungirten"
Fnnctionen

z ~-'~(z - i) ' ( z - - s) ' 9 2 W ~ (x)

1~ I, 2 , . . . m - - 1 , r e + I , m + 2 , . . .~
entha|ten keine hSheren Transe~ndenten in Bezug ant" den
Modu! a als a~gebra",se~ Functionen desselben.
Dass dieser Satz nicht mehr besteht wenn r~ und r~ be//eb/9gewghlt
werden~ is~t selbstverstgndlid~. H e i n e hat im L Bd. sei~es Ha~d-
buchs p, 294 solche Functionen untersucht, ohne jedoeh fertigeResul-
tare zu erhalten. Ieh verweise auf diese SteRe, damit die LaxFolgendeaa
behandelten ,,~djunglrten" Functionen nieht etwa mit den dort auf-
tretenden verweehselt werden.

Wir betrachten jetzt die Nenner 2r ~-x~ Cx), 2~r~=-~(x), ... N"~(x)~
welche dem zur Lam6'schen Function (at, ~ , ~s) gehi~rigen Nenner
~T~(x) vorangehen. In der Gleichung

W==~,~- + --v,7 t, ~ , n - 1

erset~ man W mit Hilfe des Satzes yon der Vertauschang yon Argu-
ment und Parameter bei ell'rptischen |ntegro.len dutch den gquivalenten
Ausdruck
W "= l--L--" f y~'+7'z d e
 190 K.,a~ ~ .

wo 7a und 7t Constant~n sind und zur Ahk/irzung O ( x ) ~ *~'~)

v~
geaetzt ist. Die Gleiehung

brirge man dann auf die Form

Die reehte Seige dieser 61eichang ist in Bezug auf x ~ine~r. Man
set~e also

wo ~ eine Constante bezeichnet, deren Bedeutung noch zu ermitteln

bleibt. Aus tier letzten Gleichung folg~

(5) Y~i~) R~, ~ ~ w ~ ' ~- ~ cz~.

Ich zeige ram, dass ~(~) and //~--~)~0.) LSstmgen r Diffe-

rentia]g]dchung yon der Form
d2z dz
(6) ( z - - q) ,p(x) 9 - x z + x(~:) 9 ~ + ~(x). z ~- o

sind. In der That, gentigea z~, z2 dieser Gleiehung, duma bes~eht

die Relation
p _ s z(*~
~2 "~- z l , . / ~zi dx.

Sol! also 2g~4(x) ~ z~ mad ~/~--~/~r ~ z~ seia, dann is~

- - t" z(~) zz

zu se~en. D . h . es muss sein

-~- ]g e - ~(x).
Die Gleidaaag (6) geht jet~t ~ber in
a~$
 Zer ~ e r t e d ~ Lzm~'~t~e~ ~ i91
(z) muss eine gaaze nttionate Fuaetion zweiten Gnu]ee sdn. D~
IllI~t

is~, so hat diese die Form

Wit ktben also die Differe~ti~leieh~g

d~z

gensuer zu untersucheu. Z ~ e r k ~ n t man, dass ~,=, # ke'm

singuh~rer Punkt derselben seia kaun, da ale mit GL (I) gleichgruppig
sein muss. IDa nun die deterrain~enden Gieichungen dM Indice~
schema

0 0 --~

lidern, so muss e ein individueller Parameter [M. vergl. Nr.4 der vorher-
gehenden Abh.] yon s seiu. Die Functionen ~V~+z~(z)~2hrO'-~ (z) werden
Differentialghichungen gent~gen~ welche aus GL (H) hervorgehen*)~
wenn man F resp. dutch p-4-1 v~d F ~ 1 ersettt und den Para~
metern p~ z i , z o passeade Werthe giebt, Ich set~e zur Abkt~mng
.~,+~(~) =. ~+~ und entspreche~ ~ - ~ ( x ) - . ~ - ~ and t ~ r
die eatspree~enden G~ssen in ga~oger W e i ~ Alad~u be~tahea die
Relat/onea (d. Acta Ma~. B& I1, pag. 105)
dl

(7) /~-~. ~-) - ~-~, ~ + ~ ( x ) ~dn

-,

wo die p line,re und die g quadrafisohe Functionen yon ~ bedeuten,

Ich setze, ohne R~cksicht suf die oberen Indices,

D m ~ Elimination yon - dz
~ - aus den GL (7) folgt d a ~
(+) (+L~ ~-F),==, ~;§ (~) (§ ~ ~ (-I,-~ ( ]

") Setbatveret~dli~ mma~jet~t p ~ = - ~

192 K.... Hzw.
Um die Coefficienten in den Functionen p und g zu bestimmen,
bellutzt man am bequemsten die ]~e]ation

f zl dx , dx
)
dz I
wo r und z2 line'~r unabh~ngige Integ~rale der Gleichg. (II) sind.
Aus den Gleichg. (7)*) folgt mit Benutzung der Gleichg. (6)
dz(+)
f(x - - ~) ~ = E(x - - Q) @ g ' - - g F ) --pw] .~
dz
+ [(x - - O) @g + p O " - - F ~ ' ) - - P~] -d~-"
Mithin
zl(+) dz~1+1
dx
pz (x -- O) dz(+) "~
i z~{+) dx

~ " "
(x--~)(pg--pg)--p~ (x-- (~)(pg.-~) #'-- i ~) - - p Z z2

Die Vergleichung dieses Ausdrucks rail der obigen Determinanten-

relation giebt die Beziehung
(7 a) (z -- q) Lq(+~.r + g(+)v' - g(+)"~] + (g(+)z(+) -- ~+~ ~)
-- p(+)p(+) (x -- ~(+))

und eine analoge, in welcher der obere Index (-~-) dutch (--) ersetzt
is?, Die vorstehende Gleichung muss fiirjeden Werth yon x identisch
erffilltsein. Setzt man also zur Abkiirzung

(x-- ~) [g(+)g(+~+~+) ~'-- g(+)'~p]+ [.r z(+) --~(+) ~] ~ A,(+~~"

r~3

~(§247 (x - - ~)(+))= - ~ .B/+)x%

r~0
dana bestehen die Gleichungen
(9) .~o(+) -- ~o(+~ = o,....a~(+~-- B~(+)= 0, A~(+)= 0, A~+)= o,
*) Die oberen Indices aind, wo kein Missverst~ndniss m~glich ist, weg-
gela~en.
 Zur Theorie tier Lzm~'~he~ ~,~,~,ne.. 193
and die andogen Ausdriicke mit dem oberon Index (--). A ~ der
Gleiohv.ng

schHesst man, &~ss g ~ - - ~ - ) ~ 0 . Mithia ~st ~ /~-,~0,

Feraer foist aus

dass aueh p l H verschwindet. Endlieh bestimmen sich O~+~and ~-)

sowie die ~oeh unbek~nten Coefficientea in den Fanctionea p sad g
aus den Gleiehg. (9) und den zugehSrigen mit (--). Die Parameter
O, ko, k~ sind hierbei als Data ~nzusehem Die Gieiehg. ($) aimmt
jetzt die Form an
(8~) N~+~(z) = z.+~./r ~ . , - ~-*~(x),
wo ~:z+~ in Bezug auf x linear und s constant i~
Man bestimme nun 0 f~r die F~netion ~r~(x)~ was kdne Schwierigo
kelt hat, Alsdann ist die entspreehend~ GrSsse iu iV,~(x) r beka~nt.
So fahre man fort bis man zu NO~(x) kommt, i)ie wirkliche Auf-
15sung der hierbei auftretenden algebraischen Gleichungen seheiat
nicht einfaeh zu sein. Ffir unsere gwecke genfigt es jedoch die
Gleiehg, (8 a) aus der Differentialgleiehg. (]I) formell abgek-itet za habea,
Man kann also auch aus Gleichg. (II) die Partialbrfiche des Ketten-
bruehs Ftir die Function W bis zum ~-..S'i "t'~ (incl.) bestimmem Die
Relation

is~ miLhin die letzte, we-lehe dure.h die vors~hende Untersuehaag er.

Die Un~rsuohung der homogenea Iine~rea Rda~ioa, wdeh~

zwlschen den Functionen N~(x)~ No~l)(~)~ Nf~-~(x) ~ t ~ L~t
sehr e~fach. Man bat nut die Gle~chg~ (II) fiir ~t ~ ~ dar~h die
Gleichg. (I) zu ersetzem Im Uebrigea exgiebt s i ~ alles vr vorher.
Man finder, class ~ in der Rda~on

wiecler~m Iineiix is~

Andere Verhgltnisse treten erst bei der Gleichg. flit ~ t # ( x ) ~
N('~o(x) und Az(~-l~(x) ein. Naeh einem bekannten Satze yon E u l e r let

o _
194 K~L ~ .
wo die c die Thdlz~ler des Ket2enbruehs fox W sind. /~('}(x) muss
die Form

hubert. Da die c Constante sind~ so muss also -~(~-')(x) yore Grade

m + 2 sein. Hieraus sehtiesst H e i n e wei~er, dass in der Gleiehung

der Theilnenuer ~ + z yore zweiten Grade in Bezug aus ist. Dasselbe

Resultat muss abet auch aus der Theorie der glelchgruppigen Functionen
folgen. Die~ DiffereniSalgleichtmgen f~r N(')(x) und N (=-I) (x) sind
uns bekannt. Man finder ferner ohne Reehnung, dass ~(~+')(x) der
Gleichg. (lI) genfigt, wenn man dort/~ dutch m + 2 ersetz~, Man ha~
nun naeh einer Reduetionsformel [Aeta Math. Bd. 11, pug. 109]
I N(,~') (x) = g(+) N(=~(x) + h(+). V-
d N~z
(")(x) '
(11) und
d/V('~)(x)
~ ' ' - ' ) (x) = g(-* N(=)(x) + h(-). ~P. d. '

wo die g gauze Functionen yore zweiten Grade mad die h Constante

bedeuten. Wir semen zur Abkftrztmg
N ( ~ + ') (x) = ~ + ) , N(~.) (z) = y , N(~-~) (x) = ,(-)
und sehreiben start dex Gleichmag (11) unter Weglassung der oberen
Indices nut eiae Gleiehmag:
dy
(lla) r = g" Y -I- h~P. t i T "
Hieraus folgr mit Berficksiahtigmag der Gleichtmg ffir y:
d~y dy

dr.
-Z-C,= (g" - - ~ ) . y + (g + h V ' - - hZ) . , ~
dy .

Mithiu ist
h~ IYl, ~Y'
dg, " gy, "
~, ~u g" - - h ~ , g + h,p'--hz Y=' dx
W egen der Proportion

Y" "271
dY, I : = I : (x - o)

hat m a n also die Beziehmzg

0~) g O + 1 , ~ ' - - hz) - ~,,(g' - - ~ , ~ ) - . x - - e
fur jeden Wet ~& yon x. Diese liefert, da sie identisch erfltllt sein
m a ~ , I0 Gleiehungen fdr die Bestimmaag der Coefficieaten ia den 9
~)wie der beidea Constanten h and die Pankte 0r end 0I~. MeaJ
ka~m also jetzt diese Gr~ssea als ~ a t am~hen~ Aas dva GL (II)
folgt nun in der That die Gleichg. (10) uad zwar sind jetzt ~t,~ mad
c,,+1 volht~adig bes'fiau~t.
Da n ~ h dem Vorstehender~ No~'+~(x) der Gleichg. (I[) geaitgt,
wena dolt p dutch m -{- 2 ersetzt wird, so muss l / 9 ( x ) . I ~ ' ~ ( z )
als bategral dersdben Gleiehuag die Form haben

Folglieb ist
/ / " + ~ (x) ffi x -~+~' . '~ (~)-
Nach der Euter'schen Reetformcl muss atso ~,~t-~J(x) vom Grade
m-{-----~.~ sein. Man kennt jetzt die Form der Differeafialgleichuaib
welcher 2~'~'~'~)(x) genfigt ~ sic geht aus GL (II) hervor, wenn man F
mlt m q - 3 vertauseht. Eine Reelmang, wetche der in dot vorigen
Nummer gef~rten ganz analog ist, zeigt dana, dass )~,+~ in der
Re~ioa

lindir ist. Dass dort r durch y erse*tzt werden muss, ~mdert die
Schlazsfolgermag nieht, In dieaer %Vei~e F,~hrt man fort und kommt
zu einer beliebigen Relation

wo ~t~+~ line~ sein mass, wean c~+~ (hath der Voraaa~etzung) coa-
stanL ist.
Wir habea also das Resaltat gewonaen:
Wird die Fanctioa

W == r (:~ - .) V~'N + r~ (z - .) Y~(i) I a~ > 1

derartig in einea Kettenbrach entwickelt, daes der ~ "

.N52aertmgmemaer ( N ~"~(x) ) mnltipLieirt in x "Ti" ( x - - I) - T

( z - a) " der Lamd'schen Function (e~, s:, ~a) gldeh

wird, dann siad die ~eaner Ig~"~)(x), N(~-~)(x)*..No}(x)~
sowie die zag,~hSrigen R r mulfiplicLr~in ~ ( ~ I~suagea
196 K ~ L Ilmm. Zur Theorie der Lamd'schen Functionen,

der Differentialgleiohung (If), in welcher 0 ein in jedem

FaUe bestimmter ausserwesentlieh singul~rer Punkt ist. Die
Nenner ~Vi~q-,~(x)~ welche auf ~V~)(x) folgen~ sind yore
Grade m q- r q- 1 und genfigen ebenfaUs der Gleichung (If),
wenn man ~ dutch m q- r q- I ersetzt. Der Kettenbruch
ist also his zum m re" Theilnenner (incl.) regulgr. Nur der
unmiRelbar folgende Theilnenner wird quadratisch. Jenseits
dieser kritischen SteUe ist der Kettenbruch wieder regulgr.
F r a n k f u r t a/M., 24. Mai 1888.