tfBEE

DIE PAETIELLE DIFFERENTIALGLEICHUNG,

WELCHES DIE ZAHLEE UND NENNER DEE ELLIPTISCHEN
FUNCTIONEN GENtGE LEISTEN.

VON

PROFESSOR DR. C. G. J. J A C O B I
ZU BERLIN.

C r e l l e Journal ftir die reine und angewandte Mathematik, Bd. 36. p. 80 — 88.

II. 21

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
 UBER DIE PARTIELLE DIFFERENTIALGLEICHUNG, WELCHER
DIE ZAHLER UND NENNER DER ELLIPTISCHEN FUNCTIONEN
GENUGE LEISTEN.

Es sei
VV = 1—*», \/l—&2sin2cp = A
und

endlich
2Kx

In den vFundamentis nov. theor. funct. elliptic.^ habe ich gezeigt, dass die ellipti-
schen Functionen sin cp, cos cp, A. Briiche sind, deren Zahler und Nenner sich
durch die Transcendente 6 darstellen lassen, welche selber sich in die Reihe
l+2gcos2#+2S*cos4# + 229cos6# + etc- = 0
entwickeln lafst. Jeder Term dieser Reihe und daher die ganze Reihe selbst
geniigt der partiellen Differentialgleichung

* dq ~~~ dx2 '

Diese partielle DiiFerentialgleichung muss sich, ohne dass man die Reihenent-
wickelung von 6 kennt, unmittelbar auch aus den aufgestellten Definitionen
ergeben. Es kann die Frage entstehen, ob man nicht zu solchen einfachen
21*

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
 164 UBER DIE PARTIELLE DIFFERENT! ALGLEICHUNG - ^ = — 4 ? y ~ *

partiellen Differentialgieichungen durch Einfuhrung analoger Grofsen auch fur

complicirtere Transcendenten gelangen konne. Ich werde daher, um aus den
obigen Definitionen die partielle Differentialgleichung, welcher 6 Geniige leistet,
abzuleiten, statt von dem Integral u von dem allgemeineren Integral

ausgehen, welches sich fur

a = p = i, T= * > r = ¥, t = sin2cp
auf 2u reducirt, und nur schliefslich, wenn die weitere Fortfuhrung der Rech-
nung es erfordert, fur a, (3, y die angegebenen besondern Werthe setzen.
Es sei fur "Werthe von a und p, welche zwischen 0 und 1 liegen, und
fur T > p ,
Y = f t?-l(l—f)y-?-l(l—rt)-adt, y = f\('-1(l—ty-P-1(l—rf)-adt,
Jo t/o
wo y die von E u l e r , Pfaff, G a u s s , K u m m e r und anderen vielfach behan-
delte Transcendente ist. Man hat fur die beiden Transcendenten Y und y die
Differentialgieichungen :

{r-rr)y" +\i-(* + $+l)r-]y'—*$y = 0,

in denen, wie auch im Folgenden, durch die obern Indices die nach r fur ein
constantes t genommenen Differentialquotienten angedeutet werden. Setzt man

so kann man diese Gleichungen auch so darstellen:

r — rr = _ a r — rr

= 0.

Nennt man z ein zweites Integral der Gleichung, welcher y geniigt, so hat
man auch
p r—rr
= 0.

Ein solches Integral ist

= rt^\t-lY^-\l-r
Jo

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
 a*9 , ae
XJBER DIE PARTIELLE DIFFEKENTIALGLEICHUNG -w-j- = ^9~g~

wo T-L = 1 — r. Aus den vorstehenden Differentialgleichungen folgt, wenn man

y y J r—rr
setzt, und c eine Constante bedeutet,

Bv' = — v . ^ - > BV = — oder

Wenn man statt r die Grofse I als unabhangige Variable einfiihrt, so wird das
vollstandige Differential von v durch die Gleichung

^dt
dv = —^dt ] vdr
+ 'd = ^K { {lrt)
l }t ) - ^
y dt y t—tt c
gegeben. Betrachtet man v und I als die beiden unabhangigen Variabeln, und
unterscheidet die unter dieser Annahme abgeleiteten partiellen Differentiate
durch Klammern: so geben die vorstehenden Formeln :

