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

1
vote
1answer
31 views

How to give a criterion for strong convergence of in $L_p[0,1]$ for this example

let $x_n=\alpha_n e^{-nt}$ for $n\in \mathbb{N}$ and $1<p<\infty$. How to give a criterion for strong convergence of in $L_p[0,1]$ for this example: $x_n\rightarrow 0$ (strong convergence). ...
0
votes
0answers
51 views

Generalisation of vector-valued Marcinkiewicz interpolation theorem

Given a compatible couple $(X,Y)$ of Banach spaces and some measure space $\Omega$ Lions and Peetre identified the real interpolation space between the vector-valued Lebesgue spaces $L_1(\Omega;X)$ ...
1
vote
1answer
66 views

Is Lp space complete with this norm?

Let $E$ be a measurable set of finite measure and $1\leq a<b<\infty$. Consider the $L^b(E)$ space normed by $L^a$ norm. Is this space a Banach space? I think this is wrong, so I tried to find a ...
2
votes
1answer
41 views

function $L_p$ iff $1\leq p<2$

Let $X=<0,1>$, take the borel sigma algebra, and the lebesgue measure. Consider $g(x)=\dfrac{1}{x^{\frac{1}{2}}}$. Show that $g\in L_p$ iff $1\leq p<2$. I have done this: ...
0
votes
0answers
13 views

$L^p(0,T;L^p(M)) = L^p((0,T)\times M)$?

I thought it was true that $L^p(0,T;L^p(M)) = L^p((0,T)\times M)$ for $p \neq \infty$, but can't find a proof. Can someone assist me with this? Thank you
0
votes
1answer
41 views

Bound on uniform norm of convolution of $L^p$ functions

This is Proposition 8.8 in Folland's Real Analysis: If $p$ and $q$ are conjugate exponents, $f \in L^P$, and $g \in L^q$, then $f*g(x)$ exists for every $x$, $f*g$ is bounded and uniformly ...
4
votes
2answers
74 views

If the sum of two independent random variables is in $L^2$, is it true that both of them are in $L^1$?

Let $X$ and $Y$ be two independent random variables. If $\mathbb E(X+Y)^2 < \infty$, do we have $\mathbb E |X| < \infty$ and $\mathbb E |Y| < \infty$? What I actually want is that $X$ and ...
1
vote
1answer
46 views

Nontrivial functionals on $l^\infty$ vanishing on $c_0$

I understood that the dual of $c_0$ is a proper subspace of the dual of $l^\infty$, by Hahn-Banach theorem. But how can I find functionals in $(l^\infty)^*$ vanishing on $c_0$?
2
votes
0answers
69 views

Does absolute continuity of measures imply a relation between the $L_p$ spaces?

Say $(X,\mathcal{B},\mu)$ is some measure space, and let $\sigma$ be some other measure on $(X,\mathcal{B})$ such that $\sigma\ll\mu$. What can one say about the relation between $L_p(\mu)$ and ...
2
votes
2answers
77 views

Subsequence Properties and Lp Spaces

Exercise: Let $E$ be a measurable set in $\mathbb{R}$ under Lebesgue measure, and let $1<p<\infty$. Suppose $\{f_n\}$ is a bounded sequence in $L^p(E)$ and $f \text{ belongs to } L^p(E) $. ...
2
votes
1answer
37 views

Question on Lp Spaces

Exercise: Assume $E$ has finite measure and $1\le p_{1}<p_{2}\le\infty$. Show that if {$f_{n}$}$\space\rightarrow f$ in $L^{p_{2}}(E)$ then {$f_{n}$}$\space\rightarrow f$ in $L^{p_{1}}(E)$ ...
1
vote
1answer
28 views

$l^p$ norms and the relationship between $l^{p_1}$ and $l^{p_2}$ where $p_1<p_2$

Let $a=\lbrace a_n \rbrace_{n=1}^\infty$ be a sequence of real numbers. We define $\| a\|_p = \left( \sum_{n=1}^\infty a_k^p \right)^{1/p}$ for $0<p<\infty$ and $\| a\|_\infty = \sup_k |a_k|$. ...
0
votes
1answer
33 views

Functions in $L^p$ and $L^q$ spaces

