Cell segmentation in fluorescence microscopy images based on multi-scale histogram thresholding

1.   Introduction

Chemostat models have been extensively studied in the literature. However, many issues still remain elusive and understudied. In particular, in this paper we will focus on the global stability of periodic solutions for chemostats described by the following family of delay differential equations with periodic inputs

whose detailed description will be given below.

The existence and uniqueness of periodic solutions for some cases of (1.1) and (1.2) has been recently addressed in ^[1] and generalized in ^[2,3]. Nevertheless, to the best of our knowledge, there are no results about the global stability for the periodic solutions mentioned above. The main contribution of this paper is to provide a set of sufficient conditions for global stability.

1.1.   Preliminaries

The chemostat is a continuous bioreactor where one or several microbial species are cultivated in an homogeneous liquid medium, which contains all the nutrients ensuring its growth with the exception of a specific one named the limiting substrate, or just substrate. There exists a vast literature devoted to both the modeling of the chemostat and its applications and the study of the arising dynamical issues. We would like to refer the reader to the seminal works ^[4,5,6] and the monographs ^[7,8,9] where more information on the subject can be found.

More specifically, the system of differential delay equations (1.1) describes the interaction between a limiting substrate whose concentration at time $t$ is denoted by $s(t)$ and one species of microbial biomass whose concentration at time $t$ is denoted by $x(t)$. Moreover, the initial conditions of (1.1) are described by the continuous function $\varphi\colon [-\tau, 0]\to [0, +\infty)$ and $x_{0}\geq 0$ in (1.2).

In the first equation of (1.1), the term $Ds^{0}(t)$ means that the limiting substrate is pumped inside the chemostat at a rate $D > 0$, with concentration described by a positive continuous and $\omega$–periodic function $t\mapsto s^{0}(t)$. On the other hand, the terms $-Ds(t)$ and $-Dx(t)$ in the first and second equation respectively, indicate that the mixture of microbial biomass and substrate is pumped outside at similar rate $D > 0$, which ensures a constant volume.

The consumption of the substrate is described by the term $\mu(s(t))x(t)$ in the first equation of (1.1), while the per–capita growth of the microbial biomass is described by the term $\frac{\dot{x}(t)}{x(t)} = \mu(s(t-\tau))$ in the second equation. The term $\mu(\cdot)$ denotes the uptake function, which makes a link between the process of consumption of substrate and its consequences on the microbial growth. In this context, the case $\tau = 0$ means that the consumption of substrate has an immediate effect on the microbial growth, while the case $\tau > 0$ refers to the existence of an interval of time $[0, \tau]$, which is necessary in order to metabolize the substrate.

We will assume that the uptake function $\mu\colon [0, + \infty) \to [0, +\infty)$ is the Monod function

Note that $\mu(0) = 0$ means that there is no microbial growth in the absence of substrate, while $\mu'(s) > 0$ states that the per–capita growth rate is an increasing function with respect to the substrate, which is upper bounded by the constant $\mu_m > 0$, namely, the maximal growth rate, and verifies

On the other hand, the constant $k_{s}$ is named as the half–saturation constant because $\mu(k_{s}) = \mu_{m}/2$. We refer the reader to ^[9] for further details.

Finally, observe for later use that

for all $a\geq 0$ and $b\geq 0$.

1.2.   Related models

System (1.1) encompasses two relevant particular cases: On one hand, when considering a constant input of nutrient $s^{0} > 0$, system (1.1) becomes the autonomous DDE system

which was introduced by Wangersky & Cunningham in ^[10], and initially studied by Caperon ^[11] and Thingstad ^[12]. The local asymptotic stability results for the equilibria are obtained in ^[13,14,15] by studying the roots of the characteristic quasipolynomial equation associated with the linear approximation of (1.6) around its positive equilibrium. The existence of periodic equations of (1.6) and related models has been addressed in ^[16,17], and we also refer to [9, Ch.10]. Sufficient conditions for global asymptotic stability have been obtained in ^[13,18,19] by constructing Lyapunov–Krasovskii functions.

When considering $\tau = 0$, system (1.1) becomes the nonautonomous ODE system

which has been employed, among other things, to emulate oscillations in marine ecosystems and to study optimization issues in periodically operating bioprocesses. We refer the reader to Section 2 of ^[1] and references therein for additional details.

The mathematical study of (1.7) has been carried out by a numerical approach ^[20], and also by the construction of Poincaré maps ^[21,22,23]. In order to study the existence of $\omega$–periodic solutions of (1.1) and (1.7), a pivotal tool is the study of the properties of the scalar equation

which corresponds to (1.1) and (1.7) in the absence of microbial biomass. It is well known that (1.8) has a globally attractive, positive, and $\omega$–periodic solution $t \mapsto \Sigma^{*}(t)$, which is named as the washout solution:

In ^[22,23], Wolkowicz and Zhao proved that the following average inequality involving the uptake function and the washout solution

implies the existence, uniqueness, and attractiveness of a nontrivial $\omega$–periodic solution of the undelayed system (1.7), which will be denoted by $t\mapsto (s_{p}(t), x_{p}(t))$ throughout this article. Moreover, it is useful to recall that a direct consequence of the average inequality (1.10) is

The $\omega$–periodic DDE system (1.1) can be seen as the coupling of the autonomous DDE system (1.6) with the $\omega$–periodic ODE system (1.7). Nevertheless, in comparison with the extensive knowledge we have on systems (1.6) and (1.7), there exist fewer results about the qualitative properties of (1.1). A first step to fill this gap is given in ^[1] and ^[2,3], where the results of ^[22,23] are partially generalized:

Proposition 1. [1, Th.2 and Th.3] System (1.1) has a non-trivial and positive $\omega$–periodic solution if and only if the average condition (1.10) is satisfied.

Furthermore:

a) If $t\mapsto (s^{*}(t), x^{*}(t))$ is a non-trivial $\omega$–periodic solution, then

b) The non-trivial $\omega$–periodic solution is unique when the delay $\tau$ is sufficiently small and will be denoted by $t \mapsto (s_{\star, \tau}(t), x_{\star, \tau}(t))$.

As pointed out in the discussion of article ^[1], an open question arises from this last result, which is to obtain a set of sufficient conditions ensuring the global attractiveness of the unique non–trivial $\omega$–periodic solution $t \mapsto (s_{\star, \tau}(t), x_{\star, \tau}(t))$ for small enough delays. The main contribution of this article is to provide a partial answer by considering a particular uptake function $\mu(\cdot)$, namely Monod's function defined by (1.3) and a family of functions $s^{0}(\cdot)$. The approach to this problem has already been proposed in [1, Section 6], which is the construction of a Lyapunov like function.

1.3.   Structure of the article

