The harmonic-analysis tag has no wiki summary.

**12**

votes

**4**answers

459 views

### Is the sequence of Apéry numbers a Stieltjes moment sequence?

Consider the sequence of Apéry numbers
$$
A_n = \sum_{k=0}^n \binom{n}{k}\binom{n+k}{k}\sum_{j=0}^k \binom{k}{j}^3
= \sum_{k=0}^n \binom{n}{k}^2\binom{n+k}{k}^2 .
$$
In an email, physicist Alan Sokal ...

**3**

votes

**0**answers

72 views

### Is Besove 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}: ...

**0**

votes

**1**answer

51 views

### properties of frequency-uniform decomposition operator $\square_{k}^{\sigma}$

Let $\rho \in S(\mathbb R^{n})= \text{Schwartz space}, \ \rho:\mathbb R^{n}\to [0,1]$ be smooth radial function verifying $\rho(\xi)=1$ for $|\xi|_{\infty}\leq \frac{1}{2}$ and $\rho(\xi)=0$ for ...

**1**

vote

**0**answers

111 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.

**5**

votes

**0**answers

93 views

### Interpolation between L^1 and Sobolev Space

Suppose $D^\alpha$ is fractional differentiation of order $\alpha$ on the real line. Is it true that
$||D^\alpha f||_{L^\frac{2 \beta}{2 \beta - \alpha}({\mathbb R})} \leq C_{\alpha,\beta} ...

**1**

vote

**0**answers

73 views

### “Direct” proof (without hypercontractivity) of equivalence of moments?

Let $(x_i)_{i \in \mathbb{N}}$ be a family of independent $\pm 1$ centered Bernoulli random variables, and let $p, q > 1$. There exists a constant C such that for every (finite) linear combination ...

**3**

votes

**0**answers

118 views

### $S^{3}$-valued harmonic analysis

Edit:
Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider
$$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid ...

**2**

votes

**1**answer

244 views

### Beurling density and interpolation

Let $\Lambda=\{\lambda_n\}_1^\infty$ a set of points on the real line. We denote by $\bar{n}(r)$ the largest number of points in any interval $[x,x+r]$, $r>0$. Define the upper uniform density ...

**4**

votes

**2**answers

93 views

### Inverse Fourier of $\omega^{-1+{\rm i}\alpha} u(\omega-1)$

