Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Similarity of operators associated with the Volterra relation

The “Volterra relation” is the commutation relation [S,V]⊂V ², where S is a not necessarily bounded operator, V is a bounded operator leaving D(S) invariant, and [⋅,⋅] is the Lie product. When S,V are so related, and in addition iS generates a bounded C ₀-group of operators and V has some general property, it is known that S+α V (α∈ℂ) is similar to S if and only if ℜ α=0 (cf. Theorem 11.17 in Kantorovitz, Spectral Theory of Banach Space Operators, Springer, Berlin, 1983). In particular, S−V is not similar to S. However, it is shown in this note that (without any restriction on V and on the group S(⋅) generated by iS), the perturbations (S−V)+P are similar to S for all P in the similarity sub-orbit {S(a)VS(−a);a∈ℝ} of V. When S is bounded, the above perturbations are similar to S for all P in the wider similarity sub-orbit {e ^aS Ve ^−aS ;a∈ℂ}.     

Optimization for products of concave functions

Ifh denotes the product of finitely many concave non-negative functions on a compact interval [a, b], then it is shown that there exist pointsα andβ witha≤α≤β≤b such thath is strictly increasing on [α, α), constant on (α, β), and strictly decreasing on (β, b]. This structure theorem leads to an extension of several classical optimization results for concave functions on convex sets to the case of products of concave functions.     

Local linear operators and multicontour solutions of homogeneous coupled map lattices

Theorems are proved establishing a relationship between the spectra of the linear operators of the formA+Ωg _iB_ig_i ⁻¹ andA+B _i, whereg _i∈G, andG is a group acting by linear isometric operators. It is assumed that the closed operatorsA andB _i possess the following property: ‖B _iA⁻¹gB_jA⁻¹‖→0 asd(e,g)→∞. Hered is a left-invariant metric onG ande is the unit ofG. Moreover, the operatorA is invariant with respect to the action of the groupG. These theorems are applied to the proof of the existence of multicontour solutions of dynamical systems on lattices. Translated fromMatematicheskie Zametki, Vol. 65, No. 1, pp. 37–47, January, 1999.     

2-Summing operators on C([0, 1], lp) with values in l1

Let Ω be a compact Hausdorff space, X a Banach space, C(Ω, X) the Banach space of continuous X-valued functions on Ω under the uniform norm, U: C(Ω, X) → Y a bounded linear operator and U ^#, U _# two natural operators associated to U. For each 1 ≤ s < ∞, let the conditions (α) U ∈ Π _s (C(Ω, X), Y); (β)U ^# ∈ Π _s (C(Ω), Π _s (X, Y)); (γ) U _# ε Π _s (X, Π _s (C(Ω), Y)). A general result, [10, 13], asserts that (α) implies (β) and (γ). In this paper, in case s = 2, we give necessary and sufficient conditions that natural operators on C([0, 1], l _p ) with values in l ₁ satisfies (α), (β) and (γ), which show that the above implication is the best possible result.     

Conjecture of Li and Praeger concerning the isomorphisms of Cayley graphs of A5

LetG be a finite group, andS a subset ofG \ |1| withS =S ⁻¹. We useX = Cay(G,S) to denote the Cayley graph ofG with respect toS. We callS a Cl-subset ofG, if for any isomorphism Cay(G,S) ≈ Cay(G,T) there is an α∈ Aut(G) such thatS ^α =T. Assume that m is a positive integer.G is called anm-Cl-group if every subsetS ofG withS =S ⁻¹ and | S | ≤m is Cl. In this paper we prove that the alternating groupA ₅ is a 4-Cl-group, which was a conjecture posed by Li and Praeger.     

K-functional, weighted moduli of smoothness, and best weighted polynomial approximation on a simplex

