Imaging flow cytometry methods for quantitative analysis of label-free crystalline silica particle interactions with immune cells

1.   Introduction

Impulsive differential equations (IDEs) are often used to simulate some evolutionary processes in the real world, such as shocks, population dynamics, harvesting. These evolutionary processes tend to have some sudden changes that are negligible compared to the whole duration of the process. The theory of IDEs has been widely used in mathematical modeling and has become an important research field in recent years. However, some dynamical behaviors of physical phenomena cannot be modeled by instantaneous IDEs, see ^[1,2,3,4,5].

Thus, Hernández and O'Regan ^[6] introduces a non-instantaneous impulses, a special and novel type of impulses, in the form of

where $A : D(A) \subset \mathbb{X} \rightarrow \mathbb{X}$ is the generator of a $C_{0}$-semigroup of bounded linear operators $\{T(\delta)\}_{\delta\geq0}$ defined on a Banach space $(\mathbb{X}, \|\cdot\|), \ \xi_{0} \in \mathbb{X}, \ 0 = \eta_{0} = \delta_{0} < \eta_{1} \leq \delta_{1} < \eta_{2} < \cdots < \eta_{l}\leq\delta_{l} \leq \eta_{l+1} = a$ are pre-fixed numbers, $h_{k} \in C((\eta_{k}, \delta_{k}] \times \mathbb{X}; \mathbb{X})$ for all $k = 1, ..., l$ and $g : [0, a] \times \mathbb{X} \rightarrow \mathbb{X}$ is a suitable function.

Wang and Fěckan ^[7] investigates the existence of mild solutions to nonlinear operator equations with non-instantaneous impulses. Malik and Kumar ^[8] consider a control system represented by a second-order IDEs and obtained the existence, uniqueness and stability of mild solution. Since non-instantaneous IDEs can model some physical phenomena that remain active in fixed time intervals, this has attracted extensive attention of many researchers. For detailed results, see ^{[9,10,11,12,13,14,15,16]}.

Furthermore, the complex case with infinitely many perturbation points in a finite interval, called Zeno behavior ^[17], cannot be modeled by IDEs. Consequently, Pandit et al. ^[18] and Sharma et al. ^[19] established an important class of differential equations, called measure differential equations (MDEs), to deal with this complex phenomenon. Thenceforth, in ^[20], the existence of regulated solutions for MDEs is obtained by utilizing fixed point theorem. Federson and Mesquita ^[21] investigated the Lyapunov stability for abstract MDEs on time scales. For detailed results, see ^{[18,22,23,24,25,26]}.

As we know, since controllability can be described as a qualitative property of a control system, it is of great interest to researchers ^{[1,27,28,29,30]}. A common way to study controllability problems is to transform it into fixed point problems for continuous operators in Banach spaces. For instance, Ankit and Rames ^[31] considered the approximate controllability results in the infinite dimensional space for non-autonomous evolution system with time delay from fixed point theorem. Zhao and Liu ^[32] investigated the existence and controllability of solutions for semilinear fractional control systems with finite delay via differentiable resolvent operators and Banach's fixed point theorem. In ^[1], by utilizing the fixed point theorem and fundamental solution, the approximate controllable result for nonlinear measure evolution system with time delay and non-instantaneous impulses was obtained.

More generally, by fixed point theorem, Cao and Sun ^[33] studies that the control system is exactly controllable, and its system form is

Subsequently, Liu et al. ^[34] considered fractional evolution equations with state-dependent delay as follows

where $^{c}D^{\alpha}$ is Caputo derivative. By utilizing the Kuratowski measure of noncompactness and Mönch fixed point theorem, the exact controllability was investigated.

Wang et al. ^[35] studied the following non-instantaneous impulsive evolution system.

Using the Banach fixed point theorem, exact controllability was obtained.

But, Wang et al. achieved controllability by using control only at the last time subinterval rather than at each impulses point. In many engineering applications, it is necessary to control the system within each impulse time interval. So, we introduce a stronger concept of exact controllability, namely total controllability. This control will be applied to each subinterval. Moveover, many physical phenomena, such as the lateral motion of stretchable beams and the vibration of hinged rods, can be modeled with partial differential equations (PDEs). These PDEs can be formulated as abstract second-order IDEs in the infinite dimensional spaces. So, it is necessary to study such systems. For detailed results, see ^{[8,9,10,31,36]}.

