0
votes
3answers
55 views

$f, f'\in L^{1}(\mathbb R) \implies \lim_{x\to \infty} f(x)=0 ?$

Suppose $f\in L^{1}(\mathbb R) $ and $f'\in L^{1}(\mathbb R).$ My Question is: Can we show, $\lim_{x\to \infty} f(x)=0$ ? Thanks,
0
votes
1answer
21 views

If a function $F$ belongs to mixed Lebesgue space $L^{p,1}$, does its reflection $G(x,y):=F(y,x)$ also lie in the space?

Let $F:\mathbb R^{2}\to \mathbb C$ be a function. Suppose $F\in L^{p,1}(\mathbb R \times \mathbb R); (1<p< \infty).$ Define $G:\mathbb R^{2}\to \mathbb C$ as follows: $$G(x,y):=F(y,x)$$ My ...
2
votes
1answer
31 views

composition of $L^{p}$ functions

Suppose $f, g\in L^{p}(\mathbb R), (1\leq p < \infty).$ For simplicity, let us assume that, $g,f:\mathbb R\to \mathbb R$ so that composition of $f$ and $g$, namely, $f\circ g(x)= f(g(x)); (x\in ...
1
vote
1answer
49 views

Uniform Boundedness Principle for $L^p( \mathbb{R})$

Suppose $\{f_n\}$ is a sequence in $L^p$ such that for each $g\in > L^q$, the sequence $\{\int f_n g\}$ is bounded. Then $\{f_n\}$ is bounded in $L^p$. $(1\leq p<\infty)$ Proof: Argue by ...
0
votes
0answers
35 views

weak convergent sequence in $L^p(\mathbb{R})$ with $(1\leq p < \infty)$ implies norm is bounded

$f_n \rightharpoonup f$ in $L^p(\mathbb{R})$ with $(1\leq p <\infty)$ implies $||f_n||_p$ are bounded. And for $p = \infty$, if $f_n \xrightarrow{w^*} f$, then $||f_n||_\infty$ are ...
4
votes
2answers
59 views

$\sin(nx)$ does not contain Cauchy subsequence in $L^p([0,2\pi]) $ for $1\leq p < \infty$

$\sin(nx)$ does not contain Cauchy subsequence in $L^p([0,2\pi]) $ for $1\leq p < \infty$ My attempt: Set $f_n(x) = \sin(nx)$. Argue by contradiction, suppose there exists a Cauchy ...
9
votes
1answer
63 views

There is no continuous mapping from $L^1([0,1])$ onto $L^\infty([0,1])$

There is no continuous mapping from $L^1([0,1])$ onto $L^\infty([0,1])$. Proof: suppose $T:L^1 \rightarrow L^\infty$ continuous and onto. $L^1$ is separable, let $\{f_n\}$ be a countable dense ...
2
votes
1answer
29 views

Show that $S = \{f \in L^1(\mathbb{R}) \mid \int_{\mathbb{R}}f dm = 0\}$ is closed in $L^1(\mathbb{R})$.

This should be a relatively easy question, but I can't seem to figure it out. I want to show that $S = \{f \in L^1(\mathbb{R}) \mid \int_{\mathbb{R}}f dm = 0\}$ is closed in $L^1(\mathbb{R})$. As ...
0
votes
1answer
33 views

Dense subset of $L^{2}$ such that $x^{-1/2}f \in L^{1}$ and $\int_{[0, 1]}x^{-1/2}f\, dx = 0$

Does there exist a dense set of functions $f \in L^{2}([0, 1])$ such that $x^{-1/2}f(x) \in L^{1}([0, 1])$ and $\int_{0}^{1}x^{-1/2}f(x)\, dx = 0$? I've noticed that $\int_{0}^{1}x^{-1/2}f(x)\, dx = ...
0
votes
2answers
47 views

Integrable function with given condition is in $L^p$

Suppose $f:\Bbb R \to \Bbb R$ is integrable and there exist constant $c\gt 0$ and $\alpha \in (0,1)$ such $$\int_A |f(x)|dx\le cm(A)^\alpha$$ for every Borel measurable set $A\subset \Bbb R,$ where ...
1
vote
2answers
49 views

Showing a sequence is in $\ell^2$ [duplicate]

I am working on the following problem. Suppose that $\{a_j\}_{j=1}^{\infty}$ is a sequence with the property that, whenever $\{b_j\}_{j=1}^{\infty} \in \ell^2$, one has ...
2
votes
2answers
56 views

Is a $L^1$-function which is linear near the origin in $L^p$?

Suppose you have a function $f$ on $\mathbb{R}$, such that $$\int_{-\infty}^{\infty} | f(x) | \, \mathrm{d} x < \infty$$ and $$\int_{-u}^u |f(x)| \, \mathrm{d} x = \mathcal{O}(u)$$ for $u \to 0$. ...
4
votes
1answer
84 views

Proof that $(L^1)\neq(L^\infty)^\ast$

I have seen a "proof" that $L^1\neq(L^\infty)^\ast$ which goes as follows: show that there is an element of $(L^\infty)^\ast$ which is not in the image of the canonical map ...
2
votes
1answer
45 views

Maximum value of a mapping on a compact subset of $\ell^{2}$

Let $A = \{x \in \ell^{2}: \sum_{n = 1}^{\infty}n|x_{n}|^{2} \leq 1\}$. What is the largest value $\frac{1}{2\pi}\int_{0}^{2\pi}\left|\sum_{n = 1}^{\infty}x_{n}e^{in\theta}\right|\, d\theta$ can take ...
2
votes
1answer
39 views

Limit of the p-norm of a function on subdomains equals the p-norm of the function on the union domain

Let $\Omega$ be an open subset in $\mathbb{R}^n$. Given a measurable function $f$, define $$ ||f||_{p,\Omega}=\inf_{a\in\mathbb{R}}||f-a||_{L^p{(\Omega})}. $$ Let $\{\Omega_n\}$ be a sequence of open ...
1
vote
1answer
34 views

Prove this inclusion: $\bigcup_{k<p}\ell^k\subsetneq\ell^p$

Let $1<p<\infty$. I have to prove that $$ \bigcup_{k<p}\ell^k\subsetneq\ell^p. $$ I am not able to find a counterexample to prove the inequality.
3
votes
1answer
32 views

The existence of conditional expectation with respect to a sub-$\sigma$-algebra

I was trying to solve the exercise 3.17 from the book of real analysis by Folland and I've found a problem. The first part of the exercise is the following: Let $(X, M, \mu) $ be a $\sigma$-finite ...
3
votes
1answer
65 views

Weak convergence $f_n \rightharpoonup f$ in $L^2(\mathbb{R})$ and $f_n^2 \rightharpoonup g$ in $L^1(\mathbb{R})$ implies $f^2\leq g$ a.e.

$f_n \rightharpoonup f$ in $L^2(\mathbb{R})$ and $f_n^2 \rightharpoonup g$ in $L^1(\mathbb{R})$, then $f^2\leq g$ a.e. Could you guys help me check the proof please, thanks! Proof: to show $f^2 ...
0
votes
1answer
38 views

Canonical inclusion $L^q(0,1) \to L^p(0,1)$ is compact?

Does there exist $q>p$ such that the canonical inclusion $L^q(0,1) \to L^p(0,1)$ is compact? My answer is no. Since we know that $L^\infty (0,1) \to L^p(0,1)$ is not compact, take $\{\sin(nx)\}$ ...
2
votes
1answer
41 views

Questions about $L^p$ spaces and convergences

I would like to sort out the relations for strong/weak convergences for $L^p(X)$ mainly between $[p=1; p>1]$ and $[\mu(X) <\infty ; \mu(X) = \infty]$ For the purpose of strong/weak ...
0
votes
0answers
42 views

Given $f_n \rightarrow f$ a.e. Does $||f_n||_p \rightarrow ||f||_p$ imply $f_n\rightarrow f$ in $L^p$? [duplicate]

Given $f_n \rightarrow f$ a.e. Does $||f_n||_p \rightarrow ||f||_p$ imply $f_n\rightarrow f$ in $L^p$? Clearly this does not hold for $p = \infty$, since given functions with same hight, pointwise ...
0
votes
2answers
83 views

Uniform integrability of a function in $L^1$

A collection of functions $(\phi_i)_{i\in I}\in L^1(\mu)$ is called uniformly integrable if given $\epsilon>0$ there exists $\delta>0$ such that : $$\int_E|\phi_i|d\mu<\epsilon~~~~\forall ...
3
votes
2answers
47 views

Convergence in $L^p$ by using Holder's inequality

Let $1\lt p \lt \infty$ and $f\in L_p[0,\infty )$. Show that a) $$\left\vert\int_0^x f(t)\,dt\right\vert\le\|f\|_px^{1-\frac{1}{p}},$$ for $x\gt 0$. b) $$\lim_{x\to \infty} ...
1
vote
1answer
25 views

