5
votes
1answer
74 views

Is there a useful relationship between pointwise and $L^2$ distance?

It would be really convenient to get a bound on the point-wise closeness of functions by knowing their $L^2$ distance. Clearly, if two functions are close in the $L^2$ sense, you cannot get a general ...
0
votes
0answers
47 views

limit of p norm as p goes to 0!

Suppose we have a measure $\mu$ and a space $X$ such that $\mu(X)=1$, and a function $f \in L^r$ for some $r > 0$, where $L^r$ is defined in the usual way even for numbers less than $1$. Show ...
2
votes
1answer
56 views

Estimate for weak $L^{1}$ norm

Let the weak $L^{1}$ norm on $f$ be defined by $\|f\|_{\mathrm{WL}^{1}} = \sup_{t > 0}t D_{f}(t)$ where $D_{f}(t) = \mu(\{x \in \mathbb{R}: |f(x)| > t\})$ and $\mu$ is the standard Lebesgue ...
0
votes
1answer
63 views

proofread $\left \| f -g\right \|_{p}^{p}=p(p-1)\int_{0}^{\infty}\int_{0}^{t}[m(f>t/g>s)+ m(g>t/f>s)]|t-s|^{p-2}dsdt$

Is this argument correct? $\left \| f -g\right \|_{p}^{p}=$ $\int_{0}^{\infty}m(|f-g|>t^{\frac{1}{p}}) dt\stackrel{c.o.v.}{=}$ $p\int_{0}^{\infty}m(|f-g|>t) t^{p-1}dt\stackrel{t=|u-s|}{=}$ ...
2
votes
1answer
117 views

continuity of norms with respect to $p$

Let $f\in L^{\infty}(\Omega,\Sigma,\mu)\cap L^{1}(\Omega,\Sigma,\mu)$. Then $w(p)=||f||_p$ is continuous function of $p$ for any $p\in [1,\infty)$. How to prove this? I have obtained the proof that ...
4
votes
1answer
101 views

Counterexample using counting measure

While proving that the norm of the mulplicative operator from $L^2(X) \to L^2(X)$ is the essential supremum of $|g|$ where $g \in L^\infty(X)$, I found that I need the $\sigma$-finiteness of the ...
2
votes
1answer
92 views

Derive $\frac1n \|x\|_p^p \leq \|x\| \leq n^{p/2}\|x\|_p^p$ from Holder's inequality?

Given a vector $x = (x_1, \dotsc, x_n)\in \mathbb{C}^n$, I wanted to compare $|x_1|^p + \dotsb + |x_n|^p$ to $\|x\|^p$. I discovered that if $m=\max_i|x_i|$, we have $$m^p \leq \|x\|^p \leq ...
1
vote
1answer
13 views

Positivity of a map in $(l^\infty(X))^*$

Let $X$ be a set and $\varphi: l^\infty(X)\to\mathbb{R}$ be a linear map such that $||\varphi||=1$ $\varphi(1_X)=1$ I am trying to prove that $\varphi(f)\ge 0$ for all $f\ge 0$, but all my ...
3
votes
0answers
91 views

Is $\rho(f) := \mu(|f| \geq \epsilon), \epsilon >0$ some kind of generalized norm?

Let $\rho(f) := \mu(|f| \geq \epsilon)$ where $\epsilon >0$ is a constant and $\mu$ is a measure and $f$ is a measurable function. Then $f\equiv 0 \rightarrow \rho(f) = 0$ when $|a| \neq 0$, ...
0
votes
1answer
168 views

convergence in $L^2$

Let $ (f_n)$ be a sequence of measurable functions on $ [0,1]$ such that $\int_{0}^1 |f_n|^2 dm \le C$. Assume that there exist a function $f$ such that $\int_{0}^1 |f_n-f|dm \to 0$ as $n \to \infty ...
2
votes
1answer
87 views

How can I give a bound on the $L^2$ norm of this function?

I came across this question in an old qualifying exam, but I am stumped on how to approach it: For $f\in L^p((1,\infty), m)$ ($m$ is the Lebesgue measure), $2<p<4$, let $$(Vf)(x) = ...
1
vote
1answer
137 views

essential supremum of a matrix multiplication operator

Suppose we have the space $L^p(R,R^n)$ where $1 \leq p < \infty$ (i.e the space of functions that take values in $R^n$ and are $L^p$ integrable) and suppose $T_m: L^p(R,R^n) \to L^p(R,R^n) $ is a ...