Completions of -algebras

A μ-algebra is a model of a first-order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms (f,μ_x.f) where μ_x.f is axiomatized as the least prefixed point of f, whose axioms are equations or equational implications.Standard μ-algebras are complete meaning that their lattice reduct is a complete lattice. We prove that any nontrivial quasivariety of μ-algebras contains a μ-algebra that has no embedding into a complete μ-algebra.We then focus on modal μ-algebras, i.e. algebraic models of the propositional modal μ-calculus. We prove that free modal μ-algebras satisfy a condition–reminiscent of Whitman’s condition for free lattices–which allows us to prove that (i) modal operators are adjoints on free modal μ-algebras, (ii) least prefixed points of Σ₁-operations satisfy the constructive relation μ_x.f=_n≥0fⁿ(). These properties imply the following statement: the MacNeille–Dedekind completion of a free modal μ-algebra is a complete modal μ-algebra and moreover the canonical embedding preserves all the operations in the class of the fixed point alternation hierarchy.     

The topological structure of fuzzy sets with endograph metric

For a non-degenerate convex subset Y of the n-dimensional Euclidean space Rⁿ, let be the family of all fuzzy sets ofRⁿ, which are upper-semicontinuous, fuzzy convex and normal with compact supports contained in Y. We show that the space with the topology of endograph metric is homeomorphic to the Hilbert cube Q=[-1,1]^ω iff Y is compact; and the space is homeomorphic to {(x_n)Q:sup|x_n|<1} iff Y is non-compact and locally compact.     

Solutions to operator equations on Hilbert -modules

Let be a C^*-algebra, E,F and G be Hilbert -modules, , and . We generalize the Douglas theorem about the operator equation TX=T^′ from Hilbert space to Hilbert C^*-module. To the equation TX=T^′ and to the system of two equations TX=T^′ and XS=S^′, we get the forms of general solutions (in the case that there exists a solution), and give some sufficient and necessary conditions for the existence of solutions, and the existence of hermitian solutions and positive solutions (in the case G=E). In addition, the forms of general hermitian solution and general positive solution (in the case that there exists a solution and G=E) to the equation TX=T^′ are given too.     

Further improved recursions for a class of compound Poisson distributions

In the present paper we develop more efficient recursive formulae for the evaluation of the t-order cumulative function Γ^th(x) and the t-order tail probability Λ^th(x) of the class of compound Poisson distributions in the case where the derivative of the probability generating function of the claim amounts can be written as a ratio of two polynomials. These efficient recursions can be applied for the exact evaluation of the probability function (given by De Pril [De Pril, N., 1986a. Improved recursions for some compound Poisson distributions. Insurance Math. Econom. 5, 129-132]), distribution function, tail probability, stop-loss premiums and t-order moments of stop-loss transforms of compound Poisson distributions. Also, efficient recursive algorithms are given for the evaluation of higher-order moments and r-order factorial moments about any point for this class of compound Poisson distributions. Finally, several examples of discrete claim size distributions belonging to this class are also given.     

A bilinear form relating two Leonard systems

Let Φ, Φ^′ be Leonard systems over a field , and V, V^′ the vector spaces underlying Φ, Φ^′, respectively. In this paper, we introduce and discuss a balanced bilinear form on V×V^′. Such a form naturally arises in the study of Q-polynomial distance-regular graphs. We characterize a balanced bilinear form from several points of view.     

Functional spectrum of contractions

In this paper, we introduce a new kind of spectrum for the C⋅0-class contractions. Since elements in this spectrum are functions, rather than numbers, we shall call it functional spectrum. Functional spectrum is a “large” closed subset of the Hardy space over the unit disk, and in many cases there is a canonical embedding of classical spectrum into functional spectrum. The study is carried out in the setting of the Hardy space over the bidisk H²(D²), on which every C⋅0-class contraction has a representation. A key tool is reduction operator. The reduction operator also gives rise to an equivalent statement of the Invariant Subspace Problem.     

The Cuntz semigroup and comparison of open projections

