Uber die Fourierkoeffizienten einer stetigen Funktion

yon beschr~nkter Schwankung.

Von
Friedrich R i e s z ~n Kolozsvs

Fiir die Fourierkoeffizienten a,, b, einer im Intervall (0,2~) deft-

nierten Funk~ion yon beschr~nkter Schwankung f ( x ) gilt bekanntlich:

mit andern Worten: die Produkt~erte ~ a , und rib, sind in ihrer Gesamt-
heir beschr~nkt. Andererseits abet ist nicht notwendig zugleich

d.i. es gelten nicht notwendig die Grer, zgleichungea

na,~--. 0, nb,, ~ O.
Ich fiihre hierfiir einige bekannte Beispiele an:
1. f ( x ) ~ ~ 2- ~ ; a n - ~ 0 , b ~ 1
--.
~b

-- zc' " 2kd-l"

3. f ( ~ x < -4- und ff~r x > , f ( x ) = -- --;;- ff~r -~ < x < --~ ;

ha,, = 0 , 1, O, 1, O, - - 1, O, -- 1;
nbn~O,--1, 0,1, 0,1, 0,--1,
je nachdem n~-- 0, 1, 2, 3, 4, 5, 6, 7 (mod 8).
Die Werte an den Spnmgstellen sind belanglos. Bei 1. und 2. ist
a, = o (-~), b , , + o (-~), bei 3. ist weder a n = o ( ~ ) , noch b, ~ o ( 1 ) .
Genauer betrachtet, sind die Verdichtungsstellen der Folgen .{ha,,} bzw.
F. Riesz. Fourierkoeffizientenstetig. Funktionen yon besehr/inkter Schwankungo 813

{nb~} im Falle 1 : 0 bzw. 1, im Falle 2 : 0 bzw. 0 u n d 1, im Falle 3

fiir beide Folgen: - - 1 , 0 und I.
Alle drei Ftmktionen sind unstetig, die erste unter itmen jedenfalls
nur in dem Sinne, da~ f + ( 0 ) ~ = f - ( 2 ~ r ) ist, dal~ sie also keine stetige,
nach 2 ~r periodische Fortsetzung z u l ~ . Man kSnnte geneigt sein, das
Ausbleiben der Relationen
zuzuschreiben. Dies um so mehr, da jede 15nzk-tion vqn besehr~nk~r
Schwankung fast iiberall, d. i. hSchstens mit Ausnahme einer Menge yore
Lebesguesehen Malle 0, einen end_lichen Differentialquotienten besitzt,
welcher aIs FunlCdon yon x betraehtet im Lebesgueschen Sinne inte-
grierbar ist und dessen Fourierkoefffzienten a,', b,', daher dem Grenz-
werte 0 zustreben, woraus man flit die l~onrierkoefffzienten jeder Integral-
fu_n~on dieses Differentialquotienten die GrSSenordnung o ( I ) erh~.
Doch ist demgegen~iber zu bedenken, dal~ eine Funktion yon beschr~&ter
Sehwankung, auch wenn sie stetig ist, noeh nicht unbedingt eine IntCgral-
ftml~ion ihres Differentialquotienten sein mu~; denn es gibt stetige, 'nicht
konstante Fmlktionen yon beschr~nkter Schwankung, deren Differential-
quotient fast iiberall gleieh Null ist.
Ich werde in den folgenden Zeilen die Vermutung, al~ ob ]~r ~ec~e
im Intervall (0, 2 Jr) definierte ste~ige _~unktion yon beschr~tnkter Schwan-

~n~#te, durah dn e~]aches ~ ~ widart~e~ Obzwar i ~

Problem, auf das ich 'fluroh anderweifAge Un~ersuc3atm~m aafmerksam
wurde, ffir lgng~ e r l ~ dachte, konn~e ich ein derartiges Beisl~el in
der Literatur nieht auffinden.
Ich seize
x

f ( x ) = -- x + lira f (1 ~- cos x) (1 + cos 4 x ) . . . (1 + cos (4 m- ~x)) gx-

~rt -I~ z o 0

Die Konvergenz des Grenzprozesses ergibt sieh dutch folgende l~berlegung.

Unter dem Integratzeiehen steht ein niehtnegutives Koshmspolyaom v,~(x)
yon der Ord_nung 1 ~ 4, ~, . . . -4-
, 4 ~-~ - = -4~" ;- 1 ~ e Kccqfizien~en vo~ v
sind ~ 0 und ~ 1. Beim Ubergang von m auf m ~ I ist das erode neu
auftrebende Glied, wenn man yon jenen mif~versehwindemden Koeffizienten
absieht, yore Index
4 " - - (1 -~ 4-}- . . . -~ 4 " - ~ ) ~-~- 2"4"+1,~ > 4~--18 '

d. i. yon hSherem Index als das Iet~te Glied in ~,(x); die Glieder yon
314 F. Riesz.

~ (x) werden somit dutch die neu auftretenden Glieder nicht beeintr~ehtigt~
was man auch so ausdriickt: v~(x) ist ein Absclmitt yon v,~+l(x). Ich
behaupte ferner, die Anzahl der neuen Glieder mit lficht verschwindenden
Koeffizienten sei 3", Es sei nimlich a,, die Anzahl de~ nicht verschwin.
denden Glieder yon ~,~(x); die neuen Glieder ergeben sich dutch Multi-
plikat~onvon T ~ ( x ) = 1 Jr .... mit c o s ( 4 ~ x ) ; da aus dem Gliede 1 das
einzige Glied cos (4 ~ x), aus den iibrigen abet je zwei Glieder entstehen,
so ist die Anzaht der neuen Glieder gleich 2 c ~ - 1. Also ist
am+i ~- 3a,, -- 1,
somit

