Resolvent conditions for the control of unitary groups and their approximations (Q414723): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sharp Sufficient Conditions for the Observation, Control, and Stabilization of Waves from the Boundary / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Condition nécessaire et suffisante pour la contrôlabilité exacte des ondes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric control in the presence of a black box / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bouncing Ball Modes and Quantum Chaos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exponential Decay of Energy of Evolution Equations with Locally Distributed Damping / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Approximation Method for Exact Controls of Vibrating Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A General Theory of Observation and Control / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resolvent conditions for the control of parabolic equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: One-Parameter Semigroups for Linear Evolution Equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theory and practice of finite elements. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral conditions for admissibility and observability of wave systems: applications to finite element schemes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral conditions for admissibility and observability of Schrödinger systems: Applications to finite element discretizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the observability of time-discrete conservative linear systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral Theory for Contraction Semigroups on Hilbert Space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The operator Carleson measure criterion for admissibility of control operators for diagonal semigroups on \(\ell ^ 2\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3319291 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to spectral theory. With applications to Schrödinger operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a theorem of Gearhart / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3722900 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 05:12, 5 July 2024
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
0 references
0 references