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

Real Analysis, Folland Problem 6.1.21 if and only if condition for weak convergence in $l^p(A)$

6.1.21 - If $1 < p < \infty$, $f_n\rightarrow f$ weakly in $l^p(A)$ iff $\sup_{n}\|f_n\|_{p} < \infty$ and $f_n\rightarrow f$ pointwise. Attempted proof - Suppose $f_n\to f$ weakly in $l^p(A)$. If $a\in A$ then $\chi_{a}\in l^{p/(p-1)} = l^{q}$ ,…
Wolfy
  • 6,495
1
vote
1 answer

Inequality of $L^p$ type

If $a\geq 1,$ $b\geq c\geq 1$ and $p>0$ then is it true that $$\frac{a+b}{\left\{\int_0^{2\pi}|e^{i\theta}+b|^pd\theta\right\}^{1/p}}\leq \frac{a+c}{\left\{\int_0^{2\pi}|e^{i\theta}+c|^pd\theta\right\}^{1/p}}? $$ In the maximum norm this is true,…
user159888
  • 1,948
  • 1
  • 14
  • 19
1
vote
1 answer

Easy example of $f\in L_1^*\backslash L_\infty$?

If I'm not mistaken the dual of $L_1$ is $L_\infty$ whenever the measured space is $\sigma$-finite. So I know where not to look for an easy example of $f\in L_1^*\backslash L_\infty$. Does anyone know where to do look ?
Hamid
  • 13
1
vote
2 answers

Real Analysis, Folland Problem 6.1.12 $L^p$ spaces

Problem 6.1.12 - If $p\neq 2$, the $L^p$ norm does not arise from an inner product on $L^p$, except in trivial cases when $\dim(L^p) \leq 1$. (Show that the parallelogram law fails.) Attempted proof (as suggested by Qiyu Wen) - Let $f = 1_{A}$ and…
Wolfy
  • 6,495
1
vote
1 answer

$u\in L^2(\Omega)$ does this imply that $u^p\in L^2(\Omega)$?

Suppose that a function $u:\Omega \rightarrow \mathbb{R}^n$ is such that $u \in L^2(\Omega)$. Does this imply that $u^p \in L^2(\Omega)$? if not can you give a counterexample? Here $\Omega$ is an open bounded subset of $\mathbb{R}^n$ and $p > 2$ is…
kamerove
  • 175
1
vote
1 answer

Norm of projection map on $L^p(\mathbb{R}^n)$

$1\leq p < \infty$. Space is $L^p(\mathbb{R}^n)$. Let $\delta >0,\ R>0$ be constants. $Q$ is the open cube centered at origin such that $||y||<\frac{\delta}{2}, \forall y \in Q$. Let $Q_1, \dots, Q_N$ be mutually non overlapping translates of $Q$…
Epsilon
  • 641
1
vote
2 answers

$L^p$ space corollary

I'm confused about the proof for this theorem: let $E$ be a measurable set s.t. $mE<\infty$ and $1 \leq p_1 < p_2 \leq \infty$. Then, $L^{p_2}(E) \subset L^{p_1}(E)$. Also, $\|f\|_{p_1} \leq c\|f\|_{p_2} \forall f \in L^{p_2}$, where…
alias
  • 85
1
vote
0 answers

Question about Young's Inequality

I came across Young's Inequality for convolutions, stated as: Let $f\in L^p, g\in L^q$, where $p,q,r \in [1,\infty]$ and $p^{-1}+q^{-1}=1+r^{-1}$. Then $f*g$ is defined $m$-a.e. on $\mathbb{R}^d$, $f*g\in L^r$, and $||f*g||_r\leq||f||_p||g||_q$. A…
0
votes
1 answer

Why does it suffice to prove the L_p-Hardy Inequality for smooth compactly supported functions?

A domain $\Omega$ is said to admit an $L_p$-Hardy inequality if there exists a finite uniform constant $C > 0$ so that the estimate $$\int_\Omega \frac{| f(x) |^p}{d(x)^p} dx \leq \int_\Omega | \nabla f(x) |^p dx$$ holds for all functions in…
0
votes
0 answers

For $L^p$ space to be a Banach space, do we need an equivalence relation?

When we talk about $L^p$ space as a normed vector space, we use the norm $$\| f \|_p = \left(\int_{E}{|f|^p d\mu}\right)^{1/p}.$$ But, the problem is that $\|f\|_p$ can be zero even if $f \not\equiv 0$ (i.e. if it is non-zero on a space of zero…
roundsquare
  • 1,447
0
votes
1 answer

Showing that linear map is bounded for $ q = 1.$

We have $L: \ell^{2} \to \mathbb{K},$ where $\mathbb{K}$ denotes real or complex space. And $L(x) = \sum_{n=1}^{\infty}\frac{x_{n}}{n^{q}}.$ What I've tried so far is the following. $ \|L(x)\| = \| \sum_{n=1}^{\infty}\frac{x_{n}}{n^{}} \| \leq…
user1145293
0
votes
0 answers

Showing that $\ell^{2}$ is contained in $c_{0}$.

We denote by $\mathbb{K}$ either real or complex space. And we consider $c_{0} = \{(x_{j})_{j \in \mathbb{N}} |(\forall j \in \mathbb{N})(x_{j} \in \mathbb{K}) \land (\lim_{j\to\infty}x_{j} = 0) \}$, the scalar null sequences. I want to show that…
user1145293
0
votes
0 answers

$f+g\in L^p$ if $f,g \in L^p$

I want to show that $f+g \in L^p$ when both $f,g \in L^p$. The proof I'm give just says Indeed $$|f(x) + g(x)|^p \le 2^p (|f(x)|^p + |g(x)|^p)$$ as can be seen by considering separately the cases $|f(x)| \le |g(x)| $ and $|g(x)| \le |f(x)|$. Can…
MoneyBall
  • 877
0
votes
0 answers

Meaning of uniformly continuous in a function $K:L^p \rightarrow L^p$

The function $K$ is defined as $K(f)(x)=\int_{\mathbb{R}^n}k(x,y)f(y)dy$ (with k previously defined). The thing is, I have some more hypotesis, and I'm asked to show that $K$ is uniformly continuous. The thing is that I'm having doubts about what…
Silkking
  • 971