Approximation of feedback gains for abstract parabolic systems

We consider parabolic controlled systems represented by a pair (A, B), where (A, D(A)) is the infinitesimal generator of an analytic semigroup on a Hilbert space Z and B is an unbounded control operator from a control space U into Z. We consider approximate controlled systems (Aε, Bε), for ε > 0, where (Aε, D(Aε)) is the infinitesimal generator of an analytic semigroup on a Hilbert space Zε and Bε is an unbounded control operator from the control space U into Zε. Since Zε is not included in Z, we are in the case of nonconforming approximations. We assume that both Z and Zε are Hilbert subspaces of another Hilbert space H, and that there exist projectors P ∈ ℒ(H) and Pε ∈ ℒ(H) such that Z = PH and Zε = PεH, and for which (A, B, P) and (Aε, Bε, Pε) satisfy suitable approximation assumptions. When the pair (A, B) is exponentially feedback stabilizable in Z, we first prove that the pair (Aε, Bε) is exponentially feedback stabilizable in Zε, uniformly with respect to ε ∈ (0, ε0), for some ε0 > 0. We next prove that Riccati-based feedback laws stabilizing (A, B) in Z can be approximated by feedback laws stabilizing (Aε, Bε) in Zε. This type of results has been established in the eighties and the nineties in the case of conforming approximation, that is when Zε ⊂ Z. To the best of our knowledge nothing is known in the case of nonconforming approximations. We also extend, to the case of nonconforming approximations, convergence rates obtained in the case of conforming approximations. Nonconforming approximations play a central role in fluid mechanics. In M. Badra and J.-P. Raymond, Approximation of feedback gains for the Oseen system. Preprint (2025). <ns0:ext-link ext-link-type="uri" ns4:href="https://hal.science/hal-04880955">https://hal.science/hal-04880955</ns0:ext-link>, we have shown that the results proved in the present paper apply to the Oseen system (the Navier–Stokes equations linearized around a steady state) and its semidiscrete approximation by a Finite Element Method.