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
44 views

$L^p$ norm of a measurable function is bounded by its operation on step functions

Let $1\leq p<\infty$, $1/p+1/q=1$. Let $f$ be a measurable function on $[0,1]$ such that for all step functions $g$ on $[0,1]$ $$ \left|\int_0^1 fg d\mu\right|\leq \|g\|_q. $$ Prove that ...
2
votes
1answer
49 views

a condition given by step functions implies the condition holds for L^q space

Let $1\leq p<\infty$, $1/p+1/q=1$. Let $f$ be a measurable function on $[0,1]$ such that for all step functions $g$ on $[0,1]$, $$ |\int_0^1 fg d\mu|\leq ||g||_q. $$ Prove $||f||_p\leq 1$. How ...
0
votes
1answer
61 views

negative Sobolev space contains $L^1$ for a compact domain

I'd like to use something like Aubin-Lions lemma for the following spaces: $$ C^{0, \alpha}(B) \subset L^1(B) \subset W^{-1, q}(B),$$ with $B \subset \mathbb{R}^n$ being a compact, say a closed ball ...
0
votes
1answer
36 views

Isometric isomorphism between $\ell^{1}(\mathbb{R}^{3})$ and $\ell^{\infty}(\mathbb{R}^{3})$

Why is there no isometric isomorphism between $\ell^{1}(\mathbb{R}^{3})$ and $\ell^{\infty}(\mathbb{R}^{3})$? I know that there is such an isomorphism if $\mathbb{R}^{3}$ is replaced with ...
3
votes
1answer
59 views

The asymptotics of $\int_x^1 |f|$ as $x\to 0$ for a nonintegrable function with $\int_0^1|f|^p<\infty$, $0<p<1$

Suppose that $0<p<1$. Let $h:(0,1]\to\mathbb C$ be a Lebesgue-measurable function such that $$\int_{x}^1|h(t)|\,\mathrm dt<\infty\quad\forall x\in(0,1].$$ Suppose also that ...
1
vote
1answer
35 views

Functional relation to be in $L^{p}$

Suppose that $f(t)=a(t)g(t)+b(t)$ for $t\geq0$, where $a$ and $b$ are continuous functions. Thus, once can immediately can say that if $b\in{}L^{p}$, $\liminf_{t\to\infty}|a(t)|>0$ and ...
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 ...
2
votes
2answers
40 views

Rate of divergence of the integral of an $L^q$ function

Let $p,q\in(1,\infty)$ be conjugate exponents (i.e., $1/p+1/q=1$) and let $f:(0,\infty)\to\mathbb R_+$ be a Lebesgue-measurable function such that $\int_0^{\infty} f(x)^q\,\mathrm dx<\infty$. It ...
1
vote
1answer
42 views

Inequality between Fourier coefficients implies inequality for $L^p$ norms on the circle

Given two functions from $L_p [-\pi,\pi]$, where $p\geq 2$, $p$ is an even integer, and $f_n>|g_n|$ for every $n$ (where $f_n$ is the $n$th Fourier coefficient), I need to prove that ...
2
votes
0answers
48 views

Sequence which does not admit weakly convergent subsequences

Let $f_h:[0,1]\to\mathbb{R}$ be defined as $f_h(x)=h$ if $0\le x\le 1$ and $f_h(x)=0$ otherwise. Prove that it does not exist a subsequence $(f_{h_k})_k$ weakly convergent in $L^1(0,1)$. Attempt of ...
0
votes
1answer
34 views

How can you compare two mathematical functions of single variable? [closed]

I have some functions and want to see how close one function is to the other. One way to check is correlation. What are the other ways of checking the "similarness", "closeness" or "nearness"?
1
vote
1answer
40 views

Reference for $f \in L^{p,\infty} \cap L^{q}$ then $f \in L^r$ for $p < r \leq q$

Okay, so I think I've shown that if $f \in L^{p,\infty} \cap L^{q}$ with $p < q$ then $f \in L^r$ for $p < r \leq q$ where $L^{p, \infty}$ denotes the weak $L^p$ space. what I did was I wrote $$ ...
0
votes
0answers
34 views

$L^{p}$ convergence [duplicate]

So... i am a little rusty with measure theory and i need some help with this exercise, if anyone can give me an idea to start Let $(X,\mu)$ a measure space. Let $f_n:X\rightarrow \mathbb{C}$ a ...
0
votes
2answers
26 views

Exercise on abstract integration

Let $f_n$ be a sequence of nonnegative functions defined on $\mathbb{R}^N$ such that $f_n \rightarrow f $ almost everywhere on $\mathbb{R}^N$ and such that $$\int_{\mathbb{R}^N} f_n \rightarrow ...
1
vote
1answer
59 views

If $a_n \to a$ in $L^2$ and $F:\mathbb{R} \to \mathbb{R}$ is continuous, does $\int F(a_{n_j}) \to \int F(a)$?