For what values of $a > 0$ does $f(x,y)=(x^{2}+y^{a})^{-1} $ belong to $ L^{1}([0,1]^{2})?$

I am trying to understand for what values of $a>0$ the function $$f(x,y) = \frac{1}{x^2+y^a}$$ belongs to $L^1([0,1]^2)$. I think $a \geq 2$ should work. But how to show that it is not the case ...
1
vote
1answer
20 views

Showing that a function is bounded in $L^1$ given a bound on its distribution function

Let $f \in L^2((0,T)\times\Omega)$ where $\Omega$ is a compact manifold. Suppose I know that for every $k > 0$, $$\mu(\{|f| > k\}) \leq Mk^{-\frac 12}$$ for some constant $M$ (which is ...
2
votes
2answers
55 views

$f\in L^2(0,1)$ if and only if $f\in L^1(0,1)$ and some condition.

$f\in L^2(0,1)$ if and only if $f\in L^1(0,1)$ and ere exists an increasing function $g:[0,1]\rightarrow \mathbb{R}$ such that $$\left|\int_a^b f(x) dx \right|^2 \leq (g(b)-g(a))(b-a)\quad\quad (*)$$ ...
1
vote
0answers
20 views

$\int_{\mathbb R^{2}} |\int_{\mathbb R} (f_{r}(t-y)- f_{r}(t)) g(t-x) e^{-2\pi i w\cdot t} dt|dx dw \to 0 $ as $ r\to \infty $?

Let $f\in \mathcal{S}(\mathbb R)$ with $\hat{f}$ has a compact support. For $r>0,$ put $f_{r}(x)= r^{-1}f(x/r), (x\in \mathbb R).$ We note that, $\int_{\mathbb R} |f_{r}(x)| dx = r^{-1} ...
1
vote
3answers
51 views

Dense subsets of $(L^p(\Omega),\|\cdot\|_p)$

The following results hold. Theorem Let $\Omega\subset\mathbb{R}^n$ be an open set. Then $C^0_c(\Omega)$ is dense in $(L^p(\Omega),\|\cdot\|_p)$, if $1\le p<\infty$. Theorem Let ...
1
vote
1answer
61 views

$C^0$ is a closed subspace of $L^{\infty}$

Let $\Omega\subset\mathbb{R}^n$ be an open bounded set. Let $f\in C^0(\bar\Omega)$. I have to prove that $\|f\|_{\infty}=\|f\|_{L^{\infty}}$. One implication is trivial. Let's consider the other one. ...
1
vote
1answer
20 views

can we approximate $f,$ in $L^{p}$-norm, by a function $f+h$ which is constant in a some neighbourhood of the point?

Suppose $f\in L^{p}(\mathbb R), (1<p <\infty), \epsilon > 0, \gamma_{0}\in \mathbb R.$ Then My Question is: Can we expect to find, $h\in L^{p}(\mathbb R)$ such that ...
3
votes
1answer
68 views

$f$ is in $L^p$ iff sum is finite

Let $p\in [1,\infty)$.Prove that $f\in L^p(\mu)$ if and only if $\sum_{n=1}^\infty(2^n)^p\mu (\{x:|f(x)|\gt2^n\})\lt \infty.$ My idea, I assume measure is finite, I wrote ...
3
votes
1answer
19 views

$L^p$ integral on every measurable subset of $\Bbb R$

Suppose $f:\Bbb R \to \Bbb R$ is in $L^p$ for some $p>1$ and also in $L^1$. Prove there exist constants $c>0$ an $\alpha \in (0,1)$ such that $\int_A|f(x)|dx\le cm(A)^{\alpha}$, for every ...
1
vote
1answer
24 views

On finite measurable space $X$, the whole of $L^p(X)$ is closed in $L^1(X)$ iff there is a const $C$ st $||f||_p\leq C||f||_1, \forall f \in L^p(X)$

On finite measurable space $(X, \mathcal{M}, \mu)$, the whole of $L^p(X, \mu)(p>1)$ is closed in $L^1(X,\mu)$ iff there is a const $C$ st $||f||_p\leq C||f||_1, \forall f\in L^p(X)$, iff both ...
3
votes
0answers
53 views

$\|\phi_{\lambda}- \phi_{\lambda} \ast f \|_{L^{2}(\mathbb R)}\to 0$ as $\lambda \to \infty$? ($\phi_{\lambda}(x)=\lambda^{-1} \phi(x/\lambda).$)

For $f\in L^{1}(\mathbb R),$ we define its Fourier transform as follows: $\hat{f}(t)=\int_{\mathbb R} f(x) e^{-ix\cdot t} dx ,(t\in \mathbb R).$ Suppose that $f\in L^{1}(\mathbb R)$ with ...
2
votes
0answers
41 views

Convergence of Step Function Defined by Averages

For a function $f \in L^2[0,T]$, and a uniform partition $P = \{0=t_0, t_1, \ldots, t_n = T\}$ of the domain, we can define a step function approximation as the average value over each interval in the ...
1
vote
0answers
52 views

If $f_{n}\rightharpoonup \bar{f}$ and $f_{n}(x) \rightarrow f(x)$ pointwise a.e., then is $\bar{f} = f$ a.e.? [duplicate]

Suppose $f_{n}$ is a sequence of functions in $L^{p}(\mathbb{R}^{d})$ such that $\|f_{n}\|_{L^{p}} \leq 1$ for all $n$ and $f_{n}(x) \rightarrow f(x)$ pointwise almost everywhere as $n \rightarrow ...
0
votes
0answers
58 views

How to prove $\gamma$ is continuous?

In the paper A remark on least energy solutions in $\mathbb{R}^N$, page 2407, it said, if $u_0\in H^1(\mathbb{R}^2)$, set $\gamma(t)=t^{-1/4}u_0(x/t)$. Then $\gamma(t)$ is a continuous path in ...
1
vote
1answer
48 views

Strong Convergence in L1 Implies Weak Convergence in L2?

If I have $f_n \to f$ in $L^1(D)$, where $D \subset \mathbb{R}$ is compact, is it accurate to say $f_n \rightharpoonup f$ in $L^2(D)$? The argument is as follows: consider a simple function $\phi = ...
0
votes
1answer
26 views

Formula for $L^{q}$ norm using $C_{c}^{\infty}$ functions

We put, $L^{p}=L^{p}(\mathbb R), L^{q}=L^{q}(\mathbb R);$ $\frac{1}{p}+\frac{1}{q}=1;$ ($p$ and $q$ are conjugate exponents); and $<f,g> =\int_{\mathbb R} f(x)g(x) dx.$ Fix $g\in L^{q}, ...
0
votes
1answer
38 views

When does the convergence of the regularization of a function is decreasing?

Hi everyone: Let $\theta(x)$ equal $k\exp\left(-\frac{1}{1-\|x\|^2} \right)$ if $\|x\|<1$, and equal $0$ if $\|x\|\geq1.$ Here $\|\cdot\|$ designates the Euclidean norm in $\mathbb{R}^n$, and the ...
2
votes
2answers
63 views

Help with closed graph theorem

I come across this exercise to use the closed graph theorem, if anyone can give and idea about it, thanks Let $M$ be a closed subspace of $L^2([0,1])$ that is included on $C([0,1])$(with the ...
1
vote
1answer
36 views

$\|g\|_{L^{1}(\mathbb R)}=\sup \{ {|\int_{\mathbb R} fg|: f\in C_{c}^{\infty}(\mathbb R), \|f\|_{L^{\infty}(\mathbb R)}=1\}} ?$

I learn the following from the book: Fact: If $g\in L^{1}(\mathbb R),$ then $$\|g\|_{L^{1}(\mathbb R)}=\sup \{ {|\int_{\mathbb R} fg|: f\in L^{\infty}(\mathbb R), \|f\|_{L^{\infty}}}=1\}.$$ We put ...
4
votes
2answers
50 views

p-norm of a function

Let $f\in L^1(\mu)\cap L^\infty(\mu)$. I have proved for any $1<p<\infty$, $f\in L^p(\mu)$, $w(p)=||f||_p$ is continuous w.r.t. $p$, and $\lim_{p\to \infty}||f||_p=||f||_\infty$. Is $w(p)$ ...
2
votes
2answers
54 views

Monotonically approximate $L^p$ function by step function

It is a classical fact that a $L^p(R^d)$ ($1\leq p<+\infty$) function can be approximated by step functions with compact support, but my question will be, can we require that the step function is ...
2
votes
0answers
52 views

Prove that $f\in L^p[0,1]$ for all $p\in[1,2)$:

Given that $f:[0,1]\to[0,\infty)$ in $L^1$ such that $\int_E f$ $dm\leq\sqrt{m(E)}$ for every $E\subseteq[0,1]$ measurable, prove that $f\in L^p[0,1]$ for all $p\in[1,2)$. This is a qualifying ...
3
votes
1answer
36 views

need to prove an inequality with absolute value to the power of positive number

I need help to prove the inequalities in the following cases $ ||x|^p-|y|^p|\leq \begin{cases} |x-y|^p & \mathrm{if} \, 0<p<1\\ p|x-y|(x^{p-1}+y^{p-1}) & \mathrm{if} \, 1\leq p<\infty ...
3
votes
1answer
44 views

a function with infinity L^p norm

Let $1\leq p<\infty$, $1/p+1/q=1$. For a function $f$ with $||f||_q=\infty$, can we write $$ ||f||_q=\sup_{g\in L^p(\Omega),||g||_p\neq 0}\frac{\int_\Omega |fg|}{||g||_p}? $$ or $$ ...
7
votes
1answer
95 views

What information is contained in the function $p\mapsto ||f||_p$?

Given a measurable function $f:\mathbb{R}\rightarrow\mathbb{R}$, we obtain a function $\nu_f:(0,\infty)\rightarrow [0,\infty]$ defined by $\nu_f(p):=||f||_p$ This function $\nu_f$ will not ...
3
votes
0answers
55 views

Is $L^p$ separable?

Whether a $L^p(X,\mu)$ space is separable? I understand that the answer depends on $p$ and $X$. It seems to me that it is separable when $1\leq p < \infty, X=\mathbb{R}^n$ or $X=\mathbb{N}$. ...
3
votes
1answer
89 views

Prove that $L^1(\mathbb{N})$ is a Banach space.

I'm trying to prove that $L^1(\mathbb{N}) := \left\{ (x_n)_{n=1}^{\infty} : \sum\limits_{n=1}^{\infty}\left|x_n\right| < \infty \right\} $, the space of all sequences over the field $\mathbb{C}$ ...