For questions about $L^p$ spaces, that is, given a measure space $(X,\mathcal F,\mu)$, the vector space of equivalence class of measurable functions with $p$-th power of the absolute value integrable. Question can be about properties of elements of these spaces, or when the ambient space on a ...

learn more… | top users | synonyms

26
votes
2answers
7k views

$L^p$ and $L^q$ space inclusion

Let $(X, \mathcal B, m)$ be a measure space. For $1 \leq p < q \leq \infty$, under what condition is it true that $L^q(X, \mathcal B, m) \subset L^p(X, \mathcal B, m)$ and what is a counterexample ...
19
votes
2answers
457 views

In $\ell^p$, if an operator commutes with left shift, it is continuous?

Our professor put this one in our exam, taking it out along the way though because it seemed too tricky. Still we wasted nearly an hour on it and can't stop thinking about a solution. What we have: ...
19
votes
0answers
530 views

How many points of intersection between an ellipse and an $L_p$-circle?

Consider an ellipse $E$ in the plane, centered at the origin. (In my case, the minor axis points into the nonnegative quadrant.) Let S be an "$L_p$-circle": $S = \{(x,y) : |x|^p + |y|^p = 1\}$, ...
18
votes
2answers
6k views

Limit of $L^p$ norm

Could someone help me prove that given a measure space $(X, \mathcal{M}, \sigma)$ and a measurable function $f:X\to\mathbb{R}$ in $L^{\infty}$ and some $L^{q}$, ...
15
votes
2answers
151 views

Why are $L^p$-spaces so ubiquitous?

It always baffled me why $L^p$-spaces are the spaces of choice in almost any area (sometimes with some added regularity (Sobolev/Besov/...)). I understand that the exponenent allows for convenient ...
12
votes
1answer
757 views

If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic

If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic Maybe I would have to use the Rademachers.
12
votes
1answer
1k views

Strong and weak convergence in $\ell^1$

Let $\ell^1$ be the space of absolutely summable real or complex sequences. Let us say that a sequence $(x_1, x_2, \ldots)$ of vectors in $\ell^1$ converges weakly to $x \in \ell^1$ if for every ...
12
votes
1answer
138 views

Ideals of the algebra of all bounded linear operators on $\ell_p \oplus \ell_q$

Let $\mathcal{L}(X)$ be the algebra of all bounded linear operators from $X$ to $X$ for Banach space $X$. I need to show that $\mathcal{L}(\ell_p \oplus \ell_q)$ for $p \neq q$ contains at least two ...
10
votes
4answers
862 views

Convergence of integrals in $L^p$

Stuck with this problem from Zgymund's book. Suppose that $f_{n} \rightarrow f$ almost everywhere and that $f_{n}, f \in L^{p}$ where $1<p<\infty$. Assume that $\|f_{n}\|_{p} \leq M < ...
10
votes
2answers
1k views

“Scaled $L^p$ norm” and geometric mean

The $L^p$ norm in $\mathbb{R}^n$ is \begin{align} \|x\|_p = \left(\sum_{j=1}^{n} |x_j|^p\right)^{1/p}. \end{align} Playing around with WolframAlpha, I noticed that, if we define the "scaled" $L^p$ ...
10
votes
4answers
140 views

$l^\infty(I)$ and $l^\infty(J)$ isometrically isomorphic with $|I| \not= |J|.$

Is it possible for $l^\infty (I)$ and $l^{\infty} (J)$ to be isometrically isomorphic with the cardinality of $I$ not equal to the cardinality of $J$? I'm able to show that if $1\le p < \infty,$ ...
10
votes
1answer
484 views

Distance minimizers in $L^1$ and $L^{\infty}$

If $H$ is a Hilbert space, we have the Hilbert Projection Theorem, which tells us that given a nonempty, closed, convex subset $K \subset H$, and a point $x \in H$, there is a unique point $y \in K$ ...
10
votes
1answer
78 views

There is no continuous mapping from $L^1([0,1])$ onto $L^\infty([0,1])$

