Sie sind auf Seite 1von 64

1

-(ji

=*=^ K^
:0
.^

OSTWALD'S KLASSIKER
)

o
rO

EXAKTEN WISSENSCHAFTEN.
Nr.
116.

CD
"^

Die Darstellung

ganz willkrlicher Funktionen durch


Sinus- und Cosinusreihen
von

LEJENE DIRICHLET
(1837)

und

Note ber eine Eigenschaft der Eeihen, welche


discontinuirliche Functionen darsteUen
von

PHILIPP LUDWIG SEIDEL.


(1847.)

A 404-

L7 i
\m3S.y.l

ENGELMANN

IN LEIPZIG.

.^

Ankndigung.
Der
grossartige

Aufschwung, welchen

die Naturwissenschaften

in unserer Zeit

erfahren haben, .ist, wie allgemein anerkannt wird, wohl zum kleinsten Maasse durch die Ausbildung und Verbreitung der Unterrichtsmittel, der Experimentalvorlesungen Labora,

durch die vorhandenen Einrichtungen zwar die Kenntniss des gegenwrtigen Inhaltes der Wissenschaft auf das erfolgreichste vermittelt wird haben hochstehende und weitblickende Mnner wiederholt auf einen Mangel hinweisen mssen, welcher der gegenwrtigen wissenschaftlichen Ausbildung jngerer Krfte nur zu oft anhaftet. Es ist dies das
torien
u.
8.

w.,

bedingt.

Whrend

aber

Fehlen des historischen Sinnes und der Mangel an Kenntniss jener grossen Arbeiten, auf welchen das Gebude der Wissenschaft ruht. Diesem Mangel soll durch die Herausgabe der Klassiker der exakten Wissenschaften abgeholfen werden. In handlicher
Form und zu billigem Preise sollen die grundlegenden Abhandlun gen der gesammten exakten Wissenschaften den Kreisen der Lehrenden und Lernenden zugnglich gemacht werden. Es soll dadurch ein Unterrichtsmittel beschaift werden, welches das Eindringen Dasselbe ist in die Wissenschaft gleichzeitig belebt und vertieft. aber auch ein Forschungsmittel von grosser Bedeutung. Denn in jenen grundlegenden Schriften ruhten nicht nur die Keime, welche inzwischen sich entwickelt und Frchte getragen haben, sondern es ruhen in ihnen noch zahllose andere Keime, die noch der Entwicklung harren, und dem in der Wissenschaft Arbeitenden und Forschenden bilden jene Schriften eine unerschpfliche Fundgrube von Anregungen und frdernden Gedanken.
ihrem

Die Klassiker der exakten Wissenschaften sollen Namen gemss die rationellen Naturwissenschaften, von der
bis zur Physiologie

Mathematik

umfassen und werden Abhandlungen

aus den Gebieten


(einschliesslich

derMathematik, Astronomie, Physi k, Chemie Krystallkun de; und Physiologie enthalten.


Redaktion
fhrt

Die

allgemeine

von

jetzt

ab

Professor

Dr. Arthur von Oettingen (Leipzig:; die werden durcli hervorragende Vertreter der betreffenden Wissenschaften besorgt werden. Die Leitung der einzelnen Abtheilungen bernahmen: fr Astronomie Prof. Dr. Bruns (Leipzig), fr Matheeinzelnen Ausgaben

matik Prof.

Dr.

Wange rin
,

Halle),

fr

Krystallkuride

Prof.

Dr.

Gr'oth (Mnchen fr Pflanzenphysiologie Prof. Dr. W. Pfeffer (Leipzig), fr Chemie Prof. Dr. W. Ostwald (Leipzig).

Erschienen sind bis jetzt aus

dem Gebiete

der

Mathematik:
Nr. 5. C. F. Gaass, Flchentheorie. (1827.) Deutsch herausg. v. A. .80. derin. Zweite reviiiirte Auflage. (04 S.) Jl

Wan-

14.

C. F.

Gaass, Die 4 Beweise der Zerlegung ganzer algebr. Functionen etc. (17991849.) Herausg. y. E. Netto. Mit 1 Taf. (81 S.)

"

17.

Jl i.r.o. A. Bravais, Abhandlungen ber symmetr. Polyeder. (1849.) bers, und in Gemeinschaft mit P. Groth herausg. von C. u. E. Blasius. fO y.) Mit 1 Taf. Jl 1,. b.
d.

^:

19.

(1782),

Anziehung homogener Ivorj (1609), Gauss

Ellipsoide.

Abhandlungen von Lajdace

(1813), Chasles (1338)


S.)

und Dirichlet

46.

47.

60.

>>

64.

"

05.

67.

71.

Jl %. AbhandluTigen Theil: AbhandI. lungen von Jli. Bernoulli (1696), Jac. Bernoulli (1697) und Leonliard Euler (1744). Herausgegeben von P. Stckel. Mit 19 Textfl?uren. (144 S.) Jl 2.. II. Theil: Abhandlungen von Lagrange (1762, Herausgegeben von 1770), Legendre (1786) und Jaco1)i (1837). P. Stckel. Mit 12 Textfiguren. (HOS.) .// 1.60. Jacob Steiner, Die geometr. Constructionen, ausgefhrt mittelst der geraden Linie und eines festen Kreises, als Lehrgegenstand auf hheren Unterrichts- Anstalten und zur praktischen Benutzung. (1833.) Herausgegeben von A. J. v. Oettingen. Mit 25 Textflguren. (85 S.) Jf 1.20. ber die vierfach periodischen Functionen zweier C. 0. J. Jacobi, Variabein, auf die sich die Theorie der Ahel'schen Transrendenten sttzt. Herausgegeben von H. Weber. Ans dem (1834.) Lateinischen bersetzt von A. Witting. (40 S.) .70. Georg Rosenliain, Abhandlung ber die Functionen zweier Variabler mit vier Perioden, welche die Inversen sind der ultraelliptischen Integrale erster Klasse. (1851.) Herausgegeben von H. Weber. Aus dem Franzsischen bersetzt von A. Witting. (94 S.) Jl 1.50. A. Gpel, Entwurf einer Theorie der Ahel'schen Transcendenten erster Ordnung. (1847.) Herausgegeben von H.Weber. Aus dem Lateinischen bersetzt von A. Witting. (60 S.) Jl 1. N. H. Abel, Untersuchungen ber die Reihe: m '{m^tn m-{m \) im 2) 1)
fl839). Herausg.

von A. Wange rin. (118 ber Variations - Rechnung.

73.

3 2 (1826.) Herausgegeben von A. Wangerin. (46 S.) Jl 1. Leouhard Euler, Zwei Abhandlungen ber sphrische Trigonometrie. Griindzge der sphrischen Trigonometrie und allgemeine sphrische Trigonometrie. (1753 u. 1779.) Aus dem Franzsischen und Lateinischen bersetzt und herausgegeben von E. Hammer.
1

+ T^+

^-+
,

1.2.

--'^' +

Mit 6 Figuren im Text.

(65

77. C. G. J. Jacobi,

ber

die

S.) Jl 1.. Bildung und die Eigenschaften der Deter-

minanten.
(1841.)

(De

formatione

et

proprietatibus
(73 S.)

Determiiiantium.)

Herausgegeben von P. Stckel.

Jl

1.20.

. .

Nr. 78. J. C. G. JaCOl)i,

82.

83.

90.

91.

ber die Functionaldeterminanten. (De determinantibus functionalibus.) (1841.) Herausgegeben von P. St ekel. Jl 1.20. (72 S.) Jacob Steiner, Systematische Entwicklung der Abhngigkeit geometrischer Gestalten von einander, mit Bercksichtigung der Arbeiten alter und neuer Geometer ber Porismen, Projections-Methoden, Geometrie der Lage, Transversaleu, Dualitt und Eeciprocitt etc. Herausgegeben von A. J. v. Oettingen. Mit (1832.) I. Theil. 2 Tafeln und 14 Fig. im Test. (126 S.) .// 2.. Herausgegeben von A. J. v. Oettingen. II. Theil. Mit 2 Tafeln und 2 Figuren im Text. (162 S.) Jl 2.40. A. Bravais, Abhandlung ber die Systeme von regelmssig auf einer Ebene oder im Raum vertheilten Punkten. (1848.) bers, u. herausgegeben von C. u. E. Blasius. Mit 2 Tafeln. (142 S.) Ji 2.. G. Lejenne Dirichlet, Untersuchungen ber verschiedene An-

wendungen der

Inflnitesimalanalysis auf die Zahlentheorie. (1839 bis

1840.) Deutsch herausgegeben von R.


93.

Haussner.

(128

S.)

Ji^.

Leonliard Euler, Drei Abhandlungen ber Kartenprojeetion. (1777). Mit 9 Textfig. Herausg. von A. Wangerin. (78 S.) Ji. 1.20. 103. Josepll Louis Lagrange's Zustze zu Euler's Elementen der Algebra. Unbestimmte Analysis. Aus dem Franzsischen bersetzt von A. J. von Oettingen, herausg. von H. Web er. (1718) ^// 2.60.
107. Jakol) Bernoulli, Wahrscheinlichkeitsrechnung (Ars conjectandi). Theil. bersetzt und herausgegeben von I. u. II. (1713.)

E.

Haussner.

Mit

Figur im Text.

162

S.)

.//

2.50.

Theil mit dem Anhange: Brief an einen Freund ber das Ballspiel (Jeu de Paume). bersetzt und herausgegeben von R. Haussner. Mit 3 Fig. (172S.) J/2.70. lll.N. H. Abel, Abhandlung ber eine besondere Klasse algebraisch Herausgegeben von Alfred Loewy. auflsbarer Gleichungen.
108.
III. u. IV.

(50

S.)

Jl .90.
Inte-

112.

Augustin - Louis Cauchy, Abhandlung ber bestimmte


grale

z-wischen

imaginren Grenzen
(80
S.)

(1825.).

Herausgegeben von

P. Stckel.

Jl 1.25.
(1819),

113.

Zwei Abhandlungen zur Theorie der partiellen Differentialgleichungen erster Ordnung. Aus dem Franzsischen bersetzt und herausgegeben von Dr. Gerhard Kowalewski. (54 S.) J( i. 116. Lejeune Dirichlet, Die Darstellung ganz willkrlicher Functionen durch Sinus- und Cosinusreihen (1837) und Philipp Ludwig Seidel, Note ber eine Eigenschaft der Reihen, vrelche disconHerausgegeben von Functionen darstellen (1847). tinuirliche Heinrich Siebmann. (58 S.) Jl 1.

Lagrange

(1772)

und Cauchy

if^
Die Darstellung
ganz willkrlicher
riiiictiouen

durch

Sinus- und Cosinusreihen


von

LEJEUNE DIRICHLET
(1837)

und

Note ber eine Eigenschaft der


discoiitiniiirliche

Keilieii,

welche

Functionen darstellen
von

PHILIPP LUDWIG SEIDEL.


(1847.)

Herausgegeben
von

Heinrich Liebmann.

<

LEIPZIG
1900.

^^^.

fl

VERLAG VON WILHELM ENGELMANN ^'^Z

M-OH

LH

[152]

lieber die Darstellung

ganz willkrlicherFunctionen

durch Sinus- und Cosinusreihen.


Von

Lejeune Dirichlet.
(Repertorium der Physik von
//.

W. Docc und

L. Moser.

I,

p.

152

174, 1837).

Intervalle Functionen darstellen,

welche in einem bestimmten welche ganz gesetzlos sind, oder in verschiedenen Theilen dieses Intervalles ganz verschiedenen Gesetzen folgen, haben seit der Begrndung der mathematischen Wrmelehre durch Fouricr so zahlreiche An-

Die merkwrdigen Reihen,

wendungen

in der analytischen Behandlung physikalischer gefunden, dass es zweckmssig erscheint, die fr Probleme') die folgenden Bnde dieses Werkes bestimmten Auszge aus den neuesten Arbeiten ber einige Theile der mathematischen Physik durch die Entwicklung einiger der wichtigsten dieser

Reihen einzuleiten.

1-

unter a und h zwei feste Werthe und unter x eine vernderliche Grsse, welche nach und nach alle zwischen a und h liegenden Werthe annehmen soll. Entspricht nun jedem x ein einziges endliches y und zwar so, dass, wh-

Man denke

sich

rend X das Intervall von a


sich ebenfalls allmhlich

bis b

stetig durchluft,

f[x)

oder continuirliche
*)

*)

2) verndert, so heisst y eine stetige Function von x fr dieses Intervall. Es

Da im Folgenden

sein wird, so

nur von stetigen Functionen die Rede kann der Zusatz ohne Nachtheil wegbleiben.
1*

4
ist

Lejeune Dirichlet.

dabei gar nicht ntliig, dass y in diesem ganzen Intervalle nach demselben Gesetze von x abhngig sei, ja man braucht nicht einmal an eine durch mathematische Operationen ausGeometrisch dargestellt, drfickbare Abhngigkeit zu denken. d. h. X und y als Abscisse und Ordinate gedacht, erscheint von eine stetige Function als eine zusammenhngende Curve der jeder zwischen a und h enthaltenen Abscisse nur ein Punkt
,

entspricht.

[153] Diese Definition schreibt den einzelnen Theilen der Curve kein gemeinsames Gesetz vor; man kann sich diesell)e

Theilen zusammengesetzt oder Es geht hieraus hervor, ganz gesetzlos gezeichnet denken. dass eine solche Function fr ein Intervall als vollstndig bestimmt nur dann anzusehen ist, wenn sie entweder fr den ganzen Umfang desselben graphisch gegeben ist, oder mathematischen, fr die einzelnen Theile desselben geltenden GeSo lange man ber eine Function setzen unterworfen wird. nur fr einen Theil des Intervalles bestimmt hat, bleibt die Art ihrer Fortsetzung fr das brige Intervall ganz der Willkr berlassen.
aus

den

verschiedenartigsten

Es
die

seien ^1

und

die

Endpunkte von a und

/;,

und ay

der Function f[x) entsprechende Curve, so ist klar, dass mit dieser Function auch der Flchenraum AayfJB bestimmt der ist, welcher von den Ordinaten Aa^ B, dem Sttick

AB

Abscissenaxe und der Curve ay begrenzt wird, wenn er sich angeben lsst. Dieser Raum heisst gleich nicht immer genau bekanntlich auch das bestimmte Integral der Function f[X) von a bis b genommen und wird durch
'^]

/ f{x)

dx

bezeichnet.

Der Ursprung

dieses Zeichens

liegt

in der Art,

wie

die

Infinitesimalrechnung

einen

Flchenraum

solches Integral betrachtet.

Wird

die Linie

AB = a
h

oder

ein
in

eine Anzahl n gleicher Theile zerlegt, deren gemeinschaftlicher

Werth

=
n

=d

und werden

durch
.

a und
. .

die

End-

entsprechenden punkte der den Theilungspunkten 1, 2, 3 Ordinaten Parallelen mit der Abscissenaxe gezogen, so entstehen n Rechtecke, deren Summe

Darstellung willkrlicher Fnnctionen.

