All Questions
451 questions
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
3
answers
1k
views
Is there a Plancherel Theorem for Gowers norms?
In the process of counting arithmetic sequences in sets, the Gowers norms
$$ ||f||\_{U^s[N]}^{2^s} = \frac{1}{N^s} \sum_{\vec{h} ,\\, n } \Delta_{h_1}\dots\Delta_{h_s}f(n) $$
where the sum is $ \...
- 24.7k
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(\...
- 11.1k
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)$ ...
CommunityBot
- 1
3
votes
6
answers
1k
views
Reference for complex analysis jargon
I am not a (complex) analyst but it seems that some of the questions I am working on are related to the following concepts:
logarithmic capacity
transfinite diameter
Green's function of a compact ...
- 25
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 ...
- 2,071
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(\...
CommunityBot
- 1
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
1
vote
2
answers
938
views
Alternate definitions of $C^{1,\alpha}$ and $C^{1,\alpha}(\bar{D})$ maps
My question is about the precise definition regarding the following:
Let $f$ be an orientation-preserving $C^1$ diffeomorphism of the unit circle $S^1$. So $f'(b)$ exists and can be thought as a ...
- 60.5k
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, ...
- 61.9k
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,...
- 6,210
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 ...
- 13k
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 ...
- 8,559
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 ...
- 91.8k
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
7
votes
2
answers
1k
views
For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?
(This is essentially a continuation of my previous question, here.)
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...
CommunityBot
- 1
3
votes
2
answers
904
views
Corona Theorem in several variables
Hallo,
I have read about the Corona Theorem (see link:http://en.wikipedia.org/wiki/Corona_theorem). From this one ca deduce that: Let $f_{1}, ..., f_{n}$ be holomorphic bounded functions on the unit ...
- 25.8k
3
votes
0
answers
301
views
What information about a locally compact group $G$ is encoded in $C_r^\ast(G)$ which is not in $L^1(G)$?
Let $G$ be a locally compact group and let $ C_r^\ast(G) $ denote its reduced group $C^\ast$-algebra. Many features of a $G$ can be realized from $L^1(G)$ or $C_r^\ast(G)$. For example, $G$ is ...
CommunityBot
- 1
4
votes
1
answer
497
views
About the boundedness of a multiplication operator.
Let be $f$ a $2\pi-$periodic function and $\hat{f}(k)=\frac{1}{2\pi}\int_0^{2\pi}f(x)e^{-ikx}dx$. Consider the operator:
\begin{equation}
Tf(x)=\sum_{k\in\mathbb{Z}}sign(k)\ \hat{f}(k)\ e^{ikx}.
\end{...
- 16.2k
6
votes
1
answer
591
views
For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?
Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...
- 13k
0
votes
1
answer
302
views
An interpolation inequality.
For all $s>0$ define for $\epsilon\in(0,1)$ the function:
\begin{equation}
g(\epsilon)=\sum_{k=0}^{\infty}(1+k)^s(\sqrt{1-\epsilon})^k.
\end{equation}
Prove that $\exists C>0$ and $\phi(s)$ such ...
- 16.2k
3
votes
0
answers
145
views
Growth of inner functions on the disk
Recall that an inner function on the disk $D$ is a bounded analytic function on $D$ having radial limits of modulus one almost everywhere.
There has been many works on the growth of the inner ...
- 769
2
votes
1
answer
545
views
Characters separating points on Maximal Torus modulo Weyl group?
Let G be a compact Lie group, for example, SU(n). Let T be its maximal torus. Let W be its Weyl group.
Every finite-dimensional representation of G has a character, which is a function on G, T and T/...
- 52.9k
5
votes
2
answers
291
views
Structure of the unitary representation $L^2(N/M)$ when $N$ is a nilpotent Lie group
Hi All,
I am new to this (though I seem to be a latecomer); so forgive me if this is not your most favorite question:
I am trying to understand the structure (e.g., decomposition) of the unitary ...
- 81
4
votes
1
answer
243
views
When is Prim(A) of an infinite discrete group hausdorff ?
Does anyone know, if the following result has been proved ?
Let G be an infinite discrete group. A = L1(G) it's algebra and Prim(A) the set of prime ideals with spectral topology.
The result is :
...
- 21
8
votes
2
answers
1k
views
What is the simplest oscillatory integral for which sharp bounds are unknown?
I have either heard or read that sharp asymptotics and bounds for oscillatory integrals of the form
$ \int e^{i \lambda \Phi(x)} \psi(x) dx \quad \lambda \to \infty $
are unknown when the critical ...
- 156
0
votes
1
answer
722
views
Pointwise limit at Lebesgue's point
Dear MOs,
I am sorry if this problem is too elementary for someone. I just want to get confirmation.
Suppose $f\in L^1(R^d)$. Since almost all points are Lebesgue points by the Lebesgue ...
- 1,786
4
votes
1
answer
471
views
Ask for theory about the weighted L^2(R^d) space.
Dear MOs,
I am now considering the following norm:
$$
||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$
where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
- 42.8k
1
vote
0
answers
187
views
Injective modules over Fourier algebra
Is there any article on injective modules over Fourier Algebras?
Do we have anything about injectivity of $A(G)$ as a $A(G)$-bimodule?
- 25.8k
4
votes
2
answers
644
views
Does there exists a necessary condition for Lp multiplier?
Let $1 \leq p \leq 2$. A measurable function $m(\xi)$ is called a $L^p(R^n)$ ($L^p$ for convenience) multiplier, if $$\|m(D)\varphi\|/\|\varphi\|_{L^p} \leq C , \varphi \in L^p
$$ for some constant $C$...
- 90
2
votes
0
answers
807
views
Why groups that admit Folner Sequences are amenable
I've been looking at Folner's Condition recently, and I'm struggling to find a proof for why the existence of a Folner sequence on a locally compact group implies that it is amenable (and the converse ...
- 21
0
votes
1
answer
901
views
Schwartz space inequality
Let $g$ be a function in the Schwartz space $\mathscr S (\mathbb R)$. Show that for any $l \ge 0$, we have $\sup_x |x|^l |g(x-y)|\le A_l (1+|y|)^l$ by considering separately the cases $|x|\le 2|y|$ ...
CommunityBot
- 1
6
votes
0
answers
98
views
Do the translates of integrable function approximate its radial part?
For an integrable function $f$ on $\mathbb R^n$ we consider its ``radial'' part
$$R(f)(x)=\int_{\mathrm{SO}(n)} f(kx)dk.$$ What is the minimal condition on $f$ so that the span of translates of $f$ (...
- 415
1
vote
1
answer
295
views
A nice overview (and maybe derivation) of the Poincaré transformations of the Vector Spherical Harmonics
With $Y_{lm}(\vartheta,\varphi)$ being the Spherical Harmonics and $z_l^{(j)}(r)$ being the Spherical Bessel functions ($j=1$), Neumann functions ($j=2$) or Hankel functions ($j=3,4$) defining $$\psi_{...
- 21.5k
5
votes
2
answers
412
views
Wiener Tauberian Theorem for nonunimodular group
Is there a nonunimodular group for which Wiener's Tauberian theorem is true?
Is a locally compact topological group whose volume grows polynomially with radius always unimodular?
- 1,152
1
vote
2
answers
1k
views
Conformal transformations and harmonic analysis on the sphere
Consider the $n$-dimensional sphere $S^n$. I'm especially interested in the $n=4$ case. The Hilbert space $L^2(S^n)$ can be decomposed into a direct sum of eigenspaces of the Laplacian, which are ...
CommunityBot
- 1
1
vote
1
answer
244
views
Oscillatory integral decay & sublevel set growth
I am trying to understand how estimates on sublevel integrals imply estimates on oscillatory integrals. Specifically in this article by M. Greenblatt it says on page 7:
By well-known methods ...
- 96.4k
7
votes
2
answers
1k
views
Carleson's Theorem (on the Adeles and other exotic groups)
I have redone this question:
On $\mathbb R^n$ the Carleson Operator if defined by
$$Cf(x) = \sup_{R>0} \left \vert \int_{B_R(0)} e^{2\pi i x\cdot \xi} \widehat{f}(\xi) d \xi \right \vert. $$ (...
CommunityBot
- 1
5
votes
2
answers
958
views
L1 distance from a trigonometric susbspace
How to check, whether the $L^{1}$ distance between a finite exponential sum $S_{F}(x)=\sum\limits_{n\in F} \exp(inx)$ and the $L^{1}$-closure of subspace $\mathrm{span}\left(\exp(inx): n\in \mathbb{Z}\...
CommunityBot
- 1
2
votes
0
answers
290
views
Consequence of Modified Young's inequality
Let $f\in L^1(\mathbb R^n)$. Define operator $T_f(g)=|f|\ast g$ for functions $g$ on $\mathbb R^n$. The set of measurable functions $f$ on $\mathbb R^n$, such that $T_f$ is bounded from $L^p(\mathbb R^...
- 415
1
vote
2
answers
687
views
High dimensional beta integral (a typo in Stein's book "singular integrals")
Hello,
When I read Stein's book of Singular Integrals, at p. 118, there is an obvious mistake:
$$
\int_{R^n} |x-y|^{-n+\alpha} |y|^{-n+\beta}=\frac{\gamma(\alpha)\gamma(\beta)}{\gamma(\alpha+\beta)},...
CommunityBot
- 1
0
votes
0
answers
298
views
High dimensional beta integral (question following the previous post)
Hello,
This post is a question following the previous post. In one dimensional case, we have
$$
\int_0^x |y|^{1-\alpha} |x-y|^{1-\beta} d y = \frac{\Gamma(\alpha)\Gamma(\beta)}{\Gamma(\alpha+\beta)} |...
CommunityBot
- 1
8
votes
0
answers
349
views
Finding a dimension-free bound for a certain multiplier on Euclidean space
The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
- 141
3
votes
4
answers
2k
views
Suitable references for the the Stone-von Neumann Theorem
Hi all,
I am working on a mathematical physics project now and I need to understand the Stone-von Neumann Theorem properly. Wikipedia says that it is any one of a number of different formulations of ...
CommunityBot
- 1
9
votes
1
answer
2k
views
Rate of convergence of smooth mollifiers
How does one figure out/prove the rate of convergence (in some norm) of mollifiers given a function bounded in some other norm (say Sobolev space, Besov space)? Also, is there a dimensional analysis ...
- 61.9k
2
votes
0
answers
200
views
Fredholmness and invertibility in a C* algebra generated convolution-type operators
Let $PC$ be the algebra of complex-valued, piecewise-continuous functions from $[-\infty,+\infty]$, $SO$ be the algebra of bounded, continuous, complex-valued functions on $\mathbb R$ which are slowly ...
- 21
7
votes
3
answers
1k
views
A Question concerning the Fourier Transform of $\mathbb{R}$
Consider the classical Schwartz space $\mathcal{S}(\mathbb{R})$ together with the Fourier transform $\mathcal{F} : \mathcal{S}(\mathbb{R}) \rightarrow \mathcal{S}( \mathbb{R})$.
Consider the subspace ...
- 61.9k
3
votes
2
answers
3k
views
Eigenvalues convolution-type operator
Let $J_1$ be the Bessel function of the first kind and let $H_1(x) = \frac{J_1(|x|)}{|x|}$ for $n = 1$. Define the operator $Tf(x) = (f * H_1)(x)$ from $L^2$ to $L^2$.
Since the $H_1$-function is the ...
- 1,981