# Interpolationssatz von Marcinkiewicz

In der Mathematik ist der Interpolationssatz von Marcinkiewicz, welcher von Józef Marcinkiewicz im Jahr 1939 aufgestellt wurde, ein Ergebnis zur Begrenzung der Normen nichtlinearer Operatoren, die auf $L^{p}$-Räumen wirken.
Eine der zentralen Anwendungen des Interpolationssatzes von Marcinkiewicz befasst sich mit der Hardy-Littlewood-Maximalfunktion.

## Wichtige Definitionen

Sei $T:L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)\longrightarrow M\left(\Lambda ,\mathbb {R} ^{\phi }\right)$ ein Operator von $L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)$ in den Raum der Lebesgue-messbaren Funktionen auf $\Lambda$ mit Werten in $R^{\phi }$, $N,\phi \geq 1$ und $1\leq p<\infty$:
* $T$ ist sublinear, falls für fast alle $z\in \Lambda$ gilt:
    $|T(f+g)(z)|\leqslant |Tf(z)|+|Tg(z)|\quad \forall f,g\in L^{p}\left(\Omega ,\mathbb {R} ^{N}\right)$
    und
    $|T(af)(z)|=|a||Tf(z)|\quad \forall a\in \mathbb {R} ,f\in L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)$
* $T$ heißt quasi-linear, falls es ein $Q>0$ gibt, sodass für fast alle $z\in \Lambda$ gilt:
    $|T(f+g)(z)|\leqslant Q(|Tf(z)|+|\operatorname {Tg} (z)|)$
* $T$ ist vom starkten $(p,p)$-Typ mit $1\leq p\leq \infty$, falls es eine Konstante $C>0$ (unabhängig von $f$) gibt, sodass
    $\|Tf\|_{L^{P}\left(\Lambda ,\mathbb {R} ^{\phi }\right)}\leqslant C\|f\|_{L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)}\quad \forall f\in L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)$
* $T$ ist vom schwachen $(p,p)$-Typ mit $1\leq p<\infty$, falls es ein $C>0$ (unabhängig von $f$) gibt, sodass
    $\left|\left\{z\in \Lambda :|Tf(z)|>t\right\}\right|\leqslant \left({\frac {C}{t}}\|f\|_{L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)}\right)^{P}$
    für alle $t>0$ und alle $f\in L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)$

## Marcinkiewicz I

Sei $1\leqslant p<\infty$ und $T:L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)+L^{\infty }\left(\Omega ,\mathbb {R} ^{N}\right)$ $\longrightarrow M\left(\Lambda ,\mathbb {R} ^{\phi }\right)$ ein quasi-linearer Operator, der vom schwachen $(p,p)$-Typ ist und vom starken $(\infty ,\infty )$-Typ ist mit den Schranken
    $\lambda _{Tf}(t)\leqslant \left({\frac {K_{p}\|f\|_{L^{p}}}{t}}\right)^{p}\quad \forall t>0,f\in L^{p}\left(\Omega ,\mathbb {R} ^{N}\right)$
und
    $\|Tf\|_{L^{\infty }}\leqslant K_{\infty }\|f\|_{L^{\infty }}\quad \forall f\in L^{\infty }\left(\Omega ,\mathbb {R} ^{M}\right)$
Dann ist $T$ vom starken $(q,q)$-Typ für jedes $q\in (p,\infty )$ und es gilt
    $\|Tf\|_{L^{q}}\leqslant CK_{p}^{\frac {p}{q}}K_{\infty }^{1-{\frac {p}{q}}}\|f\|_{L^{q}}$ $\forall f\in L^{q}\left(\Omega ,R^{N}\right)$
Mit einer Konstante $C=C(p,q,Q)$.

## Marcinkiewicz II

Dieser Satz befasst sich mit der Interpolation zwischen zwei endlichen Exponenten, wobei man zeigt, dass die Interpolation zwischen zwei Bedingungen vom schwachen Typ einen Operator vom starken Typ für alle Zwischenexponenten ergibt.
Seien $1\leqslant p_{1}<p_{2}<\infty$ und $T:L^{P_{1}}\left(\Omega ,\mathbb {R} ^{N}\right)+L^{P_{2}}\left(\Omega ,\mathbb {R} ^{N}\right)$ $\longrightarrow M\left(\Lambda ,\mathbb {R} ^{\phi }\right)$ ein quasi-linearer Operator, der vom schwachen $(p_{1},p_{2})$-Typ ist, wobei $(p_{2},p_{2})$ mit den Schranken
    $\lambda _{Tf}(t)\leqslant \left({\frac {K_{p_{1}}\|f\|_{L^{p_{1}}}}{t}}\right)^{p_{1}}$ $\forall f\in L^{P_{1}}\left(\Omega ,\mathbb {R} ^{N}\right)$
und
    $\lambda _{Tf}(t)\leqslant \left({\frac {K_{p_{2}}\|f\|_{L^{p_{2}}}}{t}}\right)^{p_{2}}$ $\forall f\in L^{P_{2}}\left(\Omega ,\mathbb {R} ^{N}\right)$
ist. Dann ist $T$ vom starken $(p,p)$-Typ für jedes $p\in (p_{1},p_{2})$ und es gilt
    $\|Tf\|_{L^{P}\left(\Lambda ,\mathbb {R} ^{\phi }\right)}\leqslant CK_{P_{1}}^{\Theta }K_{P_{2}}^{1-\Theta }\|f\|_{L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)}$,
wobei $\theta \in (0,1)$ die Bedingung ${\frac {1}{p}}={\frac {\theta }{p_{1}}}+{\frac {1-\theta }{p_{2}}}$ erfüllt und die Konstante $C$ nur von $p_{1},p_{2},p$ und $Q$ abhängt.