5
votes
1answer
77 views

$\widehat{f\ast g}= \hat{f} \cdot \hat{g}$ for $f, \hat{f} \in L^{p}(\mathbb R)\cap C(\mathbb R) (1<p<\infty, p\neq 2), g\in \mathcal{S}(\mathbb R)$?

It is well-known that, for $f,g \in L^{1}(\mathbb R).$ Then, by Fubini's theorem, one can derive, $\widehat{f\ast g} = \hat{f} \cdot \hat{g},$ (that is, Fourier transform takes, convolution to point ...
1
vote
1answer
42 views

Inequality between Fourier coefficients implies inequality for $L^p$ norms on the circle

Given two functions from $L_p [-\pi,\pi]$, where $p\geq 2$, $p$ is an even integer, and $f_n>|g_n|$ for every $n$ (where $f_n$ is the $n$th Fourier coefficient), I need to prove that ...
4
votes
1answer
48 views

Weak* convergence in $(L^q)^*$ and convergence in $L^p$

Let $\{\phi_n\}$ be a sequence in $L^p(X)$. Assume that $\phi_n\to \phi$ weak* under the natural identification $L^p\cong (L^q)^*$. Of course, it is not true in general that $\phi_n\to \phi$ in $L^p$ ...
3
votes
1answer
34 views

Application of weak $L^p$ estimate besides for proving boundedness of some linear operator

For all $1\leq p< \infty$, weak-$L^p(\mathbb{R}^d)$ space is defined as a set of all functions $f$ such that $$\gamma^p|\{x\in \mathbb{R}^d: |f(x)|>\gamma\}|<\infty$$ for every ...
3
votes
1answer
45 views

How to show the completeness of the space of Fourier transforms $\mathcal{F}L^{1}$?

Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is, $$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$ with the ...
1
vote
2answers
41 views

$f_{n}\to f$ in $L^{1}\implies \hat{f_{n}}\to \hat{f}$ in $L^{1}$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R .$ Suppose there exists $f_{n}, \in L^{1}(\mathbb R)$ such ...
2
votes
1answer
150 views

$g, f, \hat {f} \in L^{1}(\mathbb R)\cap L^{2}(\mathbb R) \cap C_{0}(\mathbb R) \implies \widehat{(fg)}= \hat{f} \ast \hat{g} ? $

Let $f, g\in L^{1}(\mathbb R)$ and it Fourier transform of $f$, $\hat{f} (y) = \int _ {\mathbb R} f(x) e^{-2\pi i x \cdot y} dx, \ (y\in \mathbb R)$ and the convolution of $f $ and $g$; $f\ast g ...
3
votes
0answers
71 views

Closure of Schwartz space in homogeneous Besov space

Let $\dot{B}^s_{\infty,\infty}(\mathbb{R}^d)$ denote the homogeneous Besov space of order $s$ with second and third index $\infty$, i. e. the homogeneous Zygmund space. Let $\mathcal{S}(\mathbb{R}^d)$ ...
2
votes
0answers
56 views

Dual Lorentz characterization of $L^q$

I am trying to do Exercise A.4 of Terence Tao's book Nonlinear dispersive equations: local and global analysis. The exercise is on p.342 in Appendix A. The problem statement is: Let $f\in ...
1
vote
1answer
58 views

Why p>1, $L^p$ and $H^p$ are essentially the same?

the conclusion comes from http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.bams/1183538894 (the first page) $L^{p}$ is Lebesgue integral function space, ...
1
vote
0answers
77 views

Definition of $L^p(\mathbb T)$ with $\mathbb T$ the unit circle

I'm trying to define the $L^p$ spaces in the unit circle(denoted as $\mathbb T$), as Rudin's Real and Complex analysis does in page 88. I've defined a measure in $\mathbb T$ via Riesz's representation ...
3
votes
0answers
77 views

Mapping $G$ into its group algebra as left multiplication. Continuous?

I am reading an appendix on Group algebras which contains the following Proposition which I am trying to prove: Proposition: Let $G$ be a locally compact group, with $\zeta\in L^{p}(G)$ fixed. ...
8
votes
1answer
500 views

How to show convolution of an $L^p$ function and a Schwartz function is a Schwartz function

We have the Schwartz space $\mathcal{S}$ of $C^\infty(\mathbb{R^n})$ functions $h$ such that $(1+|x|^m)|\partial^\alpha h(x)|$ is bounded for all $m \in \mathbb{N_0}$ and all multi-indices $\alpha$. ...