Skip to main content

Theory and Modern Applications

Results on exact controllability of second-order semilinear control system in Hilbert spaces

Abstract

In our manuscript, we extend the controllability outcomes given by Bashirov (Math. Methods Appl. Sci. 44(9):7455–7462, 2021) for a family of second-order semilinear control system by formulating a sequence of piecewise controls. This approach does not involve large estimations which are required to apply fixed point theorems. Therefore, we avoid the use of fixed point theory and the contraction mapping principle. We establish that a second-order semilinear system drives any starting position to the required final position from the domain of the system. To achieve the required results, we suppose that the linear system is exactly controllable at every non-initial time period, the norm of the inverse of the controllability Grammian operator increases as the time approaches zero with the slower rate in comparison to the reciprocal of the square function, and the nonlinear term is bounded. Finally, an example has been presented to validate the results.

1 Introduction

Differential equations arise in many areas of science and technology, specifically whenever a deterministic relation involving some continuously varying quantities (modeled by functions) and their rates of change in space and/or time is known or postulated. This is illustrated in classical mechanics where the motion of a body is described by its position and velocity as time varies. For the studies related to the existence of solution for integer- and fractional-order systems, one can refer to [2–30]. The concept of controllability is one of the underlying ideas in mathematical control theory. Controllability analysis is used in several real-life problems which include, but are not limited to, rocket launching problems for satellite and aircraft control, missiles and anti-missiles problems in defense, regulating inflation rate in the economy, controlling sugar level in the blood, etc. A systematic study of controllability was initiated by Kalman [31] in 1963 when the theory of controllability for time-invariant and time-varying control systems in state-space form was developed.

Several engineering and scientific problems can be expressed by infinite-dimensional differential equations. Therefore, it becomes necessary to discuss the controllability results for infinite-dimensional systems. The controllability problems for finite-dimensional nonlinear systems have been immensely analyzed by several authors. Many authors have advanced the idea of controllability from finite-dimensional systems to infinite-dimensional systems and determined appropriate requirements for the controllability of nonlinear systems. Different techniques have been practiced for the examination of controllability including fixed point theorems [32–34]. For more problems on controllability and recent progresses on fractional calculus and its applications, please refer to [35–47].

Second-order differential equations represent abstract mathematical interpretations of several partial differential equations which occur in many applications related to the oscillation of fastened bars, the transverse motion of an extensible beam, and several other real-world physical phenomena. Hence it becomes really important to determine the controllability outcomes for this kind of system. Controllability discussions for various second-order nonlinear systems have been widely studied by several authors [33, 48–58]. Fixed point theorems have been utilized greatly in determining the existence and controllability results for different first-order and second-order systems which involve large estimations on system constants see [33, 59, 60]. Recently Bashirov [1] obtained the exact controllability results for first-order semilinear systems using a new technique that is based on the piecewise formulation of driving controls and without using fixed point theory. Earlier the same approach was applied in terms of approximate controllability [61]. Motivated by Bashirov [1], we extend the controllability results for second-order semilinear systems excluding the use of fixed point theory. It is centered on a piecewise formulation of steering controls and does not involve large estimations which are required to apply fixed point theorems. By constructing a piecewise sequence of controls, we determine that a second-order semilinear system is exactly controllable to the domain of the system operator, that is, it drives the system from any starting position to the required final position from the domain of the system. To achieve the required results, we suppose the subsequent requirements:

  1. (a)

    The corresponding linear system is exactly controllable at every non-initial time period.

  2. (b)

    The norm of the inverse of the controllability Grammian operator increases as the time approaches zero with the slower rate in comparison to the reciprocal of the square function.

  3. (c)

    The nonlinear term is bounded.

Let us consider \(Z=L_{2}[0,b;\mathbb{X}]\) and \(Y=L_{2}[0,b;\mathbb{U}]\) as the function spaces defined on \(J=[0,b]\), \(0\leq b<\infty \), where \(\mathbb{X}\) and \(\mathbb{U}\) are two Hilbert spaces. Consider the following second-order semilinear control system:

$$\begin{aligned} \textstyle\begin{cases} p''(t)=Ap(t)+Bv(t)+r(t,p(t)),&\text{for } t\in (0,b], \\ p(0)=p_{0}, \\ p'(0)=q_{0}, \end{cases}\displaystyle \end{aligned}$$
(1.1)

where

  1. 1

    \(p(t)\) represents the state having values in Hilbert space \(\mathbb{X}\).

  2. 2

    Control function v is defined from \([0,b]\rightarrow \mathbb{U}\).

  3. 3

    B is a bounded and linear operator from \(\mathbb{U}\) into \(\mathbb{X}\).

  4. 4

    The function \(r:[0,b]\times \mathbb{X}\rightarrow \mathbb{X}\) is a purely nonlinear function which produces nonlinearity in the system.

  5. 5

    \(A:\operatorname{dom}(A)\subseteq \mathbb{X}\rightarrow \mathbb{X}\) is linear, closed where \(\operatorname{dom}(A)\) is a dense subset of X.

The linear system corresponding to (1.1) with state vector \(q(t)\) and control v is defined by

$$\begin{aligned} \textstyle\begin{cases} q''(t)=\operatorname{Aq}(t)+Bv(t),&\text{for } t\in (0,b], \\ q(0)=p_{0}, \\ q'(0)=q_{0}. \end{cases}\displaystyle \end{aligned}$$
(1.2)

The article is structured in the subsequent manner:

  1. 1

    Sect. 2 presents a few basic results related to control theory and second-order systems.

  2. 2

    Sect. 3 provides the assumptions which are required to obtain the controllability results.

  3. 3

    Sect. 4 discusses the controllability results using the new technique.

  4. 4

    Sect. 5 presents an example to verify the established outcomes.

2 Auxiliary results

Here, we will review fundamental theories and a few definitions which would be helpful for further discussions.

Definition 2.1

[62] A one-parameter family \(\{C(t),t\in \mathbb{R}\}\) of bounded linear operators mapping the Hilbert space \(\mathbb{X}\) into itself is called a strongly continuous cosine family if and only if

  1. 1

    \(C(0)=I\);

  2. 2

    \(C(s+t)+C(s-t)=2C(s)C(t)\);

  3. 3

    \(C(t)x\) is continuous in t on \(\mathbb{R}\) for each fixed \(x\in \mathbb{X}\).

If \(\{C(t),t\in \mathbb{R}\}\) is a strongly continuous cosine family in \(\mathbb{X}\), then \(\{S(t),t\in \mathbb{R}\}\) is a one-parameter family of operators in \(\mathbb{X}\) defined by

$$\begin{aligned} S(t)= \int _{0}^{t}C(s)\,ds,\quad t\in \mathbb{R}. \end{aligned}$$

The infinitesimal generator of a strongly continuous cosine family \(\{C(t), t\in \mathbb{R}\}\) is the operator \(A:\mathbb{X}\rightarrow \mathbb{X}\) defined by

