For questions about $L^p$ spaces, that is, given a measure space $(X,\mathcal F,\mu)$, the vector space of equivalence class of measurable functions with $p$-th power of the absolute value integrable. Question can be about properties of elements of these spaces, or when the ambient space on a ...

learn more… | top users | synonyms

2
votes
1answer
56 views

estimate of infinite norm by $(p,q)$ norms

Let $p$ and $q$ be conjugate exponents, i.e. $\frac{1}{p}+\frac{1}{q}=1$. Prove or disprove: $$ \|f\|_\infty^2\le\|f\|_p\|f'\|_q $$ I think this is true. I tried to prove it using integration by ...
1
vote
1answer
52 views

Riesz Representation Theorem for $l_p$

Let $ 1 \leq p < \infty$, with $q$ the conjugate of $p$, and let $T \in l^{p*}$. Then for some sequence $g \in l^q,$ $T(f)=\sum_{\mathbb{N}} fg$ for all $f \in l^p$. I am trying to prove this ...
1
vote
2answers
42 views

If $F$ is the distribution function of an $L^p$ function, then $\lambda^p F(\lambda)\to0$ as $\lambda\to0$

Let $1\leq p<\infty$, $f\in L^p (\mathbb{R}^n)$. Let $F(\lambda)=m\{|f(x)|>\lambda\}$, show that: $$\lim_{\lambda\to 0} \lambda^{p}F(\lambda)=0$$ What I only know about distribution function ...
1
vote
1answer
173 views

Proving the Riemann-Lebesgue Lemma in $L^1(\mathbb{R}^n)$

$\mathbf{Riemann-Lebesgue \ Lemma \ in \ L^1(\mathbb{R}^n)}$. Suppose that $f \in L^1(\mathbb{R}^n)$. Then $\hat{f}(k) \rightarrow 0$ as $|k| \rightarrow \infty$. I cannot understand any of the ...
2
votes
1answer
29 views

Showing that $||\hat{f}||_{\infty} \leq ||f||_1$ in $L^1$

Let $f \in L^1(\mathbb{R}^n)$ then $\hat{f} \in L^{\infty}(\mathbb{R}^n)$ and $||\hat{f}||_{\infty} \leq ||f||_1$ How do you prove this or where can I find a proof of this fact?
1
vote
1answer
34 views

Closure of $l^1(\mathbb{N})$ in $l^2(\mathbb{N})$

I am trying to understand $l^p$ spaces better and I got stuck. I showed that $l^1(\mathbb{N})$ is a subspace of $l^2(\mathbb{N})$. I also found a counterexample which shows that $l^1(\mathbb{N})$ is ...
0
votes
1answer
29 views

Showing that $L^{\infty}([0,1])$ is not strictly convex

Can somebody give an example that shows that $L^{\infty}([0,1])$ (regarding $|| \cdot ||_{\infty}$) is not strictly convex? Thanks in advance!
1
vote
0answers
24 views

Estimate bounds on Minkowski distance from point to a segment in Lp space

Assumptions Let $L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric), $a,b$ be arbitrary $n$-dimensional points, $c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...
0
votes
1answer
48 views

Example of a sequence in L1 with these conditions

Is there an example of a sequence $\{f_n\}$ in $L^1(\mathbb{R})$, such that: $\{||f_n||_1\}$ is bounded. There's a convergent subsequence $f_{\phi(n)}$, i.e. $\exists f \in L^1(\mathbb{R})$ such ...
1
vote
1answer
40 views

$\mathcal L^{\infty}$ space properties

Can anybody give an example that for $1 \leq p < \infty$ neither $\mathcal L^p (\mathbb R) \subseteq \mathcal L^{\infty} (\mathbb R)$ nor $\mathcal L^{\infty} (\mathbb R) \subseteq \mathcal L^p ...
1
vote
1answer
51 views

Does an integral operator with a symmetric integrable kernel have to be bounded on $L^2$?

Suppose $K(x,y)$ is a symmetric kernel. Let $\phi\in L^2(\Omega)$, where $\Omega$ everywhere is a domain in $R^n$. Can $\int_{\Omega}K(x,y)\,\phi(y)\,dy$ belong to $L^2$? In other words can an ...
0
votes
1answer
23 views

The norm of dual operator over $L^p(\Bbb R^N)\times L^p(\Bbb R^N)$

