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
0
votes
1 answer

Is the volume of $L^2$ norm ball larger than $L^∞$ norm ball in 784 dimensional space with same epsilon (unit) value?

While I was reading a blog post, I came across with an explanation saying that "ϵ you need to consider for $ℓ^2$ norm perturbations is larger than what you need for $ℓ^∞$ perturbations, because the volume of the $ℓ^2$ ball is proportional to…
0
votes
1 answer

In what circumstances is $l^2(\mathbb{Z}) \cap l^p(\mathbb{Z},\omega)$ dense in $l^p(\mathbb{Z},\omega)$?

There isn't much context to give but I've tried searching for this a couldn't find any result. In what circumstances is $l^2(\mathbb{Z}) \cap l^p(\mathbb{Z},\omega)$ dense in $l^p(\mathbb{Z},\omega) \quad 1 < p < \infty \quad$, where $\omega$ is a…
0
votes
1 answer

Minkowski for series

Consider $g=\sum_{i=1}^{\infty}\mid f_i\mid$ where $(f_i)$ are functions on $L^p(R^n)$. I know that for every $f$ and $g$ in $L^p(R^n)$, where $p\geq 1$, we have that $\mid f+g \mid_p \leq \mid f\mid _p + \mid g\mid _p$ where $\mid . \mid_p$ is the…
Dicordi
  • 516
0
votes
1 answer

Showing or refuting $L^1(\mathbb{R}^n)\cap L^p(\mathbb{R}^n)$ is dense in $L^p(\mathbb{R}^n)$ for $1\leq p\leq \infty$?

$L^1(\mathbb{R}^n)\cap L^p(\mathbb{R}^n)$ is dense in $L^p(\mathbb{R}^n)$ for $1\leq p\leq \infty$?
eraldcoil
  • 3,508
0
votes
1 answer

Why if $p\not = q$ we have $L^p(R^n) \not \subseteq L^q(R^n)$?

Why if $p\not = q$ we have $L^p(R^n) \not \subseteq L^q(R^n)$? This is a result present in my books, and I can't figure out really a nice proof about this. An example say that the function $u(x) = (1+|x|)^{-n/p}$ is in all $L^q(R^n)$ with $q>p$ but…
Alessar
  • 490
0
votes
2 answers

For what $p \in [1, + \infty]$ and $a \in R$ the function $u(x)=(1+|x|)^{-a}$ defined on $R^n$ verify $||u||_{L_p}< \infty$?

Has been 7 years from my last $L_p$ spaces experiences, now I have an exam about this. I have difficulties with the very first exercise: For what $p \in [1, + \infty]$ and $a \in R$ the function $u(x)=(1+|x|)^{-a}$ defined on $R^n$ verify…
Alessar
  • 490
0
votes
1 answer

Splitting function from $L^{n/2}$

Let $V\in L^{n/2}$, $n\geq 3$. I want to show that for every $\varepsilon>0$, there are $||V_{1}||_{L^{n/2}}\leq \varepsilon$ and $V_{2}\in L^{\infty}$ sucht that $$V=V_{1}+V_{2}$$
user525192
0
votes
1 answer

Is $\int_{\Omega} \bigg( \sum_{n=1}^{\infty} |f_n| \bigg)^p d \mu$ really in $L^p$?

Is $\int_{\Omega} \bigg( \sum_{n=1}^{\infty} |f_n| \bigg)^p d \mu$ really in $L^p$? What confuses me that I think that $|f_n|$ should have some power of $p$. $f_n$ are elements of $L^p$. $\sum_n f_n$ is an absolutely convergent sequence in…
mavavilj
  • 7,270
0
votes
1 answer

If $e_n=\frac{1}{\sqrt{2 \pi}}e^{inx}$ is a basis for $L^2([0, 2\pi])$, then why $\frac{1}{\sqrt{2 \pi}}e^{-inx}$ as well?

If $\frac{1}{\sqrt{2 \pi}}e^{inx}$ is a basis for $L^2([0, 2\pi])$, then why $\frac{1}{\sqrt{2 \pi}}e^{-inx}$ as well? This realization allows one to write Fourier coefficients as: $$\frac{1}{\sqrt{2 \pi}}(f \space | \space e_n)$$
mavavilj
  • 7,270
0
votes
1 answer

L^p-spaces in R

Let $\Omega = (0, \frac{1}{2})$ and $f: \Omega \to \mathbb R: x \to (x(\log(x))^2)^{-\frac{1}{p}}$ In the lecture, we had this statement: $f \in L^p (\Omega)$ but $f \not \in L^{p+ \epsilon} (\Omega)$ for all $\epsilon > 0$. Why does this hold true?…
StMan
  • 693
0
votes
1 answer

What is $L^p(\{0,1\})$ ? i.e. a $L^p$ space on two points?

What is $L^p(\{0,1\})$ ? i.e. a $L^p$ space on two points ? I'v never heard about it.
0
votes
1 answer

$\log|x|\in L^q(B_1(0)) ~~\forall q<\infty$ where $B_1(0)\subseteq \mathbb{R}^n$

Unfortunately I don't really see why the following two properties hold. I need to understand them for a proof in Functional Analysis: i) $\log|x|\in L^q(B_1(0))~ \forall q<\infty$ ii) $\frac{x}{|x|^2} \in L^p(B_1(0))~ \forall p
0
votes
1 answer

If $(u_n)\subset C^\infty _c(\mathbb R^n)$ converge to $u\in C^1_c(\mathbb R^n)$ in $L^p$ doesn $u_n\to u$ in $L^q$?

Let $(u_n)_n$ a sequence of $\mathcal C_c^\infty (\mathbb R^n)$ that converge in $L^p$ to $u\in \mathcal C^1_c(\mathbb R)$. If $q>1$, is there a subsequence that converge to $u$ in $L^q$ ? Attempts I know that $(u_n)$ is in $L^q$, that $u\in L^q$…
user330587
  • 1,624
0
votes
1 answer

A question concerning $l_1(\mathbb{N})=c_0(\mathbb{N})'$

I have a question concerning the identification\begin{equation}l_1(\mathbb{N})=c_0(\mathbb{N})' \end{equation}where $c_0(\mathbb{N}):=\{(x_j)_{j\in \mathbb{N}} : x_j \to 0, j \to \infty\}\subset l_\infty(\mathbb{N})$ and $E'$ denotes the dual space…
Frieder Jäckel
  • 1,827
  • 7
  • 13
0
votes
1 answer

If $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$ then $\|fg\|_{L^r}\leq \|f\|_{L^p}\|g\|_{L^q}$

If $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$ prove that $$\|fg\|_{L^r}\leq \|f\|_{L^p}\|g\|_{L^q}.$$ I tried to use Holder, but I can't prove it... any idea ?
user386627
  • 1,828