Opuscula Math. 28, no. 4 (2008), 481-505
The motion planning problem and exponential stabilization of a heavy chain. Part II
Abstract. This is the second part of paper [P. Grabowski, The motion planning problem and exponential stabilization of a heavy chain. Part I, to appear in International Journal of Control], where a model of a heavy chain system with a punctual load (tip mass) in the form of a system of partial differential equations was interpreted as an abstract semigroup system and then analysed on a Hilbert state space. In particular, in [P. Grabowski, The motion planning problem and exponential stabilization of a heavy chain. Part I, to appear in International Journal of Control] we have formulated the problem of exponential stabilizability of a heavy chain in a given position. It was also shown that the exponential stability can be achieved by applying a stabilizer of the colocated-type. The proof used the method of Lyapunov functionals. In the present paper, we give other two proofs of the exponential stability, which provides an additional intrinsic insight into the exponential stabilizability mechanism. The first proof makes use of some spectral properties of the system. In the second proof, we employ some relationships between exponential stability and exact observability.
Keywords: infinite-dimensional control systems, semigroups, motion planning problem, exponential stabilization, spectral methods, Riesz bases, exact observability.
Mathematics Subject Classification: 93B, 47D, 35A, 34G.