Section 2 describes the three main results of this article: Theorem 1 is a result of comparison between the solutions of (1.1) with the $\omega$–periodic solution $t \mapsto (s_{p}(t), x_{p}(t))$ of the undelayed system (1.7), and Theorem 2 gives sufficient conditions for the local asymptotic stability of the $\omega$–periodic solution $t \mapsto (s_{\star, \tau}(t), x_{\star, \tau}(t))$, while Theorem 3 furnishes conditions that ensure global asymptotic stability. Both conditions are obtained by constructing Lyapunov–like functions fashioned along ideas and techniques of ^[24]. Sections 3–5 are devoted to the proof of Theorems 1–3, respectively. Section 6 provides an example based on the culture of the microalgae Dunaliella tertiolecta, and several numerical simulations are presented to illustrate our results. Section 7 contains a brief discussion about the scope and limitations of the results of this work.

2.   Main results

Throughout this article, we will work under the assumptions that the average condition (1.10) is satisfied, and the delay $\tau$ is small enough such that statement b) of the Proposition 1 ensures the existence and uniqueness of a non-trivial and positive $\omega$–periodic solution $t\mapsto (s_{\star, \tau}(t), x_{\star, \tau}(t))$ of system (1.1).

The main results are described in terms of an upper bound for the limiting substrate and a system equivalent to (1.1). In consequence, a necessary first step in order to state the main results is to obtain an explicit upper bound for the substrate and to introduce a couple of transformations to system (1.1).

2.1.   Boundedness of the solutions

In this subsection, we will establish that the solutions of the system (1.1) are bounded for sufficiently small delays. First, by (1.9) it is easy to see that, for any $t\in \mathbb{R}$,

It can be easily verified that the positive orthant of system (1.1) is positively invariant. In addition, by (2.1) we deduce that $s^0(t)\leq s_{\mathcal{M}}^{0}$ for any $t\geq 0$.

Since the average condition (1.10) is satisfied, Proposition 1 then states that system (1.1) admits a positive $\omega$–periodic solution. Moreover, we define a fixed number $s_{\triangle}$ such that $s_{\triangle} > s_{\mathcal{M}}^{0}$. Then, we notice for later use that, by using the fact that $\mu$ is increasing and $\Sigma^{*}(t)\leq s_{\mathcal{M}}^{0}$, we obtain the inequalities

The following result states the uniform boundedness for the limiting substrate.

Lemma 1. If $t \mapsto (s(t), x(t))$ is a solution of (1.1), then there exists $t_{\diamond}\geq 0$ dependent on the initial conditions such that, for all $t\geq t_{\diamond}$, the following inequality is satisfied:

Proof. By using the positiveness of the solution, we can see that the substrate satisfies the differential inequality

Now, the result is a consequence of $s^{0}(t)\leq s_{\mathcal{M}}^{0} < s_{\triangle}$ for any $t\geq 0$, combined with comparison results for scalar differential equations such as [25, Ch.4] and [26, Lemma 3.4].

2.2.   Some related systems

In order to state our main results, it is useful to introduce the variable $a(t) = x(t + \tau)$, which transforms (1.1) into

Furthermore, by using the identity

we obtain the alternative formulation

The study of (2.6) has technical advantages with respect to (1.1). It is important to emphasize that the existence and uniqueness of the non-trivial and positive $\omega$–periodic solution $t \mapsto (s_{\star, \tau}(t), x_{\star, \tau}(t))$ of system (1.1) is equivalent to the existence and uniqueness of the non-trivial and positive $\omega$–periodic solution $t\mapsto (s_{\star, \tau}(t), a_{\star, \tau}(t))$ of system (2.6).

2.3.   Statement of the main results

The first result considers the solutions of the transformed system (2.6) when the delay is sufficiently small, and compares them with the non–trivial $\omega$–periodic solution $t\mapsto (s_p(t), x_{p}(t))$ of the undelayed system (1.7):

Theorem 1. Consider the DDE system (1.1) and (1.2) with an uptake function $\mu(\cdot)$ described by (1.3), and input nutrient $t \mapsto s^{0}(t)$ such that the average condition (1.10) is satisfied. Let $\tau_{\wedge} > 0$ be small enough such that

with

is satisfied. Then, there exist positive constants $(p_{1}, p_{2})$ and $\tau_{\mu}\in (0, \tau_{\wedge})$ such that, when ${ \tau\in[0, \tau_{\mu}] }$, there is $t_{\curlyvee} \geq 0$ such that, for all $t\geq t_{\curlyvee}$, the solutions of (2.6) satisfy

The second result is concerned with the local asymptotic stability of the above mentioned non-trivial and positive $\omega$–periodic solution $t\mapsto (s_{\star, \tau}(t), a_{\star, \tau}(t))$, and it also assumes that the delay must be upper bounded as follows:

which is well defined due to $D < \mu_{m}$, as it was stated in (1.11).

Theorem 2. Consider the DDE system (1.1) and (1.2) with an uptake function $\mu(\cdot)$ described by (1.3) and input nutrient $t\mapsto s^{0}(t)$ such that the average condition (1.10) is satisfied. Then, there exists a small enough delay $\tau_{\ddagger}\in (0, \tau^{*}]$ such that, when $\tau \in [0, \tau_{\ddagger}]$, the unique nontrivial $\omega$–periodic solution $t\mapsto (s_{\star, \tau}(t), a_{\star, \tau}(t))$ of system (2.4) is a locally exponentially stable solution.

The last result faces an unsolved problem from ^[1], namely, to obtain sufficient conditions ensuring the global asymptotic stability of the unique non–trivial $\omega$–periodic solution $t\mapsto (s_{\star, \tau}(t), x_{\star, \tau}(t))$ when considering small delays. In this context, the main contribution of this article is to provide a partial answer, by considering a nutrient input described by the $\omega$–periodic continuous function

where $|\gamma(t)|\leq \overline{\gamma}$ for all $t \geq 0$ and the positive constants $S_{c}$ and $\varepsilon$ are such that $s^{0}(\cdot)$ is positive.

Let us observe that, in this case, the washout solution $t\mapsto \Sigma^{*}(t)$, defined in (1.9), becomes

Theorem 3. Consider the DDE system (1.1) and (1.2) with an uptake function $\mu(\cdot)$ and input nutrient $t\mapsto s^{0}(t)$, respectively described by (1.3) and (2.11). If $\mu$, $S_{c}$, $\varepsilon$, and $\gamma$ are such that

then the $\omega$–periodic solution $t\mapsto (s_{\star, \tau}(t), x_{\star, \tau}(t))$ is globally attractive when the delay is sufficiently small.

3.   Proof of Theorem 1 (Approximation of solutions)