Suppose $a_n \to a$ in $L^2(\Omega)$. Let $F:\mathbb{R} \to \mathbb{R}$ be continuous with $F(0) = 0$. We have that $F(b) \in L^1(\Omega)$ if $b \in L^2(\Omega)$ and $|F'(x)| \leq C_1 + C_2|x|$. I ...
1
vote
1answer
25 views

Showing a composition is in $L^2$

Let $f$ be a smooth increasing function passing through the origin with $|f(x)| \leq C_1(1+|x|)$. Define $F(r) = \int_0^r f(s)\;ds$ and $F^*(t) = \sup_{r \in \mathbb{R}}tr - F(r).$ Note that ...
-2
votes
1answer
116 views

Continuity of $|.|$ in $W^{1,p}_0$

please i dont understand this proof We suppose that $u\rightarrow u$ on $W^{1,p}_0$ i dont understand why we must use the weak compactness and the uniform convexity of $W^{1,p}_0$ ? Thank you
0
votes
1answer
30 views

Find $\psi\in L^2$ so that the overlap $\langle \psi(x+\delta),\psi(x-\delta)\rangle$ is as small as possible

Is there a way to find / characterise functions $\psi\in L^2$ which make the value of this integral small? $$ \text{Re}\int_{\mathbb R} \overline{ \psi (x+\delta)}\,\psi(x-\delta)\;\text d x $$ ...
4
votes
1answer
146 views

Is $ L^{\infty} $ a direct limit or inverse limit of the directed system $ (L^p , i_{p}^q )_{p,q \in [1 , + \infty [ } $?

Let $X$ be a finite measure space. Then, for any $ 1≤p<q≤+∞ $ : $ L^q(X,B,m)⊂L^p(X,B,m) $. I would like to know if the space $ L^{\infty} ( X , B , m ) $ is the direct limit or the inverse limit of ...
1
vote
1answer
53 views

Explanation of a passage about a smooth approximation to $L^p$ function

I'm reading J.L Vazquez "Porous Medium Equation" book. In it, he says the following: We are given a function $a:\Omega \times (0,T) \to \mathbb{R}$ such that $a \geq 0$. We find a smooth ...
1
vote
1answer
43 views

Dual of $L^1$ when measure is the counting measure [closed]

Let $X$ be an uncountable set, $\mu$ the counting measure on $X$ and $\mathcal{M}$ the $\sigma$- algebra of countable or co-countable sets. How can I prove that the dual of $L^1(\mu|\mathcal{M})$ is ...
4
votes
1answer
49 views

Weak* convergence in $(L^q)^*$ and convergence in $L^p$

Let $\{\phi_n\}$ be a sequence in $L^p(X)$. Assume that $\phi_n\to \phi$ weak* under the natural identification $L^p\cong (L^q)^*$. Of course, it is not true in general that $\phi_n\to \phi$ in $L^p$ ...
1
vote
1answer
57 views

Prove that a relatively compact subset of $L^p$ is bounded.

Let $p\in [1,\infty)$, $A\subset L^p(\mathbb R^m)$ relatively compact and $\lambda^m$ be the Lebesgue measure on $\mathbb R^m$. Prove: a) $A$ is bounded. b) $\lim_{y \to 0}\sup_{f \in A} ...
5
votes
1answer
139 views

If $P$ has marginals $P_1, P_2$, is $L^1(P_1) + L^1(P_2)$ closed in $L^1(P)$?

Suppose that $\mathbb{X}=\mathbb{X}_1\times \mathbb{X}_2$ and suppose that $ P$ is a probability measure on $\mathbb{X}$ with marginals $ P_i$ on $\mathbb{X}_i, i=1,2$, i.e., $$\int f_i(x_i)\, ...
0
votes
0answers
35 views

does the limit of the ratio of $p+1$ norm and $p$ norm equal to $\infty$ norm

Suppose that $f\in L^1(\Omega,\Sigma,\mu)\cap L^\infty(\Omega,\Sigma,\mu)$. Then I have proved that for any $1\leq p\leq \infty$, $f\in L^p(\Omega,\Sigma,\mu)$. Moreover, I have proved ...
1
vote
0answers
40 views

Convergence of product of continuous functions and test functions

I suspect the following result is true but I"m not sure how to go about proving: It is given that $\Omega \subset \mathbb{R}^{n}$ is an open bounded, connected domain.(Not sure if theses conditions ...
2
votes
1answer
64 views

Projection onto finite-dimensional subspace of $L^p$

Let $a_i$ be a basis of $L^p(\Omega)$ and consider $A_n = \text{span}\{a_1, ..., a_n\}$. Take an element $f \in L^p$. We want to define a projection onto the finite-dimensional subspace $A_n$. How do ...
1
vote
1answer
30 views

questions about $L^p$ space with $0<p\leq 1$ parallel to the case $1<p$