Let $\alpha$ be an arbitrary real number and define
\begin{align}
\widehat{f}(\omega)=\left\{\begin{array}{ll}
\omega^{-1+{\rm i}\alpha}, & \omega>1,\\
0, & \textrm{otherwise}.
\end{array}
...

**18**

votes

**2**answers

2k views

### Is this statement which relates the Fourier transform of a function to its singularities correct?

I am working on a problem, which would possibly relate the Fourier transform/series with the jump singularities of the function where the function itself or one of its derivatives jump. ((some kind of ...

**19**

votes

**1**answer

826 views

### A conjectured formula for Apéry numbers

A conjecture by the late Romanian mathematician Alexandru Lupas.
Posted in sci.math in 2005, but no proof was found.
Physicist Alan Sokal just reminded me of it, saying it was related to something he ...

**0**

votes

**1**answer

120 views

### How to get Fourier–Stieltjes transform on $\mathbb R$ from the nice function on $\mathbb T$ (periodic on $\mathbb R$)? [closed]

We put, $M(\mathbb R)= $The set of bounded complex Borel measure $\mu$ on $\mathbb R$ and for $\mu \in M(\mathbb R)$, we define $||\mu||:= |\mu| (\mathbb R) = \text {total variation of } \ \mu $; and
...

**1**

vote

**0**answers

33 views

### Smallest left bounded approximate identity in $L_1(G)\ast\mu$

Let $G$ be a locally compact group, and $\mu\in M(G)$ be an idempotent measure. If $(e_\alpha)$ is a standard approximate identity of $L_1(G)$, then $(e_\alpha\ast\mu)$ is a left approximate identity ...

**11**

votes

**2**answers

199 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. ...

**1**

vote

**0**answers

150 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 ...

**3**

votes

**0**answers

148 views

### Do $r$-th root Harmonic numbers ever sum to integers?

None of the Harmonic numbers $H_n = \sum_{k=1}^n 1/k$ are integers for $n>1$
(e.g., this MSE question and answer).
Q. Define the $r$-th root Harmonic number $H_n^{1/r} = \sum_{k=1}^n ...

**3**

votes

**1**answer

125 views

### Wiener algebra for nonabelian locally compact groups

By the Wiener algebra I mean the algebra of functions on the circle group having absolutely convergent Fourier series. Is there an analogue of Wiener algebra for nonabelian locally compact groups?
I ...

**4**

votes

**1**answer

228 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 ...

**3**

votes

**1**answer

236 views

### An integral estimate over rotations of the dyadic grid

I'm currently reading the paper Rectifiable Sets and the Traveling Salesman Problem (link) by Peter Jones (Invent. math. 102, 1-15 (1990)), and am having trouble understanding an integral estimate ...

**3**

votes

**2**answers

140 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 ...

**1**

vote

**0**answers

103 views

### Do the irreducible unitary representations of a locally compact group form a separating set for the Radon measures on the group?

Let $\mu$ and $\nu$ be two Radon measures on a locally compact group $G$. For every irreducible unitary representation $\pi$ of $G$ and vectors $u$ and $v$ from the corresponding Hilbert space $H_\pi$ ...

**12**

votes

**1**answer

1k 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 ...

**1**

vote

**0**answers

127 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
...

**0**

votes

**1**answer

138 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)$? [closed]

(This may be very simple question for MO; I had post it to math stack exchange few days back but I could not get any answer(or comment) to it)
It is well-known that, for $f,g \in L^{1}(\mathbb R).$ ...

**0**

votes

**0**answers

121 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, ...

**13**

votes

**1**answer

2k views

### Intuition for the Hardy space $H^1$ on $R^n$

the standard intuition for Lebesgue spaces $L^p(\mathbb R^n)$ for $p \in [1,\infty]$ are measurable functions with certain decay properties at infinity or at the singularities.
In particular, a ...

**10**

votes

**5**answers

505 views

### What are the best settings for the large scale geometry of locally compact groups?

My current research involves locally compact groups and from time to time I am tempted to check whether certain notions and statements of geometric group theory of finitely generated groups are still ...

**4**

votes

**1**answer

56 views

### Reference: Hardy space regularity of the Jacobian determinant

I'm looking for a reference, expository in nature, for the proof of the following theorem of Coifman, Lions, Meyer and Semmes.
Theorem:
For all $u\in W^{1,n}(\mathbb{R}^n;\mathbb{R}^n)$, ...

**0**

votes

**0**answers

21 views

### discrete Associated Legendre polynomials summation

I really apreciate if you can answer me:
How I can compute a discrete Associated Legendre polynomials summation, i.e.,
$$
\sum_{j=1}^{N} P_{\ell}^{|m|}(x_j)P_{\ell \,'}^{|m'|}(x_j)
$$
The ...

**7**

votes

**1**answer

206 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 ...

**2**

votes

**0**answers

134 views

### A decomposition of a representation via characters of a normal compact subgroup

This is connected to my question here. Let $K$ be a normal compact subgroup in a locally compact group $G$, $\widehat{K}$ the dual object for $K$, and $\mu_K$ the normed Haar measure on $K$ ...

**6**

votes

**2**answers

126 views

### Spherical functions for sl(2,Q_p)

I kindly would like to ask you the following- I am refering to page
175 in the Book by Gelfand, Graev, Shapiro, etc, on "Automorphic forms
..."
My question to which I would kindly ask you to answer ...

**2**

votes

**0**answers

50 views

### Justification of the convolution operation of $L^1(G)$ functions where $G$ is a LCA group (measurability)

Suppose $G$ is a locally compact abelian Hausdorff group (LCA), and $\lambda$ is the Haar measure on it. We all know the convolution of two $L^1(\lambda)$ functions $f$ and $g$ on $G$ is defined as
...

**6**

votes

**3**answers

763 views

### Property/Relations using Fourier series/transform, which give complete information about all the jump singularities of a function.

Consider a function which has only jump singularities of the form of the function itself or one of its derivatives jumping. Now let $\hat{f}(k)$ be its Fourier transform/series. We know the decay of ...

**2**

votes

**0**answers

78 views

### What is the source of this simple lemma in harmonic analysis over compact groups?

I recently needed this simple fact of harmonic analysis:
Let $G$ be a discrete abelian group and $X\subset G$ be a finite subset. Then for any $\epsilon>0$ the set $\Gamma_\epsilon=\{ ...

**5**

votes

**2**answers

205 views

### When is the group algebra $L^1(G)$ semisimple?

Let $G$ be locally compact group. Define group algebra as
$$L^1(G)=\{f\colon G\to\Bbb{C}\mid\int\lvert f(x)\rvert\, dx<\infty\}$$
with convolution product. When is the group algebra $L^1(G)$ ...

**0**

votes

**0**answers

36 views

### harmonic functions on hyperbolic plane x Real line

I am looking for references of harmonic functions(no growth condition) on the product of hyperbolic plane $\mathbb H^2$ with the real line $\mathbb R$. The metric is just the product one. Especially ...

**2**

votes

**2**answers

199 views

### Defining a Measure on Quotient Spaces

Let $G$ be a locally compact Hausdorff group with a left invariant Haar measure $\mu$ and a closed subgroup $H$. It is well-known (and not hard to prove) that $G/H$ possesses an invariant measure if ...

**13**

votes

**2**answers

252 views

### Can a continuous function on a compact group $G$ be interpreted as the sum in $C(G)$ of its Fourier series?

I asked this in math.stackexchange, but it disappeared from the "main list" almost immediately, so I hope it will be appropriate as a separate question in MO.
For a given function $f\in C(G)$ on a ...

**3**

votes

**1**answer

115 views

### Is any finite collection of points contained in a cut and project set with $\mathbb{R}^d$ as internal space?

In "Meyer Sets and their Duals" Moody proves that any Meyer set union a finite number of points is again a Meyer set. Additionally, any Meyer set is contained in a finite union of model sets whose ...

**3**

votes

**1**answer

63 views

### Is the annihilator of the intersection of two subgroups of a (countable) discrete abelian group generated by the annihilators of the two subgroups?

Let $G$ be a (countable) discrete abelian group and denote by $\hat{G}$ its Pontryagin dual, i.e. the compact abelian group of group homomorphisms $\chi:G \longrightarrow \mathbb{T}$. Recall that, for ...

**3**

votes

**0**answers

106 views

### Estimates of a bilinear oscillatory integral

Consider the operator $T_\lambda f(x)= \int_{\mathbb{R}^3}{\frac{\sin\lambda|x-y|}{|x-y|}\phi(x-y) f(y) dy}$, where $\phi\in C_0^{\infty}$, $\phi(x)=1$, when $|x|<1$ . My question is that do we ...

**5**

votes

**3**answers

303 views

### Decomposition of $L^2(\Gamma \backslash G)$

Let $G$ be a semisimple Lie group, and $\Gamma$ be an lattice (arithmetic) - typical examples I am thinking about would be $(SL_2(\mathbb{R}), SL_2(\mathbb{Z})$, or $(SL_2(\mathbb{C}), PGL_2(O_F))$ ...

**2**

votes

**1**answer

129 views

### To understand integral :$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$

I wants to understand the integrals of the form
$$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$$
where $\mu(\alpha)$ is a non decreasing function ...

**4**

votes

**0**answers

146 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 ...

**1**

vote

**1**answer

198 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 ...

**2**

votes

**0**answers

130 views

### Sum of Squares and Harmonic Functions

Let $a_0, a_1, \dots a_k$ be non-negative reals. Any homogeneous polynomial $p$ of degree $2k$ in $\mathbb{R}^{d}$ can be decomposed as
$$
p(x)=\sum_{i=0}^{k}c_i|x|^{2(k-i)}p_{2i}(x)
$$
for some ...

**2**

votes

**0**answers

125 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 ...

**3**

votes

**2**answers

341 views

### Ultrafilter-based Fourier-Walsh-like Functions

Here is a (little wild) question about Boolean functions with countably many variables and a wild analog for Fourier-Walsh functions and analysis based on them.
Let $x_1,x_2,\dots,x_n,\dots$ be ...

**3**

votes

**1**answer

235 views

### Can the Fourier series of a continuous function diverge on an uncountable set of measure zero?

I know that there exist continuous function $f: [0,2\pi]\rightarrow\mathbb{R}$ whose Fourier series diverges at all rational points of $[0,2\pi]$(c.f. Katznelson).We also know that the set of ...