POLYNOMIAL SYSTEMS AS ADJOINT PROCESS MACHINES

ABSTRACT

By defining a suitable adjoint process in the category of k-spaces, it is shown that systems that can be described by polynomial equations can be studied via the Arbib-Manes model of machines in a category. Basic results regarding reachability, observability and realization are derived from the general theory.     

A NOTE ON SUBCATEGORIES OF REACHABLE MACHINES

Abstract

Given a category K. a state-behaviour process X: K → K and an image factorization system (E,M) for K, it is shown that under mild conditions the full subcategory with objects all reachable machines is coreflective. A corresponding result is obtained for coequalizer-reachable machines if X is only an input process.     

Adjoint machines,state-behavior machines,and duality

A process X: $\text{K}$→$\text{K}$ is output if Dyn(X)→$\text{K}$ has a right adjoint; state-behavior if Dyn(X)→X has both left and right adjoints; and adjoint if X has a right adjoint and $\text{K}$ has countable coproducts. Output processes provide the proper setting for a general theory of state observability. We give a minimal realization theory using image factorization of a total response map. We give an adjointness theory for state-behavior machines and a duality theory for adjoint machines which clarifies classical linear system duality and yields an improved duality for nondeterministic automata. Adjoint machines (machines with adjoint input processes) provide the first integration of classical sequential machines (the only state-behavior machines in the category, Set, of sets), metric machines, topological machines, linear systems, nondeterministic automata and Boolean machines. There exist state-behavior machines which are not adjoint (but not in Set).     

Cyclic accessibility of reachable states characterizes von Neumann regular rings

The class of commutative von Neumann regular rings is characterized by a generalization of the feedback cyclization property to non-necessarily reachable systems: for any system (A,B), there exist a matrix K and a vector u such that (A,B) and the single-input system (A+BK,Bu) have the same submodule of reachable states. An explicit algorithm is presented to obtain K,u for a given system (A,B).     

Characterization of Transfer Functions of Pritchard–Salamon or Other Realizations with a Bounded Input or Output Operator

We show that the transfer functions that have a (continuoustime) well-posed realization with a bounded input operator are exactly those that are strong-H² (plus constant feedthrough) over some right half-plane. The dual condition holds iff the transfer function has a realization with a bounded output operator. Both conditions hold iff the transfer function has a Pritchard–Salamon (PS) realization. A state-space variant of the PS result was proved already in [3], under the additional assumption that the weighting pattern (or impulse response) is a function (whose values are bounded operators). We illustrate by an example that this does not cover all PS systems, not even if the input and output spaces are separable.     

The Nehari problem for infinite-dimensional linear systems of parabolic type

A complete solution is obtained to the suboptimal Nehari extension problem for transfer functions of parabolic systems with Dirichlet boundary control and smooth observations. The solutions are given in terms of the realization (–A, B, C), whereA is a uniformly strongly elliptic operator of order two with smooth coefficients defined on a bounded open domain ofR _d ,B=AB _D andB _D is the Dirichlet map associated with Dirichlet boundary conditions andC is a bounded observation map fromL ₂() to the output spaceY. The approach is to solve an equivalentJ-spectral factorization problem for this particular realization.     

The approximation of reachable sets of control systems with integral constraint on controls

In this paper an approximation method for the construction of reachable sets of control systems with integral constraints on the control is considered. It is assumed that the control system is non-linear with respect to the phase state vector and is linear with respect to the control vector. The admissible control functions are chosen from the ball centered at the origin with radius μ₀ in L_p, p > 1. The reachable set is replaced by the set which consists of finite number of points. The estimated accuracy of the Hausdorff distance between the reachable set and the set which is approximately constructed is obtained.     

CONSTRAINED CONTROLLABILITY IN NON REFLEXIVE BANACH SPACES

Abstract

Throughout the literature on optimal control in Banach spaces, hypotheses like “separable and reflexive” are frequently encountered. In this note we consider one such case, studied by Peichl and Schappacher. Using techniques from Banach space theory and the theory of vector measures, we show how to remove the hypothesis of reflexivity and translate the problem of controls to one about the strong continuity of an adjoint semigroup on the positive real axis.     