$$\begin{aligned} Ax=\frac{d^{2}}{dt^{2}}C(0)x. \end{aligned}$$

The domain of operator A is defined as

$$\begin{aligned} \operatorname{dom}(A)=\bigl\{ x\in \mathbb{X}:C(t)x \text{ is a twice continuously differentiable function of } t\bigr\} . \end{aligned}$$

These cosine and sine families defined above and generator A fulfill the following properties.

Lemma 2.2

([28])

Suppose that A is the infinitesimal generator of a cosine family of operators \(\{C(t):t\in \mathbb{R}\}\). Then the following hold:

  1. (1)

    There exist \(M' \geq 1\) and \(\omega \geq 0\) such that \(\|C(t)\|\leq M'e^{\omega |t|}\), and hence \(\|S(t)\|\leq M'e^{\omega |t|}\).

  2. (2)

    \(A\int _{s}^{r}S(u)x\,du=[C(r)-C(s)]x\) for all \(0\leq s\leq r<\infty \).

  3. (3)

    There exists \(N'\geq 1\) such that \(\|S(s)-S(r)\|\leq N' |\int _{s}^{r}e^{\omega |s|}\,ds |\) for all \(0\leq s\leq r<\infty \).

The uniform boundedness principle together with \((1)\) implies that both \(\{C(t):t\in J\}\) and \(\{S(t):t\in J\}\) are uniformly bounded and \(M=M'e^{\omega |b|}\).

Proposition 2.3

([62])

Let \(\{C(t),t\in \mathbb{R}\}\) be a strongly continuous cosine family in \(\mathbb{X}\) with infinitesimal generator A. The following are true:

  1. 1

    \(S(0)=0\).

  2. 2

    \(C(t)=C(-t)\) and \(S(t)=-S(-t)\) for all \(t\in \mathbb{R}\).

  3. 3

    If \(x\in E\), then \(S(t)x,C(t)x\in \operatorname{dom}(A)\) and \(\frac{d}{dt}S(t)x=C(t)x\), and \(\frac{d}{dt}C(t)x=AS(t)x\), where \(E=\{x:C(t)x \textit{ is once continuously differentiable function of }t\}\).

  4. 4

    If \(x\in \operatorname{dom}(A)\), then \(S(t)x\in \operatorname{dom}(A)\) and \(AS(t)x=S(t)Ax\).

  5. 5

    If \(x\in \operatorname{dom}(A)\), then \(C(t)x\in \operatorname{dom}(A)\) and \(\frac{d^{2}}{dt^{2}}C(t)x=AC(t)x=C(t)Ax\).

  6. 6

    If \(x\in E\), then \(\lim_{t\rightarrow 0}AS(t)x=0\).

Proposition 2.4

([62])

Let \(\{C(t), t \in \mathbb{R}\}\) be a strongly continuous cosine family in \(\mathbb{X}\). The operator \(\hat{A}: \mathbb{X}\rightarrow \mathbb{X}\) defined by

$$ \hat{A}x = \lim_{t\rightarrow 0} \frac{(C(2t) x - x)}{2t^{2}}, $$

with domain \(x\in \mathbb{X}\) for which this limit exists, is the infinitesimal generator of the cosine family \(\{C(t), t\in \mathbb{R}\}\).

Suppose \(U_{ad}=L_{2}[0,b;\mathbb{U}]\), which is the set of admissible controls. We define the mild solution of the given semi linear system (1.1) and its corresponding linear system as follows.

Definition 2.5

The mild solution of system (1.1) is defined by a function \(p(\cdot )\in \mathbb{X}\) which satisfies the following integral equation:

$$\begin{aligned} \textstyle\begin{cases} p(t)=C(t)p_{0}+S(t)q_{0}+ \int _{0}^{t}S(t-s)\{Bv(s)+r(s,p(s)) \}\,ds,& t \in (0,b], \\ p(0)=p_{0}, \\ p'(0)=q_{0}, \end{cases}\displaystyle \end{aligned}$$
(2.1)

and the mild solution of the corresponding linear system (1.2) is described by the following integral equation:

$$\begin{aligned} \textstyle\begin{cases} q(t)=C(t)p_{0}+S(t)q_{0}+ \int _{0}^{t}S(t-s)Bv(s)\,ds,& t \in (0,b], \\ q(0)=p_{0}, \\ q'(0)=q_{0}. \end{cases}\displaystyle \end{aligned}$$
(2.2)

Definition 2.6

([1])

System (1.1) is said to be approximately controllable in the time interval \([0,b]\) if, for the given starting position \((p_{0}, q_{0})\in \mathbb{X}\) and the required final position \((p_{F}, q_{F})\in \mathbb{X}\) and \(\epsilon >0\), there exists a control function \(v\in U_{ad}\) such that the solution of (1.1) satisfies

$$\begin{aligned} \bigl\Vert p(b)-p_{F} \bigr\Vert < \epsilon ,\qquad \bigl\Vert p'(b)-q_{F} \bigr\Vert < \epsilon , \end{aligned}$$

where \(p(b)\) is the state value of system (1.1) at time \(t=b\). If \(p(b)=p_{F}\), then the system is said to be exactly controllable. The system is said to be exactly controllable to \(\operatorname{dom}(A)\) on \([0,b]\) if, for the given starting position \((p_{0}, q_{0})\in \mathbb{X}\) and the required final position \((p_{F}, q_{F})\in \operatorname{dom}(A)\), there exists a control function \(v\in U_{ad}\) such that the solution of the system satisfies \(p(b)=p_{F}\), \(p'(b)=q_{F}\).

Remark 2.7

Note that the exact controllability to \(\operatorname{dom}(A)\) lies in between the exact and approximate controllability. Therefore, it is a weaker concept than the exact controllability. In real life applications, sometimes we are more concerned with attaining the points from \(\operatorname{dom}(A)\). If it is possible to reach the points from \(\mathbb{X} \backslash \operatorname{dom}(A)\) as well, then it can be considered as an additional capability of the system.

3 Assumptions

Let us introduce the controllability Grammian operator W associated with linear system (1.2) by

$$\begin{aligned} W(t)= \int _{0}^{t}S(s)BB^{*}S^{*}(s) \,ds,\quad 0\leq t\leq b, \end{aligned}$$

where \(S^{*}(s)\) denotes the adjoint of \(S(s)\).

Theorem 3.1

The corresponding linear system (1.2) is exactly controllable on the interval \([h, b]\) iff \(W(b-h)\) is coercive. The control which drives the system from the starting position \((q(h), q'(h))\in X\) to the final position \((p_{F}, q_{F})\in X\) is given by

$$\begin{aligned} v(t)=B^{*}S^{*}(b-t) \bigl(W(b-h) \bigr)^{-1}\bigl(p_{F}-C(b-h)q(h)-S(b-h)q'(h) \bigr)\quad (h \leq t\leq b). \end{aligned}$$
(3.1)

Proof

The result can be seen in [59]. Moreover, it can be easily verified by substituting the above defined control in the mild solution of the corresponding linear system that it transfers \((q(h), q'(h))\) to \((p_{F}, q_{F})\) on the interval \([h, b]\). □

Remark 3.2

The coercivity of \(W(t)\) indicates that \((W(t))^{-1}\) is a bounded linear operator. We say that \(W(t)\) is coercive if there exists \(\gamma >0\) such that \(\langle W(t)x, x\rangle \geq \gamma \|x\|^{2}\) for all \(x\in X\). Here \(W(0)=0\) and, therefore, it fails to be coercive. But it may be coercive for \(0< t\leq b\). Therefore, the above result holds on \([h, b]\).

To determine the main result, we make the following assumptions on the controllability Grammian operator W and the nonlinear function \(r(t,p)\):

  1. (I)

    \(W(t)\) is coercive for all \(0< t\leq b\).

  2. (II)

    There exists some \(N\geq 0\) such that

    $$ t^{1+\alpha } \bigl\Vert \bigl(W(t)\bigr)^{-1} \bigr\Vert \leq N \quad \text{for all } 0< t\leq b, 0\leq \alpha < 1. $$

    That is, \(\|(W(t))^{-1}\| \rightarrow \infty \) as t → 0+ with the slower rate in comparison to the reciprocal of the square function as

    $$ \bigl\Vert \bigl(W(t)\bigr)^{-1} \bigr\Vert \leq \frac{N}{t^{1+\alpha }}< \frac{N}{t^{2}}, $$

    for small values of t.

  3. (III)

    The nonlinear function r is Lebesgue measurable in t.

  4. (IV)

    r is Lipschitz continuous in p.

  5. (V)

    r is bounded in \([0,b]\times \mathbb{X}\), \(i.e\)., there exists \(K>0\) such that

    $$ \bigl\Vert r(t,p) \bigr\Vert \leq K \quad \text{for all } (t,p)\in [0,b] \times \mathbb{X}. $$

4 Results on controllability

In this section, we primarily focus on the study of exact controllability of the assumed system.

Theorem 4.1

System (1.1) is exactly controllable to \(\operatorname{dom}(A)\) on the interval \([0,b]\) for every \(b>0\) provided assumptions (I)–(V) hold.

Proof: We construct a piecewise sequence of driving controls to formulate the required control function v which drives the given system from the starting position \((p_{0}, q_{0})\in \mathbb{X}\) to the final position \((p_{F}, q_{F})\in \operatorname{dom}(A)\) in the following manner.

For this, consider the sequence \(\{h_{n}\}\) which is defined by \(h_{n}=\frac{b}{2^{n}}\) for \(n=1,2,\ldots \) .

We have \(\sum_{n=1}^{\infty }h_{n}=b\). For the sake of simplicity, let us take \(h_{0}=0\) and

$$\begin{aligned} b_{0}=h_{0},\qquad b_{1}=h_{0}+h_{1}, \qquad \ldots,\qquad b_{n}=\sum_{k=0}^{n}h_{k}, \qquad \ldots \end{aligned}$$

Then \(\lim_{n\rightarrow \infty }b_{n}=\sum_{k=0}^{\infty }h_{k}=b\).

Using Theorem 3.1, the corresponding linear system (1.2) is exactly controllable on \([b_{0}, b_{1}]\) along with the control

$$\begin{aligned} v_{1}(\varrho )=B^{*}S^{*}(b_{1}- \varrho ) \bigl(W(h_{1})\bigr)^{-1} \bigl(C(h_{1}) (p_{F}-p_{0})+S(h_{1}) (q_{F}-q_{0}) \bigr),\quad b_{0}\leq \varrho \leq b_{1}, \end{aligned}$$

which steers the initial state \(p_{0}\) to \(C(h_{1})p_{F}+S(h_{1})q_{F}\).

That is,

$$\begin{aligned} C(h_{1})p_{F} +S(h_{1})q_{F}=C(h_{1})p_{0}+S(h_{1})q_{0}+ \int _{b_{0}}^{b_{1}}S(b_{1}-s)Bv_{1}(s) \,ds. \end{aligned}$$

Define v on \([b_{0},b_{1}]\) by letting \(v(\varrho )=v_{1}(\varrho )\). Then, from (2.1), we obtain

$$\begin{aligned} p(b_{1})=C(h_{1})p_{F}+ S(h_{1})q_{F}+ \int _{b_{0}}^{b_{1}}S(b_{1}-s)r \bigl(s,p(s)\bigr)\,ds. \end{aligned}$$

For brevity, let \(p(b_{1})=p_{1}\). Next, consider (1.2) on \([b_{1},b_{2}]\). By Theorem 3.1, the control

$$\begin{aligned} v_{2}(\varrho )=B^{*}S^{*}(b_{2}- \varrho ) \bigl(W(h_{2})\bigr)^{-1} \bigl(C(h_{2}) (p_{F}-p_{1})+S(h_{1}) \bigl(q_{F}-p'(b_{1})\bigr) \bigr),\quad b_{1}\leq \varrho \leq b_{2}, \end{aligned}$$

steers \(p_{1}\) to \(C(h_{2})p_{F}+S(h_{2}) q_{F}\). Writing \(p'(b_{1})=q_{1}\), then the control \(u_{2}(\varrho )\) can be written as

$$\begin{aligned} v_{2}(\varrho )=B^{*}S^{*}(b_{2}- \varrho ) \bigl(W(h_{2})\bigr)^{-1} \bigl(C(h_{2}) (p_{F}-p_{1})+S(h_{2}) (q_{F}-q_{1}) \bigr),\quad b_{1}\leq \varrho \leq b_{2}. \end{aligned}$$

That is,

$$\begin{aligned} C(h_{2})p_{F}+S(h_{2}) q_{F}=C(h_{2})p_{1}+S(h_{2})q_{1}+ \int _{b_{1}}^{b_{2}}S(b_{2}-s)Bv_{2}(s) \,ds. \end{aligned}$$

Define v on \((b_{1},b_{2}]\) by letting \(v(\varrho )=v_{2}(\varrho )\). Then, from (2.1), we obtain

$$\begin{aligned} p(b_{2})=C(h_{2})p_{F}+S(h_{2})q_{F}+ \int _{b_{1}}^{b_{2}}S(b_{2}-s)r \bigl(s,p(s)\bigr)\,ds. \end{aligned}$$

For the sake of convenience, let \(p(b_{2})=p_{2}\). Progressing in this fashion, we acquire a sequence of driving controls

$$\begin{aligned}& v_{n}(\varrho )=B^{*}S^{*}(b_{n}- \varrho ) \bigl(W(h_{n})\bigr)^{-1} \bigl(C(h_{n}) (p_{F}-p_{n-1})+S(h_{n}) (q_{F}-q_{n-1}) \bigr), \\& \quad b_{n-1}\leq \varrho \leq b_{n}, \end{aligned}$$
(4.1)

where \(q_{n-1}=p'(b_{n-1})\).

After combining the above sequence of controls, we get the control function as follows:

$$\begin{aligned} v(\varrho )= \textstyle\begin{cases} v_{1}(\varrho )&\text{if } b_{0}\leq \varrho \leq b_{1}, \\ v_{2}(\varrho )&\text{if } b_{1}< \varrho \leq b_{2}, \\ \ldots&\ldots \\ v_{n}(\varrho )& \text{if }b_{n-1}< \varrho \leq b_{n}, \\ \ldots&\ldots \end{cases}\displaystyle \end{aligned}$$

and

$$\begin{aligned} p_{n}=p(b_{n})=C(h_{n})p_{F}+S(h_{n}) q_{F}+ \int _{b_{n-1}}^{b_{n}}S(b_{n}-s)r \bigl(s,p(s)\bigr)\,ds. \end{aligned}$$
(4.2)

Now by using the assumption (V), we get

$$\begin{aligned} \Vert p_{n}-p_{F} \Vert \leq & \bigl\Vert C(h_{n})p_{F}-p_{F} \bigr\Vert + \bigl\Vert S(h_{n}) q_{F} \bigr\Vert + \int _{b_{n-1}}^{b_{n}} \bigl\Vert S(b_{n}-s) \bigr\Vert \bigl\Vert r\bigl(s,p(s)\bigr) \bigr\Vert \,ds \\ \leq & \bigl\Vert C(h_{n})p_{F}-p_{F} \bigr\Vert + \bigl\Vert S(h_{n})q_{F} \bigr\Vert +KMh_{n},\quad n=1,2,\ldots, \end{aligned}$$
(4.3)

where \(M=\sup_{[0,b]}\|C(\varrho )\|\) and \(K=\sup_{[0,b]\times X}\|r(\varrho ,p)\|\).

Since \(C(\varrho )\) is strongly continuous, \(S(0)=0\) and \(\lim_{n\rightarrow \infty }h_{n}=0\).

Therefore, \(\lim_{n\rightarrow \infty }p_{n}=p_{F}\). Also,

$$\begin{aligned} q_{n} = p'(b_{n})=A S(h_{n}) p_{F}+C(h_{n})q_{F}+ \int _{b_{n-1}}^{b_{n}}C(b_{n}-s) r \bigl(s,p(s)\bigr)\,ds. \end{aligned}$$

Thus, we have

$$\begin{aligned} \Vert q_{n}-q_{F} \Vert \leq & \bigl\Vert A S(h_{n}) p_{F} \bigr\Vert + \bigl\Vert C(h_{n})q_{F}-q_{F} \bigr\Vert + \int _{b_{n-1}}^{b_{n}} \bigl\Vert C(b_{n}-s) \bigr\Vert \bigl\Vert r\bigl(s,p(s)\bigr) \bigr\Vert \,ds \\ \leq & \bigl\Vert A S(h_{n})p_{F} \bigr\Vert + \bigl\Vert C(h_{n})q_{F}-q_{F} \bigr\Vert +KMh_{n},\quad n=1,2,\ldots. \end{aligned}$$
(4.4)

Since \(C(\varrho )\) is strongly continuous, \(S(0)=0\) and \(\lim_{n\rightarrow \infty }h_{n}=0\).

Therefore, \(\lim_{n\rightarrow \infty }q_{n}=q_{F}\).

Next we prove that \(v\in U_{ad}\). Since every \(v_{n}\) of v is continuous on the interval \((b_{n-1},b_{n}]\) for \(n=0,1,2,\ldots \) , hence v is measurable. Also,

$$\begin{aligned}& \int _{b_{n-1}}^{b_{n}} \bigl\Vert v_{n}( \varrho ) \bigr\Vert ^{2}\,d\varrho \\& \quad = \int _{b_{n-1}}^{b_{n}} \bigl\Vert B^{*}S^{*}(b_{n}- \varrho ) \bigl(W(h_{n})\bigr)^{-1} \bigl(C(h_{n}) (p_{F}-p_{n-1})+S(h_{n}) (q_{F}-q_{n-1}) \bigr) \bigr\Vert ^{2}\,d\varrho \\& \quad = \int _{b_{n-1}}^{b_{n}}\bigl\langle S(b_{n}- \varrho )BB^{*}S^{*}(b_{n}- \varrho ) \bigl(W(h_{n})\bigr)^{-1} \bigl(C(h_{n}) (p_{F}-p_{n-1})+S(h_{n}) (q_{F}-q_{n-1}) \bigr), \\& \qquad \bigl(W(h_{n})\bigr)^{-1} \bigl(C(h_{n}) (p_{F}-p_{n-1})+S(h_{n}) (q_{F}-q_{n-1}) \bigr)\bigr\rangle \,d\varrho \\& \quad =\bigl\langle \bigl(C(h_{n}) (p_{F}-p_{n-1})+S(h_{n}) (q_{F}-q_{n-1}) \bigr), \\& \qquad \bigl(W(h_{n})\bigr)^{-1} \bigl(C(h_{n}) (p_{F}-p_{n-1})+S(h_{n}) (q_{F}-q_{n-1}) \bigr)\bigr\rangle \\& \quad \leq M^{2} \bigl\Vert \bigl(W(h_{n}) \bigr)^{-1} \bigr\Vert \bigl( \Vert p_{F}-p_{n-1} \Vert ^{2}+ \Vert q_{F}-q_{n-1} \Vert ^{2} \bigr),\quad n=1,2,\ldots \end{aligned}$$

Therefore, by (4.3) and (4.4),

$$\begin{aligned}& \int _{0}^{b} \bigl\Vert v(\varrho ) \bigr\Vert ^{2}\,d\varrho \\& \quad =\sum_{n=0}^{\infty } \int _{b_{n}}^{b_{n+1}} \bigl\Vert v_{n+1}( \varrho ) \bigr\Vert ^{2} \,d\varrho \\& \quad \leq M^{2}\sum_{n=0}^{\infty } \bigl\Vert \bigl(W(h_{n+1})\bigr)^{-1} \bigr\Vert \bigl( \Vert p_{F}-p_{n} \Vert ^{2}+ \Vert q_{F}-q_{n} \Vert ^{2} \bigr) \\& \quad \leq M^{2}\sum_{n=0}^{\infty } \bigl\Vert \bigl(W(h_{n+1})\bigr)^{-1} \bigr\Vert \bigl[ \bigl( \bigl\Vert C(h_{n})p_{F}-p_{F} \bigr\Vert + \bigl\Vert S(h_{n})q_{F} \bigr\Vert +KMh_{n}\bigr)^{2} \\& \qquad {}+ \bigl( \bigl\Vert AS(h_{n})p_{F} \bigr\Vert +| \bigl\Vert C(h_{n})q_{F}-q_{F} \bigr\Vert +KMh_{n}\bigr)^{2} \bigr]. \end{aligned}$$

Since \(C(h_{0})p_{F}=p_{F}\) and \(KMh_{0}=0\), we obtain

$$\begin{aligned}& \int _{0}^{b} \bigl\Vert v(\varrho ) \bigr\Vert ^{2}\,d\varrho \\& \quad \leq M^{2}\sum _{n=1}^{ \infty } \bigl\Vert \bigl(W(h_{n+1}) \bigr)^{-1} \bigr\Vert . \bigl( \bigl\Vert C(h_{n})p_{F}-p_{F} \bigr\Vert + \bigl\Vert S(h_{n})q_{F} \bigr\Vert +KMh_{n}\bigr)^{2} \\& \qquad {}+M^{2}\sum_{n=1}^{\infty } \bigl\Vert \bigl(W(h_{n+1})\bigr)^{-1} \bigr\Vert . \bigl( \bigl\Vert AS(h_{n})p_{F} \bigr\Vert + \bigl\Vert C(h_{n})q_{F}-q_{F} \bigr\Vert +KMh_{n}\bigr)^{2} \\& \quad \leq M^{2}\sum_{n=1}^{\infty }(h_{n+1})^{(1+\alpha )} \bigl\Vert \bigl(W(h_{n+1})\bigr)^{-1} \bigr\Vert \biggl(\frac{h_{n}}{h_{n+1}} \biggr)^{2}. \biggl( \frac{1}{(h_{n+1})^{\alpha -1}} \biggr) \biggl( \frac{ \Vert C(h_{n})p_{F}-p_{F} \Vert }{h_{n}} \\& \qquad {}+\frac{ \Vert S(h_{n})q_{F} \Vert }{h_{n}}+KM \biggr)^{2} \\& \qquad {}+M^{2}\sum_{n=1}^{\infty }(h_{n+1})^{(1+\alpha )} \bigl\Vert \bigl(W(h_{n+1})\bigr)^{-1} \bigr\Vert \biggl(\frac{h_{n}}{h_{n+1}} \biggr)^{2} \biggl( \frac{1}{(h_{n+1})^{\alpha -1}} \biggr). \biggl( \frac{ \Vert AS(h_{n}) p_{F} \Vert }{h_{n}} \\& \qquad {}+\frac{ \Vert C(h_{n})q_{F}-q_{F} \Vert }{h_{n}}+KM \biggr)^{2} \\& \quad =4M^{2}\sum_{n=1}^{\infty }(h_{n+1})^{1+\alpha } \bigl\Vert \bigl(W(h_{n+1})\bigr)^{-1} \bigr\Vert \biggl(\frac{1}{(h_{n+1})^{\alpha -1}} \biggr) \biggl(\frac{h_{n}}{2}. \frac{2 \Vert C(h_{n})p_{F}-p_{F} \Vert }{h_{n}^{2}} \\& \qquad {}+\frac{ \Vert S(h_{n})q_{F} \Vert }{h_{n}}+KM \biggr)^{2} \\& \qquad {}+4M^{2}\sum_{n=1}^{\infty }(h_{n+1})^{1+\alpha } \bigl\Vert \bigl(W(h_{n+1})\bigr)^{-1} \bigr\Vert \biggl(\frac{1}{(h_{n+1})^{\alpha -1}} \biggr) \biggl( \frac{ \Vert S(h_{n})A p_{F} \Vert }{h_{n}} \\& \qquad {}+\frac{h_{n}}{2}\frac{2 \Vert C(h_{n})q_{F}-q_{F} \Vert }{h_{n}^{2}}+KM \biggr)^{2}. \end{aligned}$$

Since \(\lim_{\varrho \rightarrow 0} \frac{C(2t)p_{F}-p_{F}}{2t^{2}}=\hat{A}p_{F}\), using proposition (2) results in

$$\begin{aligned} \lim_{n\rightarrow \infty }\frac{2(C(h_{n})p_{F}-p_{F})}{h_{n}^{2}}= \hat{A}p_{F} \quad \text{and}\quad \lim_{n\rightarrow \infty } \frac{2(C(h_{n})q_{F}-q_{F})}{h_{n}^{2}}=\hat{A} q_{F}, \end{aligned}$$

which implies

$$\begin{aligned} \frac{2 \Vert C(h_{n})p_{F}-p_{F} \Vert }{h_{n}^{2}}\leq P \quad \text{and}\quad \frac{2 \Vert C(h_{n})q_{F}-q_{F} \Vert }{h_{n}^{2}}\leq P' \end{aligned}$$

for some \(P, P'>0\).

Then, by using assumption (II),

$$\begin{aligned} \int _{0}^{b} \bigl\Vert v(\varrho ) \bigr\Vert ^{2}\,d\varrho \leq & 4 M^{2} N\sum _{n=1}^{ \infty } \biggl(\frac{1}{(h_{n+1})^{\alpha -1}} \biggr) \biggl(P \frac{h_{n}}{2}+C+KM \biggr)^{2} \\ &{}+4 M^{2} N\sum_{n=1}^{\infty } \biggl( \frac{1}{(h_{n+1})^{\alpha -1}} \biggr) \biggl(L+P' \frac{h_{n}}{2}+KM \biggr)^{2}, \end{aligned}$$

where \(\|q_{F}\|\leq C\) and \(\|A p_{F} \|\leq L\) for some \(C, L>0\).

Since \(0<\alpha <1\), therefore the series

$$ \sum_{n=1}^{\infty }\frac{1}{(h_{n+1})^{\alpha -1}}, $$

\(\sum_{n=1}^{\infty } \frac{h_{n}}{(h_{n+1})^{\alpha -1}}\) and \(\sum_{n=1}^{\infty } \frac{h_{n}^{2}}{(h_{n+1})^{\alpha -1}}\) are convergent.

This shows that \(v\in U_{ad}\). Therefore, p is continuous and

$$\begin{aligned} \lim_{t\rightarrow b}p(\varrho )=\lim_{n\rightarrow \infty }p_{n}=p_{F} \quad \text{ and } \quad \lim_{t \rightarrow b}p'( \varrho )=\lim_{n\rightarrow \infty }q_{n}=q_{F}. \end{aligned}$$

Thus, \(p(b)=p_{F}\) and \(p'(b)=q_{F}\).

5 Example

Consider the partial differential equation:

$$\begin{aligned} \left . \textstyle\begin{array}{l} {} \frac{\partial ^{2}}{\partial t^{2}}u(\varrho ,y)=u_{xx}( \varrho ,y)+\gamma (\varrho ,y)+\sigma (\varrho ,u(\varrho ,y)); \\ u(\varrho ,0)=u(\varrho ,\pi )=0\quad \text{for}\ t>0. \end{array}\displaystyle \right \} \end{aligned}$$
(5.1)

Let \(\mathbb{X}=L_{2}[0,\pi ]\) and \(\gamma :[0,b]\times (0,\pi )\rightarrow \mathbb{R}\) be a continuous control function in ϱ. Define the operator \(A:D(A)\rightarrow \mathbb{X}\) by

$$\begin{aligned} A\eta =\eta ^{\prime \prime };\quad \eta \in D(A) \end{aligned}$$

with \(D(A)=\{\eta \in \mathbb{X}:\eta ,\eta ^{\prime } \text{ are absolutely continuous } \eta ^{\prime \prime }\in \mathbb{X},\eta (0)=\eta (\pi )=0\} \). A is an infinitesimal generator of a strongly continuous cosine family \(C(\varrho )\) on X. Moreover, the spectrum of A consists of eigenvalues \(-n^{2}\) for \(n=1,2,3,\ldots \) , with the associated normalized eigenvectors \(\eta _{n}(s)=(2/\pi )^{1/2}\sin (ns)\). In particular,

$$ A\eta = \sum_{n=1}^{\infty } \bigl(-n^{2}\bigr) (\eta ,\eta _{n}) \eta _{n},\quad \eta \in D(A). $$

The cosine function \(C(\varrho )\) and the sine function \(S(\varrho )\) are defined in the following way:

$$\begin{aligned}& C(\varrho )\eta = \sum_{n=1}^{+\infty }\cos n \varrho ( \eta ,\eta _{n})\eta _{n},\quad \eta \in \mathbb{X}, \\& S(\varrho )\eta = \sum_{n=1}^{+\infty } \frac{1}{n}\sin n\varrho (\eta ,\eta _{n})\eta _{n},\quad \eta \in \mathbb{X}, \end{aligned}$$

respectively. Define \(r:J \times \mathbb{X}\rightarrow \mathbb{X}\) by

$$\begin{aligned} r(\varrho ,u) (y)=\sigma \bigl(\varrho ,u(y)\bigr);\quad u\in \mathbb{X}, y\in [0, \pi ]. \end{aligned}$$

Let \(v:[0,b]\rightarrow \mathbb{U}\) be defined by

$$\begin{aligned} v(\varrho ) (y)=\gamma (\varrho ,y);\quad y\in [0,\pi ]. \end{aligned}$$

Define the controllability operator in the following way:

$$\begin{aligned} W(\varrho ) =& \int _{0}^{\varrho }S(s)BB^{*}S^{*}(s) \,ds,\quad 0\leq \varrho \leq b \\ =& \int _{0}^{\varrho }S(s)S^{*}(s)\,ds, \quad \text{as } B=I. \end{aligned}$$

Let us choose the system operator A in such a way that \(W(\varrho )\) is coercive for all \(0< \varrho \leq b\) and there exists some \(N\geq 0\) such that

$$ \varrho ^{1+\alpha } \bigl\Vert \bigl(W(\varrho )\bigr)^{-1} \bigr\Vert \leq N \quad \forall 0< \varrho \leq b \text{ and } 0\leq \alpha < 1. $$

Also, the nonlinear function σ can be considered satisfying conditions (III)–(V).

The considered PDE (5.1) can be converted to (1.1). Therefore, system (5.1) is exactly controllable to \(\operatorname{dom}(A)\).

6 Conclusion

In the present manuscript, the exact controllability to \(\operatorname{dom}(A)\) for a second-order semilinear system has been discussed using a new technique which avoids fixed point theorems and does not involve large estimations on the system constants. The control function has been formulated by the piecewise construction of steering controls. These results can be further extended for systems with delay or deviated arguments with impulses and fractional-order systems.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

References

  1. Bashirov, A.E.: On exact controllability of semilinear systems. Math. Methods Appl. Sci. 44(9), 7455–7462 (2021). https://doi.org/10.1002/mma.6265

    Article  MathSciNet  MATH  Google Scholar 

  2. Afshari, H., Shojaat, H., Moradi, M.S.: Existence of the positive solutions for a tripled system of fractional differential equations via integral boundary conditions. Results Nonlinear Anal. 4(3), 186–193 (2021). https://doi.org/10.53006/rna.938851

    Article  Google Scholar 

  3. Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 15, 286 (2015) http://ejde.math.txstate.edu

    MathSciNet  MATH  Google Scholar 

  4. Afshari, H., Gholamyan, H., Zhai, C.B.: New applications of concave operators to existence and uniqueness of solutions for fractional differential equations. Math. Commun. 25(1), 157–169 (2020)

    MathSciNet  MATH  Google Scholar 

  5. Abdeljawad, T., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11(5), 686 (2019). https://doi.org/10.3390/sym11050686

    Article  MATH  Google Scholar 

  6. Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652

    Article  MATH  Google Scholar 

  7. Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solutions of fractional differential equations via Geraghty type hybrid contractions. Appl. Comput. Math. 20(2), 313–333 (2021)

    Google Scholar 

  8. Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: Uniqueness of solution for higher-order nonlinear fractional differential equations with multi-point and integral boundary conditions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 2021, 155 (2021). https://doi.org/10.1007/s13398-021-01095-3

    Article  MathSciNet  MATH  Google Scholar 

  9. Sabetghadam, F., Masiha, H.P.: Fixed-point results for multi-valued operators in quasi-ordered metric spaces. Appl. Math. Lett. 25(11), 1856–1861 (2012). https://doi.org/10.1016/j.aml.2012.02.046

    Article  MathSciNet  MATH  Google Scholar 

  10. Masiha, H.P., Sabetghadam, F., Shahzad, N.: Fixed point theorems in partial metric spaces with an application. Filomat 27(4), 617–624 (2013)

    Article  MathSciNet  Google Scholar 

  11. Sabetghadam, F., Masiha, H.P., Altun, I.: Fixed-point theorems for integral-type contractions on partial metric spaces. Ukr. Math. J. 68, 940–949 (2016). https://doi.org/10.1007/s11253-016-1267-5

    Article  MathSciNet  MATH  Google Scholar 

  12. Baleanu, D., Jajarmi, A., Mohammadi, H., Rezapour, S.: A new study on the mathematical modelling of human liver with Caputo-Fabrizio fractional derivative. Chaos Solitons Fractals 134, 109705 (2020). https://doi.org/10.1016/j.chaos.2020.109705

    Article  MathSciNet  Google Scholar 

  13. Baleanu, D., Mohammadi, H., Rezapour, S.: Analysis of the model of HIV-1 infection of \(CD4^{+}\) T-cell with a new approach of fractional derivative. Adv. Differ. Equ. 2020, 71 (2020). https://doi.org/10.1186/s13662-020-02544-w

    Article  MathSciNet  Google Scholar 

  14. Mohammadi, H., Kumar, S., Rezapour, S., Etemad, S.: A theoretical study of the Caputo-Fabrizio fractional modeling for hearing loss due to Mumps virus with optimal control. Chaos Solitons Fractals 144, 110668 (2021). https://doi.org/10.1016/j.chaos.2021.110668

    Article  MathSciNet  Google Scholar 

  15. Rezapour, S., Mohammadi, H., Jajarmi, A.: A new mathematical model for Zika virus transmission. Adv. Differ. Equ. 2020, 589 (2020). https://doi.org/10.1186/s13662-020-03044-7

    Article  MathSciNet  Google Scholar 

  16. Rezapour, S., Henriquez, H.R., Vijayakumar, V., Nisar, K.S., Shukla, A.: A note on existence of mild solutions for second-order neutral integro-differential evolution equations with state-dependent delay. Fractal Fract. 5(3), 126 (2021). https://doi.org/10.3390/fractalfract5030126

    Article  Google Scholar 

  17. Rezapour, S., Imran, A., Hussain, A., Martinez, F., Etemad, S., Kaabar, M.K.A.: Condensing functions and approximate endpoint criterion for the existence analysis of quantum integro-difference FBVPs. Symmetry 13(3), 469 (2021). https://doi.org/10.3390/sym13030469

    Article  Google Scholar 

  18. Rezapour, S., Azzaoui, B., Tellab, B., Etemad, S., Masiha, H.P.: An analysis on the positivesSolutions for a fractional configuration of the Caputo multiterm semilinear differential equation. J. Funct. Spaces 2021, Article ID 6022941 (2021). https://doi.org/10.1155/2021/6022941

    Article  MATH  Google Scholar 

  19. Baleanu, D., Etemad, S., Rezapour, S.: On a fractional hybrid integro-differential equation with mixed hybrid integral boundary value conditions by using three operators. Alex. Eng. J. 59(5), 3019–3027 (2020). https://doi.org/10.1016/j.aej.2020.04.053

    Article  Google Scholar 

  20. Panda, S.K., Karapinar, E., Atangana, A.: A numerical schemes and comparisons for fixed point results with applications to solutions of Volterra integral equations in dislocated extended b-metric space. Alex. Eng. J. 59(2), 815–827 (2020). https://doi.org/10.1016/j.aej.2020.02.007

    Article  Google Scholar 

  21. Hazarika, B., Karapinar, E., Arab, R., Rabbani, M.: Metric-like spaces to prove existence of solution for nonlinear quadratic integral equation and numerical method to solve it. J. Comput. Appl. Math. 328, 302–313 (2018). https://doi.org/10.1016/j.cam.2017.07.012

    Article  MathSciNet  MATH  Google Scholar 

  22. Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo-Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018). https://doi.org/10.1186/s13661-018-1008-9

    Article  MathSciNet  MATH  Google Scholar 

  23. Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo-Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017, 145 (2017). https://doi.org/10.1186/s13661-017-0867-9

    Article  MathSciNet  MATH  Google Scholar 

  24. Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo-Fabrizio derivation. Bound. Value Probl. 2019, 79 (2019). https://doi.org/10.1186/s13661-019-1194-0

    Article  MathSciNet  Google Scholar 

  25. Samei, M.E., Rezapour, S.: On a system of fractional q-differential inclusions via sum of two multi-term functions on a time scale. Bound. Value Probl. 2020, 135 (2020). https://doi.org/10.1186/s13661-020-01433-1

    Article  MathSciNet  Google Scholar 

  26. Rezapour, S., Samei, M.E.: On the existence of solutions for a multi-singular pointwise defined fractional q-integro-differential equation. Bound. Value Probl. 2020, 38 (2020). https://doi.org/10.1186/s13661-020-01342-3

    Article  MathSciNet  Google Scholar 

  27. Baleanu, D., Etemad, S., Rezapour, S.: A hybrid Caputo fractional modeling for thermostat with hybrid boundary value conditions. Bound. Value Probl. 2020, 64 (2020). https://doi.org/10.1186/s13661-020-01361-0

    Article  MathSciNet  Google Scholar 

  28. Fattorini, H.O.: Second Order Linear Differential Equations in Banach Spaces. North-Holland, Amsterdam (1995)

    Google Scholar 

  29. Neshati, J., Masiha, H.P., Jafarian, M.: Electrochemical noise analysis for estimation of corrosion rate of carbon steel in crude oil. Anti-Corros. Methods Mater. 54(1), 27–33 (2007). https://doi.org/10.1108/00035590710717366

    Article  Google Scholar 

  30. Neshati, J., Masiha, H.P., Mahjani, M.G., Jafarian, M.: Electrochemical noise analysis for estimation of corrosion rate of carbon steel in crude oil. Corros. Eng. Sci. Technol. 42(4), 371–376 (2007). https://doi.org/10.1179/174327807X214879

    Article  Google Scholar 

  31. Kalman, R.: Lectures on Controllability and Observability. Springer, Berlin (2010). https://doi.org/10.1007/978-3-642-11063-4_1

    Book  MATH  Google Scholar 

  32. Arthi, G., Balachandran, K.: Controllability of second-order impulsive evolution systems with infinite delay. Nonlinear Anal. Hybrid Syst. 11, 139–153 (2014). https://doi.org/10.1016/j.nahs.2013.08.001

    Article  MathSciNet  MATH  Google Scholar 

  33. Sukavanam, S., Sukavanam, N.: Controllability of second-order systems with nonlocal conditions in Banach spaces. Numer. Funct. Anal. Optim. 35(4), 423–431 (2014). https://doi.org/10.1080/01630563.2013.814067

    Article  MathSciNet  MATH  Google Scholar 

  34. Leiva, H.: Rothe’s fixed point theorem and controllability of semilinear nonautonomous systems. Syst. Control Lett. 67, 14–18 (2014). https://doi.org/10.1016/j.sysconle.2014.01.008

    Article  MathSciNet  MATH  Google Scholar 

  35. Bashirov, A.E., Mahmudov, N.I.: On concepts of controllability for deterministic and stochastic systems. SIAM J. Control Optim. 37(6), 1808–1821 (1999). https://doi.org/10.1137/S036301299732184X

    Article  MathSciNet  MATH  Google Scholar 

  36. Chalishajar, D.N.: Controllability of mixed Volterra-Fredholm-type integro-differential systems in Banach space. J. Franklin Inst. 344(1), 12–21 (2007). https://doi.org/10.1016/j.jfranklin.2006.04.002

    Article  MathSciNet  MATH  Google Scholar 

  37. Kavitha, K., Vijayakumar, V., Udhayakumar, R.: Results on controllability of Hilfer fractional neutral differential equations with infinite delay via measures of noncompactness. Chaos Solitons Fractals 139, 110035 (2020). https://doi.org/10.1016/j.chaos.2020.110035

    Article  MathSciNet  Google Scholar 

  38. Klamka, J.: Controllability of dynamical systems, a survey. Bull. Pol. Acad. Sci., Tech. Sci. 61(2), 335–342 (2013). https://doi.org/10.2478/bpasts-2013-0031

    Article  Google Scholar 

  39. Klamka, J., Babiarz, A., Niezbitowski, M.: Banach fixed-point theorem in semilinear controllability problems, a survey. Bull. Pol. Acad. Sci., Tech. Sci. 64(1), 21–35 (2016). https://doi.org/10.1515/bpasts-2016-0004

    Article  Google Scholar 

  40. Klamka, J., Wyrwal, J., Zawiski, R.: On controllability of second order dynamical systems, a survey. Bull. Pol. Acad. Sci., Tech. Sci. 65(3), 279–295 (2017). https://doi.org/10.1515/bpasts-2017-0032

    Article  Google Scholar 

  41. Naito, K.: Controllability of semilinear control systems dominated by the linear part. SIAM J. Control Optim. 25(3), 715–722 (1987). https://doi.org/10.1137/0325040

    Article  MathSciNet  MATH  Google Scholar 

  42. Raja, M.M., Vijayakumar, V., Udhayakumar, R., Zhou, Y.: A new approach on the approximate controllability of fractional differential evolution equations of order \(1 < r < 2\) in Hilbert spaces. Chaos Solitons Fractals 141, 110310 (2020). https://doi.org/10.1016/j.chaos.2020.110310

    Article  MathSciNet  Google Scholar 

  43. Shukla, A., Patel, R.: Controllability results for fractional semilinear delay control systems. J. Appl. Math. Comput. 65, 861–875 (2021). https://doi.org/10.1007/s12190-020-01418-4

    Article  MathSciNet  Google Scholar 

  44. Vijayakumar, V., Udhayakumar, R., Kavitha, K.: On the approximate controllability of neutral integro-differential inclusions of Sobolev-type with infinite delay. Evol. Equ. Control Theory 10(2), 271–296 (2021). https://doi.org/10.3934/eect.2020066

    Article  MathSciNet  Google Scholar 

  45. Kumar, V., Malik, M.: Total controllability and observability for dynamic systems with non-instantaneous impulses on time scales. Asian J. Control 23(2), 847–859 (2021). https://doi.org/10.1002/asjc.2268

    Article  Google Scholar 

  46. Vijayakumar, V., Murugesu, R., Poongodi, R., Dhanalakshmi, S.: Controllability of second order impulsive nonlocal Cauchy problem via measure of noncompactness. Mediterr. J. Math. 14(1), 1–23 (2017). https://doi.org/10.1007/s00009-016-0813-6

    Article  MathSciNet  MATH  Google Scholar 

  47. Vijayakumar, V., Murugesu, R., Selvan, M.T.: Controllability for a class of second order functional evolution differential equations without uniqueness. IMA J. Math. Control Inf. 36(1), 225–246 (2019). https://doi.org/10.1093/imamci/dnx048

    Article  MathSciNet  MATH  Google Scholar 

  48. Balachandran, K., Anthoni, S.M.: Controllability of second-order semilinear neutral functional differential systems in Banach spaces. Comput. Math. Appl. 41(10–11), 1223–1235 (2001). https://doi.org/10.1016/S0898-1221(01)00093-1

    Article  MathSciNet  MATH  Google Scholar 

  49. Haq, A., Sukavanam, N.: Controllability of second-order nonlocal retarded semilinear systems with delay in control. Appl. Anal. 99(16), 2741–2754 (2020). https://doi.org/10.1080/00036811.2019.1582031

    Article  MathSciNet  MATH  Google Scholar 

  50. Henriquez, H.R., Hernandez, E.: Approximate controllability of second-order distributed implicit functional systems. Nonlinear Anal., Theory Methods Appl. 70(2), 1023–1039 (2009). https://doi.org/10.1016/j.na.2008.01.029

    Article  MathSciNet  MATH  Google Scholar 

  51. Sukavanam, S., Tomar, N.K.: Mild solution and controllability of second-order non-local retarded semilinear systems. IMA J. Math. Control Inf. 37(1), 39–49 (2020). https://doi.org/10.1093/imamci/dny037

    Article  MathSciNet  MATH  Google Scholar 

  52. Mahmudov, N.I., Udhayakumar, R., Vijayakumar, V.: On the approximate controllability of second-order evolution hemivariational inequalities. Results Math. 75, 160 (2020). https://doi.org/10.1007/s00025-020-01293-2

    Article  MathSciNet  MATH  Google Scholar 

  53. Mahmudov, N.I., Vijayakumar, V., Murugesu, R.: Approximate controllability of second-order evolution differential inclusions in Hilbert spaces. Mediterr. J. Math. 13(5), 3433–3454 (2016). https://doi.org/10.1007/s00009-016-0695-7

    Article  MathSciNet  MATH  Google Scholar 

  54. Sakthivel, R., Mahmudov, N.I., Kim, J.H.: On controllability of second order nonlinear impulsive differential systems. Nonlinear Anal., Theory Methods Appl. 71(1–2), 44–52 (2009). https://doi.org/10.1016/j.na.2008.10.029

    Article  MathSciNet  MATH  Google Scholar 

  55. Shukla, A., Sukavanam, N., Pandey, D.N., Arora, U.: Approximate controllability of second-order semilinear control system. Circuits Syst. Signal Process. 35, 3339–3354 (2016). https://doi.org/10.1007/s00034-015-0191-5

    Article  MathSciNet  MATH  Google Scholar 

  56. Shukla, A., Patel, R.: Existence and optimal control results for second-order semilinear system in Hilbert spaces. Circuits Syst. Signal Process. 40, 4246–4258 (2021). https://doi.org/10.1007/s00034-021-01680-2

    Article  Google Scholar 

  57. Vijayakumar, V., Murugesu, R.: Controllability for a class of second-order evolution differential inclusions without compactness. Appl. Anal. 98(7), 1367–1385 (2019). https://doi.org/10.1080/00036811.2017.1422727

    Article  MathSciNet  MATH  Google Scholar 

  58. Vijayakumar, V., Udhayakumar, R., Dineshkumar, C.: Approximate controllability of second order nonlocal neutral differential evolution inclusions. IMA J. Math. Control Inf. 38(1), 192–210 (2021). https://doi.org/10.1093/imamci/dnaa001

    Article  MathSciNet  Google Scholar 

  59. Curtain, R.F., Zwart, H.J.: An Introduction to Infinite Dimensional Linear Systems Theory. Springer, New York (1995)

    Book  Google Scholar 

  60. Zhou, H.X.: Approximate controllability for a class of semilinear abstract equations. Asian J. Control 21(4), 551–565 (1983). https://doi.org/10.1137/0321033

    Article  MathSciNet  MATH  Google Scholar 

  61. Bashirov, A.E., Ghahramanlou, N., Lam, J.: On partial approximate controllability of semilinear systems. Cogent Eng. 1(1), 965947 (2014). https://doi.org/10.1080/23311916.2014.965947

    Article  Google Scholar 

  62. Travis, C.C., Webb, G.F.: Cosine families and abstract nonlinear second order differential equations. Acta Math. Acad. Sci. Hung. 32, 75–96 (1978). https://doi.org/10.1007/BF01902205

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The fifth author was supported by Azarbaijan Shahid Madani University. The authors express their gratitude to dear unknown referees for their helpful suggestions which improved the final version of this paper.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Kottakkaran Sooppy Nisar or Shahram Rezapour.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Consent for publication

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Arora, U., Vijayakumar, V., Shukla, A. et al. Results on exact controllability of second-order semilinear control system in Hilbert spaces. Adv Differ Equ 2021, 455 (2021). https://doi.org/10.1186/s13662-021-03620-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-021-03620-5

MSC

Keywords