This theorem shows that the unique positive $\omega$–periodic solution of the DDE system (1.1) and the solutions of the ODE system (1.7) are close when the time is large and the delay $\tau$ is small enough. To prove this property, it will be useful to recall that system (1.1) can be transformed into (2.6). In addition, notice that (2.6) can be rewritten as follows:

where the term $\varpi(t)$ is given by

Notice that (3.1) can be seen as a particular case of the ODE system (1.7) with an additive perturbation $t\mapsto \delta(t)$ described by

It will be useful to quantify the effect caused by an input $\delta(\cdot)$, which is assumed to be a bounded function verifying additional properties which will be described later.

Under the above perspective, we can see that systems (3.1) and (3.2) have a similar structure. This sheds light on a way to prove Theorem 1: to study the asymptotic behavior of system (3.2) by considering perturbations $t \mapsto \delta(t)$ having asymptotic behavior emulating the properties of the map $t\mapsto \varpi(t)$ when $\tau$ is small enough.

3.1.   First step: upper bound for the biomass

The following result concludes the uniform boundedness for the microbial biomass of system (1.1).

Lemma 2. If $\tau \in [0, \tau_{\sharp}]$ with $\tau_{\sharp}$ satisfying inequality (2.7), then there is $t_{\bigstar}\geq t_{\diamond}+\tau$ dependent on the initial conditions, such that, for all $t \geq t_{\bigstar} + \tau$, the biomass component of any positive solution of (1.1) satisfies

Proof. Let $t \mapsto (s(t), a(t))$ be a positive solution of (2.6). Let us note that the change of variable $b(t) = s(t)+a(t)$ leads to the equation with distributed delay

By Lemma 1, combined with the inequality $|1 - e^{u}| \leq |u|e^{|u|}$, we deduce that, when $t \geq t_{\diamond}$,

where $\eta(r) = D-\mu(s(r))$.

Lemma 1 ensures that $s(r) < s_{\triangle}$ when $t \geq t_{\diamond}+\tau$. In addition, by using the fact that $\mu(\cdot)$ is increasing, from inequality (2.2), it follows that $\mu(s(r)) \leq \mu(s_{\triangle})$ and $D \leq \mu(s_{\triangle})$. Then, we obtain that

which implies that

with $\aleph$ defined in (2.8). By using (2.2) combined with $a(t)\leq b(t)$, we deduce that, when $t\geq t_{\diamond} + \tau$,

Then, it follows that, when $\tau \in [0, \tau_{\sharp}]$, inequality (2.7) implies that

By using the aforementioned comparison results for scalar differential inequalities, we deduce the existence of $t_{\bigstar} \geq t_{\diamond} + \tau$, dependent on the initial conditions, such that the inequality

is satisfied for all $t \geq t_{\bigstar}$. This inequality together with $b(t) > a(t) = x(t + \tau)$ allows us to conclude the proof.

3.2.   Second step: ISS with restriction for a system with no delay

The concept of Input to State Stability (ISS) was proposed for the first time by E. Sontag in ^[27], and we refer the reader to ^[28] for additional details. It characterizes the behavior of the solutions of a system in terms of the external input. More specifically, a system $\dot{u} = f(t, u, \delta)$ is said to be Input to State Stable with restriction if there are $\overline{\delta} > 0$ and functions $\gamma \in \mathcal{K}$ and $\beta \in \mathcal{KL}$ such that, for any bounded and piecewise continuous input $\delta(\cdot)$ such that $|\delta(t)| \leq \overline{\delta}$ for all $t \geq 0$, the corresponding solution $t \mapsto \phi(t, t_{0}, u_{0}, \delta)$ passing through $u_{0}$ at $t = t_{0}$ satisfies

Let us recall that $\gamma \in \mathcal{K}$ if it is continuous, increasing, and such that $\gamma(0) = 0$ and $\beta\in \mathcal{KL}$ if $s \mapsto \beta(s, t) \in \mathcal{K}$ for any $t \geq 0$ and, for any $r > 0$, the function $t \mapsto \beta(r, t)$ strictly decreases to zero, see ^[26] for details.

Now, we show that system (3.2) is ISS with restriction. First, as $t\mapsto (s_{p}(t), x_{p}(t))$ is the non–trivial $\omega$–periodic solution of the ODE system (1.7) and the change of variables $b(t) = s(t) + x(t)$ leads to the system

and allows us to define the $\omega$–periodic functions

It is clear that $t \mapsto (b_p(t), x_p(t))$ is the unique $\omega$–periodic solution of the system above.

Now, we are ready to state the following result:

Lemma 3. Let us consider perturbations $t \mapsto \delta(t)$ of system (3.2) with the following property: there exist a positive constant $\overline{\delta}$ and a threshold $T_{0}: = T_{0}(\delta) > 0$ such that

Furthermore, if $\overline{\delta}$ is small enough and there exists $T_{1} > T_{0}$ dependent on the initial conditions such that any solution of (3.2) verifies $s(t)\leq s_{\triangle}$ for any $t > T_{1}$, then:

a) There exists $t_{a}\geq T_{0}$, dependent on the initial conditions, such that

b) For any $\varepsilon$ small enough there exists $t_{b} > t_{a}$, dependent on the initial conditions such that

c) There exists $t_{c} > t_{b}$, dependent on the initial conditions, and a positive constant $p$ such that

d) There exist two positive constants, $p_1$ and $p_2$ such that any solution $t \mapsto (s(t), x(t))$ of (3.2) satisfies

Proof. See Appendix.

A careful reading of the proof shows that:

${\rm{i)}}$ The constants $p$, $p_{1}$, and $p_{2}$ mentioned in statements c) and d) depend on the non–trivial $\omega$–periodic solution $t\mapsto (s_p(t), x_{p}(t))$ of the undelayed system (1.7) and the set of parameters $k_{s}$, $D$, and $s_{\triangle}$. In fact, it will be proved that

and $\varepsilon$ is a constant from (3.9).

${\rm{ii)}}$ The statements a), b), c), and d) implicitly impose different smallness conditions for $\overline{\delta}$. In fact, inequality (3.8) is valid for any positive $\overline{\delta}$, while inequalities (3.9) and (3.10) are obtained for $\overline{\delta}$ having an explicit upper bound. Finally, estimation (3.11) is deduced for $\overline{\delta}$ small enough such that $\ln(1 + {p \overline{\delta}})$ can be approximated by its first–order MacLaurin expansion.

Remark 1. From estimations (3.8) and (3.10), we deduce that if $t > t_{b}$, then

Thus, when $\overline{\delta}$ is sufficiently small,

with $b_{\dagger} = \frac{1}{2}\min\limits_{t\in [0, \omega]}b_p(t)$ and $x_{\dagger} = \frac{1}{2}\min\limits_{t\in [0, \omega]}x_p(t)$ for all $t > t_{b}$.

