# Tagged Questions

27 views

### Supremum of integrals of products of functions in $L^p$ space

Here is the problem I'm dealing with I'm not having success with...well, anything. Any hits on how I could get started and where I would go? edit: information on $L^p$ space
71 views

### If $\int u\varphi = 0$ for all $\varphi \in C_c^\infty(M)$ with $\int_M \varphi =0$, is $u=0$ a.e.?

Let $M$ be a compact Riemannian manifold and $u \in L^2(M)$. we know that if for all $\varphi \in C_c^\infty(M)$, $$\int_M \varphi u = 0,$$ then $u=0$ a.e. Suppose $$\int_M \varphi u =0$$ for all ...
34 views

### Is $f(x) \in L^p(\mathbb R)$ always bounded for $x\longrightarrow\pm\infty$?

I need to prove the following result on the derivative of an Hilbert transform for $f,f'\in L^p(\mathbb R)$ $$\mathcal H\bigg\{\frac{df(x)}{dx}\bigg\}=\frac{d}{dx}\mathcal Hf(x)$$ In particular ...
40 views

### Do $\mathbb{R}^n$ and $\mathbb{C}^n$ valued ordinarily measureable functions form a Banach space under p-norm?

By measureable function I mean an "ordinarily" measureable function, that is measureable in a sense of this definition: a function between measurable spaces is said to be measurable if the preimage of ...
44 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 ...
38 views

### What does local space of a given Banach space says intuitively?

We put, $\mathcal{D}(\mathbb R)=$ The space of $C^{\infty}-$ functions on $\mathbb R$ with compact support Example: For instance bump function is in $\mathcal{D}(\mathbb R)$ Let $E$ is a Banach ...
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 ...
49 views

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)\}$ ...
41 views

### $\ell^p$ spaces' inclusion [closed]

$$\ell^s\subsetneq \bigcup_{k<p}\ell^k\subsetneq \ell^p\subsetneq\bigcap_{k>p}\ell^k\subseteq \ell^q$$ for any $1\le s<p<q$. Any idea to prove these inclusions? Counterexamples for the ...
58 views

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

### Need help with application of Hardy-Littlewood inequality (Marcinkiewicz space and distribution functions)

I am going over this work here. I couldn't understand the equality where the Hardy-Littlewood inequality is used. I think $\delta$ here is a weight so we can take it to be $1$ for simplicity. Would ...
19 views

### Duality set for $L~p$ spaces, $1<p<\infty$.

I need to show that, given $f \in L^p$, $1<p<\infty$, the duality set $F(f)$ is equal to the point $$\|f\|_p^{2-p}|f|^{p-2}\overline{f}.$$ I have a hint: this is a consequence of convexity of ...
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 ...
59 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. ...
45 views

### Banach valued sequence spaces $\ell^p(X)$

Let $X$ be a Banach space and $\ell^p(X)$ denote the space of sequences $x_i\in X$ for which the norm $\big(\sum_{i=1}^\infty\|x_i\|^p\big)^\frac1p$ is finite, when $X=\mathbb{R}$ we get the usual ...
29 views

### Given $u \in L^1$, is there approximating sequence $u_n \in L^\infty$ uniformly bounded in $L^p$?

Let $u \in L^1(U)$ where $U$ is a bounded domain. Is it possible to find a sequence $u_n \in L^\infty$ converging to $u$ in $L^1$ such that the $u_n$ are uniformly bounded for all $n$ in some $L^p$ ...
32 views

### $L^\infty(\Omega)$ space

Consider Lebesgue spaces $L^p(\Omega)$, $\Omega$ is a bounded domain. Let $f \in L^p(\Omega)$ for all $p$. Is it true that $f \in L^\infty(\Omega)$?
28 views

Suppose $u_n$ is uniformly bounded in $L^\infty(0,T;L^\infty(\Omega))$ where $\Omega$ is a bounded domain. From this answer, we know that the dual space of $(L^1(0,T;L^1))^* = ... 1answer 37 views ### Weak-star lower semicontinuity in$L^\infty$Let$u_n \rightharpoonup^* u$in$L^\infty(\Omega)$. Do we get something like $$\lVert u \rVert_{L^\infty} \leq \liminf_{n \to \infty} \lVert u_n \rVert_{L^\infty}$$ i.e. a weak-star lower ... 2answers 57 views ### Reflexivity of$\ell^p$I'm having bad difficulties in understanding how to prove that$\ell^p$with$1<p<\infty$are reflexive spaces. Every text I have consulted give that as a trivial result because "observing that ... 2answers 50 views ### Can we expect,$S(\mathbb R)\ast L^{p}(\mathbb R) \subset L^{p}(\mathbb R), (1<p<\infty) $? It is well-known that$L^{1}(\mathbb R)$is a closed with respect to convolution(product), that is,$L^{1}(\mathbb R)\ast L^{1}(\mathbb R)\subset L^{1}(\mathbb R),$more specifically, if$f, g\in ...
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 ...