Concepts of differentiability and analyticity on certain classes of topological groups

1965 ◽  
Vol 61 (2) ◽  
pp. 347-379 ◽  
Author(s):  
G. A. Reid

AbstractWe introduce the concepts of a local seminorm on a topological group and of a locally convex group, showing that discrete groups, locally compact Abelian groups and compact groups are locally convex, and that a topological vector space is locally convex as a linear space if and only if it is locally convex as a group. We show that notions of differentiability, analyticity and derivability can be defined for locally convex groups and that these notions are suitably related and well behaved. We prove that for a locally compact Abelian group G the Fourier transforms of measures of compact support on the character group Ĝ are analytic, and for G compact the coefficients of continuous irreducible unitary representations are. Using these spaces of analytic functions we define the basic concepts of a differential geometry.

1989 ◽  
Vol 40 (3) ◽  
pp. 429-439
Author(s):  
Nakhlé H. Asmar ◽  
Kent G. Merryfield

Let G be a locally compact abelian group, with character group Ĝ. Let ψ be an arbitrary continuous real-valued homomorphism defined on Ĝ. For f in LP(G), 1 < p ≤ 2, letwhere 1[−ν, ν] is the indicator function of the interval [ − ν, ν ], and I is an unbounded increasing sequence of positive real numbers. Then there is a constant Mp, independent of f, such that ‖M#f‖p ≤ Mp ‖f‖p. Consequently, the pointwise limit of the function exists, almost everywhere on G, as ν tends to infinity. Using this result and a generalised version of Riesz's theorem on conjugate functions, we obtain a pointwise inversion for Fourier transforms of functions on Ra × Tb, where a and b are nonnegative integers, and on various other locally compact abelian groups.


1990 ◽  
Vol 42 (1) ◽  
pp. 109-125
Author(s):  
Nakhlé Asmar

(1.1) The conjugate function on locally compact abelian groups. Let G be a locally compact abelian group with character group Ĝ. Let μ denote a Haar measure on G such that μ(G) = 1 if G is compact. (Unless stated otherwise, all the measures referred to below are Haar measures on the underlying groups.) Suppose that Ĝ contains a measurable order P: P + P ⊆P; PU(-P)= Ĝ; and P⋂(—P) =﹛0﹜. For ƒ in ℒ2(G), the conjugate function of f (with respect to the order P) is the function whose Fourier transform satisfies the identity for almost all χ in Ĝ, where sgnP(χ)= 0, 1, or —1, according as χ =0, χ ∈ P\\﹛0﹜, or χ ∈ (—P)\﹛0﹜.


1990 ◽  
Vol 33 (1) ◽  
pp. 34-44
Author(s):  
Nakhlé Habib Asmar

AbstractLet G be a locally compact Abelian group, with character group X. Suppose that X contains a measurable order P. For the conjugate function of f is the function whose Fourier transform satisfies the identity for almost all χ in X where sgnp(χ) = - 1 , 0, 1, according as We prove that, when f is bounded with compact support, the conjugate function satisfies some weak type inequalities similar to those of the Hilbert transform of a bounded function with compact support in ℝ. As a consequence of these inequalities, we prove that possesses strong integrability properties, whenever f is bounded and G is compact. In particular, we show that, when G is compact and f is continuous on G, the function is integrable for all p > 0.


1995 ◽  
Vol 118 (2) ◽  
pp. 303-313 ◽  
Author(s):  
Karl H. Hofmann ◽  
Sidney A. Morris ◽  
Sheila Oates-Williams ◽  
V. N. Obraztsov