Inspired by the above discussion, this manuscript will focus on the controllability of second-order non-instantaneous impulsive measure evolution systems with state-dependent delay and non-autonomous conditions in a Banach space ($\mathbb{X}$, $\|\cdot\|$), which is of form

where $J = [0, b]$, $\phi\in\mathbb{B}_{h}$, $\mathbb{B}_{h}$ is a phase space, which will be introduced in Section 2. $0 = \theta_{0} < \eta_{1} < \eta_{2} < \cdots < \eta_{k} < \eta_{k+1} = b$, $\theta_{i}\in(\eta_{i}, \eta_{i+1})$ and $v^{+}_{i}$, $v^{-}_{i}$ exist for $i = 1, 2, \ldots, k$ with $v(\eta^{-}_{i}) = v(\eta_{i})$. $F: J\times \mathbb{B}_{h}\times \mathbb{B}_{h}\rightarrow \mathbb{X}$. The family of linear operators $\{A(\eta) : \eta \in J\}$ is closed and domain is dense in $\mathbb{X}$. The function $v_{\eta}:(-\infty, 0]\rightarrow \mathbb{X}$ defined by $v_{\eta}(\nu) = v(\eta+\nu), \ \nu\in(-\infty, 0]$ which belongs to $\mathbb{B}_{h}$. The distributional derivative of the solution $v$ and the function $\mu$ are denoted by $dv$ and $d\mu$, respectively, where function $\mu : J \rightarrow \mathbb{R}$ is left continuous nondecreasing. The control function $z(\cdot)\in HSL_{\mu}^{2}(J; \mathbb{\mathbb{U}})$, where $HLS_{\mu}^{2}(J; \mathbb{U})$ will be introduced in the next Section. $\rho$: $J\times \mathbb{B}_{h}\rightarrow (-\infty, b]$ is a continuous function. The linear operator $B:\mathbb{U}\rightarrow \mathbb{X}$ is bounded. The function $\mathcal{H}_{i}: (\eta_{i}, \theta_{i}]\times \mathbb{X}\rightarrow \mathbb{X}$ and their derivatives $\mathcal{H}'_{i}: (\eta_{i}, \theta _{i}]\times \mathbb{X}\rightarrow \mathbb{X}$ represent the non-instantaneous impulses for $i = 1, 2\ldots k$. $\mathbb{G}v_{\rho(\eta, v_{\eta})}: = { } \int_{0}^{\eta}H(\eta, \theta)v_{\rho(\theta, v_{\theta})}d\theta$ is a Volterra integral operator with an integral kernel $H\in C(\Omega, \mathbb{R}^{+})$, $\Omega = \{(\eta, \theta) : 0\leq \eta\leq \theta\leq b\}$.

The main contributions, significance and novelties of this article are as follows:

● The existence and total controllability of solution for (1.1) are obtained by employing the Mönch fixed point theorem and the theory of strongly continuous cosine family.

● It is well known that systems with Zeno trajectories often appear in game theory, non-smooth mechanics, etc (see ^[17,37]). MDEs are often used to model such systems. It may exhibit an infinite number of discontinuities within a finite interval, $\mu$ is a function of bounded variation.

● We point out that if $\mu$ is the sum of an absolutely continuous and a step function, then system (1.1) implies a complex situation that exhibits both non-instantaneous and instantaneous impulses. Few existing article have investigated such cases, which is an approach for solving hybrid systems separately.

● It is important to note that the obtained controllability results reach the desired state not only at the end of the time interval but also at each impulse point $\eta_{i+1}$.

● As ^[1,36] said, MDEs are more extensive than ODEs. In fact, when a system described by

is acted upon by perturbation, the perturbed system is generally given by

where the perturbation term $G(t, x)$ is assumed to be continuous or integrable and as such the state of the system changes continuously with respect to time.

But in physical systems one cannot expect the perturbations to be well-behaved and it is therefore important to consider the case when the perturbations are impulsive. This will give rise to equations of the form

