Gelfand对$(K\ltimes N, K)$的谱,其中$N$是幂零群,可以嵌入欧几里得空间。证明了谱上的Schwartz函数一般是$N$上的Schwartz $K$不变函数的Gelfand变换.我们还证明了Gelfand对$(SO(3)\ltimes N_{3,2}, SO(3))$的情况下的逆,其中$N_{3,2}$是自由的两步幂零李群与三个生成元。这扩展了海森堡群的最近结果。
英文摘要:
The spectrum of a Gelfand pair $(K\ltimes N, K)$, where $N$ is a nilpotent group, can be embedded in a Euclidean space. We prove that in general, the Schwartz functions on the spectrum are the Gelfand transforms of Schwartz $K$-invariant functions on $N$. We also show the converse in the case of the Gelfand pair $(SO(3)\ltimes N_{3,2}, SO(3))$, where $N_{3,2}$ is the free two-step nilpotent Lie group with three generators. This extends recent results for the Heisenberg group.
Let $(G,K)$ be a Gelfand pair, with $G$ a Lie group of polynomial growth, and let $Σ\subset{\mathbb R}^\ell$ be a homeomorphic image of the Gelfand spectrum, obtained by choosing a generating system $D_1,\dots,D_\ell$ of $G$-invariant differential operators on $G/K$ and associating to a bounded spherical function $φ$ the $\ell$-tuple of its eigenvalues under the action of the $D_j$'s. We say that property (S) holds for $(G,K)$ if the spherical transform maps the bi-$K$-invariant Schwartz space ${\mathcal S}(K\backslash G/K)$ isomorphically onto ${\mathcal S}(Σ)$, the space of restrictions to $…
It has been shown that for several nilpotent Gelfand pairs (N,K) (i.e., with N a nilpotent Lie group, K a compact group of automorphisms of N and the algebra L^1(N)^K commutative) the spherical transform establishes a 1-to-1 correspondence between the space S(N)^K of K-invariant Schwartz functions on N and the space S(Σ) of functions on the Gelfand spectrum Σ of L^1(N)^K which extend to Schwartz functions on Rd, once Σ is suitably embedded in Rd. We call this property (S). We present here a general bootstrapping method which allows to establish property (S) to new nilpotent pairs (N,K), once t…
The primary motivation behind this paper is an attempt to provide a thorough explanation of how the Mellin transform arises naturally in a process akin to the construction of the celebrated Gelfand transform. We commence with a study of a class of Schwartz functions $\mathcal{S}(\mathbb{R}_+),$ where $\mathbb{R}_+$ is the set of all positive real numbers. Various properties of this Fréchet space are established and what follows is an introduction of the Mellin convolution operator, which turns $\mathcal{S}(\mathbb{R}_+)$ into a commutative Fréchet algebra. We provide a simple proof of Mellin-Y…
If $(G,K)$ is a Gelfand pair, with $G$ a Lie group of polynomial growth and $K$ a compact subgroup of $G$, the Gelfand spectrum $Σ$ of the bi-$K$-invariant algebra $L^1(K\backslash G/K)$ admits natural embeddings into ${\mathbb R}^n$ spaces as a closed subset. For any such embedding, define ${\mathcal S}(Σ)$ as the space of restrictions to $Σ$ of Schwartz functions on ${\mathbb R}^n$. We call Schwartz correspondence for $(G,K)$ the property that the spherical transform is an isomorphism of ${\mathcal S}(K\backslash G/K)$ onto ${\mathcal S}(Σ)$. In all the cases studied so far, Schwartz corresp…
We obtain a characterisation of the Fourier transform on the space of Schwartz-Bruhat functions on locally compact Abelian groups. The result states that any appropriately additive bijection of the Schwartz space onto itself, which interchanges convolution and pointwise products is essentially the Fourier transform. The proof of this result is very similar to that obtained by the author recently for the Euclidean Fourier transform.
In this paper, we study the group Fourier transform and the Kohn-Nirenberg quantization for homogeneous Lie groups as mappings between certain Gelfand triples. For this, we restrict our considerations to the case, where the homogeneous Lie group $G$ admits irreducible unitary representations, that are square integrable modulo the center $Z(G)$ of $G$, and where $\dim Z(G)=1$. Replacing the Schwartz space by a certain subspace $\mathcal S_*(G) \hookrightarrow \mathcal S(G)$, we characterise the range of the group Fourier transform on $\mathcal S_*(G)$ and construct distributions and Gelfand tri…
In this paper we make an attempt to extend L. Schwartz's classical result on spectral synthesis to several dimensions. Due to counterexamples of D. I. Gurevich this is impossible for translation invariant varieties. Our idea is to replace translations by proper euclidean motions in higher dimensions. For this purpose we introduce the basic concepts of spectral analysis and synthesis in the non-commutative setting based on Gelfand pairs, where "translation invariance" will be replaced by invariance with respect to a compact group of automorphisms. The role of exponential functions will be playe…
We describe local and global properties of wavelet transforms of ultradifferentiable functions. The results are given in the form of continuity properties of the wavelet transform on Gelfand-Shilov type spaces and their duals. In particular, we introduce a new family of highly time-scale localized spaces on the upper half-space. We study the wavelet synthesis operator (the left-inverse of the wavelet transform) and obtain the resolution of identity (Calderón reproducing formula) in the context of ultradistributions.
We characterize Gelfand-Shilov spaces, their distribution spaces and modulation spaces in terms of estimates of their Zak transforms. We use these result for general investigations of quasi-periodic functions and distributions. We also establish necessary and sufficient conditions for linear operators in order for these operators should be conjugations by the Zak transform.
We consider the counter images $\maclJ (\rr d)$ and $\maclJ _0(\rr d)$ of entire functions with exponential and almost exponential bounds, respectively, under the Bargmann transform, and we characterize them by estimates of powers of the harmonic oscillator. We also consider the Pilipovi{ć} spaces $\bsycalS _s(\rr d)$ and $\bsySig _s(\rr d)$ when $0<s<1/2$ and deduce their images under the Bargmann transform.
The goal of the paper is to provide a detailed explanation on how the (continuous) cosine transform and the discrete(-time) cosine transform arise naturally as certain manifestations of the celebrated Gelfand transform. We begin with the introduction of the cosine convolution $\star_c$, which can be viewed as an "arithmetic mean" of the classical convolution and its "twin brother", the anticonvolution. The d'Alambert property of $\star_c$ plays a pivotal role in establishing the bijection between $Δ(L^1(G),\star_c)$ and the cosine class $\mathcal{COS}(G),$ which turns out to be an open map if …
Let $\mathcal{A}$ be a Banach algebra of bounded holomorphic functions on the open unit ball $B_X$ of a complex Banach space $X$. Considering the Gelfand transform image $\widehat{\mathcal{A}}$ of the Banach algebra $\mathcal{A}$, which is a uniform algebra on the spectrum of $\mathcal{A}$, we obtain an explicit description of the Shilov boundary for $\widehat{\mathcal{A}}$ for classical Banach spaces $X$ in the case where $\mathcal{A}$ is a certain Banach algebra, for instance, $\mathcal{A}_\infty (B_X)$, $\mathcal{A}_u (B_X)$ or $\mathcal{A}_{wu} (B_X)$. Some possible application of our resu…
This paper offers a review of the results concerning localization operators on modulation spaces, and related topics. However, our approach, based on the Grossmann-Royer transform, gives a new insight and (slightly) different proofs. We define the Grossmann-Royer transform as interpretation of the Grossmann-Royer operator in the weak sense. Although such transform is essentially the same as the cross-Wigner distribution, the proofs of several known results are simplified when it is used instead of other time-frequency representations. Due to the importance of their role in applications when de…
We prove that there exists uncountably many pairwise disjoint open subsets of the Gelfand space of the measure algebra on any locally compact non-discrete abelian group which shows that this space is not separable (in fact, we prove this assertion for the ideal $M_{0}(G)$ consisting of measures with Fourier-Stieltjes transforms vanishing at infinity which is a stronger statement). As a corollary, we obtain that the spectras of elements in the algebra of measures cannot be recovered from the image of one countable subset of the Gelfand space under Gelfand transform, common for all elements in t…
One of the motivations to state HRT conjecture on the linear independence of finite Gabor systems was the fact that there are linearly dependent Finite Wavelet Systems (FWS). Meanwhile, there are also many examples of linearly independent FWS, some of which are presented in this paper. We prove the linear independence of every three point FWS generated by a nonzero Schwartz function and with any number of points if the FWS is generated by a nonzero Schwartz function, for which the absolute value of the Fourier transform is decreasing at infinity. We also prove the linear independence of any FW…
The final goal of the present work is to extend the Fourier transform on the Heisenberg group $\H^d,$ to tempered distributions. As in the Euclidean setting, the strategy is to first show that the Fourier transform is an isomorphism on the Schwartz space, then to define the extension by duality. The difficulty that is here encountered is that the Fourier transform of an integrable function on $\H^d$is no longer a function on $\H^d$ : according to the standard definition, it is a family of bounded operators on $L^2(\R^d).$ Following our new approach in\ccite{bcdFHspace}, we here define the Four…
The main objects under study are quotients of multiplier algebras of certain complete Nevanlinna--Pick spaces, examples of which include the Drury--Arveson space on the ball and the Dirichlet space on the disc. We are particularly interested in the non-commutative Choquet boundaries for these quotients. Arveson's notion of hyperrigidity is shown to be detectable through the essential normality of some natural multiplication operators, thus extending previously known results on the Arveson--Douglas conjecture. We also highlight how the non-commutative Choquet boundaries of these quotients are i…
We study composition operators on global classes of ultradifferentiable functions of Beurling type invariant under Fourier transform. In particular, for the classical Gelfand-Shilov classes $Σ_d,\ d > 1,$ we prove that a necessary condition for the composition operator $f\mapsto f\circ ψ$ to be well defined is the boundedness of $ψ'.$ We find the optimal index $d'$ for which $C_ψ(Σ_d({\mathbb R}))\subset Σ_{d'}({\mathbb R})$ holds for any non-constant polynomial $ψ.$
The Harish-Chandra Fourier transform, $f\mapsto\mathcal{H}f,$ is a linear topological algebra isomorphism of the spherical (Schwartz) convolution algebra $\mathcal{C}^{p}(G//K)$ (where $K$ is a maximal compact subgroup of any arbitrarily chosen group $G$ in the Harish-Chandra class and $0<p\leq2$) onto the (Schwartz) multiplication algebra $\bar{\mathcal{Z}}({\mathfrak{F}}^ε)$ (of $\mathfrak{w}-$invariant members of $\mathcal{Z}({\mathfrak{F}}^ε),$ with $ε=(2/p)-1$). This is the well-known Trombi-Varadarajan theorem for spherical functions on the real reductive group, $G.$ Even though $\mathca…
We study the Fourier transform for compactly supported distributional sections of complex homogeneous vector bundles on symmetric spaces of non-compact type $X = G/K$. We prove a characterisation of their range. In fact, from Delorme's Paley-Wiener theorem for compactly supported smooth functions on a real reductive group of Harish-Chandra class, we deduce topological Paley-Wiener and Paley-Wiener-Schwartz theorems for sections.
The primary aim of the paper is the study of Sobolev spaces in the context of Gelfand pairs. The article commences with providing a historical overview and motivation for the researched subject together with a summary of the current state of the literature. What follows is a general outline of harmonic analysis on Gelfand pairs, starting with a concept of positive-semidefinite functions, through spherical functions and spherical transform and concluding with the Hausdorff-Young inequality. The main part of the paper introduces the notion of Sobolev spaces on Gelfand pairs and studies the prope…
This paper is devoted to studying certain topological properties of the maximal ideal space of the measure algebra on the circle group. In particular, we focus on Cech cohomologies of this space. Moreover, we show that the Gelfand space of $M(\mathbb{T})$ is not separable. On the other hand, we give a direct procedure to recover many copies of $β\mathbb{Z}$ in $\mathfrak{M}(M(\mathbb{T}))$, but we also show that this is result is not accessible in the most natural way (namely, by the canonical mapping induced by homomorphism assigning to measure its Fourier - Stieltjes transform).
We give explicit transforms for Hilbert spaces associated with positive definite functions on $\mathbb{R}$, and positive definite tempered distributions, incl., generalizations to non-abelian locally compact groups. Applications to the theory of extensions of p.d. functions/distributions are included. We obtain explicit representation formulas for positive definite tempered distributions in the sense of L. Schwartz, and we give applications to Dirac combs and to diffraction. As further applications, we give parallels between Bochner's theorem (for continuous p.d. functions) on the one hand, an…
We first characterize the image of the compactly supported smooth even functions under the q-Weinstein transform as a subspace of the Schwartz space. We then describe the space of smooth $L_{α, q, a}^{2}$-functions whose q-Weinstein transform has compact support as a subspace of the space of $L_{α, q, a}^{2}$-functions.
A classical result of Gelfand shows that the topologized spectrum of characters on commutative Banach algebra is homeomorphic to the underlying space. This fact is used in solving the Calderón problem in dimension 2 via the boundary control (BC) method. To apply the BC method in dimension 3, the algebra of complex holomorphic functions can be replaced by the space of harmonic quaternion fields, but this space is no longer an algebra and is not commutative. Nonetheless, it has been shown that a suitable notion of a spectrum exists and in the case when the underlying space is convex, the spectru…
We obtain a multidimensional Tauberian theorem for Laplace transforms of Gelfand-Shilov ultradistributions. The result is derived from a Laplace transform characterization of bounded sets in spaces of ultradistributions with supports in a convex acute cone of $\mathbb{R}^{n}$, also established here.
For a normalized root system $R$ in $\mathbb R^N$ and a multiplicity function $k\geq 0$ let $\mathbf N=N+\sum_{α\in R} k(α)$. Denote by $dw(\mathbf x)=\prod_{α\in R}|\langle \mathbf x,α\rangle|^{k(α)}\, d\mathbf x $ the associated measure in $\mathbb R^N$. Let $\mathcal F$ stands for the Dunkl transform. Given a bounded function $m$ on $\mathbb R^N$, we prove that if there is $s>\mathbf N$ such that $m$ satisfies the classical Hörmander condition with the smoothness $s$, then the multiplier operator $\mathcal T_mf=\mathcal F^{-1}(m\mathcal Ff)$ is of weak type $(1,1)$, strong type $(p,p)$ for …