# Tagged Questions

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,
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 ...
31 views

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 ...
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 ...
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$. ...
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 ...
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 ...
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 ...
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.
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 ...
65 views

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 ...
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. ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
52 views

26 views

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  ...
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 ...
### 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}$. ...
### 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}$ ...