There is no continuous mapping from $L^1([0,1])$ onto $L^\infty([0,1])$. Proof: suppose $T:L^1 \rightarrow L^\infty$ continuous and onto. $L^1$ is separable, let $\{f_n\}$ be a countable dense ...
9
votes
2answers
554 views

Why do we need the absolute value signs when integrating the square of a function?

Why do we need the absolute value signs in the definition of square-integrable function? As seen below: $$ \int_{-\infty}^{\infty} \lvert f(x) \rvert^2 dx < \infty $$
9
votes
2answers
1k views

$L^1$ and $L^{\infty}$ are not reflexive

I want some proof for the following statement : $L^1$ and $L^{\infty}$ are not reflexive. Can anyone help me, please? or reference me?
9
votes
2answers
971 views

When exactly is the dual of $L^1$ isomorphic to $L^\infty$ via the natural map?

The dual space to the Banach space $L^1(\mu)$ for a sigma-finite measure $\mu$ is $L^\infty(\mu)$, given by the correspondence $\phi \in L^\infty(\mu) \mapsto I_\phi$, where $I_\phi(f) = \int f ...
9
votes
3answers
238 views

Properties of $\bigcap_{p > 1} \ell_p$

Consider the following space of sequences $$\left\{a=(a_n)_{n\in\mathbb{N}}:a\in\bigcap_{p>1}\ell_p, a_n\in\mathbb{R}\right\}$$ What are some of its properties? What is its relation to $\ell_1$ and ...
9
votes
2answers
151 views

Various kinds of derivatives

Let $f\colon \mathbb{R}\to \mathbb{R}$ be a measurable function. Let us introduce the following notions of "derivative" of $f$. Classical derivative. The unique function $f'_c$ defined pointwise by ...
8
votes
1answer
716 views

Why is $L^1(\mathbb{R}^n) \cap L^2(\mathbb{R}^n)$ dense in $ L^2(\mathbb{R}^n)$?

In Lieb and Loss's Analysis, I saw that they mentioned $L^1(\mathbb{R}^n) \cap L^2(\mathbb{R}^n)$ dense in $ L^2(\mathbb{R}^n)$ (dense wrt the $L^2$ norm, I think). But I didn't find its proof in the ...
8
votes
1answer
585 views

How to show convolution of an $L^p$ function and a Schwartz function is a Schwartz function

We have the Schwartz space $\mathcal{S}$ of $C^\infty(\mathbb{R^n})$ functions $h$ such that $(1+|x|^m)|\partial^\alpha h(x)|$ is bounded for all $m \in \mathbb{N_0}$ and all multi-indices $\alpha$. ...
8
votes
1answer
249 views

$L^{p}$ functions from Rudin Exercises 3.5

I am attempting a question from Rudin's "Real and Complex Analysis" Chapter 3 question 5. I shall summarise the question as below: Suppose that $f$ is a complex measurable function on $X$, $\mu$ a ...
8
votes
1answer
314 views

Convergence in $L^1$ space

Suppose that $f_{n}$ is a sequence of measurable functions, in a finite measure space, $f_{n}\to f $ in $m$-measure and that there exists $g$ in $L^1$ such that $\vert f_n\vert \le g$. Prove that ...
8
votes
1answer
81 views

Prove that the $p$-mean is an increasing function of $p$

Let $p\neq0$ and $j=1,2,\cdots,n$ and $x_j>0$ and $$\chi(p)=\left(\frac{1}{n}\sum_{j=1}^nx_j^p\right)^\frac{1}{p}.$$ Prove that $\chi$ is strictly increasing and the following statements hold ...
8
votes
2answers
94 views

Why are $L^p$ spaces for $p\not=1,2,\infty$ important?

$L^p$ spaces for arbitrary $1\le p\le\infty$ are a mainstay of basic functional analysis courses, but I've only seen them "in action" when $p$ is 1, 2, or $\infty$. Can anyone give an "elementary" ...
8
votes
1answer
385 views

Question regarding the Kolmogorov-Riesz theorem on relatively compact subsets of $L^p(\Omega)$.

Usually, the Kolmogorov-Riesz theorem is quoted for $L^p(\mathbb R^n)$, but I am looking for versions considering spaces over subsets in $\mathbb R^n$. The following is from the book "Sobolev spaces" ...
7
votes
2answers
194 views