3.3.   Final step: Proof of Theorem 1

Now, we go back to study system (3.1) which, as we know, is equivalent to (2.6). First, notice that the input $t\mapsto \varpi(t)$ verifies property (3.7). In fact, as $t\mapsto (s(t), a(t))$ is solution of (2.6), Lemmas 1 and 2 ensure that if $t > t_{\star} > t_{\diamond}+\tau > t_{\diamond}$ with $\tau \in [0, \tau_{\wedge}]$ satisfying inequality (2.7), then $s(t) < s_{\triangle}$ and $a(t)\leq \frac{5}{3}s_{\triangle}$ for any $t > t_{\star}$. These facts, combined with the inequalities $|1-e^{x}| \leq e^{|x|}-1$ and $D < \mu(s_{\triangle})$, imply that for any $t > t_{\star}$,

We observe that, by an appropriate choice of $\tau$, the constant $\overline{\varpi}$ can be rendered as small as desired.

Second, as we know that systems (3.1) and (3.2) have the same structure, statement c) of Lemma 3, with $\varpi(t)$ instead of $\delta(t)$, implies the existence of a constant $p$ and a time $t_{\gamma} > t_{\star}$, dependent on the initial conditions, such that

Finally, when considering delays small enough such that $p\overline{\varpi}$ is a good approximation of $e^{p\overline{\varpi}}-1$, statement d) of Lemma 3 implies the existence of a couple of positive constants $(p_1, p_2)$, such that

This concludes the proof. □

4.   Proof of Theorem 2 (Local stability analysis)

Let us recall that, under the assumptions of Proposition 1, we know that system (1.1) has a unique positive $\omega$–periodic solution $(s_{\star, \tau}(t), x_{\star, \tau}(t))$. Moreover, by performing a change of variables on the original system (1.1), we obtained system (2.4) introduced in Section 2:

We denoted its unique positive $\omega$–periodic solution by $(s_{\star, \tau}(t), a_{\star, \tau}(t))$. Nevertheless, to simplify the notation, we simply write $(s_{\star}(t), a_{\star}(t))$.

The proof of Theorem 2 is decomposed into several intermediate results. Moreover, we point out that we obtain an explicit value for $\tau_{\ddagger}$.

4.1.   A priori estimations for (2.4)

Lemma 4. Let inequality (2.10) be satisfied. Then, the unique $\omega$–periodic and positive solution of system (2.4) $t \mapsto (s_{\star}(t), a_{\star}(t))$ satisfies the inequalities

Proof. Let us observe that

By (2.5) we know that $a_{\star}(t) = e^{\int_{t - \tau}^{t} [\mu(s_{\star}(r)) -D] dr} a_{\star}(t - \tau)$, which gives

Now, by (1.4), we obtain

for all $t \geq 0$, and we deduce that

which allows us to obtain the estimations

Bearing in mind (1.11), we note that (2.10) is equivalent to the inequality

which ensures that

Then, by the positiveness of the periodic solutions together with the comparison result for scalar differential inequalities, we deduce the existence of $t_{\dagger} \geq 0$ such that

On the other hand, $s_{\star}(t)\leq s_{\mathcal{M}}^{0}$ is a consequence of Proposition 1 and (2.1).

In order to simplify the local stability analysis of system (2.4), let us perform the change of variable $\xi = \ln(a)$. This gives

Let us observe that $(s_{\star}(t), \xi_{\star}(t))$, where $\xi_{\star}(t) = \ln(a_{\star}(t))$ is a $\omega$–periodic solution of (4.2). Moreover, it is interesting to note that the washout solution $t\mapsto \Sigma^{*}(t)$ defined in (1.9) can be written as follows:

Lemma 5. The unique $\omega$–periodic and positive solution of system (2.4), namely, $t\mapsto (s_{\star}(t), a_{\star}(t))$, verifies the following inequalities for any $t \in [0, \omega]$:

and

Proof. The right inequality of (4.4) follows directly from statement a) of Proposition 1. In order to prove the left inequality, we use (1.4) and the constant $\check{a}$ defined in (4.4) to deduce that

The integration of the above inequality combined with the $\omega$–periodicity of $s_{\star}(\cdot)$ implies that

We deduce that

By using (4.3), we obtain that

Thus, the left inequality of (4.4) holds.

A direct consequence of inequalities (4.4) together with the $\omega$–periodicity of $\Sigma^{*}(\cdot)$ and $s_{\star}(\cdot)$ is that

Now, for all $t_{1}\in\mathbb{R}$ and $t_2 \in \mathbb{R}$, we have

Thus, if we choose $t_2 \in [0, \omega]$ such that $a_{\star}(t_2) = \check{a}$, then we obtain

for any $t \in [0, \omega]$. From (4.6), we deduce that

for all $t \in \mathbb{R}$. This concludes the proof.

4.2.   Proof of Theorem 2: Stability analysis

The next result provides the first order approximations of the solutions of (4.2) around $t\mapsto (s_{\star}(t), \xi_{\star}(t))$:

Lemma 6. The linear approximation of system (4.2) is described by the system

where

and

Proof. One can check easily that the linear approximation around the solution $(s_{\star}(t), \xi_{\star}(t))$ of system (4.2) is

which also can be written as the linear $\omega$–periodic system

where

Now, observing that

the above system becomes

with $\alpha_1(t, \cdot)$ defined in (4.8). Now, by noticing that

the above system becomes (4.7). This allows us to conclude the proof.

Now, we start to study the stability properties of (4.7). To ease this analysis, we adopt the simplified notation:

Let us introduce a time-varying change of coordinates:

Then, by using the simplified notation, we obtain

By recalling that $\dot{\xi}_{\star}(t) = \mu(s_{\star}(t)) - D$, we obtain

and, as an immediate consequence, we obtain the equivalent version

Then, by grouping the terms again, we obtain

with

and

In order to study the stability of system (4.13), we adopt a Lyapunov approach. Let us introduce the positive definite function

Its derivative along the trajectories of (4.13) satisfies

Let us recall that Lemma 5 ensures that $a_{\star}(t)\geq \underline{a}$, which leads to

since $\underline{\xi} = \ln(\underline{a})$. Now, by (1.3) and the right estimation of (4.1) we know that $\mu'(s_{\star})\leq \mu'(0)$ and $\mu'(s_{\star})\geq \mu'(s_{\mathcal{M}}^{0})$. In addition, by using Young's inequality

with $\delta = \mu'(S_{\mathcal{M}}^{0})e^{\underline{\xi}}$, we deduce that

Now, let us introduce the positive definite function

Its derivative along the trajectories of (4.13) satisfies

