Some functional equations on standard operator algebras

The main purpose of this paper is to prove the following result. Let H be a complex Hilbert space, let (H) be the algebra of all bounded linear operators on H, and let (H) ⊂ (H) be a standard operator algebra which is closed under the adjoint operation. Suppose that T: (H) → (H) is a linear mapping satisfying T(AA* A) = T(A)A* A − AT(A*)A + AA*T(A) for all A ∈ (H). Then T is of the form T(A) = AB + BA for all A ∈ (H), where B is a fixed operator from (H). A result concerning functional equations related to bicircular projections is proved      

On $$ \mathcal{C} $$*-sets and decompositions of continuous and ηζ-continuous functions

The main purpose of this paper is to introduce the concepts of *-sets, *-continuous functions and to obtain new decompositions of continuous and ηζ-continuous functions. Moreover, properties of *-sets and some properties of -sets are discussed.      

Distribution of the maxima of random Takagi functions

This paper concerns the maximum value and the set of maximum points of a random version of Takagi’s continuous, nowhere differentiable function. Let F(x):=∑ _n=1^∞ ε _n ϕ(2 ⁿ⁻¹ x), x ∈ R, where ɛ ₁, ɛ ₂, ... are independent, identically distributed random variables taking values in {−1, 1}, and ϕ is the “tent map” defined by ϕ(x) = 2 dist (x, Z). Let p:= P (ɛ ₁ = 1), M:= max {F(x): x ∈ R}, and := {x ∈ [0, 1): F(x) = M}. An explicit expression for M is given in terms of the sequence {ɛ _n }, and it is shown that the probability distribution μ of M is purely atomic if p < , and is singular continuous if p ≧ . In the latter case, the Hausdorff dimension and the multifractal spectrum of μ are determined. It is shown further that the set is finite almost surely if p < , and is topologically equivalent to a Cantor set almost surely if p ≧ . The distribution of the cardinality of is determined in the first case, and the almost-sure Hausdorff dimension of is shown to be (2p − 1)/2p in the second case. The distribution of the leftmost point of is also given. Finally, some of the results are extended to the more general functions Σa ^{n − 1} ɛ _n ϕ(2 ^{n − 1} x), where 0 < a < 1.      

Hausdorff graph topology, proximal graph topology and the uniform topology for densely continuous forms and minimal USCO maps

For metric spaces (X, d _x) and (Y, d _y) we consider the Hausdorff metric topology on the set (CL(X × Y), ρ) of closed subsets of the product metrized by the product (box) metric ρ and consider the proximal topology defined on CL(X × Y). These topologies are inherited by the set G(X, Y) of closed-graph multifunctions from X to Y, if we identify each multifunction with its graph. Finally, we consider the topology of uniform convergence τ _uc on the set F(X, 2^Y) of all closed-valued multifunctions, i.e. functions from X to the set (CL(Y),) of closed subsets of Y metrized by the Hausdorff metric . We show the relationship between these topologies on the space G(X, Y) and also on the subspaces of minimal USCO maps and locally bounded densely continuous forms. This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-006904. The authors would like to thank.ubica Holá for suggestions and comments.     

Nonlinear maps of convex sets in Hilbert spaces with application to kinetic equations

Let be a separable Hilbert space, an open convex subset, and f: a smooth map. Let Ω be an open convex set in with , where denotes the closure of Ω in . We consider the following questions. First, in case f is Lipschitz, find sufficient conditions such that for ɛ > 0 sufficiently small, depending only on Lip(f), the image of Ω by I + ɛf, (I + ɛf)(Ω), is convex. Second, suppose df(u): is symmetrizable with σ(df(u)) ⊆ (0,∞), for all u ∈ , where σ(df(u)) denotes the spectrum of df(u). Find sufficient conditions so that the image f(Ω) is convex. We establish results addressing both questions illustrating our assumptions and results with simple examples. We also show how our first main result immediately apply to provide an invariance principle for finite difference schemes for nonlinear ordinary differential equations in Hilbert spaces. The main application of the theory developed in this paper concerns our second result and provides an invariance principle for certain convex sets in an L ²-space under the flow of a class of kinetic transport equations so called BGK model.      

Stability of homogeneity almost everywhere

