On kernels of faltung transformations. (Q2587198)

Es wird die Integraltransformation \[ y(s) = \int\limits_{-\infty}^\infty J (t) x (s+t)\, dt \tag{1} \] mit dem komplexwertigen Kern \(J (t)\) untersucht. \( L\) sei die Klasse der in \((-\infty,\infty)\) (im Sinne von Lebesgue) integrablen Funktionen \(x (t)\). \(S\) bestehe aus allen Treppenfunktionen \(x (t)\), die man durch irgendeine Einteilung \(\cdots < a_{-1} < a_0 < a_1 < a_2 < \cdots \) der \(x\)-Achse erhält, indem man \(x(t) = c_n \geqq 0\) für \(a_n \leqq t < a_{n+1}\) setzt. Es wird \(\lim\limits_{i \to \infty} a_{-i} = - \infty\) und \(\lim\limits_{i \to \infty} a_{i} = \infty\) verlangt; die \(c_n\) sind willkürlich bis auf die Forderung, daß \(x(t)\) in \(L\) liegt. \(S_U\) enthalte nur die Treppenfunktionen mit \(a_{n+1} - a_n = 1\), \(n = 0, \pm 1, \pm 2\dots \) Die Hauptresultate lauten: 1. Existiert \(y (s)\) in (1) für jedes \(x \in S_U\) für wenigstens ein \(s\), so ist \(J (t) \) meßbar in \((-\infty, + \infty)\), und zu jedem \(A> 0\) existiert ein \(M_A\), so daß \[ \sup_{-\infty < u < \infty} \int\limits_u^{u+A} |J(t)|\, dt = M_A < \infty . \] Hat die meßbare Funktion \( J(t)\) umgekehrt diese Eigenschaft, so ist (1) für jedes \(x\in L\) für fast alle \(s\) erklärt und meßbar, und für jedes \(A> 0\) gilt \[ \sup_{-\infty < u < \infty} \int\limits_u^{u+A} |y(s)|\, ds \leqq M_A \int\limits_{-\infty}^{\infty} |x(t)|\, dt, \] und \(M_A\) ist durch keine niedrigere Konstante ersetzbar. 2. Existiert (1) für alle \(x \in S\) für fast alle \(s\) und ist \(y \in L\), so ist \(J (t) \in L\). Ist umgekehrt \(J (t) \in L\), so existiert \(y (s)\) für fast alle \(s\) für alle \(x \in L\); \(y (s)\) ist in \(L\), und in der Abschätzung \(\int\limits_{-\infty}^{\infty} |y(s)|\, ds \leqq M_\infty \int\limits_{-\infty}^{\infty} |x(t)|\, dt\) mit \(M_\infty = \int\limits_{-\infty}^{\infty} |J(t)|\, dt\) ist \(M_\infty\) die bestmögliche Konstante. 3. \(\beta(x)\) sei die kleinste Zahl mit \(x(t) \leqq \beta\) für fast alle \(t\), \(B\) die Klasse der Funktionen mit \(\beta < \infty\). Existiert (1) für jedes \(x \in S\) für fast alle \(s\), und ist stets \(y \in B\), so ist \(J (t)\) in \(B\). Ist umgekehrt \(J \in B\), dann existiert \(y (s)\) für fast alle \(s\), und in der Abschätzung \(\sup\limits_{-\infty < s <\infty} | y (s) | \leqq M \int\limits_{-\infty}^{\infty} |x(t)|\, dt\) mit \(M = \beta(|J(t)|)\) ist \(M\) die bestmögliche Konstante.