Questions tagged [lp-spaces]

For questions about $L^p$ spaces. That is, given a measure space $(X,\mathcal F,\mu)$, the vector space of equivalence classes of measurable functions such that $|f|^p$ is $\mu$-integrable. Questions can be about properties of functions in these spaces, or when the ambient space in a problem is an $L^p$ space.

$L^p$ spaces are defined for $p\in(0,\infty]$ as follows:

Let $(X,\mathcal F,\mu)$ be a measure space. For $p$ with $0 < p<\infty$ we write $L^p(X,\mu)$ ($L^p(X)$ or $L^p$ when there is no ambiguity), for the vector space of equivalence classes (for equality almost everywhere) of measurable functions $f$ such that $\int_X|f|^p\mathrm{d}\mu$ is finite.

When $1\leq p<\infty$ we endow $L^p$ with the norm $$\lVert f\rVert_p:=\left(\int_X|f(x)|^p\mathrm{d}\mu(x)\right)^{1/p}$$ When $0 < p < 1$ we write $$\lVert f\rVert_p:=\int_X|f(x)|^p\mathrm{d}\mu(x)$$ which induces a metric on $L^p$.

For $p=+\infty$, $L^\infty$ is the space of equivalence classes of functions $f$ such that we can find a constant $C$ with $|f(x)|\leq C$ almost everywhere. Then $\lVert f\rVert_{\infty}$ is the infimum of constants $C$ satisfying the latter property, and is called the essential supremum of $|f|$.

These spaces are sometimes called Lebesgue spaces. If we work with counting measure on, for example, the set $\mathbb N$, we get sequence spaces $\ell^p$ and $\ell^\infty$ as special cases.

5636 questions
1
vote
0 answers

Prove that $||f(x+h)-f(x)||_{L^p}\to 0$ as $|h|\to 0$

Suppose $1\leq p < \infty$, and that $\mathbb{R}^d$ is equipped with lebesgue measurea. Show that if $f\in L^p (\mathbb{R}^d)$, then $||f(x+h)-f(x)||_{L^p}\to 0$ as $|h|\to 0$. I want to use dominated convergence theorem. First note that the…
jk001
  • 781
1
vote
1 answer

Is every bounded function in $L^p$ for any $p \ge 1$?

Disclaimer: This might be very trivial, but I haven't learned any of this formally. (I didn't know what a Lebesgue integral was before looking it up today.) It is possible I am not understanding the definitions correctly, which is part of the reason…
kanso37
  • 358
1
vote
2 answers

Show density in $\ell^2$

Suppose $(\alpha_k)$ is a sequence in $\mathbb{C}$ and let $$ M:=\{ (x_k) \in \ell^2 | (\alpha_k x_k) \in \ell^2 \} $$ I want to show that $M$ is dense in the sequence space $\ell^2$ (equipped with the ususal norm), so $\overline{M}=\ell^2$. This is…
1
vote
1 answer

Struggle with dense set notation