By applying Young's inequality to the products $\frac{|\alpha_{4}(t)\overline{\xi}|}{D}|\overline{z}|$ and $|\overline{z}||\alpha_{1}(t, \overline{s}_{t})|$ with $\delta = \frac{D}{2}$, we obtain

Now, we consider the candidate Lyapunov function

which is well–defined because $\kappa > 0$. From (4.14) and (4.15), we deduce that its derivative along the trajectories of system (4.13) satisfies

We can estimate the function $\alpha_{2}$ defined by (4.9) as done in (3.4):

where the last inequality follows from (1.4). Notice that, as $t\mapsto s_{\star}(t)$ is $\omega$–periodic, the above estimation is valid for any $t\geq 0$, while in (3.4), is verified after a finite time.

A direct consequence of the above estimation is

which follows from the inequality $|1 - e^{x}|\leq e^{|x|} - 1$ for any $x\in \mathbb{R}$.

The inequality (4.17) combined with (1.4) and $\mu'(s)\leq\mu'(0)$ for any $s\geq 0$ allows to estimate $\alpha_{3}$ and $\alpha_{4}$ as follows:

By using (4.1) we deduce that

which makes it possible to obtain new estimations

and

for all $t \geq 0$. Moreover, using again (4.1), we obtain

with $\beta = \frac{16}{9} (\mu_{m}\, s_{\mathcal{M}}^{0}\, \mu'(0))^{2}$, where the last inequality is a consequence of the Cauchy-Schwarz inequality.

By gathering the above estimations for $\alpha_{1}(t, \overline{s}_{t})$, $\alpha_{3}(t)$, and $\alpha_{4}(t)$, we obtain a sharper estimation for $\dot{V}_{3}$:

with $\lambda_1 = \frac{32}{9 D^2} \left[\left(\mu_{m} + \frac{4}{3} \mu'(0) s_{\mathcal{M}}^{0}\right) s_{\mathcal{M}}^{0}\right]^{2}$ and $\lambda_2 = \frac{8}{3 D} \mu'(0) s_{\mathcal{M}}^{0}$.

Bearing in mind that $\overline{z}(t) = \overline{s}(t) + e^{\xi_{\star}(t)} \overline{\xi}(t)$, let us introduce a Lyapunov-Krasovskii functional

A simple calculation gives

which leads to

By using the definition of $\overline{s} = \overline{z}-e^{\xi_{\star}(t)}\overline{\xi}$ and noticing that $\overline{s}^2\leq 2(\overline{z}^2+e^{2\xi_{\star}(t)}\overline{\xi}^2)$, we obtain

where the last inequality uses (4.1) with $a_{\star}(t) = e^{\xi_{\star}}(t)\leq \frac{4}{3}s_{\mathcal{M}}^{0}$.

Employing the inequality $\lambda_2\left(e^{\tau \mu_{m}} - 1\right) \leq \frac{1}{4} + \lambda_2^2\left(e^{\tau \mu_{m}} - 1\right)^2$, we obtain the estimation

Given that $\tau \mu_{m} \leq e^{\mu_{m}\tau} - 1$ holds for all $\tau \geq 0$, and the quadratic function is monotonically increasing on $[0, + \infty)$, it follows that

The above inequality implies that, if $\tau \in (0, \tau_{0}^{*})$ with $\tau_{0}^{*}$ given by

then $\zeta_{1} < 0$ and $\zeta_{2} < 0$. By integrating the above inequality between $0$ and $t \geq 0$, we obtain

which implies that $\overline{\xi}$ and $\overline{z}$ belong to $L^{2}(\mathbb{R}_{0}^{+})$.

In addition, as $\overline{\xi}$ and $\overline{z}$, as well as their derivatives, are bounded on $[0, + \infty)$, it is easy to deduce that $\overline{\xi}^{2}$ and $\overline{z}^{2}$ are uniformly continuous. Then, Barbalat's Lemma ^[26] ensures that

Thus, the equilibrium $(\overline{z}, \overline{\xi}) = (0, 0)$ is a globally asymptotically stable solution of system (4.12).

Finally, from our analysis, we can deduce that if $\tau \in (0, \tau_{\ddagger})$ with

then the equilibrium $(\overline{s}, \overline{\xi}) = (0, 0)$ is a globally exponentially stable solution of system (4.7). This concludes the proof.

5.   Proof of Theorem 3 (Global stability analysis)

5.1.   Preliminaries

Let us consider the family of systems (2.6) with input substrate $s^{0}(t) = S_{c}+\varepsilon\gamma(t)$, namely

where $\gamma(\cdot)$ is a function of class $C^{1}$ and $\omega$–periodic such that $\max\limits_{t\in [0, \omega]}|\gamma(t)|\leq \overline{\gamma}$. In addition, the positive constants $S_{c}$ and $\varepsilon$ are such that $\varepsilon \in (0, S_{c}\overline{\gamma}^{-1})$, which implies the positiveness of the washout solution. Finally, by Proposition 1, it follows that system (5.1) admits an $\omega$–periodic solution $(s_{\varepsilon}, a_{\varepsilon})$.

The goal of this subsection is, roughly speaking, to prove that $\dot{s}_{\varepsilon}(t)$ and $\dot{a}_{\varepsilon}(t)$ are small when the parameters $\varepsilon$ and $\tau$ are small.

Lemma 7. There is a delay $\tau_{\sharp} > 0$ such that if $\tau \in [0, \tau_{\sharp}]$ and $\varepsilon$ is small enough, then the derivatives of $s_{\varepsilon}(\cdot)$ and $a_{\varepsilon}(\cdot)$ satisfy

for some positive constants $L_{1}$ and $L_{2}$.

Proof. First, notice that since $s_{\varepsilon}(\cdot)$ and $a_{\varepsilon}(\cdot)$ are $\omega$–periodic, it follows that their derivatives are also $\omega$–periodic. Now, let us introduce the auxiliary function

By using Lemma 2 combined with the inequality $|1-e^{x}|\leq e^{|x|}-1$ and inequalities (2.3) and (3.4), we can see that

for $t\geq t_{\sharp}+\tau$. Then, when $\tau$ is sufficiently small, it follows that

By introducing the change of variables $z_{\varepsilon} = s_{\varepsilon} + a_{\varepsilon}$ and considering (5.1), we have

where $\phi_{\varepsilon}$ is defined in (5.3). By using the fact that $z_{\varepsilon}$ is $\omega$–periodic, we can prove that

and (5.6) can be written as

which, combined with (5.5), allows us to deduce that

Now, the change of variables $\xi_{\varepsilon} = \ln(a_{\varepsilon})$ gives

Then, the Eq (5.1) combined with the identity

and the definition of $z_{\varepsilon}$ allows us to conclude that

It is interesting to observe that $\dot{\xi}_{\varepsilon}$ is an $\omega$–periodic solution of the $\omega$–periodic time-varying equation

Moreover, since $\int_{0}^{\omega}\mu'(s_{\epsilon}(\ell))a_{\epsilon}(\ell)d\ell > 0$, we deduce similarly as in (5.7), the identity

Now, by using $\mu''(s) < 0$ for any $s\geq 0$, Lemma 1 implies the inequality

when $t$ is sufficiently large. Now we recall that, as a consequence of Theorem 1, there are constants $\overline{s} > \underline{s} > 0$, $\overline{\xi} > \underline{\xi}$, $\tau_s > 0$, and $\varepsilon_s > 0$ such that for $\tau\in [0, \tau_s]$ and $\varepsilon\in [0, \varepsilon_s]$, when $t$ is sufficiently large, it follows that

which leads to

As an immediate consequence of (5.8), we have that

By (5.9) and the above estimation, we can conclude

Then, inequalities (5.2) can be deduced by using (5.10) combined with the definitions of $z_{\varepsilon}$ and the above estimations.

5.2.   Asymptotic stability analysis

5.2.1.   New representation of system (1.1)

By using the transformation $\xi = \ln(a)$, system (1.1) becomes

Now, let us introduce the variables

where $(s_{\star}, \xi_{\star})$ denotes a periodic solution of (5.11). Then, by using (1.5) and (5.12), we can deduce the new representation

It is useful to point out that $\tilde{s}$ is bounded on $[0, +\infty)$ since it is a difference of two bounded functions. This implies that $\dot{\tilde{s}}$ is bounded on $[0, +\infty)$. Consequently, $\tilde{s}$ is uniformly continuous on the same interval.

5.2.2.   Stability analysis of system (5.13)

Let us define

and note that $V_{1}(\cdot)$ is nonnegative with $V_{1}(0) = 0$. Moreover, we have

On the other hand, by (5.13) we obtain the identity

Hence, it follows that

Now, we define

Notice that, by (1.3) and $\xi_{\star}(t) = \ln(x_{\star}(t))$, we can deduce

It is easy to show that $V_{2}(t, \tilde{s}(t))$ is nonnegative. Moreover, its derivative along the trajectories of system (5.13) satisfies

with $\kappa(t)$ defined by

From (5.13), it follows that

Now, we introduce

This function is nonnegative and

Now, we have

In addition, by using the mean value theorem combined with Young and Jensen's inequalities, we have that

where $\eta$ is a number between $0$ and $k_{s}\mu_{m}\int_{t-\tau}^{t}\frac{\widetilde{s}(r)}{(k_{s}+s_{\star}(r))(k_{s}+s(r))}\, dr$.

Now, we deduce that, when $|\dot{s}_{\star}(t)|$ and $|\dot{x}_{\star}(t)|$ are sufficiently small, we can find constants $\nu_1 > 0$, $\nu_2\geq 0$, and $\nu_3\geq 0$ such that

Thus, when $\tau$ is sufficiently small, by Lemma 7 we obtain the inequality

Let us introduce the functional

Since $t\mapsto\tilde{s}(t)$ is bounded, there exists $L > 0$ such that $\tilde{s}(t) > -L$ for any $t\geq 0$. It follows that

and the nonnegativeness of $V_{3}(\cdot)$ imply that $V_{4}(\cdot)$ is lower bounded.

By using (5.14) combined with the integral term of $V_{4}(\cdot)$, and considering $\tau$ small enough, we can see that $\dot{V}_4(t) = \frac{d}{dt}V_4(t, \tilde{s}_{t}, \tilde{\xi}(t))$ satisfies

Thus, when $\tau$ is sufficiently small,

which implies that $t\mapsto V_{4}(t)$ is not increasing. By integrating the above inequality, we obtain

which implies that $\tilde{s}\in L^{2}(\mathbb{R}_{0}^{+})$.

Since $\tilde{s}$ and $\dot{\tilde{s}}$ are bounded on $[0, + \infty)$, it follows that $\tilde{s}^{2}$ is uniformly continuous on $[0, +\infty)$. By Barbalat's Lemma ^[26], it follows that $\lim\limits_{t\to+\infty}\tilde{s}(t) = 0$.

In addition, by considering the uniform continuity of $\tilde{s}$, we deduce again from Barbalat's lemma that $\lim\limits_{t\to+\infty}\dot{\tilde{s}}(t) = 0$. Finally, by studying the $\tilde{s}$-dynamics from (5.13) and recalling that $\lim\limits_{t\to+\infty}\tilde{s}(t) = 0$, we can deduce that $\lim\limits_{t\to+\infty}\tilde{\xi}(t) = 0$ and the result follows.

6.   Illustrative numerical example

In order to illustrate our results and their applications, we will examine the culture of the microalgae Dunaliella tertiolecta by considering nitrate as the limiting nutrient. We will revisit the numerical simulations carried out in ^[1] for the solutions of (1.1) where the supply of nitrate into the chemostat is described by the $\omega$–periodic function

As pointed out in ^[29,30], considering that the parameters $s^{0}$ and/or $D$ vary periodically over time allows us to mimic environmental oscillations in aquatic ecosystems and study the effects of these variations in the microalgae physiology.

As mentioned in ^[1], the numerical simulations rely on a previous work of Vatcheva, Bernard, and Mars ^[31] which analyzes the merits and drawbacks of several alternative mathematical models based on a set of available experimental data from ^[32] describing the growth of the microalgae under a limitation of nitrate. In particular, when considering a growth described by Monod's function (1.3), the parameters involved in the model (1.1) are summarized in Table 1.

We carried out our numerical simulations^* in the R software version 4.0.2 by using the libraries PBSDDESOLVE, GGPLOT2, RESHAPE2, LATEX2EXP, and GRIDEXTRA to build our graphics.

^*The code is available in https://github.com/Oehninger/Time-varying-chemostat-stability

6.1.   About the delay and stability

Figures 1 and 2 illustrate numerical approximations for some solutions of system (1.1) by considering a set of initial conditions with colors black, red, and green, respectively, and different delays. Furthermore, in each case, the left graph illustrates the global dynamics (with transient phase) while the asymptotic dynamics (without transient phase) are illustrated by the right graph. The parameters considered are

One can prove that

Moreover, a numerical integration by Riemann sums shows that condition (1.10) is satisfied since

Figures 1 and 2 give the numerical solution for three initial conditions (black, green, and red) by considering several delays from $\tau = 1.0\, d$ to $\tau = 2.0\, d$. The left side of each sub-figure presents the graphic of the solutions (nitrate and phytoplankton) for the first 50 days while the right side only considers from the 25th to the 50th days in order to have a better description of the asymptotic behavior.

Figure 1a–c illustrates our theoretical results since the convergence towards an $\omega$–periodic solution is observed, even for delays not so small.

Figure 2a–c considers bigger delays, leading to a longer transient phase. It seems that the solutions are not convergent to an $\omega$–periodic solution and this issue will deserve more attention in a future work.

6.2.   About the average condition (1.10)

In this subsection, we will consider the parameters

combined with several values for the dilution rate $D$.

The numerical simulations show that, if we increase $D$ but the average condition (1.10) is still verified, the global attractivity is preserved but the convergence towards the periodic solution is slower.

Figures 3 and 4 illustrate numerical approximations for some solutions of system (1.1) by considering a set of initial conditions with colors black, blue, and orange, respectively, and different dilution rates $D$ taking values between $1.25$ $d^{-1}$ and $1.45$ $d^{-1}$. As before, in each case, the left graph illustrates the global dynamics (with transient phase) while the asymptotic dynamics (without transient phase) are illustrated by the right graph.

Figure 3a–c illustrates the global attractivity of the unique $\omega$–periodic positive solution, and how the rate of convergence is decreasing as $D$ increases. In order to contextualize these simulations, we can refer to ^[1] where the chemostat can be seen as a device to produce microbial biomass and the stabilization of biomass is strongly dependent of the dilution rate. In fact, note that an increasing of the dilution rate from $1.25$ $d^{-1}$ to $1.35$ $d^{-1}$ led to stabilization times from $30$ to $80$ days.

Figure 4a, b considers bigger dilution rates such that the average assumption (1.10) does not hold, and therefore the washout solution is globally stable and the microbial biomass is driven to extinction.

7.   Discussion

We have studied the $\omega$–periodic system of delay differential equations (1.1), which describes the dynamics of a limiting substrate and microbial biomass in a well–stirred chemostat. This system was considered in ^[1], where a result of existence and uniqueness of a nontrivial $\omega$–periodic solution is proved for small enough delays. In this article, we showed that this $\omega$–periodic solution is, in fact, globally asymptotically stable for Monod's uptake functions (1.3) and $\omega$–periodic inputs $s^{0}(\cdot)$ of type (2.11).

Although Monod's uptake functions are ubiquitous in chemostat modeling, an interesting open question is whether our global asymptotic stability results can be extended to general uptake functions having the same qualitative properties as Monod ones, namely, smoothness, fixed point at the origin, and the fact that they are increasing. This problem is certainly elusive, but the mathematical study of chemostat models shows a clear trend: a myriad of results initially obtained for Monod's uptake functions have subsequently been extended to wider families of uptake functions. We expect to cope with this problem in future research.

Numerical simulations suggest the possible existence of a threshold for the delay ensuring asymptotic stability. This shows some conservativeness of our results, which is due the existence of several technical conditions involved in the estimations deduced in the construction of the Lyapunov–like function. This is also true for the proof of Theorem 2 and it will be extremely interesting to study the stability of the linear periodic delayed system (4.10) by alternative ways such as Floquet's theory and Bohl exponents.

Last but not least, another important remark is that our delayed chemostat model is inspired by the autonomous system (1.6). Nevertheless, current research has given priority in consideration to another delayed model: the one introduced by Ellermeyer and Freedman in ^{[33,34,35,36]}. We also have been working on this approach and, in ^[37], we recently proposed a version of the Ellermeyer & Freedman delayed model adapted to the periodic case described by the differential delay equation

which recovers the model presented in ^{[33,34,35,36]} when $s^{0}(\cdot)$ and $D(\cdot)$ are positive constants. It is important to emphasize that the existence result was obtained by following a completely different method to the one carried out in ^[1], while the uniqueness for small delays followed along similar lines. Additional results for (7.1) have been obtained in ^[38], and a stochastic version has been considered in ^[39]. We expect to emulate the ideas presented in this work and to start a stability study for (7.1).

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

This article is partially supported by MATHAMSUD regional cooperation program (Grant MATH2020006). The second author is supported by FONDECYT Regular 1210733.

Conflict of interest

The authors declare there is no conflict of interest.

Appendix: Proof of Lemma 3

The lemma is composed by four statements whose proof will be divided into several steps: Step 1 is devoted to preliminary estimations leading to the proof of statement a). The proof of statement b) will be a consequence of Steps 2–4. Finally, statements c) and d) are respectively proved in Steps 5 and 6.

