Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
3answers
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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 $...