where $dx$ and $d\mu$ denote the distributional derivatives of the solution $x$ and the function $\mu$, respectively. If $\mu$ is a function of bounded variation, $d\mu$ can be identified with a Stieltjes measure and will have the effect of suddenly changing the state of the system at the points of discontinuity of $\mu$. Equations (1.2) is so called measure differential equations.

● The derived results are involving non-instantaneous impulse and state-dependent delay; therefore, they improved and generalized the results of the paper of Cao and Sun ^[33]. Our findings are also generalizing the results of Liu et al. ^[34] for the case of control system with state-dependent delay.

● Finally, an example is used to verify the practical application of the conclusion.

The structure of this paper is as follows. In Section 2, the fundamental concepts, lemma, and preliminary knowledge are given which will be required for the later sections. We obtain the controllability results for system (1.1) by using the theory of cosine families and fixed point theorem in Section 3. Finally, in Section 4, an example to verify the usefulness of our abstract results.

2.   Preliminaries

In present section, we review some of the basic concepts, definitions and lemmas required.

Definition 2.1. ^[20] A function $F: [\xi, \zeta] \rightarrow \mathbb{X}$ is called regulated on $[\xi, \zeta]$, if the limits

exist and are finite for $\lambda \in[\xi, \zeta]$.

The space $G([\xi, \zeta]; \mathbb{X}) = \{F: [\xi, \zeta] \rightarrow \mathbb{X}\ |\ F\ \text{is regulated} \}$ is a Banach space with respect to the norm $\|F\|_{\infty} = { }\sup \limits_{\eta \in [\xi, \zeta]}\{\|F(\eta)\|\}$ (see ^[38]).

Lemma 2.2. ^[39] Let the functions $\mu:[\xi, \zeta]\rightarrow \mathbb{R}$ and $F:[\xi, \zeta] \rightarrow \mathbb{X}$ such that $\int_{\xi}^{\zeta} Fd\mu$ exists and $\mu$ is regulated. Then, for $\eta_{0}\in[\xi, \zeta]$, the function

is regulated.

Definition 2.3. ^[39] For any $\varepsilon > 0$, $\eta_{0}\in[\xi, \zeta]$, a set $\mathcal{A} \in G([\xi, \zeta]; \mathbb{X})$ is said to be equiregulated, if there exists a $\delta > 0$ such that

(ⅰ) if $v\in \mathcal{A}, \ \eta \in [\xi, \zeta]$, and $\eta_{0}-\delta < \eta < \eta_{0}$, then $\|v(\eta^{-}_{0})- v(\eta)\| < \varepsilon,$

(ⅱ) if $v\in \mathcal{A}, \ \eta \in [\xi, \zeta]$, and $\eta_{0} < \eta < \eta_{0}+\delta$, then $\|v(\eta)- v(\eta^{+}_{0})\| < \varepsilon.$

Lemma 2.4. ^[39] If a sequence $\{v_{n}\}^{\infty}_{n = 1}$ is equiregulated and converges pointwise in $\mathbb{X}$, then it converges uniformly in $G([\xi, \zeta]; \mathbb{X})$.

Definition 2.5. ^[20] A function $F:[\xi, \zeta] \rightarrow \mathbb{X}$ is said to be Henstock-Lebesgue-Stieltjes integrable on $[\xi, \zeta)$ if there exists a map denoted by $\int^{\cdot}_{0}:[\xi, \zeta]\rightarrow \mathbb{X}$ such that for every $\varepsilon > 0$, there is a gauge $\delta$ on $[\xi, \zeta)$ with

for every $\delta$-fine partition $\left\{\left(\left[\eta_{i-1}, \eta_{i}\right), \lambda_{i}\right): i = 1, 2, \ldots, n\right\}$ of $[\xi, \zeta)$.

Let $HLS_{\mu}^{p}([\xi, \zeta]; \mathbb{X})$ be a $p$-order Henstock-Lebesgue-Stieltjes integrable regulated function space with respect to $\mu$, with norm defined as

Next, we define

where the function $h:(-\infty, 0] \rightarrow (0, \infty)$ is continuous with $\int^{0}_{-\infty} h(\theta) d \theta < \infty$.

By ^[40], we know that $\mathbb{B}_{h}$ is a Banach space with norm

Lemma 2.6. ^[40] Let $v\in \mathbb{B}_{h}$; then, $v_{\eta}\in \mathbb{B}_{h}$ for each $\eta\in J$. In addition,