For any two different numbers $p,q\in[1,\infty)$ find functions $f\in L^p \setminus L^q$ and $g\in L^q \setminus L^p$. Solution: let $$f(x)=x^{-1/p}(1+|\log x|)^{-2/p}$$ Then $$\int|f|^p = ...
0
votes
1answer
46 views

Measure theory $L^p$ and $L^q$ spaces

For any two different numbers $p,q\in[1,\infty)$ find functions $f\in L^p \setminus L^q$ and $g\in L^q \setminus L^p$. Idea: This and the function $f=x^{-1/p}(1+|log x|)^{-2/p}$ and then I need to ...
1
vote
0answers
33 views

Convergence in $L^1$ and $L^p$ [duplicate]

Assume: (a) $\{f_n\} \subset L^p$, (b) $f_n \to f \text{ }\mu\text{-a.e.}$ and (c) $\|f_n\|_{L^p} \to \|f\|_{L^p}\to0$. Then show that $$\|f_n - f \|_{L^p} \to 0$$ using Fatou's Lemma, first for ...
1
vote
0answers
48 views

Condition for a product of two function sequences in $L^1$ to be in $L^1$

We have: 1. $\{f_n\} \subset L^1(E, \Sigma, \mu)$ 2. $g_n \subset L^\infty(E, \Sigma, \mu)$ 3. $\|f_n-f\|_{L^1}\to0$ 4. $g_n \to g \text{ }\mu\text{-a.e.}$ 5. $\{g_n\}$ is uniformly bounded. ...
2
votes
0answers
29 views

References on Weak Convervenge

I am looking for a good reference on weak convergence in L^p spaces, can anyone recommend anything? Thanks a lot in advance!
4
votes
1answer
74 views

Function compositions that are in $L^p$

We have $f \in L^p$. The goal is to show that $\exists \psi \in C(\mathbb{R^+}, \mathbb{R^+})$ such that $$ \lim_{s \to +\infty} \frac{\phi(s)}{s}=+ \infty \text{ and } \phi(|f|) \in L^p$$ I neeed ...
2
votes
1answer
64 views

the principle of uniform boundedness and $l^p$ space

If $1<p<\infty$ and $\{x_n\}\subset l^p$, then $\sum_{j=1}^\infty x_n(j)y(j)\to 0$ for every $y\in l^q$, $\frac{1}{p}+\frac{1}{q}=1$, iff $\sup_n||x_n||_P<\infty$ and $x_n(j)\to 0$ for every ...
0
votes
1answer
32 views

If $u_n$ is bounded and pointwise convergent, then $u_n$ convges in $W_{2,p}$.

I'm reading this paper about solving semilinear elliptic pde's through iterated approximations. The line i'm trying to understand is "Then, since $u_k = Tu_{k-1}$ and since $\{u_k\}$ is a bounded, ...
0
votes
1answer
49 views

Sequence of piecewise constant functions converging to any $L^2$ function

Let $\{P_i\}_{i=1}^\infty$ be a sequence of partitions of the interval $[0,1]$ with a vanishing mesh. Additionally $H_i$ be the space of piecewise constant functions (step functions) with pieces ...
1
vote
1answer
60 views

1<p<q, norm inequalities

Prove or disprove the following. (Recall that $c_{00}$ is the space of sequences with only finitely many nonzero entries.) Conjecture. Let $1<p<q<\infty$. Then there exists a function ...
2
votes
1answer
19 views

a function that is in $L^2$ (the right version)

Sorry I made a mistake when posting the last question. Actually my question is: can you give a $f(x) $ such that $ f \in L^2 ( \mathbb R)$ but $ x^{-\frac{1}{2}} f \notin L^1 ( \mathbb R ) $. ...
2
votes
1answer
47 views

a function that is in $L^2$

Can anyone give me an example of $f(x) $ such that $ f \in L^2 ( \mathbb R)$ but $ x^{\frac{1}{2}} f \notin L^1 ( \mathbb R ) $. Thanks! It seems that $f(x) = x^\alpha$ doesn't work...
0
votes
1answer
42 views

No Continuous Mapping?

Exercise: For [a,b] a nondegenerate closed, bounded interval, show that there is no continuous mapping from $ L^{1}[a,b]$ onto $ L^{\infty}[a,b] $. My initial thought is to prove by contradiction. ...
0
votes
1answer
35 views

