All Questions
451 questions
3
votes
1
answer
518
views
Connection between the Fourier transform of f and |f|
If $f\in L^p(R)$ with $1\leq p\leq 2$, then Hausdorff-Young inequality implies that the Fourier transform $\widehat{f}\in L^{p'}$, $p'$ is the dual exponent of $p$, and
$$
\|\widehat{f}\|_{L^{p'}}\...
- 425
2
votes
0
answers
185
views
Is the isomorphism between $BMO/\mathbb{R}$ and $(H^1(\mathbb{R}^n))^{\star}$ isometric?
Let $BMO$ the space of bounded mean oscillation functions on $\mathbb{R}^n$ equipped with the Lebesgue measure. If $Q\subset \mathbb{R}^n$ a cube, let $m_Q f$ the average of a function $f\in L^1_{loc}(...
- 1,616
7
votes
0
answers
927
views
What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?
I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it.
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$ \operatorname{supp} \phi \...
- 1,051
10
votes
2
answers
926
views
Isomorphisms between spaces of test functions and sequence spaces
I am in the process of writing some self-contained notes on probability theory in spaces of distributions, for the purposes of statistical mechanics and quantum field theory. Perhaps the simplest ...
2
votes
1
answer
352
views
Wendel Theorem for center of group algebra
Let $G$ be a locally compact SIN-group. Then $ZL^{1}(G)$ has a bounded approximate identity. I want to prove that the multiplier algebra of $ZL^{1}(G)$ is equal to $ZM(G)$ (center of measure algebra). ...
8
votes
0
answers
278
views
Pseudodifferential operators on compact manifolds with boundary
I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...
- 81
4
votes
1
answer
198
views
Is this inequality true?
Let $\Omega$ be a bounded domain with smooth boundary. Let $$ S=\{u\in C^2(\overline \Omega): \frac{\partial u}{\partial n}=0 \text{ on } \partial\Omega \}.$$ Fix $\Phi\in S$ with $\Phi(x)>0$ for ...
- 41
3
votes
1
answer
640
views
Relationship between LlogL and Hardy spaces
I think that for positive, one-dimensional, periodic functions, the following statement is true:
$$
f\in L log L(\mathbb{T})\Leftrightarrow f\in H^1(\mathbb{T}),
$$
where
$$
LlogL=\{f\in L^1\,s.t.\,\...
- 843
6
votes
3
answers
2k
views
Generalized Hardy-Littlewood-Sobolev Inequality
The Hardy-Littlewood-Sobolev Inequality says that
$$\text{for $p,q,r\in (1,+\infty)$ such that }\quad
1-\frac1p+1-\frac1q=1-\frac1r,\tag {$\sharp$}
$$
$$
\exists C, \forall u\in L^p(\mathbb R^n),\...
- 16.2k
5
votes
1
answer
1k
views
Are Besov spaces $B^{s}_{p,q}$ invariant under Fourier transform?
(This may be very easy question for MO; as I am just trying to understand Besov spaces)
Let $\phi \in C^{\infty}(\mathbb R^{n})$ with
$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: |\xi|...
- 1,051
3
votes
0
answers
140
views
convergence of $e^{it\Delta}f$
I heard of a conjecture that
$e^{it\Delta}f\rightarrow f$ a.e. as $t\rightarrow 0$ for $f\in H^{1/4+\epsilon}$
but couldn't find a proper reference.
- 31
1
vote
1
answer
480
views
Is there an asymptotic bound for this oscillatory integral?
I have an oscillatory integral:
$$ \int u(x,y) e^{i\lambda f(x,y)} dx $$
with $f(x,y)\in \mathbb{C}^{\infty}$ a complex-valued function in a neighborhood of $(0,0)$ satisfying:
$$ \text{Im} f \geq ...
- 93
3
votes
1
answer
326
views
Spectral multipliers vis-a-vis Differential geometry
Let us mention two papers for examples: this one by Seeger and Sogge and this by Cheeger, Gromov and Taylor. One can also mention papers by Stein, for example, this one. There are also many others of ...
- 141
2
votes
2
answers
741
views
Bochner's theorem for measures of positive type
Is there a version of Bochner's theorem characterizing measures of positive type on a locally compact group? By a measure of positive type on the group $\Gamma$, I mean a measure $\mu$ satisfying $\...
- 195
1
vote
0
answers
153
views
On sequence of functions $(h_n)$ satisfying $\Vert\sum_{n=1}^\infty f * h_n\Vert=\sum_{n=1}^\infty\Vert f*h_n\Vert$ for all $f\in L_1(G)$
Let $(h_n)$ be a sequence of non-zero functions in $L_1(G)$ (where $G$ is a locally compact group) with the property
$$
\left\Vert\sum_{n=1}^\infty f * h_n\right\Vert=\sum_{n=1}^\infty\Vert f*h_n\Vert
...
- 1,697
14
votes
2
answers
588
views
Heuristic interpretation of the 'third index' for Besov and Triebel-Lizorkin spaces
For $p,q \in (0,\infty)$ and $s \in \mathbb{R}$, one can define certain function spaces, $B_s^{p,q}(\mathbb{R}^n)$ and $F_s^{p,q}(\mathbb{R}^n)$, the Besov and Triebel-Lizorkin spaces respectively. ...
user14166
1
vote
0
answers
269
views
$L^{p}(\mathbb R)\subset L^{1}(\mathbb R) \ast L^{p}(\mathbb R), (1< p< \infty)$?
Let $\mathbb T$ be a circle group.
In 1939, Salem, has shown that, every member of $L^{1}(\mathbb T)$ can written as a product(convolution) some other two members of $L^{1}(\mathbb T),$ that is, $L^...
- 1,051
8
votes
1
answer
453
views
C* algebras of Almost Periodic Functions
Suppose we take, for example, the $C^*$-algebra which is the sup norm closure of the exponentials $e^{2 \pi i ax}$ where $a \in \mathbb{Z} + \theta \mathbb{Z}$ for $\theta$ an irrational number. This ...
- 1,010
2
votes
0
answers
276
views
pointwise limit of uniformly bounded sequence in $A(\mathbb T)$ is again in $A(\mathbb T)$?
Let $\mathbb T$ be a circle group, and $\hat{f}(n)= \frac{1}{2\pi}\int_{0}^{2\pi} f(t) e^{-int} dt;$ $(n\in \mathbb Z, f\in L^{1} (\mathbb T)).$
Put $A(\mathbb T)= \{f\in C(\mathbb T): \hat{f}\in \ell^...
- 1,051
5
votes
0
answers
286
views
$f, \hat{f} \in L^{p}\cap L^{\infty} \implies f\in B(\mathbb R)$ (algebra of Fourier- Stieltjes transforms )?
For a bounded complex Borel measure $\mu$ on $\mathbb R$, we define, its Fourier-Stieltjes transform, $\hat{\mu}(y)= \int_{\mathbb R} e^{-2\pi ix\cdot y} d\mu(x); (y\in \mathbb R).$
Let $1\leq p \leq ...
- 1,051
3
votes
0
answers
286
views
Tauberian theorem from generalized Gelfand transform
Wiener's theorem gives the necessary and sufficient conditions for the set of translates of a set of functions to be dense in $L^1(\mathbb{R}^n)$, which translates algebraically into a statement about ...
- 1,049
5
votes
0
answers
146
views
Special elements in $L^{\infty}(G)^*$
Let $G$ be a locally compact group. Let $M(G)$ denote the measure algebra and $L^1(G)$ denote the group algebra on $G$. Then $M(G)$ acts on $L^1(G)$ by convolution. So by duality $M(G)$ acts on $L^1(G)...
- 306
1
vote
1
answer
289
views
Closed sets in 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,051
4
votes
0
answers
551
views
$f,g , |f|f, |g|g \in A(\mathbb R) \ \text{(Banach algebra)} \implies \left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$?
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 ;$ and consider Fourier algebra
$$A(\mathbb R):= \{f\in L^{1}(...
- 1,051
4
votes
0
answers
434
views
Scattering for rapidly decaying solutions of NLS
Cazenave and Weissler proved in their paper "Rapidly Decaying Solutions
of the Nonlinear Schrödinger Equation" the following property.
Given the problem
\begin{equation}
\left\{
\begin{array}{rl}
...
- 403
0
votes
1
answer
272
views
Can we expect $\left\||f|^{2}f-|g|^{2}g\right\|\leq C ||f-g||$ in the Banach algebra $A(\mathbb T)$ ?
Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$.Consider the space,
$$A(\mathbb T):= \{f\in L^...
- 1,051
0
votes
1
answer
475
views
uniqueness for Poisson equation in R^d with mildly regular data
I'm interested in Poisson's equation $-\Delta u=f$ set in the whole space $R^d$ (let's say $d\geq 3$ for simplicity) when $f$ has very little integrability, specifically $f\in L^{1+\varepsilon}$ for ...
- 5,380
1
vote
0
answers
164
views
How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?
(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
- 1,051
1
vote
1
answer
452
views
Does Hilbert Transform commute with Function Multiplication modulo Compact on $L^p(R)$?
Define Hilbert Transform (HT) as the convolution with the function $1/x$. E. Stein proves in his book
Singular Integrals and Differentiability Properties of Functions
that HT, when understood as a ...
- 365
1
vote
1
answer
484
views
When one can expect $\widehat{(fg)} = \hat{f} \ast \hat{g}$; $f, g\in L^{1} (G)$?
Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows:
$$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$
It is ...
- 1,051
23
votes
0
answers
1k
views
Laplace Transform in the context of Gelfand/Pontryagin
Questions:
Is there a class of objects (presumably related to locally compact abelian groups) for which the quasi-characters canonically generalize the Laplace transform?
If not, is there a ...
- 1,124
5
votes
1
answer
1k
views
Is every distribution a linear combination of Dirac deltas?
My question is whether Dirac-type distributions over an Abelian group define a basis of the Schwartz-Bruhat space $\mathcal{S}(G)^\times$ of tempered distributions on $G$, so that any distribution $f\...
11
votes
0
answers
364
views
Carleson's Theorem on Manifolds
Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...
- 1,124
11
votes
1
answer
2k
views
Understanding Bruhat's notion of Schwartz function
I am trying to understand Bruhat's generalized Schwartz functions over (Hausforff) locally compact Abelian groups [1], following this paper [2] by Osborne. There, the Schwartz-Bruhat space $\mathscr{...
25
votes
3
answers
13k
views
Fourier transform of the unit sphere
The Fourier transform of the volume form of the (n-1)-sphere in $\mathbf R^n$ is given by the well-known formula
$$
\int_{S^{n-1}}e^{i\langle\mathbf a,\mathbf u\rangle}d\sigma(\mathbf u) = (2\pi)^{\nu ...
- 31.5k
4
votes
1
answer
424
views
eigenfunctions of the Fourier transform in the Schwartz space
Recall that $L^2(\mathbb R)$ decomposes into the direct sum of the eigenspaces of the Fourier transform corresponding to its four eigenvalues, namely the four fourth roots of unity. If $f\in L^2(\...
1
vote
0
answers
129
views
Differentiability of $f*g$ on the circle, for integrable f, bounded g, and some decay of the Fourier coefficients of f
If $f\in L^1(\mathbb{T})$ and $g\in L^\infty(\mathbb{T})$ where $\mathbb{T}$ is the circle, such that $\hat{f}\in L^{p}(\mathbb{Z})$ for some $1\leq p<\infty$, do we have that $f*g$ is ...
- 647
1
vote
0
answers
154
views
A problem concerning measures on locally compact spaces
I am stuck on a question for quite sometime now, although in the text it is said to be "apparent". The problem goes as the following :
Let $X$ and $Y$ be locally compact Hausdorff spaces. Then $M(X)$ ...
- 111
8
votes
2
answers
3k
views
$L^p$-norm of Fourier series in terms of coefficients, $p \neq 2$
It is known that the $L^2$-norm of a Fourier series equals the $l^2$-norm of the coefficients. Are there similar results in the case of $L^p$-norm for $p\neq 2$? Can it be expressed explicitly in ...
- 176
1
vote
1
answer
260
views
A proof of energy functional appearing in the regularity of elliptic and parabolic equations
I have got trapped in this problem for nearly two years when I dealt with regularity of solutions of elliptic and parabolic equations. I have not found a nice proof to support this assertion. Now I am ...
- 11
1
vote
0
answers
134
views
Tauberian measures on a locally compact abelian group
Given a locally compact abelian group $G$ with Haar measure $m$, it is well-known that there exist measures $\mu\in M(G)$ which are singular (with respect to $m$), but the convolution product $\mu\ast\...
- 4,461
6
votes
1
answer
290
views
Does the topological Varopoulos algebra consist of functions that are continuous and Varopoulos norm bounded?
Let $X_1,\dots,X_n$ be compact Hausdorff spaces. Let's define the Varopoulos algebra as the projective tensor product: $$V(X_1,\dots,X_n) := C(X_1) \hat{\otimes} \dots \hat{\otimes} C(X_n),$$ i.e. the ...
- 4,010
2
votes
0
answers
104
views
Fourier multiplier with a singularity on a convex curve
Let $h$ be a strictly convex function such that $h(0) = h'(0)=0$. Let $\Phi: \mathbb{R}^2 \to \mathbb{R}$ be a $C^{\infty}$-function with compact support (say, $\Phi$ is supported on $[-1,1]\times[-1,...
9
votes
1
answer
3k
views
How differentiable is the convolution of two continuous functions?
The question is really simple:
Given
$$
f, g\in C^\alpha_c(\mathcal{R}^d)
$$
is
$$
f*g\in C^d_c?
$$
I came up with a formal argument using the decay of the Fourier transform of continuous functions, ...
- 165
5
votes
1
answer
635
views
Poisson Summation Formulas for Cut and Project Quasicrystals
In Lagarias' paper "Mathematical Quasicrystals and the Problem of Diffraction" http://www.math.lsa.umich.edu/~lagarias/doc/diffraction.pdf he discusses various ways one might get Poisson summation ...
- 1,010
3
votes
1
answer
142
views
Matched pair of locally compact groups
In measure theoretic language there is a notion of matched pair of locally compact (l.c.) groups due to Baaj-Skandalis-Vaes. A pair $(G_{1}, G_{2})$ is called a matched pair of l.c. groups if there ...
- 33
0
votes
1
answer
168
views
local moments of measures whose Fourier transform vanish in an interval
Assume h is a measure whose Fourier transform vanishes in an interval $[-\Omega,\Omega]$. I'm interested in obtaining inequalities of the form
\begin{equation*}
\int_{-\delta}^{+\delta}|h|(dt)\le C(\...
- 859
3
votes
2
answers
303
views
On lower bounds of exponential frames in l1 norm
Let $\{t_k\}_{k=-\infty}^\infty$ be a sequence of real numbers.
I'm interested in finding the largest number A such that
\begin{equation*}
\int_{-\Omega}^\Omega|\sum_{k=-\infty}^{+\infty}c_ke^{2\pi i ...
- 859
2
votes
2
answers
161
views
Non-global oscillation of banded Fourier transform
Can we say something like monotonicity, growth rate and oscillation of the Fourier transform of a banded function $f$ with support $[0, N]$
$$\mathcal{F}f(\xi) = \int_{0}^N f(x)e^{-ix\xi}dx.$$
Of ...
- 55
0
votes
0
answers
146
views
How to bound Haar coefficients in terms of total variation?
I'm trying to get the basic idea behind the proof of Theorem 8.1 of this paper, but I'm having difficulty. Specifically, it says:
We shall show that there is a set $\Lambda_n\subset\mathcal{D}$ such ...
- 7,633