What does the $L^p$ norm tend to as $p\to 0$?

This is something I was thinking about, so I'm going to post it as a question and post my own answer. I hope that anyone who wants will comment, correct me if I'm wrong, and add their own knowledge ...
7
votes
2answers
184 views

Is the injection $\ell^p \subset \ell^q$ continuous for $p<q$?

It is easy to show that $\ell^p \subset \ell^q$ when $1 \leq p<q \leq + \infty$, but is the injection continuous? If so is $\ell^{\infty}$ the direct limit $\lim\limits_{\rightarrow} \ \ell^p$ as ...
7
votes
1answer
388 views

Isometry between $L_\infty$ and $\ell_\infty$

It is known that there exist some isomorphism between $L_\infty$ and $\ell_\infty$, which is not explicit at all. Could someone tell me whether there exist an isometric isomorphism between ...
7
votes
1answer
1k views

Inequalities in $l_p$ norm

I'm having difficulty with the following problem. Any help would be appreciated. Problem: Consider the sequence spaces $l_p$ with the usual norm. If $1\le p\le q\le \infty$, I want to show the ...
7
votes
1answer
98 views

What information is contained in the function $p\mapsto ||f||_p$?

Given a measurable function $f:\mathbb{R}\rightarrow\mathbb{R}$, we obtain a function $\nu_f:(0,\infty)\rightarrow [0,\infty]$ defined by $\nu_f(p):=||f||_p$ This function $\nu_f$ will not ...
7
votes
4answers
381 views

$\ell^p$ is not isometric to $\ell^q$

The problem is this: if $1\le p<q<\infty$ then $\ell^p$ and $\ell^q$ are not isometric (as Banach spaces). This is an exercise but I'd like to see an elegant proof.
7
votes
2answers
160 views

On $L^p$ and $\ell^p$

If a continuous and infinitely differentiable function $f(x): \mathbb{R}\to\mathbb{C}$ is in $L^p$, is it also true that $f(n),\ n\in \mathbb{Z}$ is in $\ell^p$?
7
votes
3answers
231 views

Convergence of functions in $L^p$

Let $\{f_k\} \subset L^2(\Omega)$, where $\Omega \subset \mathbb{R}^n$ is a bounded domain and suppose that $f_k \to f$ in $L^2(\Omega)$. Now if $a \geq 1$ is some constant, is it possible to say ...
7
votes
1answer
60 views

How to obtain the inequality $\int |f|^2\log(|f|) \leq \frac{n}{4}\log\lVert f \rVert^2_{L^p} $ from Jensen's inequality?

Let $f$ be a positive function with $\lVert f \rVert_{L^2}=1$. Let $p= 2n/(n-2)$. How to obtain $\int |f|^2\log(|f|) \leq \frac{n}{4}\log\lVert f \rVert^2_{L^p}$ from Jensen's inequality? Here all ...
7
votes
1answer
154 views

Extend a function by convolution

Let $f \in \mathcal{C}^{\infty}(\mathbb{R})$ be a compactly supported function ($supp(f)\Subset\mathbb{R})$. I am wondering about the existence of a $g \in L^p(\mathbb{R})$, for some $p$, such that ...
6
votes
2answers
280 views

Subspaces of $L^p$

So studying Qualifying Exam problems in Analysis I cam across this one: For $1\lt r \lt p \lt s \lt \infty$ where $\mu$ denotes Lebesgue measure, a) Construct a subspace of $L^p([0,1],\mu)$ such ...
6
votes
1answer
262 views

pythagoras theorem for $L_p$ spaces

Let's consider $L_2(\mathbb{R}^n)$. Let $Y$ be a non empty closed subspace of $L_2(\mathbb{R}^n)$. Let $x\notin Y$. Let $y^*$ be the best approximation of $x$ on $Y$, i.e., $\|x-y^*\|_2=\inf_{y\in ...
6
votes
1answer
638 views

How do you prove that $\ell_p$ is not isomorphic to $\ell_q$?

