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

0
votes
1answer
27 views

Suppose $X_n \to_{p} X$, if $\limsup_n E|X_n|^r \leq E|X|^r$, how can I show that $X_n \to_r X$?

If I have that $X_n \to_p X$ (convergence in probability), and if $\limsup_n E|X_n|^r \leq E|X|^r$ for all $r \geq 1$, how can I show that $X_n \to_r X$ (this means $L^{r}$ convergence)? My goal is to ...
0
votes
0answers
17 views

$f_k\rightarrow g$ in $L^p(\mathbb{R}^n)$ and $f_k\rightarrow h$ in $L^r(\mathbb{R}^n)$, then $g=h$ $a.e.$ in $\mathbb{R}^n$

If $f_k\in L^p(\mathbb{R}^n)\cap L^r(\mathbb{R}^n) $ for some $p,r\in [1,\infty), f_k\rightarrow g$ in $L^p(\mathbb{R}^n)$ and $f_k\rightarrow h$ in $L^r(\mathbb{R}^n)$, then $g=h$ $a.e.$ in ...
0
votes
0answers
19 views

Integral inequality $L^p$ spaces

I'm trying to solve this problem: Let $1<p<\infty$. Then let $f:(0,\infty)\to [0,\infty]$ a measurable non negative function. It's true the following inequality: $$\int_0^\infty ( ...
1
vote
3answers
34 views

Justify or provide counterexamples [on hold]

Justify or provide counterexamples $(i)$ If $f \in L^1[0,\infty)$ and $f\geq0$ then $\lim\limits_{x\rightarrow\infty}{f(x)}=0$ $(ii)$ If $\lim\limits_{x\rightarrow\infty} f(x)=0$ and $f\geq0$ on ...
0
votes
1answer
31 views

Showing that $(G' \circ u)u' \in L^p(I)$ where $G \in C^1(\mathbb{R})$ and $u \in W^{1,p}(I)$

I am trying to prove the rule of differentiation of a composition for weak derivatives in Sobolev spaces following the proof given in Corolary 8.11 in Functional Analysis, Sobolev Spaces and Partial ...
0
votes
1answer
23 views

Some insight about this integral limit

Given $u:\mathbb{R}^N \rightarrow \mathbb{R}$ is continuous and has compact support, we define the set $$K_u: = \{x\in \mathbb{R}^N : u(x) = \|u\|_\infty\}.$$ Looking at the following limit ...
1
vote
0answers
34 views

banach space bigger than $L^p$

we know that $L^p$ is banach space for any $p\geq 1$. My question: Is there any other banach space that is bigger than $L^p$?. In fact, I have an exercice that I don't have any idea: prove that ...
0
votes
1answer
29 views

Maple plot the $l^p$ balls: $\{(x,y) \mid |x|^p + |y|^p \le 1\}$ for $p = 1,…,10$

I have been asked to construct this plot in maple for an analysis assignment. I have been given no other instructions on how to do this. I am not familiar at all with defining or plotting these kinds ...
1
vote
2answers
35 views

Measure Theory and $L^{p}$ spaces

I have the two following very simple questions regarding measure theory that I want to show: If $f \in L^{p}(X, \mathcal{M}, \mu)$ for $1 \leq p < \infty$, then $f < \infty$ $\mu$-almost ...
2
votes
0answers
22 views

Multiplier operators on anisotropic weighted $L^2$ spaces

Suppose $\mathcal{M}$ is a multiplier operator on $L^2(\mathbb{R})$, in the sense that, for any $u(x)\in L^2(\mathbb{R})$, $\widehat{\mathcal{M}u}(k)=m(k)\hat{u}(k),$ where the scalar complex function ...
1
vote
1answer
30 views

Let $f \in L^{1}([0,1])$ be a real valued function. Prove the following

Let $f \in L^{1}([0,1])$ be a real valued function. Prove the following $1) x^k f(x) \in L^1([0,1])$ for all $k\in \mathbb{N}$ $2) \lim_{k\rightarrow\infty}\int_{0}^{1}x^k f(x) dx = 0$ $3)$ If ...
1
vote
1answer
22 views

Prove $F$ is in $L^1$

This is an old qualifier exam question at my school Let $f \in L^{1}([0,\infty))$ and for $x\geq 0$, define $F(x) = \int_{(x,\infty)} f(t) e^{x-t} dm(t) $ Show that $F \in L^{1}([0,\infty))$ The ...
0
votes
0answers
27 views

Prove $E(|X+Y|^p)\geq E(|X|^p)$ for $E(Y)=0,~X\in L^p$ where $X, ~Y$ independent r.v. [closed]