where ${ } l = \int^{0}_{-\infty} h(\theta) d \theta < \infty$.

The Kuratowski measure of noncompactness $\alpha(\cdot)$ on bounded subset $S$ of $\mathbb{X}$ is defined as

The Kuratowski measure of noncompactness of a bounded set in $G(J; \mathbb{X})$ and $\mathbb{X}$ are denoted by $\alpha_{G}(\cdot)$, and $\alpha(\cdot)$, respectively.

Lemma 2.7. ^[41] Let $\mathcal{S}\subset HLS^{1}_{\mu}(J; \mathbb{X})$ be a countable set and function $\nu\in HLS^{1}_{\mu}(J; \mathbb{R}^{+})$ such that $\|r(\eta)\|\leq \nu(\eta)$ holds for all $r\in \mathcal{S}$ and $\eta\in J$. Then,

where $\mathcal{S}(\eta) = \{y(\eta): y\in\mathcal{S}, \ \eta\in J \}$.

Lemma 2.8. ^[34] Let $\mathcal{A}\subset G(J; \mathbb{X})$ be equiregulated and bounded on $J$. Then,

Theorem 2.9. ^[34] (Mönch fixed point theorem) Let $E\subset\mathbb{X}$ be a closed convex set where $\mathbb{X}$ is a Banach space. Assume that $T: E\rightarrow E$ is a continuous operator and satisfies the following properties:

Therefore, $T$ has a fixed point in $E$.

Now let us consider a second-order non-autonomous control system:

where $A(\eta)$: $D(A(\eta))\subset\mathbb{ X} \rightarrow \mathbb{X}, \ \eta\in [0, b ]$ is a closed dense operator and $g : [0, b ] \rightarrow \mathbb{X}$ is an appropriate function. It can be known from ^[31,42] that before considering the existence of the solution of (2.1), we first discuss the existence of the evolution operator of the following homogeneous equation

Suppose the domain of $A(\eta)$ is a dense subspace $D$ in $\mathbb{X}$ and independent of $\eta$. $\eta \rightarrow A(\eta)v$ is a continuous function for each $v \in D$.

For further study, we first review the definition of evolution operator.

Definition 2.10 The bounded linear operator $\Phi(\eta, \theta): J\times J\rightarrow L(\mathbb{X})$ is said to be the evolution operator of (2.2) if the following properties are satisfied:

(B1) For each $v \in \mathbb{X}$, the operator $(\eta, \theta) \rightarrow \Phi(\eta, \theta)v$ is continuously differentiable and

(ⅰ)

(ⅱ) $\Phi(\theta, \theta) = 0,$ for every $\theta\in [0, b]$.

(B2) If $v \in D(A)$, then $\Phi(\eta, \theta)v \in D(A)$ for $\theta, \eta \in [0, b ]$, the mapping $(\eta, \theta)\in [0, b ]\times[0, b ] \rightarrow \Phi(\eta, \theta)v \in \mathbb{X}$ is of class $C^{2}$ and

(ⅰ) ${ } \left.\frac{\partial^{2}}{\partial \theta\partial \eta} \Phi(\eta, \theta) v\right|_{\eta = \theta} = 0$,

(ⅱ) ${ } \frac{\partial^{2}}{\partial \eta^{2}} \Phi(\eta, \theta) v = A(\eta) \Phi(\eta, \theta) v$,

(ⅲ) ${ } \frac{\partial^{2}}{\partial \theta^{2}} \Phi(\eta, \theta) v = \Phi(\eta, \theta) A(\theta) v$,

(B3) For all $\eta, \theta \in[0, b]$, if $v \in D(A)$, then ${ } \frac{\partial}{\partial \theta} \Phi(\eta, \theta) v \in D(A)$. Further, there exist ${ } \frac{\partial^{2}}{\partial \eta^{2}} \frac{\partial}{\partial \theta} \Phi(\eta, \theta) v$, ${ } \frac{\partial^{2}}{\partial \theta^{2}} \frac{\partial}{\partial \eta} \Phi(\eta, \theta) v$ and