Converse of existing question on L^p convergence

My question is about this: Convergence in $L^p$ of $f_n$ implies convergence in $L^1$ of $|f_n|^p$ and $f_n^p$ It was shown that the author's question was indeed true by the use of MVT. Is the ...
3
votes
1answer
99 views

Convergence of characteristic functions on hypercube

I have a question regarding the following partition of a hypercube $H_{R}(x)$ centered at $x$ with sides of length $R$ in $\mathbb{R}^{n}$: Consider this hypercube $O = H_{R}(x) = ...
0
votes
0answers
9 views

Existence of uniformly continuous function on $L^p$

Suppose $f\in L^\infty(\Bbb R)$, and $f_h(x)=f(x+h)$ and $\lim_{h \to 0}||f_h-f||_\infty=0$. Prove that there exists a uniformly continuous function $g$ on $\Bbb R$ such that $f=g$ a.e. Problem is ...
5
votes
1answer
142 views

Showing that $\|f\|_p\to\|f\|_{\infty}$

I know this question has been asked a lot in this site, I've been checking those questions myself, however according to the theory we use in class there are things that I can't use and/or I don't know ...
0
votes
0answers
59 views

limit of p norm as p goes to 0!

Suppose we have a measure $\mu$ and a space $X$ such that $\mu(X)=1$, and a function $f \in L^r$ for some $r > 0$, where $L^r$ is defined in the usual way even for numbers less than $1$. Show ...
1
vote
1answer
34 views

Existence of a function in $L^{p}$ with a certain property

Is there a function $f \in L^{p}(\mathbb{R}^{n})$ such that $\|If\|_{L^{p}(\mathbb{R}^{n})} = \infty$ where $If(x) = \int_{\mathbb{R}^{n}}\frac{f(y)}{|x - y|^{n}}\, dy$? Such a case isn't covered by ...
2
votes
1answer
46 views

Convergence of function in $L^1$ space

Let $\Omega \subset \mathbb{R}^{n}$ be bounded and open. Assume that $a: \Omega \times \mathbb{R} \times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}$ is a Caratheodory function which means $a(x,.,.)$ is ...
0
votes
1answer
43 views

Question about injection on an unbounded space

I have this space $$C_0((0,+\infty))=\left\lbrace u,u\in C((0,+\infty)),\lim_{t\rightarrow +\infty} u(t)=0\right\rbrace$$ with the norm $$||u||_{\infty}=\sup_{t\geq0}|u(t)|$$ how to prove that ...
1
vote
1answer
23 views

Convergence of series in L^p

Let $\langle f_n\rangle$ be a sequence of functions from the space $L^p(X,\mathcal M,\mu)$, $1\le p<\infty$, such that the series $$ \sum_{n=1}^\infty \|f_n\|_p \ \ \ (*) $$ converges. Prove that ...
0
votes
1answer
42 views

Why is $\overline{L^\infty(\Omega)} \subset L^\infty(\Omega) $ where the closure is in norm of $L^1(\Omega)$?

Let $\Omega$ be a domain which may or may not be unbounded (eg. $\Omega = B_1(0)\times (0,\infty)$). Why is $$ \overline{L^\infty(\Omega)} \subset L^\infty(\Omega)$$ where the closure is in norm of ...
2
votes
1answer
25 views

$f_n$ converges to $f$ in $L^3(X,\mathcal{M},\mu)$ , prove that $f_n^3$ converges to $f^3$ in $L^1(X,\mathcal{M},\mu) $

Suppose $(X,\mathcal{M},\mu)$ is a complete measure space. If $f_n$ converges to $f$ in $L^3(X,\mathcal{M},\mu)$ , prove that $f_n^3$ converges to $f^3$ in $ L^1 (X,\mathcal{M},\mu) $. Actually my ...
2
votes
1answer
36 views

$\|f'(x)\|_{L^p} \le C \|f(x)\|_{L^p}^{1/2} \|f''(x)\|_{L^p}^{1/2}$ for smooth $f$ with compact support

I'm trying to prove the following Let $f: \mathbb{R} \to \mathbb{R}$ be a smooth function supported on $[a, b]$ where $-\infty < a < b < \infty$. $2 \le p < \infty$. Then $$ ...
4
votes
1answer
69 views

$L^p$-space inclusions

