Resolvent conditions for the control of unitary groups and their approximations (Q414723): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Summary: A self-adjoint operator \({\mathcal A}\) and an operator \({\mathcal C}\) bounded from the domain \({\mathcal D}({\mathcal A})\) with the graph norm to another Hilbert space are considered. The admissibility or the exact observability in finite time of the unitary group generated by \(i{\mathcal A}\) with respect to the observation operator \({\mathcal C}\) are characterized by some spectral inequalities on \({\mathcal A}\) and \({\mathcal C}\). E.g. both properties hold if and only if \(x\mapsto\|({\mathcal A}-\lambda)x\|+\|{\mathcal C}x\|\) is a norm on \({\mathcal D}({\mathcal A})\) equivalent to \(x\mapsto\|({\mathcal A}-\lambda)x\|+\|x\|\) uniformly with respect to \(\lambda\in\mathbb{R}\). This paper generalizes and simplifies some results on the control of unitary groups obtained using these so-called resolvent conditions, also known as Hautus tests. It proves new theorems on the equivalence (with respect to admissibility and observability) between first and second order equations, between groups generated by \(i{\mathcal A}\) and \(if({\mathcal A})\) for positive \({\mathcal A}\) and convex \(f\), and between a group and its Galerkin approximations. They can applied, e.g., to the control of linear Schrödinger, wave and plates equations and to the uniform control of their finite element semi-discretization. | |||
Property / review text: Summary: A self-adjoint operator \({\mathcal A}\) and an operator \({\mathcal C}\) bounded from the domain \({\mathcal D}({\mathcal A})\) with the graph norm to another Hilbert space are considered. The admissibility or the exact observability in finite time of the unitary group generated by \(i{\mathcal A}\) with respect to the observation operator \({\mathcal C}\) are characterized by some spectral inequalities on \({\mathcal A}\) and \({\mathcal C}\). E.g. both properties hold if and only if \(x\mapsto\|({\mathcal A}-\lambda)x\|+\|{\mathcal C}x\|\) is a norm on \({\mathcal D}({\mathcal A})\) equivalent to \(x\mapsto\|({\mathcal A}-\lambda)x\|+\|x\|\) uniformly with respect to \(\lambda\in\mathbb{R}\). This paper generalizes and simplifies some results on the control of unitary groups obtained using these so-called resolvent conditions, also known as Hautus tests. It proves new theorems on the equivalence (with respect to admissibility and observability) between first and second order equations, between groups generated by \(i{\mathcal A}\) and \(if({\mathcal A})\) for positive \({\mathcal A}\) and convex \(f\), and between a group and its Galerkin approximations. They can applied, e.g., to the control of linear Schrödinger, wave and plates equations and to the uniform control of their finite element semi-discretization. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 93B05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 93B07 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 93B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 93B28 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 93C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 65J10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47D06 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6033369 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
observability of PDEs | |||
Property / zbMATH Keywords: observability of PDEs / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinite dimensional Hautus test | |||
Property / zbMATH Keywords: infinite dimensional Hautus test / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Galerkin approximation of control problems | |||
Property / zbMATH Keywords: Galerkin approximation of control problems / rank | |||
Normal rank |
Revision as of 20:21, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Resolvent conditions for the control of unitary groups and their approximations |
scientific article |
Statements
Resolvent conditions for the control of unitary groups and their approximations (English)
0 references
11 May 2012
0 references
Summary: A self-adjoint operator \({\mathcal A}\) and an operator \({\mathcal C}\) bounded from the domain \({\mathcal D}({\mathcal A})\) with the graph norm to another Hilbert space are considered. The admissibility or the exact observability in finite time of the unitary group generated by \(i{\mathcal A}\) with respect to the observation operator \({\mathcal C}\) are characterized by some spectral inequalities on \({\mathcal A}\) and \({\mathcal C}\). E.g. both properties hold if and only if \(x\mapsto\|({\mathcal A}-\lambda)x\|+\|{\mathcal C}x\|\) is a norm on \({\mathcal D}({\mathcal A})\) equivalent to \(x\mapsto\|({\mathcal A}-\lambda)x\|+\|x\|\) uniformly with respect to \(\lambda\in\mathbb{R}\). This paper generalizes and simplifies some results on the control of unitary groups obtained using these so-called resolvent conditions, also known as Hautus tests. It proves new theorems on the equivalence (with respect to admissibility and observability) between first and second order equations, between groups generated by \(i{\mathcal A}\) and \(if({\mathcal A})\) for positive \({\mathcal A}\) and convex \(f\), and between a group and its Galerkin approximations. They can applied, e.g., to the control of linear Schrödinger, wave and plates equations and to the uniform control of their finite element semi-discretization.
0 references
observability of PDEs
0 references
infinite dimensional Hautus test
0 references
Galerkin approximation of control problems
0 references