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

2
votes
1answer
20 views

Questions about $L^p$ spaces and convergences

I would like to sort out the relations for strong/weak convergences for $L^p(X)$ mainly between $[p=1; p>1]$ and $[\mu(X) <\infty ; \mu(X) = \infty]$ For the purpose of strong/weak ...
0
votes
1answer
21 views

$\ell^p$ spaces' inclusion

$$ \ell^s\subsetneq \bigcup_{k<p}\ell^k\subsetneq \ell^p\subsetneq\bigcap_{k>p}\ell^k\subseteq \ell^q $$ for any $1\le s<p<q$. Any idea to prove these inclusions? Counterexamples for the ...
-3
votes
0answers
31 views

Subset Lp space. [on hold]

Let S closed vector space subset $L^1$($\mu$), where $\mu(X) < \infty$. Assume $f \in S \Rightarrow f \in L^p(\mu)$, for some $p>1$. Prove that $\exists p>1$ so that $S \subset L^p(\mu)$?
0
votes
0answers
40 views

Given $f_n \rightarrow f$ a.e. Does $||f_n||_p \rightarrow ||f||_p$ imply $f_n\rightarrow f$ in $L^p$? [duplicate]

Given $f_n \rightarrow f$ a.e. Does $||f_n||_p \rightarrow ||f||_p$ imply $f_n\rightarrow f$ in $L^p$? Clearly this does not hold for $p = \infty$, since given functions with same hight, pointwise ...
0
votes
0answers
26 views

$ L^{2} $ convergence should imply convergence in infinity norm

My situation is the following: suppose we have a Lie group $ G=G_{1} \times G_{2} $ and let $ X = \Gamma \backslash G $ a homogeneous space arising from a lattice, i.e. we have a $ G $ invariant ...
0
votes
2answers
55 views

Uniform integrability of a function in $L^1$

A collection of functions $(\phi_i)_{i\in I}\in L^1(\mu)$ is called uniformly integrable if given $\epsilon>0$ there exists $\delta>0$ such that : $$\int_E|\phi_i|d\mu<\epsilon~~~~\forall ...
2
votes
1answer
54 views

Is a linear operator on $\ell^2$ defined by the inner product necessarily bounded? [duplicate]

If $a=\{a_n\}\in \ell^\infty(\mathbb{R})$ and $\langle a,x \rangle<\infty$ for all $x\in \ell^2(\mathbb{R})$, (where $\langle a, x\rangle=\displaystyle \sum_{k=1}^\infty a_kx_k$), then is $a\in ...
3
votes
2answers
42 views

Convergence in $L^p$ by using Holder's inequality

Let $1\lt p \lt \infty$ and $f\in L_p[0,\infty )$. Show that a) $$\left\vert\int_0^x f(t)\,dt\right\vert\le\|f\|_px^{1-\frac{1}{p}},$$ for $x\gt 0$. b) $$\lim_{x\to \infty} ...
1
vote
0answers
36 views

Proof of separability of Lp spaces

The following is a proof in Brezis book. It shows the separability of $L^{p}$ spaces: I have a few questions regarding the proof. Questions: It says 'it is easy to construct a function $f_{2} ...
1
vote
1answer
24 views

For what values of $a > 0$ does $f(x,y)=(x^{2}+y^{a})^{-1} $ belong to $ L^{1}([0,1]^{2})?$

I am trying to understand for what values of $a>0$ the function $$f(x,y) = \frac{1}{x^2+y^a}$$ belongs to $L^1([0,1]^2)$. I think $a \geq 2$ should work. But how to show that it is not the case ...
1
vote
1answer
36 views

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, ...
1
vote
1answer
19 views

Showing that a function is bounded in $L^1$ given a bound on its distribution function

