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 classes of measurable functions such that $|f|^p$ is $\mu$-integrable. Questions can be about properties of functions in these spaces, or when the ambient space in a problem is an $L^p$ space.
5,707
questions
0
votes
0
answers
15
views
estimation of different $L^p$ norms [closed]
I am wondering if it is possible to find a constant $C=C(p,T)$ such that
$\mathbb E[\int_0^T|Y_t|^p\mathrm{d} t]\le C(p,T) \mathbb E[\sup_{t\in [0,T]}|Y_t|^2],$
where $p>1$, $T$ some finite time ...
4
votes
1
answer
81
views
weak convergence and pointwise implies $L_p$ convergence
Suppose $f_i \to f$ weakly in $L^p(X, M, \mu)$, $1 < p < \infty$, and that $f_i \to f$ pointwise $\mu$-a.e. Prove that $f_i^+ \to f^+$ and $f_i^- \to f^-$ weakly in $L^p$.
My proof:
Since $f^\pm ...
0
votes
1
answer
71
views
How do we know the dual pairing between Lp spaces is well defined? [closed]
Let $(\Omega, \mathcal{A}, \mu)$ be a measure space and let $X \in L^p(\Omega, \mathcal{A}, \mu)$ and $Y\in L^q(\Omega, \mathcal{A}, \mu)$. Then the dual pair betweent these spaces is defined as $\...
-2
votes
0
answers
49
views
Limits of functions in $L^p$ spaces and Hölder inequality
I have a severe problem understanding $L^p$ spaces and everything related. For example, see my thoughts on the following exercise:
Let $f_n \in L^1(0,1) \cap L^2(0,1)$ for $n = 1, 2, 3, \ldots$ and ...
-1
votes
0
answers
26
views
Why are limits of $L^p$ sequences defined almost surely? [closed]
I have heard it said that if a sequence of random variables $\{X_n\}$ converges in $ L^p $, then it converges to a limit $ X $ that is defined almost surely. I am trying to understand the precise ...
1
vote
3
answers
98
views
Show that the linear functional is unbounded in $C_{00}$. defined as $T$ is defined as $T(x)=\sum_{n=1}^{\infty} \frac{x_n}{\sqrt{n}},$
Given a linear functional $T: C_{00}\to C_{00}$. Where $C_{00}$ is space sequences with finitely many non-zero terms with $\ell_2$ norm.
$T$ is defined as $$T(x)=\sum_{n=1}^{\infty} \frac{x_n}{\sqrt{n}...
1
vote
2
answers
119
views
Prove that $T$ is not a compact operator.
Let $T:\ell_{2}(\mathbb{Z})\rightarrow \ell_{2}(\mathbb{Z})$ be the operator defined by,
$$T((x_i)_{i\in \mathbb{Z}})=((y_i)_{i\in \mathbb{Z}}).$$
where
$$
y_{j}=\frac{x_{j}+x_{-j}}{2}, \quad j \in \...
0
votes
1
answer
53
views
$ L^p ( X ) \cap L^{\infty}( X) $ is a Banach space with respect only to the $p$-norm $\| \cdot \|_p$, $p<\infty$?
The space $𝐿^𝑝(𝑋) \cap 𝐿^\infty(𝑋)$, $p<\infty$, with the norm $||𝑓||_{𝐿^𝑝 \cap 𝐿^\infty}=||𝑓||_𝑝+||𝑓||_\infty$ is a Banach space. I imagine that if we remove the norm $||𝑓||_\infty$ ...
3
votes
1
answer
67
views
Eliminating Neumann boundary condition for elliptic PDE
In his PDE book, Evans demonstrates that for elliptic PDEs with Dirichlet boundary condition, the boundary term can be eliminated:
I am now wondering if this also works with Neumann boundary ...
1
vote
2
answers
235
views
Is there a smooth function, which is in $L^1$, but not in$L^2$? [closed]
I am studying measure theory. While going over $L^p$-spaces I asked myself, whether there is $f\in C^\infty(\mathbb{R})$ s.t. $f\in L^1(\mathbb{R})\setminus L^2(\mathbb{R})$? I assume there could be ...
0
votes
0
answers
36
views
Spectrum of the laplacian outside of a compact
Let us consider $A$ a translation invariant lower semi-bounded operator on $L^2(\mathbb{R}^n)$ with domain $D(A)$ and with empty discrete spectrum (I exclude bound states). I have the following ...
2
votes
0
answers
32
views
Linear Analysis – Examples 1-Q5 General $l^p$ spaces vs $l^1, l^\infty$
Let $1<p<\infty$, and let $x$ and $y$ be vectors in $l_p$ with $\left \|x \right \|=\left \|y \right \|=1$ and $\left \|x +y \right \|=2$, how to prove $x=y$?
I know how to prove for $p=2$ ...
0
votes
0
answers
14
views
Equivalence of Fourier Transform on $\ell_2(\mathbb{Z}_+)$ and $L_2(\mathbb(R)_+)$ via equivalence of $H_p( \mathbb{D})$ and $H_p(\mathbb{C}_+)$?
Throughout I'll use the fact that the Hardy space $H_2$ is the set of $L_2$ functions on the boundary with vanishing Fourier coefficients.
We know that the Fourier Transform is an isometric ...
0
votes
0
answers
38
views
Weighted $L^2$ space on Torus.
I'm studying weighted $L^2$ spaces in the circle $[0,2\pi]$
Definition 1
A weight is a function $w\colon [0,2\pi]\to \mathbb{R}^+$ (non negative)
Definition 2 The weighted $L_w^2([0,2\pi])$ is defined ...
1
vote
1
answer
47
views
What justifies the use of global coordinates when computing the $L^p(\mathbb{T}^n)$ norm?
Consider the $n$ dimensional torus $\mathbb{T}^n$. The $L^p$ spaces over $\mathbb{T}^n$ is defined as consisting of an equivalence class of functions satisfying:
$$\int_{\mathbb{T}^n}|f|^p < \infty....
0
votes
0
answers
19
views
Weighted inequality on torus
In the Torus (circle). Let $[0,2\pi]\to\mathbb ]0,\infty[\colon \theta\mapsto w(\theta)$ a weight function, i.e. nonnegative and integrable on $[0,2\pi]$. If $\mathbb{Z}\to\mathbb{R}\colon k\mapsto m(...
3
votes
1
answer
75
views
What is wrong with this proof that a linear, bounded, time invariant operator on $L_p$ must be a convolution?
I'm trying to understand if this is true and how to prove it, "If $T$ is a bounded, time invariant operator on $L_p(\mathbb{R})$, then $T$ is a convolution operator.''
Here's an attempt at a ...
0
votes
0
answers
26
views
Is there a Hilbert space of Henstock–Kurzweil square-integrable integrable functions?
As is well-known, the space of square-integrable functions (say, on $[0,\,1]$) where the integral is a Riemann integral is not complete. If one completes it, one obtains the $L^{2}([0,\,1])$ Hilbert ...
3
votes
2
answers
92
views
Limit depending on parameter and $L^1$ function
What is the $\lim_{n\to\infty} n^a\int_0^1 \frac{f(x)dx}{1+n^2x^2}$ depending on $a\in\mathbb{R}$, if $f\in L^1(0,1)$?
By Banach-Steinhaus theorem I deduced that the limit is zero for $a\leq 0$, but I ...
0
votes
0
answers
27
views
Auxiliar inequality for Rellich-Kondrachov theorem
To prove the Rellich-Kondrachov Theorem it is used the following statement
If $u\in W^{1,1}(\Omega)$, with $\Omega \subset \mathbb{R}^N$ open, bounded and s.t. $\partial \Omega$ is $C^1$, then $||\...
1
vote
2
answers
106
views
$L^{\infty}$ (uniform) decay of Dirichlet heat equation $u_t=\Delta u$
Let $\Omega$ be a smooth bounded open subset of $\mathbb{R}^N$. Consider the following initial-boundary value problem for the heat equation:
\begin{equation}
\begin{cases}
u_t=\Delta u\quad\quad\quad\;...
1
vote
0
answers
17
views
Does the sequence of bounded symmetric square integrable holomorphic functions have a convergent subsequence?
Let $f$ be a bounded holomorphic function on $\mathbb D^2$ and $s : \mathbb C^2 \longrightarrow \mathbb C^2$ be the symmetrization map given by $s(z) = (z_1 + z_2, z_1 z_2),$ for $z = (z_1, z_2) \in \...
1
vote
0
answers
36
views
Is the set of $L^2([0,1])$ functions $g$ s.t. $g\circ \psi = f\circ \phi$ for fixed $f\in L^2$ and some $\phi_*(dx)=dx, \psi_*(dx)=dx$ closed?
Consider the $L^2$ space for the Lebesgue measure $dx$, i.e., the set of functions $f:[0,1]\to \mathbb{R}$ such that $\int_{0}^{1}|f(x)|^2dx<\infty$. Fix one function $f\in L^2$ and the space of $...
0
votes
1
answer
34
views
$L_p$ inequality for measurable sets
Let $(U,\mu)$ a finite and positive measure space, and $1\leq p<\infty$. Suppose that for every $\varepsilon$ and measurable subset $A\subset U$, there exists a measurable subset $B\subset U$ such ...
0
votes
0
answers
27
views
Measurability of $\int_\Omega \varphi(x)u(t,x) \mathrm{d}x$ for $\varphi \in L^1(\Omega)$ and $u$ in a Bochner space
I have a function $u \in L^\infty((0,\infty), L^\infty(\Omega))$ where $\Omega$ is a bounded domain. Take $\varphi \in L^1(\Omega)$ and consider
$$f(t) := \int_\Omega \varphi(x)u(t,x) \mathrm{d}x.$$
...
2
votes
1
answer
54
views
How to interpret $L^2$ norm for functions from $[0,T]\to\mathbb{R}^n$?
I have a function $\alpha \in L^2(0,T;A)$ where $A\subseteq \mathbb{R}^n$.
I understand what it means when $A= \mathbb{R}$, i.e.
$$\Bigg(\int_0^T|\alpha(t)|^2dt\Bigg)^{1/2}<\infty$$
If $A\subseteq \...
1
vote
2
answers
49
views
$L^\infty(\Omega)$ is dense in $L^{p,\infty}(\Omega)$ if $\Omega$ is compact
Given a compact set $\Omega\subset \mathbb{R}^N$, I am wondering if $L^\infty(\Omega)$ is dense in the weak $L^p$ space $L^{p,\infty}(\Omega)$ with $1< p<\infty$ (see here the definition).
I ...
3
votes
1
answer
167
views
A problem in L1 space
Problem: Let $(X, \mathcal{A}, \mu)$ be a measure space. Let $f: X \to [0, \infty)$ be measurable. Then define the set $$A_f = \left\{g \in L^1 (\mu)\ |\ |g| \leq f\mbox{ a.e.} \right\}.$$
Prove the ...
1
vote
1
answer
51
views
Weakly sequentially closed set in $L^p$
Let $\Omega\subset \mathbb{R}^n$ be bounded and Lebesgue measurable, $p \in [1,\infty]$, and $a,b \in L^p(\Omega)$. Consider the set
$$
K = \big\{ u \in L^p(\Omega):\, a(x) \leq u(x) \leq b(x) \, \...
0
votes
1
answer
31
views
A Multiplication operator in a Hilbert space: $M_h$ is bounded and $||M_h|| \leq || h||_{\infty}$ [duplicate]
I'm trying to understand the example below, taken from Axler's Measure Integration and Real Analysis book.
How does one prove that $M_h$ is bounded and that $||M_h|| \leq || h||_{\infty}$?
I was ...