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

What is the intersection of all $L^p(\mathbb{R}^n)$ spaces?

I wondered this, and tried to find an answer online, but the only thing I could find was a statement that the set of functions which are in all $L^p(\mathbb{R}^n)$ is well-studied. But what functions are in all $L^p(\mathbb{R}^n)$ spaces? If the…
7
votes
1 answer

Tiny question about the proof of $L^p \cap L^r \subset L^q$

I'm reading about $L^p$ spaces as a sort of self-studying thing. And usually when I read proofs, I'll try to fill in the steps that the author skips myself, but I'm having trouble with this one: The proof is for: if $1 \leq p < q < r \leq \infty$,…
student
  • 125
6
votes
1 answer

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

Background Information: In this chapter we work on a fixed measure space $(X,M,\mu)$. If $f$ is measurable on $X$ and $0 < p < \infty$, we define $$\|f\|_{L^p} = \left[\int |f|^p d\mu\right]^{1/p}$$ and we define $$L^p(X,M,\mu) = \{f:X\rightarrow…
Wolfy
  • 6,495
5
votes
2 answers

If $X\subset L^1$ is a closed vector space and $X\subset \bigcup_{11$.

This is exercise 4.8 in Brezis's Functional Analysis book. Let $\Omega$ be a $\sigma$-finite measure space and $X\subset L^1(\Omega)$ be a closed vector space with the property $$X\subset \bigcup_{1
UserA
  • 1,650
5
votes
2 answers

Write an $L^p$ functions as a sum of an $L^2$ and $L^{\infty}$ functions

It's written in a article that: If $f\in L^p$, $p>2$, then $f=f_1+f_2$, where $f_1\in L^2$, $f_2\in L^\infty$, and $||f_1||_{L^2}\leq 2||f||_{L^p}$, $||f_2||_{L^\infty}\leq 2||f||_{L^p}$. But I don't know how to prove it. Could I ask for some…
Vera
  • 137
5
votes
3 answers

Rudin's RCA Q3.4

I'm trying to solve the following question from Rudin's Real & Complex Analysis. (Chapter 3, question 4) : Suppose $f$ is a complex measurable function on $X$, $\mu$ is a positive measure on $X$, and $$\varphi(p) ~=~ \int_X |f|^p \; d\mu ~=~…
M.G
  • 3,709
4
votes
1 answer

Shortest p-distance

We are given two points, $(0,0)$ and $(1,1)$. How many shortest paths exist between these points? For $p=2$ (Euclidean) distance, the answer is $1$, as the shortest path is a straight line. However, if we use $p=1$ (manhattan) distance, there are an…
Dave
  • 920
4
votes
1 answer

An example in $L^p$ space.

I am trying to find two sequence $f_n$ and $g_n$ that converge in $L^2$ to $f$ and $g$ $$f_n \rightarrow f~~ in ~~L^2$$ and $$g_n \rightarrow g~~ in ~~L^2$$ that $f_ng_n \in L^2~~~and~~ fg\in L^2$. but $$f_ng_n$$ not converge to $fg$ in $L^2$. …
Rosa
  • 1,502
4
votes
2 answers

Kolmogorov - M. Riesz - Fréchet Theorem

I need help to understand, some steps of the proof of this theorem. (Kolmogorov-M. Riesz-Fréchet) Let $\mathcal{F}$ be a bounded set in $L^p(\mathbb{R}^N)$ with $1\leq p < \infty$. Assume that \begin{equation} \lim\limits_{|h|\longrightarrow 0…
4
votes
0 answers

Why we care about Lp spaces?

I was reading a survey about the LHS technique when it started to talk about Lp- distance in the same distance, where usually $p$ is usually $1$, $2$ or infinite. What are the possible applications of these spaces and their distances/norms?
user6321
  • 161
3
votes
2 answers

Translations in $L^p(\mathbb{R}^n)$

Let $f,g\in L^p(\mathbb{R}^n)$, $1\leq p< +\infty$. Define (for a.e. $x\in\mathbb{R}^n$) $g_h(x)=g(x-h)$. Show that $$ \lim_{h\to\infty} \lVert f-g_h \rVert_p=(\lVert f\rVert_p^p+\lVert g\rVert_p^p)^{1/p}. $$ Any suggestions?
Hugo
  • 31
3
votes
1 answer

Weak convergence implies pointwise convergence

Let $(f_k)_{k\in \mathbb{N}}$ a sequence in $L^2(\Omega)$ which converges weakly to $\overline{f}\in L^2(\Omega)$, where $\Omega\subset \mathbb{R}^n$ with $n=2,3$ a Lipschitz bounded domain. I know that the weak convergence of $(f_k)$ does not…
3
votes
1 answer

When is $\{(x_n)_{n=1}^{\infty}\in l_p:\sum_{n=1}^{\infty} n^{\alpha}\cdot |x_n|^{p+1}\leq 1\}$ totally bounded?

Question: Find all $\alpha\in \mathbb{R}$ such that $A=\{(x_n)_{n=1}^{\infty}\in l_p:\sum_{n=1}^{\infty} n^{\alpha}\cdot |x_n|^{p+1}\leq 1\}$ is totally bounded. In the question, metric is not given. So, I think the metric is…
3
votes
0 answers

$f_n\rightarrow f$ in every $L^p(\mathbb R^d)$

Is this correct? If $f\in L^1(\mathbb R^d)\cap L^\infty(\mathbb R^d)$ then there exists $(f_n)_{n\in\mathbb N}$ in $C^\infty(\mathbb R^d)\cap L^1(\mathbb R^d)\cap L^\infty(\mathbb R^d)$ such that $f_n\rightarrow f$ in $L^p(\mathbb R^d) $ for every…
marc
  • 312
3
votes
1 answer

Belonging to an $ L^p$ space...

so I'm currently tussling with this particular problem. I have $$f(x)={e^{-|x|}-1 \over x} $$ $$f_\varepsilon(x)={e^{-|x|}-{\sin(\varepsilon x) \over \varepsilon x} \over x},\quad x \in \mathbb R, \ \varepsilon > 0$$ I need to determine whether…
Silence
  • 119
  • 6
1
2 3 4 5 6 7