We show that a number of naturally occurring comparison relations on positive elements in a C^?-algebra are equivalent to natural comparison properties of their corresponding open projections in the bidual of the C^?-algebra. In particular we show that Cuntz comparison of positive elements corresponds to a comparison relation on open projections, that we call Cuntz comparison, and which is defined in terms of—and is weaker than—a comparison notion defined by Peligrad and Zsidó. The latter corresponds to a well-known comparison relation on positive elements defined by Blackadar. We show that Murray-von Neumann comparison of open projections corresponds to tracial comparison of the corresponding positive elements of the C^?-algebra. We use these findings to give a new picture of the Cuntz semigroup.     

CMV matrices with asymptotically constant coefficients. Szegö-Blaschke class, scattering theory

We develop a modern extended scattering theory for CMV matrices with asymptotically constant Verblunsky coefficients. We show that the traditional (Faddeev-Marchenko) condition is too restrictive to define the class of CMV matrices for which there exists a unique scattering representation. The main results are: (1) the class of twosided CMV matrices acting in l², whose spectral density satisfies the Szegö condition and whose point spectrum the Blaschke condition, corresponds precisely to the class where the scattering problem can be posed and solved. That is, to a given CMV matrix of this class, one can associate the scattering data and the FM space. The CMV matrix corresponds to the multiplication operator in this space, and the orthonormal basis in it (corresponding to the standard basis in l²) behaves asymptotically as the basis associated with the free system. (2) From the point of view of the scattering problem, the most natural class of CMV matrices is that one in which (a) the scattering data determine the matrix uniquely and (b) the associated Gelfand-Levitan-Marchenko transformation operators are bounded. Necessary and sufficient conditions for this class can be given in terms of an A₂ kind condition for the density of the absolutely continuous spectrum and a Carleson kind condition for the discrete spectrum. Similar conditions close to the optimal ones are given directly in terms of the scattering data.     

Multicyclicity of unbounded normal operators and polynomial approximation in C

A remarkable and much cited result of Bram [J. Bram, Subnormal operators, Duke Math. J. 22 (1955) 75-94] shows that a star-cyclic bounded normal operator in a separable Hilbert space has a cyclic vector. If, in addition, the operator is multiplication by the variable in a space L²(m) (not only unitarily equivalent to it), then it has a cyclic vector in L^∞(m). We extend Bram's result to the case of a general unbounded normal operator, implying by this that the (classical) multiplicity and the multicyclicity of the operator (cf. [N.K. Nikolski, Operators, Functions and Systems: An Easy Reading, vol. 2, Math. Surveys Monogr., vol. 93, Amer. Math. Soc., Providence, 2002]) coincide. It follows that if m is a sigma-finite Borel measure on C (possibly with noncompact support), then there is a nonnegative finite Borel measure τ equivalent to m and such that L²(C,τ) is the norm-closure of the polynomials in z.     

Strong Haagerup inequalities with operator coefficients

We prove a Strong Haagerup inequality with operator coefficients. If for an integer d, denotes the subspace of the von Neumann algebra of a free group F_I spanned by the words of length d in the generators (but not their inverses), then we provide in this paper an explicit upper bound on the norm on , which improves and generalizes previous results by Kemp–Speicher (in the scalar case) and Buchholz and Parcet–Pisier (in the non-holomorphic setting). Namely the norm of an element of the form ∑_{i=(i1,…,id)}a_iλ(g_i1g_id) is less than , where M₀,…,M_d are d+1 different block-matrices naturally constructed from the family (a_i)_iI^d for each decomposition of I^dI^l×I^d−l with l=0,…,d. It is also proved that the same inequality holds for the norms in the associated non-commutative L_p spaces when p is an even integer, pd and when the generators of the free group are more generally replaced by *-free -diagonal operators. In particular it applies to the case of free circular operators. We also get inequalities for the non-holomorphic case, with a rate of growth of order d+1 as for the classical Haagerup inequality. The proof is of combinatorial nature and is based on the definition and study of a symmetrization process for partitions.     

Spectral theory for algebraic combinations of Toeplitz and composition operators

We determine the essential spectra of algebraic combinations of Toeplitz operators with continuous symbol and composition operators induced by a class of linear-fractional non-automorphisms of the unit disk. The operators in question act on the Hardy space H² on the unit disk. Our method is to realize the C^*-algebra that they generate as an extension of the compact operators by a concrete C^*-algebra whose invertible elements are easily characterized.     

Functional calculi for convolution operators on a discrete, periodic, solvable group

