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 analysis on tube domains, as well as the study of eigenvalues and eigenvectors of the Laplacian on domains, manifolds and graphs.
1,413
questions
1
vote
1
answer
196
views
On a limit at the boundary of $\mathbb{D}$ related to complex and harmonic analysis
Let $p(z,t)=\frac{1}{2\pi}.\frac{1-|z|^2}{|z-t|^2}$ be the Poisson kernel on the open unit disk $\mathbb{D}$, fix $0<\alpha<1$ . Let $a\in \partial\mathbb{D}=S^1$ be fixed. Then my question is :
...
0
votes
1
answer
178
views
What is the limit of the derivative of the harmonic extension/Dirichlet solution in $C^{1,\alpha}$ cases?
Let $f:\mathbb{S}^1 \to \mathbb{S}^1$ be an orientation-preserving homeomorphism. Denote by $H(f)$ the complex harmonic extension/solution in $\mathbb{D}$ to the Dirichlet problem with boundary data $...
2
votes
1
answer
461
views
Is $\int_{t\in S^1} |t-\zeta|^{\alpha}p(z,t) |dt| \leq K|z-\zeta|^{\alpha}, 0< \alpha < 1$ for uniform $K$?
I asked the question before, but didn't get any reply, so I took the liberty to ask again.
Let $\zeta\in S^1$(unit circle in the complex plane) and $z\in \mathbb{D}$. Fix $0< \alpha < 1$. Then, ...
2
votes
1
answer
843
views
References on hyperbolic harmonics
I am looking for good and elementary references on hyperbolic harmonics (which form an orthonormal basis spanning the space of functions on the unit pseudo-sphere).
1
vote
0
answers
177
views
Bounds on norm of harmonic function on degenerating hyperbolic surface
Suppose I have a Riemann surface with a shrinking geodesic which is degenerating towards a surface with a cusp, and I consider a neighborhood of the shrinking geodesic, $C_[a,b] = [a,b]\times \mathbb{...
1
vote
0
answers
160
views
Stein inequality
Dear all,
we have by Stein that for any sequence $0 \le r_k \le 1$, and any functions $f_1, \cdots, f_n$ which are holomorphic on a neighbourhood of the unit disk, $$\| (\sum_{k =1}^n |f_k(r_k e^{i ...
5
votes
2
answers
291
views
Structure of the unitary representation $L^2(N/M)$ when $N$ is a nilpotent Lie group
Hi All,
I am new to this (though I seem to be a latecomer); so forgive me if this is not your most favorite question:
I am trying to understand the structure (e.g., decomposition) of the unitary ...
0
votes
1
answer
163
views
Convolution operators defined by compactly supported distribtion
Let $\mu_{n}$ be the unit measure over $S^{n-1}$,and consider the convolution operator$$Tf=\mu_{n}\ast f,\quad f\in \mathcal{S}$$
then,it's well-known that T can be extend to a bounded operator on $L^{...
0
votes
0
answers
325
views
The dense subspace of Hardy Space $H^p$
A famous result is that $H^p\cap L^1$ is a dense subspace of $H^p$. We need the fact that $\displaystyle\sup_{0<s\leq M}|(P_s*P_t*f-P_s*f)(x)|$, where $P_t$ is the Poisson kernel on $R^n$ and $f\in ...
12
votes
1
answer
682
views
What's the role of $H^{p}(\mathbb{R}^{n})$ in modern (harmonic) analysis?
The classical theory of $H^p$,due to it's heavy dependence on the complex function theory(such as Blaschke products), seemed to have an insurmountable obstacle barrying its extension to several ...
4
votes
1
answer
241
views
When is Prim(A) of an infinite discrete group hausdorff ?
Does anyone know, if the following result has been proved ?
Let G be an infinite discrete group. A = L1(G) it's algebra and Prim(A) the set of prime ideals with spectral topology.
The result is :
...
0
votes
1
answer
801
views
Wave equation v.s.Schrödinger equation
The motivation of comparison of this two kind of operators is that,$$\partial_{tt}-\Delta=(\partial_{t}-i\sqrt{-\Delta})(\partial_{t}+i\sqrt{-\Delta})$$
From the above that a wave operator can be ...
8
votes
2
answers
994
views
What is the simplest oscillatory integral for which sharp bounds are unknown?
I have either heard or read that sharp asymptotics and bounds for oscillatory integrals of the form
$ \int e^{i \lambda \Phi(x)} \psi(x) dx \quad \lambda \to \infty $
are unknown when the critical ...
3
votes
1
answer
532
views
Harmonic/conformal map composition between manifolds in either order?
Suppose $\mathcal{M}$, $\mathcal{N}$, and $\mathcal{P}$ are Riemannian manifolds (compact and of dimension 2, if it matters). It seems well-known that if $\phi:\mathcal{M}\rightarrow\mathcal{N}$ is (...
0
votes
2
answers
357
views
Convergence of Fourier series for $C^p$ functions
Let $f \in C^p[0,2\pi]$ and periodic. Denote $\omega_p$ as the moduli of continuous of $f^{(p)}$. Then
$
|f - S_Nf| \le K \frac{\log{N}}{N^p}\omega_p(2\pi/N),
$
where $S_N$ is the Fourier partial sum ...
2
votes
0
answers
458
views
L^1-convergence of convolution exponential
Consider a differential
equation
\begin{eqnarray*}
\frac{d}{d\tau}q^{\tau}\left(x\right)=Aq^{\tau}\left(x\right)+h\star q^{\tau}=Aq^{\tau}\left(x\right)+\int h\left(x-u\right)q^{\tau}\left(u\right)...
0
votes
1
answer
702
views
Pointwise limit at Lebesgue's point
Dear MOs,
I am sorry if this problem is too elementary for someone. I just want to get confirmation.
Suppose $f\in L^1(R^d)$. Since almost all points are Lebesgue points by the Lebesgue ...
4
votes
1
answer
464
views
Ask for theory about the weighted L^2(R^d) space.
Dear MOs,
I am now considering the following norm:
$$
||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$
where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
4
votes
0
answers
193
views
Fourier analysis on crystallographic groups
It seems pretty clear a priori that Fourier analysis on a discrete cocompact group of motions of $\mathbb{E}^n$ should be quite tractable (since, by Bieberbach, such groups are almost $\mathbb{Z}^n,$ ...
3
votes
1
answer
410
views
modules over group algebras
Let $G$ be a locally compact group. Then we can define a modular action of $L^1(G)$ on $L^\infty(G)$ by
$$
(f.u)(t)=\int f(s)u(st) ds
$$
and
$$
(u.f)(t)=\int f(s)u(ts) ds
$$
for $f\in L^1(G)$ and $u\...
4
votes
0
answers
368
views
Smoothness of the convolution of a singular measure with itself
Let $\gamma:I\subset\mathbb{R}\rightarrow\mathbb{R}^2, s\mapsto \gamma(s)$, denote the arclength parametrization of a smooth, convex curve $\Gamma:=\gamma(I)\subset\mathbb{R}^2$. Equip $\Gamma$ with ...
1
vote
0
answers
187
views
Injective modules over Fourier algebra
Is there any article on injective modules over Fourier Algebras?
Do we have anything about injectivity of $A(G)$ as a $A(G)$-bimodule?
65
votes
4
answers
6k
views
How Does My Radio Work?
Bear with me for a moment while I invoke the real world; the main question at the end is purely mathematical.
I live in an area with $n$ AM radio stations and $m$ FM radio stations.
AM station ...
7
votes
2
answers
771
views
Is there any way to generalize the Laplacian to finite groups?
The group theoretic interpretation of harmonic analysis was born out of the observation that the discrete Fourier transform on a signal of length $n$ was precisely the Fourier transform of the finite ...
5
votes
2
answers
865
views
Fourier transform on locally compact quantum groups
I have read some articles on locally compact quantum groups and the Fourier Transform on them. I wonder why we define the Fourier transform as an operator valued functions from $L^1(\mathbb{G})$ to $L^...
6
votes
1
answer
2k
views
Max of Fourier transform?
Let f be a real-valued function (or distribution) on $\mathbb{R}$. (You can assume it is nice in one way or another.) What would be some practical ways to bound
$\max_{\alpha \in \mathbb{R}} |\widehat{...
18
votes
2
answers
2k
views
Explaining Mukai-Fourier transforms physically
A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (Generalized Fourier Series, Green's Function, Pontryagin duality).
The basic algorithm is ...
7
votes
1
answer
2k
views
Can one understand the Kelvin transform conceptually?
Let $U = \mathbf{R}^n - \{ 0 \}$, $n > 2$ and consider for a function $f \in C^2(U)$ the Kelvin transform
$$f^\star(x) = r^{2-n} f\left(\frac{x}{r^2}\right),$$
where $r = \lvert x \rvert$. One ...
4
votes
2
answers
623
views
Does there exists a necessary condition for Lp multiplier?
Let $1 \leq p \leq 2$. A measurable function $m(\xi)$ is called a $L^p(R^n)$ ($L^p$ for convenience) multiplier, if $$\|m(D)\varphi\|/\|\varphi\|_{L^p} \leq C , \varphi \in L^p
$$ for some constant $C$...
3
votes
1
answer
300
views
The Dunkl intertwining operator $V_k$ on $C(\mathbb{R}^d)$
The Dunkl intertwining operator $V_k$ on $C(\mathbb{R}^d)$ is defined by:
$$V_k f(x)=\int_{\mathbb{R}^d}f(y)d\mu_x(y),$$
where $d\mu_x$ is a probability measure on $\mathbb{R}^d$ with support in the ...
2
votes
0
answers
786
views
Why groups that admit Folner Sequences are amenable
I've been looking at Folner's Condition recently, and I'm struggling to find a proof for why the existence of a Folner sequence on a locally compact group implies that it is amenable (and the converse ...
6
votes
1
answer
1k
views
A question about the Beurling-Selberg majorant
Beurling's majorant is defined as the unique entire function $B(z)$ such that the Fourier transform of $B(x)$ is compactly supported in the interval $[-1;1]$, $B(x) \geq \text{sgn}(x)$ and $B(x)$ ...
6
votes
0
answers
98
views
Do the translates of integrable function approximate its radial part?
For an integrable function $f$ on $\mathbb R^n$ we consider its ``radial'' part
$$R(f)(x)=\int_{\mathrm{SO}(n)} f(kx)dk.$$ What is the minimal condition on $f$ so that the span of translates of $f$ (...
1
vote
1
answer
555
views
A question about the quotient measure on the ideles and the adeles
Let $F$ be a local field, then the additive Haar measure is easy to relate to the multiplicative Haar measure:
$$ \int_F f(x) d^+ x = \int_{F^\times} f(x) |x| d^+ x.$$
I know that the ideles have ...
0
votes
1
answer
207
views
spectrum of Banach algebras
Let $G$ is a locally compact group (non-Abelian)
Why $sp(L^1(G))$ , i.e. the set of all nonzero bounded multiplicative functionals on $L^1(G)$ is a locally compact group.
Even for any noncommutative ...
1
vote
1
answer
278
views
A nice overview (and maybe derivation) of the Poincaré transformations of the Vector Spherical Harmonics
With $Y_{lm}(\vartheta,\varphi)$ being the Spherical Harmonics and $z_l^{(j)}(r)$ being the Spherical Bessel functions ($j=1$), Neumann functions ($j=2$) or Hankel functions ($j=3,4$) defining $$\psi_{...
11
votes
0
answers
635
views
Connections of results in Harmonic analysis in the theory of Transcendental Numbers
An entire function $f$ is said to be of exponential type if there exist constants $c$ and $k$ such that $|f(z)|\leq c e^{k |z|}$.
A famous result of Polya says if $f$ is an entire function of ...
4
votes
0
answers
440
views
Measure Theoretic view of Hardy Littlewood Circle Method
Is it possible to view the Hardy-Littlewood Circle method as the Fourier transform with respect to the Lebesgue measure on [0,1) for an appropriate generating function defined in terms of additive ...
4
votes
1
answer
661
views
Generalized widths and reverse Urysohn inequalities
This question is inspired by the discussion in MO questions "Local minimum from directional derivatives in the space of convex bodies" and "Bodies of constant width?" about generalized notions of ...
4
votes
1
answer
661
views
Estimating oscillatory integral
Say we are given an oscillatory integral of the form
$\Psi(x)=\int_{-\infty}^\infty e^{i\psi(x,t)} a(t)dt$.
where $a(t)$ is a sufficiently nice function. When, for instance, $|\psi(x,t)_t| \gg x^\...
2
votes
3
answers
1k
views
Automorphic Forms on product of groups $G\times H$
Dear all, I have some difficulty in understanding the notion of automorphic forms on product of groups.
Let $G$, $H$ be two reductive groups defined over a number field
$F$. Let $\mathcal{A}(G)$ be ...
4
votes
1
answer
839
views
Hardy-Littlewood maximal function
We know that Hardy-Littlewood maximal function is $(p,p)$ for any $p>1$. But one proves first that it is weak type $(1,1)$ and then use interpolation. I am just curious to know: is there a way of ...
5
votes
2
answers
399
views
Wiener Tauberian Theorem for nonunimodular group
Is there a nonunimodular group for which Wiener's Tauberian theorem is true?
Is a locally compact topological group whose volume grows polynomially with radius always unimodular?
3
votes
0
answers
755
views
Calderón's Complex Interpolation: what is the corresponding classical theorem?
This question is closely related to my answer to Dan's question, which contains the definitions of some terms I use here. In addition, the notion of exact interpolation functor of exponent $\theta$ is ...
11
votes
3
answers
1k
views
Is there a Plancherel Theorem for Gowers norms?
In the process of counting arithmetic sequences in sets, the Gowers norms
$$ ||f||\_{U^s[N]}^{2^s} = \frac{1}{N^s} \sum_{\vec{h} ,\\, n } \Delta_{h_1}\dots\Delta_{h_s}f(n) $$
where the sum is $ \...
1
vote
2
answers
1k
views
Conformal transformations and harmonic analysis on the sphere
Consider the $n$-dimensional sphere $S^n$. I'm especially interested in the $n=4$ case. The Hilbert space $L^2(S^n)$ can be decomposed into a direct sum of eigenspaces of the Laplacian, which are ...
1
vote
1
answer
238
views
Oscillatory integral decay & sublevel set growth
I am trying to understand how estimates on sublevel integrals imply estimates on oscillatory integrals. Specifically in this article by M. Greenblatt it says on page 7:
By well-known methods ...
11
votes
3
answers
3k
views
Fourier transforms of functions not in $L^2.$
This is probably something five-year-old physicists know, but here goes: Is there a standard methodology for computing Fourier transforms of things like $\log |x|$? Wolfram Alpha will happily give an ...
0
votes
1
answer
383
views
Independence of rotated spherical harmonics
Hi,
Consider a spherical harmonic of degree $l$, denoted by $y_l^m$. I rotate this harmonic using $2l+1$ different rotations. The set of functions I get is not an orthogonal set, but the functions ...
17
votes
4
answers
2k
views
Where do the real analytic Eisenstein series live?
In obtaining the spectral decomposition of $L^2(\Gamma \backslash G)$ where $G=SL_2(\mathbb{R})$, and $\Gamma$ is an arithmetic subgroup (I am satisfied with $\Gamma = SL (2,\mathbb{Z})$) we have a ...