You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

关于单位球上依测度收敛到0且L²范数有界的序列的L¹收敛性证明问询

关于单位球上依测度收敛到0且L²范数有界的序列的L¹收敛性证明问询

Hi folks, I'm stuck on proving the following convergence result and would appreciate some guidance:

Let the sequence $f_k$ be defined on the unit ball $B(0,1)={x\in\mathbb{R}^d: |x|\le 1}$, converging in measure to zero and satisfying $|f_k|_{L^2(B(0,1))}\le M$ for all $k\ge 1$. I would like to show that $f_k\to 0$ in $L^1$.

Here's what I've worked out so far:

  • From the Cauchy-Schwarz inequality, I know that
    $$|f_k|{L^1(B(0,1))}\lesssim_d |f_k|{L^2(B(0,1))}.$$
    (The subscript $d$ means the constant depends on the dimension $d$ of our Euclidean space.)
  • Using Fatou's lemma, I've confirmed that $\liminf_{k\to\infty} |f_k(x)|^2$ is in $L^1$, since:
    $$\int \liminf_{k\to\infty} |f_k(x)|^2 ,dx \le \liminf_{k\to\infty} \int |f_k|^2,dx\le M. $$
  • I also recall that convergence in measure guarantees the existence of a subsequence $f_{n_k}$ such that $f_{n_k}(x)\to 0$ almost everywhere on $B(0,1)$.

Right now, I'm stuck on bridging these observations to get the $L^1$ convergence. I initially thought proving $f_k\to 0$ in $L^2$ might be a helpful intermediate step, but I can't see how to make that work—or if that's even the right approach.

Any hints, corrections to my current reasoning, or steps to move forward would be really appreciated!

备注:内容来源于stack exchange,提问作者Diffusion

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.04.22 09:00:28