math(dot)yuda(dot)chen(at)gmail(dot)com
如果 m(E)<∞m(E)<\inftym(E)<∞, 证明 ∥f∥L∞=limp→∞∥f∥Lp.\|f\|_{L^\infty} = \lim_{p\to\infty} \|f\|_{L^p}.∥f∥L∞=p→∞lim∥f∥Lp.
如果 m(E)<∞m(E)<\inftym(E)<∞, 证明包含关系 Lp(E)⊂Lq(E),∀ 0<q≤p≤∞.L^p(E) \subset L^q(E), \quad \forall \, 0 < q \leq p \leq \infty.Lp(E)⊂Lq(E),∀0<q≤p≤∞.
证明对任意 1≤p≠q≤∞1 \leq p \neq q \leq \infty1≤p=q≤∞, 包含关系不成立 Lp(Rd)⊄Lq(Rd)L^p(\mathbb{R}^d) \not\subset L^q(\mathbb{R}^d)Lp(Rd)⊂Lq(Rd).
对任意 f∈Lp(E)f \in L^p(E)f∈Lp(E) 以及 0<r<p<s≤∞0 < r < p < s \leq \infty0<r<p<s≤∞, 存在分解 f=g+hf = g + hf=g+h 使得 g∈Lr(E),h∈Ls(E)g \in L^r(E), h \in L^s(E)g∈Lr(E),h∈Ls(E).
对任意的 p,q,r∈[1,∞]p, q, r \in [1, \infty]p,q,r∈[1,∞] 满足 1p=1q+1r\frac{1}{p} = \frac{1}{q} + \frac{1}{r}p1=q1+r1 证明 ∥fg∥Lp≤∥f∥Lq∥g∥Lr.\|fg\|_{L^p} \leq \|f\|_{L^q} \|g\|_{L^r}.∥fg∥Lp≤∥f∥Lq∥g∥Lr.
假设函数 f:[0,∞)→Rf : [0, \infty) \to \mathbb{R}f:[0,∞)→R 满足对常数 1≤p<∞, 0<q<∞1 \leq p < \infty, \, 0 < q < \infty1≤p<∞,0<q<∞ 有 ∫0∞∣f(x)∣pxp−q−1dx<∞.\int_0^\infty |f(x)|^p x^{p-q-1} dx < \infty.∫0∞∣f(x)∣pxp−q−1dx<∞. 定义 F(x)=∫0xf(t)dtF(x) = \int_0^x f(t) dtF(x)=∫0xf(t)dt, 证明不等式 ∫0∞∣F(x)∣pxp−q−1dx≤(pq)p∫0∞∣f(x)∣pxp−q−1dx.\int_0^\infty |F(x)|^p x^{p-q-1} dx \leq \left(\frac{p}{q}\right)^p \int_0^\infty |f(x)|^p x^{p-q-1} dx.∫0∞∣F(x)∣pxp−q−1dx≤(qp)p∫0∞∣f(x)∣pxp−q−1dx.
如果 0<q≤p≤s≤∞0 < q \leq p \leq s \leq \infty0<q≤p≤s≤∞, 那么存在 θ∈[0,1]\theta \in [0, 1]θ∈[0,1] 使得 1p=θq+1−θs.\frac{1}{p} = \frac{\theta}{q} + \frac{1-\theta}{s}.p1=qθ+s1−θ. 对任意 f∈Lq∩Lsf \in L^q \cap L^sf∈Lq∩Ls, 有 f∈Lpf \in L^pf∈Lp 并且 ∥f∥Lp≤∥f∥Lqθ∥f∥Ls1−θ.\|f\|_{L^p} \leq \|f\|_{L^q}^\theta \|f\|_{L^s}^{1-\theta}.∥f∥Lp≤∥f∥Lqθ∥f∥Ls1−θ.
证明平移算子 τh\tau_hτh 在 LpL^pLp 中是连续的, 即是证明 limh→0∥τhf−f∥Lp=0.\lim_{h \to 0} \|\tau_h f - f\|_{L^p} = 0.h→0lim∥τhf−f∥Lp=0.
假设 f∈Lp([0,1])f \in L^p([0, 1])f∈Lp([0,1]), 1≤p≤∞1 \leq p \leq \infty1≤p≤∞ 满足 ∫01tkf(t)dt=0,∀k=0,1,2,…,\int_0^1 t^k f(t) dt = 0, \quad \forall k = 0, 1, 2, \dots,∫01tkf(t)dt=0,∀k=0,1,2,…, 证明 f=0, a.e.f = 0, \, a.e.f=0,a.e..
证明 L∞L^\inftyL∞ 不是可分的.