Sur l'interpolation d'opérations. (Q2591617)

\(f(x)\) mit \(0\leqq x \leqq 1\) gehöre zur Klasse \(L^\varPhi\), wenn das Integral über \(\varPhi(|f(x)|)\) endlich ist (Verallgemeinerung der Klasse \(L^p\) mit \(\varPhi (|f|)=|f|^p)\). Die reelle Funktion \(U(x)=U(f,x)\), die für alle \(f\in L^\varPhi\) und \(0\leqq x \leqq 1\) definiert sei, besitze die Eigenschaft \(L\), wenn \(|U(f_1+f_2,x)|\leqq K|U(f_1,x)| + K|U(f_2,x)|\) gilt mit einer von \(f_1\), \(f_2\) und \(x\) unabhängigen Konstanten \(K\). Sie erfülle die Bedingung \(C(a,b)\), wenn für jede Funktion \(f \in L^a\) und jedes \(A > 0\) gilt \[ \begin{gathered} \text{Maß}\,E(|U(f,x)|> A)\leqq \frac K{A^b}\left(\int\limits_0^1 |f(x)|\,dx\right)^{\tfrac ba} \quad \text{für} \quad b < \infty, \\ |U(f,x)|\leqq K \max|f| \quad \text{für} \quad a=b=\infty. \end{gathered} \] Dann gilt der Satz: Erfüllt \(U\) die Bedingungen \(L\), \(C(a,b)\) und \(C(c,d)\) mit \(a \leqq b\), \(c\leqq d\), \(a < c\), so gilt für jede Funktion \(f\in L^p\) stets \(U(f) \in L^q\), außer wenn \(p\) und \(q\) den Bedingungen \(a < p < c\), \(\dfrac{q-b}{d-q}=\dfrac{bc}{ad} \dfrac{p-a}{c-p}\) genügen. Genauer gilt \[ \left\{\int\limits_0^1 |U(f,x)|^q\,dx\right\}^{\tfrac 1q} \leqq \frac A{(p-a)(c-p)} \left\{ \int\limits_0^1 |f|^p\,dx\right\}^{\tfrac 1p}. \] Ist ferner \(\varPhi(x)\) eine positive mit \(x\) ins Unendliche wachsende Funktion mit \[ \varPhi(2x)\leqq M \cdot \varPhi(x), \quad \int\limits_1^u \varPhi(x)\cdot x^{-a-1}\,dx = 0(\varPhi(u) \cdot u^{-a}), \] \(\int\limits_u^\infty \varPhi(x)\cdot x^{-b-1}\,dx=O(\varPhi(u)\cdot u^{-b})\) für \(1\leqq a <b<\infty\), so folgt aus \(f\in L^\varPhi\) auch \(\bar f \in L^\varPhi\). Dabei ist \(\bar f\) die im trigonometrischen Sinn konjugierte Funktion zu \(f\). (Ohne Beweise.)