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(\mathrm{\Omega },{ℝ}^N)⟶M(\mathrm{\Lambda },{ℝ}^{\varphi })$ ein Operator von $L^P(\mathrm{\Omega },{ℝ}^N)$ in den Raum der Lebesgue-messbaren Funktionen auf $\mathrm{\Lambda }$ mit Werten in $R^{\varphi }$, $N,\varphi \ge 1$ und $1\le p<\mathrm{\infty }$:

• $T$ ist sublinear, falls für fast alle $z\in \mathrm{\Lambda }$ gilt:

$|T(f+g)(z)|⩽|Tf(z)|+|Tg(z)|\mathrm{\forall }f,g\in L^p(\mathrm{\Omega },{ℝ}^N)$

und

$|T(af)(z)|=|a||Tf(z)|\mathrm{\forall }a\in ℝ,f\in L^P(\mathrm{\Omega },{ℝ}^N)$

• $T$ heißt quasi-linear, falls es ein $Q>0$ gibt, sodass für fast alle $z\in \mathrm{\Lambda }$ gilt:

$|T(f+g)(z)|⩽Q(|Tf(z)|+|\mathrm{Tg}(z)|)$

• $T$ ist vom starkten $(p,p)$-Typ mit $1\le p\le \mathrm{\infty }$, falls es eine Konstante $C>0$ (unabhängig von $f$) gibt, sodass

$\Vert Tf{\Vert }_{L^P(\mathrm{\Lambda },{ℝ}^{\varphi })}⩽C\Vert f{\Vert }_{L^P(\mathrm{\Omega },{ℝ}^N)}\mathrm{\forall }f\in L^P(\mathrm{\Omega },{ℝ}^N)$

• $T$ ist vom schwachen $(p,p)$-Typ mit $1\le p<\mathrm{\infty }$, falls es ein $C>0$ (unabhängig von $f$) gibt, sodass

$\left|\{z\in \mathrm{\Lambda }:|Tf(z)|>t\}\right|⩽{(\frac{C}{t}\Vert f{\Vert }_{L^P(\mathrm{\Omega },{ℝ}^N)})}^P$

für alle $t>0$ und alle $f\in L^P(\mathrm{\Omega },{ℝ}^N)$

Marcinkiewicz I

Sei $1⩽p<\mathrm{\infty }$ und $T:L^P(\mathrm{\Omega },{ℝ}^N)+L^{\mathrm{\infty }}(\mathrm{\Omega },{ℝ}^N)$ $⟶M(\mathrm{\Lambda },{ℝ}^{\varphi })$ ein quasi-linearer Operator, der vom schwachen $(p,p)$-Typ ist und vom starken $(\mathrm{\infty },\mathrm{\infty })$-Typ ist mit den Schranken

${\lambda }_{Tf}(t)⩽{\left(\frac{K_p\Vert f{\Vert }_{L^p}}{t}\right)}^p\mathrm{\forall }t>0,f\in L^p(\mathrm{\Omega },{ℝ}^N)$

und

$\Vert Tf{\Vert }_{L^{\mathrm{\infty }}}⩽K_{\mathrm{\infty }}\Vert f{\Vert }_{L^{\mathrm{\infty }}}\mathrm{\forall }f\in L^{\mathrm{\infty }}(\mathrm{\Omega },{ℝ}^M)$

Dann ist $T$ vom starken $(q,q)$-Typ für jedes $q\in (p,\mathrm{\infty })$ und es gilt

$\Vert Tf{\Vert }_{L^q}⩽C{K}_p^{\frac{p}{q}}{K}_{\mathrm{\infty }}^{1-\frac{p}{q}}\Vert f{\Vert }_{L^q}$ $\mathrm{\forall }f\in L^q(\mathrm{\Omega },R^N)$

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⩽p_1<p_2<\mathrm{\infty }$ und $T:L^{P_1}(\mathrm{\Omega },{ℝ}^N)+L^{P_2}(\mathrm{\Omega },{ℝ}^N)$ $⟶M(\mathrm{\Lambda },{ℝ}^{\varphi })$ ein quasi-linearer Operator, der vom schwachen $(p_1,p_2)$-Typ ist, wobei $(p_2,p_2)$ mit den Schranken

${\lambda }_{Tf}(t)⩽{\left(\frac{K_{p_1}\Vert f{\Vert }_{L^{p_1}}}{t}\right)}^{p_1}$ $\mathrm{\forall }f\in L^{P_1}(\mathrm{\Omega },{ℝ}^N)$

und

${\lambda }_{Tf}(t)⩽{\left(\frac{K_{p_2}\Vert f{\Vert }_{L^{p_2}}}{t}\right)}^{p_2}$ $\mathrm{\forall }f\in L^{P_2}(\mathrm{\Omega },{ℝ}^N)$

ist. Dann ist $T$ vom starken $(p,p)$-Typ für jedes $p\in (p_1,p_2)$ und es gilt

$\Vert Tf{\Vert }_{L^P(\mathrm{\Lambda },{ℝ}^{\varphi })}⩽C{K}_{P_1}^{\mathrm{\Theta }}{K}_{P_2}^{1-\mathrm{\Theta }}\Vert f{\Vert }_{L^P(\mathrm{\Omega },{ℝ}^N)}$,

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.

Siehe auch

• Interpolationssatz von Stampacchia

Literatur

• Marcinkiewicz, J. (1939): Sur l'interpolation d'operations. C. R. Acad. Sci. Paris, 208: 1272–1273
• Zygmund, A.: On a theorem of Marcinkiewicz concerning interpolation of operations, Journal de Mathématiques Pures et Appliquées, Neuvième Série, 35: Seite 223–248, 1956
• Lunardi, A.: Interpolation theory (Third edition). Scuola Normale Superiore di Pisa (New Series), 2018
• Richard A. Hunt and Guido Weiss: The Marcinkiewicz interpolation theorem. Proceedings of the American Mathematical Society, 15 (6): Seite 996–998, 1964