1
vote
1answer
37 views

Is this map surjective?

Let $B^1(\mathbb{R},\mathbb{R})$ be the set of all locally integrable functions $f:\mathbb{R}\to \mathbb{R}$ such that $$\sup_{t\in \mathbb{R}} \int_t^{t+1}|f(x)|dx<\infty.$$ Consider the map ...
1
vote
1answer
23 views

Are $l_{p} \cap k$ and $l_{p} \cap k_{0}$ complete in $||$ $||_{\infty}$? Are they complete in $l_{p}$ norms?

Let the space $k$ be all convergent sequences of real numbers. Let the space $k_{0}$ be the space of all sequences which converge to zero with $l_{\infty}$ norm. Are $l_{p} \cap k$ and $l_{p} \cap ...
3
votes
0answers
40 views

Do these limits commute?

Given a sequence of functions $f_{n,m}:\mathbb{R}^{n} \to \mathbb{R}$, suppose that $$\displaystyle lim_{m} f_{n,m}(x)$$ exists almost everywhere (for any fixed n) and also suppose that ...
0
votes
0answers
22 views

Bounding a discrete function

If there is a discrete-time function $u(t)$, where $u(T)=u(0)+\sum_{t=0}^T G(u(t))$, is it possible to prove that $u(t)$ remains bounded for a specific class of $G$ functions? Such as $G\in L^1$ or ...
2
votes
1answer
28 views

Essential range of a function

Let $A_f$ be the set of all averages $\frac{1}{\mu(E)}\intop_{E}\,f\,d\mu$ where $E$ is of positive measure. What is the relationship between $A_f$ and $\mathbb{R}_f$? Is $A_f$ always closed? Are ...
3
votes
1answer
26 views

Examples of measures that induce certain inclusions in the Lp spaces.

I apologize for the terribly worded title, but I didn't know how else to title this questions (which comes from Rudin's Real & Complex Analysis chapter 3 questions). The question says: For ...
1
vote
1answer
33 views

Hölder norm bounded by $L^p-$norm?

Let $C_0^{\alpha}(\mathbb{R})$, $0<\alpha<1$ denote the space of Hölder-continuous functions on $\mathbb{R}$ with compact support. Is it true that for any $f\in C_b^{\alpha}(\mathbb{R})$ one ...
3
votes
1answer
49 views

tough lp inequalities

Let $1<p<\infty$. If possible, find a positive decreasing sequence $w_1>w_2>\cdots$ such that $\lim w_i=0$, and a (uniform) constant $K>0$, such that ...
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
22 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
50 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
41 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
60 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
53 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
59 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
91 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
40 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
35 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
36 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
66 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
39 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
43 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
103 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
51 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
56 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
22 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
54 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
78 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
69 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
25 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
64 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
42 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
53 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 ...
1
vote
0answers
61 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
61 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
30 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
69 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
37 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 ...