1)

6f[(V

+ d f[a 4- + fV( + 2
^)

^/-(a

+
(n

1) J)

und >vie es auch schon unaufhrlichem Wachsen der Zahl )t zuletzt in den Flchenrauni Auy(iB bergeht, d. h. man kann n immer so gross whlen, dass die Summe (1) von diesem Rume um weniger verschieden sein wird, als eine noch so kleine vorher bestimmte Grsse. Nimmt man h a und also auch 6 als positiv an, so erscheinen oflenbar die in (ly enthaltenen Rechtecke als positiv oder negativ, je nachdem sie auf der Seite der positiven oder der negativen /y
wie sich leicht streng beweisen lsst
blosse
^),

die

Anschauung

ergiebt,

bei

liegen.

Umgekehrt verhlt
6

es sich,

wenn

negativ

ist.

Es geht also hieraus hervor, dass ein bestimmtes Integral

/"(a;)

dx

den Grenzwerth betrachtet, welchen (1) n annimmt) nur insofern als Flchenraum angesehen werden kann, als man bei letzterem die Theile,
als

(wenn man dieses

fr ein unendliches

welche auf entgegengesetzten Seiten der Abscissenaxe liegen,


entgegengesetzt und zwar die auf der Seite der positiven // liegenden als positiv oder negativ nimmt, je nachdem h gi-sser oder kleiner als a ist.

2.

ri54; Aus der Definition des bestimmten Integrales als Grenzwerth von (1) oder als Flchenraum mit der eben angegebenen Modification folgen fast unmittelbar mehrere Eigenschaften, die ich hier zusammenstelle, um mich im Folgenden leichter darauf berufen zu knnen; c bezeichnet wie a und h
eine Constante.
h

(2)

Jf(x)dx
a
b

Jf{x)dx,
b b

(^)

/
a

^f{^) dx
i

=
6

c
a

f[x) dx

+c

(4)

Jf[x)dx

=ff{x c)dx,

6
b

Lejeune Dirichlet.
bc

(5)

//Mrf.=i//(f)..,
a
b

ac
b b

(6)

f{f[x)
n

F{x)) dx = ff{x)dx Jf[x) dx


a

(7)

Hat

f[x)

zwischen x
h

=a

und x

immer dasselbe

Zeichen, so

ist

f[x]dx positiv oder negativ, je nach-

dem

jenes Zeichen
h

dem von

gleich oder entgegen-

gesetzt ist.

(8)

Das Integral
a
b

cp[x)F[x)dx
b

liegt

immer

zwischen

MJF{x)dx und
a

NJ F[x]dx,
a b sein

wenn F{x)

innerhalb

der

Grenzen a und

N
findet,

respective

den

zeichnen, den (f{x)

Zeichen nicht ndert und 31 und grssten und kleinsten Werth*) bein dem genannten Intervalle erhlt.

welcher im Folgenden hufig Anwendung aus den vorhergehenden abzuleiten. Nach gemachten Voraussetzungen bleiben 31 und den ber
Dieser Satz,
ist

leicht

M
cp [x)]

cp [x)

cp [x]

zwischen x

=a
[3f

und x =^

b stets positiv.
,

F{x)

[cp {x)

N] F{x)
immer
folgt,

sind daher in diesem Intervalle entweder beide

positiv

oder beide immer negativ, woraus vermge


Integrale

(7)

dass die

f[M

cp [x]]

F[x) dx

f[cp

[x]

N] F[x) d X

*; Es ist wohl zn bemerken, dass hier bei der Yergleichung zweier Werthe hinsichtlich ihrer Grsse auf die Zeichen Rcksicht genommen wird; r heisst grsser als s, oder geschrieben ;> s, wenn die algebraische Differenz r s positiv ist.

Darstellung willkrlicher Functionen.

7 nach

[155] gleiche Zeichen


(6)

haben.

Werden
b

diese

Integrale

und
b

(3)

in

die
b

Form
b

MfF[x)dx
i>

j(p[x)F{x)dx,
a

fcp[x)F{x)dx
a

NjF[x)dx
a

gebracht, so

ist

Liegt c zwischen a und

beb
die
/>,

Behauptung bewiesen.
so ist

(9)

Jf{x) dx
a

=Jf{x)dx
u

-i-ffix] dx
c

Dieser Satz sagt nichts anderes, als dass der Flchenraura


b

)dx Jm^
,
^

durch die der Abscisse c entsprechende Ordinate in zwei andere Flchenrume zerlegt wird. Mau kann durch wiederholte

Anwendung

desselben jedes Integral in eine beliebige Anzahl anderer Integrale zerlegen. Es geht z. B. daraus hervor, dass

(10)

/<cos 2'mxdx
))i

= 0,

wenn
andere

ii-gend eine

zeichnet.

von Null verschiedene ganze Zahl beZerlegt man nmlich diesen Flchenraum in 2 m den
^

zwischen
,

Grenzen

und - -

7V

4m
-

TT

und

4:m
S/r

{2m
,

...

Ij/r 4
7?^

4w

47H
TT

und
sieht

4w
2
TC

^ und -

2m7t
4

so

man

leicht,

dass der erste


ist

dem

zweiten, der dritte


ist.

dem

vierten u. s.w.

gleich

und entgegengesetzt
fr das

Endlich

Folgende noch die Kenntniss der

Summe

z der endlichen Reihe %


erforderlich.

= cos + cos 2^
d-

-\-

-\-

cos nd-

Um

zur

Bestimmung

derselben

zu

gelangen,

multiplicire

man die Gleichung mit 2 cos d- und verwandle die Cosinusproducte nach der bekannten Formel

8
2 cos
in

Lejeime Dirichlet.

Summen.
2s^ cos

cos ;' Man erhlt

= cos [ + cos +
;')

/)

so:

+ cos
Werden

^ = 1 H- cos -,^4- cos 2 ^ + 2^ + cos 3 + cos 4^ +


,9-

+ cos ^ + cos + 1)^.


{71

1)

[n

Die Vergleichung der oberen Horizontalreihe mit der durcli z bezeiclineten Reihe ergiebt fr dieselbe: z-}-! cosw.9^; findet man fr die untere: z ebenso cos i^' cos (w -{- l)i9-.

beide Werthe eingesetzt, so


i9-

kommt
(n

cos

= 2z
,

-{- 1

cos + cos + 1]^ cos nS-.


i9'

Bringt man 2 z auf die 2 (cos ^ so folgt 1)

andere

Seite

und

dividirt

durch

+
,

cosn-S-

cosfji+l)i9
cos ^)
,

2 (1

Dieser Ausdruck fr z wird vereinfacht


fr 1

wenn man 2

sin^
1
)

cos und 2 sin sin [n + i) ^


findet so:

fi'

cos nS-

cos [u +
^

einfhrt,

und den gemeinschaftlichen Factor 2


[156]

sin -- weglsst.

Man
(11)

cos

^+cos 2^H

cos

n^ =

_ + !l?i*!ltii^
jl

sm
2

Verschiedene Aufgaben der mathematischen Physik^) erbis 7t fordern die Darstellung einer fr das Intervall von ganz willkrlich gegebenen Function f(x) durch eine unendliche Reihe von folgender Form
a^

sin
3
.

x
.

-{- a^ sin
.

2x

-\- a^ sin

3x

-\-

von x unabhngige Grssen bezeichnen. Der natrlichste Weg zu der verlangten Reihenentwicklung scheint der sogenannte Uebergang vom Endlichen zum Unendlichen zu sein. Man denke sich nmlich zunchst die Reihe 1 von Gliedern bestehend, aus einer endlichen Anzahl u d. h. man betrachte den Ausdruck:
a^,
r/2,

wo

a^ sin

-}-

^ sin 2

a;

-{-

a_,

sin [n

l)x.

Darstellung willkrlicher Functionen.

9
Coefficienten

Die
a,
,
. .

duiin
.

enthaltenen

willkrlichen

)i

a, a_, lassen sich so bestimmen, dass dieser Ausdruck fr eben so viele besondere Werthe von rc, nmlich
-

in

1)
n

der

gegebenen

Function

f'.n
/

gleich o

Lsst man, nachdem die Werthe der Coefficienten gefunden worden sind, n ohne Grenzen wachsen, so geht die
wird.

endliche

Reihe

in

eine

unendliche

ber,

die

Werthe

^^
n
heit

II

rcken einander immer nher und erfllen

zuletzt das ganze Intervall

von

bis /r,

so dass die Gleich-

der Function und der unendlichen Reihe fr den ganzen


stattfindet.

Umfang desselben

Die Gleichsetzung der Function f[x) und der endlichen Reihe fr die vorher angefhrten besonderen Werthe ergiebt folgende Bedingungen
.

TT
1-

a. sin

a^
-

sm

.2 7t
n h

niTi

sin

a.

sm

2rr
;*

\-

a^
-

sm

4;r

h
11
.

201171

f'wi

sin

+ a_.sm
iSin

21)1

l)7t

J27T\ = /(),

~
tv

h^'jsmfn 1)-H
IV

hmSm(w 1)iV

Um
3
.

ans diesen n 1 Gleichungen irgend haltenen Coefficienten, z. B. aj (wo eine


.

einen

darin

ent-

1)

den Zahlen 1, 2, zu erhalten, multiplicire man diese Gleichungen

der Reihe nach mit 2 sin

157

2 sin

sm

n
Die so

2 sin hl

m
'TT

1)

und addire nachher

alle

zusammen.

entstehende neue Gleichung wird ^ allein enthalten und zur

10

Lejeune Dirichlet.
dieser Grsse fhren.

Bestimmung

Um

sich hiervon zu ber-

zeugen, betrachte man den Inbegriff aller Glieder, die in dieser Gleichung irgend einen Coefficieuten af^ enthalten, wo h wie 2 1 enthaltene Zahl beeine in der Reihe 1 3 ... n Setzt man /, als gemeinschaftlichen Factor heraus, zeichnet. so erhlt man als Vereinigung aller dieser Glieder
, .
,

(. 2

sin

mit n

}i7t
\-

sin

n
[n

^ 2 sin
.

2m7r
n
.

2hTr
-f-

sin

+2

l)in7t
11

sin

sm

[n

\)1i7T

und man beweist

leicht,

dass
ist,

der Ausdruck

Klammern der Null gleich Schreibt man nmlich statt

wenn h von

zwischen den verschieden ist.

der Sinusproducte Cosinusdifferenzen, so geht derselbe in folgende Differenz ber:

cos

[m

1^
/i)
-^

|-

cos 2

[m

im

/jr-

A)

1-

+ cos
(n

1) '

h] n
'
'

(12)
cos

{m
^

-\-

h]-

cos 2 [in -{-h]~

\-

+ cos
[n
Jedfe dieser

1)

[m

+
/^)
^

Reihen

lsst sich

Wenn man

dort i^

{m

nach Formel (11) summiren.


setzt

}t)7t

und n

m
.

ver-

wandelt, so findet

man

fr die erste

sin

{)}

^) [m

Tt

h)
11

+
2 sin [m

2
h)

TT

n
/

Erinnert

man

sich,

dass fr irgend eine ganze Zahl


sin [Itv

;/)

=:

sin /,
/

wo

das obere oder das untere Zeichen gilt, je nachdem gerade oder ungerade ist, so sieht man gleich, dass

Darstellung willkrlichtT Functionen.

h\

3m