ALGEBRAIC HULLS OF ADJOINT FUNCTORS AS INJECTIVE HULLS

Abstract

For each adjoint functor U: A → X where X is an (?, M)-category having enough ?-projectives, we construct an (?, M)-algebraic hull E: (A, U) → (Â, Û), i.e., (Â, Û) is (epsiv; M)-algebraic and E has a certain denseness property. We show that there is a conglomerate of functors over X with respect to which the (? M)-algebraic categories are exactly the injective objects and characterize (? M)-algebraic hulls as injective hulls.     

THE INTEGRAL COMPONENT OF AN ORDER BOUNDED TRANSFORMATION

Summary

Assume that T:L→M is a positive transformation from an arbitrary Riesz space L into a Dedekind complete Riesz space M, and let T=T_c + T_s be the decomposition of T into its integral component T_c and its singular component T_s.

In this note we give an elementary proof of the fact that for every o ? u ? L

T_c u = inf(s_nup Tu_n: o ? u_n + u),

under the conditionns stated above. This generalizes a recent result of C.D. Aliprantis [1].     

The Nehari problem for the Pritchard-Salamon class of infinite-dimensional linear systems: a direct approach

A complete solution is obtained to the Nehari problem for symbols which have a realization as an exponentially stable Pritchard-Salamon system (A, B, C). This allows for the possibility thatB andC be unbounded and have infinite rank. The approach is to solve an equivalentJ-spectral factorization problem for this particular realization.     

ON ADJUNCTIONS INDUCING THE SAME MONAD

ABSTRACT

Consider an adjunction <F,U;n,c>: K. → A, T = <T,n,u> the monad it induces in K and ø: A → K^T the comparison functor, K^T being the category of T-algebras. By ø*: Proj U → Proj U^T we denote the restriction and co-restriction of ø to the subcategories of U-projective and U^T -projective objects, respectively. In this paper we deal with the following problem, raised by R.-E. Hoffmann in [5] 1.16 (b):

Assuming that ø* is an equivalence of categories when is it possible to find a category C and a right adjoint functor V: C → K inducing the same monad T in K, and a full reflective embedding E: A → K, such that:

(1) V.E = U.

(2) ø = ø'. E for the comparison functor ø': C → K^T .

(3) F'X is contained (via E) in A, for each K-object X, F' being the left adjoint of V.

(4) ø': C → K^T has a full and faithful left adjoint L'.

We prove that there exists a pair (C,V) satisfying the conditions of the problem, with A an isomorphism-closed subcategory of C, such that:

(5) For all C ? Obj C the reflection map r_C: C → A is ø'-initial.

We also prove that this pair (C,V) is the universal solution satisfying condition (5), i.e. if (C_i,V_i) is a pair satisfying conditions (1)-(5) with E_i: A → C₂ the embedding and L_i left adjoint to the comparison functor ø_i: C_i K^T then there exists a unique full and faithful functor H_i: C → C_i such that H. E = E_i and H_i. L'—L_i. Moreover the universal solution is uniquely determined up to isomorphisms of categories and natural isomorphisms of functors. Finally, we study a particular situation and find, within the solutions of the problem satisfying two further conditions, the lease and the largest element. We conclude the paper with an example of this situation.     

Weighting operator patterns of Pritchard-Salamon realizations

In this paper a complete characterization is given of those operator kernels which appear as weighting patterns of Pritchard-Salamon realizations. The result is based on an extension of the standard shift realization to weightedL ₂-spaces of vector-valued functions.     

Stochastic realization of a Gaussian stochastic control system

The stochastic realization problem is considered of representing a stationary Gaussian process as the observation process of a Gaussian stochastic control system. The problem formulation includes that the lastm components of the observation process form the Gaussian white noise input process to the system. Identifiability of this class of systems motivates the problem. The results include a necessary and sufficient condition for the existence of a stochastic realization. A subclass of Gaussian stochastic control systems is defined that is almost a canonical form for this stochastic realization problem. For a structured Gaussian stochastic control system an equivalent condition for identifiability of the parametrization is stated.The research of this paper is supported in part by the Commission of the European Communities through the SCIENCE Program by the projectSystem Identification with contract number SC1-CT92-0779.     

