**2**

votes

**0**answers

95 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=\{ \gamma\in\...

**5**

votes

**2**answers

284 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

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

**4**

votes

**1**answer

122 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

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

**14**

votes

**2**answers

373 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

417 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

270 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

192 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 $c_i$...

**18**

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

147 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^...

**3**

votes

**1**answer

323 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

55 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

432 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

178 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

101 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

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

**5**

votes

**0**answers

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

**0**

votes

**1**answer

69 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

**2**answers

275 views

### Lattices in general totally disconnected locally compact groups

Besides automorphism groups of trees and buildings, I was wondering if the lattices in general totally disconnected locally compact groups have been studied in the literature? I appreciate if you ...

**0**

votes

**1**answer

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

**2**

votes

**1**answer

145 views

### What is the multiplicative unitary for SU_q(2) (or other quantum groups)?

Consider a (von Neumann algebraic) locally compact quantum group $(M, \Delta, \phi, \psi)$ where the von Neumann algebra $M$ is realized as operators on the Hilbert space $H$. There is a ...

**1**

vote

**0**answers

61 views

### Invertibility of Hankel operators?

Let $D$ be the unit disc in the complex plane and $P$ the Bergman projection mapping $L^2(D)$ onto the closed subspace $A^2(D)$ of holomorphic square-integrable functions (w.r.t. Lebesgue measure). ...

**6**

votes

**1**answer

484 views

### van der Corput lemma for oscillatory integrals

My question is about the van der Corput lemma for
$$
\int_a^b e^{i t \phi(x)} \psi(x) dx
$$
The version you find everywhere, e.g. on
http://www.tricki.org/article/...

**4**

votes

**0**answers

342 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}(...

**4**

votes

**0**answers

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

**1**

vote

**2**answers

156 views

### Numerical calculation of Fourier transform with a nice error bound

I'd like to have an algorithm for a numerical calculation of Fourier transform with a nice error bound. To be precise, if $f$ is a function from $L_1(R)$, $F[f]$ is it's exact Fourier transform and $...

**0**

votes

**1**answer

209 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^...

**0**

votes

**1**answer

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

**1**

vote

**0**answers

130 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; ...

**2**

votes

**1**answer

153 views

### Fourier inversion

I have certain doubts about a classical Fourier inversion theorem.
According to it (this is a theorem from "Panorama of Harmonic Analysis" by Krantz),
if $f$ and $\hat{f}$ are both in $L_1(R)$ and ...

**3**

votes

**1**answer

137 views

### Siegel domains and cuspidal functions

Let $F$ be a number field and $\mathbb{A}$ the ring of adeles over $F$. We consider $P_{n}$ the mirabolic subroup of $GL_{n}$.
Do we have a analog of Siegel subset for the quotient $GL_{n}(\mathbb{A}...

**6**

votes

**1**answer

151 views

### Oscillatory integrals of algebraic functions

Consider an algebraic function $\phi$ on $R^{d}$.
By this I mean that there exists a polynomial $P$
with coefficients in $R[x_1,...,x_d]$ (coefficients are polynomials!)
such that $P(\phi) = 0$
Let $...

**0**

votes

**0**answers

130 views

### An inequality for Fourier transform

Assume that $\lambda_1$ is the smallest eigenvalue of the Dirichlet Laplacean for the domain $\Omega\subset \mathbf{R}^n$ and let $0<\alpha\le 1$. Is the following statement well-known?
Let $f\in ...

**1**

vote

**0**answers

67 views

### Counting frequencies of occurrence of patterns within a sequence using harmonic analysis?

Assume that we are given a sequence $\mathbf x := X_1,\dots,X_n \in \mathbb N^n$ for some $n \in \mathbb N$. I am interested in calculating the frequency of occurrence of some fixed sequence $\mathbf ...

**2**

votes

**2**answers

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

**2**

votes

**2**answers

139 views

### Seeking a class of functions for which sums approximate integrals well

Is there a "natural" class of integrable functions $f: {\mathbb R} \rightarrow {\mathbb R}$ for which it is true (and, preferably, not too hard to prove!) that $\sup_{0 \leq a < h} |h S(a,h) - I|$ ...

**-3**

votes

**1**answer

196 views

### $L^{1}(\mathbb R) \cap L^{2}(\mathbb R) \cap C_{0}(\mathbb R)\subset H_{1}(\mathbb R)$?

Put, $C_{0} (\mathbb R)=\{f:\mathbb R \to \mathbb C: f \text { is continuous on} \ \mathbb R \ \text {and } \lim_{|x|\to \pm \infty}f(x)=0 \}$(= Continuous functions on $\mathbb R$ vanishing at $\...

**0**

votes

**1**answer

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

**1**

vote

**1**answer

176 views

### Result of Beurling concerning absolute convergence of Fourier series of |f|

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)$ and we put,
$$A(\mathbb T):= \{f\in L^{1}(\...

**1**

vote

**1**answer

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

**12**

votes

**0**answers

427 views

### Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters or some other semi-group properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the classical ...

**0**

votes

**1**answer

226 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

**1**answer

253 views

### Absolute convergence of multi-dimensional Fourier series

For a Lipschitz function $f$ defined in $[0,2\pi]^d$ for $d>1$, is that true
that the multi-dimensional Fourier series converges absolutely?
In other words, $\sum_{k\in \mathbb{Z}^d}|\hat{f}(k)|<...

**0**

votes

**0**answers

70 views

### Does there exists $f\in A_{\mathbb R}(\mathbb T)$ with $||f||=r$ such that $||e^{if}||=e^{r}$?

Let $\mathbb Z$, the set of integers, be a group with respect to addition and its dual group is the $\mathbb T = \{z\in \mathbb C : |z|=1\}$ , one dimensional torus. Put,
$\ell^{1}(\mathbb Z)= \{g:\...

**2**

votes

**1**answer

466 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\...

**3**

votes

**1**answer

87 views

### Number of small projections

Suppose $X$ is a finite subset of the plane and for $0\leq \theta<\pi$, let $l_\theta$ denote the line through the origin having angle $\theta$ with the positive $x$-axis. For how many values of $\...

**9**

votes

**0**answers

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

**3**

votes

**1**answer

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

**1**

vote

**0**answers

86 views

### Better bound for Hardy-Littlewood maximal function

I have one question about Theorem 1 on page 3 in this notes http://www.cims.nyu.edu/~chou/notes/harmonic.pdf Is there any better bound $\frac{A}{\alpha^{t}}\|f\|_{1}$ for some $t>1$ in b)? What is ...