Suppose T is a bounded self-adjoint operator on the Hilbert space L²(X,μ) and let

     

Essential self-adjointness of Dirichlet operators on a path space with Gibbs measures via an SPDE approach

The main objective of this paper is to prove the essential self-adjointness of Dirichlet operators in L²(μ) where μ is a Gibbs measure on an infinite volume path space C(R,Rd). This operator can be regarded as a perturbation of the Ornstein-Uhlenbeck operator by a nonlinearity and corresponds to a parabolic stochastic partial differential equation (= SPDE, in abbreviation) on R. In view of quantum field theory, the solution of this SPDE is called a P₁(?)-time evolution.     

Decay estimates of functions through singular extensions of vector-valued Laplace transforms

Let X be a Banach space and let f∈L^∞(R⁺;X) whose Laplace transform extends analytically to some region containing iR?{0}, possibly having a pole at the origin. In this paper, we give estimates of the decay of certain slight suitable modification of f in terms of the growth of its Laplace transform along the imaginary axis. This technique is applied to obtain decay estimates of smooth orbits of bounded C₀-semigroups whose infinitesimal generators have an arbitrary finite boundary spectrum. These results are close to those given recently by C.J.K. Batty and T. Duyckaerts.     

A Morita theorem for dual operator algebras

We prove that two dual operator algebras are weak^∗ Morita equivalent in the sense of [D.P. Blecher, U. Kashyap, Morita equivalence of dual operator algebras, J. Pure Appl. Algebra 212 (2008) 2401-2412] if and only if they have equivalent categories of dual operator modules via completely contractive functors which are also weak^∗-continuous on appropriate morphism spaces. Moreover, in a fashion similar to the operator algebra case, we characterize such functors as the module normal Haagerup tensor product with an appropriate weak^∗ Morita equivalence bimodule. We also develop the theory of the W^∗-dilation, which connects the non-selfadjoint dual operator algebra with the W^∗-algebraic framework. In the case of weak^∗ Morita equivalence, this W^∗-dilation is a W^∗-module over a von Neumann algebra generated by the non-selfadjoint dual operator algebra. The theory of the W^∗-dilation is a key part of the proof of our main theorem.     

The fixed point property in -triples and preduals of -triples

We prove that for every member X in the class of real or complex JB^*-triples or preduals of JBW^*-triples, the following assertions are equivalent:

(1) X has the fixed point property.

(2) X has the super fixed point property.

(3) X has normal structure.

(4) X has uniform normal structure.

(5) The Banach space of X is reflexive.

As a consequence, a real or complex C^*-algebra or the predual of a real or complex W^*-algebra having the fixed point property must be finite-dimensional.

Global Hopf bifurcation for differential equations with state-dependent delay

We develop a global Hopf bifurcation theory for a system of functional differential equations with state-dependent delay. The theory is based on an application of the homotopy invariance of S¹-equivariant degree using the formal linearization of the system at a stationary state. Our results show that under a set of mild conditions the information about the characteristic equation of the formal linearization with frozen delay can be utilized to detect the local Hopf bifurcation and to describe the global continuation of periodic solutions for such a system with state-dependent delay.     

On Rockafellar’s theorem using proximal point algorithm involving -maximal monotonicity framework

On the basis of the general framework of H-maximal monotonicity (also referred to as H-monotonicity in the literature), a generalization to Rockafellar’s theorem in the context of solving a general inclusion problem involving a set-valued maximal monotone operator using the proximal point algorithm in a Hilbert space setting is explored. As a matter of fact, this class of inclusion problems reduces to a class of variational inequalities as well as to a class of complementarity problems. This proximal point algorithm turns out to be of interest in the sense that it plays a significant role in certain computational methods of multipliers in nonlinear programming. The notion of H-maximal monotonicity generalizes the general theory of set-valued maximal monotone mappings to a new level. Furthermore, some results on general firm nonexpansiveness and resolvent mapping corresponding to H-monotonicity are also given.     

Existence of periodic solutions for a fourth-order -Laplacian equation with a deviating argument

In this paper, we study the existence of periodic solutions for a fourth-order p-Laplacian differential equation with a deviating argument as follows:

[φ_p(u^″(t))]^″+f(u^″(t))+g(u(t−τ(t)))=e(t).