An inverse theorem for the best weighted polynomial approximation of a function in (S) is established. We also investigate Besov spaces generated by Freud weight and their connection with algebraic polynomial approximation in , wherew _α is a Jacobi-type weight onS, 0<p ≤ ∞,S is a simplex andW _λ is a Freud weight. For Ditzian-TotikK-functionals onL _p(S), 1 ≤p ≤ ∞, we obtain a new equivalence expression.     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.     

A note on the valence of certain means

Given two functionsf(z),g(z) in the (usual) classS, we can form the new functions (arithmetric and geometric mean functions) F(itz)=∝(itf)(itz)+β(itg)(itz) and G(itz)=(itz)(f(itz)/(itz))(su∝)(g(itz)/(itz))(suβ), whereα, β ∈ (0, 1) andα+β=1. This paper determines the maximum valence of the functionsF andG.     

On totally *-paranormal operators

In this paper we study some properties of a totally *-paranormal operator (defined below) on Hilbert space. In particular, we characterize a totally *-paranormal operator. Also we show that Weyl’s theorem and the spectral mapping theorem hold for totally *-paranormal operators through the local spectral theory. Finally, we show that every totally *-paranormal operator satisfies an analogue of the single valued extension property for W ²(D, H) and some of totally *-paranormal operators have scalar extensions.     

Denting and strongly extreme points in the unit ball of spaces of operators

For 1 ≤p ≤ ∞ we show that there are no denting points in the unit ball of ℓ(l^p). This extends a result recently proved by Grząślewicz and Scherwentke whenp = 2 [GS1]. We also show that for any Banach spaceX and for any measure space (Ω, A, μ), the unit ball of ℓ(L ¹ (μ), X) has denting points iffL ¹(μ) is finite dimensional and the unit ball ofX has a denting point. We also exhibit other classes of Banach spacesX andY for which the unit ball of ℓ(X, Y) has no denting points. When X* has the extreme point intersection property, we show that all ‘nice’ operators in the unit ball of ℓ(X, Y) are strongly extreme points.     

Essential Spectral Inclusions for Operators on Banach Spaces

This paper centers on local spectral conditions that are both necessary and sufficient for the equality of the essential spectra of two bounded linear operators on complex Banach spaces that are intertwined by a pair of bounded linear mappings. In particular, if the operators T and S are intertwined by a pair of injective operators, then S is Fredholm provided that T is Fredholm and S has property (δ) in a neighborhood of 0. In this case, ind(T) ≤ ind(S), and equality holds precisely when the eigenvalues of the adjoint T* do not cluster at 0. By duality, we obtain refinements of results due to Putinar, Takahashi, and Yang concerning operators with Bishop’s property (β) intertwined by pairs of operators with dense range. Moreover, we establish an extension of a result due to Eschmeier that, under appropriate assumptions regarding the single-valued extension property, leads to necessary and sufficient conditions for quasi-similar operators to have equal essential spectra. In particular it turns out that the single-valued extension property plays an essential role in the preservation of the index in this context.      

Redefined fuzzy B-algebras

By two relations belonging to and quasi-coincidence (q) between fuzzy points and fuzzy sets, we define the concept of (α, β)-fuzzy subalgebras where α, β are any two of with . We state and prove some theorems in (α, β)-fuzzy B-algebras.     

Approximate Factorization in Generalized Hardy Spaces

In this paper we establish a connection between the approximate factorization property appearing in the theory of dual algebras and the spectral inclusion property for a class of Toeplitz operators on Hilbert spaces of vector valued square integrable functions. As an application, it follows that a wide range of dual algebras of subnormal Toeplitz operators on various Hardy spaces associated to function algebras have property (A ₁(1)). It is also proved that the dual algebra generated by a spherical isometry (with a possibly infinite number of components) has the same property. One particular application is given to the existence of unimodular functions sitting in cyclic invariant subspaces of weak* Dirichlet algebras. Moreover, by this method we provide a unified approach to several Toeplitz spectral inclusion theorems. Research partially supported by grant CNCSIS GR202/2006 (cod 813).     