Let $(\Omega, \mathcal{F},P)$ be a probability space and assume that $X, Y$ are continuous, real valued, independent random variables on $\Omega$, with probability density functions $f_X$ and $f_Y$ ...
-1
votes
1answer
37 views

can you prove this theorem An introduction to wavelet Analysis? [closed]

Definition. The sequence $\{f_n(x)\}$, $n\in \mathbb{N}$ defined on an interval $I$ converges in mean-square to the function $f(x)$ on $I$ if $\lim_{n\to \infty} \int_I {|f_n(x)-f(x)|}^2\, dx =0$. We ...
1
vote
1answer
41 views

$\left\|f\right\|_{L^1(μ_1)}<∞$ $μ_2$-a.e.,$\left\|f\right\|_{L^1(μ_2)}<∞$ $μ_1$-a.e. $⇒$ $\left\|f\right\|_{L^1(μ_1\otimesμ_2)}<∞$

Let $(\Omega_i,\mathcal A_i,\mu_i)$ be a $\sigma$-finite measure space and $f:\Omega_1\times\Omega_2\to\mathbb R$ be measurable with respect to $\mathcal A_1\otimes\mathcal A_2$. Can we conclude, that ...
1
vote
0answers
35 views

Prove that this function is in $L^\infty$ with $\lVert g\rVert_\infty \le C$.

My professor used the following lemma in the proof that $L^1(X,\mu)^* = L^\infty(X,\mu)$ but left the proof as an exercise. Lemma. Assume that $(X,\mathcal A, \mu)$ is a measure space and $g \in ...
1
vote
1answer
47 views

Properties of mollification

We have this theorem For any $1\le p<\infty$ and $f\in L^p(\mathbb{R}^k)$, then $\|f*\phi_\delta - f\|_p\to 0$ as $\delta\to0$, where $\phi$ is any nonnegative measurable function on ...
1
vote
1answer
25 views

I do not understand a point in the proof of completness of $L^{\infty}$

do not understand a point in the proof of completness of $L^{\infty}$. I have this proof. We consider the sets $$A_{n,m}=\{x\in E:|f_{n}(x)-f_{m}(x)\|\leq\|f_{n}-f_{m}\|_\infty\}$$ for all ...
-1
votes
0answers
27 views

Let $f(x)=e^{-x^2}, x \in \mathbb R, $ $g(x)=e^{ix^{2}}.$ Is $g\ast f \in L^{p}$? [closed]