An open subgroup U of a topological group G is always closed, since U is the complement of the open set . An arbitrary closed subgroup C of G is almost never open, unless G belongs to a small family of exceptional groups. In fact, if G is a locally compact abelian group in which every non-trivial subgroup is open, then G is the additive group δp of p-adic integers or the additive group Ωp of p-adic rationale (cf. Robertson and Schreiber[5[, proposition 7). The fact that δp has interesting properties as a topological group has many roots. One is that its character group is the Prüfer group ℤp∞, which makes it unique inside the category of compact abelian groups. But even within the bigger class of not necessarily abelian compact groups the p-adic group δp is distinguished: it is the only one all of whose non-trivial subgroups are isomorphic (cf. Morris and Oates-Williams[2[), and it is also the only one all of whose non-trivial closed subgroups have finite index (cf. Morris, Oates-Williams and Thompson [3[).


Author(s):  
Walter R. Bloom ◽  
Joseph F. Sussich

AbstractIn 1953 P. P. Korovkin proved that if (Tn) is a sequence of positive linear operators defined on the space C of continuous real 2π-periodic functions and limn→rTnf = f uniformly for f = 1, cos and sin. then limn→rTnf = f uniformly for all f∈C. We extend this result to spaces of continuous functions defined on a locally compact abelian group G, with the test family {1, cos, sin} replaced by a set of generators of the character group of G.


2013 ◽  
Vol 55 (3) ◽  
pp. 511-532
Author(s):  
RICHARD J. DE BEER

AbstractWe investigate the spectral theory of integrable actions of a locally compact abelian group on a locally convex vector space. We start with an analysis of various spectral subspaces induced by the action of the group. This is applied to analyse the spectral theory of operators on the space, generated by measures on the group. We apply these results to derive general Tauberian theorems that apply to arbitrary locally compact abelian groups acting on a large class of locally convex vector spaces, which includes Fréchet spaces. We show how these theorems simplify the derivation of Mean Ergodic theorems.


1990 ◽  
Vol 13 (3) ◽  
pp. 517-525 ◽  
Author(s):  
Hans G. Feichtinger ◽  
A. Turan Gürkanli

Continuing a line of research initiated by Larsen, Liu and Wang [12], Martin and Yap [13], Gürkanli [15], and influenced by Reiter's presentation of Beurling and Segal algebras in Reiter [2,10] this paper presents the study of a family of Banach ideals of Beurling algebrasLw1(G),Ga locally compact Abelian group. These spaces are defined by weightedLp-conditions of their Fourier transforms. In the first section invariance properties and asymptotic estimates for the translation and modulation operators are given. Using these it is possible to characterize inclusions in section 3 and to show that two spaces of this type coincide if and only if their parameters are equal. In section 4 the existence of approximate identities in these algebras is established, from which, among other consequences, the bijection between the closed ideals of these algebras and those of the corresponding Beurling algebra is derived.


Author(s):  
Edwin Hewitt ◽  
Herbert S. Zuckerman

Introduction. A famous construction of Wiener and Wintner ((13)), later refined by Salem ((11)) and extended by Schaeffer ((12)) and Ivašev-Musatov ((8)), produces a non-negative, singular, continuous measure μ on [ − π,π[ such thatfor every ∈ > 0. It is plain that the convolution μ * μ is absolutely continuous and in fact has Lebesgue–Radon–Nikodým derivative f such that For general locally compact Abelian groups, no exact analogue of (1 · 1) seems possible, as the character group may admit no natural order. However, it makes good sense to ask if μ* μ is absolutely continuous and has pth power integrable derivative. We will construct continuous singular measures μ on all non-discrete locally compact Abelian groups G such that μ * μ is a absolutely continuous and for which the Lebesgue–Radon–Nikodým derivative of μ * μ is in, for all real p > 1.


1973 ◽  
Vol 9 (1) ◽  
pp. 73-82 ◽  
Author(s):  
U.B. Tewari ◽  
A.K. Gupta

Let G be a locally compact abelian group and Ĝ be its dual group. For 1 ≤ p < ∞, let Ap (G) denote the set of all those functions in L1(G) whose Fourier transforms belong to Lp (Ĝ). Let M(Ap (G)) denote the set of all functions φ belonging to L∞(Ĝ) such that is Fourier transform of an L1-function on G whenever f belongs to Ap (G). For 1 ≤ p < q < ∞, we prove that Ap (G) Aq(G) provided G is nondiscrete. As an application of this result we prove that if G is an infinite compact abelian group and 1 ≤ p ≤ 4 then lp (Ĝ) M(Ap(G)), and if p > 4 then there exists ψ є lp (Ĝ) such that ψ does not belong to M(Ap (G)).


Sign in / Sign up

Export Citation Format

Share Document