A new characterization of Anderson’s inequality in <Emphasis Type="Italic">C</Emphasis><Subscript>1</Subscript>-classes

Let ℋ be a separable infinite dimensional complex Hilbert space, and let ℒ(H) denote the algebra of all bounded linear operators on ℋ into itself. Let A = (A ₁, A ₂,..., A _n), B = (B ₁, B ₂,..., B _n) be n-tuples of operators in ℒ(H); we define the elementary operators Δ _A,B : ℒ(H) ↦ ℒ(H) by

Compatibility and Schur Complements of Operators on Hilbert C*-Module

Let E be a Hilbert C*-module,and ■ be an orthogonally complemented closed submodule of E.The authors generalize the definitions of ■-complementability and ■-compatibility for general(adjointable) operators from Hilbert space to Hilbert C*-module,and discuss the relationship between each other.Several equivalent statements about ■-complementability and ■-compatibility,and several representations of Schur complements of ■-complementable operators(especially,of ■-compatible operators and of positive ■-compatib...     

α-Inflatable semigroups

For α∈N with α≥2, we define and characterize α-inflatable semigroups,S and establish that the product (βS/S,·)·(βS/S,·) of Stone-Ĉech remainders does not contain the closure of the minimal ideal of (βS,·), the Stone-Ĉech compactification ofS. From this result, one can easily derive Ruppert's result that the minimal ideal of a compact left-topological semigroup is not necessarily closed. The author gratefully acknowledges support from Delaware State College under Grant No. 6769.     

A semigroup approach to fractional powers

We say that A has fractional powers {A _t } _t≥0 if there exists a nondegenerate C-regularized semigroup {W(t)} _t≥0 such that A=C ⁻¹ W(1); then A _t ≡C ⁻¹ W(t). We show that this generalizes the usual definition of fractional powers for nonnegative operators, and enables many operators with spectrum containing the entire unit disc to have fractional powers. Our definition gives clear, simple proofs of the basic properties of fractional powers. We show that, for nonnegative operators, the fractional powers with the property that, if A is of type θ, then A _t is of type t θ, whenever t θ<π, are unique. More generally, for injective G∈B(X) commuting with A, we show that an operator A of G-regularized type θ has a unique family of fractional powers with the property that A _t is of G-regularized type t θ whenever t θ<π. This leads to a construction of fractional powers of operators with polynomially bounded resolvent outside of an appropriate sector. We show that an operator is of regularized type if and only if it has exponentially bounded regularized imaginary powers. This work was done while the second author was visiting Ohio University, with funding from Universitat de València. He would like to thank Ohio University and Professor deLaubenfels for their hospitality and support.     

A unified characterization of reproducing systems generated by a finite family,II

By a “reproducing” method forH =L ²(ℝ ⁿ ) we mean the use of two countable families {e _α : α ∈A}, {f _α : α ∈A}, inH, so that the first “analyzes” a function h ∈H by forming the inner products {<h,e _α >: α ∈A} and the second “reconstructs” h from this information:h = Σα∈A <h,e _α >:f _α. A variety of such systems have been used successfully in both pure and applied mathematics. They have the following feature in common: they are generated by a single or a finite collection of functions by applying to the generators two countable families of operators that consist of two of the following three actions: dilations, modulations, and translations. The Gabor systems, for example, involve a countable collection of modulations and translations; the affine systems (that produce a variety of wavelets) involve translations and dilations. A considerable amount of research has been conducted in order to characterize those generators of such systems. In this article we establish a result that “unifies” all of these characterizations by means of a relatively simple system of equalities. Such unification has been presented in a work by one of the authors. One of the novelties here is the use of a different approach that provides us with a considerably more general class of such reproducing systems; for example, in the affine case, we need not to restrict the dilation matrices to ones that preserve the integer lattice and are expanding on ℝ ⁿ . Another novelty is a detailed analysis, in the case of affine and quasi-affine systems, of the characterizing equations for different kinds of dilation matrices.