535 research outputs found

    On measuring unboundedness of the HH^\infty-calculus for generators of analytic semigroups

    Get PDF
    We investigate the boundedness of the HH^\infty-calculus by estimating the bound b(ε)b(\varepsilon) of the mapping HB(X)H^{\infty}\rightarrow \mathcal{B}(X): ff(A)T(ε)f\mapsto f(A)T(\varepsilon) for ε\varepsilon near zero. Here, A-A generates the analytic semigroup TT and HH^{\infty} is the space of bounded analytic functions on a domain strictly containing the spectrum of AA. We show that b(ε)=O(logε)b(\varepsilon)=\mathcal{O}(|\log\varepsilon|) in general, whereas b(ε)=O(1)b(\varepsilon)=\mathcal{O}(1) for bounded calculi. This generalizes a result by Vitse and complements work by Haase and Rozendaal for non-analytic semigroups. We discuss the sharpness of our bounds and show that single square function estimates yield b(ε)=O(logε)b(\varepsilon)=\mathcal{O}(\sqrt{|\log\varepsilon|}).Comment: Preprint of the final, published version. In comparison with previous version, Prop. 2.2 was added and Thm. 3.5 has been slightly adapted in order to point out the major assertio

    Functional calculus for C0C_0-semigroups using infinite-dimensional systems theory

    Get PDF
    In this short note we use ideas from systems theory to define a functional calculus for infinitesimal generators of strongly continuous semigroups on a Hilbert space. Among others, we show how this leads to new proofs of (known) results in functional calculus.Comment: 6 page

    Generators with a closure relation

    Get PDF
    Assume that a block operator of the form (A1A20)\left(\begin{smallmatrix}A_{1}\\A_{2}\quad 0\end{smallmatrix}\right), acting on the Banach space X1×X2X_{1}\times X_{2}, generates a contraction C0C_{0}-semigroup. We show that the operator ASA_{S} defined by ASx=A1(xSA2x)A_{S}x=A_{1}\left(\begin{smallmatrix}x\\SA_{2}x\end{smallmatrix}\right) with the natural domain generates a contraction semigroup on X1X_{1}. Here, SS is a boundedly invertible operator for which \epsilon\ide-S^{-1} is dissipative for some ϵ>0\epsilon>0. With this result the existence and uniqueness of solutions of the heat equation can be derived from the wave equation.Comment: 9 page

    On continuity of solutions for parabolic control systems and input-to-state stability

    Get PDF
    We study minimal conditions under which mild solutions of linear evolutionary control systems are continuous for arbitrary bounded input functions. This question naturally appears when working with boundary controlled, linear partial differential equations. Here, we focus on parabolic equations which allow for operator-theoretic methods such as the holomorphic functional calculus. Moreover, we investigate stronger conditions than continuity leading to input-to-state stability with respect to Orlicz spaces. This also implies that the notions of input-to-state stability and integral-input-to-state stability coincide if additionally the uncontrolled equation is dissipative and the input space is finite-dimensional.Comment: 19 pages, final version of preprint, Prop. 6 and Thm 7 have been generalised to arbitrary Banach spaces, the assumption of boundedness of the semigroup in Thm 10 could be droppe

    Funnel control for a moving water tank

    Get PDF
    We study tracking control for a moving water tank system, which is modelled using the Saint-Venant equations. The output is given by the position of the tank and the control input is the force acting on it. For a given reference signal, the objective is to achieve that the tracking error evolves within a prespecified performance funnel. Exploiting recent results in funnel control we show that it suffices to show that the operator associated with the internal dynamics of the system is causal, locally Lipschitz continuous and maps bounded functions to bounded functions. To show these properties we consider the linearized Saint-Venant equations in an abstract framework and show that it corresponds to a regular well-posed linear system, where the inverse Laplace transform of the transfer function defines a measure with bounded total variation.Comment: 11 page

    Input-to-state stability of unbounded bilinear control systems

    Get PDF
    We study input-to-state stability of bilinear control systems with possibly unbounded control operators. Natural sufficient conditions for integral input-to-state stability are given. The obtained results are applied to a bilinearly controlled Fokker-Planck equation.Comment: 20 pages, completely new version based on the few preliminary ideas in v1. Compared to v1, the results have been significantly generalized and extende
    corecore