(ⅰ) ${ } \frac{\partial}{\partial \theta} \Phi(\eta, \theta) v \in D(A)$, then ${ } \frac{\partial^{2}}{\partial \eta^{2}} \frac{\partial}{\partial \theta} \Phi(\eta, \theta) v = A(\eta) \frac{\partial}{\partial \theta} \Phi(\eta, \theta) v$,

(ⅱ) ${ } \frac{\partial}{\partial \theta} \Phi(\eta, \theta) v\in D(A)$, then ${ } \frac{\partial^{2}}{\partial \theta^{2}} \frac{\partial}{\partial \eta} \Phi(\eta, \theta) v = \frac{\partial}{\partial \eta} \Phi(\eta, \theta) A(\theta) v$, and the function ${ } (\eta, \theta) \in[0, b] \times[0, b] \rightarrow A(\eta) \frac{\partial}{\partial \theta} \Phi(\eta, \theta) v$ is continuous.

Let the evolution operator $\Phi(\eta, \theta)$ be associated with the operator $\{A(\eta):\eta\in J \}$. For simplicity, one can also consider that

There exist constants $M$ and $N$ such that

If function $g : J \rightarrow \mathbb{X}$ is integrable, then the solution $v$ of the system (2.1) is given by

Definition 2.11. The bounded linear operator parameter family $\{\Psi(\eta)\}_{\eta\in \mathbb{R}}$ that maps from Banach space $\mathbb{X}$ to itself is called the strongly continuous cosine family, if and only if

(ⅰ) for all $\theta, \eta\in \mathbb{R}$, $\Psi(\theta+\eta)+\Psi(\theta-\eta) = 2\Psi(\theta)\Psi(\eta)$,

(ⅱ) $\Psi(0) = \mathbb{I}$ (identity operator),

(ⅲ) for each fixed point $v \in \mathbb{X}$, $\Psi(\eta)v$ is continuous in $\eta$ on $\mathbb{R}$.

Let $A : D(A)\subset \mathbb{X} \rightarrow \mathbb{X}$ be the infinitesimal generator of strongly continuous cosine family $\{\Psi(\eta)\}_{\eta\in \mathbb{R}}$, where domain $D(A)$ is defined as

Obviously, for $v \in D(A)$, it is a Banach space endowed with the norm $\|v\|_{A} = \|v\| + \|Av\|$.

In addition, the family of sine operators $\{\Phi(\eta)\}_{\eta\in \mathbb{R}}$ corresponding to $\{\Psi(\eta)\}_{\eta\in \mathbb{R}}$ is defined as

Let

which is a Banach space endowed with norm $\|v\|_{\mathcal{D}} = \|v\|+ \sup_{0\leq \eta\leq1} \|A\Phi(\eta)v\|$, $v \in \mathcal{D}$ (see ^[43]).

Based on the works in ^[36], we consider the following system

where $\widetilde{A}(\cdot)$: $\mathbb{R} \rightarrow L(\mathcal{D}, \mathbb{X})$ such that for each $v \in \mathcal{D}$, the map $\eta \rightarrow \widetilde{A}(\eta)v$ is a continuously differentiable function in $\mathbb{X}$. Similar to Eq (2.3), we can also obtain that the mild solution of system (2.4) defined as

For more theoretical results on second-order differential equations, see ^{[31,36,42,43]} and its cited references.

Now, we are ready to introduce the concept of a mild solution of the system (1.1) as follows.

Definition 2.12. A function $v\in G(J, \mathbb{X})$ is said to be a mild solution of the system (1.1) if $v(0) = \phi(0)$, and it satisfies the following equation

3.   Main results

This section mainly studies the controllability of (1.1).

Definition 3.1. System (1.1) is said to be exactly controllable on $J$ if for the initial state $v(0)\in \mathbb{B}_{h}$ and any final state $v_{b}\in \mathbb{X}$, there is a control $z\in HLS_{\mu}^{2}(J; \mathbb{U})$ such that the mild solution $v(\eta)$ of (1.1) satisfies $v(b) = v_{b}$.

Definition 3.2. System (1.1) is said to be totally controllable on $J$ if for the initial state $v(0)\in \mathbb{B}_{h}$ and any final state $v_{\eta_{i+1}}\in \mathbb{X}$ of each sub-interval $[\theta_{i}, \eta_{i+1}]$ for $i = 0, 1, 2, ..., k$, there is a control $z\in HLS_{\mu}^{2}(J; \mathbb{U})$ such that the mild solution $v(\eta)$ of (1.1) satisfies $v(\eta_{i+1}) = v_{\eta_{i+1}}$.