(//

-ilf'

hl

=
Sin

siu

[im

h
,

:i

[ui

-^i

= Hund da33
je nachdem im

;n

/ii

Reihen (12) den Wertli 1 oder gerade oder ungerade ist. hat, Aehnlicherweise ergiebt sich fr die zweite Reihe (12} der "Werth 1 oder 0, je nachdem m -{- h gerade oder ungerade ist. Bemerkt man nun, dass m h und -f- h entweder zugleich gerade oder zugleich ungerade sind, da ihre Summe 2iii gerade ist, so sieht man auf der Stelle, dass der Ausdruck (12) verschwindet, wie es frher behauptet wurde. Es ist nicht zu bersehen, dass das oben gefundene Resultat wesentlich voraussetzt, dass li von verschieden ist. Fall, wo h m, erscheint der Ausdruck fr die Fr den
also die erste der

h]

Summe
vorige
in

der

ersten der Reihen (12)


verliert

in der

Form

und

die

ihre Gltigkeit. Man erhlt aber diesem Falle, da alle diese Glieder der Einheit gleich [158] werden, sogleich fr ihre Summe /* 1, whrend die zweite den AVerth 1 annimmt, in dem m -\- Ji z= 2 in diesem Der Ausdruck (12) verschwindet also fr Falle gerade ist. jedes //, welches von in verschieden ist, fr h hingegen Es geht daraus hervor, dass die erhlt er den Werth n. Gleichung, deren Entstehung man oben nher angegeben hat. in der That nur den einzigen Coefficienten a,j enthlt und von folgender sehr einfacher Form ist:

Bestimmung

=m

wa,

= ^ mit 2sin
.

An\ _

2 +^
.

2m TT

J27t\
f\

sin

+ 2 s,n{- 1)^^(1--),
und
folglich

= n

sin

l
sin

n
n

_ 4-sin
\nj
1)

f\
1)

^l

m TV

l{n

^\1

der endlichen Reihe gefunden worden sind, bleibt zu untersuchen, wie sich der Coefficient,
die

Nachdem

Coefficienten

12

Lejeune Dirichlet.

welcher eine beliebige,


der

aber bestimmte Stelle einnimmt, bei

imaufhrlicli wachsender Gliederzabi verndert, d. h. es bleibt

Werth auszumitteln, den der vorhergebende Ausdruck fr annimmt, wenn man n unendlich gross werden lsst, whSchreibt man den Ausdruck rend constant gedacht wird. wie folgt:
a^i

2 [7t
'"

- sm
.

OmTt
n

TT

^(0 7t\ f\
\

}
I,

^InX +^ sm onTt f\~\ n n \n}


.

7C

7t

n
so

2m7t n

^I2 7t\

7t

^jn7t\ Jin

l)/r\l

aus der Vergleichung der Summe zwischen den Klammern, mit der Gleichung (1), dass fr u oo die Summe in das bestimmte Integral
erhellt

f
bergeht.
aber, wie frher

sin

mxf[x)dx

Die alsdann zu einer unendlichen gewordene Reihe stellt bemerkt worden, die Function f{x) fr alle zwischen und 7t gelegenen Werthe von x dar, und wir haben also fr den ganzen Umfang des genannten Intervalles
(13) in
f[x)

ttj

sin

a;

<^.2

sin 2

a;

j sin

mx -\-

welcher Gleichung

Reihe

die

Coefficienten

nach

der

allg:emeinen ^

a^^ "m

2 =
^p

n
sin I f{^)

mxdx

zu bestimmen sind.
zu einer Reihe gelangen, welche nur die Cosinus von x und dessen Vielfachen enthlt, und die Function f{x), wie die gefundene Sinusreihe, fr dasselbe Intervall von bis tt darstellt. Krzer erreicht man jedoch diesen Zweck, wenn man das schon gefundene Resultat (13) benutzt. Setzt man in demselben statt f{x) das
hnliche Betrachtungen

Man kann durch

Product 2f[x)
2 sin xf[x]

sin x,
a, sin

so erhlt
a;

man
a;

a^ sin 2

-f- a,n sin

mx

Darstellug willkrlicher Functionen.

13

wo
n

"m

-I

2 sin

mx

sin

xf[x)dx.

Dieser Weith a, lsst sich auch so schreiben:

[159]

rt,

2 =

Icos ((w

-\-

l)x)/'(a;)rfa;

TT

oder

"

I
u

co{()

l)x)f[x)dx,

wenn mau

zur

Abkrzung

setzt:

r
/

cos

hxf{x)dx

/>/,

wo h

eine ganze

zeichnet:

iu

^m-i w Nimmt man successive obige Reihe, so kommt

positive Zahl

*m+im

mit Einschluss
3 ...

der Null be-

und

substituirt

2^mxf{x) =(6o
oder

^4)8in3:+(i,
/>,

&3)sin2.'r-f-(^j

h^^m^x-\---^

wenn man nach

h^^h^^

ordnet
a;

2 sin xf{x)

= +

b^ sin
/>3

(sin

+ 4
x
a;

/>,

sin 2

+
-\

/v^

(sin
s.

Sx

sin

x)

sin

2x)

u.

w.

Durch Einfhrung der Producte 2

sin x cos a;, 2 sin a: cos 2 . ... an die Stelle von sin 2.f, sin .3./; sin a; ward die ganze Gleichung durch 2 sin x theilbar und man erhlt nach Entfernung dieses gemeinschaftlichen Factors

-j

(14)

f[x)

==

4-

&u

4-

/;,

COS

i.-,

cos 2

.z:

\-

&j cos

mx..
sie

Diese Gleichung
abgeleitet
ist,

gilt

wie die Gleichung (13), aus der

fr

alle

Werthe zwischen

und

rr,

und der

allgemeine Coefficient

ist

14

Lejeune Dirichlet.
7t

b^

=
2

f
/

cos

mxf[x)dx.

Obgleich die Gleichungen (13) und (14) beide eine ganz Function f[x) fr das Intervall von bis tt darstellen, so sind sie doch wesentlich von einander verschieden. Whrend die letztere wegen der bekannten Eigenschaft des Cosinus, fr entgegengesetzte Werthe des Bogens gleich zu x unverndert bleibt, sein, durch die Verwandlung von .r in nimmt die erstere in demselben Falle den entgegengesetzten Werth an, wie ebenso leicht aus der Natur des Sinus erhellt. Man sieht hieraus leicht, dass man unter gewissen Umstnden rc bis tc durch eine Function von fr das Intervall von Denkt man sich die Reihe (14) oder (13) darstellen kann. bis x nmlich unter fix) eine von ^r ganz beliebig gegebene Function von ,r, und setzt diese Function oder Curve
beliebige

;/;

/"(.?'), bis ./ ir so fort, dass immer f[ x) von Xrc bis x =^ n durch die so wird diese Function von x Reihe 14) ausgedrckt werden knnen, denn diese Reihe gilt immer von bis tt, und da sie bei der Verwandlung von X unverndert bleibt, welches nach der angegebenen X in Art der Fortsetzung auch bei der Function der Fall ist, so tt dar. Ganz auf dieselbe stellt sie diese auch von bis bis tv Weise berzeugt man sich, dass, wenn man eine von x) beliebig gegebene Function so fortsetzt, dass f[ f[x\ und x rt die jt fr eine solche Function zwischen Reihe (13) gilt. Auf diese einfache Bemerkung kann man eine Reihe grnden, welche die Reihen (13) und (14) als berc bis sondere Flle in sich begreift und eine von x :r 7C ganz willkrlich gegebene Function cp (x) darzustellen

,/;

geeignet ist. Bringt man nmlich


(p{x)

(p a)

in

die
cp {x)

Form

(/)

x)

cp{x]
^

[160J so hat der erste Theil

^^ ^^>

'^^^^

die Eigenschaft,

x unverndert zu bleiben, und durch Verwandlung von x in rc rc bis x ist also nach dem Vorhergehenden von x durch (14) ausdrckbar. Ebenso lsst sich offenbar der

: :

Darstellung willkrlicher Functionen.

15

zweite Theil

^(^'^"^^("^^

durch die Reihe (13) darstellen

und man hat also fr den ganzen l'mfang des Intervalles von

:c

bis

+/r, wenn man

beide Theile vereinigt:

(15)

f/)(x}

= i^o + +
^'m

^i cosa;

a, sin

cc

+ +

^4 cos
f^i

2x-\
a; -|

|-/^,cos
\-

sin 2

wx + a^^j sin m x -\-

wo

die Coefficienten durch die Gleichungen

= /cos mx{cp{p:)-\- fp[x))dx,


.1

^',,j

= /sin mx
Es
ist

[tp [x]

cp

x)) dx
eine
ein-

zu bestimmen sind. fachere Form geben.

Man kann

diesen Ausdrcken

nmlich

/ cos

m X {(p [x]

-\- fp

'

x)) dx
mxcp[

71

= I cos mxfp{x)dx
und nach
(5):

-j-

/ cos

x)dx,

/cos mxrp{
(t

x)dx =

/cos mx(p{x)dx,

oder nach

(2)

/ cos

mx(p[x)dx,

folglich

^m

=
(9)

/cos mxrp[x)dx

-\

/cos mx(p{x]dx\

.-t

oder nach

+
bfj^

rt

= /cos mxq)(x]dx.

16
Ebenso ergiebt
sicli

Lejeune Dirichlet.

o^^

sin mxcp[x]dx.'^)

4.

und befriedigend auch auf den ersten Blick der Gang erscheinen mag, welcher uns zu den Reihen des
natrlicb

Wie

vorigen Paragraphen gefhrt hat, so findet man doch bald bei genauerer Erwgung, dass derselbe als strenger Beweis fr die Gltigkeit dieser Reihen etwas zu wnschen brig lsst. Es geht aus dem Begriff des bestimmten Integrals, wie dieses
in (1) festgestellt wurde, unbestreitbar hervor, dass irgend ein Coefficient a^, welcher in der endlichen Reihe eine bestimmte
Stelle

einnimmt, bei unaufhrlichem

Wachsen von n

in das

Integral

n
bergeht,
allein

/sin nix fix]

dx

man

darf nicht

vergessen,

dass

durch das

Zunehmen von n zugleich immer mehr neue Glieder hinzukommen. Um die Richtigkeit der Reihe (13) zu beweisen,
die Glieder der endlichen Reihe in zwei denken; die erste wrde alle Glieder bis zu einer bestimmten unvernderlich gedachten Stellenzahl Knnte man nun die zweite alle [161] brigen enthalten.

msste

man

sich

Gruppen

zerfllt

zeigen, dass,

whrend
ins

die Coefficienten der Glieder der ersten

Unendliche den durch bestimmte Integrale ausgedrckten Werthen nhern, der Inbegriff aller Glieder der zweiten, deren Anzahl mit n unaufhrlich wchst, nie eine gewisse von m abhngige und zwar beliebig klein ausfallende Grenze berschreitet, wenn man das m gehrig gross whlte, so wrde man die Gewissheit erlangen, dass die Reihe (13) convergirend ist und die Function f[x\ fr das Intervall von

Gruppe

sich

bis

71

wirklich darstellt.

Die Nothwendigkeit der eben angedeuteten Nachweisung, wenn man den Uebergang vom Endlichen zum unendlichen zu einem ganz strengen Verfahren erheben will, wird im hchsten Grade einleuchtend, wenn man der endlichen Reihe,

Darstellug willkrlicher Functionen.

17
Betrachtet

von der man ausseht, eine andere Form gicbt. mau eine Keihe von der Forui:

so lassen sich die Coeflicienten ebenfalls leicht so bestimmen, dass die Reilie fr n AVerthe von x innerhalb eines beliebigen
Intervalles einer ganz "willkrlichen Function
/'(./]

gleich wird.

Lsst man nach

erlangter

Bestimmung irgend eines Coefficieuten


ni

n unendlich wachsen, whrend die Stellenzahl


cienten constant bleibt,
so nhert sich

des Coefli-

der Coefficient unauf-

und man wrde also durch das im vorigen Paragraphen befolgte Verfahren zu der falschen Folgerung verleitet, eine ganz gesetzlose oder stellenweise ganz anderen Gesetzen gehorchende Function lasse sich durch eine nach Potenzen der Vernderlichen o: geordnete Keihe darhrlich einem gewissen Endwerth,
stellen.

Die Betrachtungen, die dem Verfahren, welches uns die Reihe (13) geliefert hat, die gehrige Strenge geben wrden, sind so zusammengesetzter Art, dass wir lieber einen ganz anderen Weg der Beweisfhrung einschlagen. Wir werden die Reihe (15), welche die beiden anderen (13) und (14) als besondere Flle in sich begi-eift, an und fr sich untersuchen, und ohne etwas von dem Frheren vorauszusetzen, direct nachweisen, dass die Reihe:
"l^o
-|- h^

cos X
sin

-{-/>.,

cos 2 r

-j-

/jj

cos

mx +

f/,

-\- Oj sin

2x -{-

-\- a,,^ sin

nix -{-,

wenn man

ihre Coefficienten durch die Gleichungen

bm

= /cos mxrp{x)dx,

a^

= /sin mxrp[x)dx

bestimmt, immer convergirt und fr alle zwischen n und n enthaltenen Werthe von x der Function cp{x\ gleich ist. Schreibt man in den vorhergehenden Integralen statt x einen anderen Buchstaben , was offenbar erlaubt ist, da ein bestimmtes Integral nur von der Natur der Function und den

Werthen der Grenzen abhngig


die

ist,

und

setzt die

ersten Coefficienten ein, so erhlt der 2;/ -1-1 ersten Glieder:


0stwald"s Klassiker.
110.

2^+1

Werthe
als

fr

man

Summe
;


18
Lejeune
Diriclilet.

[162]

^Z^*^^)
71

+^
-\

COS X j

da cos

arf{u)

-\-7l

cos ic j
.7

da

cos na(p(a),

n
-\

sin

X j da

sin

(p{a)

sin

nx Ida
71

sin ?ia cp[a]

.7
oder nach
(3)

und

(6)

da

(p[a) [-|-+

cos(a

a;)4-cos2(a x)-\

[-cosw(

x)\

7t
oder endlich, wenn mel (11) summirt,

man

die Cosinusreihe vermittelst der For-

2n:J

da

cf\a) '
'^^

_*

x sin .

Reihe convergiren und den Werth fp[x) haben, so muss der Unterschied zwischen fp{x) und diesem Integral, welches die Summe ihrer 2n-\- 1 ersten Glieder ausdrtickt, bei unaufhrlichem Zunehmen von oi zuletzt kleiner werden Es ist nthig, der als jede noch so klein gedachte Grsse. Untersuchung dieses Integrals in seiner ganzen Allgemeinheit die Behandlung einiger einfachen Flle vorauszuschicken, auf welche sich alle brigen zurckfhren lassen.
Soll also die

5.

Man

betrachte zunchst das Integral


71

J
in

sin

'^
/i?
'

'

welchem n wie vorher

eine positive ganze Zahl bezeichnet.

Darstellung willkrlicher Functionen.

19
. .

Setzt

man

sin
statt

{2n-\^

sin

V ,i

den

nach

/^^x (11)

quivalenten

;>

Ausdruck
1

4- 2 cos 2/:?+ 2 cos 4,i

[-2 cos

2n,

nach (10), dass alle Glieder mit Ausnahme des ersten zwischen den angegebenen Grenzen integrirt verschwinso
erhellt

den,

und man

findet:

*3in [2)1

-\-l] .,
'

7t

/
Setzt

siu

;:/

man
:t

zur

Abkrzung

2.+

A',

und zerlegt das Inte-

gral in (

1)

andere zwischen den Grenzen


:t

und

und

^,

n 7t |

und

^,

so folgt nach

(7),

dass von diesen das dritte

Integralen
positiv

das erste positiv,


w.
sein

das

zweite

negativ,

u. s.

wird,

da

r~r sin

innerhalb der Grenzen


s.

[163] des ersten positiv, des zweiten negativ u. zeichnet man das Integral des r-ten Ranges,
bis

w.
h.

ist.

Be-

d.

das von

-^
k

genommene, abgesehen vom Vorzeichen mit


Vit

o^, so dass also

_
^'^ k

T
k
.

/ sin

^^
'
'

sin/i?

wo

das untere oder obere Zeichen gilt, je nachdem v gerade oder ungerade ist, so folgt leicht aus (8), da =f s'mk von
= bis -j- stets positiv bleibt, dass Q^, zwischen den IC K beiden Producten liegt, welche mau erhlt, wenn man

/2
qp
sin

kd

= k
2*


20
mit

Lejeune Dirichlet.

dem
-;

grssten

und kleinsten Werth

multiplicirt

den der

Factor

sin

7t

^ in

dem genannten

Intervalle annimmt,
ist

Das vorhergehende Integral

nach

(4)
7t

T
sin

f^
oder nach
(5)

{lvl]n:

+ l-)d = Ain kd,


(1

= jjBmd=
Was
als

-.')

den Factor ist.

sm

betrifft,

so ist dieser

um

so kleiner,

grsser

Sein grsster Werth


so dass also

ist

daher

und der

kleinste

sm

-.2
^'

1
,

^2
/.

sm

VTi
kl

Q_^_^

sm
gelten

ic

1)71

Fr das
2 k
,

letzte

Integral

die

Grenzen

2
IC

und

1
,

die sich auf dieselbe

Weise ergeben.

Vergleicht

HTt sm -j^
IC

man

die Grenzen, zwischen [164] welchen je zwei aufeinander folgende Integrale liegen, so ergiebt sich auf der Stelle, dass Q^J (>.^, Qs Qn + ^^^^ abnehmende Reihe bilden, d. h.

^ Qi^
1

Qi

^ ?+!

^^^^

ursprugliche

spter

in

andere Integrale zerlegte Integral hatte den Werth

TT

Es

findet also die Gleichung statt

^=

Ci

+
?-:

C3

(4

? +

Darstellung willkrlicher Functioncii.

21

folgt leicht, wenn Aus der Abnahme der Glieder ^, Cj man die Reihe bei ihrem 2m-ten und {2m-\-l)-ten Gliede abbricht (wo natrlich 2 vi <^ ti)

rt

(16)

V<
Um
darf
ten Glieder,

?i

?2 + ?3

Qim

+ Qim^^die

sich zu berzeugen,

dass diese Ungleichheiten stattfinden,

man nur bemerken, dass im ersten Falle wenn man sie paarweise vereinigt,

weggebrach-

fiwi+s

Csm-n

o,,;2+i

Q^m+t-i

>

also etwas positives zweiten gilt.

und dass man weglsst, und das Umgekehrte fr den


positive Diflerenzen geben,
jetzt zu der Betrachtung

Wir wenden uns

des Integrales:

/
wo h
eine
eine positive,

sin

^i

'

--

nicht bersteigende Constante

und

fi)

stetige Function
bis h

von bezeichnet,

von
Ich

Avchst,

immer
nie

positiv

bleibt

welche, whrend und nie zunimmt.

sage absichtlich:

zunimmt,

um

den Fall nicht aus-

zuschliessen,

wo

constant bliebe.

f{) stellenweise oder fr das ganze Intervall Der Buchstabe k ist wie frher zur Abkr-

zung fr 2)1 -\-l eingefhrt, und wir wollen untersuchen, wie


sich

verndert,

wenn

n ohne Grenze wchst.


,

Es

sei

das gi'sste in h enthaltene Vielfache von --

wo

offenbar die

ganze Zahl

r nicht grsser als


-\- 1

sein kann,

und man zerlege das und

Integral in r

andere

zwischen den Grenzen


h,
so

7C
A'

7t
,

und -j^
li

^ und
Ic

r 7t

sind

diese Integi'ale

Avieder

abwechselnd positiv und negativ. Bezeichnet man dasjenige, welches die r-te Stelle einnimmt, abgesehen von seinem Zeichen, mit
J?^,,

so dass also

22

Lejeune
vn

Dirichlet.

das obere oder das untere Zeichen naclidem v gerade oder ungerade ist, so hat man
[165]

wo wieder

gilt,

Je

Die positiven Werthe

i?,

B^

11^

bilden eine

abnehmende

Reihe, wie man sich leicht berzeugt, Avenn man auf li^. den Man findet unter Bercksichtigung der Satz (8) anwendet. ber f[) gemachten Voraussetzimg, dass

m T sin --=/^i^V(ft.^ sin


/.

/i

zwischen den beiden Producteu

vTt

T:

liegt,

d. h.

also

Vergleicht

man

die untere

Grenze /^(-T-)('r
/(-jrjQi+i
^^t,

f"i"

^r ^i* den
folgt

oberen

fr

i?,,+,,

welche

so

wegen

fl^ss auch i?,, >> i?,,^, , wie vorher Qi+i^ Bricht man die Reihe S bei i?.;,j und wurde. (wo 2 <^ r) so ergeben sich die Ungleichheiten

Qr^

behauptet
i?.2,H+i
Jib

*)

Wre f y^\

''

so

wrden

die beiden

Grenzen

zusammenfallen und man muss, um alle Flle zu umfassen, mit dem 7c den Sinn verbinden, dass t nicht kleiner als n- ist. Zeichen /

>

Darstellung willkrlicher ranctioneu.

23

5 >>
<S

^,

L\ +
It'o

ii'^

7.',j
J'.,,

<C J\

/<*;;

J<'im+\-

Die erste dieser Ungleichheiteu wird nicht aufhren richtig zu bleiben, wenn mau statt der zu addirendeu Glieder Ji\ 7'.,
,
. .

ihre unteren

Grenzen /(Trlcij /^(~7~)?3


7i',
,

und

statt

der zu

subtrahirenden
(3 -10,, ...
/f \

7i',

ihre

oberen

Grenzen

/^(-7
\
''

l^o? /'

setzt.

Hierdurch

und durch Amvendung des

umgekehrten Verfahrens auf die untere Ungleichheit erhlt man

> ^(f

^"*
)

^^''

+ 4t)

^^'

?^)

<

/'(O) Q,

- /('-)

{Q,

- Q,) - fl^^~)

IQ,

-Q,)

I2m7r\.
o.,, [166] Da die Differenzen Q^ (j.^ ^3 (^3, tiv sind und die Function f{) zunimmt, so darf

^4
und

posi-

man

offenbar
in

in

der

ersten Ungleichheit
./2/f\

/'(y), /(~r)
.

der

./47r\
,

zweiten
ist also

,.

/^l

77)

uiit

f\

I2mjr\ -

vertauschen.

Es

< QJ{0)
2))i
ist

(O,

g.^Jf-(j^

0,j+,)

/-l-^J

Die Zahl
als
)i,

kleiner als r,

und

also

um

so

mehr kleiner
sich
in

Die

so dass die Resultate (16) stattfinden. dort gefundenen Ungleichheiten lassen

die

rm bringen:


24
Vergleicht

Lejeune Dirichlet.

man

diese,

uachclem

man von

beiden Seiten der

ersten ^2 +4 abgezogen hat, mit den vorher erhaltenen Grenzen fr S, so ergeben sich folgende hchst einfache Resultate:

^^
r,

7t

.(2m7T\

_l2m7t\

71

^I2m7r\

^I2m7t\

^.,^^

J2m7t\'\

Unser Zweck war,

die allmhliche
h

Vernderung des Integrales:

=/
und

'sin

k
d
'

f{]d

sin

zu untersuchen, wenn man in demselben k ^= 2n-\- 1 nimmt die ganze Zahl n ber jede Grenze hinaus wachsen lsst. Diese Frage wird auf der Stelle durch die eben gefundenen Ausdrcke beantwortet. Nach dem Frheren ist die darin enthaltene gerade Zahl 2 fr ein bestimmtes n insofern noch

willkrlich,

als

sie

jeden r nicht bersteigenden Werth hat,

wo
mit

r Avie frher das grsste in

k = (2.
7C
7t

-f- 1)

enthal-

tene Ganze

bezeichnet.

Da

hiernach

oifenbar gleichzeitig

n ber jede Grenze hinaus wchst,


Denkt man
sich

so

darfauch 2

jede
21)1

Grenze berschreiten.

nun das

gleichzeitige

Wachsen von

und n

so,

dass dabei -- successive jeden Grad von Kleinheit

erreicht,

so

werden

die fr

sammenfallen.

Betrachtet
7T

S gefundenen Grenzen zuletzt zuman zunchst die untere Grenze


,j2in7c\

12

m TT

so wird unter der


-"TT-

angegebenen Voraussetzung
das
zweite

ihr erstes Glied


betrifft,

zuletzt in

^
Li

/"(O)

bergehn; was

so liegt

der Factor Q.^^^^^ nach [167]

Obigem zwischen
2 ^k
1
.

2
k
.

sm

2m7t
;

und

i2m

-\;

IjTT

sni


Darstcllnng willkrlicher Functionen.

25

Schreibt

man

diese in folgender

Form:

2m TT
so
ist

sm

2w7r
j

und
\2m-V-V\ji
^ .

'

,_.

sin (2 i

+
,

,> ir -

1)

leicht

zu sehen, dass beide zuletzt verschwinden.

Durch

das unaufhrliche

Wachsen von

nhert sich

m 7t

der Null,

whrend
2

26

Lejeune

Diriclilet.

TT

2
Sin

T sm
k
/,

nhert sich durch das

Wachsen von

dem Werthe
die

2
TC

Es

ist

somit streng bewiesen,

dass
ist,

zwischen

denen

eingeschlossen
-^/"(O)
Li

beiden Grenzen, bei unaufhrlichem

Wachsen von n

zuletzt mit

zusammenfallen,

welcher

Werth

also auch der des Integrales


sin

/.

/
fr ein unendlich grosses
stets positiv bleibt. setzt
\i

sin

[i

n ist. Wir haben bisher vorausgesetzt, dass die Function /(/i), whrend /i von bis li wchst, nie zunimmt und ausserdem
Behlt

man

die erste

Bedingung

bei,

d. h.

voraus, dass fr irgend zwei [168] zwischen fallende Werthe j) und q die Difierenz f[ii) f[q)

man

negativ oder Null ist, wenn j) q positiv ist, ohne damit die zweite Annahme zu verbinden, dass f[) nicht negativ wird, Nimmt man so findet der vorige Satz ebenfalls noch statt. gross ist, dass nmlich eine positive Constante c, welche so c an nicht negativ wird, so ist der Satz auf f[{i) f[)

und immer

wendbar,

d. h.

das Integral

(m+'^'^i? sin p
7t
Li

wird fr ein unendlich grosses n^


klar,

[/"(O)

+
.
,

c]

Zugleich
ist:

ist

dass dieses Integral die


h

Summe von
h

folgenden

/\,
'

,,

sin

k
//

,
'

,_.

C
'

sin

^'

sin

./

k sm

'
'

von denen das zweite

in

demselben Falle

c
Lt

7t

wird.

(Es ist

nmlich bei der vorigen Behandlung der Fall mit eingeschlossen

Darstellung willkrlicher Functionen.

27

worden, wo die positive Function im ganzen Intervall constant war.) Also ranss das erste durch unaufhrliches Wachsen von
;/

zuletzt

den Werth ^/"(O) annehmen.


sich jetzt eine Function f{), die, whrend wchst, nie abnimmt, so wird f() nie zunehmen.

Denkt man
von
bis
//

Man

hat also,

wenn

tt

unendlich wchst,

f-fW
und
folglieh

am

ji

'

"

'

/''(^'^''^''
sin
ji
ir

= f''
sich
in

Die \orhergehenden Resultate zusammenfassen:


(17)

lassen

folgenden Satz

von

>Ist f{) eine stetige Function (wo die bis // wchst


yf
)

von ,

die,

Constante
ins

//

whrend und ]>

und

nie

vom Abnehmen

Zunehmen oder um-

gekehrt bergeht^), so wird das Integral

/
wenn man
positive

sin(2
sin

l)/?

md,
n immer grssere
verschieden

darin

der ganzen Zahl


beilegt,

"Werthe

znletzt
TT
iL

immerfort weniger als


sein.

jede

angebbare Grsse von

/"(O)

[169] Die Constante h bleibe den vorigen Bestimmungen unterworfen, und mau denke sich unter rj eine zweite Constante,

welche kleiner

als

li

und zugleich

positiv

und von Null

verschieden

sei. Ist f[) eine fr das Intervall von (j bis // gegebene stetige Function von /i, die, wenn von g bis // wchst, nie vom Abnehmen ins Zunehmen oder umgekehrt bergeht, so lsst sich nach dem vorigen Satz leicht ermitteln,

was aus dem

Integral

28
k

Lejeune Dirichlet.

fein jj

wird,

bloss von

wenn man n unendlich werden lsst. h gegeben ist, g bis

Da nmlich
so ^^ bleibt
die

/"(,>')

Art

der Fortsetzung dieser Function ber das genannte Intervall hinaus willkrlich. Denkt man sich f{) fr alle Werthe von und g inclusive constant und zwar zwischen f{g), so Ji stetige Function, welche hat man eine von bis in diesem Intervall nie vom Abnehmen ins Zunehmen oder umgekehrt bergeht, und auf welche daher der vorige Satz anwendbar ist. Es wird daher das Integral

sin

{2n
sin

/
wenn man n

+ l) f()d,

/"(O)

= oo

setzt,

f{g) sein.

Zerlegt

man

dasselbe Integral in die folgenden:

so wird auch das erste


Satz,

= -^f{0) = w-f{g)

nach dem vorigen

also

muss das zweite

fr ein unendliches

u verschwinden.

Es
(18)

gilt

also der Satz:

Sind g und h Constanten, welche den Bedingungen ge-

ngen g "^ 0,

-^7

^ h '^ g

und geht

die Function f{),

wenn von g bis h Avchst, nie vom Abnehmen ins Zunehmen oder umgekehrt ber, so wird das Integral
h

rsin(2??

J
ff

+ l) f{)d

n der Null gleich.

sin

fr ein unendlich grosses

Vermittelst der Stze (17) und (18) ist es nun leicht, die zu Ende des 4 aufgestellte Behauptung zu beweisen.


Darstellung willkrlicher Functionen.
2'.l

Die Summe der 2 )i -\- 1 ersten Glieder suchenden Reihe war durch das Inteorral:

der

zu

unter-

smr,3-H)(^)]
2 sin
'f

frlier vorausgesetzt, dass die Funcganze Intervall von [J /r bis 7r ff {) stetig ist; wir knnen jedoch, ohne die folgende Untersuchung im geringsten zu erschweren, die Annahme machen, dasB fp{' fr einzelne Werthe von eine pltzliche Vernderung erDie Curve, deren leidet, ohne jedoch unendlicli zu werden. Abscisse und deren Ordinate rp () ist, besteht alsdann aus mehreren Stcken, deren Zusammenhang ber den Punkten der Abscissenaxe, die jenen besonderen Werthen von entsprechen, unterbrochen ist, und fr jede solche Abscisse finden eigentlich zwei Ordinaten statt, wovon die eine dem dort endenden und die andere dem dort beginnenden Curvenstck angehrt. Es ward im Folgenden nthig sein, diese beiden Werthe von (p{) zu unterscheiden, und wir werden sie durch ip ( Um unntze die fol0) bezeichnen. 0) und cp [ gende' Darstellung verlngernde Unterscheidungen zu vermeiden, bemerke man, dass dieselbe Bezeichnung auch fr die Werthe von gelten kann, fr welche keine Unterbrechung der Stetig-

ausgedrckt.
tion

"Wir liaben

fr

das

'->)

keit stattfindet

wo dann

cp

0)

und

fp

{ -f- 0)
in

beide

mit

cp() gleichbedeutend sind.

Das obige Integral


zerlegen:

lsst

sich

nach

(9)

die

folgenden

;
-^

3in(2+l)('l^)
2 sin

'3

1
7t

/., Id '^
X

,"
cp{)

'^"

+ ^'('^)
sm
.

iJ

X
-

30
oder nach
(4]:

Lejeune Dirichlet.

sin (2

n+1]^

-(71+x)

2 sin

7t X

sin

(2^+1)-^
2 sin

^fdcp{x+]

Wendet man

(3)

auf beide an und nachher noch

(2)

und

(5)

auf das erste, so kommt:

(19)

r, cp[x d
f

^sin 2 )
.

(2+
.

l) T

1 . - /r, ^ [x + 2^ sin d(p


.
,
.

-,>

(2+
sm
.

7t ^f

T \)
/j

Wir betrachten

jetzt das zweite dieser Integrale,

abgesehen
7t

von dem constanten Factor


7t

Da

a:;

zwischen
Ist

liegt

so liegt

sei

zwischen

und

7t.

+ - =
und

7t

7t der Fall ist, so ist das Integral fr jedes n fr X Null und erfordert keine weitere Untersuchung. Nehmen wir

was

7t

zunchst an,
mit
die
c,,

X ...... nicht grosser ^


"^i

als

.rt -2

Man

bezeichne

65

^)'j

sie

der Grsse nach aufeinander folgen,


fr
/>

Werthe [171]
des

von

/>',

Avelche

erstens
/':?

(p[x-]-2)

innerhalb

Intervalles

von

bis

7t

X
eine

Unterbrechung der Stetigkeit erleidet und zweitens vom Zu-

nehmen
Grenzen

ins

Abnehmen oder vom Abnehmen


in
7t

ins

Zunehmen

bergeht, und zerlege das Integral

andere zwischen den

X
2

und

e^,

r,

und

c^.

f,,

und

genommene.

31
ersten,
ist

Darstellung willkrlicher Functionen.

Auf

alle

diese neuen Integrale, mit

Ausnahme des

der Satz (18) oeubar anwendbar, da innerball) der Grenze eines jeden die Function keine Unterbrechung der Stetigkeit erleidet und nicht vom Abnehmen ins Zunelunen oder umgekehrt bergeht; alle nhern sich dabei ins Unendliche der Null, wenn man ti ber alle Grenzen hinaus wachsen lsst. Das erste hingegen erfllt die Bedingungen (17) und geht bei unaufhr-

lichem Wachsen von a zuletzt in den Werth Also wird das Integral
JtX

--,<"/> (a;

0)

ber.

Jd,.rp,x+2)

^^^

fr

= oo den Liegt /<

Werth
ber
^

-^'/'(a'

O)

annehmen.
negativ, so zerlege

oder

ist

man

das

vorige

Integral

in

zw'ei

andere

zwischen

den

Grenzen

und
grale

V 2

5 '

V 2

und

2
,

Auf das

erste dieser

neuen Inte-

bleibt

das vorige Verfahren


/^ (;

anwendbar,

und dasselbe
gross werden

wird also -^
lsst.

0)

wenn man n unendlich

Das andere

-,.sin(24-l)/i? ;. rf,:?r/)(a;+2;:?)/.,.., ^ ,
,
,

'

t/

'

'

'

sin

/i

kann nach

(4)
jr

nnd

(5)

in die

Form gebracht werden:

+x

T
Wendet man
sin
l)(:j) statt sin ((2>^ 1)(/-t )') (was erlaubt ((2 da n eine ganze Zahl ist), so geht das Integral ber in:]

(2)

an und

setzt

sin

statt sin [tc

und
ist,

[172]

71

L^ + o^ ,,, 2 7t2
cp{x '^
,

sin (2,^
^

+
'

1),:^

TT

+X

sm

'^ d

,j
'

Da
ist

a;,

wie vorlier gesagt wurde, in diesem Falle negati

und

also zwischen

und

tt liegt,

so ist
Fall

positi

und von KuU verschieden, den einzigen >'r. Zerlegt man das Integral wo X

ausgenommen

Aveder eine Unterbrechuu: deren Grenzen ff[x-\-2 :r der Continnitt erleidet noch aus dem Zunehmen ins Abneh men oder umgekehrt bergeht, so werden alle diese Integral oo der Null gleich. nach (18) fr n Dieses Resultat gil

2 )

in andere,

zwische:

nicht,
'

wenn

=
2
^

und

also

.x

tt. '

da alsdann ai

das erste der durch Zerlegung entstehenden Integrale nicl der Satz (18), sondern der Satz (17) angewendet werden musi tt): Dieses erste ist alsdann (wegen a:

C\.

.^

sin(2w+ l]
'

= Jr. d
und wird
whrend
also fr
alle

ff 7t '

- ^ 2

..

sin(2M

V+ sm T

l)/i

^-

= oo

den Werth -^(p{n

0)

erhaltei

brigen verschwinden.

Vereinigt

man

die verschiedenen,

fr

das zweite Integre

(19) gefundenen Resultate, so ergiebt sich, dass dieses Integr: durch unaufhrliches Wachsen der darin enthaltenen ganze 7t gelegene x in de 7t und Zahl 11 fr jedes zwischen rt ei 7t und x Fr x Werth \fp {x 0) bergeht.

+ =

leidet das Resultat eine

Ausnahme:

in

dem

das Integral Null, im anderen wird es \[fp{7t

0)

ersteren Falle

i;

-\- cp [rt -\- 0]

Aus

einer ganz

hnlichen Untersuchung

des

ersten Integra

dass dasselbe fr n =: oo im Allgemeinen \fp{x 7t und x wird, in den besonderen Fllen aber, in a:
(19) folgt,

respective Null

und ^\cp[7t

0) +

fp{

7t -\- 0)].

Darstellung willkrlicher Functionen.

33

dass die beiden Integrale (19) 7aiimniengenonimeu die Summe der 2n -{- 1 ersten Glieder der

Erinnert

man

sich nun.

:eihen darstellen:
'0)

i^u

+ +

'''i

^^^ x-{-

/ucos2x-{^/j

a^ sin

sin

2x-{-

+ +

ftj

cos

mx -{-...

oj sin )nx

'^o

die

Coefficienten durch die Gleichungen

+
h^j^

.T

+71
0.0%

j d (p{)

I dcpl)

sinni

u bestimmen
ti-eng hervor,

sind,

so

geht aus

dem Vorhergehenden ganz


convergirt,
d. h.

dass diese Reihe

immer

dass

s giebt, von dem die Summe ler 1 ersten Glieder der Reihe, wenn n ber alle Grenzen linaus wachsend gedacht wird, zuletzt immerfort [173] um /eniger als jede angebbare Grsse verschieden sein wird, und iass dieser Werth oder die Summe der unendlichen Reihe, wenn zwischen /r und rr liegt durch \ \jp (x rp [x 0) 0)], r ic TT und :t aber durch -^ \(.p [it -\-fp[ /r 0)] 0)

immer einen gewissen Werth

2w+

x=

+ +

largestellt wird.

Dieses Resultat umfasst alle )esonderen Werthen, fr welche )rochen wird, so sind cp [x 0) md der Werth der Reihe wird

Flle;
die

einander gleich, Wo eine Unter(p [x). )rechung der Stetigkeit eintritt und also die Function (p[x) iigentlich zwei Werthe hat, stellt die Reihe, welche ihrer !}atur nach fr jedes x einwerthig ist, die halbe Summe dieser iVerthe dar. An den Grenzen des Intervalles von tc bis
(p [x

x keiner von den Stetigkeit von tp [x) unterist

und

0)

also

\-

d. h.

fr

diese

Werthe

selbst

ist

die

endlichen Reihe gleich der halben


jp(7r)

und

(p[

n).

Summe

Function
larsteilt,

(p (x)

daraus, aus den Grenzen des Intervalles nur dann richtig


sieht
rp {it)

Man

Summe der under beiden Werthe dass die Reihe die

wenn

=
(p
(

tt). ^^)

Wir haben schon


suchte
tion

frher bemerkt,
die

dass

die

eben unter-

Reihe
fr

(20)

oder (15)

Reihen

(13)

und

(14)

als

pecielle Fclle in sich begreift.

die
es

Man braucht nur die Funcden halben Umfang des Intervalles, nmlich bis X 7t ganz beliebig gegeben zu denken und fr Werthe zwischen und 7t fortgesetzt zu denken wie die Gleichungen fp{ x) =: (p{x) oder fp{ x) cp{x)
cp{x)

=
3

Ostwald's Klassiker.

HG.


34
Lejeune Dirichlet.
vorscln'eiben

Darstellung willkrlicher Functionen.

um respective zu (14) und (13) zu gelangen. noch mit zwei Worten fr den ersten Fall zeigen, w^eil sich aus dieser Ableitung eine Eigenschaft der Reihe (14) ergiebt, welche bei der frheren Behandlung nicht hervortrat. bis tz beliebige Function (p[x) nach der Setzt man die von x) cp[x) fort, so ist klar, dass fr Gleichung cp[ r) keine Unterbrechung der Stetigkeit einti'eten und dass (p Die Reihe (20) wird also rp (0) fr a: cp (/r) sein wird. 0, :r Die Gleichungen fr die Coefficienten und fp[7t) fr x
,

Ich will dies

;j;

= =

werden

dui'ch Zerlegen der darin enthaltenen Integrale:


7t

&,

=
=

j dcp[) cos

-\

j dtpi) cos
Tt

m m

-n
a^^ sin I drpl)
-71

-]
'

dfp[) sin

beiden von Integi'ale nach einander (5) und (2)


die

Wendet man auf


dass

ti

bis

genommenen
bercksichtigt,
sin
(

(:p[ (p{), cos siniu, so erhlt man


7t

) =
Kl

( w)

= cos m,
jn

an,

und

m]

bis Die von a; also durch die Reihe

= jdcpi) cos m, = x = ganz


tv

0.

beliebige Function cp[x) wird

[174]

-^b^

Z>,

cos X

h^ cos

2x-\-

+bm cos mx +

AYerthe

welche auch fr die das Intervall begrenzenden >t noch gltig ist. Es versteht sich dabei von und tt eine Unterbrechung selbst, dass, wenn fp (xj zwischen der Stetigkeit erleidet, die Reihe fr jeden solchen Werth von X die halbe Summe der entsprechenden Werthe von (p(x) ausdrckt. Auf ganz hnliche Weise gelangt man zu der Reihe und und findet, dass diese im Allgemeinen fr x (13) 7t nicht mehr richtig ist, was sich aber in diesem Falle X ganz von selbst versteht, da die Reihe, wie auch ihre Coefficienten beschaffen sein mgen, fr die genannten Werthe verdargestellt,

und

schwindet.

Note

ber

eine

Eigenschaft

der Reihen, welche


darstellen.

discontinuirliche

Functionen
Von

Ph.

Seidel.

(Abhandl. der Math. Phvs. Klasse der Kgl. Bayerischen Akademie der Wissenschften V, 881394 (Mnchen 1847).

[381] Man findet in Caurhf/s Coiirs d' Analyse algebrique Cap. 6, 1 einen Lehrsatz, welcher ausspricht, dass die Summe einer convergir enden Reihe, deren einzelne Glieder Functionen einer Grsse x und zwar continuirlich in der Nhe eines be-

von x sind, immer gleichfalls in dieser Gegend eine stetige Function derselben Grsse sei. Hieraus wrde folgen, dass Reihen der vorausgesetzten Art nicht geeignet sind, discontinuirliche Functionen in der Nhe der Stellen, wo ihre Werthe springen, noch darzustellen; mit anderen Worten: dass durch ein Aggregat stetiger Grssen discontinuirliche auch dann nie reprsentirt Averden knnen, wenn man die Form des Unendlichen zu Hlfe nimmt, so dass das Letztere nicht, wie es einen Uebergang vom Rationalen zum Irrationalen bildet, so auch die Brcke zwischen stetigen und nicht stetigen Grssen zu schlagen vermchte. Denn die Convergenz der Reihe wrde aufhren, also die gestimmten

Werthes

whlte
ginnt.

Form

ihren Sinn

verlieren,

wo

die Discontinuitt be-

Der Beweis, auf welchen dieser Satz am angefhrten Orte begrndet wird, beruht im Wesentlichen auf der Bemerkung, dass man die Summe der ganzen Reihe abtheilen kann in die Summe einer Anzahl n ihrer ersten Glieder und in die ergnzende alles Folgenden. Die letztere kann man, was auch
[382]

sei,

bei der vorausgesetzten

Convergenz der Reihe,


3*

durch

36

Ph. L. Seidel.

Vergrsserung vou n so klein machen, als man nur will; dasselbe ^ird von der Vernderung geschlossen, die sie erleidet, wenn x um wenig gendert wird; das Increment der Summe der n ersten Glieder nimmt ohnedies, da sie aus einer endlichen Zahl eontinuirlicher Functionen von x besteht, zi:gleich es scheint also, dass mit der Aenderung von x unendlich ab man n so gross und das Increment von x so klein whlen kann, dass die Aenderungen beider Theile, also auch die der ganzen Reihe, kleiner gemacht werden, als eine beliebig kleine Grsse, und hiermit wre die Continuitt der Summe der Reihe in dem Sinne, in welchem sie hier genommen wird,
;

erwiesen.

Gleichwohl steht der Satz in Widerspruch mit dem was Dirichlet gezeigt hat, dass z. B. die Fourier sehen Reihen auch

dann immer convergiren, wenn man

ja, die Discontinuitt wird geFunctionen 1') darzustellen; rade durch die Form dieser Reihen, deren einzelne Glieder doch stetige Functionen sind, hufig hereingebracht, indem diese welche den goniometrischen Functionen eigen Periodicitt ist, allen, die man so darstellen will, aufdrngt, und dadurch diejenigen, welche sich nicht von selbst unter dies Gesetz beugen, geAvaltsam discontiuuirlich macht. Man braucht selbst nicht dem intricaten Gang der Dirichkf sehen Beweise nachzugehen, um sich zu berzeugen, dass die Allgemeinheit des Satzes, von welchem die Sprache ist, Einschrnkungen hat: auch die gewhnlichsten Integrale, welche discontinuirliche Werthe haben, z. B. das bekannte
,

sie zwingt, discontinuirliche

\^^]

r sinxa /sin X
a

da

knnen Beispiele'-) davon abgeben; denn man kann dieses, durch blosse Zerlegung des unendlichen Intervalles, in welchem es zu nehmen ist, in eine unendliche Anzahl endlicher, verwandeln in eine Reihe, deren einzelne Glieder Integrale sind, von denen man fast vue beweist, dass sie stetig von x abhngen, und welche Reihe uothwendig stets convergirt, weil ihre Summe immer einem der drei mglichen Werthe des ganzen Integrales gleich ist. Wenn man ausgehend von der so erlangten Gewissheit, dass der Satz nicht allgemein gelten kann, also seinem Beweise noch irgend eine versteckte Voraussetzung zu Grunde

Reihen, welche discontinnirliche Functionen darstellen.


liegen
ist

37

genaueren Analyse unterwirft, Hypothese zu entdecken; man kann dann rckwrts schliessen, das.s diese bei Reihen, welche discontinuirliche Functionen darstellen, nicht indem nur so die ebereinstimmung der erfllt sein darf,
muss, denselben
einer

so

63 auch nicht schwer, die verborgene

brigens
bewiesen

richtigen
ist,

Schlussfolge

mit

dem,

was andererseits
solche

Art erhlt man eineu Satz, welcher sich auf diese Klasse von Keihen bezieht, und so ausgespi'ochen werden kann:
gerettet

werden kann.

Auf

Theorem.

Hat man eine convergirende Reihe, welche eine discontinuirliche Function einer Grsse x darstellt, von der ihre einzelnen Glieder continuirliche Functionen sind, so muss man in der unmittelbaren Umgebung der Stelle, wo die Function springt, Werthe von X angeben knnen, fr welche die Reihe beliebig langsam convergirt. [384' Der Zweck des gegenwrtigen Aufsatzes ist es, diese
Eigenschaft naclizuweisen, Avelche meines Wissens noch nirgends ausdrcklich hervorgehoben worden ist. Durch sie wrde diese Art der Darstellung nicht stetiger Functionen wesentlich an Werth verlieren, wenn es sich dabei darum handelte, aus der Reihe die Functionswerthe in der Gegend wo sie springen '3] wirklich numerisch zu berechnen, ein Fall, der aber in den Anwendungen, wo der umgekehrte hufiger ist, sehr selten vorkommen wird. Zu bemerken ist, dass hier unter discontimiirlichen Functionen nur solche verstanden sind, welche Stellen haljeu, wo es nicht mglich ist, die Aenderung der Variabein so klein zu machen, dass die der Function kleiner wrde, als eine beliebig kleine Grsse: also nur Functionen, welche graphisch durch Curven reprseutirt sind, deren Ordinaten an gewissen Stellen pltzlich
springen.*-*)

betrachtet werden

Die Reihe, Avelche nur fr Werthe der Vernderlichen [x] soll, fr welche sie convergirt und demnach irgend eine Function von x darstellt, mge sein:
f[x, O;

f{x, 1)

f[x, 2)-\

in inf.

Ihre ganze
ihrer

Summe werde

ich bezeichnen mit F{x)^

die

Summe

-f- 1

ersten Glieder oder die Grsse

38

Ph- L. Seidel.

f{x,0)-}.f{x,l]-]

\-f{x,n)

mit Sf^{x]j die alles Folgenden oder den Ausdruck


f{x,
7i

+ + f{x, + +
1)
?^

2)

in inf.

mit Rn{x].
[385]
(1)

Man

hat also

F[x)
hier
so

= S^[x) + RJx).
dies,

Ueber
dass
als

die

man n

vorkommenden Grssen wissen wir nur gross nehmen kann, dass Rn{x) kleiner

wird,

eine beliebig kleine Grsse q (d. h. dass die Reihe convergirt), und dass S\x), so lange n nicht ber alle Grenzen

wchst,

eine

continuirliche Function

von x

ist.

Denn

es ist

die Summe einer beschrnkten Zahl Glieder, welche einzeln, der Voraussetzung nach, diese Bedingung erfllen. Es gehe nun x ber in x -{- s und dadurch ndere sich F{x) um ^F, So wird auch sein: Sn{x) um .^.
(2)

F{x]

+ JF=S^ + JS^ + R, +
[x)

[x

e)

und wenn man hiervon


(3)

die Gleichung (1) subtrahirt:

JF =
Soll sich

JS,,

+ i?J^ + _ E^ix).
)

einem besonderen Falle F{x} eine continuirliche Function von x ist, oder dass zJF mit zugleich unendlich abnimmt, so wird man zeigen mssen, dass die drei Grssen zur Rechten in der letzten Gleichung sich gleichzeitig so sehr verkleinern lassen, als man nur immer Avill. Da man nmlich im voraus nicht weiss, ob R,i(x) eine continuirliche Function ist, so kann man im Allgemeinen nicht anders darauf ausgehen, den Unterschied
in

nun beweisen lassen, dass

Rn[x

-\- s)

Rn{x]

zu verkleinern, als dadurch, dass man jede dieser Grssen fr Dies muss durch Vergrsserung von sich sehr klein macht. n geschehen, whrend man durch Verkleinerung von e bewirkt, Zum Beweise der Continuitt dass z/Sjj unendlich abnimmt. von F{x) in der [386] Gegend des bestimmten Werthes x wird also erforderlich sein, zu zeigen, dass man fr diesen Werth gleichzeitig n so gross, aber endlich, und so klein, aber von Null verschieden machen kann, dass die drei Be-

dingungen

erfllt

werden:

Reihen, welche discdntinuirliche Functionen darstellen.

39

(4)

J^J^Xq'
klein

wo

r,

o',

o"

beliebig

anzunehmende absolute Grssen

bezeichnen, und smnitliche Ungleichheiten abgesehen vom Bestehen sie alle zugleich, so zu nehmen sind. ", o' dem Zahlenwerthe nach <C t^ wird dann aus (3) kann also so klein gemacht werden, als man nur will.

Zeichen

JF

+ +

Was
heiten

zunchst

die Erfllung

der beiden

letzten Ungleich-

so kann man folgende Betrachtung anstellen: Es bezeichne einen bestimmten, von Null verschiedenen Werth des Incrementes t von x. So klein es auch gewhlt sein mag, so wird man doch nachher r so klein annehmen knnen (was in der Willkr liegt), dass fr das Bestehen der zu nehmen; ersten Ungleichheit in (4) erforderlich ist, e <C wir knnen also als die mglichen Grenzw^erthe von und t ansehen. Es sei nun o eine Grsse, kleiner als der kleinere der beiden Werthe o' und o", und man verstehe unter v (abhngig von e) die mglichst kleine positive ganze Zahl, welche gleichzeitig allen Bedingungen gengt:
betriflft,
/; '/
/;

(5)

u.

3.

w. in

inf.

387 (Bedingungen, die sich, bei der vorausgesetzten Convergenz der Reihe, immer mssen erfllen lassen) so knnen zwei Flle eintreten: entweder es wird, (I) whrend alle Werthe von bis ; durchluft (einschliesslich der Grenzen), )' fr irgend einen darunter liegenden einen Maximalwerth erlangen (und dann berhaupt nur eine endliche Zahl verschiedener Werthe haben), oder (11) es kann v in der nchsten Nhe von 5 0, zugleich mit dem ohne Ende abnehmenden e, ber alle Grenzen wachsen. Geschhe nmlich das Letztere in der Nhe eines anderen bestimmten Werthes von e als bei 0, so wrde man diesen dadurch ausschliessen knnen, dass man ri kleiner machte, so dass er nicht mehr in das Intervall von bis /; fiele. Es braucht also nur der eben bezeichnete Fall bercksichtigt zu werden.

40
I.

Ph- L- Seidel.

den beiden Mglichkeiten die erste nmlich einen Maximalwerth der wirklich statt, dass es und /; gehren, Zahlen ;' giebt, welche zu den e zwischen zu wird es nur nthig sein, fr n in (4) diese Zahl so nehmen, um vermge der Bedingungen in (5) sicher zu sein, dass den beiden letzten der drei Ungleichheiten gengt ist, Diese wie auch e in dem Intervalle gewhlt werden mge. Grsse wird man nun, was bei der Coutinuitt der Function und i] und verschieden Sn{x) immer mglich ist, so zwischen von dem ersteren Werthe anzunehmen haben, dass auch die
Findet

nun von

N N

erste

Bedingung

JSn
erfllt ist,

<T
man

und

fr jedes

wird dann also

vermge

noch kleinere e erfllt bleibt; (3) und (4) haben

oder da die Grssen zur Rechten beliebig klein angenommen werden [388] knnen, so wird gezeigt sein, dass die Aenderung der durch die Reihe dargestellten Function F{x) zugleich mit dem Incremente der Variabein x unendlich abnimmt, dass also die ganze convergirende Reihe, deren einzelne Glieder stetig von x abhngen, ebenfalls eine in der Nhe des bestimmten Werthes von x contiuuirliche Function dieser Grsse
darstellt.

In

diesem

ersten Falle

ergiebt

sich

also

wirklich

der Gaucky'' sehe Satz. II, Anders verhlt es sich mit

mit II bezeichneten Falle, zu dessen Betrachtung ich mich jetzt wenden werde. Es knnte auf den ersten Anblick scheinen, als ob dieser
dass nmlich fr sehr kleine q und in der nchsten Nhe die durch die Ungleichheiten (5) definirte kleinste von Zahl V ber alle Grenzen wchst, gar nicht eintreten knnte.
Fall,

dem oben

Denn da

und ij e zwischen jeden von ihnen ein endliches convergirt, so muss V angeben lassen, welches jene Ungleichheiten alle erfllt. Daraus folgt aber durchaus nicht, dass alle solchen v unter einer bestimmten Grenze iY+ 1 liegen mssen. Es knnte welcher z. B. in einem besonderen Falle der Zusammenhang,
die

Reihe fr

alle

Werthe von

sich fr

vermge der Art

der
sein,

Bedingungen (5) zwischen c und r stattfindet, dass v die grsste in dem Ausdrucke

Reiben, welche discontinuirliclie Functionen darstellen.

41

enthaltene ganze Zalil wre, verschiedene t endlich bleiben,

so wrde es fr jedes von und doch alle (Jrenzen ber-

Man kiinnte einwenden, dass der hier beispielsschreiten. weise angenommene Zusanimeuhaug zwischen ;' und e und ebenso unstatthaft weil nach ihm fr alle hnlichen deshalb sei, die Zahl r unendlich, also die Reihe, gegen die Voraus setzung, fr diesen Werth divergent wrde. ''^) So darf aber nicht geschlossen werden. Denn, '389] da man im voraus nichts darber weiss, ob die (rssen 7i',,(a;+), J\',.^^{.l' -]- s) u. s. w. continuirliche Functionen von (a; oder) sind (was ja eben durch den Caurhi/schen Satz erst bewiesen werden soll), und berhaupt im Allgemeinen nichts ber sie Aveiss, als dass

sich die

Bedingungen

\}

immer

erfllen lassen, so

kann auch

nicht behauptet werden, dass nach denselben v mit einer gewissen Regelmssigkeit, einer Art von Continuitt, von e abhngt, und es knnte sehr wohl sein, dass es, um bei dem gewhlten Beispiele zu bleiben, fr jedes von verschie-

dene, sonst

beliebig kleine, e die grsste in

enhaltene ganze Zahl wre, fr aber, die Continuitt verlassend, gleichwohl keine unendliche, sondern des Gesetzes irgend eine bestimmte Grsse htte. Also wrde in dem Beispiele sich in der That fr jedes e, die Null eingeschlossen, ein endliches r angeben lassen, Avelches die Bedingungen (5) erfllt, und docli kein Grenzwerth, unter welchem alle diese y Mit anderen Worten: die Reihe wird zwar fr die liegen. betrachteten Werthe der Variabein immer convergiren, -wie es die Voraussetzung fordert, aber man wird, in der nchsten Khe von 0, Stellen angeben knnen, wo sie es beliebig

=0

langsam thut, d. h. wo man, um sicher zu sein, dass Summe aller weggelassenen Glieder <C Q ist "^ie Anzahl

die

der mitgenommeneu grsser machen muss, als eine beliebig grosse Ein hnliches Verhalten kommt auch schon bei den Zahl N. gewhnlichen Reihen, die continuirliche Functionen darstellen, vor, so z. B. convergirt die Reihe

^1^1- 2^
immer,
der
setzt

X'

x^

1.2-3

^
so wird

man

aber

z.

B.

= 1000000,
selbst

[390]

Berechnung ihrer Summe,

man bei wenn man eine

42

Pb. L. Seidel.

Million Glieder mitnimmt, noch einen

weit ber eine Billion s. w. * Die Mglichkeit also, dass die vorgelegte Reihe in der Gegend von 0, oder in der nchsten Nhe des Werthes x der Variabein Stellen hat wo sie beliebig langsam convergirt, lsst sich nicht leugnen. Es kann also geschehen, dass sich die in deu obigen Errterungen mit bezeichnete endliche Zahl nicht angeben lsst, und alsdann bricht der ganze Beweis von der Continuitt der Function F['x] zusammen, welcher unter (I) auf die Voraussetzung der Existenz eines solchen Werthes gegrndet worden, und in der That nur eine detaillirtere Ausfhrung desjenigen Beweises ist, welchen Catichy am angefhrten Orte mittheilt. Man wrde sich auch vergebens fr diesen Fall nach einem anderen Beweise umsehen das thatschliche Vorhandensein convergirender Reihen, welche discontinuirliche Functionen einer Variabein reprsentii'en, von der ihre einzelnen Glieder stetig abhngen, lsst an einen solchen nicht denken. Man kann also nur schliessen, dass Reihen dieser Art in der Nhe desjenigen Werthes der absolut Verfr
Billion mtisste

nnd

= Einer =

enormen Fehler begehen,

man

Glieder addiren,

nm

einige Annherung, zu erhalten, u.

nderlichen, fr welchen sie springen, sich nothwendig in


hier mit
II.

dem
der

bezeichneten Falle befinden mssen;

also

in

Gegend
worden
wiesen.

dieses

diesen Ausdruck in
ist.

beliebig langsam convergiren, dem Sinne genommen, welcher festgestellt Hiermit ist das oben aufgestellte Theorem erWerthes
wie
bei

Darstellung der durch eine Discontinuitt im Verhalten der Reihe selbst erreicht wird. Die Convergenz derselben wird in der Nhe der Stelle, wo die Functionalwerthe springen, immer geringer, d. h. um dadurch, dass man die Reihe irgendwo [391] abbricht, um einen Fehler zu begehen, kleiner als eine sehr kleine Grsse q, wird man eine Gliederzahl bercksichtigen mssen welche in dem Maasse, wie man der discontinuirlichen Stelle (s 0) nher rckt, immerfort und ber jede bestimmte Zahl hinaus zunimmt. selbst keine noch Die Grenze hiervon wre, dass fr
sieht,

Mau

solchen Reihen

die

Discontinuitt der

Summe gewissermaassen

Anzahl mitgenommener Glieder der Bedingung gengte, den begangenen Fehler <^ q zu. machen, d. h. dass fr 0, oder an der unstetigen Stelle, die Reihe zu convergiren aufhrte, also den Sprung der Function nicht reprsentirte. Diese Inconvenienz wird aber dadurch vermieden, dass die
so grosse

Reihen, welche discontiiiuirliche Functionen darstellen.

48

welche mitgenommen werden mssen, der Ausselbst eine discontinuirliche Function von t Avird ( immer eine ganze Zahl ist, wird druck, niclit genau, weil gleichwohl verstndlich sein ), die zwar, wenn e von der positiven oder der negativen Seite her sich der Null nhert, ber keine unendliche, alle Grenzen wchst, doch aber fr Denkt man sich sondern eine ganz bestimmte Gr<>sse hat. also, dass e z. B. von der negativen Seite her sich der Null von einem bestimmten Werthe nhert, so wird das zugehrige an ber alle Schranken hinaus wachsen; im Augenblick, wo fllt es pltzlich von seiner Hhe auf f gleich Null wird, einen bestimmten Werth herab, um von diesem, sobald e die Null passirt hat, sogleich aufs Neue zu Werthen berzugehen, welche grsser sind als alle noch so gross gegebenen. Die Grsse N, die als eine ganze Zahl sich berhaupt ruckweise ndert, macht also an der Stelle, wo die Function discontinuirlich ist, einen unendlichen Sprung in zwei Abstzen, herab und wieder hinauf. Das Springen in zwei Abstzen ist bekanntlich auch den Functionen selbst eigen, welche durch die i^o^/vVr'schen Reihen dargestellt werden, ebenso den Werthen des oben angefhi-ten Integrales

Anzahl

der Glieder,

GO

y'sin xa

a
und andern.

da

[392] Die Anzahl iV der Glieder, welche man von der unendlichen Reihe bercksichtigen muss, um sicher zu sein, dass kein Felder q aus der Vernachlssigung aller folgenWenn den entspringen kann ist natrlich abhngig von q wird man im Alldieses eine bestimmte Grsse bersteigt, so aufgemeinen immer sicher sein, ein bestimmtes endliches stellen zu knnen, welches fr alle Werthe der absolut Variabein innerhalb gewisser Grenzen {x dr r^) seiner Definitionsbedingung gengt. Bei einer bestimmten vorgelegten Reihe muss daher der hier mit II. bezeichnete Fall als vorhanden angesehen werden, sobald er fr sehr kleine q eintritt. Bei Reihen also, welche der Kategorie II angehren (und Merunter mssen alle sein, welche discontinuirliche Functionen einer Grsse x darstellen, von der ihre einzelnen Glieder stetig abhngen), wird es einen gewissen ausgezeichneten Werth von q geben derart dass man so lange q "^

44
ist,

Ph. L. Seidel.

immer

ein

bestimmtes
ij

so

angeben kann,

dass fr e

zwischen

und

Bx+^[x
u. s.

+ )< o
inf.

w. in

dass hingegen, sobald q unter heiten sich nicht mehr fr alle

P
e

herabsinkt,
gleichzeitig
;

diese Ungleicherfllen
lassen,

und derselben zuso nahe auch die beiden Grenzen sammenfallen mgen. Die Eigenschaft also, dass es fr jede Gegend, wo die dargestellte Function springt, eine solche Grsse x> giebt, muss allen Keihen von der betrachteten Art zukommen, wobei es
brigens, wenigstens so lange
nicht das Gegentheil besonders erwiesen ist, denkbar wre, dass bei bestimmten Reihen unendlich wrde, oder wie man es auch aussprechen kann es ist mglich, dass Reihen existiren, [393] wo in der unmittelbaren Nhe ganz bestimmter Werthe der Vernderlichen sich Stellen angeben lassen, fr welche die immer stattfindende Convergenz so langsam eintritt, dass der begangene Fehler, von bis zu welcher noch so grossen vorgegebenen Zahl Gliedern man auch gegangen sein mge, immer noch grsser Der allgemeinere Fall bleibt, als eine beliebig grosse Zahl*). wird hingegen der sein, dass er nur grsser bleibt als eine Dies ist bestimmte Zahl oder jede darunter liegende. nothwendig, damit die Reihe eine discontinuirliche Function darzustellen im Stande sei; dagegen ist es, bis auf weitere Untersuchung, nicht ausgeschlossen, dass derselbe Fall auch Die bei Reihen vorkme, deren Werthe nicht springen. ^ 6) die mit Grsse P, oder besser irgend eine Function derselben, abnimmt, knnte man als eine Ai"t Maass wachsendem der Convergenz der Reihe beti-achten, auf welche sie sich
:

bezieht.

Es wird

nicht nthig sein, noch besonders die

Anwendung

auszufhren, welche das Gesagte auch auf bestimmte Integrale

*) Aehnlich, wie man dies bei der schon oben angefhrten Reihe fr r' machen kann, aber bei dieser nicht, wie es im Falle des Textes gefordert wird, ohne dass x gewisse enge Grenzen

berschreitet.

Reihen, welche discontinuirlicbe Fanctionen darstellen.


die

45
Ist

leitet,

discontinuirliche

Functionen

reprsentiren.

i')

/unJiohst wenigstens eine (!renze des Integrales unendlich,

so

kann

durch l)Iosse Abtlieilung in endliche Intervalle, auf eine unendliche lieihe der besprochenen Art zurckfhren; sind beide (Jrenzen endlich, so wird das Integral durch Einfhrung einer neuen Variahein u. s. w. in eins von unendlicher Ausdehnung verwandelt werden knnen. Ist die unterm Integralzeichen stehende Function continuirlich, so kann brigens der Werth des Ganzen, wie leicht zu zeigen, nur dadurch discontinuirlich sein, dass die Function innerhall) des Intervalles unendlich wird: also ist auch in diesem Falle die Unendlichkeit der Form eigentlich schon gegeben.
uiiin

es,

Anmerlvungen.

geboren den 13. Februar Mai 1859 in Gttiugen, war einer der bedeutendsten deutschen Mathematiker des neunEr zeigte schon von Jugend an grosse zehnten Jahrhunderts. Vorliebe fr Mathematik und kaufte sich fr sein Taschengeld mathematische Bchel-, die er so lange las, bis er sie verAuf Wunsch seiner Eltern sollte er eigentlich Kaufstand. mann werden, erreichte es aber, dass er studiren durfte. 1817 1819 besuchte er das Gymnasium in Bonn, 18191821 Er setzte es durch, Mathedas Jesuitengymnasium in Kln. matik studiren zu drfen (statt Jurisprudenz, wie seine Eltern wnschten) und zwar iu Paris, wo er sich als Hauslehrer Indessen wurde er mehr gefrdert seinen Unterhalt erwarb. durch seine Privatstudien (er war einer der ersten welche

Gustav Peter Lejeune Dirichlet,


5.

1805 zu Dren, gestorben den

die Cra?^ss'schen Disquisitiones arithmeticae wirklich verstanden haben) und den Verkehr mit Fourier, der in ihm das Interesse fr die mathematische Physik erweckte, als durch die Vorlesungen an der Facidte des sciences. 1826 kehrte er nach Deutschland zurck, habilitirte sich auf . V. Hiimboldfs Veranlassung 1827 in Breslau, kam 1828 nach Berlin an die Kriegsschule und wurde 1831 Professor an der Universitt und Mitglied der Akademie. In Berlin erwarb er sich schnell grosses Ansehen und hatte einen gewaltigen Lehrerfolg. Trotzdem nahm er 1855 den Ruf nach Gttingen als Nachfolger von Gauss an, weil er in Berlin nicht von seiner Stellung an der Kriegsschule befreit wurde. Er versammelte auch in Gttingen einen grossen Kreis vou jungen Mathematikern um sich. An einem Herzleiden, das sich pltzlich entwickelt hatte, starb er im Jahre 1859. Diriclilei\ wissenschaftliche Verdienste bestehen einerseits welche an Gauss in seinen zahleutheoretischen Arbeiten

Anmerkungen.
anknpften und namentlich durch
theorie viele

47
Functioneii-

Anwendung von

Probleme

hJsen.

Durch

seine Vorlesungen lter

Zahlentheorie 'herausgegeben von Dcdckind] hat er ferner das Verstndniss der Disquisitiones arithmeticae von (iauss sehr erleichtert. l)anel)en war die Theorie der bestimmten Integrale und ihre Anwendung in der mathematischen Physik

und er hat theils durch vorhandener Methoden, wie in der vorliegenden Alhandlung, welche an Fourier anknpft, theils durch Behandlung neuer Probleme aus der "Wrmelehre, der Hydrodynamik, der Poteutialtheorie und der Mechanik, Cirosses geleistet. (Vgl. die Ausgabe der gesammelten Werke, herausgegeben von der Berliner Akademie, Berlin 1889 u. 1897.) Philipp Ludwig [von) Seidel, geboren den 24. October 1821 in Zweibrcken, gestorben am 15. August 1896 in Mnchen,
sein hauptschlichstes Arbeitsgebiet,

strengere

Begrndung

sclion

besuchte die lateinische Schule in Nrdlingen, das Gymnasium Nrnberg (1835) und das Gymnasium in Ilof (bis 1839). Sein grosses Interesse und seine Befhigung fr Mathematik veranlassten seinen Lehrer Schnrlein, der ihn auch privatim frderte, bei S.'s Vater es durchzusetzen, dass er Mathematik studiren durfte. (Sein Vater konnte sich anfangs nicht mit diesem Gedanken befreunden, da man damit keinen Hund aus dem Ofen locken knne.) Er studirte nun in Berlin l)ei Dii-ichlet und Enckc (1840 1842), dann in Knigsberg, wo die mathematischen Studien unter jacohi, Bessel und Neiimann blhten. 1842 ging er nach Mnchen, wo er auf StcinheiVs Veranlassung sich mit photometrischen Untersuchungen beschftigte. 1846 fand seine Promotion statt, in demselben Jahre habilitirte er sich in Mnchen, wurde 1851 ausserordentin

licher
er,

und 1855 ordentlicher Professor. Im Jahre 1896 starb nachdem er schon lange Zeit durch ein Augenleiden an der Ausbung seines Amtes verhindert war.
Seine Arbeiten bestehen in astronomischen Beobachtungen, Untersuchungen und verschiedenen mathematischen Abhandlungen, in denen die Wahrscheinlichkeitsrechnung und die Lehre von den unendlichen Reihen bearbeitet wird (vgl. die Gedchtnissrede F. Lindemannh auf v. Seidel, Mnchen 1898).
optischen

Lindemann sagt von den mathematischen Abhandlungen: Wir sehen Diricldefs Einfluss in dem Bestreben, allgemein anerkannte und benutzte Methoden streng zu begrnden und
auf sichere Basis
zu stellen. Die Arbeit Ueber neue Eigenschaften der Pieihen, welche discontinuirliche

48

Anmerkungen.
fllt eine

Functionen darstellen

wesentliche Lcke aus,

indem zuerst der Begriff der ungleichmssigen Convergenz eingefhrt wird, und so in der Theorie der trigonometrischen Reihen ein Rthsel gelst wird, das Dirichlet's Beweis fr die Convergenz wohl umgangen, aber nicht erledigt hatte.

Die in dem vorliegenden Hefte verffentlichteu Arbeiten stehen in einem engen Zusammenhange. Hatte Dirichlef Untersuchung gezeigt, dass eine convergente Reihe von un-, endlich vielen stetigen Functionen nicht nothwendig eine stetige Summe zu haben braucht, so hat Seidel aufgeklrt, dass der Gruud der Unstetigkeit einer solchen Summe nur in der unendlich verlangsamten Convergenz bestehen kann.

Was nun

speciell DirickJefs Arbeit

ber trigonometrische

Reihen angeht, so sei bezglich der Geschichte dieser Reihen verwiesen auf die Einleitung von B. Rioiiciii^s Arbeit vom Jahre 1854: Ueber die Darstellbarkeit einer Function durch trigonometrische Reihen (p. 266 ff. der zweiten Auflage der Ges. Werke, Leipzig 1892), ferner auf die Darstellung von . SacJise: Versuch einer Geschichte der Darstellung willkrlicher Functionen einer Variabein durch trigonometrische Reihen 276 im dritten Bande der Abhandlungen zur Geschichte (p. 230 Mathematik, Leipzig 1880), endlich auf die Biographien der A. Haruackh (von A. Voss, Math. Annalen, XXXII, 1888) und P. Dubois-ReymomVs, (von //. IVeber, Math. Annalen, XXXV,

1890).

Hier mge zur Einleitung Folgendes gengen: Die Aufgabe, eine irgendwie gegebene Function in eine Reihe zu entwickeln, welche nach bestimmten Functionen fortschreitet (z. B. nach ganzen Potenzen der unabhngigen Variabein, oder

nach den trigonometrischen Functionen derVielfachen), zu folgenden Fragestellungen Anlass: giebt 1. Wie sind die Coefficienten der Reihenentwicklung aus (In der Maclawmder gegebenen Function zu berechnen?
sehen Reihe
2.
ist
z.

B. der Coefficient von

a;"

f(){o)
-.

n\
Stellt die

alle

nach dem in 1. gefundenen Gesetze ent\\ackelte Reihe die Function auch wirklich dar? (Bekanntlich kann man
z.

MaclmiriaschQ Reihe ent\^4ckeln; Coefficienten der Entwicklung verschwinden.)


B. e"
""-

in

keine

Anmerkungen.
3.

49
luilien,

damit nach dem vorge3chriel)enen Gesetze entwickeln lsst? 4. Ist die gefundene Entwicklung eindeutig? 5. Wann convcrgirt berhaupt eine Keiiie der vorgeschriebenen Form? ^d. h. welchen Bedingungen mssen die Coefticieuten gengen, damit Convergenz statttiudet?) Die erste Frage hat Fourier fr trigonometrische Reihen auf zwei verschiedene Weisen gelst [vgl. Fourier^ Theorie Publice par G. Darboiix, aualytique de la chaleur (Band I). Paris 1888]. Die erste, umstndliche Methode ist folgende 204 fl*.): F. geht von der Annahme aus, dass die zu ent(p. wickelnde Function in Form einer Potenzreihe gegeben ist. Die Diese wird umgeformt in eine trigonometrische Reihe. Coefficieuteu der trigonometrischen Reihe haben eine Gestalt, aus der folgt, dass sie gewissen Differentialgleichungen zweiter Ordnung gengen, denen auch die bestimmten Integrale geDie ngen, welche die wirklichen CoefOcienteu darstellen. zweite, einfachere Methode ist die Berechnung durch gliedmiiss eine Function
sie sich

Welche Eigenschaft

weise vorgenommene Integration (p. 211). (Vgl. Anmerkung 6.) Dirichkt selbst hat in der hier verflentlichten Arbeit eine dritte Methode gewhlt, indem er ausgeht von der Coefficientenbestimmung bei einer trigonometrischen Reihe mit einer endlichen Anzahl von Gliedern ( 3). Eine vierte, sehr elegante Methode hat endlich in neuerer Zeit . Tpler gegeben (Anz. der Kaiserlichen Akademie der Wissenschaften zu Wien vom 7. XII, 1876^ Die Aufgabe, eine gegebene Function in eine trigonometrische Reihe von endlicher Gliederanzahl und von der Form

---

+ +

h^

cos X

-j-

^m

^ ^^**
sin

a^ sin

-|-

a^

mx

zu entwickeln,

fhrt
,

genau auf die jPowWer'schen Werthe fr

die Coefficienten wenn man verlangt, dass die Summe der Fehlerquadrate ein Minimum wird. Endlich sei noch erwhnt, dass es Apparate giebt, welche die Berechnung des i^oirier'schen Coefficienten auf graphischem Wege ermglichen (z. B. Henrici^s harmonischer Analysator), Die zweite Frage hat Dirichht zum ersten Male einwandfrei beantwortet, und zwar in der Arbeit: Sur la convergence des series trigonometriques qui servent a representer une fonction arbitraire entre des limites donnees [Crelle' Journal 4, 1829,
Ostwald's
Ivlasisiker.
1 Iti.

50
p.

Anmerkungen.

132 des ersten Bandes der gesammelten Werke, lierausg. von Kronecker, Berlin 1889). Von dieser Arbeit ist die hier verflfentlichte (erschienen in Moser und Dore's Archiv 1837 Ges. Werke I, p. 133160) eine Erweiterung und Ergnzung. Der Grundgedanke von DirichM ist die Reduction auf das
p.

157

169 =

117

Integral ( 4):

(pi)

sm;/i r"'pj

dessen Grenzwerth fr k oo zu untersuchen ist. An dieses DirichlefschQ Integral knpfen auch alle spteren Untersuchun-

gen ber die zweite Frage an,


Dirichlet ( 5),

wenn auch

nicht,

wie bei

das Integral untersucht wird durch Zerlegung


in Theilintervalle

des Intervalles
sin

von der Lnge

TT

fr die
z.

sein Zeichen

nicht

wechselt.

(Man vergleiche

B.

C. Neuniann^s, Buch: lieber die nach Kreis-, Kugel- und Cylinderfunctionen fortschreitenden Entwickelungen Leipzig

1881, Kap.

2,

die einfachen

4, p. 38 if.; L. Kronecker''?, Vorlesungen ber und vielfachen Integrale, herausg. von E. Netto,
;

Leipzig 1894, p. 70ft". C. Jorduri's Cours d'analyse II, zweite Aufl., Paris 1894, Kap. IV). Die dritte Frage hat ebenfalls Dirichlet zum ersten Male behandelt: In seiner ersten Arbeit spricht er das Resultat aus, dont dass die Entwicklung mglich ist si Ja fonction cp[x) toutes les valeurs sont supposees fmies et determinees ne jyresente tt quhin nombre fmi des Solutions de contimdte entre les limites et 7t, et si en outfe eile ta qu\in nombre determine de Diaxima
,

et

minima

entre ces

memes

limites.

(Vgl.

Anmerkung

9.)

Man hat mehrfach versucht, diese DiV/e///ef sehen Bedingungen zu erweitern, und ist dabei zu anderen Bedingungen gelangt, welche sich zum Theil nicht mit ihnen decken (vgl. die oben genannten historischen Darstellungen, sowie die citirte
Arbeit Riemami's). Die beiden letzten Fragen sind seit Riemann besonders in Angriff genommen worden; man rindet eine Besprechung derselben in den oben citirten Biographien. Soviel ber die Bedeutung und historische Stellung der Arbeit von Dirichlet. Die Arbeit von Seidel ist eine noth-

wendige Ergnzung von

Dirichlei'%

Untersuchung.

Den Grund

Anmerkungen.

51

der Unstcti^koit olnor convorgonten Reihe von stetio^cn Functionen fand Sri/lrl in der unendlich verlangsamten Conver^enz.

hat hriocen fast gleichzeitig dieselhe Entdeckung gemacht (vgl. Band I der Matheniatical and phy.sical papers, Cambridge 1880, p. 236285). Eine sehr elegante Darstellung dieser Frage mit vielen Beispielen lindet man auch in (f. iJarhoux's Memoire sur les fonctions discontinnes (Annales de TEcole normale. II. Serie, Tome 4, Paris 1875, p. 57 112). Inhaltlich sei noch Folgendes bemerkt: Der Irrthum, dass eine convergente Reihe von stetigen Functionen eine stetige Summe haben msse, beruht auf einer unerlaubten Vertauschung der Grenzbergnge.
(/'.

Sfohr.f

Wir wollen
F{x)

setzen:
f,{x)

=
a

...+ U{x)

-f

/;,^,(rr]

bestimmter Werth von x. Dann ist wegen der vorausgesetzten Convergenz und Stetigkeit der einzelnen Glieder der Reihe:

Es

sei

ferner

ein

Limes
Ferner

Ii[x)

(auch fr

o:.

a)

Limes Sn(x)

x= a
Dagegen brauchen
Limes
nicht identisch

= ^(a).
Limes
^(^)

die beiden Grssen

B{x)

und

(=

0)

zu sein; und diese Voraussetzung wird stillschweigend gemacht von Cauchy. Nur dann, wenn diese beiden Grenzwerthe identisch sind, ist die Function F{x) stetig.

1)

Zu

Seite 3.

Das Problem, durch welches Fourier auf

trigonometrische Reihen gefhrt

wurde, ist die Aufgabe, die Temperaturen der einzelnen Punkte einer rechteckigen homogenen Platte bei stationrer Wrmestrmung zu bestimmen (a. a. 0. p. 222). Ferner werden trigonometrische Reihen in der Elasticittslehre und in der Akustik angewendet (brigens schon vor Fourier). Man vergleiche z. B. hierzu B. Biemann, Partielle Differentialgleichungen und ihre Anwendung auf physikalische Fragen. Vierte Auflage. Neu bearbeitet von H. Weber.
:

4*

52
Braunschweig 1900;

Anmerkungen.

?'. IlelmhoU'X,, Vorlesungen ber die mathematischen Principien der Akustik. Leipzig 1898; Wangerins Ausgabe der Hehnholtz sehen Theorie der Luftschwingungen in offenen Rhren (Nr. 80 dieser Sammhing); Eayleigh, The theory of sound. Zweite Auflage. London 1894.

2)

Zu

Seite 3.

Dmehlct

giebt keine Definition der Stetig-

im Intervalle ab. Dieselbe ist folgenderraaassen zu definiren: Eine Function heisst stetig in einem Intervall, wenn sie in allen Punkten des Intervalles stetig ist; eine Function heisst stetig in einem Punkte a?, wenn sie fr jedes von Null verschiedene beliebig kleine eine von Null verschiedene Grsse d angeben kann, so dass
keit

(fix
ist,

+ hd) - f{a-))<:
1
,

sobald h zwischen
3)

und

-f- 1

liegt.

Zu
Zu

Seite 4.

d. h.

wenn das bestimmte


lsst.

Integral

sich

nicht durch einfache


Seite 5.

Formeln auswerthen

Dieser anschauliche Beweis ist, wie Birichirt 4) Es muss vielmehr geselbst hervorhebt, keineswegs streng. zeigt werden, und zwar durch rein analytische Betrachtungen, dass die Summe

in der i die

irgend eine dem n-ten Theilintervalle angehrige Abscisse bedeutet, sich einer bestimmten Grenze nhert, Avenn die einzelnen Theileines Theiliutervalles
.r^-

Lnge

und

intervalle unendlich klein


alle

werden, whrend ihre Anzahl ber

Grenzen wchst.

(Ein sehr einfacher Beweis hierfr findet


0. p. 73.)

sich bei
5)
ist
z.

Darboux
Seite 8.

a. a.

Zu

Bei

dem Problem

der schwingenden Saite

B. die folgende Aufgabe zu lsen:

Bedeutet / die Lnge der Saite, x die Entfernung eines Punktes von einem Endpunkt, y die Abweichung aus der Ruhelage (wo die Saite gespannt ist), t die Zeit, so ist zunchst

y =

n=
XTf/

>

[An cos ant

..

-\-

B^ sm

1-.

ant)

sm

'>f'X7t

die Gleichung, welche die


stellt.

Bewegung der

einzelnen Punkte dar-

Die Constanten A^ und zu bestimmen, dass zur Zeit ^

i?j

sind

nun aus der Angabe


nicht

die Saite

nur eine

Anmerkungen.
bestinunti

53

Anfim^sfonn hat f {>')), sondern, dass die vorgeschriebene Geschwindigkeiten haben einzelnen runkte auch
{.'J

[(:i.-HHieraus folgt, dass die Coefficionten A^ und B/^ beiden Gleichungen


aus

den

'

g[a-)

=a

yj"nBn

nXTT

sin

zu bestimmen sind.

g{x) in trigonometrische Reihen

den Sinus
6)

Mit anderen Worten: es mssen /"(.^) und entwickelt werden, die nach x/t - fortschreiten. der Vielfachen von
V

von Fourier herrhrende Methode, die Coefficienten zu bestimmen: Indem man die beiden Seiten der Gleichung
Seite 16.

Zu

Einfacher

ist

die

folgende,

f[x)

= +
"-

i,

cos

a;

/^,

cos 2 a;

+
-\-

a^ sin

-}- n^ sin

2X

erst

mit sin
die

;?.>

mnltiplicirt

und dann

integrirt

von

ir

bis

7r;

man

indem man ferner mit cos Formeln

)ix dasselbe ausfhrte,

erhlt

K
7t
n
/>

TT

/ f[x)\
7t 7t

cos nxdx.)

Of^

= V

/ f(x) sin

nx dx

7t

Dabei

ist

Gebrauch gemacht von den Formeln

54

Anmerkungen.

cos

nx

sin

mxdx

= 0,
mxdx

cos^

mxdx

/ sin-'

tt,

cos w.i; cos

nxdx

::=:

0,

1 sin ?. sin

nxdx

(w ^=

/f
lind

Jt

dann auf der rechten


7)

Seite gliedweise integrirt.

Zu

Seite 20.

Bei Dmehirt steht an dieser Stelle nicht

-- sondern
8)

wie auch berall in den weiteren Formeln.


C.

Zu
Zu

Seite 27.

Neumann

hat hierfr die Bezeichnung

monoton eingefhrt.
9)

Seite

29.

An

dieser Stelle wird also die Function

der Bedingung unterworfen, dass sie abtheilungsweise (p monoton und abtheilungsweise stetig ist in dem ganzen InterDiese Bedinvall (nach der Bezeichnung von C. Neimiann). gungen hat man spter als die Dirichlef sehen Bedingungen Zum ersten Male hat H. A. bezeichnet (vgl. die Einleitung). Schwarz ein Beispiel einer stetigen Function gegeben, welche die Diriehlefsahen Bedingungen nicht erfllt und sich auch

nicht in eine Fouricr^Bche Reihe

entwickeln lsst. (Das Beispiel ist verffentlicht am Ende der Abhandlung von . Saclise.) Die Function rp[x) wird durch folgende Festsetzung definirt.
theile das Intervall

Man

von

7t
Li

bis

in

unendlich viele

bis

zur Null kleiner werdende Intervalle


7t
7t.

7t

7t

7t

Tf. 7t

TT.

0,

Anmerkungen.

55

so zeigt sich, dass das DirUliJrt^ che Integral ber alle Grenzen

wchst, whrend doch

Limes
10)

(p{ji)

ist.

Als Beispiel einer Foun'er'' sehen Entwicklung wollen wir die folgende whlen: Es soll die Function (f{x) in eine trigonometrische Reihe entwickelt werden, wobei (p{x) im Intervalle /c bis U detinirt ist durch die Gleichung
Seite
.'?.7.

Zu

(p{x)

= +y
a;

uud im Intervalle

bis jc

durch die Gleichung

Fr

die Coefficienten ergeben


^0

sich die

Formeln

0,

f'm

= ^ [/(.'^+

.-I

2")09 iniJd-i-fl^'^^ -/>') cos mdlj]^

= 0,

Dl.

= 2u,
= 0.

=
%i

i-

(m
(

= 2/^4sin
j

1),
7t

= - [/(/>' H- 2
7t
,
.

w./i?c?(i'

+y ly

/>'!

sin

mdll

Es kommt

also die Reihe

f/)(^)

4 cos cos = -(cos.; + -^ + -2^ + -..j/

3a;

5;

Difierenzirt
f/),(a;),

mau
:f

diese Entwicklung,

X
a;

= =

die
bis

von x

und x

= =

7C

bis

TT

-[-jr,

Fr 1 darstellt. /r den Werth muss sich das arithmetische Mittel aus


ergeben.

so erhlt

man

eine Reihe

den Werth

x =

-j- 1,

von

den Sprungwerthen, also der Werth Die Reihe ist


,
.

sin 3a;

sin

hx

56
und hat in der That Werth Null.
Setzt

Anmerknngen.
fr
z;

= 0, =
a;

7t

und x

7t

den

man aber z.B.

a;

Tt
,

so

kommt

(-Y)

= -|(-^ + T-y+
ist

Die uueudliehe Reihe, welche in der Klammer steht,


negative
in

der

Werth der hdhnvx^^c^^M Reihe

fr

4
Tt

so

dass sieh

der That ergiebt:


i

rt\

Auch

fr alle

anderen zwischen
f/>,(a;

rt

und

gelegenen Werthe
(Hieraus kann

des Argumentes hat

diesen AVerth.

man

unendlich

viele

Formeln

zur

Berechnung
tt,

von

ableiten.)

Liegt X dagegen zwischen

und

so ergiebt sich der


leicht

Werth
denn

1.

Fr

if

=
4

--dt

kann man

dies

besttigen,

es wird

[Jt\

11
Vergleiche

TT

11)
12)

Zu Zu

Seite 36.

die

Function

(p^{x)

in

der

vorigen Anmerkung.
Seite

36.

Fr x

hat das Integral den Werth


fr negative

Null, fr positive

Werthe von x den Werth -^,


(Vgl.
z.

den Werth

-dt

B. Serret ,

Difi".

und Integralrech-

nuug, bersetzt von A. Harimck., Leipzig 1899, Nr. 471 und 487.)
13)

zweite Auflage,

Band

II,

Zu

Seite 37.

Ist z. B.

bei der Reihenentwicklung

das Argument x von Null (oder von jt) (/), [x) verschieden, so weicht auch die Summe von sehr vielen aufTrotzeinander folgenden Gliedern von Null sehr wenig ab.

von sehr wenig

dem

hat die

Summe den Werth


Seite 37.

-j-l, resp.

1.

14)

Zu
9)

merkung

Die Functionen sollen also (wie in Anabtheihmgsweise stetig sein und nicht etwa

Aniuerkungen.

57

Uubestiinnitlu'itsstelk-u

li.-ihen

(wie siu

z.

fr

./

0;

oder un-

endlich werden.
15;
/(.f)

'An

Seitt

41.

lU-triithtcn
./

wir

Vi.

die

lieihe

= +r
./

1sie

+ r - xf + x(l - x' H
1

so convergirt sie,

lauge

^ x <^ 2
'1

ist.

Das Restglied hat

den Werth
-"^n

'

_.r\

''

Fr jeden

von x wii'd das Restglied mit zunehmendem // beliebig klein. ist Fr x -R(ar) Die 0, dagegen ist Limes /i'(2) nicht gleich Null.
Intervalle

im

gelegenen Werth

Reihe convergirt also auch noch fr X Die Convergenz wird aber fr 2). zgert, denn es ist z. B. fr _i_ ' X
./

=
./;

(nicht dagegen fr unendlich ver-

1c

also

bei

hinreichend grossem

)i

von

beliebig

wenig ver-

schieden.
;/;

Die Reihe ist unstetig fr 0, wo sie den Werth Null annimmt; berall sonst hat sie den Werth 1. 16 Zu Seite 44. Als Beispiel einer Reihe mit unendlich
verzgerter Convergenz. welche trotzdem eine stetige Function darstellt, sei das folgende von iJarboux herrhrende genannt:

f[^)

= ^u{x),

{n -j- l)a:;e~("'*'OJ''

wo
Uf^{x)
ist.

= 7ixe

"''

Hier

ist

Jin{x)

= nxe~'^"^'
7?J~1

Limes
X

Fr X

0,

i?(x) n= y

= 0.
ist:

convergirt die Reihe beliebig langsam, denn es

M^i)

ne-^.

58
Trotzdem ist auch fr x

Anmerkungen.
die Reihe eine stetige Function; sie stellt immer,

den Werth

xe
dar.

-^

Die Stetigkeit beruht darauf, dass Limes Rfii^]


17)

=
sich

ist.

Zu

Seite

45.

Als

Beispiel

hierfr

eignet

das

Integral

/sm C(X da
,

Man kann
tion

hier direct einsehen, weshalb es keine stetige


ist.

Func-

von X

Zerlegt

man nmlich

in zwei Theile

^-f-M
U

so

knnen wir schreiben


a
00

Psmxa
a

Pamax
indem man ax:=:
setzt:

Das

Integral I, lsst sich so umformen,


^

rsin
xa

/i

Man

erkennt, dass fr

a:;

=
of
,

das Integral J, gleich


TT

/sin

wird, unabhngig davon, welchen

Whrend
Limes

also /(O)
I{x)

Werth a

hat.

ist,

ist

= Limes

I^ [x]

+ Limes

I^

{^c}

TT

-^

Druck von Breitkopf & Hrtel

in Leipzig.

QA UOU L7

Liebmann, Heinrich Dir Darstellung ganz willkrlicher Functionen durch Sinus- und Cosinusreihen

Phyiical

ac

Applied

Sei.

PLEASE

DO NOT REMOVE
FROM
THIS

CARDS OR

SLIPS

POCKET

UNIVERSITY

OF TORONTO

LIBRARY