We consider approximately ϕ-homogeneous mappings almost everywhere, that is functions F such that the difference F(αx) − ϕ(α)F(x) is in some sense bounded almost everywhere in a product space. We will prove, under some assumptions, that then either we have some kind of boundedness of ϕ and F, or there exist a homomorphism and a -homogeneous function , which are almost everywhere equal to ϕ and F, respectively. From this result we derive the superstability effect for the multiplicativity almost everywhere.      

Projectively condensed semigroups,generalized completely regular semigroups and projective orthomonoids

The class of projectively condensed semigroups is a quasivariety of unary semigroups, the class of projective orthomonoids is a subquasivariety of . Some well-known classes of generalized completely regular semigroups will be regarded as subquasivarieties of . We give the structure semilattice composition and the standard representation of projective orthomonoids, and then obtain the structure theorems of various generalized orthogroups. Partially supported by a UGC (HK) grant #2060123 (04-05).     

Infinitesimal adjunction and polar curves

The polar curves of foliations having a curve C of separatrices generalize the classical polar curves associated to hamiltonian foliations of C. As in the classical theory, the equisingularity type ℘() of a generic polar curve depends on the analytical type of , and hence of C. In this paper we find the equisingularity types ε(C) of C, that we call kind singularities, such that ℘() is completely determined by ε(C) for Zariski-general foliations . Our proofs are mainly based on the adjunction properties of the polar curves. The foliation-like framework is necessary, otherwise we do not get the right concept of general foliation in Zariski sense and, as we show by examples, the hamiltonian case can be out of the set of general foliations. The author was partially supported by the research projects MTM2007-66262 (Ministerio de Educación y Ciencia), MTM2006-15338-C02-02 (Ministerio de Educación y Ciencia),VA059A07 (Junta de Castilla y León) and PGIDITI06PXIB377128PR (Xunta de Galicia).     

Push-outs of derivations

Let be a Banach algebra and let X be a Banach -bimodule. In studying (,X) it is often useful to extend a given derivation D: → X to a Banach algebra containing as an ideal, thereby exploiting (or establishing) hereditary properties. This is usually done using (bounded/unbounded) approximate identities to obtain the extension as a limit of operators b ↦ D(ba) − b.D(a), a ε in an appropriate operator topology, the main point in the proof being to show that the limit map is in fact a derivation. In this paper we make clear which part of this approach is analytic and which algebraic by presenting an algebraic scheme that gives derivations in all situations at the cost of enlarging the module. We use our construction to give improvements and shorter proofs of some results from the literature and to give a necessary and sufficient condition that biprojectivity and biflatness is inherited to ideals.     

Degenerating curves and surfaces: first results

Let be a smooth family of surfaces whose general fibre is a smooth surface of ℙ³ and whose special fibre has two smooth components, intersecting transversally along a smooth curve R. We consider the Universal Severi-Enriques variety on . The general fibre of is the variety of curves on in the linear system with k cusps and δ nodes as singularities. Our problem is to find all irreducible components of the special fibre of . In this paper, we consider only the cases (k, δ) = (0, 1) and (k, δ) = (1, 0). In particular, we determine all singular curves on the special fibre of which, counted with the right multiplicity, are a limit of 1-cuspidal curves on the general fibre of .      

The hardy and bellman operators in spaces connected with H( \mathbb{T} ) and BMO( \mathbb{T} )

Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series $ \sum\limits_{n = 1}^\infty {a_n } Assume that 1 ≤ p < ∞ and a function f ∈ L ^p [0, π] has the Fourier series cos nx. According to one result of G.H. Hardy, the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. But if 1 < p ≤ ∞ and f ∈ L ^p [0, π], then the series cos nx is the Fourier series for a certain function (f) ∈ L ^p [0, π]. Similar assertions are true for sine series. This allows one to define the Hardy operator on L ^p (), 1 ≤ p < ∞, and to define the Bellman operator on L ^p (), 1 < p ≤ ∞. In this paper we prove that the Bellman operator boundedly acts in VMO(), and the Hardy operator also maps a certain subspace C() onto VMO(). We also prove the invariance of certain classes of functions with given majorants of modules of continuity or best approximations in the spaces H(), L(), VMO() with respect to the Hardy and Bellman operators. Original Russian Text ? S.S. Volosivets and B.I. Golubov, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2008, No. 5, pp. 4–13.     

