The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Questions tagged [lp-spaces]

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 problem is a $L^p$ space.

Filter by
Sorted by
Tagged with
2
votes
0answers
38 views

Quadratic form in $L^{2}$ is closed

Let $V\in L_{\text{loc}}^{1}(\mathbb{R}^{n})$ and consider the quadratic form $q(u):=\langle Vu, u\rangle_{L^{2}(dx)}$. I want to show that this form is closed in $L^{2}$ with $\operatorname{dom}(q)={...
0
votes
0answers
54 views

On separability of $L^2$ and others.

I have two related questions: Is $L^2(X,\mu)$ separable if $\mu$ is a probability measure that is Lebesgue except it may have finitely many atoms? If I want to prove that a function is continuous ...
3
votes
3answers
62 views

Proof Correct? Show that $\sum_{n \in \mathbb N}s_{n}t_{n}<\infty \Rightarrow s \in \ell^{1}$

Let $(s_{n})_{n}\subseteq \mathbb R$ and $c_{0}$ the space of null sequences. Show that $\sum_{n \in \mathbb N}s_{n}t_{n}<\infty \operatorname{for all }t\in c_{0} \Rightarrow s \in \ell^{1}$. My ...
3
votes
0answers
51 views

If $f,h,g\in L^{2}(\mathbb R^2)$, then $\int_{\mathbb R^3}\vert f(x,y)g(y,z)h(z,x)\vert d(x,y,z)\leq\|f\|_2\|g\|_2\|h\|_2$ [duplicate]

Let $f,h,g\in L^{2}(\mathbb R^2).$ Prove the inequality $$\int_{\mathbb R^3}\vert f(x,y)g(y,z)h(z,x)\vert d(x,y,z)\leq\|f\|_2\|g\|_2\|h\|_2.$$ Using Fubini's Theorem and the Cauchy-Schwarz ...
1
vote
0answers
22 views

Embedding for $C_{0}(\Omega)$ to $L^{p}(\Omega)$

Let $\Omega\subset\mathbb{R}^{N}$ be a bounded domain and $f_{1}:\Omega\to\mathbb{R}$ be an element of $C_{0}(\Omega)$. Define $C_{0}(\Omega) := \{f\in C(\overline{\Omega})\,|\, f|_{\partial\Omega}=0 \...
2
votes
0answers
45 views

Uniform bound for a family of linear operators on $L^2$

Let $\phi,\psi$ be functions on $\mathbb{R}^d$ with $\int\phi=\int\psi=0$ and $$|\phi(x)|,|\psi(x)|\lesssim(1+|x|)^{-(d+1)} \quad\text{and}\quad |\nabla\phi(x)|,|\nabla\psi(x)|\lesssim(1+|x|)^{...
1
vote
2answers
57 views

$\mathscr{S}(\mathbb{R}) \text {is dense in } L^{2}(\mathbb{R})$

This lemma was given by my professor in my notes of mathematical methods in physics. I believe with this lemma I can say that any function in the Schwartz space is $L^2$ integrable. However my ...
1
vote
2answers
36 views

On convergence in $L^p$

I was trying to understand an exercise about convergence in $L^p$. I was asked to investigate the punctual convergence and the $L^p(\Bbb R)$ convergence, $1\le p\le +\infty$, of $u_n(x)=1/n*e^{-|x|/n}$...
2
votes
1answer
50 views

Suffice condition for Weak convergence in $L^2$

Define $$ \langle f,g\rangle=\int_{\mathbb{R}}f(x)g(x)dx.$$ I know that in order to show that a sequence $\{f_n\}\in L^2(\mathbb{R})$ converge weakly to $f\in L^2(\mathbb{R})$, its suffice to show (...
1
vote
3answers
71 views

How to prove the “bang-bang” characterization on the alignment between $L_1[0,1]$ and $L_\infty[0,1]$?

I am following Luenberger's book "Optimization by Vector Space Methods". The author's solution to Example 2 on Page 124 obviously has utilized the following result on the characteristic of alignment ...
2
votes
1answer
50 views

A question about distributions and Lp spaces [closed]

If all the partial derivatives of a distribution are $L^p$ functions for some $p$, is the distribution a regular distribution? Assume that an $L^1_{loc}$ function $f$ has all second partial ...
0
votes
1answer
27 views

Measure of Cauchy sequence

I consider $(f_n)_{n\in \mathbb N} \in L^p(\mu)$ and $\vert|f_n-f\vert|_p \rightarrow 0 $ for $ n \rightarrow \infty$ So I can conclude: Let $ \epsilon_k =2^{-k}$ $ \forall k \ \exists n_k: \mu(\{|...
0
votes
1answer
45 views

Boundedness in $H^1(\Omega) $ and tightness

Let $\Omega$ be a bounded subset of $\Bbb R^d$. And let $ (u_n)_n$ be a bounded sequence of the Sobolev space $H^1(\Omega)$. Question: Can we say that $ (u_n)_n$ is tight in $L^2(\Omega)$ namely: ...
3
votes
1answer
181 views

Transformation of an $L^1$ function by a homomorphism of measure space is also an $L^1$ function.

Let $(X,\mathscr{B},\mu)$ and $(Y,\mathscr{D},\nu)$ be two complete measure spaces and $\alpha:\mathscr{D}\rightarrow \mathscr{B}$ be a homomorphism, i.e., a map satisfying $\alpha(A_1\cup A_2)=\...
1
vote
1answer
71 views

Sequence spaces $l^p$

I am trying to solve a question as regards $l^p$. Show that $$\lim_{j\rightarrow\infty}\sum_{n=1}^{\infty}\frac{x_n}{j+n}=0$$ for all $(x_1,x_2,...)\in l^2.$ I came up with some idea (which is not ...
2
votes
1answer
25 views

$J$ is surjective but not injective on $L^{\infty}\to (L^{1})^{*}$

Let Let $X:=\{0, 1\}$ and $\mathcal{A}:=\mathcal{P}(X)$ and $\mu(\{0\})=1$ while $\mu(\{1\})=\infty$ I know that $f\in L^{1}(X,\mathcal{A}, \mu)$ iff $f\vert_{\{1\}}=0$ and $g \in L^{\infty}(X,\...
5
votes
2answers
46 views

A proper subspace of a normed vector space has empty interior clarification

So every proper subspace of a normed vector space has empty interior. I'm not asking for the proof, my problem is that this seems to me very strange. So if I have a normed vector space, in any proper ...
1
vote
1answer
31 views

Space $L^p$. I need to find a constant.

$L^p [0,1] = \{f: [0,1] \to \mathbb R$ ; $f$ measurable such that $\int_{0}^{1}|f|^p dx < + \infty\}$ and, $\parallel f \parallel_{p} = \int_{0}^{1} (|f|^{p})^{\frac{1}{p}}$. Let $F$ be a subspace ...
8
votes
1answer
188 views

Does multiplication by a test function stay in a Sobolev space?

Let $u \in D^{1,\vec{p}}(\Omega)$ and $\phi \in C_c^{\infty}(\Omega)$. Then do we necessarily have $u\phi \in D^{1,\vec{p}}(\Omega)$? My attempt What we need to show is that $\partial_i (u \phi) \...
0
votes
1answer
48 views

Is $J$ injective or surjective where $Jf(g):=\int d\mu f g$

Let $X:=\{0, 1\}$ and $\mathcal{A}:=\mathcal{P}(X)$ and $\mu(\{0\})=1$ while $\mu(\{1\})=\infty$ I know that $f\in L^{1}(X,\mathcal{A}, \mu)$ iff $f\vert_{\{1\}}=0$ and $g \in L^{\infty}(X,\mathcal{A}...
0
votes
0answers
36 views

Relations between $L^{p}$ inner-products

The following full setup of this problem is a bit long, but the only problem is the final step of the proof. Setup: Let $\Omega$ be a domain in $\mathbb{R}$. Let $\phi_{1}, \phi_{2} \in H^{1}_{0, \...
1
vote
1answer
46 views

Convergence in $l^{p}$

Prove that, given $q \in [1,\infty] $, then $ l^{p} \hookrightarrow l^{q} $ for all $p \in [1, q]$. Consider the sequence $ x^{(n)}=\bigl( x^{(n)}_{k} \bigr)_{k \in \mathbb{N}_{0} } \ $ defined by \...
0
votes
2answers
58 views

Understanding a step in a proof of $L^p(X)\subseteq L^r(X)\subseteq L^1(X)$

I am trying to understand this proof to the question: $L^p$ and $L^q$ space inclusion. Here is the linked answer I am reading: There is a easy way to show that. Suppose that $p<q$ and X a space ...
0
votes
2answers
40 views

Why $\lim_{m\rightarrow\infty}F_m(x)=\liminf_{m\rightarrow\infty}F_m(x)=f(x)$?

I am trying to understand a step in the proof of Use Fatou Lemma to show that $f$ takes real values almost everywhere. it is shown that $\lim_{m\rightarrow\infty}F_m(x)=\liminf_{m\rightarrow\infty}...
1
vote
0answers
39 views

Is my Interpretation of $L^{1}$ and $L^{\infty}$ correct in this case

Let $X:=[0,1]$ and $\mathcal{A}:=\{A \subseteq [0,1]: A \operatorname{or} A^{c} \operatorname{countable}\}$ and $\mu$ be the counting measure. I am asked to characterize both $L^{1}(X,\mathcal{A}, \...
1
vote
0answers
29 views

Find a functions $(f_{n})_{n}$ so that they converge in $L^{\infty}([-N,N])$ but not $L^{\infty}(\mathbb R)$

My idea: Let $f \equiv 1$ and set define $f_{n}\equiv 1_{[-n,n]}$ clearly then for any $N \in \mathbb N$ and $\epsilon>0$ there is $n_{0}$ large enough such that $\forall n \geq n_{0}$ it follows ...
1
vote
1answer
32 views

Showing $2(\|f\|_{L_p}^p+\|g\|_{L_p}^p)\le\|f-g\|_{L_p}^p+\|f+g\|_{L_p}^p$

I have the following question from a past qualifying exam: Given $2\le p<\infty$. Show that for any real-valued functions $f,g\in L_p(\mathbb{R})$, it holds that $$2\left(\left\|\frac{f}{2}\...
0
votes
0answers
19 views

weighted young inequality

Define weight $w(\theta) = (1+c \cos^2 \theta)^{s},$ $s>0$ $c$ some constant. Define $\|f\|_{L^p_w(\mathbb T)}^p=\int_{\mathbb T}|f(\theta)|^p w^{p}(\theta) d\theta $ Can we expect $\|f\ast ...
2
votes
3answers
253 views

How to prove this countable intersection is empty?

Let $(l_p,\|\cdot\|_p)$ be a normed space, for some fixed $p \in [1,\infty)$. Let $\{e_i\}_{i=1}^{\infty}$ be standard basis and $E_n=\{e_i\}_{i=n}^{\infty},\ n=1,2,3,...\ .$ Then how can I prove $\...
1
vote
1answer
56 views

Is it true that a sequence $ f_n \to f $ of measurable functions is bounded by a norm of $ L^p $ then $ f_n $ converges to $f$ in $ L^p $? [duplicate]

Is it true that a sequence $ f_n \to f $ of measurable functions is bounded by a norm of $ L^p $ then $ f_n $ converges to f in $ L^p $? Is this true? If so, prove, if not, a counter example. I just ...
0
votes
1answer
22 views

Splitting function from $L^{n/2}$

Let $V\in L^{n/2}$, $n\geq 3$. I want to show that for every $\varepsilon>0$, there are $||V_{1}||_{L^{n/2}}\leq \varepsilon$ and $V_{2}\in L^{\infty}$ sucht that $$V=V_{1}+V_{2}$$
0
votes
1answer
41 views

Let X be a measurable set with $ \mu (X) < \infty $ and $ 1 \leq p < \infty $… ($L^p$ spaces

Let X be a measurable set with $ \mu (X) < \infty $ and $ 1 \leq p < \infty $ Let $ (f_n)_{n \in \mathbb{N}} \subset X $ and $f \in L^{p}(X)$ with $\lim_{n \to \infty}||f_n - f|| = 0 $ Show ...
1
vote
1answer
34 views

Does translation operator preserve norm on weighted Lebesgue spaces?

We define weighted Lebesgue norm as follows: $\|f\|_{L_{w}^p}^p= \int_{\mathbb R^d} |f(x)|^p w(x) dx$ where $w$ is some nonnegative weight function (e.g., $ w(x)= (1+|x|^2)^{1/2}$ ) Fix $y\in \...
3
votes
1answer
44 views

Why are weights defined to be locally integrable?

My question is about why weights are defined to be locally integrable. I am trying to understand a statement in the paper "Poincare Inequalities and Neumann problems for the $p$-Laplacian" by David ...
3
votes
1answer
39 views

Why is boundedness sufficient for well-definedness

Let $p, q \in {]1,\infty[}$ where $\frac{1}{p}+\frac{1}{q}=1$ and define $J\colon L^{q} \to (L^{p})^{*}, f \mapsto \ell_{f}: L^{p} \ni g\mapsto \ell_{f}(g)=\int_{X}fg\,d\mu$ My question is related ...
5
votes
3answers
230 views

Use Fatou Lemma to show that $f$ takes real values almost everywhere.

Let $(f_n)$ be a sequence in $L^p$ such that for each positive integer $n$, $ \| f_{n+1}-f_n\|_{p} <\frac 1{2^n} $. Define $f: X \to [0,\infty]$ with $$ f(x)= \sum_{n=1}^\infty| f_{n+1}(x)-...
0
votes
0answers
29 views

The distance between functions $x^2$ and $e^y$

Let $f,g: \mathbb{R}^2 \rightarrow \mathbb{C},$ $$f(x,y)=x^2, g(x,y)=e^y,$$ and $f,g \in L^2(\mathbb{R^2}, e^{-x^2-y^2})$. I have to find the distance between $f$ and $g$ in the metric induced by ...
0
votes
1answer
51 views

Characterization of $L^p$ function

Let $f:[0,1]\to\mathbb{R}$ be measurable and $p,q>1$ with $p^{-1}+q^{-1}=1$. Assume that $\int_{[0,1]} \left |f(t)g(t)\right |dt<\infty$ for all $g\in L^q([0,1])$. Does it follow that $f\in L^p([...
2
votes
1answer
47 views

Hahn-Banach extension for positive functionals

Let $H$ be a Banach space and $C\subset H$ be a convex cone (I'm thinking of $H=L^2(U)$ or $C(U)$ and $C=\{\text{positive functions on }U\}$ for some open $U\subset\mathbb R^d$). Moreover, let $H'\...
-1
votes
1answer
30 views

$f \in L^p ((0,1), \tan x\, dx)$

For which values $p \in [1, \infty)$ does the function $f(x)=\frac{\ln(1+3x)}{\sqrt{x} \sin ^2 x}$ belong to space $L^p ((0,1), \tan x\, dx)$ ? So, equivalently, we have to find all the $p$ values so ...
3
votes
1answer
30 views

Riemann Lebesgues lemma in $L^p$

Is it still true that : $$ \int_{\mathbb R } [f(x) \sin(nx)]^p dx \to 0 \text{ when } n \to \infty $$ I can't find anything about it. Thanks.
3
votes
2answers
55 views

inverse triangle inequality in $L^p$

I requiere some inequalities generalization. I don't know whether they are true or not. Can you help me ? Here we're talking about $L^p$ spaces with $p > 1$. I know that on the real line : ...
2
votes
2answers
97 views

Tips on finding the correct upper bound for $\frac{1}{\vert x\vert(1+\vert x\vert)^d}$

Let $f: \mathbb R^{d} \to \mathbb R$ so that $x \mapsto \begin{cases} \frac{1}{\vert x\vert(1+\vert x \vert)^d }, x \neq 0\\ 0, x = 0 \end{cases}$ Determine for which $p\in [1,\infty], f \in\mathbb ...
0
votes
3answers
55 views

Triangle inequality in $L^p$

Consider $f_n$ as sequence of non negative functions and $f_n \in L^p(\mu),\: 1 \leq p < \infty$. I want to prove that the following holds: $$\| \sum_{k=1}^{\infty} f_k\|_p \leq \sum_{k=1}^{\infty}...
1
vote
2answers
59 views

What set $Y$ that $C_{c}(U) \subset Y$ and $Y$ separable w.r.t. $\vert \vert \cdot \vert \vert_{\infty}$

Let $U \in \mathbb R^{d}$ open and further $C_{c}(U)$ be the space of functions with compact support. Show that $C_{c}(U)$ is separable w.r.t. $\vert\vert \cdot \vert \vert_{\infty}$, and I have been ...
0
votes
0answers
18 views

How to notate a function that's restricted to L² (or any space) in only some of its arguments?

What's the proper notation to indicate that a function is restricted to a particular space in only some of its arguments? For example, in non-relativistic quantum mechanics for one particle in the ...
1
vote
2answers
54 views

Are these $ L^2 $ norms equivalent?

Could anyone help me to prove that these two norms are equivalent? The norms are $$\Vert \nabla^{2} f\Vert_{L^{2}} $$ and $$ \Vert\Delta f\Vert_{L^{2}}.$$ Maybe it is possible to prove using the ...
0
votes
1answer
24 views

Bartle 6.K elements of integration

I have a question about an equality of the expoents we are asked to show. The book states: $||f||_r <= ||f||_p * \mu (X)^s$ where $s=1/r - 1/p$ when $\mu (X) < \infty $ The thing is when using ...
0
votes
0answers
64 views

Properties of $L^2$ norm

Does the following inequality hold in $L^{2}$ space? $$‎ \left\lVert \sum_{‎i=1}^{‎N}‎‎\int_{0}^{t} ‎‎f_{i}(t)dt\right\rVert^{2}_{L^{2}}\leq C\sum_{‎i=1}^{‎N}‎‎ \left\lVert\int_{0}^{t} ‎‎f_{i}(t)dt\...
0
votes
1answer
28 views

Trouble with Holder Inequality Gymnastics: $\left(\int fg^{q}\right)^{r-p}\leq\left(\int fg^p\right)^{r-q}\left(\int fg^r\right)^{q-p}.$

$\textbf{The Problem:}$ Let $f$ and $g$ be nonnegative and measurable and $0<p<q<r<\infty$. Prove that $$\left(\int fg^{q}\right)^{r-p}\leq\left(\int fg^p\right)^{r-q}\left(\int fg^r\...