Question (1). Riesz-Fischer Theorem: For $1\leq p\leq \infty$, $L^p(\mu)$ is complete. Corollary of proof: Let $1\leq p\leq \infty$. If $(f_n)_{n=1}^\infty$ is a sequence coverging to $f$ with ...
3
votes
2answers
82 views

What is $L^p$-convergence useful for?

Why do people care about $L^p$-convergence $f_n \rightarrow f$? Are there any interesting application of $L^p$-convergence? For example, if $p=\infty$, then the limit $f$ of the sequence $f_n$ of ...
3
votes
1answer
81 views

can $L^p$ norm convergence and pointwise monotonic imply pointwise convergence?

Let $(f_n)_{n=1}^\infty$ be a sequence of measurable function such that $\lim_{n\to\infty}||f_n-f||_p=0$. If for any $x\in \Omega$, $\{f_{n}(x)\}_{n=1}^\infty$ is a monotonic sequence, can we deduce ...
0
votes
1answer
41 views

If I know $\langle g(f), a_i \rangle$ for all $i$ where $a_i$ is a basis, do I know the coefficients of $f$?

Here I work on a bounded domain. Let $A=\text{span}(a_1, ..., a_n)$ where $\{a_i\}_{n=1}^\infty$ is a basis (not orthonormal) of $L^p \cap L^2$. Suppose $f \in A$. Let $g:\mathbb{R} \to \mathbb{R}$ ...
2
votes
1answer
34 views

Exercise on L^p spaces

Let $f$ be a function of $L^p([0,2]) \>\> \forall p \in [1, \infty )$ and suppose $||f||_p \leq 1$. Show that $f$ belongs to $L^{\infty}([0,2])$ and $||f||_{\infty} \leq 1$.
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 ...
1
vote
1answer
38 views

$L^p$ closed in $L^1$

Let (X, M, $\mu$) be a finite measure space. Show the whole of $L^p(d \mu )$ is closed in $L^1(d\mu)$ iff $\exists C>0$ such that $||f||_{L^p}\le C\cdot||f||_{L^1}$ for all $f\in L^p(d\mu)$ ...
3
votes
1answer
43 views

Application of weak $L^p$ estimate besides for proving boundedness of some linear operator

For all $1\leq p< \infty$, weak-$L^p(\mathbb{R}^d)$ space is defined as a set of all functions $f$ such that $$\gamma^p|\{x\in \mathbb{R}^d: |f(x)|>\gamma\}|<\infty$$ for every ...
0
votes
2answers
15 views

Sequence of continuous functions with unitary norm

I want to construct a sequence $f_n$ of continuous functions in $[0,1]$ such that $||f_n||=1$ (so a bounded sequence) and $||f_n-f_m||=1$ (it doesn't have any convergent subsequences). The norm is ...
1
vote
1answer
40 views

a question about $L^p$ functions on domains in Euclidean spaces

Let $\Omega$ be an open set in $\mathbb{R}^n$ and $f\in L^p(\Omega)$, $1\leq p<\infty$. Define $||f||_{p,\Omega}=\inf\{||f-a||_p: a\in\mathbb{R}\}$. Prove that there exists $a\in\mathbb{R}$ such ...
0
votes
1answer
55 views

Am I wrong ? (2)

Let $X=C[0,1]$ be the space of real continous functions on $[0,1]$. $X$ is a Banach space with the two norms $$|f|_\infty=\sup_{s\in[0,1]}|f(s)|$$ and ...
2
votes
0answers
33 views

Proof verification-density of smooth compactly supported functions

I am trying to show that $C_{c}^{\infty}(\mathbb{R})$ (smooth compactly supported functions) is dense in $C_{c}(\mathbb{R})$ (in the $L^{p}$ sense). Can anyone check if my proof is correct? Let $f ...
2
votes
1answer
55 views

Is a non-compact Riemannian manifold a “measure space”?

One can define $L^p$ spaces for measure spaces with a given measure. Is a non-compact (i.e., it has a boundary) bounded Riemannian manifold a measure space? I am thinking of the manifold $(0,T) \times ...
1
vote
1answer
24 views

Prove that $||f||_2 \le \sqrt{2 \pi} ||f || _{\infty}$

Let $||f||_2=\sqrt{\int_{-\pi}^{\pi} f^2(x) dx}$ $||f||_{\infty}=\sup \{ |f(x)| \mid x \in [-\pi,\pi]\}$. Suppose $f: \mathbb{R} \to \mathbb{R}$ an in the space of piecewise continuous functions ...
2
votes
1answer
51 views

How to show that the sequence $(x^{(n)})$ weakly convergent in $l_p$, $1\le p\lt \infty$

How to show that the sequence $(x^{(n)})$ weakly convergent in $l_p$, $1\le p\lt \infty$. where $(x^{(n)})=(\underbrace{0,0,..0}_{n-1},1/n,1/(n+1),...,1/(2n),0,0,...)$ for $n\in\mathbb{N}$
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
54 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
75 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
42 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
50 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
78 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$?