In class we had the Proposition about density of compactly supported continuous functions $C_c(X)$ in $L^p(X)$ (If you do not know the Prop. see e.g.: https://planetmath.org/compactlysupportedcontinuousfunctionsaredenseinlp) My confusion is about…
Onerock
  • 35
  • 7
1
vote
1 answer

Space $L^p$. I need to find a constant.

$L^p [0,1] = \{f: [0,1] \to \mathbb R$ ; $f$ measurable such that $\int_{0}^{1}|f|^p dx < + \infty\}$ and, $\parallel f \parallel_{p} = \int_{0}^{1} (|f|^{p})^{\frac{1}{p}}$. Let $F$ be a subspace of $L^{p}([0,1])$ such that $F = \{f \in…
1
vote
1 answer

If $\|u_n\|_{L^1(\mathbb R)}\leq \gamma $ and $u_n\to u$ a.e., then $u\in L^1(\mathbb R)$ and $\|u\|_{L^1(\mathbb R)}\leq \gamma $.

I'm doing exam of previous year and I'm stuck on this question : If $u_n\in L^1(\mathbb R)$, $\|u_n\|_{L^1(\mathbb R)}\leq \gamma $ (where $\gamma >0$) and $u_n\to u$ a.e., then $u\in L^1(\mathbb R)$ and $\|u\|_{L^1(\mathbb R)}\leq \gamma $. Try I…
John
  • 858
1
vote
1 answer

An example of bounded linear functional on $L^3[0,1]$ that is not on $L^2[0,1]$.

Here, our measure is Lebesgue measure. Is there a bounded linear functional on $L^3[0,1]$ that is not the restriction to $L^3[0,1]$ of a bounded linear functional on $L^2[0,1]$?
Lev Bahn
  • 2,892
1
vote
1 answer

Is it true that $\|u^{a}\|_{L^\infty }=\|u\|_{L^\infty }^a$ where $a>0$?

Let $u\in L^\infty (\mathbb R^d)$. Is it true that $$\|u^{a}\|_{L^\infty (\mathbb R^d)}=\|u\|_{L^\infty (\mathbb R^d)}^a$$ where $a>0$ ? Attempt I would say yes since if $\ell=\|u\|_{L^\infty (\mathbb R^d)}$ then I thing that $\ell^\alpha…
user330587
  • 1,624
1
vote
1 answer

$L^p$ convergence of this sequence

The sequence $$f_h(x)=\frac{h^2 x}{h^4+x^4}$$ for $x \in ]0,+\infty[$ converges pointwise to the function $f(x)=0$. I have to find out for which $p \in [1,+\infty]$ $f_h$ converges in $L^p(]0,+\infty[)$. Can you help…
Nicola M.
  • 153
1
vote
1 answer

$L^p$ convergence of a sequence

Given the sequence of functions $f_h (x)=x^{\frac {1}{h} } \log(x)$, for $ 0
Nicola M.
  • 153
1
vote
0 answers

Weight function of weighted $\mathcal{L}_{2}$ space

Let us define the space: \begin{equation}\label{space} \mathcal{L}_{\mathit{2}, \varpi} \! \left(\mathcal{K}; \mathbb{R} \right) : = \left\{ g(\cdot) \;\textrm{is measurable}: \int_{\mathcal{K}} \varpi(\tau) g^2(\tau) \mathsf{d} \tau < \infty…
1
vote
1 answer

Density in the uniform norm and in $L^p$ norm

I read that the separability of $L^p(X)$ spaces with $1\leq p < +\infty$ follows from the separability of the space of continous functions on $X$ with compact support $C_o(X)$ which is dense in $L^p(X)$ in $L^p$ norm . Indeed there is a countable…
Hodor
  • 187
1
vote
0 answers

Does the general Holder's inequality works also for $p,q,r\in (0,1)$?

General Holder's inequality says that for $p,q\geq 1$ and for $r>0$ s.t. $\frac{1}{r}=\frac{1}{p}+\frac{1}{q}$ we have for $fg\in L^r$, $f\in L^p$ and $g\in L^q$ $$\|fg\|_r\leq \|f\|_p\|g\|_q.$$ But does it still hold if $p,q\in (0,1)$. For example,…
user330587
  • 1,624
1
vote
0 answers

What is the motivation for $L^p$ space with $p<0$.

For $p<0$, we defined the semi-normed space $L^p(\Omega )$ where $\Omega \subset \mathbb R^n$ as following : Set $s=\left\lfloor \frac{-n}{p}\right\rfloor $ and $-\alpha =s+\frac{n}{p}$, and we define the norm $\|\cdot \|_p$ as following…
idm
  • 11,824
1
vote
1 answer

If $u_n\to u$ weakly in $L^p$ show that $\|u_n\|\leq C$ for a certain $C>0$.

If $u_n\to u$ weakly in $L^p$ show that $\|u_n\|\leq C$ for a certain $C>0$. Let denote $q$ the conjugate of $p$, i.e. $\frac{1}{p}+\frac{1}{q}=1$. I tried to majorate $\|u_n\|_{L^p}$ by something like $$K+\left|\int (u_n-u)\varphi\right|$$ for…
user330587
  • 1,624