Step 1: Preliminaries. Given any positive solution of the undelayed perturbed system (3.2) denoted by $t \mapsto (s(t), x(t))$, its error with respect to the unique positive $\omega$–periodic solution $t\mapsto (s_{p}(t), x_{p}(t))$ of the undelayed system (1.7) is defined by

In addition, the change of variables $s(t) = b(t)-x(t)$ transforms (3.2) into

Let $b_{p}(t) : = s_{p}(t) + x_{p}(t)$. The error $\tilde{b}(t) = b(t)-b_p(t)$ satisfies the scalar equation $\dot{\tilde{b}}(t) = -D\tilde{b}(t)+\delta(t)$ and, consequently, the differential inequality

since $\delta(t)\leq \bar{\delta}$ for any $t\geq T_{0}$. Note that $\overline{\delta}/D$ is a globally attractive solution of the equation $\dot{\nu}(t) = -D\nu(t)+\overline{\delta}$. It follows, by the previously mentioned comparison results for scalar differential inequalities, the existence of $t_{a}\geq T_0$, dependent on the initial conditions, such that (3.8) is verified, that is

and statement a) of the lemma has been proved.

Step 2: Logarithmic estimation for the biomass. We introduce the transformation $\chi = \ln(x)$, which yields

We also define $\widetilde{\chi}(t) = \chi(t)-\chi_p(t)$, where $\chi_p = \ln(x_p)$. Let us note that

