# Tagged Questions

**2**

votes

**1**answer

103 views

### Fourier transform (their inverse)

Assume that $D$ is the unit ball in $\mathbb{R}^n$ and let $f\in C_0^\infty(D)$. Let $a>0$ and let $F$ be the Fourier transform. Define $$g(x)= F^{-1} (|x|^{-2a} \cdot (F f)(x)).$$ My question is ...

**9**

votes

**0**answers

243 views

### Reciprocal polynomials with roots off the unit circle

A polynomial is called reciprocal if its coefficients read forwards are the same as those read backward - there is an obvious translation of reciprocal polynomials into cosine polynomials (since a ...

**3**

votes

**0**answers

86 views

### A question on Plancherel measure for $p$-adic group

Let $G$ be a reductive group over a $p$-adic field. My understanding is that the Plancherel measure on $G$ is a measure on the unitary dual $\hat{G}$.
But at the same time, for example, in his famous ...

**0**

votes

**0**answers

51 views

### computational question concerning singular integral theory

Let $m\in C^\infty(\mathbb{R}^d-\{0\})$ be homogeneous of degree zero and has mean zero on the sphere$(S^{d-1})$. Then $m$ defines a tempered distribution and $\partial_j^dm\in S'(\mathbb{R}^d)$ is ...

**3**

votes

**1**answer

147 views

### Tangent space of the Fourier algebra $A(G)$

Let $G$ be a real Lie group and $A(G)$ be its Fourier algebra. Let us call a linear continuous functional $f:A(G)\to{\mathbb C}$ a tangent vector of $A(G)$ in the point $a\in G$, if it satisfies the ...

**4**

votes

**0**answers

132 views

### What do we know about isospectral Cayley graphs?

Let $\Gamma_1=\Gamma_1(G_1,S_1)$ (respectively $\Gamma_2=\Gamma_2(G_2,S_2)$) be a Cayley graph for the group $G_1$ and the finite generating set $S_1$ (respectively $G_2$ and the finite generating set ...

**3**

votes

**1**answer

145 views

### When is the Fourier algebra $A(G)$ enough close to the Fourier-Stieltjes algebra $B(G)$?

I am reading P.Eymard's paper on the Fourier algebras of locally compact groups, and I have several questions about his constructions. I asked one of them in math.stackexchange, so far without ...

**4**

votes

**2**answers

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

**2**

votes

**2**answers

138 views

### When is the induced representation factored through the initial one?

Let $H$ be an open subgroup in a locally compact group $G$, $\iota:H\to G$ the embedding of $H$ into $G$, $\pi:H\to B(X)$ a unitary representation of $H$ in a Hilbert space $X$, and $\rho:G\to B(Y)$ ...

**5**

votes

**1**answer

331 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}: ...

**2**

votes

**0**answers

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

**7**

votes

**0**answers

153 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} ...

**2**

votes

**0**answers

97 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

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

**13**

votes

**4**answers

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

**4**

votes

**2**answers

126 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}
...

**20**

votes

**1**answer

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

**2**

votes

**0**answers

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

**1**

vote

**0**answers

188 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

170 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

181 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

260 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

**2**answers

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

**0**

votes

**1**answer

166 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).$ ...

**1**

vote

**0**answers

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

**11**

votes

**2**answers

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

**0**

votes

**0**answers

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

**4**

votes

**1**answer

79 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)$, ...

**3**

votes

**1**answer

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

**1**

vote

**0**answers

109 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$ ...

**7**

votes

**1**answer

238 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

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

**2**

votes

**0**answers

85 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=\{ ...

**2**

votes

**0**answers

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

**5**

votes

**2**answers

247 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)$ ...

**6**

votes

**2**answers

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

**3**

votes

**1**answer

94 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

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

**13**

votes

**2**answers

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

**5**

votes

**3**answers

369 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

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

**2**

votes

**0**answers

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

**19**

votes

**2**answers

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

**2**

votes

**0**answers

142 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

**1**answer

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

**1**

vote

**0**answers

48 views

### Special case of Forced Harmonic Oscillator

$$ \frac{d^2l}{dt^2} + c \frac{dl}{dt} +k= F_0\sqrt{1-l^2}$$
Either a closed form or something like given initial conditions, the max value of $l$. For small $l$, this boils down to simple step ...

**9**

votes

**2**answers

353 views

### Entropy for Haar measure on $O(n)$

Let $G$ be a locally compact group. A measure $\mu$ is the right-Haar measure on $G$ if for every $g\in G$ and $E\subseteq G$ Borel set $\mu(Eg)=\mu(E)$. It is known that every locally compact group ...

**3**

votes

**0**answers

143 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**

vote

**1**answer

86 views

### $L^p$ estimate for (powers of) a Laplacian with inverse square potential

I need an estimate of the form
$$ \|v\|_{L^p} \le C \|(K-\Delta- c|x|^{-2})^s v\|_{L^p} $$
where $K>0$ can be large if necessary, $c$ is positive but below the Hardy constant $(n-2)^2/4$, where $n$ ...

**2**

votes

**0**answers

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