und wegen a : - a 1 -~ 3 iolgt flit die Anzahl der neaen Glieder:

~ + i -- (:~m~ 3 m.

Naeh Integration ergeben die neuen Glieder ein Sinuspolynom, in

welehem die Koeffazienten > 0 und ~ dem entsprechenden reziproken
Index sind~ also jedenfalls ~ dem reziproken Werte des kleinsten
Index, d. i.
8 3
2.4m+ 1 2.4'~"
D~raus ergibt sieh ztm~chst

foV'~+a(x)dx--/v'~(x) 2.4 ~

d. i. die gleiehm~l]ige Konvergenz des definierenden Grenzprozesses. Daher

ist f ( x ) iiberall stetig. Ferner folgt aus

fv,~(x)clx = f ( 1 - } - . . . ) d x : = 2 ~ ,

da~ f ( x ) = f ( x + 2 = ) , d ~ also f(x) nach 2~ pe~iodisch ist. Undlich

ist z,~(x) nichtaegativ, also die Fmiktion

f ~(x)dx
0

Ifir alle Werte m monoton; dasselbe gilt flit ihre Grenziunktion m~d daher
ist f ( x ) als Summe yon zwei monobonen Funktionen in jedem endiichen
In~ervall yon besehrinkter Schwankung.
ZusammenfaZ~send: f ( x ) ist 4beraU stetig, nach 2 ~ periodisch unc~
in jedem endlic,hen Intervall, also auch im Intervall (0, 2~) yon be-
sr Schwankung.
Was nun die Fourierreihe yon f ( x ) be~rifft, so folgt aus dem Um-
s~nde, da~ ~,, (x) ein hbsohnit~ yon ~,,~+ ~ (x) ist, und aus der gleich-
 Fourierkoeffizientenstetiger Funktionen yon beschr~nkter Schwankung. 315
m~iBigen Konvergenz unseres Grenzprozesses die Tatsache, dab auch die
approximierenden Sinuspolynome
--x+fz~(x)dx
0

zugleieh Abschnitte, d. i. Teilsummen entsprechender Ordnung fiir die

Fourierreihe sind. Speziell ist fiir n = 4~ der Koeffizient yon cos n x
in zm+l(x) gleich 1, also naoh Integration jener yon s i n n x gleich __1
~t

Daher ist in tier E o u r i e r r e i h e nb,, ~- 1 ii~r a l l e n = 4 '~, and somit gilt

keineswegs nb~---~ O. Damit ist die obige Vermutung widerlegt.
Ich bemerke noah nebenbei, dal~ die Gesamtheit clef Verdichtungs-
stellen de~ Folge {nbn} dutch die Glieder der geometrischen Folge 1,
1 4=,
2~
x " " " und ihren Grenzwe~ 0 geliefert wird. Dies ergibt sich leicht
na~h genauerer Ausrectmung yon z,~(x). Da die Reihe eine Sinusreihe
ist, so ist nagirlich na~ = 0 flit alle ~ und somit na,,--.O. Ein Bei-
spiel, we auch Kosinusglieder auftreten und weder n a n ~ O, noah nb, --~ 0
wird, erh~lt man muter anderen durch leichte Ab~indertmg unseres Bei-
spieles, indem man n~mlich in der Produktdefinition des Integranden v (x)
]edes zweite Kosinus dutch das entsp~echende Sinus ersetzt. Setzt m a n
ferner
f(x) = - x + lira f ( 1 + c oeosx) (1 + cCxcos 4x)... (1 +c%_~ cos(4'~-~x))dx,
~--~ 0

we die a iiberall dicht im Intervall ( - - 1 , I) verteilt sind, so liegen auch

die Werte nb,, im selben Intervall iibemll dicht; I ~ t man wieelexu~
Kosinus mit Sinus abwechseln und liegen noah die ~ mlt geradea Ind~zes
flit sich und auch jene mit ungeraden fiberall dicht, so is~ ds sowohl
flit die Wer~e nb,,, wie such fiir die Werte na n der Fall. Unser Beispiet
t~Bt sich also noeh mannigfaltig variieren; aueh die Verwendung der
Zahlenfolge 1, 4 . . . . 4m-1,... is~ nieht wesen~lich, sie kann dutch jede
Folge {~**} aus positiven ganzen Zahlen ersetzt werden, wenn nut ~,
im VerhEltnis zur Summe 2x + . . . + ~ _ ~ geniigend stark anw~chst,
~.. B. ~ ~ 3 ( ~ § + ~ _ ~ ) ist.
Zum Schhtsse mSch~e ieh noc'h folgende Fragen aufwerfen, die mir
sehon fiir schwerer zug~inglieh seheinen: Gibt es eine stetige, nach 2 z
periodische Funk~ion yon beschr~nk~r Schwankung, flit welche die F o t g ~
{ha,}, {rib,) konvergieren und wenigstens einer der beiden Grenz'werte
yon Null versehieclen ist? Gibt es eine unsteflige Fun]~ion yon be-
t1 ~ /i~
sc~ter Schwankung, fiir welehe a , = o ~ - ~ ) , b , = o ~ - ~ ) ist? Die bei-
den ~ragen h~ingen miteinander eng zusammen.

(Eiugeg~ngen a m 2~. M~i 1~18.)