From (1.5) combined with (A.2) and

we deduce that

Let us introduce the Lyapunov function

Its derivative with respect to $t$ is

Furthermore, inequalities (3.8) and $s(t)\leq s_{\triangle}$ when $t > T_{1}$, and the positiveness and boundedness of $s(t)$ and $s_{p}(t)$ combined with

imply that for any $t\geq \max\{t_{a}, T_{1}\}$

The map $t \mapsto \chi_{p}(t) = \ln(x_{p}(t))$ is $\omega$–periodic and $\chi_{p}^{\min}: = \min\limits\limits_{t\in [0, \omega]}\chi_p(t)$ is well defined. Moreover, we can deduce that

with

Now, the sufficiently small constant $\overline{\delta}$ from Lemma 3.2 will be rewritten as

Then, by using $\ln(2-e^{-1})e^{-3/2} < 1 - e^{-1}$ and $d_{0}\, \overline{\delta} = c_{0}\, \Delta_{0}$, it follows that

where $\mathcal{F}(u) = (1-e^{-1})-|e^{u}-1|$.

It is easy to see that, with $u_{\min} = - 1$ and $u_{\max} = \ln(2 - e^{-1})$, $\mathcal{F}(u)\geq 0$ for any $u\in [u_{\min}, u_{\max}]$ and $\mathcal{F}(u) < 0$ otherwise, and $\mathcal{F}(u_{\min}) = \mathcal{F}(u_{\max}) = 0$. Now, let $\varepsilon \in (0, \frac{1}{2})$, and define $u_{\min}(\varepsilon) = u_{\min} - \varepsilon$ and $u_{\max}(\varepsilon) = u_{\max} + \varepsilon$.