Let $f(x)=e^{-x^2}, x \in \mathbb R, $ and $g(x)=e^{ix^{2}}, x\in \mathbb R.$ Clearly $f\in L^{p}(\mathbb R), (1\leq p \leq \infty).$ My Question is: Is it true that: $g\ast f \in L^{p}(\mathbb ...
0
votes
1answer
39 views

Show that $(\int\left(\sum_k|f_k|\right)^p)^{1/p}\le\int(\sum_k|f_k|^p)^{1/p}$

How to show that $(\int\left(\sum_k|f_k|\right)^p)^{1/p}\le\int(\sum_k|f_k|^p)^{1/p}$, or is it not true in general ? $\{f_k\}\subset L^p, G_n=\sum_1^n|f_k|$, I think $|G_n|_p$ is the sum above ...
-1
votes
0answers
46 views

Prove that $ \mathcal l^1$ is a subset of $ \mathcal l^2$ [closed]

As in the title, looking for a proof that $ \mathcal l^1 \subseteq \mathcal l^2 $ (and also $ \mathcal l^1 \subsetneq \mathcal l^2 $ )
1
vote
2answers
35 views

Does the function $f(x)=\frac{1}{\sqrt x}$ belong to $L^p( \mathbb N , P(\mathbb N), \mu),p=1,2,\infty?$

Does the function $f(x)=\frac{1}{\sqrt x}$ belong to $L^p( \mathbb N , P(\mathbb N), \mu),p=1,2,\infty?$ $\mathbb N$- set of natural numbers, $P(\mathbb N)$- the partitive set of natural numbers. I ...
0
votes
2answers
38 views

Definition of $L^p$ norm of a vector-valued function

If $u$ is a vector the definition of the discrete norm will be $$\|u\|_{l^p}=(\sum |u_i|^p)^{1/p},$$ If $u$ is a function, $$\|u\|_{L^p}=\left(\int|u|^p\right)^{1/p}$$ But when $u$ is a vector-valued ...
2
votes
1answer
51 views

Given that $f_n \to f$ in $L^1(\Omega)$, $\mu(\Omega )=1$ and $ \|f_n\|_2^2 \leq M$, show $ \|f\|_2^2 \leq M$.

Given that $$\int_{\Omega} |f_n -f | \, d \mu \to 0,$$ $\mu(\Omega )=1$ and $ \|f_n\|_{L^2}^2 \leq M$, show $ \|f\|_{L^2}^2 \leq M$. Attempt: Note first that $f_n \in L^1(\Omega)$ since $$\|f_n ...
4
votes
1answer
47 views

uniform boundedness principle for $L^{1}$

i read this theorem from V.I.Bogachev vol 1 Measure Theory. A family $\mathcal{F}\subset L_{1}(\mu)$,where the measure $\mu$ takes values in $[0,+\infty]$, is norm bounded in $L_{1}(\mu)$ precisely ...
2
votes
1answer
43 views

about a product of random variables that converges weakly

Let $(\Omega,\mathcal{F},P)$ be a probability space. Suppose $f_n,g_n, n\in \mathbb{N}$ are sequences of functions on this space such that their product $f_ng_n$ converges weakly in $L^2$ to $h$, say. ...
2
votes
0answers
35 views

If a sequence of functionals converges weakly then it is bounded.

Let $f_k, f \in L^{\infty}(R)$ and $f_k \overset * \to f$ in $L^{\infty}(R)$. Is $f_k$ a bounded sequence in $L^{\infty}(R^n)$? (Definition: if $(v_n)$ is a sequence in $V = X^*$, we say that $v_n ...
0
votes
1answer
31 views

Does the weak divergence exist for each $\mathcal L^2(\Omega;\mathbb R^d)$-function?

Let $\Omega\subseteq\mathbb R^d$ be open. $v:\Omega\to\mathbb R$ is called weak divergence of $u:\Omega\to\mathbb R^d$ $:\Leftrightarrow$ $$\int_\Omega v\varphi\;{\rm d}\lambda=-\int_\Omega\langle ...
1
vote
1answer
16 views

If $u\in L^p(\Omega;\mathbb R^d)$, then $u_i\in L^p(\Omega)$ for all $i\in\left\{1,\ldots,d\right\}$. Does the reverse hold true?

Let $\Omega\subseteq\mathbb R^d$ and $u:\Omega\to\mathbb R^d$ be Borel measurable. Since $$|u_i|\le\left\|u\right\|_2\;\;\;\text{for all }i\in\left\{1,\ldots,d\right\}$$ we obtain ...
3
votes
1answer
33 views

Which assumptions on $Ω\subseteq\mathbb R^d$ do we need in order to show density of $C_c^∞(Ω)$ in $(L^p(Ω),\left\|\;\cdot\;\right\|_{L^p(Ω)})$?

Let $\Omega\subseteq\mathbb R^d$, $u\in\mathcal L^1(\Omega)$ and $$u_\varepsilon(x):=\frac 1{\varepsilon^d}\int_\Omega\rho\left(\frac{x-y}\varepsilon\right)u(y)\;{\rm d}\lambda(y)\;\;\;\text{for ...
0
votes
1answer
50 views

$x \cdot y \in L^1((a,b))$ for all $x \in L^1((a,b))$ implies $y \in L^{\infty}((a,b))$

If the integral of $x(t) \cdot y(t)$ on the interval $(a,b)$ converges for all $x \in L^1(a,b)$ then $y$ must be in $L^{\infty}(a,b)$, that is $\text{supess}|y|< inf$? Idea is to use Banach ...
2
votes
0answers
25 views

subset of L2 is precompact [closed]

I'm trying to prove that subset X of space $\mathcal L^2(a,b)$ is precompact if and only if $\forall \varepsilon>0$ $\exists \delta = \delta(\varepsilon)>0$ that $\forall$ $h, |h|<\delta$ ...
2
votes
1answer
40 views

Using Nash inequality to derive an inequality (from proof in paper)

We work on a domain $\Omega \subseteq \mathbb{R}^N$ with the Dirichlet Laplacian. Let $\lVert \cdot \rVert_p$ denote the $L^p$ norm. I am trying to understand why the following inequality is true: ...
1
vote
1answer
39 views

Measure Theory on integrals

Is it true that if $f\in L^1 (X,\mu)$ then $$\int_E |f| d\mu +\int_{E^c} |f| d\mu = \int_X |f| d\mu?$$
0
votes
2answers
117 views

Sequence in $l^p$ but not $l^q$ for all $q<p$

I need to find a sequence for real $p>1$ so it is in $l^p$ but not in any of the space $l^q$ with $1 \leq q <p$. I tried the sequence $(1/n)^{1/q}$ which is in $l^p\setminus l^q$. However, this ...
2
votes
0answers
29 views

A question about general Marcinkiewicz interpolation theorem

The general Marcinkiewicz interpolation theorem states as following: If $T$ is a linear operator of weak type $(p_0,q_0)$ and of weak type $(p_1,q_1)$ where $q_0\neq q_1$, then for each ...
4
votes
1answer
56 views

Prove that $X_n \to X$ in $L^1$ if and only if $E(X_n1_{A}) \to E(X1_{A})$ uniformly on $A \in \mathcal{F}$

This is a probability exercise from the Karr's book called "Probability". Prove that $X_n \overset{L^1}{\rightarrow} X$ if and only if $$\sup_{A \in \mathcal{F}} \left|E(X_n1_{A}) - ...
2
votes
1answer
49 views

What is the relation between $L^p([0,1])$ and the weak topology?

In my course of functional analysis, we always work with a Hausdorff locally convex space when we're creating the weak* and weak topology. My professor once stated that there is a reason for this ...
0
votes
1answer
14 views

Norm of pointwise product of Lp functions

Does the following inequality hold in $L_p$ spaces? $\|fg\|_p\leq\|f\|_p\|g\|_p$ How would I go about proving this? Do I need to apply Cauchy Schwarz?
8
votes
2answers
87 views

$(f_n)$ in $L^p(\Omega)$ satisfying $f_n(x) \to f(x)$ a.e. and $\|f_n\|_p \to \|f\|_p$, then $\|f_n - f\|_p \to 0$?

Let $1 < p < \infty$. If $(f_n)$ is a sequence in $L^p(\Omega)$ satisfying $f_n(x) \to f(x)$ a.e., $\|f_n\|_p \to \|f\|_p$, then does it follow that $\|f_n - f\|_p \to 0$? Edit. Here is my ...
1
vote
1answer
23 views

Difference between $C(\bar{D})$ and $L^\infty(D)$?

Let $D$ be an open and bounded set in $R^d$ with Lipschitz boundary. Denote by $C(\bar{D})$, the space of continuous functions $f : \bar{D} → R$. When equipped with the supremum norm ...
3
votes
1answer
33 views

$l^\infty$ equal to space of all sequence for which inner product with $l^1$ exists?

I know that the sequence space $l^\infty$ is equal to the dual of $l^1$ with respect to the $\|\cdot\|_1$ norm. But do we also have, that $$ l^\infty = \{f \in \mathbb R^{\mathbb N} \mid ...
0
votes
2answers
287 views

Find a sequence in $l^p$ but not in $l^q$, where $q < p$

I'm trying to find a sequence that is in $l^p$ but not in $l^q$, where $q < p$. Can anyone help?
1
vote
0answers
17 views

Approximation theory in Lp spaces (Reference Needed)

I am looking for some reference on approximation theory in Lp spaces. I have found a number of papers like: paper1 , paper2 etc. I was wondering if there is a book or a monograph that will contain ...
1
vote
0answers
49 views

approximations in lp spaces

If $f$ is a bounded measurable function, then, on every ball, the functions $f*\rho_{\epsilon}$ converge to $f$ in the mean and in measure. This corollary is from V.I.Bogachev, page 253 volume 1. I ...
0
votes
1answer
23 views

Convergence of Schwartz functions

I am proving or disproving the following statement: Let $f_n$ be a sequence of Schwartz functions in $\mathbb R^d$, such that $f_n$ converges to 0 uniformly. Is it true that $f_n$ converges to 0 in ...
3
votes
1answer
25 views

Proving that $x^{\alpha}(1+\Vert x\Vert^{2})^{-k}$ belongs to $L^{2}(\mathbb{R}^{n})$

Let $\alpha\in\mathbb{N}^{n}$ be a multi-index, i.e. $\alpha=(\alpha_{1},\dots,\alpha_{n})$ such that $x^{\alpha}:=\prod_{i=1}^{n}x^{\alpha_{i}}_{i}$. The modulus of a multi-index is defined as the ...
1
vote
1answer
37 views

Lp spaces (Hölder, Minkovski)

Let $1<p<\infty$ and $f\in L_p(0,\infty)$. Show that $$\lim_{x\to\infty}\frac{1}{x^{1-\frac{1}{p}}}\int_0^x f(t)dt=0$$ by assuming that f is compactly supported. Any idea so it can help me how ...
0
votes
1answer
21 views

Is a $C^2$ representative unique in $L^2([0,1])$?

I am reading a paper that deals with the solution for the Sturm-Liouville problem's uniqueness of solutions by defining an operator $K$: $$K:L^2([0,1]) \to L^2([0,1])$$ $$f \hspace{0.5cm} ...
0
votes
3answers
63 views

Showing that sequences such that $\sum_{n=1}^\infty {x_n\over n} =1$ form a closed subset of $l^2$

Let $H= \left\{(x_n)\in\ell^2 : \sum_{n=1}^\infty {x_n\over n} =1\right\}$ I need to show that H is closed in $l^2$. then, it is sufficient to show that, closure of H $\subseteq$ H. let ...