Let $1<p<\infty$ and $E:=L^p(\Bbb R^N)\times L^p(\Bbb R^N)$. Let $\Phi\in E^*$, i.e., the dual of $E$. Hence by Riesz representation we have there exist $u_0$, $u_1\in L^{p'}(\Bbb R^N)$ such ...
3
votes
1answer
66 views

Question on $L_p$ spaces involving $\lambda^n$-measure on $\mathbb{R}^n$

Q/ Consider $L_p=L_p(\lambda^n)$ with the Lebesgue measure on $\mathbb{R}^n$ and $1\leq p<\infty$. Let $f_0=|x|^{-\alpha}$ for $|x|<1$ and $0$ otherwise. Show $f_0\in L_p$ iff $p\alpha < n$. ...
1
vote
0answers
34 views

$L^2$ inequality for derivatives of polynomials on triangles

I'm reading a paper which states the following inequality, but the (presumably) elementary proof is cited to be in a document, which is too old to get access to. Let $p: \mathbb{R}^2 \to \mathbb{R}$ ...
3
votes
3answers
94 views

An example of a function in $L^1[0,1]$ which is not in $L^p[0,1]$ for any $p>1$

Title says most of it. Could you help me find an example? It is easy obviously to show a function that would not be in $L^p[0,1]$ for a specific $p$ (say $(1/x)^{1/p}$, but I can't see how it would ...
0
votes
1answer
44 views

Uniform lower bound on convex functions bounded in $L^2$ norm

Consider a class of (proper closed) convex function on $[0,1]^d$, which we shall denote $\mathcal{F}$. If every element of $\mathcal{F}$ is bounded in $L_2$, say $$\int_{[0,1]^d} |f(x)|^2\ dx\leq 1,$$ ...
2
votes
1answer
34 views

Are Schwartz functions in $L^{p}$ for $0 < p < 1$?

Let $S(\mathbb{R}^{d})$ denote the Schwartz functions in $\mathbb{R}^{d}$. I know that $S(\mathbb{R}^{d}) \subset L^{p}(\mathbb{R}^{d})$ for $1 \leq p < \infty$. Is $S(\mathbb{R}^{d}) \subset ...
0
votes
0answers
13 views

$L^p$ is a quasi normed space for $0<p<1$ [duplicate]

I know that $L^p$ is a vector space for $p>0$ and a normed space for $p \geqslant 1$ now I need show that for $ 0<p<1$ and $f,g \in L^p$ exist $K \in \mathbb{R}$ such that $||f+g||_p ...
3
votes
1answer
30 views

$L^\infty(S^1)$ is not separable

Let $S^1$ be the unit circle and $L^\infty(S^1)$ the space of measurable functions $f:S^1\to\mathbb{C}$ such that $\|f\|_\infty<\infty$. (In fact $L^\infty(S^1)$ consists of equivalence classes of ...
0
votes
2answers
92 views

Interpolation inequality in sobolev space

Let $U$ be a bounded, connected open subset of $\mathbb R^n$ with $C^1$ boundary $\partial U$. Asume $|\beta| \leq k-1$ and $k$ is a integer. Show that for each $\epsilon >0$ there exists a ...
2
votes
1answer
94 views

$f \in L^1$, but $f \not\in L^p$ for all $p > 1$

"Find an $f \in [0,1]$ such that $f \in L^1$ but $f \not\in L^p$ for any $p > 1$." I've thought about doing something like $$f(x) = \frac{1}{x}$$ where $|f|^p = \frac{1}{x^p}$ doesn't converge ...
0
votes
1answer
62 views

Is $L^\infty$ compactly embedded in $L^1$?

I'm trying to find a contraction example to show that the space $L^\infty$ is not compactly embedded in $L^1$ with the Lebesgue measure. Please help me!
1
vote
0answers
54 views

Question about Young's Inequality

I came across Young's Inequality for convolutions, stated as: Let $f\in L^p, g\in L^q$, where $p,q,r \in [1,\infty]$ and $p^{-1}+q^{-1}=1+r^{-1}$. Then $f*g$ is defined $m$-a.e. on $\mathbb{R}^d$, ...
1
vote
0answers
41 views

Equality condition for convolution's $L^p$ norm.

Suppose that $1< p< \infty$, $f\in L^1(R)$, and $g\in L^p(R)$ and that $\|f*g\|_p=\|f\|_1\|g\|_p$. Show that then either $f=0$ a.e or $g=0$ a.e I have solved for $g=0$ a.e. if $||f||_1>0$ ...
6
votes
0answers
110 views

Solving a functional equation in $L_2(\mathbb{R})$

Let $e\left(x\right)=e^{2\pi ix}$ and let $F$ be an arbitrary complex-valued function in $L^2 (\mathbb R)$. I am trying to solve the following functional equation (or rather family of equations): ...
3
votes
0answers
22 views

Simple $L^p$ space question [duplicate]

Let $X$ be a measure space with positive measure $\mu$. If $\|f_n-f\|_p\to 0$ (i.e. $f_n$ converges to $f$ in the $L^p(\mu)$ norm) does it follow that $f_n(x)\to f(x)$ almost everywhere?
1
vote
1answer
79 views

Proving this set is dense in $\ell^2$

I found this weirdest question and was wondering how could this be proved. This question is a part of a beautiful semi-constructive built of two dense disjoint convex sets in $\ell^2$, which I find ...
1
vote
0answers
21 views

Equivalence of condition on function

In a book I am studying it states that a condition on a function $g$ as follows: Given the function $g: \Omega \times \mathbb{R} \mapsto \mathbb{R}$ is a Caratheodory function satisfying $$\sup_{|u| ...
5
votes
1answer
114 views

orthonormal sequence in $L^2[0,1]$ - how to prove these following equivalent terms?

I've been asked this following very interesting question and would like some help figuring out why it is true :) Let $u_n$ be an orthonormal sequence in $L^2[0,1]$ Prove that the following are ...
1
vote
1answer
29 views

what does support of convolution of functions says geometrically?

Let $f,g \in L^{1}(\mathbb R)$ we define $f\ast g(x)= \int_{\mathbb R} f(x-y)g(y) dy $ for all most all $x,$ and denote $\text{supp} (f)$ the support of $f.$ Fact: If $A$ is the closure of $\{x+y: ...
5
votes
2answers
179 views

$e_n \to 0$ weakly in $l^\infty$

Given the the sequence $(e_n)_n$ in $l^\infty$, I want to show that that $e_n$ converges weakly to $0$ in $l^\infty$, i.e. $$e_n\rightharpoonup 0 \text{ as } n\to \infty.$$ By $e_n\in l^\infty$, ...
1
vote
1answer
42 views

Hardy-Littlewood maximal function $Mf$ is greater than $f$

Suppose that $f\in L^{1}(\mathbb R)$ and $x\in \mathbb R.$ We denote $B_{x}$ by the ball in $\mathbb R$ with centred $x,$ and $|B_{x}|=$ length(Lebsgue measure) of $B_{x}.$ Put, $Mf(x)=\sup ...
0
votes
0answers
19 views

Basic question about $L_1$ integrable functions [duplicate]

I need to show that if a function is in $L_1$, i.e., the integral of $|f|$ over the real line (Lesbesgue measure) is finite, then the limit as $n$ goes to infinity of the integral of $f$ (from $n$ to ...
3
votes
1answer
29 views

A function in $L^p(E)$ for only $2 \leq p < 3$

Give a set $E$ and a function $f$ on $E$ such that $\{p:f \in L^p(E)\} =[2,3)$. This was a homework problem (whose due date has passed) that my brightest fellow classmates AND the class TA ...
-1
votes
1answer
118 views

Determine if these two norms are equivalent

Let we have the space $C[a,b]$ (the space of all functions that are continuous on closed interval $[a,b]$). And we have two norms on this space: $$\|X\|_1= \max_{t\in [a,b]} | x(t) |$$ $$\|X\|_2 = ...
3
votes
1answer
28 views

Is the $\sigma$-finiteness condition necessary to ensure that $L^p(\mu)$ is reflexive?

Suppose $(X,\mu)$ is a measure space, and $p,q>0$ such that $1/p+1/q=1$. We know that if $\mu$ is $\sigma$-finite, then $L^p(\mu)$, $L^q(\mu)$ are reflexive and dual to each other. The proof could ...
1
vote
0answers
315 views

Proof Riesz Representation Theorem (bounded linear functional in Lp)

I have a little problem with this proof (I'm using Royden), can you help me? Let $F$ be a bounded linear functional on $L^p$, $1 \leqslant p \leqslant \infty$. Then there is a function $ge \in L^q$ ...
2
votes
1answer
52 views

$L^\infty$, $L^p$ question

Suppose $f \in L^0$. I read that for a general measure space, if $\mu(X)<\infty$, then we cannot have that both $||f||_\infty< \infty$ and $||f||_p=\infty$ for every $p\in (0,\infty)$, but if ...
3
votes
1answer
80 views

Weak convergence in $l_p$ implies pointwise convergence?

Could someone please share their thoughts on this one: Consider at $l_p(Y)$, for $1<p<\infty$ with the counting measure on $Y$. Show that if a sequence weakly converges in $l_p(Y)$ then it ...
2
votes
2answers
116 views

Translation operator and continuity

I came across a text that proves that translation operator $T_a(f):=f(x-a)$ where $a\in\mathbb{R}^n$ and $f\in L^p(\mathbb{R}^n)$ is continuous. The proof follows: ...
1
vote
1answer
25 views

Formulation of Fourier transform

I would like to know about Fourier transform more. I attended a standard lecture of mathematics, but we did not talk about Fourier transform on $L^2$ much, nor the theory of $L^2$. We only defined it ...
1
vote
1answer
44 views

How to prove that the function $\tan(x)1_{(0,\pi/2)}$ lies in $L^p$ for $p\in (0,1)$?

I am attempting to prove that the function $\tan(x)1_{(0,\pi/2)}$ lies in $L^p$ for $p\in (0,1)$. To do this, I want to calculate the integral $\int_{0}^{\pi/2}\tan(x)^{p}\,dx$ for various $p$. ...
0
votes
1answer
23 views

An inequality for functions in $L^1$ and $L^2$.

Given $f\in L^1(X)$, show that for every $\rho>0$ one has: $\mu({|f|>\rho})\leq \rho^{-1}\int|f|d\mu$. I think in order to prove this, we use the fact that $\int|f|d\mu= \lim_{\rho\to ...
2
votes
1answer
73 views

Weak convergence in $\mathcal{l}_p$ and coordinatewise convergence

Let $x^n=(x^n_1, x^n_2,...)$ be a bounded sequence in $\mathcal{l}_p$ for $1<p<\infty$ and such that $x^n_i$ converges to $x_i$ for all $i\in\mathbb{N}$. I'm trying to prove that ...
1
vote
0answers
38 views

Does an inequality between kernels imply an inequality between the norms of integral operators?

Assume that $g(x,y)$ and $h(x,y)$ are two positive functions such that $0<g<h$ and assume that $$T_g, T_h : L^2(B^n,R)\to L^2(B^n,R)$$ are integral operators defined by $$T_k[f](x)=\int_{B^n} ...
2
votes
1answer
64 views

Help in a problem about Lebesgue integration inequality

Let $ (X,\mathcal{S},\mu)$ be a finite measure space, let $f$ be $\mathcal{S}$-measurable and let $E_{n}:= \{x\in X :n-1\le |f(x)|<n\}$ for $n=1,2,\dots$ Show that: $$f \in ...
1
vote
2answers
44 views

A question about inclusion of $L^r(\mu)$ spaces for different $r$ and different measures $\mu$

For some measures, the relation $r<s$ implies $L^r(\mu)\subseteq L^s(\mu)$ ; for others, the inclusion is reversed; and there are some for which $L^r(\mu)$ does not contain $L^s(\mu)$ if $r\ne ...
1
vote
0answers
25 views

Discontinuous functionals on $L^p$

Using the axiom of choice and a Hamel basis for a normed space, one can prove the existence of everywhere defined discontinuous linear functionals. My question: Does there exist a discontinuous ...
0
votes
2answers
11 views

$\int_{\mathbb R} \sup_{|y|>|x|} \frac{1}{(1+|y|)^{n}} dx < \infty$ for large $n$?

It is true that $\int_{\mathbb R} \frac{1}{(1+|y|)^{n}} dy <\infty$ for large $n\in \mathbb N.$ My Question is: Can we expect $\int_{\mathbb R} \sup_{|y|>|x|} \frac{1}{(1+|y|)^{n}} dx < ...
0
votes
1answer
62 views

Weak convergence on L^p

Let Let $X=[0,1]$ with the Lebesgue measure, find a sequence $\{f_n\}$ of measurable functions $f_n:X \rightarrow{ \mathbb{R} } $ such that: $f_n(x)\rightarrow{0}$ almost everywhere $x∈[0,1]$ ...