Sei
Q
0
{\displaystyle Q_{0}}
ein Würfel im
R
N
{\displaystyle \mathbb {R} ^{N}}
und
T
{\displaystyle T}
eine lineare Abbildung von
L
s
(
Q
0
,
R
N
)
{\displaystyle L^{s}\left(Q_{0},\mathbb {R} ^{N}\right)}
nach
L
s
(
Q
0
,
R
ϕ
)
{\displaystyle L^{s}\left(Q_{0},\mathbb {R} ^{\phi }\right)}
, welche zudem
L
∞
(
Q
0
,
R
N
)
→
B
M
O
(
Q
0
,
R
ϕ
)
{\displaystyle L^{\infty }\left(Q_{0},\mathbb {R} ^{N}\right)\rightarrow \mathrm {BMO} \left(Q_{0},\mathbb {R} ^{\phi }\right)}
abbildet, sodass
‖
T
f
‖
L
s
(
Q
0
,
R
ϕ
)
⩽
A
s
‖
f
‖
L
s
(
Q
0
,
R
N
)
∀
f
∈
L
s
(
Q
0
,
R
N
)
{\displaystyle \|Tf\|_{L^{s}\left(Q_{0},\mathbb {R} ^{\phi }\right)}\leqslant A_{s}\|f\|_{L^{s}\left(Q_{0},\mathbb {R} ^{N}\right)}\quad \forall f\in L^{s}\left(Q_{0},R^{N}\right)}
[
T
g
]
∗
,
Q
0
⩽
A
∞
‖
g
‖
L
∞
(
Q
0
,
R
N
)
∀
g
∈
L
∞
(
Q
0
,
R
N
)
{\displaystyle [Tg]_{*,Q_{0}}\leqslant A_{\infty }\|g\|_{L^{\infty }\left(Q_{0},\mathbb {R} ^{N}\right)}\quad \forall g\in L^{\infty }\left(Q_{0},\mathbb {R} ^{N}\right)}
.
Dann bildet
T
{\displaystyle T}
dein Raum
L
p
(
Q
0
,
R
N
)
{\displaystyle L^{p}\left(Q_{0},\mathbb {R} ^{N}\right)}
nach
L
p
(
Q
0
,
R
ϕ
)
{\displaystyle L^{p}\left(Q_{0},\mathbb {R} ^{\phi }\right)}
für alle
s
<
p
<
∞
{\displaystyle s<p<\infty }
ab mit
‖
T
μ
−
(
T
μ
)
Q
0
‖
L
p
(
Q
0
,
R
ϕ
)
⩽
A
p
‖
μ
‖
L
p
(
Q
0
,
R
N
)
{\displaystyle \left\|T\mu -(T\mu )_{Q_{0}}\right\|_{L^{p}\left(Q_{0},\mathbb {R} ^{\phi }\right)}\leqslant A_{p}\|\mu \|_{L^{p}\left(Q_{0},\mathbb {R} ^{N}\right)}}
,
wobei
C
A
s
s
/
p
A
∞
1
−
(
s
/
p
)
{\displaystyle \mathrm {CA} _{\mathrm {s} }{}^{\mathrm {s} /\mathrm {p} }A_{\infty }^{1-\left(s/p\right)}}
.
Stampacchia, G.: Sopra una classe di funzioni in n variabili . Ricerche di Matematica, vol. 1, 1952
Stampacchia, G.: L(p,λ) spaces and interpolation . Comm. Pure and Applied Math, vol. 17, 1964