2.2 l p l^p lp与 L p L^p Lp空间
首先介绍三个常用不等式。
- 设 p , q > 0 , 1 p + 1 q = 1 p, q>0, \quad \frac{1}{p}+\frac{1}{q}=1 p,q>0,p1+q1=1,则对 ∀ a , b ∈ K \forall a, b \in \mathbb{K} ∀a,b∈K 有
∣ a b ∣ ≤ ∣ a ∣ p p + ∣ b ∣ q q |a b| \leq \frac{|a|^{p}}{p}+\frac{|b|^{q}}{q} ∣ab∣≤p∣a∣p+q∣b∣q
- Hölder不等式
设 p , q > 0 , 1 p + 1 q = 1 p, q>0, \quad \frac{1}{p}+\frac{1}{q}=1 p,q>0,p1+q1=1,
(1)
∀
a
n
,
b
n
∈
K
(
n
∈
N
)
\forall a_{n}, b_{n} \in \mathbb{K}(n \in \mathbb{N})
∀an,bn∈K(n∈N) 有
∑
n
=
1
∞
∣
a
n
b
n
∣
≤
(
∑
n
=
1
∞
∣
a
n
∣
p
)
1
p
(
∑
n
=
1
∞
∣
b
n
∣
q
)
1
q
\sum_{n=1}^{\infty}\left|a_{n} b_{n}\right| \leq\left(\sum_{n=1}^{\infty}\left|a_{n}\right|^{p}\right)^{\frac{1}{p}}\left(\sum_{n=1}^{\infty}\left|b_{n}\right|^{q}\right)^{\frac{1}{q}}
n=1∑∞∣anbn∣≤(n=1∑∞∣an∣p)p1(n=1∑∞∣bn∣q)q1
(2) 设
E
E
E 为
R
\mathbb{R}
R 中Lebesgue可测集,
x
,
y
x, y
x,y 在
E
E
E 上可测, 则
∫
E
∣
x
(
t
)
y
(
t
)
∣
d
t
≤
(
∫
E
∣
x
(
t
)
∣
p
d
t
)
1
p
(
∫
E
∣
y
(
t
)
∣
q
d
t
)
1
q
\int_{E}|x(t) y(t)| d t \leq\left(\int_{E}|x(t)|^{p} d t\right)^{\frac{1}{p}}\left(\int_{E}|y(t)|^{q} d t\right)^{\frac{1}{q}}
∫E∣x(t)y(t)∣dt≤(∫E∣x(t)∣pdt)p1(∫E∣y(t)∣qdt)q1
- Minkowski不等式
设 1 ≤ p < ∞ 1 \leq p<\infty 1≤p<∞, 则
(1)
∀
a
n
,
b
n
∈
K
(
n
∈
N
)
\forall a_{n}, b_{n} \in \mathbb{K}(n \in \mathbb{N})
∀an,bn∈K(n∈N) 有
(
∑
n
=
1
∞
∣
a
n
+
b
n
∣
p
)
1
p
≤
(
∑
n
=
1
∞
∣
a
n
∣
p
)
1
p
+
(
∑
n
=
1
∞
∣
b
n
∣
p
)
1
p
\left(\sum_{n=1}^{\infty}\left|a_{n}+b_{n}\right|^{p}\right)^{\frac{1}{p}} \leq\left(\sum_{n=1}^{\infty}\left|a_{n}\right|^{p}\right)^{\frac{1}{p}}+\left(\sum_{n=1}^{\infty}\left|b_{n}\right|^{p}\right)^{\frac{1}{p}}
(n=1∑∞∣an+bn∣p)p1≤(n=1∑∞∣an∣p)p1+(n=1∑∞∣bn∣p)p1
(2) 设
E
E
E 为
R
\mathbb{R}
R 中Lebesgue可测集,
x
,
y
x, y
x,y 在
E
E
E 上可测, 有
(
∫
E
∣
x
(
t
)
+
y
(
t
)
∣
p
d
t
)
1
p
≤
(
∫
E
∣
x
(
t
)
∣
p
d
t
)
1
p
+
(
∫
E
∣
y
(
t
)
∣
p
d
t
)
1
p
\left(\int_{E}|x(t)+y(t)|^{p} d t\right)^{\frac{1}{p}} \leq\left(\int_{E}|x(t)|^{p} d t\right)^{\frac{1}{p}}+\left(\int_{E}|y(t)|^{p} d t\right)^{\frac{1}{p}}
(∫E∣x(t)+y(t)∣pdt)p1≤(∫E∣x(t)∣pdt)p1+(∫E∣y(t)∣pdt)p1
例1:(
l
p
l^p
lp空间 )设
1
≤
p
<
∞
,
ℓ
p
=
{
x
=
{
ξ
n
}
n
=
1
∞
:
ξ
n
∈
K
(
n
∈
1 \leq p<\infty, \quad \ell^{p}=\left\{x=\left\{\xi_{n}\right\}_{n=1}^{\infty}: \xi_{n} \in \mathbb{K} \quad(n \in\right.
1≤p<∞,ℓp={x={ξn}n=1∞:ξn∈K(n∈ N),
∑
n
=
1
∞
∣
ξ
n
∣
p
<
∞
}
\left.\sum_{n=1}^{\infty}\left|\xi_{n}\right|^{p}<\infty\right\}
∑n=1∞∣ξn∣p<∞}, 通常加法和数乘, 则
ℓ
p
\ell^{p}
ℓp 是一个线性空间,
定义
∥
x
∥
=
(
∑
n
=
1
∞
∣
ξ
n
∣
p
)
1
p
,
∀
x
∈
ℓ
p
\|x\|=\left(\sum_{n=1}^{\infty}\left|\xi_{n}\right|^{p}\right)^{\frac{1}{p}}, \quad \forall x \in \ell^{p}
∥x∥=(n=1∑∞∣ξn∣p)p1,∀x∈ℓp
则
(
ℓ
p
,
∥
⋅
∥
)
\left(\ell^{p},\|\cdot\|\right)
(ℓp,∥⋅∥) 成为一个可分的
(
B
)
(B)
(B) 空间。
例2:(
L
p
L^p
Lp空间 )设
E
E
E 为
R
\mathbb{R}
R 中 Lebesgue 可测集,
1
≤
p
<
∞
1 \leq p<\infty
1≤p<∞, 记
L
p
(
E
)
L^{p}(E)
Lp(E) 为
E
E
E 上 可测且
p
−
p-
p− 幂 可积
(
∫
E
∣
x
(
t
)
∣
p
d
t
<
∞
)
\left(\int_{E}|x(t)|^{p} d t<\infty\right)
(∫E∣x(t)∣pdt<∞) 的函数
x
x
x 全体组成的 空间, 其中几乎处处相等的函数视为同一元, 在通常 加法和数乘下是一个线性空间,定义
∥
x
∥
=
(
∫
E
∣
x
(
t
)
∣
p
d
t
)
1
p
,
x
∈
L
p
(
E
)
\|x\|=\left(\int_{E}|x(t)|^{p} d t\right)^{\frac{1}{p}}, \quad x \in L^{p}(E)
∥x∥=(∫E∣x(t)∣pdt)p1,x∈Lp(E)
则
(
L
p
(
E
)
,
∥
⋅
∥
)
\left(L^{p}(E),\|\cdot\|\right)
(Lp(E),∥⋅∥) 是一个
(
B
)
(B)
(B) 空间
(
1
≤
p
<
∞
)
(1 \leq p<\infty)
(1≤p<∞) 。
- L p [ a , b ] L^p[a,b] Lp[a,b] 是可分的,进而对 ∀ \forall ∀ Lebesgue可测集 E ⊂ R E\subset \mathbb{R} E⊂R, L p ( E ) L^p(E) Lp(E)是可分的。( 1 ≤ p < ∞ 1\le p<\infty 1≤p<∞)