Remark 3.3. If the total controllability of (1.1) is established, obviously it is exactly controllable. On the contrary, it does not hold.

The following assumptions are introduced to demonstrate the main results of this paper.

(H1) $A(\eta)$ is the infinitesimal generator of a strongly continuous cosine family $\Psi(\eta, \theta)$.

(H2) The function $F: J \times \mathbb{B}_{h} \times \mathbb{B}_{h}\rightarrow \mathbb{X}$ satisfies that:

(ⅰ) For each $\eta \in J$, $F (\eta, \cdot, \cdot) : \mathbb{B}_{h} \times\mathbb{B}_{h}\rightarrow \mathbb{X}$ is a continuous function.

(ⅱ) For $\eta\in J$, the map $\eta\rightarrow F(\eta, v_{\rho(t, v_{\eta})}, \mathbb{G}v_{\rho(\eta, v_{\eta})})$ and $\eta \mapsto F(\theta, v_{\eta})$ are measurable and continuous on $J$, respectively.

(ⅲ) There exists a function $\psi_{r} \in HLS_{\mu}^{2}\left(J; \mathbb{R}^{+}\right)$, $r > 0$ such that

and

where ${ } H^{\ast}: = \sup_{\eta\in J}\int_{0}^{\eta}H(\eta, \theta)d\theta$.

(ⅳ) There exists $l_{0}\in HLS_{\mu}^{1}(J, \mathbb{R}^{+})$ such that for any bounded subsets $\mathcal{S}_{1}, \mathcal{S}_{2}\subset \mathbb{B}_{h}$,

(H3) For each $i = 0, 1, ..., k$, the linear operator $\mathcal{L}_{i+1}: HLS^{2}_{\mu}([\theta_{i}, \eta_{i+1}]; \mathbb{X})\rightarrow \mathbb{X}$ defined by

is such that

(ⅰ) $\mathcal{L}_{i+1}$ has an invertible operator $\mathcal{L}_{i+1}^{-1}$, which take values in $HLS^{2}_{\mu}([\theta_{i}, \eta_{i+1}]; \mathbb{X})\setminus\ker\mathcal{L}_{i+1}$ and there exists $M_{i+1}$ such that $\|\mathcal{L}_{i+1}^{-1}\| \leq M_{i+1}$.

(ⅱ) There exists $l_{i+1}\in HLS_{\mu}^{1}(J, \mathbb{R}^{+})$ such that

for any countable subset $\mathcal{S}\subset \mathbb{X}$.

(H4) The operator $\mathcal{H}_{i}:[\eta_{i}, \theta_{i}]\times \mathbb{X}\rightarrow \mathbb{X} (i = 1, 2, 3..., k)$ is continuous and there exist constants $a_{i}, b_{i}$ such that

for any countable subset $\mathcal{S}\subset \mathbb{X}$.

(H5) The operator $\mathcal{H}'_{i}:[\eta_{i}, \theta_{i}]\times \mathbb{X}\rightarrow \mathbb{X} (i = 1, 2, 3..., k)$ is continuous and there exist constants $c_{i}, d_{i}$ such that

for any countable subset $\mathcal{S}\subset \mathbb{X}$.

Remark 3.4. It can be seen from the discussion in Section 2 that $A$ produces a strongly continuous cosine family and corresponding strongly continuous sine family. This can represent a mild solution of system (1.1). Then, we can define an operator $T$. (H2) requires $F$ to be continuously measurable, ensuring that the operator $T$ is continuous. Assumptions (H3), we defined an invertible linear operator $\mathcal{L}_{i+1}$, which will be used to define the control function $z_{v}(\eta)$. Assumptions (H4), (H5) ensures that the operator $T$ is continuously bounded, which helps us to discuss the controllability of the system (1.1) in a closed convex set.

For simplicity, for $r > 0$, one can define $E_{r} = \{v\in G(J; \mathbb{X}): \|v\|_{\infty}\leq r\}$. Moreover, let