Step 3: Lower asymptotic bound for $\tilde{\chi}$. We will prove the existence of $T_{*}: = T_{*}(\tilde{\chi}(0)) > \max\{t_{a}, T_{1}\}$ such that $\tilde{\chi}(t) > u_{\min}(\varepsilon)$ for any $t > T_{*}$.

This will be proved by contradiction: If we assume that $\tilde{\chi}(t)\leq u_{\min}(\varepsilon) = -1$ for any $t\geq 0$, it follows that $\mathcal{F}(\tilde{\chi}(t)) < 0$, which in turns implies that

The above inequality combined with $\tilde{\chi}(t)\leq -1$ for any $t\in J: = [\max\{t_{a}, T_{1}\}, +\infty)$ implies that $\dot{\tilde{\chi}}(t) > 0$ for any $t\in J$. Then, we conclude that $t\mapsto \tilde{\chi}(t)$ is strictly increasing on $J$ and upper bounded. Furthermore, there exists $\chi^{*}\leq u_{\min}(\varepsilon)$ such that

Now, letting $t\to \infty$ and noticing that $\mathcal{F}(\chi^{*}) < 0$, it follows that

This leads to a contradiction, which allows us to deduce the existence of $T_{*} > 0$ such that two mutually exclusive behaviors could take place: either $\tilde{\chi}(t) > u_{\min}(\varepsilon)$ for any $t > T_{*}$, or there exists $T_{**} > T_{*}$ such that

Now, it is important to emphasize that the last behavior is not possible. Indeed, otherwise we would have

which gives a contradiction. Then, it follows that $\tilde{\chi}(t) > u_{\min}(\varepsilon)$ for any $t > T_{*}$.

Step 4: Upper asymptotic bound for $\tilde{\chi}$. It can be proved similarly as in the previous step that if $\tilde{\chi}(0) > u_{\max}(\varepsilon)$, there exists $T^{*}: = T^{*}(\tilde{\chi}(0)) > \max\{t_{a}, T_{1}\}$ such that $\tilde{\chi}(t) < u_{\max}(\varepsilon)$ for any $t > T^{*}$.

Next, we fix $\varepsilon\in (0, \frac{1}{2})$, and observe that a direct consequence of steps 3 and 4 is the existence of $t_{b}\geq \max\{T_{*}, T^{*}\}$ such that if $t\geq t_{b}$, then

and statement b) of the lemma has been proved.

Step 5: A result of asymptotic invariance. By using the mean value theorem, we can see that $e^{\tilde{\chi}}-1 = e^{\theta}\tilde{\chi}$ with $\theta$ between $\tilde{\chi}$ and zero. Note that if $\tilde{\chi}\in[u_{\min}(\varepsilon), u_{\max}(\varepsilon)]$, then $|e^{\tilde{\chi}}-1| = |e^{\theta}||\tilde{\chi}|\geq e^{u_{\min}(\varepsilon)} |\tilde{\chi}|$. As a consequence, when $t\geq t_b$, it follows from (A.7) that

and, in order to obtain an asymptotic invariance interval for $\tilde{\chi}(t)$, we will consider three possible cases:

$\bullet$ Case a) This case corresponds to $\tilde{\chi}(t) > 0$ after a finite time $T > t_{b}$. By recalling that $\dot{U}_{1}(\tilde{\chi}(t)) = \tilde{\chi}(t)\dot{\tilde{\chi}}(t)$, for any $t > T$, we deduce from (A.9) that

Since $\tilde{\chi}(t)\in (0, u_{\max}(\varepsilon)]$, by using comparison results combined with (A.8), we deduce that

Recalling that $u_{\max} = \ln(2-e^{-1})$ and $u_{\min}(\varepsilon) = - 1 - \varepsilon$, and by using again (A.8) together with $\varepsilon\in (0, 1/2)$, it follows that

$\bullet$ Case b) This case corresponds to $\tilde{\chi}(t) < 0$ after a finite time $T > t_{b}$. Then, we deduce from (A.9) that, for any $t > T$,

As $\tilde{\chi}(t)\in [u_{\min}(\varepsilon), 0)$, using argument analogous to those of the previous case, we have that

and, as before, from (A.8), $d_{0}\, \overline{\delta} = c_{0}\, \Delta_{0}$, and $\varepsilon \in (0, 1/2)$, we obtain

$\bullet$ Case c) We assume that $\tilde{\chi}(t) \in [u_{\min}(\varepsilon), u_{\max}(\varepsilon)]$, but with infinite changes of sign. By using the fluctuations lemma [40, Lemma A.1], there exist divergent sequences $\{s_{n}\}_{n}$ and $\{t_{n}\}_{n}$ of minimum and maximum values of $\tilde{\chi}(t)$ satisfying $\dot{\tilde{\chi}}(s_{n}) = \dot{\tilde{\chi}}(t_{n}) = 0$ such that

By using the above differential inequalities, it can be deduced that

Letting $n\to +\infty$, we obtain

Summarizing the above three cases leads to the following property: for any $\eta > 0$, there exists $t_{c}(\eta)\geq 0$ such that

By noticing that $|x_{-}| = x_{+}$, the previous inequalities can be written as

and, after choosing $\eta = x_{+}/2$ and recalling the definition of $x_{+}$, we can deduce the existence of $t_c\geq t_b$ such that, for all $t\geq t_{c}$, we have the estimation

which implies that

and also leads to

Then, inequality (3.10) is obtained and statement c) of the lemma has been proved.

Step 6: End of proof.

When $\bar{\delta}$ is sufficiently small, $e^{p\overline{\delta}}-1 \leq 2 p\bar{\delta}$. Then, from (3.10), we deduce that the second inequality of (3.11) is satisfied with $p_{2} = 2 p \max\{t\in [0, \omega]\colon |x_{p}(t)|\}$. This fact combined with (3.8) allows us to deduce that the first inequality of (3.11) is satisfied with $p_1 = \left(\frac{2}{D} + p_2\right) \overline{\delta}$. This concludes the proof.