The tag has no wiki summary.

learn more… | top users | synonyms

15
votes
0answers
787 views

The Fourier Transform of taking Eigenvalues

The purpose of this question is to ask about the Fourier transform of the map which associate to an $n$ by $n$ matrix its $n$ eigenvalues, or some function of the $n$ eigenvalues. The main motivation ...
9
votes
0answers
275 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 ...
9
votes
0answers
458 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 ...
8
votes
0answers
239 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 ...
8
votes
0answers
183 views

when do norm-continuous unitary representations separate points of a group?

Recently I found in the web a discussion on the following question: ...
7
votes
0answers
191 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 ...
7
votes
0answers
155 views

Why is it hard to obtain improved $L^6$ bound of eigenfunction of Laplacian on 2-dimensional compact Riemannian manifold?

Consider the $L^p$ estimate of the Laplacian on a compact boundaryless Riemannian manifold, suppose that $-\Delta_ge_{\lambda}=\lambda^2e_\lambda(x), x\in M$. C.D. Sogge proved that we have the ...
7
votes
0answers
159 views

Inferring asymptotic behaviour from the dominant pole of the Laplace transform

Hi, I am reposting the following question with the hope that a more detailed description will lead to a more descriptive response: dominant pole in the laplace transform I have a vector function ...
7
votes
0answers
253 views

Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
7
votes
0answers
581 views

Hardy spaces: analysis <---> martingales

Let $H^p$ be the Hardy space of analytic functions on the open unit disk $D$: $f \in H^p$ if $f$ is analytic on $D$ and $\sup_{r < 1} \int_0^{2\pi} |f(re^{i\theta})|^p d\theta < \infty$. ...
6
votes
0answers
134 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} ...
6
votes
0answers
179 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 ...
6
votes
0answers
89 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$ ...
5
votes
0answers
104 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 ...
5
votes
0answers
133 views

Which cocompact subgroups of $G$ do contain a cocompact normal subgroup of $G$?

Let $G$ be a locally compact group and let $H$ be a cocompact (or more generally, a cofinite) subgroup of $G$. Is there any criterion to determine whether $H$ contains a cocompact normal subgroup of ...
5
votes
0answers
149 views

variant of Haar measure

I found a certain trig identity in a discussion on Lie groups \[ \frac{\prod_{i < j} 2 \sin (\mu_i - \mu_j) \prod_{i< j} 2 \sin (\nu_i - \nu_j) }{\prod_{i, j} 2 \cos (\mu_i - \nu_j) } = ...
4
votes
0answers
97 views

Pseudodifferential operators on compact manifolds with boundary

I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...
4
votes
0answers
153 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 ...
4
votes
0answers
250 views

What information about a locally compact group $G$ is encoded in $C_r^\ast(G)$ which is not in $L^1(G)$?

Let $G$ be a locally compact group and let $ C_r^\ast(G) $ denote its reduced group $C^\ast$-algebra. Many features of a $G$ can be realized from $L^1(G)$ or $C_r^\ast(G)$. For example, $G$ is ...
4
votes
0answers
160 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,$ ...
4
votes
0answers
214 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 ...
4
votes
0answers
373 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 ...
3
votes
0answers
122 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
0answers
130 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 ...
3
votes
0answers
160 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
0answers
113 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 ...
3
votes
0answers
117 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 ...
3
votes
0answers
246 views

Harmonic analysis on the Heisenberg group

It is well known that: Theorem 1. For $f\in L^{2}(\mathbb H_{n}=\text{The Heisenberg group of dimesion } 2n+1)$ we have the expansion $$f(z, s)= (2\pi)^{-n} \sum_{k=0}^{\infty} \int_{0}^{\infty} f ...
3
votes
0answers
149 views

The polynomial Freiman-Ruzsa conjecture for the special case when $f$ is a bijection

The polynomial Freiman-Ruzsa conjecture states that there exists $k > 0$, such that for all $\epsilon > 0$, and for all large $n$ and all functions $ f: \mathbb{F}_2^n \mapsto\mathbb{F}_2^n$, ...
3
votes
0answers
112 views

Growth of inner functions on the disk

Recall that an inner function on the disk $D$ is a bounded analytic function on $D$ having radial limits of modulus one almost everywhere. There has been many works on the growth of the inner ...
3
votes
0answers
200 views

The Dunkl intertwining operator $V_k$ on $C(\mathbb{R}^d)$

The Dunkl intertwinig 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 ...
3
votes
0answers
389 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 ...
3
votes
0answers
121 views

Asymptotic rearrangement

I had some trouble coming up with a good title for this question. Here is the setup. Suppose you have two infinite sets of (positive real, say) numbers $\{a_k\}$ and $\{b_k\}$ such that the ...
2
votes
0answers
87 views

What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?

I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it. Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with $ \operatorname{supp} \phi ...
2
votes
0answers
101 views

A topological space extracting from a group action

Let $G$ be a compact abelian topological group with invariant measure $\mu$ which acts on a compact Hausdorff space $X$. A $G$-odd function is a continuous function $f:X\to ...
2
votes
0answers
74 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 ...
2
votes
0answers
89 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 ...
2
votes
0answers
45 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 ...
2
votes
0answers
101 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
0answers
80 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
0answers
136 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$ ...
2
votes
0answers
132 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 ...
2
votes
0answers
133 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 ...
2
votes
0answers
95 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 ...
2
votes
0answers
168 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} ...
2
votes
0answers
170 views

Does anyone know what is the right reference for the following simple lemma from harmonic analysis?

The lemma says that given $\lambda\geq 1$, $p\geq 1$, $a_j\geq 0$, for a collection of balls $\{B_j\}_{j\in\mathbb{N}}$ in $\mathbb{R}^n$, it holds $$\|\sum_j a_j\chi_{\lambda B_j}\|_p\leq ...
2
votes
0answers
63 views

Associated Legendre/Gegenbauer functions with complex degree at larger order

I am interested in approximating the associated Legendre function (also known as conical function) \begin{equation} P_{-1/2 + i p}^{\frac{2-N}{2}}(x) \end{equation} when $N \to \infty$. The real ...
2
votes
0answers
75 views

Fourier multiplier with a singularity on a convex curve

Let $h$ be a strictly convex function such that $h(0) = h'(0)=0$. Let $\Phi: \mathbb{R}^2 \to \mathbb{R}$ be a $C^{\infty}$-function with compact support (say, $\Phi$ is supported on ...
2
votes
0answers
127 views

A microlocal representation for quantum operator dynamics

In Maciej Zworski's book $\textit{Semiclassical Analysis}$, an important step in proving $L^p$ bounds on quasimodes is deriving a microlocal oscillatory integral representation formula for families of ...
2
votes
0answers
244 views

Continuity of multiplicative character

Let $G$ be a discrete group and $\beta (G)$ denote the Stone-Cech compactification of $G$, a right topological semigroup. By a multiplicative character, I mean a mapping that preserves multiplication ...