Unconditional ideals of finite rank operators

Let X be a Banach space. We give characterizations of when is a u-ideal in for every Banach space Y in terms of nets of finite rank operators approximating weakly compact operators. Similar characterizations are given for the cases when is a u-ideal in for every Banach space Y, when is a u-ideal in for every Banach space Y, and when is a u-ideal in for every Banach space Y.     

Roots of C*-algebra elements under numerical range condition

Let be a C*-algebra with unit 1. For each a ∈ , the C*-algebra numerical range is defined by V(a) = {φ(a): φ ∈ , φ ≥ 0,φ(1) = 1}. In a 2003 paper Li, Rodman and Spitkovsky have found the ω-th roots of elements in C*-algebra under a numerical range condition, when ω ∈ [1,∞). In this paper, we will give a short proof of the above result in the case of ω is a positive integer number. We also give a simple proof for ω-th root of an element a ∈ , when ω ∈ [1,∞) and V(a)∩ {z ∈ ℂ: z ≤ 0} = . The first author was supported by the Shiraz university Research Council Grant No. 86-GRSC-32.     

Deterministic extractors for affine sources over large fields

An (n,k)-affine source over a finite field is a random variable X = (X ₁,..., X _n ) ∈ , which is uniformly distributed over an (unknown) k-dimensional affine subspace of . We show how to (deterministically) extract practically all the randomness from affine sources, for any field of size larger than n ^c (where c is a large enough constant). Our main results are as follows:

Linear connections of a framed distribution of hyperplane elements in conformal space

We study the geometry of affine and normal connections induced by a complete normalization of mutually orthogonal distributions $ \mathcal{M} We study the geometry of affine and normal connections induced by a complete normalization of mutually orthogonal distributions and in conformal space C _n , where is a distribution of hyperplane elements, and is a distribution of line elements. We consider invariant fields of pencils that are parallel with respect to the normal connection along any curve belonging to the distribution . Original Russian Text ? A.M. Matveeva, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2008, No. 7, pp. 79–84.     

<Emphasis Type="Italic">K</Emphasis><Subscript>0</Subscript>-group and approximate similarity invariants of strongly irreducible operators

Let H olenote a complex separable Hilbert space and L(H) denote the collection of bounded linear operators on H. An operator T ∈ L(H) is said to be strongly irreducible if T does not commute with any nontrivial idempotent. Herrero and Jiang showed that the norm-closure of the class of all strongly irreducible operators is the class of all operators with connected spectrum. This result can be considered as an approximate inverse of the Riesz decomposition theorem. In the paper, we give a more precise charact...     

Equations in finite fields with restricted solution sets. II (Algebraic equations)

Generalizing earlier results, it is shown that if are “large” subsets of a finite field F _q , then the equations a + b = cd, resp. ab + 1 = cd can be solved with . Other algebraic equations with solutions restricted to “large” subsets of F _q are also studied. The proofs are based on character sum estimates proved in Part I of the paper. Research partially supported by the Hungarian National Foundation for Scientific Research, Grants No. T 043623, T 043631 and T 049693.     

Some remarks on trigonometric sums

Let

Perfect difference sets constructed from Sidon sets

A set of positive integers is a perfect difference set if every nonzero integer has a unique representation as the difference of two elements of . We construct dense perfect difference sets from dense Sidon sets. As a consequence of this new approach we prove that there exists a perfect difference set such that

A note on the crossed product $$ \mathcal{R}(\mathcal{A},\alpha ) $$ associated with PSL2(ℝ)

Given the hyperbolic measure dxdy/y ² on the upper half plane ℍ, the rational actions of PSL₂(ℝ) on ℍ induces a continuous unitary representation α of this group on the Hilbert space L ²(ℍ, dxdy/y ²). Supposing that = {M _f : f ∈ L ^∞ (ℍ, dxdy/y ²)}, we show that the crossed product is of type I. In fact, the crossed product is *-isomorphic to the von Neumann algebra , where is the abelian group von Neumann algebra generated by the left regular representation of K. This work was supported by the Youth Foundation of Sichuan Education Department of China (Grant No. 2003B017)