Lemma 3.5. Under assumptions (H1)–(H5), the control function has estimates $\|z\|\leq Q$, namely,

where $r^{\ast} = l(\|\phi(0)\|_{\mathbb{B}_{h}}+r)$.

Proof. For any $v_{\eta_{i+1}}\in \mathbb{X}$, one can define the control function

where $\mathcal{H}_{0}((0, v(0)) = \phi(0), \ \mathcal{H}'_{0}((0, v(0)) = \omega$.

From Lemma 2.6, for every $v\in E_{r}$, one can obtain that

Then, from (3.1), we have

Thus, proof is done.

Theorem 3.6. Suppose that (H1)–(H5) are satisfied. Then, system (1.1) is totally controllable on $J$ provided that

and

Proof. From (3.1), the operator $T$ is defined as follows:

Next, we divide the proof into four steps.

Step 1. We show that there is a constant $r > 0$ such that $T(E_{r})\subset E_{r}$.

If it is not true, for any $r > 0$, there exists $v^{r} \in E_{r}$ such that $\|Tv^{r}\|_{\infty} > r$.

For $\eta\in [0, \eta_{1}]$, we get

For $\eta\in(\eta_{i}, \theta_{i}](i = 1, 2, 3...k)$, then by (H4), we have

For $\eta\in(\theta_{i}, \eta_{i+1}](i = 1, 2, 3...k)$, Lemma 3.5 and (3.5) yield the following estimations

Combining (3.6)–(3.8), we have

Dividing by $r$ and taking upper limit as $r\rightarrow \infty$, one can know that

which is a contradiction to (3.3). Hence, there exists a number $r$ such that $T(E_{r})\subset E_{r}$.

Step 2. To prove that $T$ is continuous on $E_{r}$.

For this, we take a sequence $\{v^{n}\}_{n = 1}^{\infty}\subset E_{r}$ such that

By Lemma 2.6, for $\eta\in J$, we can easily know

In addition, for $\eta\in J$, one can obtain that

From (3.1), we have

By (H2), (H4), (H5), and Lemma 2.6, we get

and

Thus, by the dominated convergence theorem, and (H2)–(H5), we conclude

So, $T$ is a continuous operator on $E_{r}$.

Step 3. Claim that $T$ is equiregulated.

For any $\eta_{\ast}\in(\theta_{i}, \eta_{i+1})$, one can get that

It is easy to know that $A_{1}, A_{2}, A_{4}\rightarrow0$ independently of $v$ as $\eta\rightarrow \eta^{+}_{\ast}$ since $\Phi(\eta, \theta)$ and $\Psi(\eta, \theta)$ are strongly continuous. Let

Then, by Lemma 2.2, $\mathfrak{K}(\eta)$ is a regulated function. Then,

Similarly, $A_{5}\rightarrow0$ as $\eta\rightarrow \eta^{+}_{\ast}$.

According to the above discussion, it is also easy to derive

for every $\eta_{\ast}\in(\theta_{i}, \eta_{i+1}]$.

For any $\eta_{\ast}\in[0, \eta_{1}]$, the proof is obviously similar to the aforementioned discussion, so we omit it. Therefore, $T(E_{r})$ is equiregulated.

Step 4. Claim that if $C\subset E_{r}$ is countable and there exists $w_{0}\in E_{r}$ such that

then $C$ is relatively compact.

Without loss of generality, suppose $C = \left\{v^{n}\right\}_{n = 1}^{\infty} \subset E_{r}$.

Then by (H2) and (H3), for each $\eta\in J$, we obtain

By (H2), (H3), we have

For any $\eta\in(\theta_{i}, \eta_{i+1}](i = 1, 2, 3...k)$, by using (H2)–(H5), we have

From Lemma 2.8, one can get that

This together with (3.12) and (3.16) guarantees that

which means that $C = \{v^{n}\}_{n = 1}^{\infty}$ is relatively compact.

Hence, according to Theorem 2.9, it is easy to know that the operator $T$ has a fixed point. Then, the system (1.1) is totally controllable. So the proof is complete.

4.   Application

In this section we present the application of the obtained theoretical results.

Example: Consider the following second-order control system:

where $\eta\in J = [0, 1], \ x\in[0, 2\pi]$. Moreover, the function $\sigma_{i}$: $(0, \infty)\rightarrow (0, \infty)$ is continuous for $i = 1, 2$.

Conclusion: System (4.1) is totally controllable on $J$.

Proof. System (4.1) can be regarded as a system of the form (1.1), where $b = 1, \ B = \nu,$ and

Obviously, $\mu : J \rightarrow \mathbb{R}$ is left continuous and nondecreasing.

Define

According to the research of ^[31] and ^[36], first let $\mathbb{X} = L^{2}(\mathbb{L}; \mathbb{C})$, where $\mathbb{L} = \mathbb{R}\setminus2\pi \mathbb{Z}$ is a group. We take $A$ as the infinitesimal generator of a cosine family $\{\Psi(\eta)\}_{\eta\in \mathbb{R}}$ with associated sine family $\{\Phi(\eta)\}_{\eta\in \mathbb{R}}$. We denote $A(\eta) = A+ \widetilde{A}(\eta)$, where $\widetilde{A}(\eta): D(\widetilde{A}(\eta))\rightarrow \mathbb{X}$ is a closed linear operator.

We consider the operator $Af (\zeta) = f''(\zeta)$ having domain $H^{2}(\mathbb{L}; \mathbb{C})$, where $H^{2}(\mathbb{T}; \mathbb{C})$ represents the Sobolev space of $2\pi$ periodic 2-integrable functions from $\mathbb{R}$ to $\mathbb{C}$. Moreover, $A$ has eigenvalues $-\kappa^{2}(\kappa\in \mathbb{N})$, with corresponding eigenfunction $\vartheta_{\kappa}(\zeta) = { } \sqrt{\frac{1}{2\pi}}e^{int}\ (\kappa\in \mathbb{Z})$ is an orthonormal basis. Furthermore,

The cosine function $\Psi(\eta)$ is given by

with associated sine function $\Phi(\eta)$

It is clearly seen that the family $\{\Psi(\eta)\}_{\eta\in \mathbb{R}}$ is uniformly bounded by 1.

Next, for $x\in (0, 2\pi)$, the linear operator $\mathcal{L}_{1}$ is defined as follows

Similarly, the linear operator $\mathcal{L}_{2}$ is defined as follows

It is easy to see that $\|{ } \mathcal{L}_{1}\|\leq \frac{\mu}{2}$, $\|{ } \mathcal{L}_{2}\|\leq \frac{\mu}{3}$. Hence, we know that ${ } \widetilde{M}\leq \frac{\mu}{2}$.

Since

(H4) and (H5) are satisfied with $a_{1} = \frac{1}{4}, \ c_{1} = \frac{1}{4}$.

Set, $h(\theta) = e^{2\theta}, \ \theta < 0$, then

The norm $\|\cdot\|_{\mathbb{B}_{h}}$ is defined as

Let $\rho(\eta, \phi) = \eta-\sigma_{1}(\eta)\sigma_{2}(\|\phi(0)\|)$. One can get that,

We obtain, for $\|\phi\|\leq r$,

We take ${ } \psi_{r}(\eta) = \frac{r}{8}+\frac{r\eta^{2}}{8}$ with ${ } \gamma = \frac{1}{4}$, thus (H2) is satisfied.

Finally, if $\nu$ is sufficiently small such that

Therefore, it is easy to know from Theorem 3.6 that system (4.1) is totally controllable.

5.   Conclusions

This paper is mainly concerned with a class of non-autonomous second-order measure evolution systems involving state-dependent delay and non-instantaneous impulses. We first give the definition of Henstock-Lebesgue-Stieltjes integral and phase space. Then, the existence of the mild solution of system (1.1) is obtained by using the integral equation given by the strongly continuous family of cosines. By using the Kuratowski measure of noncompactness and Mönch fixed point theorem, we obtain some sufficient conditions to ensure the total controllability of system (1.1). Finally, an illustrative example is given to show the practical usefulness of the analytical results.

Acknowledgments

This research was funded by National Natural Science Foundation of China: 62073202, Natural Science Foundation of Shandong Province: ZR2020MA007, Doctoral Research Funds of Shandong Management University: SDMUD202010, QiHang Research Project Funds of Shandong Management University: QH2020Z02.

Conflict of interest

The authors declared that they have no conflict of interest in this work.