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

33
votes
2answers
9k 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 ...
27
votes
2answers
8k views

Limit of $L^p$ norm

Could someone help me prove that given a finite measure space $(X, \mathcal{M}, \sigma)$ and a measurable function $f:X\to\mathbb{R}$ in $L^\infty$ and some $L^q$, ...
20
votes
0answers
610 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\}$, ...
19
votes
2answers
508 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: ...
15
votes
2answers
163 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
4answers
912 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 < ...
12
votes
1answer
860 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
2k 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
146 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 ...
11
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?
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
2answers
1k 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 ...
10
votes
4answers
157 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
599 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
96 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 ...
10
votes
0answers
453 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" ...
9
votes
2answers
591 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
3answers
241 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
1answer
901 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 ...
9
votes
2answers
169 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 ...
9
votes
1answer
340 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
722 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
147 views

Problems with the proof that $\ell^p$ is complete

By struggling with the proof that $\ell^p$ is complete, I looked up different proofs by different authors, and I ended up focusing on the one given by Kreyszig in his classic book on functional ...
8
votes
1answer
290 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
90 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
105 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" ...
7
votes
2answers
221 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
1answer
277 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 ...
7
votes
2answers
214 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
405 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
2k 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
103 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
396 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
161 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
235 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
160 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
3k 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. ...
6
votes
2answers
291 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
728 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
90 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
63 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 ...
6
votes
1answer
70 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
181 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
117 views

Generalization of Minkowski inequality

I am wondering if the following is true: Suppose continuous function $g: [0, \infty) \to [0, \infty)$ satisfying $g(0)=0$ is increasing and strictly convex and (therefore) invertible. Let $||f ...
6
votes
1answer
59 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
152 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
1answer
4k views

The $ l^{\infty} $-norm is equal to the limit of the $ l^{p} $-norms. [duplicate]

If we are in a sequence space, then the $ l^{p} $-norm of the sequence $ \mathbf{x} = (x_{i})_{i \in \mathbb{N}} $ is $ \displaystyle \left( \sum_{i=1}^{\infty} |x_{i}|^{p} \right)^{1/p} $. The $ ...
5
votes
2answers
333 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
67 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
3answers
92 views

The function $\phi(p)=\|f\|_{L^p}^p$ is convex

Fix an arbitrary function $f\in L^p([0,1])$ and define $$\phi(p)=\|f\|_{L^p}^p$$ for $p\in [1,\infty)$. Prove $\phi$ is convex. Comments: This is a standard property of $L^p$ spaces, but no ...