I guess that for all $1\le p,q<\infty $, such that $p\ne q$ , the spaces $\ell_p$ and $\ell_q$ are not isomorphic, but how do you prove this?
6
votes
1answer
88 views

$L_{p}(\mathbb{T})$ is not uniformly convex if $p \in \{1,\infty\}$.

How can I prove that $L_{p}(\mathbb{T})$ is not uniformly convex if $p \in \{1,\infty\}$. Here $\mathbb{T} = \mathbb{R}/\mathbb{Z}$
6
votes
1answer
62 views

Under what conditions on $f$ does $\|f\|_r = \|f\|_s$ for $0 < r < s < \infty$.

Question: If $f$ is a complex measurable function on $X$, such that $\mu(X) = 1$, and $\|f\|_{\infty} \neq 0$ when can we say that $\|f\|_r = \|f||_s$ given $0 < r < s \le \infty$? What I ...
6
votes
1answer
109 views

Proof of equivalence of Sobolev Space and Lipschitz functions

The attachment is a proof from Evans book "Measure Theory and Fine Properties of Functions" pg 132 Theorem 5. The statement of the theorem is: Let $f:U \rightarrow \mathbb{R}$. Then $f$ is locally ...
6
votes
1answer
55 views

Which normed space have Fatou's property?

There is tool in mathematics, more specifically in Analysis, which has immense applications in handling delicates estimates, limiting arguments, etc... ; namely Fatou property. Let $E$ be a normed ...
5
votes
4answers
149 views

$\int f_k\to 0 $ but $f_k $ does not converge to $0 $ ae, where $ f_k $ is defined in $[0, 1] $

Give an exemple, in [0, 1], of a sequence of functions $ f_k $ such that $||f_k||_ 1=\int |f|_k \to 0 $ but $ f_k $ does not converge to $0 $ a.e.
5
votes
2answers
2k views

Smooth functions with compact support are dense in $L^1$

Here is another homework question that I did and I'd be glad if you could tell me if it's right. We now strengthen the result of Question Two for $R$ where we have the notion of differentiability. ...
5
votes
2answers
288 views

Are integrable, essentially bounded functions in L^p?

Given an arbitrary measure space (of possibly infinite measure), if $f \in L^1 \cap L^\infty$, then by Hölder's inequality, $f^2 \in L^1$, so $f \in L^2$. Intuition suggests that $f \in L^p$ even for ...
5
votes
2answers
62 views

Do non-$\ell^2$ sequences have an $\ell^2$ functional that takes them to infinity?

Suppose $\{a_n\}_{n=1}^{\infty}$ is a sequence of real numbers (suppose also positive for simplicity) so that $$\sum_{n=0}^{\infty} a_n^2 = \infty$$ i.e. the sum diverges. Can you necessarily find a ...
5
votes
1answer
194 views

Compact linear operator from $L^p (\mathbb R)$ to $L^p (\mathbb R)$

Wanted to prove the following question since one week but couldn't get even single idea on it . Here is the question : if $m : \mathbb R \to \mathbb R$ a measurable function $1 \le p <\infty $ and ...
5
votes
1answer
79 views

An inequality of $L^p$ norms of linear combinations of characteristic functions of balls

Let $1<p<\infty$. Let $(a_n)_{n=1}^\infty$ be a sequence of nonnegative real numbers and $\{B_{r_i}(x_i)\}_{i=1}^\infty$ be a sequence of open balls in $\mathbb{R}^n$. Prove that there exists ...
5
votes
1answer
64 views

Convergence of sequence of $L^{p}$ function

Given that $\Omega \subset \mathbb{R}^{n}$ is bounded. If you are given that $u_{k} \rightarrow u$ in $L^{p- \epsilon}(\Omega)$ and a functions $f: \mathbb{R} \rightarrow \mathbb{R}$ where ...
5
votes
1answer
45 views

An example of a function not in $L^2$ but such that $\int_{E} f dm\leq \sqrt{m(E)}$ for every set $E$

I am thinking about this problem: Let $f\in L^1 [0,1]$ to be a nonnegative function satisfied: $$\int_{E} f dm\leq \sqrt{m(E)}$$ for every measurable set $E\subset [0,1]$, Prove that $f\in ...