Ein Satz über lineare Operationen. (Q1439596)

Es sei \(f(x)\) eine Funktion der reellen Variablen \(x\), für die das \textit{Lebesgue}sche Integral \[ \int_{-\infty}^{+\infty} |f(x)|^2 \, dx \] existiert und endlich ist. Dann kann man \(f(x)\) durch ein \textit{Fourier}integral von der Form \[ f(x) \sim \int e^{-i \alpha x} \varGamma(\alpha)\, d\alpha \] darstellen. Die Funktion \(\varGamma(\alpha)\), die ``Transformierte'' von \(f(x)\), ist eine eindeutig bestimmte Funktion, für die ebenfalls das \textit{Lebesgue}sche Integral \[ \int_{-\infty}^{+\infty} |\varGamma(\alpha)|^2 \, d\alpha \] existiert und endlich ist. Jede Funktion \(\varGamma(\alpha)\) ist die Transformierte einer und nur einer Funktion \(f(x)\). Die Gesamtheit aller zulässigen Funktionen \(f(x)\) sei mit \(\mathfrak K\), die Gesamtheit aller ihrer Transformierten mit \(\mathfrak T\) bezeichnet. Es sei jetzt \(O(\alpha)\) eine feste Funktion, die für \(-\infty < \alpha < +\infty\) beschränkt und in jedem Intervall nach \textit{Lebesgue} integrierbar ist. Multipliziert man irgendeine Funktion aus \(\mathfrak T\) mit \(O(\alpha)\), so erhält man also wieder eine solche aus \(\mathfrak T\), und wir können daher mittels \(O(\alpha)\) jeder Funktion aus \(\mathfrak K\) eine andere Funktion aus \(\mathfrak K\) zuordnen, nämlich die Funktion \[ \varLambda f(x) \sim \int e^{-i \alpha x} [O(\alpha) \varGamma(\alpha)]\, d\alpha. \] \(\varLambda f(x)\) ist eine funktionale Operation, \(O(\alpha)\) ist der Operator. Die Operation besitzt drei Eigenschaften: \ \ I. sie ist linear distributiv; \ II. sie ist beschränkt; III. sie ist mit der Differentiation vertauschbar. Verf. beweist nun den Satz: Jede in der ganzen Klasse \(\mathfrak K\) definierte Operation \(\varLambda f\), die den Eigenschaften I bis III genügt, läßt sich durch einen Operator \(O(\alpha)\) erzeugen. \ \ (IV 3 D.)