Partially stabilizing LQ-optimal control for stabilizable semigroup systems

The Linear-Quadratic optimal control problem with a partial stabilization constraint (LQPS) is considered for exponentially stabilizable infinite dimensional semigroup state-space systems with bounded sensing and control (having their transfer function with entries in the algebra . It is reported that the LQPS-optimal state-feedback operator is related to a nonnegative self-adjoint solution of an operator Riccati equation and it can be identified (1) by solving a spectral factorization problem delivering a bistable spectral factor with entries in the distributed proper-stable transfer function algebra _, and (2) by obtaining any constant solution of a diophantine equation over _. These theoretical results are applied to a simple model of heat diffusion, leading to an approximation procedure converging exponentially fast to the LQPS-optimal state feedback operator.     

The infinite-time admissibility of observation operators and operator Lyapunov equations

Let (A, –, C) be an abstract dynamical system withA being the generator of aC ₀-semigroup on a Hilbert spaceH, C:D(A)Y a linear operator,Y another Hilbert space. In this paper, some sufficient and necessary conditions are obtained for the observation operatorC to be infinite-time admissible. For a control system (A, B, –), due to duality argument, some sufficient and necessary conditions are also given for the control operatorB to be extended admissible. It is wellknown that observation operatorC is admissible if and only if the operator Lyapunov equation associated with the system has a nonnegative solution. In this paper, all nonnegative solutions to this equation are represented parametrically.This project is supported by the NNSF of China, and the Youth Science and Technique Foundation of Shanxi Province.     

Some Local Properties of Spectrum of Linear Dynamical Systems in Hilbert Space

We prove some local properties of the spectrum of a linear dynamical system in Hilbert space. The semigroup generator, the control operator and the observation operator may be unbounded. We consider (i) the PBH test, (ii) the correspondence between the poles of the resolvent of the semigroup generator and the poles of the transfer function, and (iii) pole-zero cancellation between two transfer functions of the cascade connection of two dynamical systems. For our investigation we take well-posed linear systems and a subclass of them called weakly regular systems as the most general setting.     

The Nehari problem for nonexponentially stable systems

The Nehari problem and its suboptimal extension are solved under the assumption that the system (A, B, C) has bounded controllability and observability maps, an L₂-impulse response and a transfer matrix that is bounded and holomorphic on the right half-plane. Exponential stability of the semigroup is not assumed and the Hankel operator is not compact. The new contribution is an explicit parameterization of all solutions given in terms of the system parametersA, B, C.     

On the norm convergence of the self-adjoint Trotter-Kato product formula with error bound

The norm convergence of the Trotter—Kato product formula with error bound is shown for the semigroup generated by that operator sum of two nonnegative self-adjoint operatorsA andB which is self-adjoint.     

Sub-optimal Hankel norm approximation for the analytic class of infinite-dimensional systems

The sub-optimal Hankel norm approximation problem is solved under the assumptions that the system is given in terms of a triple of operators (–A, B, C), where–A is the infinitesimal generator of an exponentially stable, analytic semigroup on the Hilbert spaceZ,B L ( ^m ,Z where –1<0,C L is obtained in terms of the system parameters–A, B, C. (Z, ^p ), and the system is approximately controllable. An explicit parameterization of all solutions     

Averaging of random walks and shift-invariant measures on a Hilbert space

We study random walks in a Hilbert space H and representations using them of solutions of the Cauchy problem for differential equations whose initial conditions are numerical functions on H. We construct a finitely additive analogue of the Lebesgue measure: a nonnegative finitely additive measure λ that is defined on a minimal subset ring of an infinite-dimensional Hilbert space H containing all infinite-dimensional rectangles with absolutely converging products of the side lengths and is invariant under shifts and rotations in H. We define the Hilbert space H of equivalence classes of complex-valued functions on H that are square integrable with respect to a shift-invariant measure λ. Using averaging of the shift operator in H over random vectors in H with a distribution given by a one-parameter semigroup (with respect to convolution) of Gaussian measures on H, we define a one-parameter semigroup of contracting self-adjoint transformations on H, whose generator is called the diffusion operator. We obtain a representation of solutions of the Cauchy problem for the Schrödinger equation whose Hamiltonian is the diffusion operator.     

Robustness of strong stability of semigroups

In this paper we study the preservation of strong stability of strongly continuous semigroups on Hilbert spaces. In particular, we study a situation where the generator of the semigroup has a finite number of spectral points on the imaginary axis and the norm of its resolvent operator is polynomially bounded near these points. We characterize classes of perturbations preserving the strong stability of the semigroup. In addition, we improve recent results on preservation of polynomial stability of a semigroup under perturbations of its generator. Theoretic results are illustrated with an example where we consider the preservation of the strong stability of a multiplication semigroup.     

Linear theory of nonisothermal forced elongation

In this work the linearized equations of nonisothermal forced elongation are analyzed. It is shown that solutions for the associated boundary-initial value problem are governed by a strongly continuous semigroup of bounded linear operators on the physically correct state space and that the semigroup is eventually differentiable. The regularity of the semigroup is proven via two complementing methods. Whilst the first method is based on Pazy’s classical result on eventual differentiability, the second method provides a direct argument. The regularity properties of the semigroup correspond to the expected physical behavior of the elongational flow.     

Admissibility of Unbounded Operators and Wellposedness of Linear Systems in Banach Spaces

We study linear systems, described by operators A, B, C for which the state space X is a Banach space.We suppose that − A generates a bounded analytic semigroup and give conditions for admissibility of B and C corresponding to those in G. Weiss’ conjecture. The crucial assumptions on A are boundedness of an H^∞-calculus or suitable square function estimates, allowing to use techniques recently developed by N. Kalton and L. Weis. For observation spaces Y or control spaces U that are not Hilbert spaces we are led to a notion of admissibility extending previous considerations by C. Le Merdy. We also obtain a characterisation of wellposedness for the full system. We give several examples for admissible operators including point observation and point control. At the end we study a heat equation in X = L^p(Ω), 1 < p < ∞, with boundary observation and control and prove its wellposedness for several function spaces Y and U on the boundary ∂Ω.     

Approximation of fixed points for amenable semigroups of nonexpansive mappings in Banach spaces

The purpose of this paper is to study iterative schemes of Browder and Halpern types for a semigroup of nonexpansive mappings on a compact convex subset of a smooth (and strictly convex) Banach space with respect to a sequence of strongly asymptotic invariant means defined on an appropriate space of bounded real valued functions of the semigroup. Various applications to the additive semigroup of nonnegative real numbers and commuting pairs of nonexpansive mappings are also presented.     

The Weiss conjecture on admissibility of observation operators for contraction semigroups

We prove the conjecture of George Weiss for contraction semigroups on Hilbert spaces, giving a characterization of infinite-time admissible observation functionals for a contraction semigroup, namely that such a functionalC is infinite-time admissible if and only if there is anM>0 such that for alls in the open right half-plane. HereA denotes the infinitesimal generator of the semigroup. The result provides a simultaneous generalization of several celebrated results from the theory of Hardy spaces involving Carleson measures and Hankel operators.     

The Dirichlet Problem for the Total Variation Flow

We introduce a new concept of solution for the Dirichlet problem for the total variational flow named entropy solution. Using Kruzhkov's method of doubling variables both in space and in time we prove uniqueness and a comparison principle in L¹ for entropy solutions. To prove the existence we use the nonlinear semigroup theory and we show that when the initial and boundary data are nonnegative the semigroup solutions are strong solutions.     

非线性抛物型偏泛函微分方程的渐近行为

本文研究一类非线性抛物型偏泛函微分方程的渐近行为。采用上下解方法,建立了其解的有界性和稳定性,通过半群理论、非负矩阵性质和不等式技巧,得到估计这类方程平衡态渐近稳定域的方法。     

Continuity of the Restriction of C 0-Semigroups to Invariant Banach Subspaces

A linear semigroup in a Banach space induces a linear semigroup on a Banach space that can be continuously embedded in the former such that its image is invariant. This restriction need not be strongly continuous, although the original semigroup is strongly continuous. We show that norm or weak compactness of partial orbits is a necessary and sufficient condition for strong continuity of the restriction of a C₀-semigroup. We then show that if the embedded Banach space is reflexive and the norms of the restricted semigroup operators are bounded near the initial time, then the restricted semigroup is strongly continuous.     

Exact controllability of infinite dimensional systems persists under small perturbations

This paper studies the concept of controllability for infinite-dimensional linear control systems in Banach spaces. First, we prove that the set of admissible control operators for the semigroup generator is unchanged if we perturb the generator by the Desch–Schappacher perturbations. Second we show that exact controllability is not changed by such perturbations.     

On the Relation between Stability of Continuous- and Discrete-Time Evolution Equations via the Cayley Transform

In this paper we investigate and compare the properties of the semigroup generated by A, and the sequence where A_d = (I + A) (I − A)⁻¹. We show that if A and A⁻¹ generate a uniformly bounded, strongly continuous semigroup on a Hilbert space, then A_d is power bounded. For analytic semigroups we can prove stronger results. If A is the infinitesimal generator of an analytic semigroup, then power boundedness of A_d is equivalent to the uniform boundedness of the semigroup generated by A.     

Semigroups of partial isometries

We study self-adjoint semigroups of partial isometries on a Hilbert space. These semigroups coincide precisely with faithful representations of abstract inverse semigroups. Groups of unitary operators are specialized examples of self-adjoint semigroups of partial isometries. We obtain a general structure result showing that every self-adjoint semigroup of partial isometries consists of “generalized weighted composition” operators on a space of square-integrable Hilbert-space valued functions. If the semigroup is finitely generated then the underlying measure space is purely atomic, so that the semigroup is represented as “zero-unitary” matrices. The same is true if the semigroup contains a compact operator, in which case it is not even required that the semigroup be self-adjoint.     

ω-Hyponormal operators

The class of -hyponormal operators is introduced. This class contains allp-hyponormal operators. Certain properties of this class of operators are obtained. Among other things, it is shown that ifT is -hyponormal, then its spectral radius and norm are identical, and the nonzero points of its joint point spectrum and point spectrum are identical. Conditions under which a -hyponormal operator becomes normal, self-adjoint and unitary are given.