Abstract
In this paper we investigate admissibility of the control operator B in a Hilbert space state-delayed dynamical system setting of the form \({\dot{z}}(t)=Az(t-\tau )+Bu(t)\), where A generates a diagonal semigroup and u is a scalar input function. Our approach is based on the Laplace embedding between \(L^2\) and the Hardy space. The sufficient conditions for infinite-time admissibility are stated in terms of eigenvalues of the generator and in terms of the control operator itself.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article we analyse dynamical system with delay in the state variable from the perspective of admissibility of the control operator. Thus the object of our interest is an abstract dynamical system
where, in general, \(A:D(A)\subset X\rightarrow X\) is the infinitesimal generator of a \(C_0\)-semigroup \((T(t))_{t\ge 0}\) on X. The Hilbert space X possesses a sequence of normalized eigenvectors \((\phi _k)_{k\in {\mathbb {N}}}\) forming a Riesz basis, with associated eigenvalues \((\lambda _k)_{k\in {\mathbb {N}}}\). The input function is \(u\in L^2(0,\infty ;{\mathbb {C}})\), B is the control operator and \(0<\tau <\infty \) is a delay.
Infinite-time admissibility of B in the undelayed case of (1) is well analysed and the necessary and sufficient conditions for it were given using e.g. Carleson measures. In particular, the link between Carleson measures and infinite-time admissibility was studied in [10, 11, 23]. Those results were extended to normal semigroups [24], then generalized to the case when \(u\in L^2(0,\infty ;t^{\alpha }dt)\) for \(\alpha \in (-1,0)\) in [25] and further to the case \(u\in L^2(0,\infty ;w(t)dt)\) in [13, 14]. For a thorough presentation of admissibility results, not restricted to diagonal systems, for the undelayed case we refer the reader to [12] and a rich list of references therein.
The results in [9] and [5] form a basis for considerations in [2] in terms of developing a correct setting in which we conduct the admissibility analysis for state-delayed diagonal systems. The same setting is used by us for the admissibility analysis in a more general case when (1) takes a form of the so-called retarded equation, where we assume only a contraction property of the undelayed semigroup \((T(t))_{t\ge 0}\) (full details will be published elsewhere [26])
Section 2 contains the necessary background results, leading to the main results in Sect. 3. An example is given in Sect. 4, and some conclusions are given in Sect. 5.
2 Preliminaries
Apart from definitions introduced in the previous section throughout this paper we use the following Sobolev spaces (see [17] for vector valued functions or [7, Chapter 5] for functionals): \(W^{1,2}(J,X):=\{f\in L^2(J,X):\frac{d}{dt}f(t)\in L^2(J,X)\}\), \(W_{c}^{1,2}(J,X):=\{f\in W^{1,2}(J,X):f \hbox { has compact support}\}\) and \(W_{0}^{1,2}(J,X):=\{f\in W^{1,2}(J,X):\ f(\partial J)=0\}\), where J is an interval.
For any \(\alpha \in {\mathbb {R}}\) we denote \({\mathbb {C}}_{\alpha }:=\{s\in {\mathbb {C}}:\text {Re}s>\alpha \}\) with an exception for two special cases, namely \({\mathbb {C}}_{+}:=\{s\in {\mathbb {C}}:\mathop {\mathrm{Re}}\nolimits s>0 \}\) and \({\mathbb {C}}_{-}:=\{s\in {\mathbb {C}}:\text {Re}s<0\}\).
The Hardy space \(H^2({\mathbb {C}}_+)\) consists of all analytic functions \(f:{\mathbb {C}}_+\rightarrow {\mathbb {C}}\) for which
If \(f\in H^2({\mathbb {C}}_+)\) then for almost every \(\omega \in {\mathbb {R}}\) the limit
exists and defines a function \(f^*\in L^2(i{\mathbb {R}})\) called the boundary trace of f. Using boundary traces \(H^2({\mathbb {C}}_+)\) is made into a Hilbert space with the inner product defined as
for every \(f,g\in H^2({\mathbb {C}}_+)\). For more information about Hardy spaces see [8, 18] or [16]. We also make use of the following
Theorem 2.1
(Paley–Wiener) Let Y be a Hilbert space. Then the Laplace transform \({\mathcal {L}}:L^2(0,\infty ;Y)\rightarrow H^2({\mathbb {C}}_+;Y)\) is an isometric isomorphism.
For a detailed proof of Theorem 2.1 see [20, Chapter 19] for the scalar version or [1, Theorem 1.8.3] for the vector-valued one.
2.1 The Delayed Equation Setting
For details of the setting in which we consider a state-delayed diagonal system see [6, Chapter VI.6] and [2, Chapter 3.1]. Consider a function \(z:[-\tau ,\infty )\rightarrow X\). For each \(t\ge 0\) we call the function \(z_{t}:[-\tau ,0]\rightarrow X\), \(z_{t}(\sigma ):=z(t+\sigma )\), a history segment with respect to \(t\ge 0\). With history segments we consider a function called the history function of z, that is \(h_{z}:[0,\infty )\rightarrow L^2(-\tau ,0;X)\), \(h_z(t):=z_{t}\). In [2, Lemma 3.4] we find the following
Proposition 2.2
Let \(1\le p <\infty \) and \(z:[-\tau ,\infty )\rightarrow X\) be a function which belongs to \(W_{loc}^{1,p}(-\tau ,\infty ;X)\). Then the history function \(h_z:t\rightarrow z_t\) of z is continuously differentiable from \({\mathbb {R}}_+\) into \(L^p(-\tau ,0;X)\) with derivative \(\frac{\partial }{\partial t}h_{z}(t)=\frac{\partial }{\partial \sigma }z_{t}\).
Define the Cartesian product \({\mathcal {X}}:=X\times L^2(-\tau ,0;X)\) with an inner product
Then \({\mathcal {X}}\) becomes a Hilbert space \(({\mathcal {X}},\Vert \cdot \Vert _{{\mathcal {X}}})\) with the norm \(\Vert \left( {\begin{array}{c}x\\ f\end{array}}\right) \Vert _{{\mathcal {X}}}^2=\Vert x\Vert _{X}^{2}+\Vert f\Vert _{L^2}^{2}\). Consider a linear, autonomous delay differential equation of the form
where \(\Psi \in {\mathcal {L}}(W^{1,2}(-\tau ,0;X),X)\) is a delay operator, the pair \(x\in D(A)\) and \(f\in L^2(-\tau ,0;X)\) forms an initial condition. Due to Proposition 2.2 equation (6) may be written as an abstract Cauchy problem
where \(v:t\rightarrow \left( {\begin{array}{c}z(t)\\ z_t\end{array}}\right) \in {\mathcal {X}}\) and \({\mathcal {A}}\) is an operator on \({\mathcal {X}}\) defined as
with domain
The operator \(({\mathcal {A}},D({\mathcal {A}}))\) is closed and densely defined on \({\mathcal {X}}\) [2, Lemma 3.6]. Let \({\mathcal {A}}={\mathcal {A}}_0+{\mathcal {A}}_{\Psi }\), where
and
We will need the following for the Miyadera–Voigt Perturbation Theorem and a description of admissibility.
Definition 2.3
Let \(\beta \in \rho (A)\) and denote \((X_1,||\cdot ||_1):=(D(A),||\cdot ||_1)\) with \(||\cdot ||_1:=||(\beta I-A)x||\ (x\in D(A))\).
Similarly, we set \(||x||_{-1}:=||(\beta I-A)^{-1}x||\ (x\in X)\). Then the space \((X_{-1},||\cdot ||_{-1})\) denotes the completion of X under the norm \(||\cdot ||_{-1}\). For \(t\ge 0\) we define \(T_{-1}(t)\) as the continuous extension of T(t) to the space \((X_{-1},||\cdot ||_{-1})\).
In the sequel, much of our reasoning is justified by the following Proposition, to which we do not refer directly but include here for the reader’s convenience.
Proposition 2.4
With notation of Definition 2.3 we have the following
-
(i)
The spaces \((X_1,||\cdot ||_1)\) and \((X_{-1},||\cdot ||_{-1})\) are independent of the choice of \(\beta \in \rho (A)\).
-
(ii)
\((T_1(t))_{t\ge 0}\) is a strongly continuous semigroup on the Banach space \((X_1,||\cdot ||_1)\) and we have \(||T_1(t)||_1=||T(t)||\) for all \(t\ge 0\).
-
(iii)
\((T_{-1}(t))_{t\ge 0}\) is a strongly continuous semigroup on the Banach space \((X_{-1},||\cdot ||_{-1})\) and we have \(||T_{-1}(t)||_{-1}=||T(t)||\) for all \(t\ge 0\).
See [6, Chapter II.5] or [21, Chapter 2.10] for more details on these elements. A sufficient condition for \(P\in {\mathcal {L}}(X_1,X)\) to be a perturbation of Miyadera–Voigt class, and hence implying that \(A+P\) is a generator on X, takes the form of [6, Corollary III.3.16]
Proposition 2.5
Let (A, D(A)) be the generator of a strongly continuous semigroup \(\big (T(t)\big )_{t\ge 0}\) on a Banach space X and let \({P\in {\mathcal {L}}(X_1,X)}\) be a perturbation which satisfies
for some \(t_0>0\) and \(0\le q<1\). Then the sum \(A+P\) with domain \(D(A+P):=D(A)\) generates a strongly continuous semigroup \((S(t))_{t\ge 0}\) on X.
To describe the resolvent of \(({\mathcal {A}},D({\mathcal {A}}))\), let us introduce the notation
for the generator of the nilpotent left shift semigroup on \(L^p(-\tau ,0;X)\). For \(s\in {\mathbb {C}}\) define \(\epsilon _{s}:[-\tau ,0]\rightarrow {\mathbb {C}}\), \(\epsilon _{s}(\sigma ):=e^{s \sigma }\). Define also \(\Psi _{s}\in {\mathcal {L}}(D(A),X)\), \(\Psi _{s}x:=\Psi (\epsilon _{s}(\cdot )x)\). Then [2, Proposition 3.19] provides
Proposition 2.6
For \(s\in {\mathbb {C}}\) and for all \(1\le p<\infty \) we have
Moreover, for \(s\in \rho ({\mathcal {A}})\) the resolvent operator \(R(s,{\mathcal {A}})\) is given by
2.2 The Admissibility Problem
The basic object in the formulation of admissibility problem is a linear system and its mild solution
where \(x:[0,\infty )\rightarrow X\), \(u\in V\) where V is a space of measurable functions from \([0,\infty )\) to U and B is a control operator; \(x_0\in X\) is an initial state.
In many practical examples the control operator B is unbounded, hence (14) is viewed on an extrapolation space \(X_{-1}\supset X\) where \(B\in {\mathcal {L}}(U,X_{-1})\). To ensure that the state x(t) lies in X it is sufficient that \(\int _{0}^{t}T_{-1}(t-s)Bu(s) \, ds\in X\) for all inputs \(u\in V\). Put differently, we have
Definition 2.7
The control operator \(B\in {\mathcal {L}}(U,X_{-1})\) is said to be finite-time admissible for a semigroup \(\big (T(t)\big )_{t\ge 0}\) on a Hilbert space X if for each \(\tau >0\) there is a constant \(c(\tau )\) such that the condition
holds for all inputs u, and an infinite-time admissible if the condition (15) holds for all \(\tau >0\) with \(c(\tau )\) uniformly bounded.
In the sequel, we denote the restriction (extension) of T(t) described in Definition 2.3 by the same symbol T(t), since this is unlikely to lead to confusions.
3 Diagonal Non-autonomous Delay Systems
We begin with an analysis of (1) in a more concrete setting. Consider the system
where the state space is \(X:=l^2({\mathbb {C}})\), the control function \(u\in L^2(0,\infty ;{\mathbb {C}})\) and \((\lambda _k)_{k\in {\mathbb {N}}}\) is a sequence in \({\mathbb {C}}\) such that
The semigroup generator (A, D(A)) is defined by
As the space \(X_1\) we take \((D(A),||\cdot ||_{gr})\), where the graph norm is equivalent to
The adjoint generator \(A^*\) is represented in the same way, with the sequence \(({\bar{\lambda }}_k)_{k\in {\mathbb {N}}}\) in place of \((\lambda _k)_{k\in {\mathbb {N}}}\). This gives \(D(A^*)=D(A)\). The space \(X_{-1}\) consists of all sequences \(z=(z_k)_{k\in {\mathbb {N}}}\in {\mathbb {C}}^{\mathbb {N}}\) for which
and the square root of the above series gives an equivalent norm on \(X_{-1}\). The space \(X_{-1}\) is the same as \(X_{-1}^d\), where the latter one is the equivalent of \(X_{-1}\) should the construction in Definition 2.3 be based on \(A^*\) instead of A.
Note also that the operator \(B\in {\mathcal {L}}({\mathbb {C}},X_{-1})\) is represented by the sequence \((b_k)_{k\in {\mathbb {N}}}\in {\mathbb {C}}^{\mathbb {N}}\), as \({\mathcal {L}}({\mathbb {C}},X_{-1})\) can be identified with \(X_{-1}\).
The above is the standard setting for diagonal systems; we refer the reader to [21, Chapters 2.6 and 5.3] for more details.
Remark 3.1
Although we restrict ourselves to contraction semigroups, this does not lead to loss of generality due to the semigroup rescaling property. That is when A does not generate a contraction semigroup, we may replace it with a shifted version \(A-\alpha I\) for a sufficiently large \(\alpha >0\). This does not change the admissibility of control operator for the rescaled semigroup, but may change the infinite time admissibility.
3.1 Analysis of a Single Component
Let us now focus on the k-th component of (16), that is
where \(\lambda _k,b_k,x_k\in {\mathbb {C}}\), \(f_k:=\langle f,l_k\rangle _{L^2(-\tau ,0;X)}l_k\) with \(l_k\) being the k-th component of the standard orthonormal basis in \(L^2(-\tau ,0;X)\).
For the sake of clarity of notation, let us now until the end of this subsection drop the subscript k and rewrite (19) in the form
where the delay operator \(\Psi \in {\mathcal {L}}(W^{1,2}(-\tau ,0;{\mathbb {C}}),{\mathbb {C}})\) is defined as
Observe that, without the input function \(bu\in L^2(0,\infty ;{\mathbb {C}})\), system (20) is a simplified form of (6). As for such, we can apply the procedure described in the Preliminaries section and represent it as an abstract Cauchy problem of the form (7). For that purpose note that
with an inner product
What follows is the non-autonomous Cauchy problem describing the dynamics of the k-th component
where \(v:t\rightarrow \left( {\begin{array}{c}z(t)\\ z_t\end{array}}\right) \in {\mathcal {X}}\) and \({\mathcal {A}}\) is an operator on \({\mathcal {X}}\) defined as
with domain
and \({\mathcal {B}}:=\left( {\begin{array}{c}b\\ 0\end{array}}\right) \in {\mathcal {L}}({\mathbb {C}},{\mathcal {X}}_{-1})\).To state explicitly how the \({\mathcal {X}}_{-1}\) space looks like we use again (25) and (26) as well as Proposition 3.1 from [26]. As a result,
where \(W^{-1,2}(-\tau ,0;{\mathbb {C}})\) is the dual to \(W_{0}^{1,2}(-\tau ,0;{\mathbb {C}})\) with respect to the pivot space \(L^2(-\tau ,0;{\mathbb {C}})\). The generator \({\mathcal {A}}\) may again be represented as \({\mathcal {A}}={\mathcal {A}}_0+{\mathcal {A}}_{\Psi }\), where
and
We have the following
Proposition 3.2
The abstract Cauchy problem (24) is well-posed.
Proof
The delay operator \(\Psi \) defined in (21) is an example of a much wider class of delay operators, with which condition (12) is satisfied and \(({\mathcal {A}},D({\mathcal {A}}))\) in (25) remains a generator of a strongly continuous semigroup \(({\mathcal {T}}(t))_{t\ge 0}\) on \({\mathcal {X}}\). See [2, Chapter 3.3 and Example 3.28] for details. \(\square \)
Due to Proposition 3.2 we can formally write the \({\mathcal {X}}_{-1}\)-valued k-th component mild solution of (24)
where \({\mathcal {T}}(t)\in {\mathcal {L}}({\mathcal {X}}_{-1})\) and the control operator is again \({\mathcal {B}}=\left( {\begin{array}{c}b\\ 0\end{array}}\right) \in {\mathcal {L}}({\mathbb {C}},{\mathcal {X}}_{-1})\). The following Proposition gives information concerning spectral properties and the resolvent operator \(R(s,{\mathcal {A}})\).
Proposition 3.3
For \(s\in {\mathbb {C}}\) and for all \(1\le p<\infty \) there is
Moreover, for \(s\in \rho ({\mathcal {A}})\) the resolvent operator \(R(s,{\mathcal {A}})\) is given by
where \(R(s,\Psi _s)\in {\mathcal {L}}({\mathbb {C}})\),
and \(R(s,A_0)\in {\mathcal {L}}(L^2(-\tau ,0;{\mathbb {C}}))\),
Proof
-
1.
Condition (31) and the form of \(R(s,{\mathcal {A}})\) in (32) follow directly from Proposition 2.6 and the form of \({\mathcal {A}}\) given in (25).
-
2.
As is well known, for any Banach space X and operator \(A\in {\mathcal {L}}(X)\) the condition \(s\in \sigma (A)\) implies \(|s|\le ||A||\).
-
3.
According to the definitions given before Proposition 2.6 in this case there is \(\Psi _s\in {\mathcal {L}}({\mathbb {C}})\), \(\Psi _{s}x:=\lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau }x\) and \(||\Psi _s||=|\lambda |\mathop {\mathrm{e}}\nolimits ^{-\mathop {\mathrm{Re}}\nolimits s\tau }\). The equation \((\mu -\Psi _s )x=y\) has a unique solution \(x \in {\mathbb {C}}\) for each \(y \in {\mathbb {C}}\) if and only if \(\mu \ne \lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau }\). Thus \(\sigma (\Psi _s)= \{\lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau } \}\), and so
$$\begin{aligned} \{s \in {\mathbb {C}}: s \in \sigma (\Psi _s) \}\subset \{s \in {\mathbb {C}}: |s| \le |\lambda | \mathop {\mathrm{e}}\nolimits ^{-\mathop {\mathrm{Re}}\nolimits s\tau } \} \subset \{s \in {\mathbb {C}}: \mathop {\mathrm{Re}}\nolimits s \le |\lambda | \}. \end{aligned}$$Moreover, for \(s\ne \lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau }\) there is
$$\begin{aligned} R(s,\Psi _s) =\frac{1}{s-\lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau }}. \end{aligned}$$ -
4.
To complete the description of \(R(s,{\mathcal {A}})\) consider now \(f\in L^2(-\tau ,0;{\mathbb {C}})\), \(g\in W^{1,2}(-\tau ,0;{\mathbb {C}})\) and a formal differential equation
$$\begin{aligned} (sI-A_0)g(r)=sg(r)-g'(r)=f(r) \end{aligned}$$(35)with an initial condition imposed on f in the form \(f(0)=0\). Solving firstly a homogeneous equation and then using the method of variation of constants one obtains
$$\begin{aligned} g(r)=\int _{r}^{0}\mathop {\mathrm{e}}\nolimits ^{s(r-t)}f(t) \, dt \quad \forall r\in [-\tau ,0]\ \forall s\in {\mathbb {C}}_{|\lambda |} \end{aligned}$$(see also [15, p. 174, (6.6)]). Denote now \(R_{s}f(r):=g(r)\), \(r\in [-\tau ,0]\). Then, for every \(f\in L^2(-\tau ,0;{\mathbb {C}})\) there is \((sI-A_0)R_{s}f(r)=f(r)\) and \(R_s:L^2(-\tau ,0;{\mathbb {C}})\rightarrow D(A_0)\) and \(R_s\in {\mathcal {L}}(L^2(-\tau ,0;{\mathbb {C}}))\). Let now \(f\in D(A_0)\). A simple check shows that \(R_s[(sI-A_0)f(r)]=f(r)\), \(r\in [-\tau ,0]\). This means that \(R_s\) is in fact a resolvent operator and we may write
$$\begin{aligned} R(s,A_0)f(r)=R_{s}f(r)=\int _{r}^{0}\mathop {\mathrm{e}}\nolimits ^{s(r-t)}f(t) \, dt \quad \forall f\in L^2(-\tau ,0;{\mathbb {C}}). \end{aligned}$$
\(\square \)
Proposition 3.3 gives the form of the resolvent \(R(s,\Psi _s)\) and assures that it is analytic on \({\mathbb {C}}_{|\lambda |}\). The value of \(\lambda \) is valid for the given mode only and at this stage \(|\lambda |\rightarrow \infty \) is allowed. Thus, as we will later require analyticity of \(R(s,\Psi _s)\) in \({\mathbb {C}}_{+}\), a different approach is needed. For that reason we turn our attention to the complex coefficient exponential polynomial \(P:{\mathbb {C}}\rightarrow {\mathbb {C}}\),
where \(\lambda \in {\mathbb {C}}_{-}\) is a complex coefficient and \(\tau >0\).
The polynomial (36) in a more general form \(A(s)+B(s)\mathop {\mathrm{e}}\nolimits ^{-s\tau }\) is known and widely studied in the theory of stability of finite dimensional dynamical systems—see e.g. [3, Chapter 13] or [19, Chapter 6] and references therein. The main difficulty in our case, in comparison to the references given above, is that the coefficients are complex. Nevertheless, we can use a modified Walton–Marshall approach [22] (or [19, Proposition 6.2.3]), as the following Proposition shows.
Remark 3.4
We take the principal argument of \(\lambda \) to be \({{\,\mathrm{Arg}\,}}(\lambda )\in (-\pi ,\pi ]\).
We shall require the following subset of the complex plane, depending on \(\tau >0\):
Proposition 3.5
For a given \(\tau >0\) and \(\lambda \in {\mathbb {C}}_{-}\) the condition \(\lambda \in \Lambda _\tau \) is sufficient for the polynomial P defined in (36) no to have right half-plane zeros (to be stable). In other words, all the solutions of the characteristic equation \(P(s)=0\) belong to \({\mathbb {C}}_{-}\).
Proof
-
1.
Consider initially the case when \(\tau =0\). The polynomial P has one root \(s_0=\lambda \) and \(s_0\in {\mathbb {C}}_{-}\).
-
2.
Using Rouché’s theorem (see e.g. [3, Theorem 12.2]) one can show that the zeros move continuously with \(\tau \). As they start in \({\mathbb {C}}_{-}\) it remains to establish when they cross the imaginary axis.
-
3.
At the crossing of the imaginary axis there is \(s=i\omega \) for some \(\omega \in {\mathbb {R}}\) and the characteristic equation takes the form
$$\begin{aligned} s-\lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau }=0. \end{aligned}$$(38)By point 2. we can treat (38) as an implicit function with \(s=s(\tau )\) and check the direction in which zeros of it cross the imaginary axis by analysing the \({{\,\mathrm{sgn}\,}}\mathop {\mathrm{Re}}\nolimits \frac{ds}{d\tau }\) at \(s=i\omega \). By calculating the implicit function derivative we obtain
$$\begin{aligned} \frac{ds}{d\tau }=-\frac{s^2}{1+s\tau }. \end{aligned}$$As s is purely imaginary and \({{\,\mathrm{sgn}\,}}\mathop {\mathrm{Re}}\nolimits z={{\,\mathrm{sgn}\,}}\mathop {\mathrm{Re}}\nolimits z^{-1}\) we have
$$\begin{aligned} {{\,\mathrm{sgn}\,}}\mathop {\mathrm{Re}}\nolimits \frac{ds}{d\tau }>0 \end{aligned}$$and the zeros cross from the left to the right half-plane. What remains is to find for what \(\tau \) this happens.
-
4.
Taking the complex conjugate of (38) we obtain
$$\begin{aligned} -s-{\bar{\lambda }}\mathop {\mathrm{e}}\nolimits ^{s\tau }=0. \end{aligned}$$Using both of the above equations to eliminate the exponential part we obtain \(s^2=-|\lambda |^2\), hence \(s=\pm i|\lambda |\). Choosing to work further with \(s=i|\lambda |\) and substituting it into (38) we get
$$\begin{aligned} -i\frac{\lambda }{|\lambda |}=\mathop {\mathrm{e}}\nolimits ^{i|\lambda |\tau }. \end{aligned}$$(39)The corresponding equation for \(s=-i|\lambda |\) is
$$\begin{aligned} - i\frac{|\lambda |}{\lambda } =\mathop {\mathrm{e}}\nolimits ^{i|\lambda |\tau }, \end{aligned}$$which has the same form as (39), but replacing \(\lambda \) by \({{\bar{\lambda }}}\).
-
5.
Let now \(\lambda =|\lambda |\mathop {\mathrm{e}}\nolimits ^{i{{\,\mathrm{Arg}\,}}\lambda }\) where \({{\,\mathrm{Arg}\,}}(\lambda )\in (-\pi ,-\frac{\pi }{2})\cup (\frac{\pi }{2},\pi ]\). This gives
$$\begin{aligned} {{\,\mathrm{Arg}\,}}\lambda -\frac{\pi }{2}\in \left( -\frac{3\pi }{2},-\pi \right) \cup \left( 0,\frac{\pi }{2}\right] \end{aligned}$$(40)and from (39) we have
$$\begin{aligned} 0<|\lambda |\tau ={{\,\mathrm{Arg}\,}}\lambda -\frac{\pi }{2}\le \frac{\pi }{2}. \end{aligned}$$(41)The above brings us to an observation that if there exist \(\lambda \in {\mathbb {C}}_-\) and \(\tau >0\) such that \(s=i|\lambda |\) is a solution to (38) i.e. \(s=\lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau }\) then \(\frac{\pi }{2}<{{\,\mathrm{Arg}\,}}(\lambda )\le \pi \) and (41) is satisfied. If we choose to work in point 4. with \(s=-i|\lambda |\) instead, then by symmetry we obtain that if there exist \(\lambda \in {\mathbb {C}}_-\) and \(\tau >0\) such that \(s=-i|\lambda |\) is a solution to \(s=\lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau }\) then \(-\pi<{{\,\mathrm{Arg}\,}}(\lambda )<\frac{\pi }{2}\) and the equation \(|\lambda |\tau =-{{\,\mathrm{Arg}\,}}(\lambda )-\frac{\pi }{2}\) is satisfied.
-
6.
From the discussion in point 5. we draw two conclusions:
-
(a)
given a diagonal system, with fixed \((\lambda _k)_{k\in {\mathbb {N}}}\), the delay \(\tau \) assuring that each mode is stable satisfies
$$\begin{aligned} \tau <\frac{1}{|\lambda _k|}\bigg (|{{\,\mathrm{Arg}\,}}\lambda _k|-\frac{\pi }{2}\bigg )\qquad \forall k\in {\mathbb {N}}, \end{aligned}$$(42) -
(b)
given a delay \(\tau \), the distribution of \((\lambda _k)_{k\in {\mathbb {N}}}\) for each mode to remain stable is
$$\begin{aligned} |\lambda _k|<\frac{1}{\tau }\bigg (|{{\,\mathrm{Arg}\,}}\lambda _k|-\frac{\pi }{2}\bigg )\qquad \forall k\in {\mathbb {N}}. \end{aligned}$$(43)
Clearly \((\lambda _k)_{k\in {\mathbb {N}}}\subset {\mathbb {C}}_-\).
-
(a)
\(\square \)
In geometrical terms Proposition 3.5 states that the stability of P is preserved for given \(\tau \) provided that we choose the \(\lambda \) coefficients from the interior of the set that resembles an ellipse with apsides in 0 and \(-\frac{\pi }{2\tau }\), and which is elongated towards the latter one.
Referring now to Definition 2.7 and the mild solution of the k-th component (30) we introduce the forcing operator \(\Phi _{\infty }\in {\mathcal {L}}(L^2(0,\infty ;{\mathbb {C}}),{\mathcal {X}}_{-1})\),
where
Hence the forcing operator becomes
We can represent formally a similar product with the resolvent operator \(R(s,{\mathcal {A}})\) from (32), namely
where the correspondence of sub-indices with elements of (32) is obvious and will be used from now on to shorten the notation.
The connection between the semigroup \({\mathcal {T}}(t)\) and the resolvent \(R(s,{\mathcal {A}})\) is given by the Laplace transform (see e.g. [21, Chapter 2.3]) whenever the integral converges and
We can now state the main theorem for the k-th component of the delay system (16), namely
Theorem 3.6
Let for the given delay \(\tau \) the eigenvalue \(\lambda \) satisfy \(\lambda \in \Lambda _\tau \). Then the control operator \({\mathcal {B}}=\left( {\begin{array}{c}b\\ 0\end{array}}\right) \) for the system (24) is infinite-time admissible for every \(u\in L^2(0,\infty ;{\mathbb {C}})\) and
for some \(\delta ,m\in (0,1)\), which can be given explicitly in terms of \(\lambda \).
Proof
-
1.
Consider the standard inner product on \(L^2(0,\infty ;{\mathbb {C}})\), namely
$$\begin{aligned} \langle f,g\rangle _{L^2(0,\infty ;{\mathbb {C}})}=\int _{0}^{\infty }f(t){\bar{g}}(t) \, dt\qquad \forall f,g\in L^2(0,\infty ;{\mathbb {C}}). \end{aligned}$$Using (45) and (27) we may write
$$\begin{aligned} \int _{0}^{\infty }{\mathcal {T}}_{11}(t)bu(t) \, dt=b\langle {\mathcal {T}}_{11},{\bar{u}}\rangle _{L^2(0,\infty ;{\mathbb {C}})} \end{aligned}$$(48)assuming that \({\mathcal {T}}_{11}\in L^2(0,\infty ;{\mathbb {C}})\). This assumption is equivalent, due to the Paley–Wiener Theorem 2.1, to \({\mathcal {L}}({\mathcal {T}}_{11})\in H^2({\mathbb {C}}_+)\), where the last inclusion holds. Indeed, using (46) and (47) we see that \({\mathcal {L}}({\mathcal {T}}_{11})(s)=bR_{11}(s)=\frac{b}{s-\lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau }}\). Now the assumption on \(\lambda \) gives \(R_{11}\in H^2({\mathbb {C}}_+)\) and the result follows.
-
2.
The boundary trace \(R_{11}^*={\mathcal {L}}({\mathcal {T}}_{11})^*\in L^2(i{\mathbb {R}})\) is given a.e. as
$$\begin{aligned} {\mathcal {L}}({\mathcal {T}}_{11})^*(i\omega )=\frac{1}{i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }}. \end{aligned}$$Again by Theorem 2.1 and definition of the inner product on \(H^2({\mathbb {C}})_+\) in (4) we have
$$\begin{aligned}&b\langle {\mathcal {T}}_{11},{\bar{u}}\rangle _{L^2(0,\infty ;{\mathbb {C}})} =b\langle {\mathcal {L}}({\mathcal {T}}_{11})^*,{\mathcal {L}} ({\bar{u}})^*\rangle _{L^2(i{\mathbb {R}})}\\&\quad =\frac{b}{2\pi }\int _{-\infty }^{+\infty }\frac{1}{i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }}\overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega ) \, d\omega \end{aligned}$$The Cauchy–Schwarz inequality now gives
$$\begin{aligned}&|b|\bigg \vert \frac{1}{2\pi }\int _{-\infty }^{+\infty } \frac{1}{i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }} \overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega ) \, d\omega \bigg \vert \\&\quad \le |b|\bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \Big \vert \frac{1}{i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }} \Big \vert ^{2} \, d\omega \bigg )^{\frac{1}{2}} \bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \big \vert \overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega )\big \vert ^2 \, d\omega \bigg )^{\frac{1}{2}}\\&\quad =|b|\bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \Big \vert \frac{1}{i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }}\Big \vert ^{2} \, d\omega \bigg )^{\frac{1}{2}} ||u||_{L^2(0,\infty ;{\mathbb {C}})}, \end{aligned}$$Combining this result with point 1 we obtain
$$\begin{aligned} \bigg \vert \int _{0}^{\infty }{\mathcal {T}}_{11}(t)bu(t) \, dt\bigg \vert ^2\le |b|^2\bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \Big \vert \frac{1}{i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }}\Big \vert ^{2} \, d\omega \bigg ) ||u||_{L^2(0,\infty ;{\mathbb {C}})}^2. \end{aligned}$$(49) -
3.
Consider now the second element of the forcing operator (45), namely
$$\begin{aligned} \int _{0}^{\infty }{\mathcal {T}}_{21}(t)bu(t) \, dt\in W^{-1,2}(-\tau ,0;{\mathbb {C}}). \end{aligned}$$To shorten the notation we write \(W:=W^{-1,2}(-\tau ,0;{\mathbb {C}})\). If we assume that \({\mathcal {T}}_{21}\in L^2(0,\infty ;W)\) then using the vector-valued version of Theorem 2.1 this is equivalent to \({\mathcal {L}}({\mathcal {T}}_{21})\in H^2({\mathbb {C}}_+,W)\), but the last inclusion holds. Indeed, to show it notice that
$$\begin{aligned} \epsilon _s(\sigma ):=\mathop {\mathrm{e}}\nolimits ^{s\sigma },\quad \sigma \in [-\tau ,0] \end{aligned}$$is, as a function of s, analytic everywhere for every value of \(\sigma \), and follow exactly the reasoning in point 1.
-
4.
We introduce an auxiliary function \(\phi :[0,\infty )\rightarrow {\mathbb {C}}\). For that purpose fix \({\mathcal {T}}_{21}\in L^2(0,\infty ;W)\) and \(x_0\in W\) and define
$$\begin{aligned} \phi (t):=\langle {\mathcal {T}}_{21}(t),x_0\rangle _W. \end{aligned}$$The Cauchy–Schwarz inequality gives
$$\begin{aligned} \int _{0}^{\infty }|\langle {\mathcal {T}}_{21}(t),x_0\rangle _W|^{2} \, dt\le \int _{0}^{\infty }||{\mathcal {T}}_{21}(t)||_{W}^{2} \, dt||x_0||_{W}^{2}<\infty , \end{aligned}$$hence \(\phi \in L^2(0,\infty ;{\mathbb {C}})\).
-
5.
Consider now the following:
$$\begin{aligned} b\int _{0}^{\infty }\phi (t)u(t) \, dt =b\int _{0}^{\infty }\langle {\mathcal {T}}_{21}(t),x_0\rangle _{W}u(t)dt =b\bigg \langle \int _{0}^{\infty }{\mathcal {T}}_{21}(t)u(t) \, dt,x_0\bigg \rangle _{W}. \end{aligned}$$We also have
$$\begin{aligned} b\int _{0}^{\infty }\phi (t)u(t) \, dt=b\langle \phi ,{\bar{u}}\rangle _{L^2(0,\infty ;{\mathbb {C}})} =b\langle {\mathcal {L}}(\phi )^*,{\mathcal {L}}({\bar{u}})^*\rangle _{L^2(i{\mathbb {R}})}. \end{aligned}$$To obtain the boundary trace \({\mathcal {L}}(\phi )^*\) notice that
$$\begin{aligned} {\mathcal {L}}(\phi )(s)&=\int _{0}^{\infty }\mathop {\mathrm{e}}\nolimits ^{-sr}\langle {\mathcal {T}}_{21} (r),x_0\rangle _{W} \, dr=\bigg \langle \int _{0}^{\infty }\mathop {\mathrm{e}}\nolimits ^{-sr}{\mathcal {T}}_{21} (r) \, dr,x_0\bigg \rangle _{W}\\&=\langle {\mathcal {L}}({\mathcal {T}}_{21})(s),x_0\rangle _{W} =\langle R_{21}(s),x_0\rangle _{W}. \end{aligned}$$Using now (46) yields the result
$$\begin{aligned} {\mathcal {L}}(\phi )^*(i\omega )=\langle R_{21}^*(i\omega ),x_0\rangle _{W} =\bigg \langle \frac{\epsilon _{i\omega }}{i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }}, x_0\bigg \rangle _{W}. \end{aligned}$$Finally, using the inner product on \(L^2(i{\mathbb {R}})\) and the fact that \(\overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega )\in {\mathbb {C}}\) for every \(\omega \in {\mathbb {R}}\) we obtain
$$\begin{aligned} \bigg \langle \int _{0}^{\infty }{\mathcal {T}}_{21}(t)u(t) \, dt,x_0\bigg \rangle _{W}=\bigg \langle \frac{1}{2\pi }\int _{-\infty }^{+\infty } R_{21}^*(i\omega )\overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega ) \, d\omega ,x_0\bigg \rangle _{W} \end{aligned}$$and
$$\begin{aligned} \int _{0}^{\infty }{\mathcal {T}}_{21}(t)u(t) \, dt =\frac{1}{2\pi }\int _{-\infty }^{+\infty }R_{21}^*(i\omega ) \overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega ) \, d\omega \in W. \end{aligned}$$(50) -
6.
Using the norm on \(L^2(-\tau ,0;{\mathbb {C}})\) we have
$$\begin{aligned} ||R_{21}^*(i\omega )||_{L^2(-\tau ,0;{\mathbb {C}})}^{2}&= \int _{-\tau }^{0}\bigg \vert \frac{\mathop {\mathrm{e}}\nolimits ^{i\omega t}}{i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }}\bigg \vert ^{2} \, dt = \frac{1}{\vert i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }\vert ^{2}}\int _{-\tau }^{0}\big \vert \mathop {\mathrm{e}}\nolimits ^{i\omega t}\big \vert ^{2} \, dt\\&= \frac{\tau }{\vert i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }\vert ^{2}}. \end{aligned}$$The Cauchy–Schwarz inequality gives
$$\begin{aligned}&|b|\bigg \Vert \frac{1}{2\pi }\int _{-\infty }^{+\infty }R_{21}^*(i\omega ) \overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega ) \, d\omega \bigg \Vert _{L^2(-\tau ,0;{\mathbb {C}})}\\&\quad \le |b| \frac{1}{2\pi }\int _{-\infty }^{+\infty } ||R_{21}^*(i\omega )||_{L^2(-\tau ,0;{\mathbb {C}})} |\overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega )| \, d\omega \\&\quad =|b| \frac{1}{2\pi }\int _{-\infty }^{+\infty } \frac{\tau ^{\frac{1}{2}}}{\vert i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }\vert }|\overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega )| \, d\omega \\&\quad \le |b|\bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \Big (\frac{\tau ^{\frac{1}{2}}}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|}\Big )^{2} \, d\omega \bigg )^{\frac{1}{2}} \bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \big \vert \overline{{\mathcal {L}}({\bar{u}})}{}^*(i\omega )\big \vert ^2 \, d\omega \bigg )^{\frac{1}{2}}\\&\quad =|b|\bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \frac{\tau }{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^{2}} \, d\omega \bigg )^{\frac{1}{2}} ||u||_{L^2(0,\infty ;{\mathbb {C}})} \end{aligned}$$Combining this result with point 5 gives
$$\begin{aligned} \bigg \Vert \int _{0}^{\infty }{\mathcal {T}}_{21}(t)bu(t) \, dt\bigg \Vert _{L^2(-\tau ,0;{\mathbb {C}})} \le |b|\bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \frac{\tau }{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^{2}} \, d\omega \bigg )^{\frac{1}{2}} ||u||_{L^2(0,\infty ;{\mathbb {C}})} \end{aligned}$$(51) -
7.
Taking now the norm \(||\cdot ||_{{\mathcal {X}}}\) resulting from (23) and using (45), (49) and (51) we arrive at
$$\begin{aligned} ||\Phi _{\infty }(u)||_{{\mathcal {X}}}^{2}&=\bigg \vert \int _{0}^ {\infty }{\mathcal {T}}_{11}(t)bu(t) \, dt\bigg \vert ^2+\bigg \Vert \int _{0}^{\infty }{\mathcal {T}}_{21}(t)bu(t) \, dt\bigg \Vert _{L^2(-\tau ,0;{\mathbb {C}})}^{2}\nonumber \\&\le |b|^{2}(1+\tau )\bigg (\frac{1}{2\pi }\int _{-\infty }^{+\infty } \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^{2}} \, d\omega \bigg ) ||u||_{L^2(0,\infty ;{\mathbb {C}})}^{2} \end{aligned}$$(52)The remaining part is to deal with the integral in the above estimation. Note, that trying to calculate it directly this problem is equivalent (up to a constant) to calculation of the integral
$$\begin{aligned} \int _{-i\infty }^{+i\infty }\, \frac{ds}{(s-\lambda \mathop {\mathrm{e}}\nolimits ^{-s\tau })(-s-{\bar{\lambda }} \mathop {\mathrm{e}}\nolimits ^{s\tau })} \end{aligned}$$with s and \(\lambda \) as complex variables. This inevitably leads to the Lambert-W function related pole placement and complications with finding a suitable contour of integration. To avoid these difficulties we will content ourselves with estimation only.
-
8.
Define
$$\begin{aligned} \int _{-\infty }^{+\infty }I(i\omega ) \, d\omega :=\int _{-\infty }^{+\infty } \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega . \end{aligned}$$From the fact that for \(\omega \in {\mathbb {R}}\) there is
$$\begin{aligned} |i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|=|-i\omega -{\bar{\lambda }}\mathop {\mathrm{e}}\nolimits ^{i\omega \tau }|, \end{aligned}$$the equalities
$$\begin{aligned} \int _{0}^{+\infty } \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega&=\int _{-\infty }^{0} \frac{1}{|i\omega -{\bar{\lambda }} \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega ,\\ \int _{-\infty }^{0} \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega&=\int _{0}^{+\infty } \frac{1}{|i\omega -{\bar{\lambda }} \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega \end{aligned}$$follow. They give
$$\begin{aligned} \int _{-\infty }^{+\infty } \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega =\int _{-\infty }^{+\infty } \frac{1}{|i\omega -{\bar{\lambda }} \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega , \end{aligned}$$and therefore one can consider the sole case \({{\,\mathrm{Arg}\,}}(\lambda )\in (\frac{\pi }{2},\pi ]\). Using the reverse triangle inequality we may now write
$$\begin{aligned} \int _{-\infty }^{+\infty }I(i\omega ) \, d\omega= & {} \int _{-\infty }^{0} \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega + \int _{0}^{+\infty } \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega \nonumber \\= & {} \int _{0}^{+\infty } \frac{1}{|i\omega -{\bar{\lambda }} \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega + \int _{0}^{+\infty } \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega \nonumber \\\le & {} \int _{0}^{(1-\delta )|{\bar{\lambda }}|} \, \frac{d\omega }{\big (|\omega |-|{\bar{\lambda }}|\big )^2}+ \int _{(1+\delta )|{\bar{\lambda }}|}^{+\infty }\, \frac{d\omega }{\big (|\omega |-|{\bar{\lambda }}|\big )^2}\nonumber \\&+\int _{(1-\delta )|{\bar{\lambda }}|}^{(1+\delta )|{\bar{\lambda }}|} \frac{1}{|i\omega -{\bar{\lambda }} \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega \nonumber \\&+\int _{0}^{(1-\delta )|\lambda |} \, \frac{d\omega }{\big (|\omega | -|\lambda |\big )^2}+ \int _{(1+\delta )|\lambda |}^{+\infty }\, \frac{d\omega }{\big (|\omega | -|\lambda |\big )^2}\nonumber \\&+\int _{(1-\delta )|\lambda |}^{(1+\delta )|\lambda |} \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega \nonumber \\= & {} 2\int _{0}^{(1-\delta )|\lambda |} \, \frac{d\omega }{\big (\omega -|\lambda |\big )^2}+ 2\int _{(1+\delta )|\lambda |}^{+\infty }\, \frac{d\omega }{\big (\omega -|\lambda |\big )^2}\nonumber \\&+\int _{(1-\delta )|{\bar{\lambda }}|}^{(1+\delta ) |{\bar{\lambda }}|}\frac{1}{|i\omega -{\bar{\lambda }} \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega + \int _{(1-\delta )|\lambda |}^{(1+\delta )|\lambda |} \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega \nonumber \\ \end{aligned}$$(53)for any \(\delta \in (0,1)\). The first and second integral on the right hand side give
$$\begin{aligned} \int _{0}^{(1-\delta )|\lambda |} \, \frac{d\omega }{\big (\omega -|\lambda |\big )^2} =\frac{1-\delta }{\delta |\lambda |}, \end{aligned}$$and
$$\begin{aligned} \int _{(1+\delta )|\lambda |}^{+\infty } \, \frac{d\omega }{\big (\omega -|\lambda |\big )^2} =\frac{1}{\delta |\lambda |}. \end{aligned}$$Taking into account the comments above we will firstly find the upper bound for the last integral in (53) .
-
9.
Hence, using the assumption let \(\lambda =|\lambda |\mathop {\mathrm{e}}\nolimits ^{i{{\,\mathrm{Arg}\,}}(\lambda )}\), where \({{\,\mathrm{Arg}\,}}(\lambda )=\frac{\pi }{2}+\varepsilon _\lambda \), \(\varepsilon _\lambda \in (0,\frac{\pi }{2}]\) and
$$\begin{aligned} 0<|\lambda |\tau <{{\,\mathrm{Arg}\,}}(\lambda )-\frac{\pi }{2} =\varepsilon _\lambda \le \frac{\pi }{2}. \end{aligned}$$Fix now \(\delta \in (0,1)\) such that
$$\begin{aligned} (1-\delta )|\lambda |\tau<|\lambda |\tau<(1+\delta ) |\lambda |\tau <\varepsilon _\lambda . \end{aligned}$$(54)Let \(\eta \in [1-\delta ,1+\delta ]\) and consider \(\omega =\eta |\lambda |\). For such \(\omega \) we have
$$\begin{aligned} \begin{aligned} \big \vert i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }\big \vert ^2&=|\lambda |^2\big \vert \eta \mathop {\mathrm{e}}\nolimits ^{i\frac{\pi }{2}} -\mathop {\mathrm{e}}\nolimits ^{i({{\,\mathrm{Arg}\,}}(\lambda )-\eta |\lambda |\tau )}\big \vert ^2\\&=|\lambda |^2|k_\eta -q_\eta |^2=|\lambda |^2v_{\eta }^2 \end{aligned} \end{aligned}$$(55)with the obvious definition of \(k_\eta \) and \(q_\eta \) vectors and \(v_\eta :=|k_\eta -q_\eta |\). Due to (54) and the definition of \(\eta \) we have
$$\begin{aligned} {{\,\mathrm{Arg}\,}}(\lambda )-\eta |\lambda |\tau =\frac{\pi }{2}+\varepsilon _\lambda -\eta |\lambda |\tau >\frac{\pi }{2} \end{aligned}$$and \(|k_\eta -q_\eta |^2>0\) for every \(\eta \in [1-\delta ,1+\delta ]\). Define \(\varepsilon (\eta )\) as the angle between \(k_\eta \) and \(q_\eta \), that is
$$\begin{aligned} \varepsilon (\eta ):=\varepsilon _\lambda -\eta |\lambda |\tau , \end{aligned}$$which is a linear function of \(\eta \in [1-\delta ,1+\delta ]\) with values
$$\begin{aligned} \varepsilon (\eta )\in \big (\varepsilon _\lambda -(1+\delta ) |\lambda |\tau ,\varepsilon _\lambda -(1-\delta ) |\lambda |\tau \big )\subset \left( 0,\frac{\pi }{2}\right) . \end{aligned}$$(56)The law of cosines in the \(\eta \)-dependent triangle \((k_\eta ,q_\eta ,v_\eta )\) gives
$$\begin{aligned} v_{\eta }^2=1+\eta ^2-2\eta \cos \big (\varepsilon _\lambda -\eta |\lambda |\tau \big ). \end{aligned}$$(57)The strict monotonicity of the cosine function on \((0,\frac{\pi }{2})\) and (56) give
$$\begin{aligned} m:=\max \big \{\cos \big (\varepsilon _\lambda -\eta |\lambda |\tau \big ) :\eta \in [1-\delta ,1+\delta ]\big \}=\cos \big (\varepsilon _\lambda -(1+\delta ) |\lambda |\tau \big ) \end{aligned}$$(58)and \(m\in (0,1)\). Hence, for every \(\eta \in [1-\delta ,1+\delta ]\) we have
$$\begin{aligned} v_{\eta }^2\ge 1+\eta ^2-2\eta m\ge 1-m^2>0, \end{aligned}$$(59)as \(\eta ^2-2\eta m+m^2=(\eta -m)^2\ge 0\) so that \(\eta ^2-2\eta m\ge -m^2\). Now (55) and (59) give
$$\begin{aligned} \frac{1}{\big \vert i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }\big \vert ^2}\le \frac{1}{(1-m^2) |\lambda |^2}\qquad \forall \omega \in \big [(1-\delta )|\lambda |,(1+\delta )|\lambda |\big ] \end{aligned}$$and, in consequence, lead to a finite upper bound of the last integral in (53), that is
$$\begin{aligned} \int _{(1-\delta )|\lambda |}^{(1+\delta )|\lambda |} \frac{1}{|i\omega -\lambda \mathop {\mathrm{e}}\nolimits ^{-i\omega \tau }|^2} \, d\omega \le \frac{2\delta }{(1-m^2)|\lambda |}. \end{aligned}$$(60)Noting that \({{\,\mathrm{Arg}\,}}({\bar{\lambda }})=-{{\,\mathrm{Arg}\,}}(\lambda )\) and using the same geometrical approach one can show that for the third integral in (53) the upper bound of (60) also holds.
-
10.
Taking together (52), (53) and (60) we arrive at
$$\begin{aligned} ||\Phi _{\infty }(u)||_{{\mathcal {X}}}^{2}\le |b|^{2}(1+\tau ) \frac{1}{\pi }\bigg (\frac{2-\delta }{\delta |\lambda |} +\frac{2\delta }{(1-m^2)|\lambda |}\bigg )||u||_{L^2(0,\infty ;{\mathbb {C}})}^{2} \end{aligned}$$
\(\square \)
3.2 Analysis of the Whole System
Let us return now to the diagonal non-autonomous system (16) with state space \(X=l^2({\mathbb {C}})\) and to denoting its k-th component with the subscript. As shown in the previous subsection, Proposition 3.2 states that the system (19) describing the k-th component is well-posed and its mild solution is given by (30), that is \(v_{k}:[0,\infty )\rightarrow {\mathcal {X}}\),
Given the structure of the Hilbert space \({\mathcal {X}}\) in (5) the mild solution (61) has values in the subspace of \({\mathcal {X}}\) spanned by the k-th element of its basis. Hence, defining \(v:[0,\infty )\rightarrow {\mathcal {X}}\),
we obtain a unique mild solution of (16) and this system is well-posed. Using (62) and (5) we have
where we used again (22) and notation from (19). We can formally write the mild solution (62) as a function \(v:[0,\infty )\rightarrow {\mathcal {X}}_{-1}\),
where \({\mathcal {X}}_{-1}=X_{-1}\times W^{-1,2}(-\tau ,0;X)\) and the control operator \({\mathcal {B}}\in {\mathcal {L}}({\mathbb {C}},{\mathcal {X}}_{-1})\) is given by \({\mathcal {B}}=\left( {\begin{array}{c}(b_k)_{k\in {\mathbb {N}}}\\ 0\end{array}}\right) \). We may now state the main theorem of this article.
Theorem 3.7
Let for the given delay \(\tau \) every element of the sequence \((\lambda _k)_{k\in {\mathbb {N}}}\) satisfy \(\lambda _k \in \Lambda _\tau \), where \(\Lambda _\tau \) was defined in (37). Then the control operator \({\mathcal {B}}\in {\mathcal {L}}({\mathbb {C}},{\mathcal {X}}_{-1})\) given by \({\mathcal {B}}=\left( {\begin{array}{c}(b_k)_{k\in {\mathbb {N}}}\\ 0\end{array}}\right) \) is infinite-time admissible if the sequence \((C_k)_{k\in {\mathbb {N}}}\in l^1\), where
and \(\delta _k,m_k\) fulfil the conditions (54) and (58).
Proof
Define the forcing operator for (64) as \(\Phi _\infty :L^2(0,\infty )\rightarrow {\mathcal {X}}_{-1}\),
From (62) it can be represented as
where \(\Phi _{\infty _k}(u)\) is given by (44) for every \(k\in {\mathbb {N}}\). Then, similarly as in (63) and using the assumption we see that
\(\square \)
4 Examples
In construction of an appropriate example fulfilling assumptions of Theorem 3.7 the biggest difficulty lies in the condition imposed on the eigenvalues \((\lambda _k)_{k\in {\mathbb {N}}}\) of the generator (A, D(A)), defined in (18). Apart from a somewhat artificial case where one could simply define \(\lambda _k:=(-\frac{\pi }{2\tau }+\varepsilon )\frac{1}{k}\) for some fixed \(\tau ,\varepsilon >0\) and all \(k\in {\mathbb {N}}\), we provide two additional, more illustrative examples.
4.1 Multiplication Operator
Consider the multiplication operator on the space \(L^2(\Omega ,\mu )\), with a \(\sigma \)-finite measure space \((\Omega ,{\mathfrak {M}},\mu )\), as shown and described in detail in [6, Section I.4.b]. More precisely, for a measurable function (called symbol) \(q:\Omega \rightarrow {\mathbb {C}}\), we call the set
the essential range of q and define the associated multiplication operator \(M_q\) as
The importance of this example lies in the fact that each normal operator on a Hilbert space is unitarily equivalent to a multiplication operator on some \(L^2\) space.
From the perspective of Theorem 3.7 the multiplication operator has a useful property, namely the spectrum of \(M_q\) is the essential range of q, that is
Hence, by choosing a suitable symbol it would be easy to control the eigenvalues. However, due to the boundedness of the region of interest in Theorem 3.7, the symbol q would have to be essentailly bounded, what is a neccessary and sufficient condition for the boundedness of the multiplication operator \(M_q\) and would limit further considerations to uniformly bounded semigroups.
4.2 Reciprocal System
Following [4] we introduce the notion of a state linear system\(\Sigma (A,B,C,D)\) considered on the extrapolation space \(X_{-1}\), where \(B\in {\mathcal {L}}(U,X_{-1})\), \(C\in {\mathcal {L}}(X_{1},Y)\), \(D\in {\mathcal {L}}(U,Y)\), A generates the semigroup (T(t)) on \(X_{-1}\) and G is a transfer function of this system.
Suppose that system \(\Sigma (A,B,C,D)\) is such that \(0\in \rho (A)\). Then its reciprocal system is the state linear system \(\Sigma (A^{-1},A^{-1}B,-CA^{-1},G(0))\). This means that for a diagonal generator A with eigenvalues \((\lambda _k)_{k\in {\mathbb {N}}}\) the generator \(A^{-1}\) of the reciprocal system has eigenvalues \((\lambda _k^{-1})_{k\in {\mathbb {N}}}\).
Note that by Theorem 5 of [4], the operator B is admissible for the semigroup (T(t)) if and only if \(A^{-1}B\) is admissible for the reciprocal semigroup generated by \(A^{-1}\).
Consider a heat propagation model in a homogeneous rod with zero temperature imposed on its both ends (see [21, Example 2.6.9] for more details). In terms of PDEs this model takes the form
where the temperature profile belongs to the state space \(X=L^2(0,\pi )\), the initial condition (the initial temperature distribution) is \(w_0\in W^{2,2}(0,\pi )\cap W_{0}^{1,2}(0,\pi )\).
Define
and reformulate (65) into an abstract setting
Note also that \(0\in \rho (A)\). For \(k\in {\mathbb {N}}\) let \(\phi _k\in D(A)\), \(\phi _k(x):=\sqrt{\frac{2}{\pi }}\sin (kx)\) for every \(x\in (0,\pi )\). Then \((\phi _k)_{k\in {\mathbb {N}}}\) is an orthornormal Riesz basis in X and
Using standard Hilbert space methods and transforming system (66) into the \(l^2\) space (we use the same notation for the \(l^2\) version of (66)) we see that the associated eigenvalue sequence \((\lambda _k)_{k\in {\mathbb {N}}}\) is \(\lambda _k=-k^2\) for every \(k\in {\mathbb {N}}\).
Take the delay \(\tau =1\). Then the system being the reciprocal of (66) has a generator with a sequence of eigenvalues \((-\frac{1}{k^2})_{k\in {\mathbb {N}}}\) fulfilling the assumption of Theorem 3.7.
5 Conclusions
We have cast our results in the language of infinite-time admissibility, since this allowed us to make use of Laplace transform techniques, but since for exponentially stable systems (with \(\sup \mathop {\mathrm{Re}}\nolimits \lambda _k < 0 \)) this is equivalent to finite-time admissibility, similar conclusions hold in this situation as in our main theorem, Theorem 3.7.
The region \(\Lambda _\tau \) is a very natural one to find in our analysis, as may be seen by observing that the system with transfer function \(1/(s+\lambda e^{-s\tau })\) (where \(\tau >0\) and \(\lambda \in {\mathbb {C}}\)) is \(H^\infty \) stable if and only if \(\lambda \in \Lambda _\tau \). Thus, paradoxically, a large negative eigenvalue \(\lambda \), although seemingly contributing to stability, actually causes destabilization, and loss of admissibility, in the presence of delays. Thus for a system such as the heat equation, where the set of eigenvalues is not contained in any single \(\Lambda _\tau \), one cannot expect a positive result in the presence of delay.
This is also interesting from the reciprocal systems point of view, as given in Example 4.2, for the following reason. According to [4, Theorem 5], B is an infinite-time admissible operator if and only if \(A^{-1}B\) is. As our analysis shows, adding a positive delay breaks this symmetry.
The last conclusion concerns the open question we formulated in [26], where we looked for admissibility criteria of retarded delay systems formed by contraction semigroups. In light of our results for diagonal state-delayed system it seems that contraction is not a sufficient condition for admissibility of a diagonal retarded delay system. Instead, sufficiency is reached when the sequence of eigenvalues of the undelayed semigroup fulfils a condition similar to \(\lambda _k\in \Lambda _\tau \).
References
Arendt, W., Batty, C.J.K., Hieber, M., Neubrander, F.: Vector-Valued Laplace Transforms and Cauchy Problems, Monographs in Mathematics, vol. 96, 2nd edn. Birkhäuser Verlag AG, Basel (2010)
Batkái, A., Piazzera, S.: Semigroups for Delay Equations, Research Notes in Mathematics, vol. 10. CRC Press, Boca Raton (2005)
Bellman, R., Cooke, K.L.: Differential-Difference Equations, Mathematics in Science and Engineering, vol. 6. Academic Press, London (1963)
Curtain, R.F.: Regular linear systems and their reciprocals: applications to Riccati equations. Syst. Control Lett. 49, 81–89 (2003)
Engel, K.-J.: Spectral theory and generator property for one-sided coupled operator matrices. Semigroup Forum 58(2), 267–295 (1999)
Engel, K.-J., Nagel, R.: One-Parameter Semigroup for Linear Evolution Equations, Graduate Texts in Mathematics, vol. 194. Springer, Berlin (2000)
Evans, L.C.: Partial Differential Equations, Graduate Studies in Mathematics, vol. 19. American Mathematical Society, Providence (2002)
Garnett, J.: Bounded Analytic Functions, Graduate Texts in Mathematics, vol. 236. Springer, New York (2007)
Grabowski, P., Callier, F.M.: Admissible observation operators, semigroup criteria of admissibility. Integral Equ. Oper. Theory 25(2), 182–198 (1996)
Ho, L.F., Russell, D.L.: Admissible input elements for systems in Hilbert space and a Carleson measure criterion. SIAM J. Control Optim. 21, 616–640 (1983)
Ho, L.F., Russell, D.L.: Erratum: admissible input elements for systems in Hilbert space and a Carleson measure criterion. SIAM J. Control Optim. 21, 985–986 (1983)
Jacob, B., Partington, J.R.: Admissibility of control and observation operators for semigroups: a survey. In: Ball, Joseph A., Helton, JWilliam, Klaus, Martin, Rodman, Leiba (eds.) Current Trends in Operator Theory and its Applications, pp. 199–221. Birkhäuser Basel, Basel (2004)
Jacob, B., Partington, J.R., Pott, S.: On Laplace–Carleson embedding theorems. J. Funct. Anal. 264, 783–814 (2013)
Jacob, B., Partington, J.R., Pott, S.: Applications of Laplace–Carleson embeddings to admissibility and controllability. SIAM J. Control Optim. 52(2), 1299–1313 (2014)
Kato, T.: Perturbation Theory for Linear Operators, Classics in Mathematics. Springer, Berlin (1995). Reprint of the 1980 edition
Koosis, P.: Introduction to \(H_p\) Spaces, Cambridge Tracts in Mathematics, vol. 115, 2nd edn. Cambridge University Press, Cambridge (2008)
Kreuter, M.: Sobolev spaces of vector-valued functions. Master’s thesis, Ulm University: under the supervision of W Arendt and R Zacher (2015)
Partington, J.R.: An Introduction to Hankel Operators, London Mathematical Society Student Texts, vol. 13. Cambridge University Press, Cambridge (1988)
Partington, J.R.: Linear Operators and Linear Systems: An Analytical Apporach to Control Theory, London Mathematical Society Student Texts, vol. 60. Cambridge University Press, Cambridge (2004)
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, Singapore (1987)
Tucsnak, M., Weiss, G.: Observation and Control for Operator Semigroups. Birkhäuser Verlag AG, Basel (2009)
Walton, K., Marshall, J.E.: Direct method for TDS stability analysis. IEE Proc. Control Theory Appl. 134, 101–107 (1987)
Weiss, G.: Admissible input elements for diagonal semigroups on \(l^2\). Syst. Control Lett. 10, 79–82 (1988)
Weiss, G.: A Powerful Generalization of the Carleson Measure Theorem? Open problems in Mathematical Systems and Control Theory, Communications and Control Engineering, pp. 267–272. Springer, London (1999)
Wynn, A.: \(\alpha \)-admissibility of observation operators in discrete and continuous time. Complex Anal. Oper. Theory 4(1), 109–131 (2010)
Zawiski, R., Partington, J.R.: On the admissibility of retarded delay systems. arXiv e-prints (2018). arXiv:1709.08276
Acknowledgements
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 700833.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Sanne ter Horst, Dmitry Kaliuzhnyi-Verbovetskyi, Izchak Lewkowicz and Daniel Alpay.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research presented here was done when the second author was a Marie Curie Research Fellow at the School of Mathematics, University of Leeds, UK.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Partington, J.R., Zawiski, R. Admissibility of Diagonal State-Delayed Systems with a One-Dimensional Input Space. Complex Anal. Oper. Theory 13, 2463–2485 (2019). https://doi.org/10.1007/s11785-019-00910-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11785-019-00910-5