Sei
T
:
L
P
(
Ω
,
R
N
)
⟶
M
(
Λ
,
R
ϕ
)
{\displaystyle T:L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)\longrightarrow M\left(\Lambda ,\mathbb {R} ^{\phi }\right)}
ein Operator von
L
P
(
Ω
,
R
N
)
{\displaystyle L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)}
in den Raum der Lebesgue-messbaren Funktionen auf
Λ
{\displaystyle \Lambda }
mit Werten in
R
ϕ
{\displaystyle R^{\phi }}
,
N
,
ϕ
≥
1
{\displaystyle N,\phi \geq 1}
und
1
≤
p
<
∞
{\displaystyle 1\leq p<\infty }
:
T
{\displaystyle T}
ist sublinear , falls für fast alle
z
∈
Λ
{\displaystyle z\in \Lambda }
gilt:
|
T
(
f
+
g
)
(
z
)
|
⩽
|
T
f
(
z
)
|
+
|
T
g
(
z
)
|
∀
f
,
g
∈
L
p
(
Ω
,
R
N
)
{\displaystyle |T(f+g)(z)|\leqslant |Tf(z)|+|Tg(z)|\quad \forall f,g\in L^{p}\left(\Omega ,\mathbb {R} ^{N}\right)}
und
|
T
(
a
f
)
(
z
)
|
=
|
a
|
|
T
f
(
z
)
|
∀
a
∈
R
,
f
∈
L
P
(
Ω
,
R
N
)
{\displaystyle |T(af)(z)|=|a||Tf(z)|\quad \forall a\in \mathbb {R} ,f\in L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)}
T
{\displaystyle T}
heißt quasi-linear, falls es ein
Q
>
0
{\displaystyle Q>0}
gibt, sodass für fast alle
z
∈
Λ
{\displaystyle z\in \Lambda }
gilt:
|
T
(
f
+
g
)
(
z
)
|
⩽
Q
(
|
T
f
(
z
)
|
+
|
Tg
(
z
)
|
)
{\displaystyle |T(f+g)(z)|\leqslant Q(|Tf(z)|+|\operatorname {Tg} (z)|)}
T
{\displaystyle T}
ist vom starkten
(
p
,
p
)
{\displaystyle (p,p)}
-Typ mit
1
≤
p
≤
∞
{\displaystyle 1\leq p\leq \infty }
, falls es eine Konstante
C
>
0
{\displaystyle C>0}
(unabhängig von
f
{\displaystyle f}
) gibt, sodass
‖
T
f
‖
L
P
(
Λ
,
R
ϕ
)
⩽
C
‖
f
‖
L
P
(
Ω
,
R
N
)
∀
f
∈
L
P
(
Ω
,
R
N
)
{\displaystyle \|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
{\displaystyle T}
ist vom schwachen
(
p
,
p
)
{\displaystyle (p,p)}
-Typ mit
1
≤
p
<
∞
{\displaystyle 1\leq p<\infty }
, falls es ein
C
>
0
{\displaystyle C>0}
(unabhängig von
f
{\displaystyle f}
) gibt, sodass
|
{
z
∈
Λ
:
|
T
f
(
z
)
|
>
t
}
|
⩽
(
C
t
‖
f
‖
L
P
(
Ω
,
R
N
)
)
P
{\displaystyle \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
{\displaystyle t>0}
und alle
f
∈
L
P
(
Ω
,
R
N
)
{\displaystyle f\in L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)}
Sei
1
⩽
p
<
∞
{\displaystyle 1\leqslant p<\infty }
und
T
:
L
P
(
Ω
,
R
N
)
+
L
∞
(
Ω
,
R
N
)
{\displaystyle T:L^{P}\left(\Omega ,\mathbb {R} ^{N}\right)+L^{\infty }\left(\Omega ,\mathbb {R} ^{N}\right)}
⟶
M
(
Λ
,
R
ϕ
)
{\displaystyle \longrightarrow M\left(\Lambda ,\mathbb {R} ^{\phi }\right)}
ein quasi-linearer Operator, der vom schwachen
(
p
,
p
)
{\displaystyle (p,p)}
-Typ ist und vom starken
(
∞
,
∞
)
{\displaystyle (\infty ,\infty )}
-Typ ist mit den Schranken
λ
T
f
(
t
)
⩽
(
K
p
‖
f
‖
L
p
t
)
p
∀
t
>
0
,
f
∈
L
p
(
Ω
,
R
N
)
{\displaystyle \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
‖
T
f
‖
L
∞
⩽
K
∞
‖
f
‖
L
∞
∀
f
∈
L
∞
(
Ω
,
R
M
)
{\displaystyle \|Tf\|_{L^{\infty }}\leqslant K_{\infty }\|f\|_{L^{\infty }}\quad \forall f\in L^{\infty }\left(\Omega ,\mathbb {R} ^{M}\right)}
Dann ist
T
{\displaystyle T}
vom starken
(
q
,
q
)
{\displaystyle (q,q)}
-Typ für jedes
q
∈
(
p
,
∞
)
{\displaystyle q\in (p,\infty )}
und es gilt
‖
T
f
‖
L
q
⩽
C
K
p
p
q
K
∞
1
−
p
q
‖
f
‖
L
q
{\displaystyle \|Tf\|_{L^{q}}\leqslant CK_{p}^{\frac {p}{q}}K_{\infty }^{1-{\frac {p}{q}}}\|f\|_{L^{q}}}
∀
f
∈
L
q
(
Ω
,
R
N
)
{\displaystyle \forall f\in L^{q}\left(\Omega ,R^{N}\right)}
Mit einer Konstante
C
=
C
(
p
,
q
,
Q
)
{\displaystyle C=C(p,q,Q)}
.
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
<
∞
{\displaystyle 1\leqslant p_{1}<p_{2}<\infty }
und
T
:
L
P
1
(
Ω
,
R
N
)
+
L
P
2
(
Ω
,
R
N
)
{\displaystyle T:L^{P_{1}}\left(\Omega ,\mathbb {R} ^{N}\right)+L^{P_{2}}\left(\Omega ,\mathbb {R} ^{N}\right)}
⟶
M
(
Λ
,
R
ϕ
)
{\displaystyle \longrightarrow M\left(\Lambda ,\mathbb {R} ^{\phi }\right)}
ein quasi-linearer Operator, der vom schwachen
(
p
1
,
p
2
)
{\displaystyle (p_{1},p_{2})}
-Typ ist, wobei
(
p
2
,
p
2
)
{\displaystyle (p_{2},p_{2})}
mit den Schranken
λ
T
f
(
t
)
⩽
(
K
p
1
‖
f
‖
L
p
1
t
)
p
1
{\displaystyle \lambda _{Tf}(t)\leqslant \left({\frac {K_{p_{1}}\|f\|_{L^{p_{1}}}}{t}}\right)^{p_{1}}}
∀
f
∈
L
P
1
(
Ω
,
R
N
)
{\displaystyle \forall f\in L^{P_{1}}\left(\Omega ,\mathbb {R} ^{N}\right)}
und
λ
T
f
(
t
)
⩽
(
K
p
2
‖
f
‖
L
p
2
t
)
p
2
{\displaystyle \lambda _{Tf}(t)\leqslant \left({\frac {K_{p_{2}}\|f\|_{L^{p_{2}}}}{t}}\right)^{p_{2}}}
∀
f
∈
L
P
2
(
Ω
,
R
N
)
{\displaystyle \forall f\in L^{P_{2}}\left(\Omega ,\mathbb {R} ^{N}\right)}
ist. Dann ist
T
{\displaystyle T}
vom starken
(
p
,
p
)
{\displaystyle (p,p)}
-Typ für jedes
p
∈
(
p
1
,
p
2
)
{\displaystyle p\in (p_{1},p_{2})}
und es gilt
‖
T
f
‖
L
P
(
Λ
,
R
ϕ
)
⩽
C
K
P
1
Θ
K
P
2
1
−
Θ
‖
f
‖
L
P
(
Ω
,
R
N
)
{\displaystyle \|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
θ
∈
(
0
,
1
)
{\displaystyle \theta \in (0,1)}
die Bedingung
1
p
=
θ
p
1
+
1
−
θ
p
2
{\displaystyle {\frac {1}{p}}={\frac {\theta }{p_{1}}}+{\frac {1-\theta }{p_{2}}}}
erfüllt und die Konstante
C
{\displaystyle C}
nur von
p
1
,
p
2
,
p
{\displaystyle p_{1},p_{2},p}
und
Q
{\displaystyle Q}
abhängt.
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