Transfer of splitness with respect to a fully invariant short exact sequence in abelian categories

Abstract

We study the transfer via functors between abelian categories of the (dual) relative splitness of objects with respect to a fully invariant short exact sequence. We mainly consider fully faithful functors and adjoint pairs of functors. We deduce applications to Grothendieck categories, (graded) module categories and comodule categories.     

ISOLATED POINTS OF THE APPROXIMATE POINT SPECTRUM OF CERTAIN LATTICE HOMOMORPHISMS ON Co (X)

Abstract

Suppose X is a locally compact Hausdorff space and C (X) the apace of all continuous complex valued functions on X which vanish at infinity. Let T be a (complex) linear lattice homomorphism on C_o (X) whose adjoint is also a lattice homomorphism. It is sham that every non-zero isolated point of the approximate point spectrum of T lies in the point spectrum of T. An example is given to show that the exclusion of zero is necessary, even when X is compact. The same techniques are then used to show that if also the spectrum of T is finite then T can be written, in a natural manner, as a direct sum of two such lattice homomorphisms; one being an n'th root of an invertible multiplication operator and the other quasi-nilpotent.     

Cohomologically trivial internal categories in categories of groups with operations

We describe cohomologically trivial internal categories in the categoryC of groups with operations satisfying certain conditions ([15], [16]). As particular cases we obtain: ifC=Gr, H⁰(C, –)=0 iff C is a connected internal category; ifC=Ab,H ¹(C, –)=0 iff C is equivalent to the discrete internal category (Cokerd, Cokerd, 1, 1, 1, 1). We also discuss related questions concerning extensions, internal categories, their cohomology and equivalence in the categoryC.     

First-order invariants of Euclidean motions

Let E(n) be the lie group of proper rigid motions of Euclidean n-space. The paper is concerned with the adjoint action of E(n) on its Lie algebra e(n), and the induced action on the Grassmannian of subspaces of e(n) of a given dimension. For the adjoint action, the authors list explicit generators for the ring of invariant polynomials. In the case n=3, of greatest physical interest, explicit finite invariant stratifications are given for the Grassmannians, providing a formal listing of the screw-systems familiar in theoretical kinematics.     

GENERALIZED RANK CONDITIONS FOR SYSTEMS IN A CATEGORY

ABSTRACT

A generalized rank condition is used to deduce necessary and sufficient conditions for the reachability and observability of a system in a category. A duality principle between reachability and observability is established. These results generalize those known previously for bilinear and linear systems over rings.     

Carleman estimates for one-dimensional degenerate heat equations

In this paper, we are interested in controllability properties of parabolic equations degenerating at the boundary of the space domain. We derive new Carleman estimates for the degenerate parabolic equation $$ w_t + \left( {a\left( x \right)w_x } \right)_x = f,\quad \left( {t,x} \right) \in \left( {0,T} \right) \times \left( {0,1} \right), $$ where the function a mainly satisfies $$ a \in \mathcal{C}^0 \left( {\left[ {0,1} \right]} \right) \cap \mathcal{C}^1 \left( {\left( {0,1} \right)} \right),a \gt 0 \hbox{on }\left( {0,1} \right) \hbox{and }\frac{1} {{\sqrt a }} \in L^1 \left( {0,1} \right). $$ We are mainly interested in the situation of a degenerate equation at the boundary i.e. in the case where a(0)=0 and / or a(1)=0. A typical example is a(x)=x^α (1 − x)^β with α, β ∈ [0, 2). As a consequence, we deduce null controllability results for the degenerate one dimensional heat equation $$ u_t - (a(x)u_x )_x = h\chi _w ,\quad (t,x) \in (0,T) \times (0,1),\quad \omega \subset \subset (0,1). $$ The present paper completes and improves previous works [7, 8] where this problem was solved in the case a(x)=x^α with α ∈[0, 2). Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday