No label defined (Q3978950)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 19463
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 19463 |
Statements
26 June 1992
0 references
\(C_ 0\) semigroup
0 references
Carleson measure theorem
0 references
0.8326333165168762
0 references
0.8305149674415588
0 references
0.820534348487854
0 references
0.8049343824386597
0 references
0.8001382946968079
0 references
[For the entire collection see Zbl 0732.00029.] The paper considers linear control systems described by the differential equation \(x'(t)=Ax(t)+Bu(t)\). Here, \(A\) generates a \(C_ 0\) semigroup on a Hilbert space \(X\). \(X\) is dense in a larger Hilbert space \(X_{-1}\). The problem is to determine which operator are admissible, meaning that for any input function \(u\in L^ 2[0,\infty)\) (with value in \(V\)), the differential equation has an \(X\)-valued solution. It is conjectured that a necessary and sufficient condition for admissibility is \((sI-A)^{-1} B\leq K(\text{Re }s)\), for all \(s\) in some right half-plane. If true, this would be a generalization of the Carleson measure theorem. Several results are proved which tend to support the conjecture: (1) the condition is necessary, (2) if \(U\) is finite-dimensional and \(A\) is normal then the condition is sufficient, (3) if \(e^{At}\) is left invertible then the condition is sufficient, (4) if \(A\) is normal and \(e^{At}\) is analytic then the condition is sufficient.
0 references