Controllability of linear difference equations in Hilbert spaces and applications
Abstract
In this paper, we present necessary and sufficient conditions for the exact and approximate controllability of the following linear difference equation: where Z , U are Hilbert spaces, A (·) ∈ l ∞ ( , L ( Z )), B (·) ∈ l ∞ ( , L ( U , Z )), u ∈ l 2 ( , U ) and * = ∪ {0}. Moreover, in the case of exact controllability, the control u ∈ l 2 ( , U ) steering an initial state z 0 to a final state z 1 in time n 0 is given by the formula according to Lemma 2.1. As a particular case, we consider the discretization on flow of the following controlled evolution equation z ′ = Az + Bu , z ∈ Z , u ∈ U , t > 0, where B ∈ L ( U , Z ), u ∈ L 2 (0, τ ; U ) and A is the infinitesimal generator of a strongly continuous semigroup { T ( t )} t ≥ 0 in Z , given by according to Lemma 1.1. These results are applicable to a broad class of reaction–diffusion systems such as the heat equation, the wave equation, the equation modelling the damped flexible beam, the strongly damped wave equation, the thermoelastic plate equation, etc. In Section 4, these results are applied to a discrete version of the n -dimensional heat and n -dimensional wave equation.