Abstract
We provide quantitative estimates in total variation distance for positive semigroups, which can be non-conservative and non-homogeneous. The techniques relies on a family of conservative semigroups that describes a typical particle and Doeblin’s type conditions inherited from Champagnat and Villemonais (Probab. Theory Relat. Fields 164(1–2):243–283, 2016) for coupling the associated process. Our aim is to provide quantitative estimates for linear partial differential equations and we develop several applications for population dynamics in varying environment. We start with the asymptotic profile for a growth diffusion model with time and space non-homogeneity. Moreover we provide general estimates for semigroups which become asymptotically homogeneous, which are applied to an age-structured population model. Finally, we obtain a speed of convergence for periodic semigroups and new bounds in the homogeneous setting. They are illustrated on the renewal equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The solutions of the Cauchy problem associated to a linear Partial Differential Equation (PDE) can be expressed through a semigroup of linear operators. In the present work, we are interested in the ergodic properties of positive semigroups \((M_{s,t})_{t\geq s\geq0}\) acting on measures, and their application to the study of the asymptotic profile of populations evolving in varying environment, which can be described by linear (nonautonomous) PDEs. Roughly speaking, for any \(t\geq s \geq0\), \(M_{s,t}\) is both a positive linear operator on a space of measures (\(\mu\mapsto\mu M_{s,t}\)) and on a space of measurable functions (\(f\mapsto M_{s,t}f\)), and the family \((M_{s,t})_{t\geq s \geq0}\) satisfies the semigroup property
For a measure \(\mu\) and a measurable function \(f\), we denote by \(\mu(f)\) the integral of \(f\) against \(\mu\). We establish ergodic approximations of the following form
when \(t\rightarrow\infty\), for a fixed initial time \(s\). The first term in this long-time decomposition is a linear form \(\mu\mapsto \mu(h_{s})\) on the space of measures, independent of \(t\), which provides the long term impact of the initial distribution \(\mu\) through the function \(h_{s}\). The second term is a family \((r_{s,t})_{t\geq s}\) of positive real numbers, independent of \(\mu\), describing the evolution of the “mass”. Finally \(\gamma_{t}\) is the asymptotic probability distribution, which does not depend on \(s\) nor \(\mu\). The harmonic function \(h_{s}\) is unique up to normalization, but the two families \((r_{s,t})_{t\geq s}\) and \((\gamma_{t})_{t\geq0}\) are not. Nevertheless in particular situations, they can be chosen in certain relevant classes in which they are unique. In Sect. 3 we detail and illustrate such cases, briefly presented here:
Homogeneous semigroups. In the homogeneous setting \(M_{s,t}=M_{t-s}\), and provided a topology on the space of measures, spectral theorems suggest the behavior
where \(\lambda\) is the dominant eigenvalue of the infinitesimal generator of the semigroup, \(\gamma\) and \(h\) are the associated eigenvectors, and \(\varepsilon\) is the spectral gap. This is an immediate consequence of the Perron Frobenius Theorem [23, 42] in finite state space setting. In a general Banach lattice the existence of the eigentriplet \((\lambda,\gamma,h)\) is ensured by the Krein-Rutman Theorem [33] when the semigroup (or the resolvent of its generator) is positive, irreducible, and compact. A refined variant of the Krein-Rutman theorem, with spectral gap, is proved in [40] in the setting of a Banach lattice of functions. The proof relies on a spectral analysis and applies to positive semigroups with a generator which satisfies a strong maximum principle and admits a decomposition verifying a power compactness condition. In contrast with these approaches, our method is based on a contraction argument and can be efficiently applied to time-inhomogeneous semigroups.
Asymptotically homogeneous semigroups. In the case where there exists a homogeneous semigroup \((N_{t})_{t \geq0}\) such that \(M_{s,s+t}\approx N_{t}\) for \(s\) large, we prove that the principal eigenvector \(\gamma\) of \((N_{t})_{t\geq0}\) provides a stationary asymptotic profile
But \(r_{s,t}\) is not necessarily an exponential growth provided by the associated eigenvalue, and \(h_{s}\) is not the associated eigenfunction.
Periodic semigroups. When there exists \(T>0\) such that \(M_{s+T,t+T}=M_{s,t}\) for all \(s\leq t\), the semigroup is said to be periodic. In this case we can choose for \((\gamma_{t})_{t\geq0}\) a \(T\)-periodic family, and similarly as in the homogeneous case, the evolution of the mass is exponential. More precisely there exist a real number \(\lambda_{F}\), named Floquet eigenvalue after the work of G. Floquet [22], and a periodic family \((\eta_{t})_{t\geq0}\) bounded from above and below such that
In all cases, the bound for the speed of convergence is expressed in the total variation norm (see Sect. 2.1 for the definition), which is the natural distance for coupling processes in probability. The proof relies on an auxiliary conservative semigroup \(P^{(t)}\), defined for every bounded function \(f\) and any times \(0\leq s \leq u \leq t \) by
for which ergodic behavior can be obtained through coupling arguments. This auxiliary semigroup describes the trajectory of a typical particle and has been used recently for the study of branching Markov processes in discrete and continuous time [2, 4, 5, 34] and processes killed at a boundary [11, 18, 35]. We come back in Appendix A on the link between these topics in probability and ergodic estimates for semigroups.
Doeblin and Lyapounov techniques (or petite sets) [19, 38] provide then a powerful tool to control the ergodic behavior of this auxiliary Markov process. More generally, the constructions of auxiliary Markov processes derived from a typical or tagged particle have been well developed in probability and play a key role in the asymptotic study of stochastic processes. They appear in Feynman-Kac formula [16] and in spine technics via many-to-one formulae [30] for the probabilistic study of branching processes [7, 15, 20] and fragmentation processes [6], to name but a few.
When working on a compact state space or benefiting from an atom or a compact set uniformly accessible for the whole state space, one can hope to check Doeblin conditions on the auxiliary semigroup. Recall that a conservative, positive and homogeneous semigroup \((Q_{t})_{t\geq0}\) satisfies the Doeblin condition if there exist a constant \(c>0\), a coupling probability measure \(\nu\) and a time \(t_{0}>0\) such that for all positive and bounded function \(f\),
This condition is equivalent to a contraction in total variation distance and then provides a convenient tool of analysis for non-homogenous models. Sharp assumptions expressed in function of \(M\) have recently been obtained in [11] to get a Doeblin condition for the auxiliary semigroup in a context of absorbed Markov process. These conditions are weaker than the classical conditions using Birkhoff contraction [8, 25, 41] and equivalent to uniform exponential convergence.
In Lemma 2.5 we prove that Doeblin’s condition hold for the semigroup \(P^{(t)}\), which in turn provides an explicit bound for the decrease of
as \(t\rightarrow\infty\) and the ergodic behavior of the auxiliary semigroup. The proof of this Lemma is essentially an adaptation of the method in [11, 12] that we extend to general semigroups in non-homogeneous environment, while they restrict their study to absorbed Markov processes. This more general semigroup setting allows us to capture a wider range of applications, like the renewal equation we consider in Sect. 3. Moreover, we go beyond the contraction of the auxiliary semigroup \(P^{(t)}\) and characterize the asymptotic behavior of \((M_{0,t})_{t\geq0}\), which is a novelty compared to the previous results.
More precisely, for any initial time \(s\geq0\), we propose conditions involving a coupling probability measure \(\nu\) which guarantee the existence of a positive bounded function \(h_{s}\) and a family of probabilities \((\gamma_{t})_{ t\geq0}\) such that when \(t\to\infty\)
These conditions are stated in Sect. 2 and a quantified version of above convergence is proved. In Sect. 3 the general result is declined in several applications, which are illustrated by concrete and intentionally simple examples of linear PDE issued from population dynamics. We avoid too much technicality but provide some new estimates and explain the way assumptions can be checked. We first consider in Sect. 3.1 a model of population growing in a non-homogeneous and diffusing in a varying environment, which is illustrated by ergodic random environment. Intuitively, if the variation of parameters in the model is not vanishing in large times, one does not expect the convergence of \(\gamma_{t}\). In the case of homogeneous or asymptotically homogeneous semigroups, we prove that the asymptotic profile is given by a constant probability measure \(\gamma\); see Sect. 3.2 and Sect. 3.3 respectively. Finally, when the semigroup evolves periodically we prove that the asymptotic profile \(\gamma_{t}\) is periodic; see Sect. 3.4. Results of Sect. 3.2 (homogeneous semigroups), Sect. 3.3 (asymptotically homogeneous semigroups) and Sect. 3.4 (periodic semigroups) are illustrated on the renewal equation. In these three settings, we obtain new sharp conditions for convergence with explicit rate of convergence.
2 General Statement and Proof
2.1 Preliminaries on Measures and Semigroups
We start by recalling some definitions and results about measure theory, and we refer to [45] for more details and proofs.
Let \(\mathcal{X}\) be a locally compact Hausdorff space and denote by \(\mathcal{B}_{b} (\mathcal{X})\) the space of bounded Borel functions \(f:\mathcal{X}\to\mathbb{R}\) endowed with the supremum norm \(\|f\|_{\infty}=\sup_{\mathcal{X}}|f|\). We denote by \(\mathcal{M}( \mathcal{X})\) the space of regular signed Borel measures on \(\mathcal{X}\),Footnote 1 by \(\mathcal{M}_{+}( \mathcal{X})\) its positive cone (i.e. the set of regular finite positive Borel measures), and by \(\mathcal{P}(\mathcal{X})\) the subset of probability measures. For two measures \(\mu,\widetilde{\mu} \in\mathcal{M}(\mathcal{X})\), we say that \(\mu\) is larger than \(\widetilde{\mu}\), and write \(\mu\geq\widetilde{\mu}\), if \(\mu-\widetilde{\mu}\in\mathcal{M}_{+}(\mathcal{X})\). The Jordan decomposition theorem ensures that for any \(\mu\in\mathcal{M}( \mathcal{X})\) there exists a unique decomposition \(\mu=\mu_{+}-\mu _{-}\) with \(\mu_{+}\) and \(\mu_{-}\) positive and mutually singular. The positive measure \(|\mu|=\mu_{+}+\mu_{-}\) is called the total variation measure of the measure \(\mu\), and its mass is the total variation norm of \(\mu\)
Clearly we have the identityFootnote 2
where the supremum is taken over measurable functions. By virtue of the Riesz representation theorem, this supremum can be restricted to the continuous functions vanishing at infinity,Footnote 3i.e.\(f\in C_{0}(\mathcal {X})=\overline{C _{c}(\mathcal{X})}\). The Riesz representation theorem also ensures that \((\mathcal{M}(\mathcal{X}), \Vert \cdot \Vert _{\mathrm{TV}})\) is a Banach space, as a topological dual space. It is worth noticing that the inequality \(|\mu(f)|\leq \Vert \mu \Vert _{\mathrm{TV}}\|f \|_{\infty}\) which is valid for any \(\mu\in\mathcal{M}(\mathcal{X})\) and \(f\in\mathcal{B}_{b}(\mathcal{X})\) can be strengthened into \(|\mu(f)|\leq\frac{1}{2} \Vert \mu \Vert _{\mathrm{TV}}\|f\| _{\infty}\) when \(\mu(\mathcal{X})=0\) and \(f\geq0\).
For any \(\varOmega\subset\mathcal{X}\) we denote by \(\mathbf {1}_{\varOmega }\) the indicator function of the subset \(\varOmega\). And we denote by \(\mathbf{1}\) the constant function equal to 1 on \(\mathcal{X}\), i.e.\(\mathbf{1}=\mathbf{1}_{\mathcal{X}}\).
Now we turn to the definition of the (time-inhomogeneous) semigroups we are interested in. Let \((\mathcal{X}_{t})_{t\geq0}\) be a family of locally compact Hausdorff spaces. A semigroup \(M=(M_{s,t})_{0\leq s \leq t}\) is a family of linear operators defined as follows. For any \(t\geq s\geq0\), \(M_{s,t}\) is a bounded linear operator from \(\mathcal{M}(\mathcal{X}_{s})\) to \(\mathcal{M}(\mathcal{X}_{t})\) through the left action
and a bounded linear operator from \(\mathcal{B}_{b}(\mathcal{X}_{t})\) to \(\mathcal{B}_{b}(\mathcal{X}_{s})\) through the right action
The semigroup property means here that for all \(s\leq u\leq t\) and \(f\in\mathcal{B}_{b}(\mathcal{X}_{t})\)
Moreover, we make the following assumptions.
Assumption 1
We assume that for all \(t\geq s\geq0\) we have
\((f\in\mathcal{B}_{b}(\mathcal{X}_{t}), f\geq0)\implies M_{s,t}f\geq0\), (positivity)
\(\forall x\in\mathcal{X}_{s},\ m_{s,t}(x):=(M_{s,t} \mathbf{1})(x)>0\), (strong positivity)
\(\forall(\mu,f)\in\mathcal{M}(\mathcal{X}_{s})\times \mathcal{B}_{b}(\mathcal{X}_{t}),\ (\mu M_{s,t})(f)=\mu (M_{s,t}f)\). (left-right compatibility)
Due to the compatibility condition, we can denote without ambiguity \(\mu M_{s,t}f=(\mu M_{s,t})(f)=\mu(M_{s,t}f)\), and \((\mu,f)\mapsto \mu M_{s,t}f\) is a bilinear form on \(\mathcal{M}(\mathcal{X}_{s}) \times\mathcal{B}_{b}(\mathcal{X}_{t})\). Notice additionally that the compatibility condition allows to transfer the semigroup property and the positivity to the left action, i.e. for all \(t\geq s\geq0\), we have
2.2 Coupling Constants
Let \(\alpha,\beta>0\) and \(\nu\in\mathcal{P}(\mathcal{X}_{s})\).
Definition 2
(Admissible coupling constants)
For any \(N\geq1\), we say that \((c_{i},d_{i})_{1 \leq i \leq N} \in[0,1]^{2N}\) are \((\alpha,\beta, \nu)\)-admissible coupling constants for \(M\) on \([s,t]\) if there exist real numbers \((t_{i})_{ 0 \leq i \leq N}\) satisfying \(s\leq t_{0} \leq\cdots\leq t_{N} \leq t\) and probability measures \(\nu_{i}\) on \(\mathcal{X}_{t_{i}}\) such that for all \(i=1,\ldots, N\) and \(x\in\mathcal{X}_{t_{i-1}}\),
and for all \(i\in\{1,\ldots, N-1\}\), \(\tau\geq t_{N}\) and \(x\in\mathcal{X}_{t_{i}}\),
and for all \(\tau\geq t_{N}\) and \(x\in\mathcal{X}_{t_{N}}\),
and for all \(\tau\geq t_{N}\) and \(x\in\mathcal{X}_{s}\),
In the conservative case, Assumption (A1) is the classical Doeblin assumption. It is a strong irreducibility property: whatever the initial distribution is, the semigroup between the times \(t_{i-1}\) and \(t_{i}\) is lowerbounded by a fixed measure \(\nu_{i}\). This condition is then sufficient (and even necessary) for uniform exponential convergence.
But this condition is no longer sufficient for non-conservative semi-group. First, the mass of the process has to be added in (A1), as will be seen in examples when the mass vanishes. Moreover the mass of the semi-group has to be essentially the same for any starting distribution. This is the meaning of Assumptions (A2), (A3) and (A4).
The two first assumptions allow to get the contraction of the auxiliary semigroup \(P^{(t)}\) in the total variation norm following [11, 12], see Lemma 2.5. The two additional assumptions are needed to prove the existence of harmonic-type functions and control the speed of convergence in the general result, see forthcoming Lemma 2.7. Assumptions (A2), (A3), (A4) all involve the control of the mass \(m\) for large times and will be proved in the same time by a coupling argument in applications of Sect. 3. The associated constants may change in varying environment, see Sect. 3.1.
We denote by \(\mathcal{H}_{\alpha, \beta, \nu}(s,t)\) the set of \((\alpha,\beta, \nu)\)-admissible coupling constants \((c_{i},d_{i})_{1 \leq i \leq N}\) for \(M\) on \([s,t]\). It can be easily seen from Definition 2.2 that for this set to be nonempty, the constants \(\alpha\) and \(\beta\) have to be at least greater than or equal to 1. We are interested in the optimal admissible coupling and we set
where by convention \(\sup\varnothing=0\). We observe that \(t\mapsto C_{\alpha,\beta, \nu}(s,t)\) is positive and non-decreasing.
2.3 General Result
Here we state the general result we obtain about the ergodicity of semigroups \(M\) which satisfy Assumption 2.1.
Theorem 3
Let\(s \geq0\)and assume that there exist\(\alpha, \beta\geq1\), and\(\nu\)a probability measure on\(\mathcal{X}_{s}\)such that\(C_{\alpha, \beta, \nu}(s,t)\rightarrow\infty\)as\(t\rightarrow \infty\). Then there exists a unique function\(h_{s} : \mathcal{X} _{s}\rightarrow[0,\infty) \)such that for any\(\mu\in\mathcal{M}( \mathcal{X}_{s})\), \(\gamma\in\mathcal{M}(\mathcal{X}_{s_{0}})\)with\(s_{0} \in[0, s]\), and for any\(t\)such that\(C_{\alpha,\beta, \nu}(s,t)\geq\log(4\alpha)\),
Moreover\(h_{s}(x) \in(0,\beta]\)for any\(x\in\mathcal{X}_{s}\)and\(\nu(h_{s})=1\).
Before the proof, let us make two remarks. First, under the assumption of Theorem 2.3, we also prove that for all \(t\geq s\),
This bound is thus valid for any time. Second, we can change the measure \(\nu\) as follows.
Remark 4
Suppose that for all \(\mu\in\mathcal{M}(\mathcal{X}_{s})\) the function \(t\mapsto\mu(m_{s,t})\) is continuous and the Assumptions of Theorem 2.3 hold. Then for all \(\widetilde{\nu}\in\mathcal{P}( \mathcal{X}_{s})\) there exists a constant \(\widetilde{\beta}\) such that (A4) is still valid if we replace \(\nu\) and \(\beta\) by \(\widetilde{\nu}\) and \(\widetilde{\beta}\). Indeed Theorem 2.3 applied to \(\mu=\widetilde{\nu}\) ensures that \(\widetilde{\nu}(m_{s,t})/\nu(m_{s,t})\to\widetilde{\nu}(h_{s})>0\) when \(t\to\infty\). Since \(t\mapsto\nu(m_{s,t})/\widetilde{\nu}(m _{s,t})\) is continuous, it is bounded on \([s,+\infty)\). Using (A4), we deduce that for all \(T\geq t_{N}\),
2.4 Proof of Theorem 2.3
We recall from the introduction the definition of \(P^{(t)}\). For any \(t\geq u\geq s\geq0\), the linear operator \(P^{(t)}_{s,u}:\mathcal{B} _{b}(\mathcal{X}_{u})\to\mathcal{B}_{b}(\mathcal{X}_{s})\) is defined by
By duality we define a left action \(P^{(t)}_{s,u}:\mathcal{M}( \mathcal{X}_{s})\to\mathcal{M}(\mathcal{X}_{u})\) by
We recall that this is a positive conservative semigroup. Indeed we readily check that \(P^{(t)}_{s,u}\,\mathbf{1}=\mathbf{1}\) and \(P^{(t)}_{s,u}\,f\geq0\) if \(f\geq0\). Moreover
It is also worth noticing that for all \(t\geq s\geq0\) and all \(x\in\mathcal{X}_{s}\)
The first key ingredient is the following lemma, which gives the ergodic behavior of the auxiliary conservative semigroup under assumptions (A1) and (A2). This is an almost direct generalization of [11], which holds for homogeneous and sub-conservative (or sub-Markov) semigroups; namely \(M_{s,t}=M_{t-s}\) and \(M_{t} \mathbf{1} \leq\mathbf{1}\), for all \(t\geq s\geq0\). These semigroups are associated to the evolution of absorbed (or killed) Markov processes (see Sect. A). This is also related to [17, Chap. 12] or [16, Chap. 4.3.2]. The proof is given here for the sake of completeness.
Lemma 5
(Doeblin contraction)
Let\(0\leq s\leq t\)and\((c_{i},d_{i})_{1\leq i\leq N}\)satisfying (A1) and (A2) for the time subdivision\(s\leq t _{0}\leq\cdots\leq t_{N} \leq t\). Let\(\tau\geq t_{N}\).
- (i)
For any\(i=1, \ldots, N\), there exists\(\mu_{i}\in\mathcal{P}( \mathcal{X}_{t_{i}})\)such that for all\(x\in\mathcal{X}_{t_{i-1}}\)
$$\delta_{x}P_{t_{i-1},t_{i}}^{(\tau)}\geq c_{i} d_{i} \mu_{i}. $$ - (ii)
For any\(\mu,\widetilde{\mu} \)finite measures on\(\mathcal{X} _{s}\),
$$\bigl\Vert \mu P_{s,\tau}^{(\tau)}-\widetilde{\mu} P_{s,\tau}^{( \tau)} \bigr\Vert _{\mathrm{TV}}\leq\prod_{i\leq N} (1-c_{i}d_{i}) \|\mu-\widetilde{\mu} \|_{\mathrm{TV}}. $$ - (iii)
For any non-zero\(\mu, \widetilde{\mu} \in\mathcal{M}_{+}( \mathcal{X}_{s})\),
$$\begin{aligned} \biggl\| \frac{\mu M_{s,\tau}}{\mu(m_{s,\tau})}-\frac{ \widetilde{\mu} M_{s,\tau}}{\widetilde{\mu} (m_{s,\tau})} \biggr\| _{\mathrm{TV}} &\leq2\prod _{i\leq N} (1-c_{i} d_{i}). \end{aligned}$$
Remark 6
(Sharper bound)
In view of the proof below, one can replace Lemma 2.5 (iii) by
where \(\mathcal{W}_{s,t_{N}}\) is a Wasserstein distance (see for instance [49]) defined by
and the infimum runs over all coupling measures \(\varPi\) of \(\mu\) and \(\widetilde{\mu}\); a coupling measure is a positive measure on \(\mathcal{X}_{s}^{2}\) whose marginals are given by \(\mu\) and \(\widetilde{\mu}\). Even if the right-hand side of (2.4) vanishes now when \(\mu= \tilde{\mu}\), this bound depends on \(t_{N}\) and incalculable quantities. However if there exists \(A_{s},B_{s}>0 \) such that \(A_{s} \leq\sup_{\tau\geq s} \nu m_{s, \tau}/\mu m_{s,\tau}\leq B_{s}\) then Eq. (2.4) entails that
See Sect. 3.1 and Inequality (3.6) for an example.
Proof of Lemma 2.5
Proof of (i). Let \(i\leq N\) and \(f\) be a positive function of \(\mathcal{B}_{b}(\mathcal{X}_{t_{i}})\). Using (A1), we have
Let us find \(\mu_{i}\) satisfying
Using (A2), the semigroup and positivity properties ensure that
Thus
where \(\mu_{i}\) defined by
is a probability measure. Recalling (2.2), (i) follows from (2.5) and (2.6).
Proof of (ii). We consider the conservative linear operator \(U_{i}\) on \(\mathcal{B}_{b}(\mathcal{X}_{t_{i}})\), defined by
for \(f\in\mathcal{B}_{b}(\mathcal{X}_{t_{i}})\) and \(x\in\mathcal{X} _{t_{i-1}}\). It is positive by (i) and \(\|U_{i} f\|_{\infty}\leq \|f\|_{\infty}\). Using
we get
since \(\|U_{i} f\|_{\infty}\leq\|f\|_{\infty}\). Using that \(P^{(\tau)}_{t_{N},\tau}\) is also contraction since it is conservative, we obtain
To conclude, we now check that for any conservative positive kernel \(P\) on some \(\mathcal{X}\), any \(\mu,\widetilde{\mu} \in\mathcal{M}( \mathcal{X})\) such that \(\mu(\mathcal{X})=\widetilde{\mu}( \mathcal{X})<\infty\),
Indeed, \(\mu P-\widetilde{\mu} P=(\mu-\widetilde{\mu})P= (\mu- \widetilde{\mu})_{+}P-(\widetilde{\mu}-\mu)_{+}P\) and \((\mu- \widetilde{\mu})_{+}(\mathcal{X})=(\widetilde{\mu}-\mu)_{+}( \mathcal{X})\),
so we get
This proves (2.8) since, by definition, \(\|\mu- \widetilde{\mu}\|_{\mathrm{TV}}=(\mu-\widetilde{\mu})_{+}( \mathcal{X}) + (\widetilde{\mu}-\mu)_{+}(\mathcal{X}) = 2 (\mu- \widetilde{\mu})_{+}(\mathcal{X})\) and yields (ii).
Proof of (iii). Using now (2.7) and recalling (2.3), for any \(x,y\in\mathcal{X}_{s}\), we have
Then for any nonzero \(\mu\in\mathcal{M}_{+}(\mathcal{X}_{s})\),
The inequality can be similarly extended from \(\delta_{y}\) to a finite measure \(\nu\), which proves (iii). □
Now (A3) is involved to get the following non-degenerate bound for the mass.
Lemma 7
Let\(0\leq s\leq t\)and\((c_{i},d_{i})_{1\leq i\leq N}\)satisfying (A1), (A2) and (A3) for the time subdivision\(s\leq t_{0}\leq\cdots\leq t_{N} \leq t\). For any\(\tau\geq t_{N}\)and any measure\(\mu\in\mathcal{M}_{+}( \mathcal{X}_{s})\), we have
and for any\(x\in\mathcal{X}_{s}\),
If furthermore\(2\alpha\prod_{i\leq N} (1-c_{i}d_{i}) <1\), then for any\(x\in\mathcal{X}_{s}\),
Proof
First, using (A1),
Moreover (A3) ensures that for any \(\tau\geq t_{N}\),
This proves (2.9). Now, the semigroup property yields
Then
Dividing by \(\| m_{t_{N},\tau} \|_{\infty}\) and using \(m_{t_{N}, \tau}\geq0\) and recalling that \(\gamma(\mathcal{X})=0\) and \(f\geq0\) implies that \(|\gamma(f)|\leq\frac{1}{2} \Vert \gamma \Vert _{\mathrm{TV}}\|f\|_{\infty}\), we get
Now combining Lemma 2.5 (iii) and (2.9) yields
and using twice this bound proves (2.10) by triangular inequality.
Finally, (2.12) also gives, for \(\tau=t\),
Using the previous results, we now prove the existence of harmonic functions and Theorem 2.3.
Proof of Theorem 2.3
We fix \(s\geq0\), \(\nu\in\mathcal{P}(\mathcal{X}_{s})\) and \(\beta>0\). We begin by proving that there exists a function \(h_{s}\) positive and bounded such that for any \(x\in\mathcal{X}_{s}\) and any \(t\geq s\),
First, optimizing Inequality (2.10) over all the admissible coupling constants yields
by recalling Definition 2.1 and that (A4) guarantees \(m_{s,t_{N}}(x)/\nu(m_{s,t_{N}})\leq \beta\).
Using that \(C_{\alpha,\beta, \nu}(s,t)\rightarrow\infty\) as \(t\rightarrow\infty\), Cauchy criterion ensures that the following limit exists
Moreover, letting \(\tau\rightarrow\infty\) in (2.14) shows that
Optimizing now similarly over coupling constants in (2.11) and letting \(\tau\rightarrow\infty\) yields
for any \(t\) such that \(\alpha\exp(-C_{\alpha,\beta, \nu}(s,t))<1\). Combining these two bounds proves (2.13).
Integrating (2.13) over some \(\mu\in\mathcal{M}_{+}( \mathcal{X}_{s})\), we get
Moreover Lemma 2.5 (iii) yields (after optimization over coupling constants) for non-zero \(\mu\),
and combining the two previous inequalities gives
Using again Inequality (2.17), with \(\mu= \gamma M_{s_{0},s}\), we obtain
To conclude it remains to control \(\mu(m_{s,t})\) and \(\mu(h_{s})\). First, we notice that \(h_{s}\) is bounded by \(\beta\) using (A4) and (2.15). Using again (A4), we have
and the first bound of (2.18) yields
Moreover, if \(C_{\alpha,\beta, \nu}(s,t)> \log(3\alpha)\), using the second part of (2.16) and the fact that \(\vert a-b \vert\leq\eta|b|\) and \(\eta\in[0,1)\) imply that \(|b|\leq|a|/(1- \eta)\) ensures that
so that the second part of (2.18) becomes
This proves the estimate stated in Theorem 2.3 when \(C_{\alpha,\beta, \nu}(s,t)\geq\log(4\alpha)\). Finally, this estimate applied to \(\mu=\delta_{x}\) ensures that
and then
so that \(h_{s}>0\). The fact that \(\nu(h_{s})=1\) follows directly from (2.15) and dominated convergence theorem, while uniqueness of \(h_{s}\) is derived letting \(t\) go to infinity. □
3 Applications
In the present section, we develop different applications of Theorem 2.3. We aim at illustrating the main result and show how to check the required assumptions. Yet we also obtain new estimates and mention that the models can be made more complex.
We first consider the heat equation with growth and reflecting boundary on the compact set \([0,1]\) and time space inhomogeneity. The coupling capacity is then expressed in terms of the function describing the diffusion coefficient.
Then we prove general statements when the semigroup is homogeneous, asymptotically homogeneous, and periodic. The results are illustrated by asymptotic estimates for the renewal equation.
3.1 A Growth-Diffusion Equation with Reflecting Boundary and Varying Environment
In this section \(\mathcal{X}_{t}=\mathcal{X}= [0,1]\) for every \(t\geq0\). We consider a population of particles which reproduce and move following a diffusion varying in time. The evolution of its density is prescribed by the following PDE
for some \(\phi\in L^{1}([0,1])\). As usual, we do not stress the dependence on \(\phi\) of \(u\). This equation is the nonautonomous Heat Equation with growth under Neumann boundary conditions. More precisely, particles diffuse with coefficients \((\sigma_{t})_{t\geq0}\) on the space \([0,1]\). The growth rate \(r(x)\) is the difference between birth and death rate at position \(x\in[0,1]\).
In this example, \(\sigma\) is time-dependent but not space-dependent and conversely for \(r\). Our coupling methods provide a relevant approach for estimating the speed of convergence in this varying environment case. This analysis could be easily generalized for both time-dependant and space-dependant parameters but would provide tedious computations, so it is left for future works.
Let us work with another representation of the solution of (3.1). Let \((X^{x}_{s,t})_{t\geq s}\) be a reflected Brownian motion on \([0,1]\) starting from \(x\) at time \(s\), with diffusion coefficient \(\sigma_{t}\) at time \(t\), see (3.3) below for a construction. We define the positive semigroup \(M\) by
for every bounded Borel function \(f\) on \([0,1]\), and \(t\geq s \geq0\). Then \(\mu M_{s,t}\) is defined by setting for all \(f\in\mathcal{B} _{b}([0,1])\)
Feynman-Kac formula [44, Chapter VII Proposition (3.10) p. 358] states the duality relation of this semigroup with the solution \(u\) of (3.1):
for every bounded measurable function \(f\). This property allows to see the mapping \(t\to\mu M_{s,t}\) as the unique solution to Eq. (3.1) when the initial density \(\phi\) is replaced by a measure \(\mu\).
3.1.1 Statements
We assume that \(t\mapsto\sigma_{t}\) is a non-negative and càdlàg function, \(r\) is continuous and
Introduce the function \(g\) with value in \(\mathbb{R} \cup\{+\infty \}\) to measure the coupling capacity in function of the parameters
where
These functions allow to control the coupling capacity in this model by considering
where \(\mathcal{T}_{\tau, \rho}(s,t)\) is the set of subdivisions \((t_{i})_{i=0}^{N+1}\) such that \(N\geq1\), \(s=t_{0} \leq\cdots \leq t_{N+1}\leq t\) and
Indeed, \(\mathfrak{C}_{\tau,\rho}(s,t)\) is a lower bound of (2.1). The constant 5 may be improved and replaced for instance by \(4 + \varepsilon\), but we restrict ourselves here to this value which allows to get a simple expression of the coupling constants \(\alpha\) and \(\beta\), namely \(\alpha=\gamma_{ \tau}^{2}, \beta=\gamma_{\rho}\gamma_{\tau}\) where
The first time interval of size \(\rho\) is involved in the control of the mass and the expression of \(\beta\). A general quantitative bound can now be given as follows, writing \(\lambda\) the Lebesgue measure on \([0,1]\).
Theorem 1
Let\(s\geq0\)and\(\tau>0\). Assume that\(\mathfrak{C}_{\tau,\rho}(s,t) \rightarrow\infty\)as\(t\rightarrow\infty\). Then there exists a function\(h_{s} : [0,1] \rightarrow(0, \gamma_{\rho}\gamma_{\tau}]\)and probabilities\((\pi_{t})_{t\geq0}\)such that
for any\(\mu\in\mathcal{M}([0,1])\)and\(t\)such that\(\mathfrak{C} _{\tau,\rho}(s,t) \geq2\log(2)+2\log(\gamma_{\tau})\).
The proof of Theorem 3.1 is postponed to Sect. 3.1.2. Let us now illustrate this result by constructing a relevant lower bound of \(\mathfrak{C}_{\tau,\rho}(s,t)\). Let \(s\geq0, \tau>0\) and set
and the sequence \((t_{k}(s,\tau))_{k}\) defined by induction:
using again the convention \(\inf\varnothing=+ \infty\). As \((s,t)\mapsto\sigma_{s,t}\) is continuous, there exists \(t_{k}'(s, \tau)\) such that
Using then the time subdivision \(s,t_{1}(s,\tau),\ldots, t_{k}(s,\tau), t_{k}'(s,\tau), t_{k}(s,\tau)+\tau,\ldots\)\((k\geq2)\), we get an upper bound for \(g(t_{k}'(s,\tau)-t_{k}(s,\tau))\) and \(g(t_{k}(s,\tau)+ \tau-t_{k}'(s,\tau)) \) and
We derive then immediately a speed of convergence from Theorem 3.1.
Corollary 2
Let\(s\geq0\)and\(\tau>0\). Assume that\(t_{k}(s,\tau)<\infty\)for any\(k\geq1\).
Then there exists a positive bounded function\(h_{s}\)and probabilities\((\pi_{t})_{t\geq0}\)such that
uniformly over\(\mu\in\mathcal{P}([0,1])\). Moreover\(h_{s}\)is bounded by\(\gamma_{\tau} \gamma_{t_{1}(s,\tau)-s}\).
As soon as \(\limsup_{i} t_{i}(s,\tau)/i<\infty\), we obtain an exponential speed. Note also that superexponential or subexponential speed could be obtained by alternative constructions of time sequences.
As an application for exponential convergence in random environment, let us consider a Feller càdlàg Markov process \((t,w)\in[0, \infty)\times\varOmega\rightarrow\sigma_{t}(w)\in[0,\infty)\) on a probability space \((\varOmega, \mathcal{F}, \mathbb{P})\). We assume that the process \((\sigma_{t})_{t\geq0}\) is Harris positive recurrent with stationary probability \(\pi\neq\delta_{0}\). For each \(w\in\varOmega\), we write \(M_{s,t}=M_{s,t}(w)\) the semigroup defined by (3.2) and associated to the diffusion coefficient \((\sigma_{t}(w))_{t\geq0}\). By a Birkhoff Theorem (see [37, Theorem 8.1] and [37, Theorem 3.2]), we obtain that \(\max\{ N : t_{N+1}(s, \tau) \leq t-\tau\}\) grows linearly as \(t\rightarrow\infty\) with a deterministic speed. It yields the following quenched estimate: there exists \(v>0\) such that
and the convergence is uniform and (at least) exponential. Let us observe that the diffusion may be zero for arbitrarily large time intervals.
3.1.2 Proof of Theorem 3.1
We begin by the construction and some useful estimates for process \((X^{x}_{s,t})_{s,t}\), which is associated to a nonhomogeneous diffusion \([0,1]\) with Neumann boundary condition. Let \((B_{t})_{t\geq0}\) be a classical Brownian motion on ℝ, and set \((W^{x}_{s,t})_{t \geq s \geq0}\) defined for all \(x\in[0,1]\) and \(t\geq s\geq0\) by
The random variable \(W_{s,t}^{x}\) is distributed according to a Gaussian law \(\mathcal{N} (x,\sigma_{s,t} )\). The reflected process \((X^{x}_{s,t})\) can now be defined by
Lemma 3
(Bounds on the density for the diffusion)
For any\(t> s \geq0\), there exists\(c_{s,t}\geq1\)such that for any Borel set\(A\)of\([0,1]\),
with the convention\(1/0=\infty\).
Proof
We define
the density of \(W_{s,t}^{x}\). Using that
we obtain
with
Using (3.4), these constants verify
It remains to prove an upperbound of the difference \(c_{s,t}-d_{s,t}\) and conclude. Decomposing the sum following \(n=0, n\geq1\) and \(n\leq-1\) shows on a first hand that
and on the other hand
Combining
and
we obtain \(c_{s,t} -d_{s,t} \leq4 \phi^{0}_{s,t}(0)\). This ends the proof. □
We give now the coupling constants and introduce
Lemma 4
(Coupling constants)
Let\(s= t_{0} \leq\cdots\leq t_{N}\leq t_{N+1}\leq t \).
- (i)
Assumptions (A1) and (A2) are satisfied with the constants
$$c_{i}=\overline{\sigma}_{t_{i-1},t_{i}}\mathrm{e}^{-(\overline{r}- \underline{r})(t_{i}-t_{i-1})}, \quad i=1,\dots,N+1, $$and
$$d_{i}=c_{i+1}= \overline{\sigma}_{t_{i},t_{i+1}}\mathrm{e}^{-( \overline{r}-\underline{r})(t_{i+1}-t_{i})}, \quad i=1,\ldots,N, $$and\(\nu_{i}=\lambda\)for\(i=1, \ldots, N+1\).
- (ii)
If\(\sigma_{t_{0}, t_{1}} > 4\), \(\sigma_{t_{N-1}, t_{N}} > 4,\, \sigma_{t_{N}, t_{N+1}} > 4\), then (A3) and (A4) hold with
$$\alpha= \frac{ \mathrm{e}^{(\overline{r}-\underline{r})(t_{N+1}-t _{N-1})}}{\overline{\sigma}_{t_{N-1},t_{N}}\overline{\sigma}_{t_{N},t _{N+1}}}, \qquad\beta= \frac{\mathrm{e}^{(\overline{r}- \underline{r})(t_{1}-t_{0})}}{ \overline{\sigma}_{t_{0},t_{1}}}, $$and\(\nu=\lambda\).
Proof
Lemma 3.3 and Eq. (3.2) ensure that for any probability measure \(\mu\), \(u > v \geq0\)
where \(d_{u,v}:= ( c_{u,v}-4/\sigma_{u,v} )_{+}\). Then
recalling that \(c_{u,v}\geq1\). In particular
Combining the two last bounds, we find
and obtain the expected value of \(c_{i}\), with \(u=t_{i-1}, v=t_{i}\).
Moreover for all \(w\in(u,v]\) such that \(d_{u,w}>0\), we also have by integration of (3.5)
Taking respectively \(\mu=\delta_{x}\) and \(\mu= \lambda\) for the second (resp. first) inequality,
and we get the value of \(d_{i}\), with \(u=t_{i}, w=t_{i+1}, v=\tau\).
Let us turn to the proof of (ii). Using again (3.7) with now \(u=t_{N}, w=t_{N+1}, v=\tau\) yields
Recalling the expression of \(c_{N}\) from (i) provides the expected value of \(\alpha\). Finally, using (3.7) with \(u=s\), \(w=t _{1}\), \(v=t_{N}\) yields \(\beta\). □
Remark that the previous proof could be achieved, without probabilistic notation. Indeed, bounding \(r\), one can build sub and super solutions, which, up to renormalization, satisfy Eq. (3.1) with \(r=0\). It is then enough to use Lemma 3.3 which is only based on the explicit solutions of (3.1) with constant \(r\).
Proof of Theorem 3.1
Consider a sequence \((t_{i})_{i=0}^{N+1}\) such that \(N\geq1\), \(s=t_{0} \leq\cdots\leq t_{N+1}\leq t\) and
By Lemma 3.4, the following constants
are \((\alpha,\beta,\lambda)\) admissible coupling constants for \(M\) on \([s,t]\), with \(\alpha=\gamma_{\tau}^{2}\) and \(\beta= \gamma_{\rho}\). Then, optimizing over admissible coupling constants yields
and applying Theorem 2.3 ends the proof. □
3.2 Homogeneous Semigroups and the Renewal Equation
First, we specify the general result in the homogeneous setting, which simplifies the assumptions. Second, we develop an application to the renewal equation.
3.2.1 Existence of Eigenelements and Speed of Convergence
In this subsection we consider a semigroup \((M_{s,t})_{0\leq s\leq t}\) which is homogeneous, meaning that the sets \(\mathcal{X}_{t}= \mathcal{X}\) are time-independent and that there exists a semigroup \((M_{t})_{t\geq0}\) set on \(\mathcal{X}\) such that \(M_{s,t}=M_{t-s}\) for all \(t\geq s \geq0\). In this case Assumptions (A1), (A2), (A3) and (A4) can be simplified as follows.
First, there exist constants \(c>0\), \(r>0\) and a probability measure \(\nu\) such that for any \(x\in\mathcal{X}\),
Second, there exists a constant \(d>0\) such that for any \(t\geq0\),
where we recall the notation \(m_{t}=M_{t}\mathbf{1}\). These assumptions have been obtained in [12] for the study of process conditioned on non-absorption. Let us note that [12] also prove that they are necessary conditions for uniform exponential convergence in total variation distance. Additionally the main result can be strengthened, provided an additional assumption:
Notice that this last assumption is satisfied by classical semigroups appearing in applications.
Theorem 5
Under Hypotheses (H1), (H2) and (H3), there exists a unique triplet\((\gamma, h, \lambda) \in\mathcal{P}( \mathcal{X})\times\mathcal{B}_{b}(\mathcal{X})\times\mathbb{R}\)such that\(\gamma(h)=1\)and for all\(t\geq0\),
Additionally\(h\)is bounded and positive on\(\mathcal{X}\)and there exists\(C>0\)such that for all\(t\geq0\)and\(\mu\in\mathcal{M}( \mathcal{X})\),
Theorem 3.5 strictly extends the main result of [11]. For instance their theorems do not apply for the semigroup of Sect. 3.2.2 below. This semigroup cannot be written as a the semigroup of a killed Markov process, even up to exponential normalization.
Remark 6
By differentiating (3.8), the triplet \((\gamma,h,\lambda )\) is a triplet of eigenelements for the infinitesimal generator of \((M_{t})_{t\geq0}\), that is \(\gamma\mathcal{A}=\lambda\gamma\) and \(\mathcal{A} h=\lambda h\) where the (unbounded) operator \(\mathcal{A}\) is defined by \(\mathcal{A}=\lim_{t\to0}\frac{1}{t}(M_{t}-I)\).
Remark 7
With Lemma 2.5 (iii), we also recover (as expected) the statement from [12]:
Proof
Assume (H1) and (H2) and consider \((t_{i})_{0 \leq i \leq N}\) defined by \(t_{i}=ir\). Then Assumptions (A1)–(A4) hold with, for every \(0\leq i \leq N\),
This implies
By Theorem 2.3 applied to \(M\) on \([0,t]\), there exist \(C>0\) and \(h_{0} : \mathcal{X}\rightarrow[0,\infty) \) such that for any \(\mu,\widetilde{\mu}\in\mathcal{M}(\mathcal{X})\)
Moreover, taking \(\mu=\delta_{x}\),
for the supremum norm and \(h_{0}\) is positive, bounded by \(1/d\), and \(\nu(h_{0})=1\). By the semigroup property we have \(m_{t+s}(x)= \delta _{x} M_{t} m_{s}\) from which we deduce that
Letting \(s\to\infty\), we get
This means that \(h_{0}\) is an eigenvector of \(M_{t}\) associated to the eigenvalue \(\nu M_{t} h_{0}\). Since the semigroup property yields
and \(t \mapsto\nu M_{t} h_{0}\) is locally bounded (by assumption (H3), because \(0\leq\nu M_{t}h_{0}\leq\|m_{t} \|_{\infty}/d\)), we deduce the existence of \(\lambda\in\mathbb{R}\) such that
Let us now show the existence of a left eigenvector \(\gamma\). Applying (3.9) to \(\mu=\nu\) and \(\widetilde{\mu}=\nu M _{s}\) we get that
This ensures that the family \((\frac{\nu M_{t}}{\nu(m_{t})} )_{t\geq0}\) satisfies the Cauchy property and we deduce the existence of a probability measure \(\gamma\) such that
Then we use the semigroup property to write that for all \(s,t\geq0\) we have
and letting \(s\) tend to infinity we find
Now we set \(h=h_{0}/\gamma(h_{0})\), so that \(\gamma(h)=1\). Applying (3.9) to \(\mu=\widetilde{\mu}=\gamma\) and dividing by \(\nu(m_{t})\) yields
Finally, using (3.9) with \(\widetilde{\mu}=\gamma\), we write for \(\mu\in\mathcal{M}(\mathcal{X})\) and \(t\geq0\)
The conclusion follows from the fact that the function \(t\mapsto \nu(m_{t})\mathrm{e}^{-\lambda t}\) is bounded. Indeed it is locally bounded due to (H3), and it converges to \(1/\gamma(h_{0})\) when \(t\to+\infty\). □
3.2.2 Example: The Renewal Equation
We consider an age-structured population of proliferating cells which divide at age \(a\geq0\) according to a division rate \(b(a)\), giving birth to two daughter cells with age zero. The evolution of the age distribution density \(u_{t}\) is given by the so-called renewal PDE
This model has been introduced by Sharpe and Lotka [46] in a more general context, namely with a “birth rate” not necessarily equal to twice the “death rate”. Since then, it has become a very popular model in population dynamics (see for instance [1, 31, 36, 43, 48, 51]).
The state space here is \(\mathcal{X}=\mathbb{R}_{+}=[0,\infty)\). Following [24] we associate to Eq. (3.10) the homogeneous semigroup \((M_{t})_{t\geq0}\) defined as follows. For any \(f\in\mathcal{B}_{b}(\mathbb{R}_{+})\), we define the family \((M_{t}f)_{t\geq0}\subset\mathcal{B}_{b}(\mathbb{R}_{+})\) as the unique solution to the equation
The proof of the existence and uniqueness of a solution to (3.11) is postponed in Appendix B, Lemma B.1. We also refer to Appendix B for the rigorous definition of \(\mu M_{t}\), which provides the unique measure solution to Eq. (3.10) with initial distribution \(\mu\). In particular if \(\mu\) has a density \(u_{0}\) with respect to the Lebesgue measure, we get that \(u_{t}=\mu M_{t}\) is the unique \(L^{1}\) solution to Eq. (3.10) with initial distribution \(u_{0}\). Appendix B also contains a verification of Assumption 2.1 for the semigroup \((M_{t})_{t\geq0}\).
Now we can use Theorem 3.5 to obtain the long time asymptotic behavior of the solutions to Eq. (3.10).
Theorem 8
Assume that\(b\)is a non-negative locally bounded function on\(\mathbb{R}_{+}\), and suppose the existence of\(a_{0}>0\), \(p>0\), \(l\in(p/2,p]\), and\(\underline{b}>0\)for which
Then there exists a unique triplet of eigenelements\((\gamma, h, \lambda) \in\mathcal{P}(\mathbb{R}_{+})\times\mathcal{B}_{b}( \mathbb{R}_{+})\times\mathbb{R}_{+}\)verifying\(\gamma(h)=1\)and
Moreover there exist\(C>0\)and an explicit\(\rho>0\), given by (3.13), such that for all\(\mu\in\mathcal{M}( \mathbb{R}_{+})\)and all\(t\geq0\)
The convergence of the solutions to a time-independent asymptotic profile multiplied by an exponential function of time, sometimes referred to as asynchronous exponential growth, was first conjectured for the renewal equation by Sharpe and Lotka [46] and was then proved by many authors using various methods, see for instance [21, 26,27,28, 32, 43, 47, 50]. Moreover it is known that the so-called Malthus parameter \(\lambda\) is characterized as the unique real number which satisfies the characteristic equation
the asymptotic probability measure has an explicit density with respect to the Lebesgue measure
where \(\kappa\) is a normalization constant which ensures that \(\gamma\in\mathcal{P}(\mathbb{R}_{+})\), and the harmonic function \(h\) is explicitly given by
where \(h(0)\) is chosen so that \(\gamma(h)=1\).
The existing results about asynchronous exponential growth for the renewal equation hold for birth and death rates which are not necessarily related by a multiplicative factor, as we assume here. But in these previous works the birth rate is assumed to be bounded or integrable, a condition which is not required in our situation. In Eq. (3.10) if the division rate is unbounded, then the unboundedness of the birth rate \(2b\) is “compensated” by the unboundedness of the death rate \(b\). Thus our result is new in the sense that the assumptions on the division rate are very general, but also because it provides an explicit spectral gap in terms of the division rate and a convergence which is valid for measure solutions.
The assumptions on the division rate \(b\) include some functions which are not bounded neither from above nor from below by a positive constant when \(a\) tends to infinity. The only assumption is that, outside a compact interval, \(b\) is larger than a crenel function with period \(p\) and a crenel width \(l\). The condition \(l>p/2\) is only a technical assumption which simplifies the computations. It can be removed to the price of a larger number of iterations of the Duhamel formula in the proof.
Before proving Theorem 3.8, we define the probability distribution of age of division
and we give a useful property of \(m_{t}=M_{t}\mathbf{1}\).
Lemma 9
For any\(a\geq0\)the function\(t\mapsto m_{t}(a)\)is non-decreasing.
Proof
First we check that \(m_{t}(0)\geq1\) for all \(t\geq0\). By definition \(t\mapsto m_{t}(0)\) is the unique fixed point of
and if \(g\geq1\) then for all \(t\geq0\)
So the fixed point necessarily satisfies \(m_{t}(0)\geq1\), since \(\varGamma\) is a contraction for small times (see Lemma B.1).
In a second step we prove that \(t\mapsto m_{t}(0)\) is non-decreasing. Let \(\epsilon>0\). For all \(t\geq0\) we have by definition of \(m_{t}(0)\)
So \(t\mapsto m_{t+\epsilon}(0)-m_{t}(0)\) is the unique fixed point of
with \(f_{0}(t)=\int_{t}^{t+\epsilon} \mathrm{e}^{-\int_{t}^{\tau}b( \tau')\,d\tau'}b(\tau)(2m_{t+\epsilon-\tau}(0)-1)\,d\tau\geq0\). We deduce from the positivity property in Lemma B.1 that \(m_{t+\epsilon}(0)-m_{t}(0)\geq0\) for all \(t\geq0\).
The last step consists in extending the result of the second step to \(t\mapsto m_{t}(a)\) for any \(a\geq0\). Let \(a\geq0\) and \(\epsilon>0\). For all \(t\geq0\) we have
□
Corollary 10
For all\(t,a\geq0\)we have\(m_{t}(a)\leq2\,m_{t}(0)\).
Proof
Starting from the Duhamel formula (3.11) and using Lemma 3.9 we have
□
We are now ready to prove Theorem 3.8.
Proof of Theorem 3.8
We prove that Assumptions (H1), (H2), and (H3) are satisfied by the renewal semigroup and then apply Theorem 3.5.
We start with (H1). For \(\alpha>0\), we define the probability measure \(\nu\) by
We want to prove that for \(\alpha\) small enough (to be determined later), there exists a time \(t_{0}>0\) and \(c>0\) such that for all \(f\geq0\) and \(a\geq0\),
Iterating the Duhamel formula (3.11) we have for all \(f\geq0\) and all \(t,a\geq0\),
Let \(t_{0}>0\), \(\alpha\in[0,t_{0}]\), and \(0\leq t_{1}\leq t_{2} \leq t_{0}-\alpha\). We have
This inequality means that for bounding \(M_{t_{0}}f\) from below we only keep the individuals which: do not divide between times 0 and \(t_{1}\); divide a first time between \(t_{1}\) and \(t_{2}\); do not divide between \(t_{2}\) and \(t_{0}-\alpha\); divide a second time between \(t_{0}-\alpha\) and \(t_{0}\).
Let us check that we can choose \(t_{0},t_{1},t_{2}\) and \(\alpha\) such that \(b\) and then \(\varPhi\) have a lower bound on \([t_{0}-t_{2}-\alpha ,t_{0}-t_{1}]\) and then give a lower bound for
and obtain (3.12). For that purpose, we define \(n= \lfloor a_{0}/p \rfloor+1\) the smallest integer such that \(np> a_{0}\). Let \(\alpha\in(0,2l-p)\) and \(t_{0}=a_{0}+np+l\). The choice of \(t_{1}\) and \(t_{2}\) depends on whether \(a< a_{0}\) or \(a\geq a_{0}\).
For \(a< a_{0}\) we choose \(t_{1}=np\) and \(t_{2}=np+l-\alpha\). We have \(b\geq\underline{b}\) on \([t-t_{2}-\alpha,t-t_{1}]=[a_{0},a_{0}+l]\), so that \(\varPhi\geq\underline{b}\,\mathrm{e}^{-\int_{0}^{a_{0}+l}b( \tau)\,d\tau}\) on \([t-t_{2}-\alpha,t-t_{1}]\), and
For \(a\geq a_{0}\) we choose \(t_{1}=0\) and \(t_{2}=l-\alpha\). We have \(\varPhi\geq\underline{b}\,\mathrm{e}^{-\int_{0}^{A+np+l}b(\tau)\,d \tau}>0\) on \([t-t_{2}- \alpha,t-t_{1}]=[a_{0}+np,a_{0}+np+l]\), and
As a consequence, (3.12) is satisfied with
which gives Assumption (H1).
Now we turn to (H2). Since we know from Corollary 3.10 that \(m_{t}(0)\geq\frac{1}{2}m_{t}(a)\) for all \(t,a\geq0\), it suffices to find \(d>0\) such that for all \(t\geq0\),
Lemma 3.9 ensures that for all \(t\geq0\),
and the constant \(d=\frac{\alpha}{2\int_{0}^{\alpha}m_{s}(0)\,ds}\) suits.
It remains to check (H3). In that view, we define
and we write for \(t\geq s\geq0\)
Applying the Grönwall’s lemma we get \(m_{s}(0)\leq\mathrm{e}^{2 \mathfrak{b}(t) s}\) for all \(s\in[0,t]\), so \(m_{t}(0)\leq\mathrm{e} ^{2 \mathfrak{b}(t) t}\), and using Corollary 3.10 we obtain
Finally we can apply Theorem 3.5 which ensures the exponential convergence with the rate
where
and the result follows by choosing \(\alpha=l- p/2\). □
3.3 Asymptotically Homogeneous Semigroups and Increasing Maximal Age
In this section, we present a general theorem for semigroups which become homogeneous when time tends to infinity. We then apply this theorem to an age structured population where the state space has a maximal age which increases with time.
3.3.1 Convergence of the Profile and Evolution of the Mass
We consider the situation of a semigroup which becomes homogeneous when time goes to \(\infty\). For the sake of simplicity and in view of our application, we restrict ourselves to the case when the state space is increasing:
We say that a semigroup \((M_{s,t})_{0\leq s\leq t}\) is asymptotically homogeneous if there exists a homogeneous semigroup \((N_{t})_{t\geq0}\) defined on \(\mathcal{X}\) and satisfying Assumption 2.1, such that for all \(s\geq0\)
In our framework, the assumptions (A1)–(A4) rewrite as follows. There exist \(s_{0},r>0\), \(c,d>0\) and some probability measure \(\nu\) on \(\mathcal{X}_{s_{0}}\) such that for any \(t\geq s _{0}\) and \(x\in\mathcal{X}_{t}\),
and for any \(\tau\geq0\),
As for the homogeneous case, writing \(n_{t}(x)=\delta_{x} N_{t} \mathbf{1}\), for \(x \in\mathcal{X}\) and \(t\geq0\), we need that
Theorem 11
Let\(s\geq0\). Under Assumptions (H′0), (H′1), (H′2) and (H′3), there exists a probability measure\(\gamma\)on\(\mathcal{X}\)and a positive bounded function\(h_{s}\)on\(\mathcal{X}_{s}\)such that
Notice that the TV norm above is the TV norm on the state space \(\mathcal{X}\), the measure \(\mu M_{s,t}\in\mathcal{M}(\mathcal{X} _{t})\) being extended by zero on \(\mathcal{X}\setminus\mathcal{X} _{t}\).
Notice also that in Theorem 3.11 we do not provide a speed of convergence. It could be achieved by taking into account the speed of convergence of \(M\) to \(N\).
Proof
Following (2.3), we set
for any \(x \in\mathcal{X}\), \(t\geq s\geq0\). Fix \(x_{0}\in \mathcal{X}\). First, using (H′0), for any \(u\geq0\), we obtain
and then using again (H′0),
Now we note that (H′1) and (H′2) ensure that (A1)–(A4) are satisfied for any regular subdivision of \([s,t]\) with step \(r\) (i.e.\(t_{i}-t_{i-1}=r\)) and \(t_{0}\geq s_{0}\), for the constants
We apply then Theorem 2.3 to \(M\) with \(\gamma=\delta_{x _{0}}\), which ensures that, for every \(s\geq0\),
while Lemma 2.5 (ii) guarantees
Using (H′0) and letting \(t\rightarrow\infty\) in (H′1), (H′2) and (H′3), we obtain that the semigroup \(N\) satisfies (H1), (H2) and (H3). Then by Theorem 3.5, there exists a probability measure \(\gamma\) such that
Hence, (3.14) becomes
Using now \(\delta_{x_{0}}P_{0,t+u}^{(t+u)}= (\delta_{x_{0}}P_{0,t} ^{(t+u)})P_{t,t+u}^{(t+u)}\) and (3.16), we get
Combing the two last bounds yields
Plugging this in (3.15) concludes the proof. □
3.3.2 Example: The Renewal Equation with Maximal Age
We consider the renewal equation on a domain bounded by a maximal age which increases along time. When an individual reaches the maximal age, he dies. We denote by \(a_{t}\) the maximal age, which grows from \(a_{0}\) to \(a_{\infty}\) when \(t\to+\infty\). To avoid pathological situations we assume that \(t\mapsto t-a_{t}\) is strictly increasing. Inside the domain \([0,a_{t})\) the individuals reproduce with a birth rate \(b(a)\) bounded from below by \(\underline{b}>0\) and from above by \(\overline{b}\). The partial differential equation which prescribes the evolution of the density \(u_{s,t}(a)\) of individuals with age \(a\) at time \(t\) (starting from a distribution \(u_{s}(a)\) at time \(s\in[0,t)\)) writes
The motivation of such a model comes from [3] which studies a related branching model for the bus paradox problem.
The details of the construction of the associated semigroup are postponed to Appendix C. Here we only give the main steps. For \(t\geq s\geq0\) we define the operator \(M_{s,t}: \mathcal{B}_{b}([0,a_{t}))\to\mathcal{B}_{b}([0,a_{s}))\) as follows: for any \(f\in\mathcal{B}_{b}([0,a_{t}))\) the family \((M_{s,t}f)_{t \geq s\geq0}\) is the unique solution to the equation
where we have denoted \(b_{t}(a)=b(a)\mathbf{1}_{[0,a_{t})}(a)\) and \(f\) has been extended by 0 beyond \(a_{t}\). Then for \(\mu\in \mathcal{M}(\mathcal{X}_{s})\) the measure \(\mu M_{s,t}\) is defined on \([0,a_{t})\) in such a way that \((\mu M_{s,t})(f)=\mu(M_{s,t}f)\) for all \(f\in\mathcal{B}_{b}([0,a_{t}))\).
Using Theorem 3.11 we prove the following ergodic result for the semigroup \((M_{s,t})_{t\geq s\geq0}\). It provides the long time asymptotic behavior of the measure solutions \((\mu M_{s,t})_{t \geq s}\) to (3.17).
Theorem 12
Let\(s\geq0\). There exist\(\gamma\in\mathcal{P}([0,a_{\infty}))\), \(\nu\in\mathcal{P}([0,a_{s}))\), and a positive\(h_{s}\in \mathcal{B}_{b}([0,a_{s}))\)such that for all\(\mu\in\mathcal{M}([0,a _{s}))\),
Before proving this theorem we start with a useful lemma.
Lemma 13
For any\(s\leq t\)and any\(f\in C_{0}([0,a_{t}))\), we have
Proof
By definition of \(M_{s,t}f(0)\) we have
and the Grönwall’s lemma gives \(|M_{s,t}f(0)|\leq\|f\|_{\infty} \mathrm{e}^{\overline{b}(t-s)}\). Then for \(a\geq0\) we write
□
Proof of Theorem 3.12
We start by verifying (H′0) with \(\mathcal{X}= [0,a_{ \infty})\). The homogeneous semigroup \(N\) on \(\mathcal{M}(\mathcal{X}) \times\mathcal{B}_{b}(\mathcal{X})\) is defined by the following Duhamel formula
Existence, uniqueness and Assumption 2.1 can be proved in the same way as for the homogeneous renewal equation (see Appendix B).
Fix \(t>0\), \(a\in\mathcal{X}_{t}=[0,a_{t})\), and \(f\in C_{0} ([0,a _{t}) )\) such that \(\|f\|_{\infty}\leq1\). For any \(r\geq a_{ \infty}\) we have
and
We start by comparing \(M_{t,t+r}f(0)\) and \(N_{r}f(0)\). We have, using Lemma 3.13,
which gives by Grönwall’s lemma
Now we come back to \(a\in[0,a_{t})\) and we have similarly
We deduce that for all \(r\geq a_{\infty}\),
Now we turn to (H′1). Iterating the Duhamel formula (3.18), we get for \(f\geq0\),
Thus
We consider \(s\) large enough so that \(\Delta:=a_{\infty}-a_{s} \leq a_{s}/2\). We set \(\alpha:=\frac{\Delta}{2}\) and take \(t-s=2\Delta\). For \(s\leq\tau\leq\tau'\leq t\) we have \(\tau'- \tau\leq t-s=2\Delta\leq a_{s}\leq a_{\tau}'\) and so \(b_{\tau'}( \tau'-\tau)=b(\tau'-\tau)\geq\underline{b}\). We deduce that
We consider separately \(a\leq a_{s}-\alpha\) and \(a\geq a_{s}-\alpha \). For \(a\leq a_{s}-\alpha\) et \(\tau\in[s,s+\alpha]\) we have \(a+\tau-s\leq a_{s}\leq a_{\tau}\) and so \(b_{\tau}(a+\tau-s)=b(a+ \tau-s)\geq\underline{b}\). Thus we can write
where \(\nu(f)=\frac{1}{\alpha}\int_{0}^{\alpha}f(r)\,dr\). Now for \(a>a_{s}-\alpha\) we have that if \(\tau\geq t-\alpha\) then \(a+\tau-s\geq a_{s}+\Delta=a_{\infty}\) and so \(b_{\tau}(a+\tau-s)=0\). We deduce that
To conclude that (H′1) is satisfied it remains to compare these lower bounds with \(m_{s,t}(a)\). We start from the Duhamel formula
and use Lemma 3.13 which ensures that \(m_{\tau,t}(0) \leq\mathrm{e}^{\overline{b}(t-\tau)}\). If \(a\leq a_{s}-\alpha\), we write that
For \(a>a_{s}-\alpha\) we use that \(a+t-s\geq a_{s}+\Delta=a_{\infty }\geq a_{t}\) to write
Finally we get
For (H′2) we start by comparing \(m_{s,t}(a)\) to \(m_{s,t}(0)\). We have
Then we compare \(m_{s,t}(0)\) to \(\nu(m_{s,t})\). We consider separately the cases \(s\leq t\leq s+\alpha\) and \(t>s+\alpha\). For \(s\leq t \leq s+\alpha\) we have, since \(\alpha+t-s\leq2\alpha=\Delta \leq a(0)\leq a_{t}\),
and we have already seen that \(m_{s,t}(0)\leq\mathrm{e}^{ \overline{b}(t-s)}\), so
and
For the case \(t>s+\alpha\) we split into two steps. We start by comparing \(m_{s,t}(0)\) to \(m_{r,t}(0)\) for \(s\leq r\leq s+\alpha\). The semigroup property allows to decompose \(m_{s,t}(0)=\delta_{0} M_{s,r}m _{r,t}\). Lemma 3.13 ensures that \(\|\delta_{0}M _{s,r}\|_{\mathrm{TV}}\leq\mathrm{e}^{\overline{b}(r-s)}\) so, using again the bound \(m_{r,t}(a)\leq\frac{\overline{b}}{\underline{b}}m _{r,t}(0)\), we get
To conclude we write
Finally, we have proved that for all \(t>s+\alpha\) we have
Finally, (H′3) comes from similar computations and a generalization of Lemma 3.13 for \(N\). □
3.4 Periodic Semigroups and the Renewal Equation
In this section, we establish the convergence to a periodic profile for periodic semigroups. This generalizes the Floquet theory [22] for periodic matrices. We apply this result to the renewal equation and obtain an explicit exponential rate of convergence. Let us mention that it provides an exponential decay to Floquet eigenelements for a periodic PDE, which up to our knowledge has not been achieved so far.
3.4.1 Exponential Convergence for Periodic Semigroups
We start by a definition of the so-called Floquet eigenelements.
Definition 14
(Periodic semigroup and Floquet eigenelements)
We say that a semigroup \((M_{s,t})_{0\leq s\leq t}\) is periodic with period \(T\) if for all \(t\geq0\) we have \(\mathcal{X}_{t+T}= \mathcal{X}_{t}\) and for all \(t\geq s\geq0\),
We say that \((\lambda_{F},\gamma_{s,t},h_{s,t})_{t\geq s\geq0}\) is a Floquet family for \((M_{s,t})_{t\geq s\geq0}\) if for all \(t\geq s \geq0\) the triplet \((\lambda_{F},\gamma_{s,t},h_{s,t})\in\mathbb{R} \times\mathcal{M}(\mathcal{X}_{s})\times\mathcal{B}_{b}(\mathcal{X} _{t})\), for all \(s\geq0\) we have \(\gamma_{s,s}\in\mathcal{P}( \mathcal{X}_{s})\) and \(\gamma_{s,s}(h_{s,s})=1\), for all \(t\geq s \geq0\),
and
We state the general periodic result, recalling Definition (2.1) of the coupling capacity \(C_{\alpha, \beta,\nu}(s,t)\).
Theorem 15
Let\((M_{s,t})_{t\geq s\geq0}\)be a\(T\)-periodic semigroup and let\(\alpha,\beta\geq1\)such that for all\(s\geq0\), there exists\(\nu\in\mathcal{P}(\mathcal{X}_{s})\)such that\(C_{\alpha,\beta, \nu}(s,t)\to+\infty\)when\(t\to+\infty\). Assume also that the function\((s,t)\mapsto\|m_{s,t}\|_{\infty}\)is locally bounded. Then there exists a unique\(T\)-periodic Floquet family\((\lambda_{F}, \gamma_{s,t},h_{s,t})_{t\geq s\geq0}\)for\((M_{s,t})_{t\geq s\geq0}\)and there exist\(C,\rho>0\)such that for all\(t\geq s\geq0\)and all\(\mu\in\mathcal{M}(\mathcal{X}_{s})\),
Notice that in general the exponential rate of convergence \(\rho\) can be quantified.
Proof
We start by the construction of \((\gamma_{s,t})_{t\geq s\geq0}\). From Theorem 2.3 there exist \(C>0\) and \(h_{s}:\mathcal{X}_{s} \to(0,\beta]\) such that \(\nu(h_{s})=1\) and for any \(\mu,\gamma \in\mathcal{M}(\mathcal{X}_{s})\) and all \(t\geq s\),
Considering \(t=s+kT\) for \(k\in\mathbb{N}\), \(\mu=\nu\) and \(\gamma=\nu M_{s,s+lT}\) for \(l\in\mathbb{N}\) and using the periodicity of \(M\), we get
which ensures that \((\frac{\nu M_{s,s+kT}}{\nu(m_{s,s+kT})} )_{k\in\mathbb{N}}\) is a Cauchy sequence in \((\mathcal{M}( \mathcal{X}_{s}),\|\cdot\|_{\mathrm{TV}})\). We denote the limit \(\gamma_{s,s}\), which belongs to \(\mathcal{P}(\mathcal{X}_{s})\). Using again (3.20) with \(\mu=\nu\) we have that for all \(\gamma\in\mathcal{M}_{+}(\mathcal{X})\),
For \(f\in\mathcal{B}_{b}(\mathcal{X}_{s})\) we have, using the periodicity of \(M_{s,t}\),
which gives
Letting \(f=\mathbf{1}\) in (3.22),
and letting \(k\to\infty\),
We check now that \(\varLambda_{s}\) is independent of \(s\). To do so we start by proving that for any \(s'>s\),
By the semigroup property we have on the one hand, using (3.21) with \(\gamma=\gamma_{s,s}M_{s,s'}\),
and on the other hand using (3.23)
This proves (3.24) which gives, using again (3.23) and the semigroup property,
Testing this identity against \(\mathbf{1}\) and using that \(\gamma_{s,s}\) are probabilities we get that \(\varLambda_{s'}=\varLambda_{s}\), and we denote this constant by \(\varLambda\). Now we define \(\lambda_{F}=(\log \varLambda )/T\) and for all \(t\geq s\),
The definition of \(\lambda_{F}\) implies that \(\gamma_{s,t}=\gamma_{s,t+T}\), and the identity \(\gamma_{s+T,s+T}= \gamma_{s,s}\), which is clear on the definition (3.21) of \(\gamma_{s,s}\), ensures the periodicity \(\gamma_{s+T,t+T}=\gamma_{s,t}\).
We turn to the family \((h_{s,t})_{t\geq s\geq0}\). Using Remark 2.4 we have that Theorem 2.3 is valid for \(\nu=\gamma_{s,s}\) and it ensures the existence of a harmonic function
which satisfies \(\gamma_{s,s}(h_{s,s})=1\). Now we define for \(s\leq t\),
It only remains to check that \((h_{s,t})_{t\geq s\geq0}\) thus defined is \(T\)-periodic. By definition of \(h_{s,s}\) and using the \(T\)-periodicity of \(M_{s,t}\) and \(\gamma_{s,t}\) we have
Then we write
where we have used the dominated convergence theorem for the last equality. And finally
Now we check the convergence (3.19). Applying Theorem 2.3 with \(\nu=\gamma=\gamma_{s,s}\) and \(s_{0}=s\), we get that there exists \(C>0\) such that for all \(t\geq s\geq0\) and all \(\mu\in\mathcal{M}(\mathcal{X}_{s})\),
By periodicity we have \(\gamma_{s,t}(\mathbf{1})=\mathrm{e}^{-\lambda _{F}(t-s)}\gamma_{s,s}(m_{s,t})\leq\mathrm{e}^{|\lambda_{F}|T} \sup_{0\leq s\leq T, s\leq t\leq s+T}\|m_{s,t}\|_{\infty}\). Still by periodicity, for all \(n\in\mathbb{N}\) and all \(t\geq s+nT\), we have \(C_{\alpha,\beta,\nu}(s,t)\geq C_{\alpha,\beta,\nu}(0,nT) \lfloor\frac{t-s}{nT} \rfloor\). Using that \(C_{\alpha,\beta, \nu}(0,t)\to+\infty\) when \(t\to+\infty\) we can choose \(n\in \mathbb{N}\) large enough so that \(C_{\alpha,\beta,\nu}(0,nT)>0\) and this gives (3.19) with \(\rho=C_{\alpha,\beta, \nu}(0,nT)/nT\).
The uniqueness follows from the convergence. Assume the existence of another Floquet family \((\tilde{\lambda},\tilde{\gamma}_{s,t}, \tilde{h}_{s,t})\). Applying (3.19) to \(\mu= \tilde{\gamma}_{s,s}\) guarantees that \(\tilde{\lambda}_{F}=\lambda _{F}\) and \(\tilde{\gamma}_{s,t}=\tilde{\gamma}_{s,s}(h_{s,s}) \gamma_{s,t}\). Since \(\gamma_{s,s}\) and \(\tilde{\gamma}_{s,s}\) are both probabilities this implies that \(\tilde{\gamma}_{s,s}(h_{s,s})=1\), and \(\tilde{\gamma}_{s,t}=\gamma_{s,t}\). Applying again (3.19) but with \(\mu=\delta_{x}\), \(t=s+kT\), and the test function \(\tilde{h}_{s,s}=\tilde{h}_{s+kT,s+kT}\), we get \(\tilde{h}_{s,s}=h_{s,s}\). The equality \(\tilde{h}_{s,t}=h_{s,t}\) is then ensured by the identity \(\tilde{\lambda}_{F}=\lambda_{F}\). □
3.4.2 Example: The Periodic Renewal Equation
We consider the renewal equation with a time-periodic division rate, which is used as a model for circadian rhythms (see [13, 14] and the references therein). More precisely the equation is
and we assume that there exists \(T>0\) such that \(b(t+T,\cdot)=b(t, \cdot)\) for any \(t\geq0\). Additionally \(b\) is supposed to be non-negative and globally bounded (in time and age) by a constant \(\overline{b}>0\). Similarly as in the homogeneous or asymptotically homogeneous case we associate to Eq. (3.25) a semigroup \((M_{s,t})_{0\leq s\leq t}\) defined on \(\mathcal{B}_{b}( \mathbb{R}_{+})\) by the Duhamel formula
and on \(\mathcal{M}(\mathbb{R}_{+})\) by setting \((\mu M_{s,t})(f)= \mu(M_{s,t}f)\) for all \(f\in\mathcal{B}_{b}(\mathbb{R}_{+})\). As for the homogeneous case, this semigroup is well defined and satisfies Assumption 2.1. Mimicking the proof of Lemma 3.9 we can prove the following monotonicity result.
Lemma 16
For all\(s,a\geq0\), the function\(t\mapsto m_{s,t}(a)\)is nondecreasing.
Notice however that the function \(s\mapsto m_{s,t}(a)\) is not nonincreasing in general. Yet, since \((M_{s,t})_{0\leq s\leq t}\) is \(T\)-periodic we have, using Lemma 3.16, \(m_{s+T,t}(a)=m_{s,t-T}(a)\leq m_{s,t}(a)\).
The aim of the current section is to provide sufficient conditions on \(b\) so that we can apply Theorem 3.15. In Theorem 3.17 we give a general such result, and in Theorem 3.18 we optimize the rate of convergence in the case when the division rate depends only on time. Let us point out that in this latter case the mean number of individuals \(m_{s,t}(a)\) does not depend on \(a\) and satisfies a simple differential equation. Classical Floquet theory [22] then easily applies for proving that it tends to a periodic solution. However it is no longer the case for the age repartition described by the semigroup which remains an infinite-dimensional object. Its asymptotic periodicity cannot be deduced from those of \(m_{s,t}\).
The convergence of the solutions of the periodic renewal equation to the Floquet elements has been obtained in [39] by the way of entropy techniques. Here, we provide an explicit exponential rate of convergence.
Theorem 17
Let\(b\)be a time-periodic function with period\(T>0\), non-negative and globally bounded by\(\overline{b}>0\). Assume that there exist\(A\geq0\)and\(\underline{b}>0\)such that
Then there exists a unique Floquet family\((\lambda_{F},\gamma_{s,t},h _{s,t})_{0\leq s\leq t}\)for the semigroup\((M_{s,t})_{0\leq s\leq t}\)and a constant\(C>0\)such that for all\(t\geq s\geq0\)and all\(\mu\in\mathcal{M}(\mathbb{R}_{+})\),
where
Proof
We will use several times the inequality
whose proof follows Lemma 3.13. In particular it ensures that the function \((s,t)\mapsto\|m_{s,t}\|_{\infty}\) is locally bounded.
Now we exhibit constants for the assumptions in Definition 2.2. We start with (A1). Let \(s\geq0\) and define \(n:= \lfloor\frac{A}{T} \rfloor\), so that \((n+1)T\in(A,A+T]\). From the Duhamel formula (3.26) and using the periodicity of the semigroup we get that for any \(f\geq0\) and any \(a\geq0\)
We have \(m_{s,s+(n+2)T}\leq\mathrm{e}^{2\overline{b}(A+2T)}\) and Lemma 3.16 ensures that \(\int_{s}^{s+T}m _{\tau,s+T}(0)\,d\tau\geq T\). So (A1) is satisfied with
We treat the last three assumptions (A2)–(A4) together by proving that there exists \(d>0\) such that for all \(t\geq s\),
If \(t-s\leq A\), we have \(\|m_{s,t}\|_{\infty}\leq\mathrm{e}^{2 \overline{b} A}\), and from Lemma 3.16\(\nu_{s}(m_{s,t})\geq1\), so it remains to treat the case \(t-s>A\). Keeping \(n= \lfloor\frac{A}{T} \rfloor\) and setting \(N= \lfloor\frac{t-s}{T} \rfloor\geq n\), we have from (3.26)
On the other hand we have
which gives
and ends the proof. □
Theorem 18
Assume that\(b(t,a)=b(t)\)is a continuous\(T\)-periodic function, which is not identically zero. Then there exists a unique Floquet family\((\lambda_{F},\gamma_{s,t},h_{s,t})_{0\leq s\leq t}\)for the semigroup\((M_{s,t})_{0\leq s\leq t}\)and a constant\(C>0\)such that for all\(t\geq s\geq0\)and all\(\mu\in\mathcal{M}(\mathbb{R}_{+})\)
Proof
Since \(b\) does not depend on \(a\) we have the explicit formula
In particular it ensures that the function \((s,t)\mapsto\|m_{s,t}\| _{\infty}\) is locally bounded.
Now we prove (A1). Let \(t\geq s+T\), \(k\in\mathbb{N}\), \(n= \lfloor\frac{t-s}{T} \rfloor\geq1\), and \(N=(n-1)k+1\). For all \(0\leq i\leq N-1\) we set \(t_{i}=s+i\frac{T}{k}\), and \(t_{N}=s+nT\). From the Duhamel formula (3.26) we have for any \(1\leq i\leq N-1\) and \(f\geq0\)
For \(i=N\) we write
So (A1) is verified for \(0\leq i\leq N-1\) with \(\nu_{i}(f)= \frac{n}{T}\int_{0}^{\frac{T}{n}}f(\tau)\,d\tau\) and
and for \(i=N\) with \(\nu_{N}(f)=\frac{\int_{0}^{T}b(T-\tau)f(\tau)\,d \tau}{\int_{0}^{T}b(\tau)\,d\tau}\) and
From (3.27) we deduce that Assumptions (A2)–(A4) are trivially verified with
Thus the coupling capacity satisfies, for all \(k\in\mathbb{N}\),
Letting \(k\to\infty\) we get
□
Remark 19
(About optimality)
In the constant case \(b=\mathit{const}>0\), we recover the spectral gap \(2b\). Indeed, we know that the spectral gap of the operator
cannot be larger than \(2b\) because the dominant Perron eigenvalue is \(b\), and \(-b\) belongs to the spectrum of \(\mathcal{A}\) (the operator \(\mathcal{A}+b\) is not surjective on \(C_{b}(\mathbb{R}_{+})\) since all the solutions to the equation \(f'(a)=-2bf(0)+\frac{1}{1+a}\) for instance are unbounded).
Remark 20
(Eigenvalue)
From the periodicity of \((\gamma_{s,t})_{t\geq s\geq0}\) and (3.27), we easily get that
Notes
Notice that if \(\mathcal{X}\subset \mathbb{R}^{n}\) is equipped with the induced topology, any signed Borel measure on \(\mathcal{X}\) is regular.
We see here that the definition we use for the total variation norm differs from the usual probabilistic definition of a factor \(1/2\).
A function \(f\) on a locally compact Hausdorff space \(\mathcal{X}\) is said to vanish at infinity if to every \(\varepsilon>0\), there exists a compact set \(K\subset\mathcal{X}\) such that \(|f(x)|<\varepsilon\) for all \(x\in\mathcal{X}\setminus K\).
References
Arino, O.: A survey of structured cell population dynamics. Acta Biotheor. 43(1), 3–25 (1995)
Bansaye, V.: Ancestral lineages and limit theorems for branching Markov chains in varying environment. J. Theor. Probab. 32(1), 249–281 (2019)
Bansaye, V., Camanes, A.: Queueing for an infinite bus line and aging branching process. Queueing Syst. 88(1–2), 99–138 (2018)
Bansaye, V., Huang, C.: Weak law of large numbers for some Markov chains along non homogeneous genealogies. ESAIM Probab. Stat. 19, 307–326 (2015)
Bansaye, V., Delmas, J.-F., Marsalle, L., Tran, V.C.: Limit theorems for Markov processes indexed by continuous time Galton-Watson trees. Ann. Appl. Probab. 21(6), 2263–2314 (2011)
Bertoin, J.: Random Fragmentation and Coagulation Processes. Cambridge Studies in Advanced Mathematics, vol. 102. Cambridge University Press, Cambridge (2006)
Bertoin, J., Watson, A.R.: A probabilistic approach to spectral analysis of growth-fragmentation equations. J. Funct. Anal. 274(8), 2163–2204 (2018)
Birkhoff, G.: Extensions of Jentzsch’s theorem. Trans. Am. Math. Soc. 85, 219–227 (1957)
Cañizo, J.A., Carrillo, J.A., Cuadrado, S.: Measure solutions for some models in population dynamics. Acta Appl. Math. 123, 141–156 (2013)
Carrillo, J.A., Colombo, R.M., Gwiazda, P., Ulikowska, A.: Structured populations, cell growth and measure valued balance laws. J. Differ. Equ. 252(4), 3245–3277 (2012)
Champagnat, N., Villemonais, D.: Exponential convergence to quasi-stationary distribution and \(Q\)-process. Probab. Theory Relat. Fields 164(1–2), 243–283 (2016)
Champagnat, N., Villemonais, D.: Uniform convergence of penalized time-inhomogeneous Markov processes. ESAIM Probab. Stat. 22, 129–162 (2018)
Clairambault, J., Michel, P., Perthame, B.t.: Circadian rhythm and tumour growth. C. R. Math. Acad. Sci. Paris 342(1), 17–22 (2006)
Clairambault, J., Gaubert, S., Lepoutre, T.: Comparison of Perron and Floquet eigenvalues in age structured cell division cycle models. Math. Model. Nat. Phenom. 4(3), 183–209 (2009)
Cloez, B.: Limit theorems for some branching measure-valued processes. Adv. Appl. Probab. 49(2), 549–580 (2017)
Del Moral, P.: Feynman-Kac Formulae. Genealogical and Interacting Particle Systems with Applications. Probability and Its Applications. Springer, New York (2004)
Del Moral, P.: Mean Field Simulation for Monte Carlo Integration. Monographs on Statistics and Applied Probability, vol. 126. CRC Press, Boca Raton (2013)
Del Moral, P., Villemonais, D.: Exponential mixing properties for time inhomogeneous diffusion processes with killing. Bernoulli 24(2), 1010–1032 (2018)
Doblin, W.: Éléments d’une théorie générale des chaînes simples constantes de Markoff. Ann. Éc. Norm. 3(57), 61–111 (1940)
Engländer, J., Harris, S.C., Kyprianou, A.E.: Strong law of large numbers for branching diffusions. Ann. Inst. Henri Poincaré Probab. Stat. 46(1), 279–298 (2010)
Feller, W.: On the integral equation of renewal theory. Ann. Math. Stat. 12, 243–267 (1941)
Floquet, G.: Sur les équations différentielles linéaires à coefficients périodiques. Ann. Sci. Éc. Norm. Supér. (2) 12, 47–88 (1883)
Frobenius, G.: Über Matrizen aus nicht negativen Elementen. Berl. Ber. 1912, 456–477 (1912)
Gabriel, P.: Measure solutions to the conservative renewal equation. In: CIMPA School on Mathematical Models in Biology and Medicine. ESAIM Proc. Surveys, vol. 62, pp. 68–78. EDP Sci., Les Ulis (2018)
Gaubert, S., Qu, Z.: Dobrushin’s ergodicity coefficient for Markov operators on cones. Integral Equ. Oper. Theory 81(1), 127–150 (2015)
Greiner, G.: A typical Perron-Frobenius theorem with applications to an age-dependent population equation. In: Infinite-Dimensional Systems, Retzhof, 1983. Lecture Notes in Math., vol. 1076, pp. 86–100. Springer, Berlin (1984)
Gwiazda, P., Perthame, B.: Invariants and exponential rate of convergence to steady state in the renewal equation. Markov Process. Relat. Fields 12(2), 413–424 (2006)
Gwiazda, P., Wiedemann, E.: Generalized entropy method for the renewal equation with measure data. Commun. Math. Sci. 15(2), 577–586 (2017)
Gwiazda, P., Lorenz, T., Marciniak-Czochra, A.: A nonlinear structured population model: Lipschitz continuity of measure-valued solutions with respect to model ingredients. J. Differ. Equ. 248(11), 2703–2735 (2010)
Harris, S.C., Roberts, M.I.: The many-to-few lemma and multiple spines. Ann. Inst. Henri Poincaré Probab. Stat. 53(1), 226–242 (2017)
Iannelli, M.: Mathematical Theory of Age-Structured Population Dynamics. Applied Math. Monographs. CNR, Giardini Editori e Stampatori, Pisa (1995)
Khaladi, M., Arino, O.: Estimation of the rate of convergence of semigroups to an asynchronous equilibrium. Semigroup Forum 61(2), 209–223 (2000)
Kreĭn, M.G., Rutman, M.A.: Linear operators leaving invariant a cone in a Banach space. Am. Math. Soc. Transl. 1950(26), 128 (1950)
Marguet, A.: Uniform sampling in a structured branching population. Bernoulli (2019, to appear)
Martínez, S., San Martín, J., Villemonais, D.: Existence and uniqueness of a quasistationary distribution for Markov processes with fast return from infinity. J. Appl. Probab. 51(3), 756–768 (2014)
Metz, J.A.J., Diekmann, O. (eds.): The Dynamics of Physiologically Structured Populations. Lecture Notes in Biomathematics, vol. 68. Springer, Berlin (1986)
Meyn, S.P., Tweedie, R.L.: Stability of Markovian processes. II. Continuous-time processes and sampled chains. Adv. Appl. Probab. 25(3), 487–517 (1993)
Meyn, S., Tweedie, R.L.: Markov Chains and Stochastic Stability, 2nd edn. Cambridge University Press, Cambridge (2009). With a prologue by Peter W. Glynn
Michel, P., Mischler, S., Perthame, B.: General relative entropy inequality: an illustration on growth models. J. Math. Pures Appl. (9) 84(9), 1235–1260 (2005)
Mischler, S., Scher, J.: Spectral analysis of semigroups and growth-fragmentation equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 33(3), 849–898 (2016)
Nussbaum, R.D.: Hilbert’s projective metric and iterated nonlinear maps. Mem. Am. Math. Soc. 75(391), iv+137 (1988)
Perron, O.: Zur Theorie der Matrices. Math. Ann. 64(2), 248–263 (1907)
Perthame, B.: Transport Equations in Biology. Frontiers in Mathematics. Birkhäuser, Basel (2007)
Revuz, D., Yor, M.: Continuous Martingales and Brownian Motion, 2nd edn. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 293. Springer, Berlin (1994)
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, New York (1987)
Sharpe, F.R., Lotka, A.J.: A Problem in Age-Distribution, pp. 97–100. Springer, Berlin, Heidelberg (1977)
Song, J., Yu, J.Y., Wang, X.Z., Hu, S.J., Zhao, Z.X., Liu, J.Q., Feng, D.X., Zhu, G.T.: Spectral properties of population operator and asymptotic behaviour of population semigroup. Acta Math. Sci. Engl. Ed. 2(2), 139–148 (1982)
Thieme, H.R.: Mathematics in Population Biology. Princeton Series in Theoretical and Computational Biology. Princeton University Press, Princeton (2003)
Villani, C.: Optimal Transport. Old and New. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 338. Springer, Berlin (2009)
Webb, G.F.: A semigroup proof of the Sharpe-Lotka theorem. In: Infinite-Dimensional Systems, Retzhof, 1983. Lecture Notes in Math., vol. 1076, pp. 254–268. Springer, Berlin (1984)
Webb, G.F.: Theory of Nonlinear Age-Dependent Population Dynamics. Monographs and Textbooks in Pure and Applied Mathematics, vol. 89. Dekker, New York (1985)
Acknowledgements
B.C. and V.B. have received the support of the Chair “Modélisation Mathématique et Biodiversité” of VEOLIA-Ecole Polytechnique-MnHn-FX. The three authors have been supported by ANR projects, funded by the French Ministry of Research: B.C. by ANR PIECE (ANR-12-JS01-0006-01), V.B. by ANR ABIM (ANR-16-CE40-0001) and ANR CADENCE (ANR-16-CE32-0007), and P.G. by ANR KIBORD (ANR-13-BS01-0004).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Branching Models, Absorbed Markov Process and Semigroups
The techniques by coupling used in this paper have been extensively developed in probability, in particular for the study of branching processes and killed process, see the introduction for references. Let us present here informally the probabilistic objects and the interpretation of the auxiliary semigroup.
For that purpose we consider a population of individuals with a trait belonging to the space \(\mathcal{X}\). This population can die or give birth to some offsprings with a rate which depends on their trait and independently one from each other (branching property). Moreover the trait may vary in an homogeneous way and without memory (Markov property). Let us also assume that some subspace \(\mathcal{S}\) of \(\mathcal{X}\) is absorbing, meaning that each individual whose trait reaches this set stop dividing and keeps a constant trait. Writing \(V_{t}\) the set of individuals at time \(t\) and \((X_{t}^{i} : i \in V _{t})\) the set of their traits, the branching and Markov properties and the absorbing property of \(\mathcal{S}\) ensure that
is a semigroup. In general, it is not conservative, since its mass
can decrease by absorption in \(\mathcal{S}\) or death of individual or created by births. The trait of a typical non-absorbed individual is then given by the auxiliary conservative inhomogeneous semigroup
where \(X_{v}^{i}\) is the trait of the ancestor of \(i\) at time \(v\) and \(Y^{(t)}\) is the inhomogenous Markov process associated to \(P^{(t)}\). Thus, \(Y^{(t)}\) is the process describing the dynamics of the trait of a typical individual, which is alive at time \(t\) and non-absorbed. Proving that it is ergodic ensures the ergodicity of \(\delta_{x} M _{s,t}{\mathbf{1}}/m_{s,t}(x)\) as \(t\) goes to infinity. In this paper, we make a coupling for that, with Doeblin conditions which ensure exponential uniform ergodicity. Thanks to [12], this Doeblin condition can be rewritten in terms of coupling constants on the original semigroup \(M\).
In homogeneous-time setting, two particular classes of processes have attracted lots of attention. First, if we make \(\mathcal{S}=\varnothing \), then \(X\) is a branching process and
is its first moment semigroup which provides the mean number of individuals with a given trait. The auxiliary process describes the dynamical of the trait along the ancestral lineage of an individual chosen uniformly at random, when the population is becoming large. More generally, the genealogical tree of the population can be constructed from this typical lineage, which is called spine construction.
Second, if the individuals neither die nor give birth, we get a Markov process in the space trait \(\mathcal{X}\) and
Assume that \(X_{t}\) is eventually absorbed as \(t\) goes to infinity a.s. and consider the distribution of the process conditioned on non-absorption:
The ergodic behavior of \(P^{(t)}\) and its convergence to a distribution \(\nu\) yields the convergence of the conditioned distribution (Yaglom limit) to the quasistationary distribution. At fixed time \(t\), \(P^{(t)}\) describes the dynamic of the trait for trajectories non-absorbed at time \(t\).
Appendix B: Measure Solutions to the Renewal Equation
We give here the details about the construction of the homogeneous renewal semigroup. It is based on the dual renewal equation
Integrating this equation along the characteristics, we obtain the mild formulation (also called Duhamel formula)
The first result is about the well-posedness of this equation in \(\mathcal{B}_{b}(\mathbb{R}_{+})\).
Lemma B.1
For all\(f_{0}\in\mathcal{B}_{b}(\mathbb{R}_{+})\)there exists a unique family\((f_{t})_{t\geq0}\subset\mathcal{B}_{b}(\mathbb{R}_{+})\)solution to (B.2). Additionally if\(f_{0}\geq0\)then\(f_{t}\geq0\)for all\(t\geq0\).
Proof
First we use the Banach fixed point theorem on a truncated problem. For \(T>0\) and \(f_{0}\in\mathcal{B}_{b}(\mathbb{R}_{+})\) we define the operator \(\varGamma:\mathcal{B}_{b}([0,T])\to\mathcal{B}_{b}([0,T])\) by
We easily have
so \(\varGamma\) is a contraction if \(2\int_{0}^{T}\varPhi<1\) and there is a unique fixed point in \(\mathcal{B}_{b}([0,T])\). Additionally since \(\varGamma\) preserves non-negativity when \(f_{0}\geq0\), we get that the fixed point \(g\) is non-negative when \(f_{0}\) is non-negative. Since the contraction constant \(2\int_{0}^{T}\varPhi\) is independent of \(f_{0}\), we can iterate to obtain a unique function \(g\in\mathcal{B} _{b}(\mathbb{R}_{+})\) which satisfies
for all \(t\geq0\). Now we set for all \(t,a\geq0\)
which is a solution to (3.11) since by definition \(f_{t}(0)=\varGamma g(t)=g(t)\). The uniqueness is a direct consequence of the uniqueness of \(g\). The non-negativity follows from the non-negativity of \(g\) when \(f_{0}\geq0\), and the boundedness is given by the inequality
□
Lemma B.1 allows to define for all \(t\geq0\) the operator \(M_{t}\) on \(\mathcal{B}_{b}(\mathbb{R}_{+})\) by setting \(M_{t}f_{0}:=f_{t}\) for all \(f_{0}\in\mathcal{B}_{b}(\mathbb{R}_{+})\). Then for \(\mu\in\mathcal{M}_{+}(\mathbb{R}_{+})\) we define the positive measure \(\mu M_{t}\) by setting for all Borel set \(A\subset \mathbb{R}_{+}\)
The axioms of a positive measure are satisfied. First it is clear that \((\mu M_{t})(\varnothing)=0\) and that \((\mu M_{t})(A\cup B)=(\mu M _{t})(A)+(\mu M_{t})(B)\) when \(A\) and \(B\) are two disjoint Borel sets. The last axiom deserves a bit more attention. Let \((A_{n})_{n\geq0}\) be an increasing sequence of Borel sets and \(A=\bigcup_{n\geq0}A_{n}\). We want to check that \((\mu M_{t})(A)=\lim_{n\to\infty}(\mu M_{t})(A _{n})\). The sequence \((\mathbf{1}_{A_{n}})_{n\geq0}\) is an increasing sequence of Borel functions which converges pointwise to \(\mathbf{1} _{A}\). By positivity of the semigroup, \((M_{t}\mathbf{1}_{A_{n}})_{n \geq0}\) is an increasing sequence of Borel functions bounded by \(M_{t}\mathbf{1}\). Thus this sequence admits a pointwise limit \(f_{t}\in\mathcal{B}_{b}(\mathbb{R}_{+})\) which clearly satisfies the Duhamel formula (3.11) with \(f_{0}=\mathbf{1}_{A}\). By uniqueness of the solution to the Duhamel formula we get that \(M_{t}\mathbf{1}_{A_{n}}\to M_{t}\mathbf{1}_{A}\) pointwise. Then by dominated or monotone convergence we deduce that \((\mu M_{t})(A)= \mu(M_{t}\mathbf{1}_{A})=\lim_{n\to\infty}\mu(M_{t}\mathbf{1}_{A _{n}})=\lim_{n\to\infty}(\mu M_{t})(A_{n})\). Finally for a signed measure \(\mu\in\mathcal{M}(\mathbb{R}_{+})\) we set obviously \(\mu M_{t}:=\mu_{+} M_{t}-\mu_{-} M_{t}\).
The family \((M_{t})_{t\geq0}\) such defined is a semigroup which satisfies Assumption 2.1. The semigroup property is a consequence of the uniqueness of the solution to the Duhamel formula (3.11). The positivity has been proved in Lemma B.1. For the strong positivity it follows from the Duhamel formula (3.11) that for all \(t,a\geq0\)
The compatibility \((\mu M_{t})(f)=\mu(M_{t}f)\) follows directly from the definition of \(\mu M_{t}\) and the definition of Borel functions.
It is claimed in Sect. 3.2.2 that the family \((\mu M_{t})_{t\geq0}\) is a measure solution to the renewal equation. Measure valued solutions to structured population models drew interest in the last few years [9, 10, 24, 28, 29]. They are mainly motivated by biological applications which often require to consider initial distributions which are not densities but measures (Dirac masses for instance). For us it is additionally the suitable framework to apply our ergodic result in Theorem 3.5. We refer to [24] for the proof that the family \((\mu M_{t})_{t \geq0}\) is a measure valued solution to Eq. (3.10) for any \(\mu\in\mathcal{M}(\mathbb{R}_{+})\). Here we only give a heuristic argument which consists in differentiating the semigroup property \(\mu M_{t} f=\mu M_{s} M_{t-s}f\) with respect to \(s\in[0,t]\). The chain rule gives
and since \(M_{t}f\) is a solution to the dual Eq. (B.1) this gives
where \(\mathcal{A}\) is the unbounded operator defined on \(C^{1}( \mathbb{R}_{+})\) by \(\mathcal{A}f(a)=f'(a)-b(a)f(a)+2b(a)f(0)\). Taking \(s=t\) we get that for all bounded and continuously differentiable function \(f\)
which is a weak formulation of Eq. (3.10).
Appendix C: The Max-Age Semigroup
As for the homogeneous renewal equation, to build a solution to Eq. (3.17) we use a duality approach. We start with the (backward) dual equation
Integrating this equation along the characteristics we get the Duhamel formula
where we have denoted \(b_{t}(a):=b(a)\mathbf{1}_{[0,a_{t})}(a)\) and \(f_{t}\) has been extended by 0 beyond \(a_{t}\).
Lemma C.1
For all\(t>0\), \(f_{t}\in\mathcal{B}_{b} ([0,a_{t}) )\), and\(s\in[0,t]\), there exists a unique\(f_{s,t}\in\mathcal{B}_{b} ([0,a _{s}) )\)which satisfies (C.2). Additionally if\(f_{t}\geq0\)then\(f_{s,t}\geq0\).
We do not repeat the proof of this result since it follows exactly the strategy of the proof of Lemma B.1. As for the homogeneous renewal equation we define the semigroup \((M_{s,t})_{0 \leq s\leq t}\) on \((\mathcal{X}_{t})_{t\geq0}= ([0,a_{t}) )_{t \geq0}\), first on the right hand side by setting for all \(f_{t} \in\mathcal{B}_{b}([0,a_{t}))\)
where \(f_{s,t}\) is the unique solution to Eq. (C.2), and then on the left by setting for all \(\mu\in\mathcal{M}([0,a_{s}))\) and all Borel set \(A\subset [0,a_{t})\)
For any \(\mu\in\mathcal{M} ([0,a_{s}) )\) the family \((\mu M_{s,t})_{s\leq t}\) is a measure solution to Eq. (3.17). As for the homogeneous case a non rigorous justification is obtained by differentiating the semigroup property \(\mu M_{s,t}f=\mu M_{s,r}M_{r,t}f\) with respect to \(r\in[s,t]\) and using that \(M_{r,t}f\) is solution to (C.1).
The semigroup property for the family \((M_{s,t})_{t\geq s\geq0}\) is a consequence of the uniqueness of the solution to the Duhamel formula (C.2). We now verify Assumption 2.1. The positivity has been proved in Lemma C.1. For the strong positivity it suffices to check that \(m_{s,t}(0)>0\). Indeed if \(m_{s,t}(0)>0\) for all \(0\leq s\leq t\) the Duhamel formula ensures that for \(a< a_{s}\)
The positivity of \(m_{s,t}(0)\) is clear if \(t-s< a_{t}\) since
Consider now the case \(t-s\geq a_{t}\). The function \(r\mapsto m_{r,t}(0)\) is continuous on \([s,t-a_{t}]\) since for \(r\leq t-a_{t}\) we have
Assume by contradiction that there exists \(r_{0}\in[s,t-a_{t}]\) such that \(m_{r_{0},t}(0)=0\) and \(m_{r,t}(0)> 0\) for all \(r\in(r_{0},t]\). Then the equality above would give for \(r=r_{0}\)
which is not possible since the integrand on the right hand side is positive for \(\tau\) close to \(r_{0}\). Finally the compatibility condition readily follows from the definition of \(\mu M_{s,t}\).
Rights and permissions
About this article
Cite this article
Bansaye, V., Cloez, B. & Gabriel, P. Ergodic Behavior of Non-conservative Semigroups via Generalized Doeblin’s Conditions. Acta Appl Math 166, 29–72 (2020). https://doi.org/10.1007/s10440-019-00253-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10440-019-00253-5
Keywords
- Positive semigroups
- Non-autonomous linear evolution equations
- Measure solutions
- Ergodicity
- Krein-Rutman theorem
- Floquet theory
- Branching processes
- Population dynamics