Algebra Commons^™

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

A Theorem On Reproducing Kernel Hilbert Spaces Of Pairs, Daniel Alpay

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we study reproducing kernel Hilbert and Banach spaces of pairs. These are a generalization of reproducing kernel Krein spaces and, roughly speaking, consist of pairs of Hilbert (or Banach) spaces of functions in duality with respect to a sesquilinear form and admitting a left and right reproducing kernel. We first investigate some properties of these spaces of pairs. It is then proved that to every function K(z, ω) analytic in z and ω* there is a neighborhood of the origin that can be associated with a reproducing kernel Hilbert space of pairs with left reproducing kernel K(z, …

Some Remarks On Reproducing Kernel Krein Spaces, Daniel Alpay

Mathematics, Physics, and Computer Science Faculty Articles and Research

The one-to-one correspondence between positive functions and reproducing kernel Hilbert spaces was extended by L. Schwartz to a (onto, but not one-to-one) correspondence between difference of positive functions and reproducing kernel Krein spaces. After discussing this result, we prove that matrix value function K(z,ω) symmetric and jointly analytic in z and ω in a neighborhood of the origin is the reproducing kernel of a reproducing kernel Krein space. We conclude with an example showing that such a function can be the reproducing kernel of two different Krein spaces.

Dilatations Des Commutants D'Opérateurs Pour Des Espaces De Krein De Fonctions Analytiques, Daniel Alpay

Mathematics, Physics, and Computer Science Faculty Articles and Research

Let K1 and K2 be two Krein spaces of functions analytic in the unit disk and invariant for the left shift operator R0(R0f(z)=(f(z)−f(0))/z), and let A be a linear continuous operator from K1 into K2 whose adjoint commutes with R0. We study dilations of A which preserve this commuting property and such that the Hermitian forms defined by I−AA∗ and I−BB∗ have the same number of negative squares. We thus obtain a version of the commutant lifting theorem in the framework of Krein spaces of analytic functions. To prove this result we suppose that the graph of the operator A∗, …

Reproducing Kernel Krein Spaces Of Analytic Functions And Inverse Scattering, Daniel Alpay

Mathematics, Physics, and Computer Science Faculty Articles and Research

The purpose of this thesis is to study certain reproducing kernel Krein spaces of analytic functions, the relationships between these spaces and an inverse scattering problem associated with matrix valued functions of bounded type, and an operator model.

Roughly speaking, these results correspond to a generalization of earlier investigations on the applications of de Branges' theory of reproducing kernel Hilbert spaces of analytic functions to the inverse scattering problem for a matrix valued function of the Schur class.

The present work considers first a generalization of a portion of de Branges' theory to Krein spaces. We then formulate a general …