Let $1\leq p<q<\infty$. Which of the following inclusions are true? $L^p(0,1)\subset L^q(0,1)$ $L^q(0,1)\subset L^p(0,1)$ $L^p(0,\infty)\subset L^q(0,\infty)$ $L^q(0,\infty)\subset ...
2
votes
1answer
80 views

Two questions on Banach-valued spaces of integrable functions

Let $V$ be a Banach space with dual $V'$ and suppose that $V$ is included into the Hilbert space $H$ so that the inclusion is continuous and dense. Then after identification $H = H'%$ we have $V ...
1
vote
1answer
59 views

Weak $L_1$ norm is different from $L_1$ norm on a probability space

Can any one give an example of a probability space $(X , \mu )$ and functions $f_1, ...,f_n : X \to \mathbb R$ such that $ \| f_i \|_{ L^{ 1, \infty }} : = \sup_{ t > 0} t \lambda_{f_i} (t) \le 1$ ...
1
vote
1answer
38 views

weak $L_p$ implies bounded integral on finite measure set

Let $(X, \mu)$ be a measure space which is $\sigma$-finite. $ 1 < p < \infty $. $f : X \to \mathbb C$ is a measurable function. If we know $f$ is in the weak $L_p$ space, i.e. $ ||f||_{L^{(p, ...
1
vote
0answers
49 views

the dual space of $L^p$ [duplicate]

I am reading some preliminary material to develop a good background in order to study PDE and I came across the following fact The dual space of $L^p$ is $L^q$ where $q$ is the Holder's Conjugate of ...
0
votes
1answer
40 views

how to show this function doesn't belong to Hilbert space?

I am trying to show $\chi_{B_R(0)}(x) \notin H^1 (\mathbb{R}^n)$ , ∀R>0. since $H^1 (\mathbb{R}^n) := W^{1,2}(\mathbb{R}^n)$ That is, I have to show that $\chi_{B_R(0)} (x) \notin ...
0
votes
1answer
167 views

L1 convergence and Lp bounded implies Lq convergence

I have tried to solve this problem for almost a week and did not manage to, so I figured to ask it here: Let $(u_n)\to u$ in $L^1(0,1)$ strongly and let $\{u_n\}_{n\in\mathbb{N}}$ be bounded in ...
1
vote
2answers
114 views

Inequality of strong $L^p$ and weak $L^p$ norm on a finite set with counting measure

If $X$ is a counting finite set with counting measure. Let $f : X \to \mathbb C$ be a complex valued function. For any $ 0 < p < \infty$, show that $$ ||f||_{ L^p } \le C_p (\log (1 + |X| ...
1
vote
1answer
50 views

Inequality of $L^p$ norm and distribution function

Let $(X,\mu)$ be a measure space and $ f \in L^p$, $ 0 < p < \infty$. Let $ \lambda_f (t) : = \mu ( \{ x \in X : |f(x)| \ge t \} )$. I want to that exists a constant $c_p$ depending only on $p$ ...
0
votes
1answer
51 views

Criteria to be in weak $L^{p}$ space

Let $X$ be a $\sigma$-finite measure space. Let $f : X \rightarrow \mathbb{C}$ be a measurable function and $1 < p < \infty$. Suppose for $f$ there is a constant $C$ such that ...
1
vote
1answer
46 views

$f_n\rightarrow f$ in $L_2$ and $f_n\rightarrow f$ in measure, then $f_n\rightarrow f$ almost uniformly?

$f_n\rightarrow f$ in $L_2$ and $f_n\rightarrow f$ in measure How to show or give an counterexample: $f_n\rightarrow f$ almost uniformly. We believe it is false. Since both convergences imply there ...
0
votes
0answers
28 views

Showing equivalence of weak convergence on closed and open intervals

Quick question. Let $I$ be an open bounded subset of $\mathbb{R}^{n}$. If I am given that $u_{m},u \in W^{1,\infty}(I)$ and I want to show that $u_{m} \rightharpoonup^{*} u$ in $L^{\infty}(I)$. Then I ...
2
votes
0answers
50 views

Sobolev spaces necessary and sufficient condition

I am studying PDE now using mostly Evan's book. I have been thinking about the following problem and I don't know whether there is a solution or not. Problem Formulation: Let $A$ be a subset of ...