# Questions tagged [harmonic-analysis]

Harmonic analysis is a generalisation of Fourier analysis that studies the properties of functions. Check out this tag for abstract harmonic analysis (on abelian locally compact groups), or Euclidean harmonic analysis (eg, Littlewood-Paley theory, singular integrals). It also covers harmonic ...

**0**

votes

**0**answers

60 views

### Transformation of Fourier Transform

Suppose that $f$ is a function with a Fourier transform, and that $g:\mathbb{R}\rightarrow \mathbb{R}$ is a smooth function such that $g\circ f$ has a Fourier transform also.
Is there an expression ...

**2**

votes

**0**answers

63 views

### Number of lattice points on spheres with center not at the origin

Let $k\ge1$. It is known that the number of lattice points on the $k$-sphere $S^k(0)$ (center at the origin, radius $R$), namely the size of $\mathbb{Z}^{k+1}\cap S^k(0)$, is bounded by $R^{k-1+\...

**4**

votes

**1**answer

60 views

### Reference for Shalika germs of GL(n)

I was reading the two Repka papers where he computes the leading and subleading Shalika germs for $GL_n$ and I was wondering, where are we since then? Have these germs (and the integrals) been ...

**1**

vote

**1**answer

77 views

### Multidimensional improper Riemann integrals with oscillatory kernels: Existence

I have asked this question three weeks ago here
https://math.stackexchange.com/questions/2998601/does-this-oscillatory-integral-exist/2998930#2998930
but received no relevant answers.
Let $n\geq 2$ ...

**0**

votes

**0**answers

47 views

### A comparison between a function and its convolution

Assume that $f$ is a $L^p$ integrable function for $1\le p\le P_0$, with $P_0$ a positive constant. L is a smooth compactly supported function. Define $L_\epsilon(x) = 1/\epsilon^n L(x/\epsilon)$. Is ...

**4**

votes

**0**answers

152 views

### Lower bound for some sums of roots of unity

Let $n$ be a positive integer (assume $n$ is prime for simplicity), and let $x_k = \pm1$, for $k = 0,1,2,..., n-1$. Let $\rho$ be an $n-$th primitive root of unity, I am interested in a lower bound ...

**4**

votes

**0**answers

92 views

### Chapter X, Section 2, Proposition 1 of Stein's harmonic analysis

The Proposition claims:
Suppose we are given a countable collection $\{d\mu_j\}$ of finite nennegative measure on $\mathbb R^n$, supported in a fixed compact set. Define the maximal operator
$$ Mf(x)...

**6**

votes

**1**answer

213 views

### Is $\frac{\sin |\xi|}{|\xi|}$ in range of Fourier Transform for $n \ge 3$?

Does there exist $f \in L^1(\mathbb{R}^n)$ s.t., $\displaystyle \widehat{f}(\xi) = \frac{\sin |\xi|}{|\xi|}$ in case of dimension $n \ge 3$?
It is known that for $n = 2$, the function $\displaystyle ...

**5**

votes

**1**answer

144 views

### Positive-definiteness of radial sinc function in three dimensions

In dimension one, it is well known that $\mathcal{F}\chi_{(-1,1)}=\frac{\sin{x}}{x}$. This implies, in particular, that $\frac{\sin{x}}{x}$ is a definite positive function. I wonder if a similar ...

**4**

votes

**1**answer

311 views

### Classification of compact connected abelian groups

It is known that torsion-free compact abelian groups are exactly the product of the maximal solenoid group $\Sigma_{(2,3,\cdots)}$ (which is the Pontryagin dual of the additive group $\mathbb{Q}$ of ...

**1**

vote

**0**answers

30 views

### Y-transforms of products of Struve functions and exponential functions?

In the Bateman Manuscript Project's Table of Integral Transforms, there are several identities for Y-transforming (or similarly but more familiarly Hankel-transforming) certain special functions with ...

**8**

votes

**1**answer

120 views

### Finite multiplicities

Let $G$ be a locally compact group and $\Gamma$ a lattice in $G$.
Is it known whether the space
$$
\mathrm{Hom}_G\left(\pi,L^2(\Gamma\backslash G)\right)
$$
is finite dimensional for $\pi\in\widehat ...

**0**

votes

**0**answers

57 views

### Separable measures on compact groups

Let us say that a (signed, finite) measure $\mu$ is separable if $L_1(|\mu|)$ is a separable Banach space.
EDIT: Suppose that $G$ is a locally compact group such that each measure on $G$ is ...

**2**

votes

**0**answers

56 views

### Estimation fractional Sobolev norm by Littlewood-Paley projection

Let $1 < p < \infty$, $s > 0$, $f\in S'(\mathbb{R}^d)$ with sobolev norm
$\|f\|_{W^{s, p}} = \|(1-\Delta)^{s/2}f\|_p = \|(1 + 4\pi^2 |\xi|^2)^{s/2} \hat{f}(\xi))^\check{} \|_p$.
We need to ...

**10**

votes

**2**answers

854 views

### Differentiability of Fourier series

Consider the function defined by the Fourier series
$$ f(x;\alpha) = \sum_{n=1}^\infty \frac{1}{n^\alpha} \exp(i n^2 x ) , $$
where $\alpha >1 $.
For what values of $\alpha $ is $f$ ...

**2**

votes

**1**answer

207 views

### Constant in the Marcinkiewicz-Zygmund inequality

Let $f : \mathbb{R} / \mathbb{Z} \to \mathbb{C}$ be a trigonometric polynomial of degree $n$ and $m-1 \geq n$ be an integer. The Marcinkiewicz-Zygmund inequality asserts $$\int |f|^p \leq \frac{C_p}{...

**0**

votes

**0**answers

38 views

### What are tools we need to prove scattering result for NLS when propagator is unitary?

Consider nonlinear Schrödinger equation (NLS)
$$i\partial_t u + \Delta u =F(u) , u(x,0)=u_0$$
where $F$ is some nonlinearity.
Assume that there exists Banach space $X$ so that $\|e^{it\Delta} f\|_{X}...

**2**

votes

**0**answers

30 views

### Adjacent parabolic subgroups and proportionality to $\alpha^{\vee}$

Let $P = MN$ be a parabolic subgroup of a $p$-adic reductive group $G$ with split component $A_M$. There is bijection from the set of parabolic subgroups of $G$ with Levi $M$ and the chambers of $\...

**1**

vote

**0**answers

62 views

### The convergence of the factor $\gamma(P)$ in the Iwasawa decomposition

Let $G$ be a connected, reductive group over a $p$-adic field $k$, $A_0$ a maximal split torus of $G$, and $P = MU$ a parabolic subgroup with $M$ containing $A_0$. Let $\overline{P} = M \overline{U}$ ...

**1**

vote

**1**answer

73 views

### Integration over a reductive group $G$ using the constant $\gamma(P)$

Let $G$ be a connected, reductive group over a $p$-adic field. Let $A_0$ be a maximal split torus of $G$ and $P = MU$ a parabolic subgroup with Levi $M$ containing $A_0$, and opposite parabolic $\...

**3**

votes

**0**answers

92 views

### A generalization of the character group

Let $G$ be a group.
We define $$\tilde{G}=\{\phi:G \to \mathbb{T}\mid \phi(gh){\phi(g)}^{-1}{\phi(h)}^{-1}\in Tor(\mathbb{T})\}$$
where $Tor(\mathbb{T})$ is the group of torsion elements of the unit ...

**8**

votes

**0**answers

120 views

### A basis of the Banach space $L^p(\mathbb T^\omega)$ consisting of characters

Problem: For $1<p<\infty$, $p\ne 2$, has the complex Banach space $L^p(\mathbb T^\omega)$ got a Schauder basis consisting of characters of the compact topological group $\mathbb T^\omega$?
(...

**5**

votes

**2**answers

210 views

### Making the Fourier transform quantitative

I am undergraduate Physics student and understand that this is a professional mathematics forum. But due to perhaps broader interest, I hope this question is suitable for this website.
I understand ...

**9**

votes

**1**answer

195 views

### The discrete Hardy-Littlewood-Sobolev inequality

Let $p>1$, $q>1$, $0<\lambda<1$ be such that
$\frac{1}{p}+\frac{1}{q}+\lambda=2$. Suppose that
$(a_{k})\in \ell^{p}(\mathbb{Z})$ and $(b_{k})\in \ell^{q}(\mathbb{Z})$.
It is known ([1,2,3]...

**3**

votes

**0**answers

99 views

### Kernel of multiplication in noncommutative 2-torus

What is $\Omega^1 (A_{\theta})$, that is, what is the kernel of the multiplication map $m:A_{\theta} \otimes A_{\theta} \to A_{\theta}$ where $A_{\theta}$ is the noncommutative 2-torus with parameter $...

**0**

votes

**0**answers

50 views

### Extension of a derivation on w [duplicate]

Let I be a closed left ideal of a Banach algebra A such that A has a bounded approximate identity and I just has a right approximate identity. let $D:I\to I^*$ be a derivation. Does $D$ extend to a ...

**9**

votes

**2**answers

207 views

### Trace on $\mathcal{S}(\mathbb{R}^k) \mathbin{\hat{\otimes}_\pi} \mathcal{S}'(\mathbb{R}^k)$

I asked this question on Math StackExchange, but it did not receive an answer, despite my offering a bounty to attract attention. I am unsure whether it is appropriate for this venue, but I thought ...

**18**

votes

**1**answer

385 views

### Proof of Minkowski theorem using harmonic analysis

I am trying to properly write a proof of Minkowski's theorem in a self-contained way and understandable by (good) undergraduates.
Theorem (Minkowski)
Let $L$ be a lattice of $\mathbb{R}^n$ and ...

**3**

votes

**0**answers

63 views

### Examples of unbounded pseudo-differential operators in $L^{\infty}$

During my graduate studies I've been told that pseudo-differential operators with symbols in $S^0=S^0_{1,0}$ (the simplest class) are bounded $L^2 \to L^2$, and also $L^p \to L^p$ for all $p \in (1, \...

**2**

votes

**1**answer

398 views

### Functions belong to $L^{\frac{2n}{n+1}}$ whose Fourier transforms are infinite on $S^{n-1}$

I'm looking for functions $f\in L^{\frac{2n}{n+1}}$ such that $\hat{f}=\infty$ on $S^{n-1}$. Is there any explicit expression of such kind of examples?
This seems to be a well-known result, but I can ...

**3**

votes

**0**answers

59 views

### Interior of fundamental domains of lattices in locally compact groups

Let $G$ be a locally compact abelian group, and let $\Lambda$ be a lattice in $G$, i.e. a discrete subgroup such that the quotient group $G/\Lambda$ is compact.
A fundamental domain for $\Lambda$ in $...

**-2**

votes

**1**answer

120 views

### Relationship between “Radial” Fourier transform and Fourier transform, especially at infinity

Let $\phi:\mathbb{R}^n \to \mathbb{R}$ be a $C^{\infty}$ function with compact support.
What is the relationship between
$$
\widehat{\phi}(k) = \int e^{-2\pi i x \cdot k} \phi(x) dx, \quad k \in \...

**3**

votes

**0**answers

34 views

### Multi-parameter stationary phase asymptotic expansion

I am looking for an asymptotic expansion of the oscillatory integral of the form
$$\int_{\mathbb{R}^n}f(x)\exp(i(\lambda_1\phi_1(x)+\dots+\lambda_k\phi_k(x))dx,$$
as $\lambda_i\to \infty$ ...

**6**

votes

**0**answers

140 views

### Extremal polynomial majorants of $\log{|f|}$: a multivariate extension of a theorem of Carneiro and Vaaler

Carneiro and Vaaler have proved, as an application of their work on Beurling-Selberg extremal majorants, that for any non-zero complex polynomial $f(z) \in \mathbb{C}[z]$, the infimum value of the ...

**3**

votes

**1**answer

192 views

### Question on the definition of almost periodic function

According to Bohr, the definition of the almost periodic function is:
A function $f:\mathbb{R}\rightarrow \mathbb{C}$ is called almost periodic if it is continuous and if for every positive $\epsilon$,...

**7**

votes

**1**answer

243 views

### Can a positive polynomial on sphere be represented as the sum of squares of spherical harmonics

Let $p\in {\mathbb{R}}[x_1,\ldots, x_d]$ be a homogenous polynomial degree $2n$. We know that if $p$ is positive on $[-\pi,\pi]^d$, $p$ is sum of squares polynomial, i.e. $p$ can be witten as sum of ...

**4**

votes

**0**answers

305 views

### Is Serre duality related to Pontryagin duality?

I am wondering if there is some relationship between Serre duality and Pontryagin duality for compact complex manifolds. In this case Serre duality reduces to the commutativity of Hodge-star operator ...

**4**

votes

**0**answers

146 views

### gaussian upper bound on spherical heat kernel

It is known that the heat kernel on n-sphere satisfies $p_t(x,y)\leq Ct^{-n/2}e^{-d(x,y)^2/5t}$ for all $t\in (0,T)$. Can something be said about how big C needs to be?

**5**

votes

**0**answers

102 views

### Convolution theorem on a non-abelian Lie group

Let $\mathrm{G}$ be a compact (simple, if it helps) non-abelian Lie group and let $\hat{\mathrm{G}}$ be its unitary dual of (equivalence classes) of irreducible unitary representations. Defining the ...

**4**

votes

**1**answer

72 views

### Multiplicities in Plancherel theorem for SL2(R)

The usual formulation of the Plancherel theorem one writes $f(1)$ as an integral over the dual $\widehat G$. The support of the measure is the set of representations which weakly occur in $L^2(G)$. ...

**2**

votes

**0**answers

48 views

### Solvability of Neumann boundary problems with singular boundary data $g \in (H^{1})^{*}$

I have a question on the solvability of Neumann boundary problems with singular data. To state my question, let $\Omega$ be a bounded Lipschitz domain (open and connected) in $\mathbb{R}^n$.
In the ...

**4**

votes

**0**answers

159 views

### Is the Gelfand transform strictly continuous?

Let $M$ be the Banach algebra of measures on the circle with $L_1$ naturally sitting as a closed ideal of $M$. Then $M$ carries the strict topology implemented by the family of seminorms $\|\mu\|_f = \...

**2**

votes

**3**answers

266 views

### Uniqueness of solution depending on constant?

I am a physicist and I am aware that this forum is for professional mathematical questions, but please be not too hard on my notation.
I encountered the following integral equation for functions $f:[...

**1**

vote

**2**answers

174 views

### Number theory on Banach space $L^2(\mathbb R)$ meets linear independence?

Consider an orthonormal basis $(\varphi_k)$ of $L^2(\mathbb R)$ with Lebesgue measure.
I came along a nice number theoretic question in analysis:
Write $$f_k(x):=\int_{\left\lvert y \right\rvert \...

**6**

votes

**0**answers

181 views

### Relation between Lie group characters and spherical functions on symmetric spaces

Setup: Let $G/K$ be an irreducible compact Riemannian symmetric space, where $G$ is a simply connected compact real Lie group, and $K$ is the maximal compact connected subgroup of some noncompact real ...

**2**

votes

**1**answer

176 views

### About Vitali covering theorem

In the paper by Nazarov, Treil and Volberg: Weak type estimates and Cotlar inequalities for Calderon-Zygmund ... /1998, Int. Math. Res. Not.,
www.math.brown.edu/~treil/papers/l1/l1-5.pdf
on the ...

**5**

votes

**1**answer

112 views

### Invariant subspace in infinite dimensions

Let $A(t)$ be a family of skew self-adjoint operator defined on some Hilbert space $H$ with common domain $D(A).$
The dependence on $t$ is in the strongly continuous sense, i.e. for all $x \in D(A)$ ...

**1**

vote

**1**answer

140 views

### $L^2$ function in Schwartz space?

Let $f:\mathbb R^n \rightarrow \mathbb R$ be a smooth function whose derivatives are all polynomially bounded and $f \in L^{\infty}.$
Such a function has the property that when multiplied with any ...

**7**

votes

**2**answers

169 views

### Characterizing pseudo-differential operators as a subalgebra of continuous endomorphisms of tempered distributions

I'm aware that the following question is at best a refined version of at least 2 questions which are already on this site. I think it is justified however in that it is more precise and has some new ...

**3**

votes

**0**answers

45 views

### Decay of Fourier coefficients for Hölder functions on compact Lie groups

If $f$ is a complex-valued function on a compact Lie group $G$, we have a decomposition $f = \sum_\mu f_\mu$ corresponding to the Peter-Weyl decomposition $L^2(G) = \oplus_\mu (\dim \mu) V_\mu$.
For $...