Let $f \in L^2((0,T)\times\Omega)$ where $\Omega$ is a compact manifold. Suppose I know that for every $k > 0$, $$\mu(\{|f| > k\}) \leq Mk^{-\frac 12}$$ for some constant $M$ (which is ...
2
votes
1answer
42 views

$f\in L^2(0,1)$ if and only if $f\in L^1(0,1)$ and some condition.

$f\in L^2(0,1)$ if and only if $f\in L^1(0,1)$ and ere exists an increasing function $g:[0,1]\rightarrow \mathbb{R}$ such that $$\left|\int_a^b f(x) dx \right|^2 \leq (g(b)-g(a))(b-a)\quad\quad (*)$$ ...
2
votes
1answer
42 views

Need help with application of Hardy-Littlewood inequality (Marcinkiewicz space and distribution functions)

I am going over this work here. I couldn't understand the equality where the Hardy-Littlewood inequality is used. I think $\delta$ here is a weight so we can take it to be $1$ for simplicity. Would ...
1
vote
0answers
19 views

$\int_{\mathbb R^{2}} |\int_{\mathbb R} (f_{r}(t-y)- f_{r}(t)) g(t-x) e^{-2\pi i w\cdot t} dt|dx dw \to 0 $ as $ r\to \infty $?

Let $f\in \mathcal{S}(\mathbb R)$ with $\hat{f}$ has a compact support. For $r>0,$ put $f_{r}(x)= r^{-1}f(x/r), (x\in \mathbb R).$ We note that, $\int_{\mathbb R} |f_{r}(x)| dx = r^{-1} ...
5
votes
1answer
53 views

$xf''(x) , xf', f \in L^{2}$ is $f' \in L^{1}$?

I am stuck on the following problem. I have a function $f$ such that $f$ is bounded on $(0,1)$, $xf'(x)$ is bounded on $(0,1)$, $f \in L^{2}(0,1)$, $xf' \in L^{2}(0,1)$, and $xf'' \in L^{2}(0,1)$. ...
0
votes
0answers
16 views

Duality set for $L~p$ spaces, $1<p<\infty$.

I need to show that, given $f \in L^p$, $1<p<\infty$, the duality set $F(f)$ is equal to the point $$\|f\|_p^{2-p}|f|^{p-2}\overline{f}.$$ I have a hint: this is a consequence of convexity of ...
1
vote
1answer
26 views

Don't understand a $L^\infty$ bound argument involving measure of set

I'm trying to understand the proof of Proposition 2.2, part 2 of this paper. this is where I am stuck. For any $k > 0$, we have $$k^{\frac{2(N+1)}{N}}|\{|u|^m > k\}| \leq ...
5
votes
0answers
40 views

Does the Gagliardo–Nirenberg interpolation inequality hold on compact closed manifolds?

The Gagliardo–Nirenberg interpolation inequality on a bounded domain is of the form $$|D^j u|_{L^p} \leq C_1|D^m u|_{L^r}^\alpha|u|_{L^q}^{1-\alpha} + C_2|u|_{L^s}$$ where are there restrictions on ...
1
vote
3answers
39 views

Dense subsets of $(L^p(\Omega),\|\cdot\|_p)$

The following results hold. Theorem Let $\Omega\subset\mathbb{R}^n$ be an open set. Then $C^0_c(\Omega)$ is dense in $(L^p(\Omega),\|\cdot\|_p)$, if $1\le p<\infty$. Theorem Let ...
1
vote
1answer
49 views

$C^0$ is a closed subspace of $L^{\infty}$

Let $\Omega\subset\mathbb{R}^n$ be an open bounded set. Let $f\in C^0(\bar\Omega)$. I have to prove that $\|f\|_{\infty}=\|f\|_{L^{\infty}}$. One implication is trivial. Let's consider the other one. ...
3
votes
2answers
35 views

For $1 \leq r < p < \infty$ prove the continuous injection of $L^p([0, 1])$ into $L^r([0, 1])$.

For $1 \leq r < p < \infty$ prove the continuous injection of $L^p([0, 1])$ into $L^r([0, 1])$. I am having a hard time starting. Any suggestions. I tried a straight forward approach. That ...
1
vote
1answer
17 views

can we approximate $f,$ in $L^{p}$-norm, by a function $f+h$ which is constant in a some neighbourhood of the point?

Suppose $f\in L^{p}(\mathbb R), (1<p <\infty), \epsilon > 0, \gamma_{0}\in \mathbb R.$ Then My Question is: Can we expect to find, $h\in L^{p}(\mathbb R)$ such that ...
1
vote
1answer
38 views

Banach valued sequence spaces $\ell^p(X)$

Let $X$ be a Banach space and $\ell^p(X)$ denote the space of sequences $x_i\in X$ for which the norm $\big(\sum_{i=1}^\infty\|x_i\|^p\big)^\frac1p$ is finite, when $X=\mathbb{R}$ we get the usual ...
3
votes
1answer
66 views

$f$ is in $L^p$ iff sum is finite

Let $p\in [1,\infty)$.Prove that $f\in L^p(\mu)$ if and only if $\sum_{n=1}^\infty(2^n)^p\mu (\{x:|f(x)|\gt2^n\})\lt \infty.$ My idea, I assume measure is finite, I wrote ...
3
votes
1answer
18 views

$L^p$ integral on every measurable subset of $\Bbb R$

Suppose $f:\Bbb R \to \Bbb R$ is in $L^p$ for some $p>1$ and also in $L^1$. Prove there exist constants $c>0$ an $\alpha \in (0,1)$ such that $\int_A|f(x)|dx\le cm(A)^{\alpha}$, for every ...
1
vote
1answer
23 views

On finite measurable space $X$, the whole of $L^p(X)$ is closed in $L^1(X)$ iff there is a const $C$ st $||f||_p\leq C||f||_1, \forall f \in L^p(X)$

On finite measurable space $(X, \mathcal{M}, \mu)$, the whole of $L^p(X, \mu)(p>1)$ is closed in $L^1(X,\mu)$ iff there is a const $C$ st $||f||_p\leq C||f||_1, \forall f\in L^p(X)$, iff both ...
3
votes
0answers
50 views

$\|\phi_{\lambda}- \phi_{\lambda} \ast f \|_{L^{2}(\mathbb R)}\to 0$ as $\lambda \to \infty$? ($\phi_{\lambda}(x)=\lambda^{-1} \phi(x/\lambda).$)

For $f\in L^{1}(\mathbb R),$ we define its Fourier transform as follows: $\hat{f}(t)=\int_{\mathbb R} f(x) e^{-ix\cdot t} dx ,(t\in \mathbb R).$ Suppose that $f\in L^{1}(\mathbb R)$ with ...
1
vote
1answer
25 views

Given $u \in L^1$, is there approximating sequence $u_n \in L^\infty$ uniformly bounded in $L^p$?

Let $u \in L^1(U)$ where $U$ is a bounded domain. Is it possible to find a sequence $u_n \in L^\infty $ converging to $u$ in $L^1$ such that the $u_n$ are uniformly bounded for all $n$ in some $L^p$ ...
1
vote
0answers
76 views

Fast Convergence of marginal distribtution

Let $(q_n)$ be sequence of probability density functions of the couple $(x,y)\in \mathbb R^2$, $p_n$ is the marginal density of $q_n$, i.e. $p_n(x):=\int q_n(x,y)dy$. Another sequence of functions ...
0
votes
1answer
30 views

$L^\infty(\Omega)$ space

Consider Lebesgue spaces $L^p(\Omega)$, $\Omega$ is a bounded domain. Let $f \in L^p(\Omega)$ for all $p$. Is it true that $f \in L^\infty(\Omega)$?
0
votes
0answers
21 views

Weak star convergent sequence and $L^\infty(0,T;L^\infty(\Omega))$

Suppose $u_n$ is uniformly bounded in $L^\infty(0,T;L^\infty(\Omega))$ where $\Omega$ is a bounded domain. From this answer, we know that the dual space of $(L^1(0,T;L^1))^* = ...
2
votes
1answer
29 views

Weak-star lower semicontinuity in $L^\infty$

Let $u_n \rightharpoonup^* u$ in $L^\infty(\Omega)$. Do we get something like $$\lVert u \rVert_{L^\infty} \leq \liminf_{n \to \infty} \lVert u_n \rVert_{L^\infty}$$ i.e. a weak-star lower ...
3
votes
3answers
45 views

Not a basis for $ l^\infty$ then what is it?

We know that $ l^\infty$ has not a Schauder basis and its Hamel basis is uncountably infinite. Let $e_n=(e_{n1}, e_{n2},...)$ (for each $n\in \mathbb{N}$) s.t. $e_{nj}=0$ when $n\neq j$ and ...
4
votes
2answers
51 views

Reflexivity of $\ell^p$

I'm having bad difficulties in understanding how to prove that $\ell^p$ with $1<p<\infty$ are reflexive spaces. Every text I have consulted give that as a trivial result because "observing that ...
4
votes
2answers
44 views

Can we expect, $S(\mathbb R)\ast L^{p}(\mathbb R) \subset L^{p}(\mathbb R), (1<p<\infty) $?

It is well-known that $L^{1}(\mathbb R)$ is a closed with respect to convolution(product), that is, $L^{1}(\mathbb R)\ast L^{1}(\mathbb R)\subset L^{1}(\mathbb R),$ more specifically, if $f, g\in ...
2
votes
0answers
41 views

Convergence of Step Function Defined by Averages

For a function $f \in L^2[0,T]$, and a uniform partition $P = \{0=t_0, t_1, \ldots, t_n = T\}$ of the domain, we can define a step function approximation as the average value over each interval in the ...
1
vote
0answers
52 views

If $f_{n}\rightharpoonup \bar{f}$ and $f_{n}(x) \rightarrow f(x)$ pointwise a.e., then is $\bar{f} = f$ a.e.? [duplicate]

Suppose $f_{n}$ is a sequence of functions in $L^{p}(\mathbb{R}^{d})$ such that $\|f_{n}\|_{L^{p}} \leq 1$ for all $n$ and $f_{n}(x) \rightarrow f(x)$ pointwise almost everywhere as $n \rightarrow ...
0
votes
0answers
57 views

How to prove $\gamma$ is continuous?

In the paper A remark on least energy solutions in $\mathbb{R}^N$, page 2407, it said, if $u_0\in H^1(\mathbb{R}^2)$, set $\gamma(t)=t^{-1/4}u_0(x/t)$. Then $\gamma(t)$ is a continuous path in ...
1
vote
1answer
34 views

Strong Convergence in L1 Implies Weak Convergence in L2?

If I have $f_n \to f$ in $L^1(D)$, where $D \subset \mathbb{R}$ is compact, is it accurate to say $f_n \rightharpoonup f$ in $L^2(D)$? The argument is as follows: consider a simple function $\phi = ...
0
votes
0answers
20 views

Pointwise (in time) convergence in $H^{-1}$ implies pointwise weak convergence in $L^q$, why?

Let $u_n \to u$ in $C^0([0,T];H^{-1}(\Omega))$ and suppose $\lVert u_n \rVert_{L^\infty(0,T;L^\infty(\Omega))} \leq C$ for all $n$. It follows that for almost all $t$, $u_n(t)$ is bounded in ...
5
votes
1answer
71 views

$\widehat{f\ast g}= \hat{f} \cdot \hat{g}$ for $f, \hat{f} \in L^{p}(\mathbb R)\cap C(\mathbb R) (1<p<\infty, p\neq 2), g\in \mathcal{S}(\mathbb R)$?

It is well-known that, for $f,g \in L^{1}(\mathbb R).$ Then, by Fubini's theorem, one can derive, $\widehat{f\ast g} = \hat{f} \cdot \hat{g},$ (that is, Fourier transform takes, convolution to point ...
6
votes
1answer
50 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 ...
0
votes
1answer
26 views

Formula for $L^{q}$ norm using $C_{c}^{\infty}$ functions

We put, $L^{p}=L^{p}(\mathbb R), L^{q}=L^{q}(\mathbb R);$ $\frac{1}{p}+\frac{1}{q}=1;$ ($p$ and $q$ are conjugate exponents); and $<f,g> =\int_{\mathbb R} f(x)g(x) dx.$ Fix $g\in L^{q}, ...
0
votes
1answer
38 views

When does the convergence of the regularization of a function is decreasing?

Hi everyone: Let $\theta(x)$ equal $k\exp\left(-\frac{1}{1-\|x\|^2} \right)$ if $\|x\|<1$, and equal $0$ if $\|x\|\geq1.$ Here $\|\cdot\|$ designates the Euclidean norm in $\mathbb{R}^n$, and the ...
2
votes
2answers
60 views

Help with closed graph theorem

I come across this exercise to use the closed graph theorem, if anyone can give and idea about it, thanks Let $M$ be a closed subspace of $L^2([0,1])$ that is included on $C([0,1])$(with the ...
1
vote
1answer
36 views

$\|g\|_{L^{1}(\mathbb R)}=\sup \{ {|\int_{\mathbb R} fg|: f\in C_{c}^{\infty}(\mathbb R), \|f\|_{L^{\infty}(\mathbb R)}=1\}} ?$

I learn the following from the book: Fact: If $g\in L^{1}(\mathbb R),$ then $$\|g\|_{L^{1}(\mathbb R)}=\sup \{ {|\int_{\mathbb R} fg|: f\in L^{\infty}(\mathbb R), \|f\|_{L^{\infty}}}=1\}.$$ We put ...
0
votes
0answers
25 views

Show that the Fourier transform of f is in $L^p(R)$ for every $2 \leq p \leq \infty$.

Let $$f(x)=\sum_{n=1}^\infty \sqrt{n} \chi_{(\frac{1}{n+1},\frac{1}{n})}(x)$$. The Fourier transformation of f is $$\hat{f}(y)=\sum_{n=1}^\infty ...
4
votes
2answers
44 views

p-norm of a function

Let $f\in L^1(\mu)\cap L^\infty(\mu)$. I have proved for any $1<p<\infty$, $f\in L^p(\mu)$, $w(p)=||f||_p$ is continuous w.r.t. $p$, and $\lim_{p\to \infty}||f||_p=||f||_\infty$. Is $w(p)$ ...
2
votes
0answers
23 views

Preliminaries of the Martingale Representation Theorem

I cannot understand why we are taking a dense subset of $[0,T]$. Furthermore, I cannot see a result that would allow each such $g_n(B_{t_1},\ldots,B_{t_n})$ to be approximated in ...