dvj dv T
dt

1st eine Function V in r und t gegeben, und man ersetzt die Variabeln r und
t durch / und v, so wird
dV( dt
&vJ ~ dt
und zufolge der vorstehenden Formeln das nach I genommene Differential

\ dl J ~ dt \dl J +
dt \dlS ' dr \dl,
dV
c \'dv JJ c dr
Nimmt man fur V die Function
V = ^TZ = —\Eyyv' = \B(y'Y—yT),
so wird
fdV\ _ ±(^VV\ ,oyyTR_ dZ_ ^(^
\ d l J ~ c \ d v J ^ 2c dr c V do J ^ 2c r — rr )

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
 920 r9fa
166 UBER DIE PARTIELLE DIFFERENTIAL GLEICHUNG -^r-y = — 4q -g— .

Es ist ferner
V}
dv ) ~ \ dv ) ~ l—rt \ dv J ~ 1—rt '
woraus

folgt. und hieraus

( o T
Durch Combination aller dieser Formeln ergiebt sich

*?T _ .
a rt) 2a+1
dlJ c\ dv ) — cr—rrt-tt
Man hat daher, wenn man I = ck setzt, in Bezug auf die hier betrachtete all-
gemeinere Transcendente Y den folgenden Satz :
Es sei

= f tP-1(l—t

= Jr~y ( 1 - ry-"-?-1 y-2dr, v = —,

= ^ / ( l — ty-t frv-l(l—

so genugt V, als Function von v und \ betrachtet, der partietten Differential-

gleichung:

0 = ^ -
k
In dieser Gleichung sind die Grofsen t und r aufser in X und v noch explicite
d2V
enthalten. aber nur in einem einzigen in -—- multiplicirten Factor. Ich will
jetzt zu dem besondern Falle der elliptischen Integrale iibergehen, in welchem
dieser Factor der Einheit gleich wird.

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
 UBER DIE PAKTIELLE DIFFERENTIALGLEICHUNG -g^- = — ^Q~Q~ ' 167

Setzt man namlich in den vorstehenden Formeln

T = 1, a = (3 = i,
so wird
jR =r *•—*r, TT = t — tt, (l—r*)-2fl+i = 1,
und es verwandelt sich daher die zuletzt gefiindene Gleichung in die folgende :
(dV\ £ (d.VV\ _ 1_ fd2V\
\dl ) ~ c V dv ) c \ dv2 ) '
Man setze
Crdv = W,
so giebt die Integration dieser Gleichung nach v
fdW\ _ fdW\2 (d2W\
C
\W) ~ V dv ) \dv* J'
Wenn das Integral, durch welches W definirt wird, von 0 an genommen wird,
so mufs man zu demselben solche Functionen von I oder r addiren, dass fur
v = 0 oder, was dasselbe ist, fur t = 0 die vorstehende Gleichung erfiillt wird.
Fur t = 0 verschwindet Y und daher auch Y'9 und es wird daher

ferner erhalt man aus dem oben angegebenen Werthe von (——) fiir t = 0

Setzt man daher

f
so muss FT0 die Gleichung

erfullen, woraus

folgt. Setzt man endlich

; _ -/ Vdv

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
 .. <920 69
4
UBER DIE PARTIELLE DIFFERENTIAL GLEICHUNG -g-g- = — £^-.

so erhalt die partielle Differentialgleichnng, zn welcher man gelangt war, die

einfache Form:
dQ
C
\dlJ ~ \dv2/'
Es ist aber in dem hier betrachteten besondern Falle
dt
r =
\Jt(l—t){l—rt)
_ JoC \jt(l—t)(l—rt)
Jo \/t(l—t)(l—
und daher, wenn man
r = lc2, t = sin2cp
setzt, und den Grofsen u, K, K' etc. die ihnen oben beigelegte Bedeutung giebt,
u 2x p ,2^2
Y _ 2u, v = ^ - —, I t - k k .
Die Differentialgleichung zweiter Ordnung, welcher 22" geniigt, hat auch die
Losung K'; man kann daher
0 = 2Z f
setzen, woraus
e K' :

fol^t. Die Constante c hat man aus der Gleichung - ^ - = v2dl oder

c 2' A2 = KKdlogq

zu bestimmen. Fur unendlich kleine Werthe von # wird nach einem Satze
E u l e r s in den Opusc. V. A.
4
?^ daher
C = 7T.

Substituirt man die Werthe I = log q, v = — , c = — IT in die fur Q

gefundene partielle Differentialgleichung, so wird dieselbe:
_ dQ_ = d*Q_
q
dq ~ dx* '
Ich will jetzt zeigen. dass die Function Q von der oben mit 6 bezeichneten
Transcendente nur um einen constanten Factor verschieden ist.

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
 UBER DIE PARTIELLE DIFFERENTIALGLEICHUNG

Aus der Formel

ergiebt sich, wenn man nach r = k2 differentiirt,

Es ist aber 12 sin cp cos cp /

fc ct r = l —•
A V
sin cp cos cp / k'W
und daher
72Tr, /*V 1 1\ j 1 -c,, N fc2 sincpcoscp
^ Y = I \~\s \~)dy> = n,-,, E{u) — u JTJ-, • -

Hieraus folgt, wenn man cp == -j-ic setzt,

1 ^ ^

und daher

Man hat daher nach einander die Formeln:

—j Vdv = ^ Vdu = I E(u)du—% '" -

0
-/ yd« / E{u)du—^ _
a = V2#e ° = \/2KAeJo K
= S/TZ.S,
w. z. b. w.

Die Transcendente 6 = - — Q geniigt derselben partiellen Differentialglei-

chung wie Q, oder der Gleichung
dB a2e

welche sich aus der Reihenentwickelung von 8 unmittelbar ergab. Umgekehrt

kann man mittelst dieser partiellen Differentialgleichung die Reihenentwickelung
von 6 finden. Wenn a positiv ist, wird fur t = — sowohl V als / Vdv un-
ii. 22

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016
 32 to 9Q
170 UBER DIE PART1ELLE DIFFERENTIALGLEICHUNG -g-7- = — ^tf ~Q~

endlich und demgemafs 6 verschwinden. Fur t = — erhalt man fefner, wenn

man fur z den oben angegebenen Werth setzt,

und daher

Vermoge der partiellen Differentialgleichung erhalt die fur 0 anzunehmende

Reihe die Form:
A + 2-4.i# c o s %x + 2^-224 cos 4:X + 2 A3q9 cos 6x + etc.,
wo A3 An A2, etc. Zahlencoefficienten sind, und es giebt die Bedingung, dass
diese Reihe fur x = \%—il°g?V—1 verschwinden soil, die Werthe
A = Ax = A2 • • • = 1.
Die hierbei gemachte Voraussetzung, dass eine Entwickelung von 6 nach den
Cosinus der geraden Vielfachen von x fur jeden reellen oder imaginaren Werth
von x gultig bleibt, rechtfertigt sich durch den Erfolg.
Die vorstehenden Betrachtungen lehren, dass man aus der Definition der
Function 6 durch geschlossene Integralausdrucke die merkwiirdige Reihenent-
wickelung dieser Transcendenten mittelst allgemeiner Methoden, ohne einen der
Theorie der elliptischen Functionen eigenthtimlichen Satz zu kennen, ableiten
kann. Die weitere Verfolgung dieser Betrachtungen und die Untersuchung,
wie weit sie auf die allgemeinere Transcendente Y Anwendung finden, behalte
ich einer andern Gelegenheit vor.
October 1847.

Downloaded from https://www.cambridge.org/core. Stockholm University Library, on 09 Nov 2019 at 21:32:49, subject to the Cambridge Core terms of use, available at
https://www.cambridge.org/core/terms. https://doi.org/10.1017/CBO9781139567961.016