Next Article in Journal
An Operator Based Approach to Irregular Frames of Translates
Next Article in Special Issue
Stability Estimates for Finite-Dimensional Distributions of Time-Inhomogeneous Markov Chains
Previous Article in Journal
A Single-Stage Manufacturing Model with Imperfect Items, Inspections, Rework, and Planned Backorders
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Inhomogeneous Random Evolutions: Limit Theorems and Financial Applications

Department Mathematics & Statistics, University of Calgary, 2500 University Drive NW, Calgary, AB T2N 1N4, Canada
*
Author to whom correspondence should be addressed.
Mathematics 2019, 7(5), 447; https://doi.org/10.3390/math7050447
Submission received: 20 February 2019 / Revised: 19 April 2019 / Accepted: 5 May 2019 / Published: 19 May 2019
(This article belongs to the Special Issue New Trends in Random Evolutions and Their Applications)

Abstract

:
The paper is devoted to the inhomogeneous random evolutions (IHRE) and their applications in finance. We introduce and present some properties of IHRE. Then, we prove weak law of large numbers and central limit theorems for IHRE. Financial applications are given to illiquidity modeling using regime-switching time-inhomogeneous Levy price dynamics, to regime-switching Levy driven diffusion based price dynamics, and to a generalized version of the multi-asset model of price impact from distress selling, for which we retrieve and generalize their diffusion limit result for the price process.

1. Introduction

Random Evolutions started to be studied in the 1970’s, because of their potential applications to biology, movement of particles, signal processing, quantum physics, finance and insurance, among others (see [1,2,3]). They allow modeling a situation in which the dynamics of a system are governed by various regimes, and the system switches from one regime to another at random times. Let us be given a state process { x n } n N (with state space J ) and a sequence of increasing random times { T n } n N . In short, during each random time interval [ T n , T n + 1 ) , the evolution of the system will be governed by the state x n . At the random time T n + 1 , the system will switch to state x n + 1 , and so on. Think for example of regime-switching models in finance, where the state process is linked with, e.g., different liquidity regimes, as in the recent article [4]. In their work, the sequence { T n } represents the random times at which the market switches from one liquidity regime to another.
When random evolutions began to be studied [1,2,3], the times { T n } were assumed to be exponentially distributed and { x n } n N was assumed to be a Markov chain, so that the process x ( t ) : = x N ( t ) was assumed to be a continuous-time Markov chain. Here, as in [5], we let:
N ( t ) : = sup { n N : T n t }
the number of regime changes up to time t. In these first papers, limit theorems for the expectation of the random evolution were studied. Then, in 1984–1985, J. Watkins [6,7,8] established weak law of large numbers and diffusion limit results for a specific class of random evolutions, where the times { T n } are deterministic and the state process { x n } n N is strictly stationary. In [9,10], A. Swishchuk and V. Korolyuk extended the work of J. Watkins to a setting where ( x n , T n ) n N is assumed to be a Markov renewal process, and obtained weak law of large numbers, central limit theorem and diffusion limit results. It can also be noted that they allowed the system to be “impacted” at each regime transition, which they modeled with the use of operators that we will denote D in the following.
As we show in applications (Section 6), these operators D can be used for example to model an impact on the stock price at each regime transition due to illiquidity as in [4], or to model situations where the stock price only evolves in a discrete way (i.e., only by successive “impacts”), such as in the recent articles [11,12] on, respectively, high frequency price dynamics and modeling of price impact from distressed selling (see Section 6.1 and Section 6.3). For example, the price dynamics of the latter article [11] can be seen as a specific case of random evolution for which the operators D are given by:
D ( x , y ) f ( z ) : = f exp z + ϵ 2 m + ϵ y + ϕ ( h ( z + ϵ 2 m + ϵ y ) h ( z ) ) ,
where x , y J , z R d , f, ϕ , and h are some functions and ϵ and m some constants. In Section 6.3, we generalize their diffusion limit result by using our tools and results on random evolutions (see [9,13,14] for more details).
In the aforementioned literature on (limit theorems for) random evolutions [6,7,8,9,10], the evolution of the system on each time interval [ T n , T n + 1 ) is assumed to be driven by a (time-homogeneous) semigroup U x n depending on the current state of the system x n . A semigroup U is a family of time-dependent operators satisfying U ( t + s ) = U ( t ) U ( s ) . For example, if Z is a time-homogeneous Markov process, then we can define the semigroup:
U ( t ) f ( z ) : = E [ f ( Z t ) | Z 0 = z ] ,
where f is a bounded measurable function and z R d . The idea of a random evolution is therefore the following: during each time interval [ T n , T n + 1 ) , the system (e.g., price process) evolves according to the semigroup U x n (associated to the Markov process Z x n in the case of a price process). At the transition T n + 1 , the system will be impacted by an operator D ( x n , x n + 1 ) modeling for example a drop in the price at what [4] call a liquidity breakdown. Then, on the interval [ T n + 1 , T n + 2 ) , the price will be driven by the semigroup U x n + 1 , and so on: it can be summarized as a regime-switching model with impact at each transition. We can write the previously described random evolution V ( t ) in the following compact form (where the product applies on the right):
V ( t ) = k = 1 N ( t ) U x k 1 T k T k 1 D ( x k 1 , x k ) U x ( t ) t T N ( t ) .
This time-homogeneous setting (embedded in the time-homogeneous semigroups U) does not include, e.g., time-inhomogeneous Lévy processes (see Section 6.1), or processes Z solutions of stochastic differential equations (SDEs) of the form:
d Z t = Φ ( Z t , t ) d L t ,
where L is a vector-valued Lévy process and Φ a driving matrix-valued function (see Section 6.2). The latter class of SDEs includes many popular models in finance, e.g., time-dependent Heston models. Indeed, these examples can be associated to time-inhomogeneous generalizations of semigroups, also called propagators. A (backward) propagator Γ (see Section 2) is simply a family of operators satisfying Γ ( s , t ) = Γ ( s , u ) Γ ( u , t ) for s u t . We then define for a time-inhomogeneous Markov process Z:
Γ ( s , t ) f ( z ) : = E [ f ( Z t ) | Z s = z ] .
The celebrated Chapman–Kolmogorov equation guaranties the relation Γ ( s , t ) = Γ ( s , u ) Γ ( u , t ) for s u t .
Let us explain here the main ideas of the main results of the paper, Theorems 8 (LLN) and 11 (FCLT), using one of the applications, namely, a regime-switching inhomogeneous Lévy-based stock price model. We consider a regime-switching inhomogeneous Lévy-based stock price model, very similar in the spirit to the recent article [4]. In short, an inhomogeneous Lévy process differs from a classical Lévy process in the sense that it has time-dependent (and absolutely continuous) characteristics. We let { L x } x J be a collection of such R d -valued inhomogeneous Lévy processes with characteristics ( b t x , c t x , ν t x ) x J , and we define:
Γ x ( s , t ) f ( z ) : = E [ f ( L t x L s x + z ) ] , z R d , x J ,
D ϵ ( x , y ) f ( z ) : = f ( z + ϵ α ( x , y ) ) , z R d , x , y J ,
for some bounded function α. We give in Section 6 a financial interpretation of this function α, as well as reasons we consider a regime-switching model. In this setting, f represents a contingent claim on a (d-dimensional) risky asset S having regime-switching inhomogeneous Lévy dynamics driven by the processes { L x } x J : on each random time interval [ T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) ) , the risky asset is driven by the process L x k ( s ) . Indeed, we have the following representation, for ω Ω (to make clear that the expectation below is taken with respect to ω embedded in the process L and not ω ):
V ϵ ( s , t ) ( ω ) f ( z ) = E f z + k = 1 N s t 1 ϵ , s ( ω ) + 1 Δ L k + k = 1 N s t 1 ϵ , s ( ω ) ϵ α ( x k 1 ( s ) ( ω ) , x k ( s ) ( ω ) ) ,
where we have denoted for clarity:
Δ L k = Δ L k ( ϵ , ω ) : = L T k ϵ , s ( s ) ( ω ) t x k 1 ( s ) ( ω ) L T k 1 ϵ , s ( s ) ( ω ) x k 1 ( s ) ( ω ) .
The random evolution V ϵ ( s , t ) f represents in this case the present value of the contingent claim f of maturity t on the risky asset S, conditionally on the regime switching process ( x n , T n ) n 0 : indeed, remember that V ϵ ( s , t ) f is random, and that its randomness (only) comes from the Markov renewal process. Our main results, Theorems 8 and 11, allow approximating the impact of the regime-switching on the present value V ϵ ( s , t ) f of the contingent claim. Indeed, we get the following normal approximation, for small ϵ:
V ϵ ( s , t ) f Γ ^ ( s , t ) f 1 s t order regime - switching approx . + ϵ I σ ( s , t ) f noise due to regime-switching
The above approximation allows to quantify the risk inherent to regime-switchings occurring at a high frequency governed by ϵ. The parameter ϵ reflects the frequency of the regime-switchings and can therefore be calibrated to market data by the risk manager. For market practitioners, because of the computational cost, it is often convenient to have asymptotic formulas that allow them to approximate the present value of a given derivative, and by extent the value of their whole portfolio. In addition, the asymptotic normal form of the regime-switching cost allows the risk manager to derive approximate confidence intervals for his portfolio, as well as other quantities of interest such as reserve policies linked to a given model.
Therefore, the goal of this paper is to focus on limit theorems for so-called time-inhomogeneous random evolutions, i.e., random evolutions that we construct with propagators, and not with (time-homogeneous) semigroups, in order to widen the range of possible applications, as mentioned above. We call these random evolutions as inhomogeneous random evolutions (IHRE).
The notion of “time-inhomogeneity” in fact appears twice in our framework: in addition to being constructed with propagators, random evolutions are driven by time-inhomogeneous semi-Markov processes (using results from [5]). This general case has not been treated before. Even if we do not have the same goal in mind, our methodology is similar—in spirit—to the recent article [15] on the comparison of time-inhomogeneous Markov processes, or to the article [16] on time-inhomogeneous affine processes. We say “similar”, because we are all in a position where results for the time-homogenous case exist, and our goal is to develop a rigorous treatment of the time-inhomogeneous case. It is interesting to see that even if the topics we deal with are different, the ”philosophy” and “intuition” behind is similar in many ways.
The paper is organized as follows: Section 2 is devoted to propagators. We introduce the concept of regular propagators, which we characterize as unique solutions to well-posed Cauchy problems: this is of crucial importance for both our main weak law of large numbers (WLLN) and central limit theorem (CLT) results, in order to get the unicity of the limiting process. In Section 3, we introduce inhomogeneous random evolutions and present some of their properties. In Section 4 and Section 5, we prove, respectively, a WLLN and a CLT, which are the main results of the paper (Theorems 8 and 11). In particular, for the CLT, we obtain a precise (and new) characterization of the limiting process using weak Banach-valued stochastic integrals and so-called orthogonal martingale measures: this result—to the best of our knowledge—has not even been obtained in the time-homogeneous case. In Section 6, we present financial applications to illiquidity modeling using regime-switching time-inhomogeneous Lévy price dynamics and regime-switching Lévy driven diffusion based price dynamics. We also present a generalized version of the multi-asset model of price impact from distressed selling introduced in the recent article [11], for which we retrieve (and generalize) their diffusion limit result for the price process. We would like to mention that copula-based multivariate semi-Markov models with application in high-frequency finance is considered in [17], which is related to some generalization of semi-Markov processes and their application.

2. Propagators

This section aims at presenting a few results on propagators, which are used in the sequel. Most of them (as well as the corresponding proofs) are similar to what can be found in [18] Chapter 5, [19] Chapter 2 or [15], but, to the best of our knowledge, they do not appear in the literature in the form presented below. In particular, the main result of this section is Theorem 4, which characterizes so-called regular propagators as unique solutions to well-posed Cauchy problems.
Let ( Y , | | · | | ) be a real separable Banach space. Let Y be the dual space of Y. ( Y 1 , | | · | | Y 1 ) is assumed to be a real separable Banach space which is continuously embedded in Y (this idea was used in [18], Chapter 5), i.e., Y 1 Y and c 1 R + : | | f | | c 1 | | f | | Y 1 f Y 1 . Unless mentioned otherwise, limits are taken in the Y-norm, normed vector spaces are equipped with the norm topology and subspaces of normed vector spaces are equipped with the subspace topology. Limits in the Y 1 norm are denoted Y 1 lim , for example. In the following, J refers to either R + or [ 0 , T ] for some T > 0 and Δ J : = { ( s , t ) J 2 : s t } . In addition, let, for s J , J ( s ) : = { t J : s t } and Δ J ( s ) : = { ( r , t ) J 2 : s r t } . We start by a few introductory definitions:
Definition 1.
A function Γ : Δ J B ( Y ) is called a Y-(backward) propagator if:
(i) 
t J : Γ ( t , t ) = I ; and
(ii) 
( s , r ) , ( r , t ) Δ J : Γ ( s , r ) Γ ( r , t ) = Γ ( s , t ) .
If, in addition, ( s , t ) Δ J : Γ ( s , t ) = Γ ( 0 , t s ) , Γ is called a Y-semigroup.
Note that we focus our attention on backward propagators as many applications only fit the backward case, as shown below. Forward propagators differ from backward propagators in the way that they satisfy Γ ( t , r ) Γ ( r , s ) = Γ ( t , s ) ( s r t ). We now introduce the generator of the propagator:
Definition 2.
For t i n t ( J ) , define:
D ( A Γ ( t ) ) : = f Y : lim h 0 t + h J ( Γ ( t , t + h ) I ) f h = lim h 0 t h J ( Γ ( t h , t ) I ) f h Y
a n d   f o r   f D ( A Γ ( t ) ) : A Γ ( t ) f : = lim h 0 t + h J ( Γ ( t , t + h ) I ) f h = lim h 0 t h J ( Γ ( t h , t ) I ) f h .
Define similarly for t = 0 :
D ( A Γ ( 0 ) ) : = f Y : lim h 0 h J ( Γ ( 0 , h ) I ) f h Y
a n d   f o r   f D ( A Γ ( 0 ) ) : A Γ ( 0 ) f : = lim h 0 h J ( Γ ( 0 , h ) I ) f h ,
and define A Γ ( T ) similarly to A Γ ( 0 ) . Let D ( A Γ ( : = t J D ( A Γ ( t ) ) . Then, A Γ : J L ( D ( A Γ ) , Y ) is called the infinitesimal generator of the Y-propagator Γ.
In the following definitions, which deal with continuity and boundedness of propagators, ( E 1 , | | · | | E 1 ) and ( E 2 , | | · | | E 2 ) represent Banach spaces such that E 2 E 1 (possibly E 1 = E 2 ).
Definition 3.
A E 1 -propagator Γ is B ( E 2 , E 1 ) -bounded if sup ( s , t ) Δ J | | Γ ( s , t ) | | B ( E 2 , E 1 ) < . It is a B ( E 2 , E 1 ) -contraction if sup ( s , t ) Δ J | | Γ ( s , t ) | | B ( E 2 , E 1 ) 1 . It is B ( E 2 , E 1 ) -locally bounded if sup ( s , t ) K | | Γ ( s , t ) | | B ( E 2 , E 1 ) < for every compact K Δ J .
Definition 4.
Let F E 2 . A E 1 -propagator Γ is ( F , | | · | | E 2 ) -strongly continuous if ( s , t ) Δ J , f F :
Γ ( s , t ) F E 2 a n d lim ( h 1 , h 2 ) ( 0 , 0 ) ( s + h 1 , t + h 2 ) Δ J | | Γ ( s + h 1 , t + h 2 ) f Γ ( s , t ) f | | E 2 = 0 .
When E 1 = E 2 = Y , we simply write that it is F-strongly continuous.
We use the terminologies t-continuity and s-continuity for the continuity of the partial applications. According to [19], strong joint continuity is equivalent to strong separate continuity together with local boundedness of the propagator.
Definition 5.
Let F E 2 . The generator AΓ or the E 1 -propagator Γ is ( F , | | · | | E 2 ) -strongly continuous if t J , f F :
A Γ ( t ) F E 2 a n d lim h 0 t + h J | | A Γ ( t + h ) f A Γ ( t ) f | | E 2 = 0 .
When E 1 = E 2 = Y , we simply write that it is F-strongly continuous.
The following results give conditions under which the propagator is differentiable in s and t.
Theorem 1.
Let Γ be a Y-propagator. Assume that ( s , t ) Δ J , Γ ( s , t ) Y 1 D ( A Γ ) . Then:
s Γ ( s , t ) f = A Γ ( s ) Γ ( s , t ) f , ( s , t ) Δ J , f Y 1 .
If, in addition, Γ is ( Y 1 , | | · | | Y 1 ) -strongly s-continuous, Y 1 -strongly t-continuous, then:
s Γ ( s , t ) f = A Γ ( s ) Γ ( s , t ) f ( s , t ) Δ J , f Y 1 .
Proof of Theorem 1.
Let ( s , t ) Δ J , f Y 1 .
s Γ ( s , t ) f = lim h 0 ( s h , t ) Δ J Γ ( s , t ) f Γ ( s h , t ) f h
= lim h 0 ( s h , t ) Δ J Γ ( s h , s ) I h Γ ( s , t ) f = A Γ ( s ) Γ ( s , t ) f
since Γ ( s , t ) f D ( A Γ ) . We have for s < t :
+ s Γ ( s , t ) f = lim h 0 ( s + h , t ) Δ J Γ ( s + h , t ) f Γ ( s , t ) f h
= lim h 0 ( s + h , t ) Δ J Γ ( s , s + h ) I h Γ ( s + h , t ) f .
Let h ( 0 , t s ] :
( Γ ( s , s + h ) I ) h Γ ( s + h , t ) f A Γ ( s ) Γ ( s , t ) f ( Γ ( s , s + h ) I ) h Γ ( s , t ) f A Γ ( s ) Γ ( s , t ) f + ( Γ ( s , s + h ) I ) h B ( Y 1 , Y ) | | Γ ( s + h , t ) f Γ ( s , t ) f | | Y 1 ,
the last inequality holding because ( s , t ) Δ J : Γ ( s , t ) Y 1 Y 1 . We apply the uniform boundedness principle to show that sup h ( 0 , t s ] ( Γ ( s , s + h ) I ) h B ( Y 1 , Y ) < . Y 1 is Banach. We have to show that g Y 1 : sup h ( 0 , t s ] ( Γ ( s , s + h ) I ) h g < . Let g Y 1 . We have ( Γ ( s , s + h ) I ) h g h 0 | | A Γ ( s ) g | | since Y 1 D ( A Γ ) . δ ( g ) ( 0 , t s ) : h ( 0 , δ ) ( Γ ( s , s + h ) I ) h g < 1 + | | A Γ ( s ) g | | . Then, by Y 1 -strong t-continuity of Γ, h ( Γ ( s , s + h ) I ) h g C ( [ δ , t s ] , R ) . Let M : = max h [ δ , t s ] ( Γ ( s , s + h ) I ) h g . Then, we get ( Γ ( s , s + h ) I ) h g max ( M , 1 + | | A Γ ( s ) g | | ) h ( 0 , t s ] sup h ( 0 , t s ] ( Γ ( s , s + h ) I ) h g < .
Further, by ( Y 1 , | | · | | Y 1 ) -strong s-continuity of Γ, | | Γ ( s + h , t ) f Γ ( s , t ) f | | Y 1 h 0 0 . Finally, since Γ ( s , t ) f D ( A Γ ) , ( Γ ( s , s + h ) I ) h Γ ( s , t ) f A Γ ( s ) Γ ( s , t ) f h 0 0 .
Therefore, we get + s Γ ( s , t ) f = A Γ ( s ) Γ ( s , t ) f for s < t , which shows that s Γ ( s , t ) f = A Γ ( s ) Γ ( s , t ) f for ( s , t ) Δ J .  □
Theorem 2.
Let Γ be a Y-propagator. Assume that Y 1 D ( A Γ ) . Then, we have:
+ t Γ ( s , t ) f = Γ ( s , t ) A Γ ( t ) f ( s , t ) Δ J , f Y 1 .
If, in addition, Γ is Y-strongly t-continuous, then we have:
t Γ ( s , t ) f = Γ ( s , t ) A Γ ( t ) f ( s , t ) Δ J , f Y 1 .
Proof of Theorem 2.
Let ( s , t ) Δ J , f Y 1 . We have:
+ t Γ ( s , t ) f = lim h 0 ( s , t + h ) Δ J Γ ( s , t + h ) f Γ ( s , t ) f h
= lim h 0 ( s , t + h ) Δ J Γ ( s , t ) ( Γ ( t , t + h ) I ) f h .
For h J : t + h J :
Γ ( s , t ) ( Γ ( t , t + h ) I ) f h Γ ( s , t ) A Γ ( t ) f | | Γ ( s , t ) | | ( Y ) ( Γ ( t , t + h ) I ) f h A Γ ( t ) f h 0 0 .
since f D ( A Γ ) . Therefore, + t Γ ( s , t ) f = Γ ( s , t ) A Γ ( t ) f . Now, if s < t :
t Γ ( s , t ) f = lim h 0 ( s , t h ) Δ J Γ ( s , t ) f Γ ( s , t h ) f h
= lim h 0 ( s , t h ) Δ J Γ ( s , t h ) ( Γ ( t h , t ) I ) f h .
For h ( 0 , t s ] :
Γ ( s , t h ) ( Γ ( t h , t ) I ) f h Γ ( s , t ) A Γ ( t ) f | | Γ ( s , t h ) | | B ( Y ) ( Γ ( t h , t ) I ) f h A Γ ( t ) f + | | Γ ( ( s , t h ) Γ ( s , t ) ) A Γ ( t ) f | | .
Since f D ( A Γ ) , ( Γ ( t h , t ) I ) f h A Γ ( t ) f h 0 0 . By Y-strong t-continuity of Γ: | | ( Γ ( s , t h ) Γ ( s , t ) ) A Γ ( t ) f | | h 0 0 . By the principle of uniform boundedness together with the Y-strong t-continuity of Γ, we have sup h ( 0 , t s ] | | Γ ( s , t h ) | | B ( Y ) sup h [ 0 , t s ] | | Γ ( s , t h ) | | B ( Y ) < . Therefore, we get t Γ ( s , t ) f = Γ ( s , t ) A Γ ( t ) f for s < t , which shows t Γ ( s , t ) f = Γ ( s , t ) A Γ ( t ) f for ( s , t ) Δ J .  □
In general, we want to use the evolution equation: Γ ( s , t ) f = f + s t Γ ( s , u ) A Γ ( u ) f d u ; therefore, we need that u Γ ( s , u ) A Γ ( u ) f is in L Y 1 ( [ s , t ] ) . The following result gives sufficient conditions for which it is the case.
Theorem 3.
Assume that Theorem 2 holds true, i.e., t J , A Γ ( t ) B ( Y 1 , Y ) and ( s , t ) Δ J , u | | A Γ ( u ) | | B ( Y 1 , Y ) L R 1 [ s , t ] ) . Then, f Y 1 , ( s , t ) Δ J :
Γ ( s , t ) f = f + s t Γ ( s , u ) A Γ ( u ) f d u .
Proof of Theorem 3.
Let f Y 1 , ( s , t ) Δ J . First, u Γ ( s , u ) A Γ ( u ) f B Y ( [ s , t ] ) as the derivative of u Γ ( s , u ) f . By the principle of uniform boundedness together with the Y-strong t-continuity of Γ, we have M : = sup u [ s , t ] | | Γ ( s , u ) | | B ( Y ) < . We then observe that for u [ s , t ] :
| | Γ ( s , u ) A Γ ( u ) f | | M | | A Γ ( u ) f | | M | | A Γ ( u ) | | B ( Y 1 , Y ) | | f | | Y 1 .
The following definition introduces the concept of regular propagator, which in short means that it is differentiable with respect to both variables, and that its derivatives are integrable.  □
Definition 6.
A Y-propagator Γ is said to be regular if it satisfies Theorems 1 and 2 and ( s , t ) Δ J , f Y 1 , u | | A Γ ( u ) Γ ( u , t ) f | | and u | | Γ ( s , u ) A Γ ( u ) f | | are in L R 1 [ s , t ] ) .
Now, we are ready to characterize a regular propagator as the unique solution of a well-posed Cauchy problem, which is needed in the sequel. Note that the proof of the theorem below requires that Γ satisfies both Theorems 1 and 2 (hence, our above definition of regular propagators). The next result is the initial value problem statement for operator G .
Theorem 4.
Let AΓ be the generator of a regular Y-propagator Γ and s J , G s B ( Y ) . A solution operator G : J ( s ) B ( Y ) to the Cauchy problem:
d d t G ( t ) f = G ( t ) A Γ ( t ) f t J ( s ) , f Y 1 G ( s ) = G s
is said to be regular if it is Y-strongly continuous. If G is such a regular solution, then we have G ( t ) f = G s Γ ( s , t ) f , t J ( s ) , f Y 1 .
Proof of Theorem 4.
Let ( s , u ) , ( u , t ) Δ J , f Y 1 . Consider the function ϕ : u G ( u ) Γ ( u , t ) f . We show that ϕ ( u ) = 0 u [ s , t ] and therefore that ϕ ( s ) = ϕ ( t ) . We have for u < t :
d + ϕ d u ( u ) = lim h 0 h ( 0 , t u ] 1 h [ G ( u + h ) Γ ( u + h , t ) f G ( u ) Γ ( u , t ) f ] .
Let h ( 0 , t u ] . We have:
1 h [ G ( u + h ) Γ ( u + h , t ) f G ( u ) Γ ( u , t ) f ] 1 h G ( u + h ) Γ ( u , t ) f 1 h G ( u ) Γ ( u , t ) f G ( u ) A Γ ( u ) Γ ( u , t ) f ( 1 ) + | | G ( u + h ) | | B ( Y ) 1 h Γ ( u + h , t ) f 1 h Γ ( u , t ) f + A Γ ( u ) Γ ( u , t ) f ( 2 ) + | | G ( u + h ) A Γ ( u ) Γ ( u , t ) f G ( u ) A Γ ( u ) Γ ( u , t ) f | | ( 3 )
We have:
  • (1) → 0 as G satisfies the initial value problem and Γ ( u , t ) Y 1 Y 1 .
  • (2) → 0 as u Γ ( u , t ) f = A Γ ( u ) ( u , t ) f .
  • (3) → 0 by Y-strong continuity of G.
Further, by the principle of uniform boundedness together with the Y-strong continuity of G, we have sup h ( 0 , t u ] | | G ( u + h ) | | B ( Y ) sup h [ 0 , t u ] | | G ( u + h ) | | B ( Y ) < . We therefore get d + ϕ d u ( u ) = 0 . Now, for u > s :
d ϕ d u ( u ) = lim h 0 h ( 0 , u s ] 1 h [ G ( u ) Γ ( u , t ) f G ( u h ) Γ ( u h , t ) f ]
Let h ( 0 , u s ] :
1 h [ G ( u ) Γ ( u , t ) f G ( u h ) Γ ( u h , t ) f ] 1 h G ( u ) Γ ( u , t ) f 1 h G ( u h ) Γ ( u , t ) f G ( u ) A Γ ( u ) Γ ( u , t ) f ( 4 ) + | | G ( u h ) | | B ( Y ) 1 h Γ ( u h , u ) Γ ( u , t ) f + 1 h Γ ( u , t ) f + A Γ ( u ) Γ ( u , t ) f ( 5 ) + | | G ( u ) A Γ ( u ) Γ ( u , t ) f G ( u h ) A Γ ( u ) Γ ( u , t ) f | | ( 6 )
By the principle of uniform boundedness together with the Y-strong t-continuity of G, we have sup h ( 0 , u s ] | | G ( u h ) | | B ( Y ) sup h [ 0 , u s ] | | G ( u h ) | | B ( Y ) < . Furthermore:
  • (4) → 0 as G satisfies the initial value problem and Γ ( u , t ) Y 1 Y 1 .
  • (5) → 0 as Γ ( u , t ) Y 1 Y 1 .
  • (6) → 0 by Y-strong continuity of G.
We therefore get d ϕ d u ( u ) = 0 .  □
The following corollary expresses the fact that equality of generators implies equality of propagators.
Corollary 1.
Assume that Γ 1 and Γ 2 are regular Y-propagators and that f Y 1 , t J , A Γ 1 ( t ) f = A Γ 2 ( t ) f . Then, f Y 1 , ( s , t ) Δ J : Γ 1 ( s , t ) f = Γ 2 ( s , t ) f . In particular, if Y 1 is dense in Y, then Γ 1 = Γ 2 .
We conclude this section with a second-order Taylor formula for propagators. Let:
D ( A Γ Y 1 ) : = f D ( A Γ ) Y 1 : A Γ ( t ) f Y 1 t J .
Theorem 5.
Let Γ be a regular Y-propagator, ( s , t ) Δ J . Assume that u J , A Γ ( u ) B ( Y 1 , Y ) and u | | A Γ ( u ) | | B ( Y 1 , Y ) L R 1 [ s , t ] ) . Then, we have for f D ( A Γ Y 1 ) :
Γ ( s , t ) f = f + s t A Γ ( u ) f d u + s t s u Γ ( s , r ) A Γ ( r ) A Γ ( u ) f d r d u .
Proof of Theorem 5.
Since Γ is regular and f, A Γ ( u ) f Y 1 and u | | A Γ ( u ) | | B ( Y 1 , Y ) is integrable on [ s , t ] we have by 3:
Γ ( s , t ) f = f + s t Γ ( s , u ) A Γ ( u ) f d u = f + s t A Γ ( u ) f + s u Γ ( s , r ) A Γ ( r ) A Γ ( u ) f d r d u
= f + s t A Γ ( u ) f d u + s t s u Γ ( s , r ) A Γ ( r ) A Γ ( u ) f d r d u .
 □

3. Inhomogeneous Random Evolutions: Definitions and Properties

Let ( Ω , F , P ) be a complete probability space, J a finite set and ( x n , T n ) n N an inhomogeneous Markov renewal process on it, with associated inhomogeneous semi-Markov process ( x ( t ) ) t R + : = ( x N t ) t R + (as in [5]). In this section, we use the same notations for the various kernels and cumulative distribution functions ( Q s ( i , j , t ) , F s ( i , t ) , etc.) as in [5] on inhomogeneous Markov renewal processes. Throughout the section, we assume that the inhomogeneous Markov renewal process ( x n , T n ) n N is regular (cf. definition in [5]), and that Q s ( · , · , 0 ) = 0 for all s R + . Further assumptions on it are made below. We define the following random variables on Ω , for s t R + :
  • the number of jumps on ( s , t ] : N s ( t ) : = N ( t ) N ( s ) ;
  • the jump times on ( s , ) : T n ( s ) : = T N ( s ) + n for n N , and T 0 ( s ) : = s ; and
  • the states visited by the process on [ s , ) : x n ( s ) : = x ( T n ( s ) ) , for n N .
Consider a family of Y-propagators ( Γ x ) x J , with respective generators ( A x ) x J , satisfying:
s J : ( r , t , x , f ) Γ x ( r t , r t ) f
is B o r ( J ( s ) ) B o r ( J ( s ) ) B o r ( J ) B o r ( Y ) B o r ( Y ) measurable ,
as well as a family ( D ( x , y ) ) ( x , y ) J 2 B ( Y ) of B ( Y ) -contractions, satisfying:
( x , y , f ) D ( x , y ) f is B o r ( J ) B o r ( J ) B o r ( Y ) B o r ( Y ) measurable .
We define the inhomogeneous random evolution the following way:
Definition 7.
The function V : Δ J × Ω B ( Y ) defined pathwise by:
V ( s , t ) ( ω ) = k = 1 N s ( t ) Γ x k 1 ( s ) T k 1 ( s ) , T k ( s ) D ( x k 1 ( s ) , x k ( s ) ) Γ x ( t ) T N s ( t ) ( s ) , t
is called a ( Γ , D , x ) -inhomogeneous Y-random evolution, or simply an inhomogeneous Y-random evolution. V is said to be continuous (respectively, purely discontinuous) if D ( x , y ) = I (respectively, Γ x = I ), ( x , y ) J 2 . V is said to be regular (respectively, B ( Y ) -contraction) if ( Γ x ) x J are regular (respectively, B ( Y ) -contraction).
Remark 1.
In the latter definition, we use as conventions that k = 1 n A k : = A 1 A n 1 A n , that is, the product operator applies the product on the right. Further, if N s ( t ) > 0 , then x N s ( t ) ( s ) = x ( T N s ( t ) ( s ) ) = x ( T N ( t ) ) = x ( t ) . If N s ( t ) = 0 , then x ( s ) = x ( t ) and x N s ( t ) ( s ) = x 0 ( s ) = x ( T 0 ( s ) ) = x ( s ) = x ( t ) . Therefore, in all cases, x N s ( t ) ( s ) = x ( t ) . By Proposition 2 below, if D = I , we see that V is continuous and if Γ x = I (and therefore A x = 0 ), we see that V has no continuous part, hence Definition 7.
As long as our main object is stochastic process ( V ( s , t ) ( ω ) f ) , we have to show a measurability of this process. Thus, we have the following measurability result:
Proposition 1.
For s J , f Y , the stochastic process ( V ( s , t ) ( ω ) f ) ( ω , t ) Ω × J ( s ) is adapted to the (augmented) filtration:
F t ( s ) : = σ x n N s ( t ) ( s ) , T n N s ( t ) ( s ) : n N σ ( P n u l l   s e t s ) .
Proof of Proposition 1.
Let E B o r ( Y ) , ( s , t ) Δ J , f Y . We have:
V ( s , t ) f 1 ( E ) = n N { V ( s , t ) f E } { N s ( t ) = n } .
Denote the F t ( s ) B o r ( R + ) measurable (by construction) function h k : = T ( k + 1 ) N s ( t ) ( s ) T k N s ( t ) ( s ) . Since Q ( · , · , 0 ) = 0 , remark that N s ( t ) ( ω ) = sup m N k = 0 m 1 h k 1 ( R + ) ( ω ) and is therefore F t ( s ) B o r ( R + ) measurable. Therefore, { N s ( t ) = n } F t ( s ) . Let:
Ω n : = { N s ( t ) = n } M : = n N : Ω n .
M since Ω = n N Ω n , and for n M , let the sigma-algebra F n : = F t ( s ) | Ω n : = { A F t ( s ) : A Ω n } ( F n is a sigma-algebra on Ω n since Ω n F t ( s ) ). Now, consider the map V n ( s , t ) f : ( Ω n , F n ) ( Y , B o r ( Y ) ) :
V n ( s , t ) f : = k = 1 n Γ x k 1 ( s ) T k 1 ( s ) , T k ( s ) D ( x k 1 ( s ) , x k ( s ) ) Γ x n ( s ) T n ( s ) , t f .
We have:
V ( s , t ) f 1 ( E ) = n N { V n ( s , t ) f E } Ω n = n N { ω Ω n : V n ( s , t ) f E }
= n N V n ( s , t ) f 1 ( E ) .
Therefore, it remains to show that V n ( s , t ) f 1 ( E ) F n , since F n F t ( s ) . First, let n > 0 . Notice that V n ( s , t ) f = ψ β n α n β 1 α 1 ϕ , where:
ϕ : Ω n J ( s ) × J × Ω n Y × Ω n
ω ( T n ( s ) ( ω ) , x n ( s ) ( ω ) , ω ) ( Γ x n ( s ) ( ω ) ( T n ( s ) ( ω ) , t ) f , ω ) .
The previous mapping holding since T k ( s ) ( ω ) [ s , t ] ω Ω n , k [ | 1 , n | ] . ϕ is measurable iff each one of the coordinate mappings are. The canonical projections are trivially measurable. Let A B o r ( J ( s ) ) , B B o r ( J ) . We have:
{ ω Ω n : T n ( s ) A } = Ω n T n N s ( t ) ( s ) 1 ( A ) F n
{ ω Ω n : x n ( s ) B } = Ω n x n N s ( t ) ( s ) 1 ( B ) F n .
Now, by measurability assumption, we have for B B o r ( Y ) :
{ ( t n , y n ) J ( s ) × J : Γ y n ( t t n , t t n ) f B } = C B o r ( J ( s ) ) B o r ( J )
Therefore , { ( t n , y n , ω ) J ( s ) × J × Ω n : Γ y n ( t t n , t t n ) f B }
= C × Ω n B o r ( J ( s ) ) B o r ( J ) F n .
Therefore, ϕ is F n B o r ( Y ) F n measurable. Define for i [ 1 , n ] :
α i : Y × Ω n J × J × Y × Ω n Y × Ω n
( g , ω ) ( x n i ( s ) ( ω ) , x n i + 1 ( s ) ( ω ) , g , ω ) ( D ( x n i ( s ) ( ω ) , x n i + 1 ( s ) ( ω ) ) g , ω ) .
Again, the canonical projections are trivially measurable. We have for p [ | 0 , n | ] :
{ ω Ω n : x p ( s ) B } = Ω n x p N s ( t ) ( s ) 1 ( B ) : = C F n
Therefore , { ( g , ω ) Y × Ω n : x p ( s ) B } = Y × C B o r ( Y ) F n .
Now, by measurability assumption, B B o r ( Y ) , C B o r ( J ) B o r ( J ) B o r ( Y ) :
{ ( y n i , y n i + 1 , g , ω ) J × J × Y × Ω n : D ( y n i , y n i + 1 ) g B }
= C × Ω n B o r ( J ) B o r ( J ) B o r ( Y ) F n ,
which proves the measurability of α i . Then, we define for i [ 1 , n ] :
β i : Y × Ω n J ( s ) × J ( s ) × J × Y × Ω n Y × Ω n
( g , ω ) ( T n i ( s ) ( ω ) , T n i + 1 ( s ) ( ω ) , x n i ( s ) ( ω ) , g , ω )
( Γ x n i ( s ) ( ω ) ( T n i ( s ) ( ω ) , T n i + 1 ( s ) ( ω ) ) g , ω ) .
By measurability assumption, B B o r ( Y ) , C B o r ( J ( s ) ) B o r ( J ( s ) ) B o r ( J ) B o r ( Y ) :
{ ( t n i , t n i + 1 , y n i , g , ω ) J ( s ) × J ( s ) × J × Y × Ω n : Γ y n i ( t n i t n i + 1 , t n i t n i + 1 ) g B }
= C × Ω n B o r ( J ( s ) ) B o r ( J ( s ) ) B o r ( J ) B o r ( Y ) F n ,
which proves the measurability of β i . Finally, define the canonical projection:
ψ : Y × Ω n Y
( g , ω ) g
which proves the measurability of V n ( s , t ) f . For n = 0 , we have V n ( s , t ) f = Γ x ( s ) s , t f and the proof is similar.  □
The following result characterizes an inhomogeneous random evolution as a propagator, shows that it is right-continuous and that it satisfies an integral representation (which is used extensively below). It also clarifies why we use the terminology “continuous inhomogeneous Y-random evolution” when D = I .
Proposition 2.
Let V an inhomogeneous Y-random evolution and ( s , t ) Δ J , ω Ω . Then, V ( , ) ( ω ) is a Y-propagator. If we assume that V is regular, then we have on Ω the following integral representation:
V ( s , t ) f = f + s t V ( s , u ) A x ( u ) ( u ) f d u + k = 1 N s ( t ) V ( s , T k ( s ) ) [ D ( x k 1 ( s ) , x k ( s ) ) I ] f .
Further u V ( s , u ) ( ω ) is Y-strongly RCLL on J ( s ) , i.e., f Y , u V ( s , u ) ( ω ) f D ( J ( s ) , ( Y , | | · | | ) ) . More precisely, we have for f Y :
V ( s , u ) f = V ( s , u ) f   i f   u { T n ( s ) : n N }
V ( s , T n + 1 ( s ) ) f = V ( s , T n + 1 ( s ) ) D ( x n ( s ) , x n + 1 ( s ) ) f n N ,
where we denote V ( s , t ) f : = lim u t V ( s , u ) f .
Proof of Proposition 2.
The fact that V ( s , t ) B ( Y ) is straightforward from the definition of V and using the fact that ( D ( x , y ) ) ( x , y ) J 2 are B ( Y ) -contractions. We can also obtain easily that V is a propagator by straightforward computations. We now show that u V ( s , u ) ( ω ) is Y-strongly continuous on each [ T n ( s ) , T n + 1 ( s ) ) J ( s ) , n N and Y-strongly RCLL at each T n + 1 ( s ) J ( s ) , n N . Let n N such that T n ( s ) J ( s ) . t [ T n ( s ) , T n + 1 ( s ) ) J ( s ) , we have:
V ( s , t ) = k = 1 n Γ x k 1 ( s ) T k 1 ( s ) , T k ( s ) D ( x k 1 ( s ) , x k ( s ) ) Γ x n ( s ) T n ( s ) , t .
Therefore, by Y-strong t-continuity of Γ, we get that u V ( s , u ) ( ω ) is Y-strongly continuous on [ T n ( s ) , T n + 1 ( s ) ) J ( s ) . If T n + 1 ( s ) J ( s ) , the fact that V ( s , ) has a left limit at T n + 1 ( s ) also comes from the Y-strong t-continuity of Γ:
V ( s , T n + 1 ( s ) ) f = lim h 0 G n s Γ x n ( s ) ( T n ( s ) , T n + 1 ( s ) h ) f = G n s Γ x n ( s ) ( T n ( s ) , T n + 1 ( s ) ) f
G n s = k = 1 n Γ x k 1 ( s ) T k 1 ( s ) , T k ( s ) D ( x k 1 ( s ) , x k ( s ) ) .
Therefore, we get the relationship:
V ( s , T n + 1 ( s ) ) f = V ( s , T n + 1 ( s ) ) D ( x n ( s ) , x n + 1 ( s ) ) f .
To prove the integral representation, let s J , ω Ω , f Y 1 . We proceed by induction and show that n N , we have t [ T n ( s ) , T n + 1 ( s ) ) J ( s ) :
V ( s , t ) f = f + s t V ( s , u ) A x ( u ) ( u ) f d u + k = 1 n V ( s , T k ( s ) ) [ D ( x k 1 ( s ) , x k ( s ) ) I ] f .
For n = 0 , we have t [ s , T 1 ( s ) ) J ( s ) : V ( s , t ) f = Γ x ( s ) ( s , t ) f , and therefore V ( s , t ) f = f + s t V ( s , u ) A x ( u ) ( u ) f d u by regularity of Γ. Now, assume that the property is true for n 1 , namely: t [ T n 1 ( s ) , T n ( s ) ) J ( s ) . We have:
V ( s , t ) f = f + s t V ( s , u ) A x ( u ) ( u ) f d u + k = 1 n 1 V ( s , T k ( s ) ) [ D ( x k 1 ( s ) , x k ( s ) ) I ] f .
Therefore, it implies that (by continuity of the Bochner integral):
V ( s , T n ( s ) ) f = f + s T n ( s ) V ( s , u ) A x ( u ) ( u ) f d u + k = 1 n 1 V ( s , T k ( s ) ) [ D ( x k 1 ( s ) , x k ( s ) ) I ] f .
Now, t [ T n ( s ) , T n + 1 ( s ) ) J ( s ) we have that:
V ( s , t ) = G n s Γ x n ( s ) ( T n ( s ) , t )
G n s : = k = 1 n Γ x k 1 ( s ) T k 1 ( s ) , T k ( s ) D ( x k 1 ( s ) , x k ( s ) ) ,
and therefore t [ T n ( s ) , T n + 1 ( s ) ) J ( s ) , by Theorem 2 and regularity of Γ:
t V ( s , t ) f = V ( s , t ) A x ( t ) ( t ) f V ( s , t ) f = V ( s , T n ( s ) ) f + T n ( s ) t V ( s , u ) A x ( u ) ( u ) f d u .
Further, we already proved that V ( s , T n ( s ) ) f = V ( s , T n ( s ) ) D ( x n 1 ( s ) , x n ( s ) ) f . Therefore, combining these results we have:
V ( s , t ) f = V ( s , T n ( s ) ) D ( x n 1 ( s ) , x n ( s ) ) f + T n ( s ) t V ( s , u ) A x ( u ) ( u ) f d u
= V ( s , T n ( s ) ) f + T n ( s ) t V ( s , u ) A x ( u ) ( u ) f d u + V ( s , T n ( s ) ) D ( x n 1 ( s ) , x n ( s ) ) f V ( s , T n ( s ) ) f
= f + s T n ( s ) V ( s , u ) A x ( u ) ( u ) f d u + k = 1 n 1 V ( s , T k ( s ) ) [ D ( x k 1 ( s ) , x k ( s ) ) I ] f
+ T n ( s ) t V ( s , u ) A x ( u ) ( u ) f d u + V ( s , T n ( s ) ) D ( x n 1 ( s ) , x n ( s ) ) f V ( s , T n ( s ) ) f
= f + s t V ( s , u ) A x ( u ) ( u ) f d u + k = 1 n V ( s , T k ( s ) ) [ D ( x k 1 ( s ) , x k ( s ) ) I ] f .
 □

4. Weak Law of Large Numbers

In this section, we introduce a rescaled random evolution Vϵ, in which time is rescaled by a small parameter ϵ. The main result of this section is Theorem 8 in Section 4.5. To prove the weak convergence of Vϵ to some regular propagator Γ ^ , we prove in Section 4.3 that Vϵ is relatively compact, which informally means that, for any sequence ϵ n 0 , there exists a subsequence { n k } along which V ϵ n k converges weakly. To show the convergence of Vϵ to Γ ^ , we need to show that all limit points of the latter V ϵ n k are equal to Γ ^ . To prove relative compactness, we need among other things that Vϵ satisfies the so-called compact containment criterion (CCC), which in short requires that for every f Y , V ϵ ( s , t ) f remains in a compact set of Y with an arbitrarily high probability as ϵ 0 . This compact containment criterion is the topic of Section 4.2. Section 4.1 introduces the rescaled random evolution Vϵ as well as some regularity assumptions (condensed in Assumptions 1, Section 4.1, for spaces and operators under consideration, and in Assumptions 2, Section 4.1, for the semi-Markov processes) which will be assumed to hold throughout the rest of the paper. It also reminds the reader of some definitions and results on relative compactness in the Skorohod space, which are mostly taken from the well-known book [20]. Finally, the main WLLN result Theorem 8 is proved using a martingale method similar in the spirit to what is done in [10] (Chapter 4, Section 4.2.1) for time-homogeneous random evolutions. This method is here adapted rigorously to the time-inhomogeneous setting: this is the topic of Section 4.4. The martingale representation presented in Lemma 5 of Section 4.4 will be used in the Section 5 to prove a CLT for time-inhomogeneous random evolutions.

4.1. Preliminary Definitions and Assumptions

In this section, we prove a weak law of large numbers for inhomogeneous random evolutions. We rescale both time and the jump operators D in a suitable way by a small parameter ϵ and study the limiting behavior of the rescaled random evolution. To this end, the same way we introduce inhomogeneous Y-random evolutions, we consider a family ( D ϵ ( x , y ) ) ( x , y ) J 2 , ϵ ( 0 , 1 ] of B ( Y ) -contractions, satisfying ϵ ( 0 , 1 ] :
( x , y , f ) D ϵ ( x , y ) f is B o r ( J ) B o r ( J ) B o r ( Y ) B o r ( Y ) measurable .
and let D 0 ( x , y ) : = I . We define:
D ( D 1 ) : = ϵ [ 0 , 1 ] ( x , y ) J 2 f Y : lim h 0 ϵ + h [ 0 , 1 ] D ϵ + h ( x , y ) f D ϵ ( x , y ) f h Y
and f ( D D 1 ) :
D 1 ϵ ( x , y ) f : = lim h 0 ϵ + h [ 0 , 1 ] D ϵ + h ( x , y ) f D ϵ ( x , y ) f h .
The latter operators correspond, in short, to the (first-order) derivatives of the operators Dϵ with respect to ϵ. We need them in the following to be able to use the expansion D ϵ I + ϵ D 1 ϵ + , which proves useful when proving limit theorems for random evolutions. The same way, we introduce D 2 ϵ , corresponding to the second derivative. We also let:
D ( D 1 0 Y 1 ) : = f D ( D 1 ) Y 1 : D 1 0 ( x , y ) f Y 1 ( x , y ) J 2 .
For x J , remembering the definition of D ( A x Y 1 ) in (38), we let:
D ( A x ) : = D ( A x Y 1 ) f ( A x ) Y 1 : Y 1 lim h 0 t + h J A x ( t + h ) f A x ( t ) f h Y 1 t J
and for t J , f D ( A x ) :
A x ( t ) f : = Y 1 lim h 0 t + h J A x ( t + h ) f A x ( t ) f h .
Here, Y 1 lim simply indicates that the limit is taken in the Y 1 norm. We also introduce the space D ^ on which we are mostly working on:
D ^ : = x J D ( A x ) D ( D 2 ) ( D D 1 0 Y 1 ) .
Throughout this section, we make the following set of regularity assumptions, which we first state and then comment on immediately afterwards. We recall that the various notions of continuity and regularity are defined in Section 2.
Assumptions 1.
Assumptions on the structure of spaces:
1. 
The subset D ^ contains a countable family which is dense in both Y 1 and Y.
2. 
Y 1 D ( D 1 ) .
Assumptions on the regularity of operators:
1. 
( Γ x ) x J are regular Y-propagators.
2. 
A x is Y 1 -strongly continuous, x J .
Assumptions on the boundedness of operators:
1. 
( Γ x ) x J are B ( Y ) -exponentially bounded, i.e., γ 0 such that | | Γ x ( s , t ) | | B ( Y ) e γ ( t s ) , for all x J , ( s , t ) Δ J .
2. 
A x ( t ) B ( Y 1 , Y ) and sup u [ 0 , t ] | | A x ( u ) | | B ( Y 1 , Y ) < t J , x J .
3. 
sup t [ 0 , T ] x J | | A x ( t ) f | | < , sup t [ 0 , T ] x J | | A x ( t ) f | | Y 1 < , f x J D ( A x ) , for all T J .
4. 
D 1 0 ( x , y ) B ( Y 1 , Y ) x , y J .
5. 
sup ϵ [ 0 , 1 ] ( x , y ) J 2 | | D 1 ϵ ( x , y ) f | | < , f D ( D 1 ) .
6. 
sup ϵ [ 0 , 1 ] ( x , y ) J 2 | | D 2 ϵ ( x , y ) f | | < , f D ( D 2 ) .
Assumptions 2.
Assumptions on the semi-Markov process:
1. 
(ergodicity) Assumptions from [5] holds true for the function t t , so that:
lim t N ( t ) t = 1 Π m a . e .
2. 
(uniform boundedness of sojourn increments) τ ¯ > 0 such that:
sup t R + i J F t ( i , τ ¯ ) = 1 .
3. 
(regularity of the inhomogeneous Markov renewal process) The conditions for F t ( i , τ ¯ ) are satisfied (see [5]), namely: there exists τ > 0 and β > 0 such that:
sup t R + i J F t ( i , τ ) < 1 β .
Let us make a few comments on the previous assumptions. The assumptions regarding the regularity of operators mainly ensure that we can use the results obtained on propagators in Section 2, for example Theorem 5. The (strong) continuity of A x also proves to be useful when working with convergence in the Skorokhod space. The assumptions on the boundedness of operators is used to show that various quantities converge well. Finally, regarding the assumptions on the semi-Markov process, the almost sure convergence of t 1 N ( t ) as t is used very often. It is one of the fundamental requirement for the work below. The uniform boundedness of the sojourn increments is a mild assumption in practice. There might be a possibility to weaken it, but the proofs would become heavier, for example because the jumps of the martingales introduced below would no longer be uniformly bounded.
Notation: In the following, we let for n N , i J and t R + (their existence is guaranteed by Assumption 1):
m n ( i , t ) : = 0 s n F t ( i , d s ) m n ( i ) : = 0 s n F ( i , d s ) .
We also let J : = J if J = R + and J : = [ 0 , T τ ¯ ) if J = [ 0 , T ] . In the latter case, it is assumed that T > τ ¯ . Similarly, we let for s J : J ( s ) : = { t J : s t } .
We now introduce the rescaled random evolution, with the notation t ϵ , s : = s + ϵ ( t s ) :
Definition 8.
Let V be an inhomogeneous Y-random evolution. We define (pathwise on Ω) the rescaled inhomogeneous Y-random evolution Vϵ for ϵ ( 0 , 1 ] , ( s , t ) Δ J by:
V ϵ ( s , t ) : = k = 1 N s t 1 ϵ , s Γ x k 1 ( s ) T k 1 ϵ , s ( s ) , T k ϵ , s ( s ) D ϵ ( x k 1 ( s ) , x k ( s ) ) Γ x t 1 ϵ , s T N s t 1 ϵ , s ϵ , s ( s ) , t .
Remark 2.
we notice that Vϵ is well-defined since on Ω:
T N s t 1 ϵ , s ϵ , s ( s ) = s + ϵ T N s t 1 ϵ , s ϵ ( s ) s s + ϵ t 1 ϵ , s s = t ,
and that it coincides with V for ϵ = 1 , i.e., V 1 ( s , t ) = V ( s , t ) .
Our goal is to prove, as in [10], that, for each f in some suitable subset of Y, { V ϵ ( s , ) f } —seen as a family of elements of D ( J ( s ) , Y ) —converges weakly to some continuous limiting process V 0 ( s , ) f to be determined. To this end, we first prove that { V ϵ ( s , ) f } is relatively compact with almost surely continuous weak limit points. This is equivalent to the notion of C-tightness in [21] (VI.3) because P ( D ( J ( s ) , Y ) ) topologized with the Prohorov metric is a separable and complete metric space (Y being a separable Banach space), which implies that relative compactness and tightness are equivalent in P ( D ( J ( s ) , Y ) ) (by Prohorov’s theorem). Then, we identify the limiting operator-valued process V 0 , using the results of [14]. We first need some elements that can be found in [10] (Section 1.4) and [20] (Sections 3.8–3.11):
Definition 9.
Let ( ν n ) n N be a sequence of probability measures on a metric space ( S , d ) . We say that ν n converges weakly to ν, and write ν n ν iff f C b ( S , R ) :
lim n S f d ν n = S f d ν
Definition 10.
Let { ν ϵ } be a family of probability measures on a metric space ( S , d ) . { ν ϵ } is said to be relatively compact iff for any sequence ( ν n ) n N { ν ϵ } , there exists a weakly converging subsequence.
Definition 11.
Let s J , { X ϵ } a family of stochastic processes with sample paths in D ( J ( s ) , Y ) . We say that { X ϵ } is relatively compact iff { L ( X ϵ ) } is (in the metric space P ( D ( J ( s ) , Y ) ) endowed with the Prohorov metric). We write that X ϵ X iff L ( X ϵ ) L ( X ) . We say that { X ϵ } is C-relatively compact iff it is relatively compact and if ever X ϵ X , then X has a.e. continuous sample paths. If E Y Y , we say that { V ϵ } is E Y -relatively compact (respectively, E Y -C-relatively compact) iff { V ϵ ( s , ) f } is f E Y , s J .
Definition 12.
Let s J , { X ϵ } be a family of stochastic processes with sample paths in D ( J ( s ) , Y ) . We say that { X ϵ } satisfies the compact containment criterion ( { X ϵ } CCC) if Δ ( 0 , 1 ] , t J ( s ) Q , K Y compact set such that:
lim inf ϵ 0 P [ X ϵ ( t ) K ] 1 Δ .
We say that { V ϵ } satisfies the compact containment criterion in E Y Y ( { V ϵ } E Y -CCC), if f E Y , s J , { V ϵ ( s , ) f } CCC.
Theorem 6.
Let s J , { X ϵ } a family of stochastic processes with sample paths in D ( J ( s ) , Y ) . { X ϵ } is C-relatively compact iff it is relatively compact and j s ( X ϵ ) 0 , where:
j s ( X ) : = J ( s ) e u ( j s ( X , u ) 1 ) d u
j s ( X , u ) : = sup t [ s , u ] | | X ( t ) X ( t ) | | .
Theorem 7.
Let s J , { X ϵ } be a family of stochastic processes with sample paths in D ( J ( s ) , Y ) . { X ϵ } is relatively compact in D ( J ( s ) , Y ) iff:
1. 
{ X ϵ } CCC
2. 
T J ( s ) , r > 0 and a family { C s ( ϵ , η ) : ( ϵ , η ) ( 0 , 1 ] × ( 0 , 1 ) } of nonnegative random variables such that ( ϵ , η ) ( 0 , 1 ] × ( 0 , τ ¯ 1 ) , h [ 0 , η ] , t [ s , T ] :
E | | X ϵ ( t + h ) X ϵ ( t ) | | r G t ϵ , s E [ C s ( ϵ , η ) | G t ϵ , s ]
lim η 0 lim sup ϵ 0 E [ C s ( ϵ , η ) ] = 0 ,
where G t ϵ , s : = σ X ϵ ( u ) : u [ s , t ] .
If { X ϵ } is relatively compact, then the stronger compact containment criterion holds: Δ ( 0 , 1 ] , T J ( s ) , K Y compact set such that:
lim inf ϵ 0 P [ X ϵ ( t ) K t [ s , T ] ] 1 Δ .

4.2. The Compact Containment Criterion

We show that, to prove relative compactness, we need to prove that the compact containment criterion is satisfied. We give below some sufficient conditions for which it is the case, in particular for the space C 0 ( R d ) , which is used in many applications. In [6], it is mentioned that there exists a compact embedding of a Hilbert space into C 0 ( R d ) . Unfortunately, this is not true (to the best of our knowledge), and we show below in Proposition 4 how to overcome this problem. This latter proposition is applied in Section 6 to the time-inhomogeneous Lévy case, and the corresponding proof can easily be recycled for many other examples.
Proposition 3.
Assume that there exists a Banach space ( Z , | | · | | Z ) compactly embedded in Y, that ( Γ x ) x J , are B ( Z ) -exponentially bounded (uniformly in J ), and that ( D ϵ ( x , y ) ) ϵ ( 0 , 1 ] ( x , y ) J 2 are B ( Z ) -contractions. Then, { V ϵ } Z -CCC.
Proof. 
Let f Z , ( s , t ) Δ J , and assume | | Γ x ( s , t ) f | | Z e r ( t s ) | | f | | Z for some r 0 . Let c : = e r ( t s ) | | f | | Z and K : = c l ( Y ) S c ( Z ) , the Y-closure of the Z-closed ball of radius c. K is compact because of the compact embedding of Z into Y. Let ϵ ( 0 , 1 ] . We have ω Ω : | | V ϵ ( s , t ) ( ω ) f | | Z c . Therefore, V ϵ ( s , t ) ( ω ) f S c ( Z ) K and so P [ V ϵ ( s , t ) f K ] = P ( Ω ) = 1 1 Δ .  □
For example, we can consider the Rellich–Kondrachov compactness theorem: if U R d is an open, bounded Lipschitz domain, then the Sobolev space W 1 , p ( U ) is compactly embedded in L q ( U ) , where p [ 1 , d ) and q [ 1 , d p d p ) .
For the space C 0 ( R d ) , there is no well-known such compact embedding, therefore we have to proceed differently. The result below is applied for the time-inhomogeneous Lévy case (see Section 6), and the corresponding proof can easily be recycled for other examples.
Proposition 4.
Let Y : = C 0 ( R d ) , E Y Y . Assume that Δ ( 0 , 1 ] , ( s , t ) Δ J , ϵ ( 0 , 1 ] , f E Y , A ϵ Ω : P ( A ϵ ) 1 Δ and the family { V ϵ ( s , t ) ( ω ) f : ϵ ( 0 , 1 ] , ω A ϵ } converge uniformly to 0 at infinity, is equicontinuous and uniformly bounded. Then, { V ϵ } E Y -CCC.
Proof. 
Let f E Y , K the Y-closure of the set:
K 1 : = { V ϵ ( s , t ) ( ω ) f : ϵ ( 0 , 1 ] , ω A ϵ } .
K 1 is a family of elements of Y that are equicontinuous, uniformly bounded and that converge uniformly to 0 at infinity by assumption. Therefore, it is well-known, using the Arzela–Ascoli theorem on the one-point compactification of R d , that K 1 is relatively compact in Y and therefore that K is compact in Y. We have ϵ ( 0 , 1 ] :
P [ V ϵ ( s , t ) f K ] P [ ω A ϵ : V ϵ ( s , t ) f K ] = P ( A ϵ ) 1 Δ .
 □

4.3. Relative Compactness of { V ϵ }

This section is devoted to proving that { V ϵ } is relatively compact. In the following we assume that { V ϵ } satisfies the compact containment criterion (see [14]):
{ V ϵ } Y 1 CCC .
We first state an integral representation of { V ϵ } , which proof is the same as the proof of Proposition 2.
Lemma 1.
Let Assumption 1 hold true. Let ( s , t ) Δ J , f Y 1 . Then, Vϵ satisfies on Ω:
V ϵ ( s , t ) f = f + s t V ϵ ( s , u ) A x u 1 ϵ , s ( u ) f d u + k = 1 N s t 1 ϵ , s V ϵ ( s , T k ϵ , s ( s ) ) [ D ϵ ( x k 1 ( s ) , x k ( s ) ) I ] f .
We now prove that { V ϵ } is relatively compact.
Lemma 2.
Let Assumptions 1 and 2, hold true. Then, { V ϵ } is Y 1 -relatively compact.
Proof. 
We use Theorem 7 to show this result. Using Lemma 1, we have for h [ 0 , η ] :
| | V ϵ ( s , t + h ) f V ϵ ( s , t ) f | |
t t + h V ϵ ( s , u ) A x u 1 ϵ , s ( u ) f d u + k = N s t 1 ϵ , s + 1 N s ( t + h ) 1 ϵ , s V ϵ ( s , T k ϵ , s ( s ) ) [ D ϵ ( x k 1 ( s ) , x k ( s ) ) I ] f
η M 1 + ϵ e γ ( T + 1 s ) k = N s t 1 ϵ , s + 1 N s ( t + η ) 1 ϵ , s 1 ϵ | | D ϵ ( x k 1 ( s ) , x k ( s ) ) f f | |
η M 1 + ϵ M 2 N ( t + η ) 1 ϵ , s N t 1 ϵ , s .
where
M 1 : = e γ ( T + 1 s ) sup x J , u [ s , T + 1 τ ¯ ] | | A x ( u ) | | B ( Y 1 , Y ) | | f | | Y 1 ,
M 2 : = e γ ( T + 1 s ) sup ϵ , x , y | | D 1 ϵ ( x , y ) f | | ,
by Assumption 1. Now, for ϵ ( 0 , 1 ] :
ϵ N ( t + η ) 1 ϵ , s N t 1 ϵ , s
ϵ sup t [ s , s + η ] N ( t + η ) 1 ϵ , s N t 1 ϵ , s + ϵ sup t [ s + η , T ] N ( t + η ) 1 ϵ , s N t 1 ϵ , s
ϵ N ( s + 2 η ) 1 ϵ , s + ϵ sup t [ s + η , T ] N ( t + η ) 1 ϵ , s N t 1 ϵ , s .
Note that the supremums in the previous expression are a.e. finite as they are a.e. bounded by N ( T + 1 ) 1 ϵ , s . Now, let:
C s ( ϵ , η ) : = η M 1 + M 2 ϵ N ( s + 2 η ) 1 ϵ , s + M 2 ϵ sup t [ s + η , T ] N ( t + η ) 1 ϵ , s N t 1 ϵ , s .
We have to show that lim η 0 lim ϵ 0 E [ C s ( ϵ , η ) ] = 0 . We have:
lim η 0 lim ϵ 0 η M 1 + M 2 ϵ E N ( s + 2 η ) 1 ϵ , s = lim η 0 η M 1 + M 2 2 η Π m = 0 .
Let { ϵ n } any sequence converging to 0, and denote
Z n : = ϵ n sup t [ s + η , T ] N ( t + η ) 1 ϵ n , s N t 1 ϵ n , s .
We first want to show that { Z n } is uniformly integrable. According to [20], it is sufficient to show that sup n E ( Z n 2 ) < . We have that E ( Z n 2 ) ϵ n 2 E N 2 ( T + 1 ) 1 ϵ n , s . By Assumption 1 (more precisely, the regularity of the inhomogeneous Markov renewal process), we get:
lim t E ( N 2 ( t ) ) t 2 < ,
and therefore { Z n } is uniformly integrable. Then, we show that Z n a . e . Z : = η Π m . Let:
Ω : = lim ϵ 0 ϵ N ( s + 1 ) 1 ϵ , s = 1 Π m .
Let Ω and δ > 0 . There exists some constant r 2 ( , δ ) > 0 such that for ϵ < r 2 :
ϵ N ( s + 1 ) 1 ϵ , s 1 Π m < δ T + η ,
and if t [ s + η , T + η ] :
( t s ) ϵ N ( s + 1 ) 1 ϵ , s t s Π m < δ ( t s ) T + η δ .
Let ϵ < η r 2 (recall η > 0 ) and ϵ 2 : = ϵ t s . Then, ϵ 2 < η r 2 η = r 2 , and therefore:
( t s ) ϵ 2 N ( s + 1 ) 1 ϵ 2 , s t s Π m < δ
ϵ N t 1 ϵ , s t s Π m < δ .
Therefore, for ϵ < η r 2 and t [ s + η , T ] :
ϵ N ( t + η ) 1 ϵ , s ϵ N t 1 ϵ , s η Π m < 2 δ
sup t [ s + η , T ] ϵ N ( t + η ) 1 ϵ , s ϵ N t 1 ϵ , s η Π m 2 δ < 3 δ .
We have proved that Z n a . e . Z . By uniform integrability of { Z n } , we get that lim n E ( Z n ) = E ( Z ) and therefore since the sequence { ϵ n } is arbitrary:
lim ϵ 0 ϵ E sup t [ s + η , T ] N ( t + η ) 1 ϵ , s N t 1 ϵ , s = η Π m .
 □
We now prove that the limit points of { V ϵ } are continuous.
Lemma 3.
Let Assumptions 1 and 2 hold true. Then, { V ϵ } is Y 1 -C-relatively compact.
Proof. 
The proof is presented for the case J = R + . The proof for the case J = [ 0 , T ] is exactly the same. By Lemma 2, it is relatively compact. By Theorem 6, it is sufficient to show that j s ( V ϵ ( s , ) f ) P 0 . Let δ > 0 and fix T > 0 . For u [ s , T ] , we have:
j s ( V ϵ ( s , ) f , u ) sup t [ s , T ] | | V ϵ ( s , t ) f V ϵ ( s , t ) f | |
= max k 1 , N s T 1 ϵ , s V ϵ s , T k ϵ , s ( s ) f V ϵ s , T k ϵ , s ( s ) f
( using Lemma 1 ) = max k 1 , N s T 1 ϵ , s | | V ϵ s , T k ϵ , s ( s ) ( D ϵ ( x k 1 ( s ) , x k ( s ) ) f f ) | |
e γ ( T s ) max ( x , y ) J 2 | | D ϵ ( x , y ) f f | | C T ϵ ,
with C T : = e γ ( T s ) sup ϵ , x , y | | D 1 ϵ ( x , y ) f | | ( by Assumption 1 ) .
Since:
j s ( V ϵ ( s , ) f ) = s T e u ( j s ( V ϵ ( s , ) f , u ) 1 ) d u + T e u ( j s ( V ϵ ( s , ) f , u ) 1 ) d u
C T ϵ + e T ,
we get j s ( V ϵ ( s , ) f ) a . e . 0 (choose T big enough, then small enough).  □

4.4. Martingale Characterization of the Random Evolution

To prove the weak law of large numbers for the random evolution, we use a martingale method similar to what is done in [10] (Section 4.2.1), but adapted rigorously to the inhomogeneous setting. We first introduce the quantity f 1 , solution to a suitable “Poisson equation”:
Definition 13.
Let Assumption 1 hold true. For f Y 1 , x J , t J , let f ϵ ( x , t ) : = f + ϵ f 1 ( x , t ) , where f 1 is the unique solution of the equation:
( P I ) f 1 ( , t ) ( x ) = Π m [ A ^ ( t ) a ( x , t ) ] f
a ( x , t ) : = 1 Π m m 1 ( x ) A x ( t ) + P D 1 0 ( x , ) ( x )
A ^ ( t ) : = Π a ( , t ) ,
namely f 1 ( x , t ) = Π m R 0 [ A ^ ( t ) f a ( , t ) f ] ( x ) , where R 0 : = ( P I + Π ) 1 is the fundamental matrix associated to P.
Remark 3.
The existence of f 1 is guaranteed because Π [ A ^ ( t ) a ( , t ) ] f = 0 by construction (see [22], Proposition 4). In fact, in [22], the operators Π and P are defined on B R b ( J ) but the results hold true if we work on B E b ( J ) , where E is any Banach space such that [ A ^ ( t ) a ( x , t ) ] f E (e.g., E = Y 1 if f D ^ , E = Y if f Y 1 ). To see that, first observe that P and Π can be defined the same way on B E b ( J ) as they were on B R b ( J ) . Then, take E such that | | | | = 1 and g B E b ( J ) such that | | g | | B E b ( J ) = max x | | g ( x ) | | E = 1 . We therefore have that: | | g | | B R b ( J ) 1 , and since we have the uniform ergodicity on B R b ( J ) , we have that:
sup | | | | = 1 | | g | | B E b ( J ) = 1 x J | P n ( g ) ( x ) Π ( g ) ( x ) | | | P n Π | | B ( B R b ( J ) ) 0 .
By linearity of , P , Π we get that | P n ( g ) ( x ) Π ( g ) ( x ) | = | ( P n g ( x ) Π g ( x ) ) | . However, because | | P n g ( x ) Π g ( x ) | | E = sup | | | | = 1 | ( P n g ( x ) Π g ( x ) ) | and that this supremum is attained (see, e.g., [23], Section III.6), then:
sup | | | | = 1 | | g | | B E b ( J ) = 1 x J | ( P n g ( x ) Π g ( x ) ) | = sup | | g | | B E b ( J ) = 1 x J | | P n g ( x ) Π g ( x ) | | E
= sup | | g | | B E b ( J ) = 1 | | P n g Π g | | B E b ( J ) = | | P n Π | | B ( B E b ( J ) ) ,
and thus we also have | | P n Π | | B ( B E b ( J ) ) 0 , i.e., the uniform ergodicity in B E b ( J ) . Now, according to the proofs of Theorems 3.4 and 3.5, Chapter VI of [24], | | P n Π | | B ( B E b ( J ) ) 0 is the only thing we need to prove that P + Π I is invertible on:
B E Π ( J ) : = { f B E b ( J ) : Π f = 0 } ,
the space E plays no role. Further, ( P + Π I ) 1 B ( B E Π ( J ) ) by the bounded inverse theorem.
We now introduce the martingale ( M ˜ t ϵ ( s ) ) t 0 which plays a central role in the following.
Lemma 4.
Let Assumption 1 hold true. Define recursively for ϵ ( 0 , 1 ] , s J :
V 0 ϵ ( s ) : = I
V n + 1 ϵ ( s ) : = V n ϵ ( s ) Γ x n ( s ) T n ϵ , s ( s ) , T n + 1 ϵ , s ( s ) D ϵ ( x n ( s ) , x n + 1 ( s ) ) ,
i.e., V n ϵ ( s ) = V ϵ ( s , T n ϵ , s ( s ) ) ; and for f Y 1 (we recall that f ϵ ( x , t ) : = f + ϵ f 1 ( x , t ) ):
M n ϵ ( s ) f : = V n ϵ ( s ) f ϵ ( x n ( s ) , T n ϵ , s ( s ) ) f ϵ ( x ( s ) , s ) k = 0 n 1 E [ V k + 1 ϵ ( s ) f ϵ ( x k + 1 ( s ) , T k + 1 ϵ , s ( s ) ) V k ϵ ( s ) f ϵ ( x k ( s ) , T k ϵ , s ( s ) ) | F k ( s ) ] ,
so that ( M n ϵ ( s ) f ) n N is a F n ( s ) -martingale by construction. Let for t J ( s ) :
M ˜ t ϵ ( s ) f : = M N s t 1 ϵ , s + 1 ϵ ( s ) f
F ˜ t ϵ ( s ) : = F N s t 1 ϵ , s + 1 ( s ) ,
where F n ( s ) : = σ x k ( s ) , T k ( s ) : k n σ ( P n u l l   s e t s ) and F N s t 1 ϵ , s + 1 ( s ) is defined the usual way (provided we have shown that N s t 1 ϵ , s + 1 is a F n ( s ) -stopping time t J ( s ) ). Then, Y , s J , ϵ ( 0 , 1 ] , f Y 1 , ( ( M ˜ t ϵ ( s ) f ) , F ˜ t ϵ ( s ) ) t J ( s ) is a real-valued square-integrable martingale.
Proof. 
By construction ( ( M n ϵ ( s ) f ) , F n ( s ) ) is a martingale. Let θ s ϵ ( t ) : = N s t 1 ϵ , s + 1 . t J ( s ) , θ s ϵ ( t ) is a F n ( s ) -stopping time, because:
θ s ϵ ( t ) = n = N s t 1 ϵ , s = n 1 = T n 1 ( s ) t 1 ϵ , s T n ( s ) > t 1 ϵ , s F n ( s ) .
Let t 1 t 2 J ( s ) . We have that ( ( M θ s ϵ ( t 2 ) n ϵ ( s ) f ) , F n ( s ) ) is a martingale. Assume we have shown that it is uniformly integrable, then we can apply the optional sampling theorem for UI martingales to the stopping times θ s ϵ ( t 1 ) θ s ϵ ( t 2 ) a.e and get:
E [ ( M θ s ϵ ( t 2 ) θ s ϵ ( t 2 ) ϵ ( s ) f ) | F θ s ϵ ( t 1 ) ( s ) ] = ( M θ s ϵ ( t 1 ) θ s ϵ ( t 2 ) ϵ ( s ) f ) a . e .
E [ ( M θ s ϵ ( t 2 ) ϵ ( s ) f ) | F θ s ϵ ( t 1 ) ( s ) ] = ( M θ s ϵ ( t 1 ) ϵ ( s ) f ) a . e .
E [ ( M ˜ t 2 ϵ ( s ) f ) | F ˜ t 1 ϵ ( s ) ] = ( M ˜ t 1 ϵ ( s ) f ) a . e . ,
which shows that ( ( M ˜ t ϵ ( s ) f ) , F ˜ t ϵ ( s ) ) t J ( s ) is a martingale. Now, to show the uniform integrability, according to [20], it is sufficient to show that sup n E ( | | M θ s ϵ ( t 2 ) n ϵ ( s ) f | | 2 ) < . However:
| | M θ s ϵ ( t 2 ) n ϵ ( s ) f | | 2 e γ ( t 2 + τ ¯ s ) ( | | f | | + | | f 1 | | ) + 2 e γ ( t 2 + τ ¯ s ) ( | | f | | + | | f 1 | | ) ( θ s ϵ ( t 2 ) n )
2 e γ ( t 2 + τ ¯ s ) ( | | f | | + | | f 1 | | ) ( 1 + θ s ϵ ( t 2 ) ) ,
where | | f 1 | | : = sup x J u [ 0 , t 2 + ] | | f 1 ( x , u ) | | ( | | f 1 | | < by Assumption 1). The fact that E ( θ s ϵ ( t 2 ) 2 ) < (Assumptions 1) concludes the proof.  □
Remark 4.
In the following, we use the fact that, as found in [25] (Theorem 3.1), for sequences ( X n ) , ( Y n ) of random variables with value in a separable metric space with metric d, if X n X and d ( X n , Y n ) 0 , then Y n X . In our case, ( X n ) , ( Y n ) take value in D ( J ( s ) , Y ) and to show that d ( X n , Y n ) 0 , we use the fact that:
d ( X n , Y n ) sup t [ s , T ] | | X n ( t ) Y n ( t ) | | + e T T J ( s ) , i f J = R +
d ( X n , Y n ) sup t [ s , T τ ¯ ] | | X n ( t ) Y n ( t ) | | , i f J = [ 0 , T ] ,
and therefore that it is sufficient to have:
sup t [ s , T ] | | X n ( t ) Y n ( t ) | | a . e . 0 ( r e s p e c t i v e l y , i n   p r o b a b i l i t y ) , T J ( s )
to obtain d ( X n , Y n ) a . e . 0 (respectively, in probability).
Lemma 5.
Let Assumption 1 hold true. For f D ^ and s J , M ˜ ϵ ( s ) f has the asymptotic representation:
M ˜ ϵ ( s ) f = V ϵ ( s , ) f f ϵ Π m k = 1 N s t 1 ϵ , s V ϵ ( s , T k ϵ , s ( s ) ) A ^ T k ϵ , s ( s ) f + O ( ϵ ) a . e . ,
where O ( ϵ p ) is an element of the space D ( J ( s ) , Y ) and is defined by the following property: r > 0 , T Q + J ( s ) , ϵ p + r sup t [ s , T ] | | O ( ϵ p ) | | 0 as ϵ 0 (so that Remark 4 is satisfied).
Proof. 
For the sake of clarity, let:
f k ϵ : = f ϵ ( x k ( s ) , T k ϵ , s ( s ) ) f 1 , k : = f 1 ( x k ( s ) , T k ϵ , s ( s ) )
Let T J ( s ) . First, we have that:
V N s t 1 ϵ , s + 1 ϵ ( s ) f N s t 1 ϵ , s + 1 ϵ = V N s t 1 ϵ , s + 1 ϵ ( s ) f + O ( ϵ )
because sup t [ s , T ] | | V N s t 1 ϵ , s + 1 ϵ ( s ) f 1 , N s t 1 ϵ , s + 1 | | e γ ( T + τ ¯ s ) | | f 1 | | . Again and as in Lemma 4, we denote | | f 1 | | : = sup x J u [ 0 , T + τ ] | | f 1 ( x , u ) | | , and | | f 1 | | < by Assumption 1. Now, we have:
V k + 1 ϵ ( s ) f k + 1 ϵ V k ϵ ( s ) f k ϵ = V k ϵ ( s ) ( f k + 1 ϵ f k ϵ ) + V k + 1 ϵ ( s ) f k + 1 ϵ V k ϵ ( s ) f k + 1 ϵ ,
and:
E [ V k ϵ ( s ) ( f k + 1 ϵ f k ϵ ) | F k ( s ) ] = ϵ V k ϵ ( s ) E [ ( f 1 , k + 1 f 1 , k ) | F k ( s ) ] ,
as V k ϵ ( s ) is F k ( s ) B o r ( B ( Y ) ) measurable. Now, we know that every discrete time Markov process has the strong Markov property, so the Markov process ( x n , T n ) has it. For k 1 , the times N ( s ) + k are F n ( 0 ) -stopping times. Therefore, for k 1 :
E [ ( f 1 , k + 1 f 1 , k ) | F k ( s ) ] = E [ ( f 1 , k + 1 f 1 , k ) | T k ( s ) , x k ( s ) ]
= y J 0 f 1 y , T k ϵ , s ( s ) + ϵ u Q T k ( s ) ( x k ( s ) , y , d u ) f 1 , k .
Consider the following derivatives with respect to t:
a ( x , t ) : = 1 Π m m 1 ( x ) A x ( t ) ,
A ^ ( t ) : = Π a ( , t )
f 1 ( x , t ) : = Π m R 0 [ A ^ ( t ) f a ( , t ) f ] ( x ) ,
which exist because R 0 B ( B Y 1 Π ( J ) ) and f x J D ( A x ) . Using the Fundamental theorem of Calculus for the Bochner integral ( v f 1 ( y , v ) L Y 1 ( [ a , b ] ) [ a , b ] by Assumption 1) we get:
E [ ( f 1 , k + 1 f 1 , k ) | T k ( s ) , x k ( s ) ]
= y J 0 f 1 y , T k ϵ , s ( s ) + T k ϵ , s ( s ) T k ϵ , s ( s ) + ϵ u f 1 ( y , v ) d v Q T k ( s ) ( x k ( s ) , y , d u ) f 1 x k ( s ) , T k ϵ , s ( s )
= ( P T k ( s ) I ) f 1 , T k ϵ , s ( s ) ( x k ( s ) )
+ y J 0 0 ϵ u f 1 ( y , T k ϵ , s ( s ) + v ) d v Q T k ( s ) ( x k ( s ) , y , d u )
= ( P T k ( s ) I ) f 1 , T k ϵ , s ( s ) ( x k ( s ) ) + O ( ϵ ) .
because, by Assumption 1:
y J 0 0 ϵ u f 1 ( y , T k ϵ , s ( s ) + v ) d v Q T k ( s ) ( x k ( s ) , y , d u ) ϵ | | f 1 | | τ ¯ .
We note that the contribution of the terms of order O ( ϵ 2 ) inside the sum will make the sum of order O ( ϵ ) , since for some constant C T :
sup t [ s , T ] k = 1 N s t 1 ϵ , s | | O ( ϵ 2 ) | | N s T 1 ϵ , s C T ϵ 2 = O ( ϵ )
because ϵ N s T 1 ϵ , s a . e . T s Π m . Altogether, we have for k 1 , using the definition of f 1 :
E [ V k ϵ ( s ) ( f k + 1 ϵ f k ϵ ) | F k ( s ) ] = ϵ V k ϵ ( s ) ( P T k ( s ) I ) f 1 , T k ϵ , s ( s ) ( x k ( s ) ) + O ( ϵ 2 )
= ϵ Π m V k ϵ ( s ) A ^ ( T k ϵ , s ( s ) ) a ( x k ( s ) , T k ϵ , s ( s ) ) f
+ ϵ V k ϵ ( s ) ( P T k ( s ) P ) f 1 , T k ϵ , s ( s ) ( x k ( s ) ) + O ( ϵ 2 ) .
The term involving P T k ( s ) P above will vanish as k by Assumption 1, as | | P t P | | 0 . We also have for the first term ( k = 0 ):
E [ V 0 ϵ ( s ) ( f 1 ϵ f 0 ϵ ) | F k ( s ) ] = O ( ϵ ) ( 2 ϵ | | f 1 | | ) .
Now, we have to compute the terms corresponding to V k + 1 ϵ ( s ) f k + 1 ϵ V k ϵ ( s ) f k + 1 ϵ . We show that the term corresponding to k = 0 is O ( ϵ ) and that for k 1 :
E [ V k + 1 ϵ ( s ) f k + 1 ϵ V k ϵ ( s ) f k + 1 ϵ | F k ( s ) ] = ϵ Π m V k ϵ ( s ) a ( x k ( s ) , T k ϵ , s ( s ) ) f + negligible terms .
For the term k = 0 , we have, using Assumption 1, the definition of V k ϵ and Theorem 3:
V 1 ϵ ( s ) f 1 V 0 ϵ ( s ) f 1 ϵ = V 1 ϵ ( s ) f f + O ( ϵ )
= Γ x ( s ) s , T 1 ϵ , s ( s ) D ϵ ( x ( s ) , x 1 ( s ) ) f f + O ( ϵ )
= Γ x ( s ) s , T 1 ϵ , s ( s ) ( D ϵ ( x ( s ) , x 1 ( s ) ) f f ) + Γ x ( s ) s , T 1 ϵ , s ( s ) f f + O ( ϵ )
E [ V 1 ϵ ( s ) f 1 ϵ V 0 ϵ ( s ) f 1 ϵ | F 0 ( s ) ] e γ τ ¯ max x , y | | D ϵ ( x , y ) f f | | + 0 ϵ u sup x , t [ s , s + τ ] | | A x ( t ) | | B ( Y 1 , Y ) | | f | | Y 1 F T 0 ( s ) ( x , d u )
ϵ e γ τ ¯ sup ϵ , x , y | | D 1 ϵ ( x , y ) f | | + | | f | | Y 1 τ ¯ | | A x ( t ) | | B ( Y 1 , Y ) = O ( ϵ ) .
Now, we have for k 1 :
V k + 1 ϵ ( s ) V k ϵ ( s ) = V k ϵ ( s ) Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) D ϵ ( x k ( s ) , x k + 1 ( s ) ) I .
By Assumption 1, we have sup ϵ , x , y | | D 1 ϵ ( x , y ) g | | < for g Y 1 . Therefore, we get using Theorem 3, for g Y 1 :
D ϵ ( x k ( s ) , x k + 1 ( s ) ) g = g + 0 ϵ D 1 u ( x k ( s ) , x k + 1 ( s ) ) g d u
and Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) g = g + T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) Γ x k ( s ) ( T k ϵ , s ( s ) , u ) A x k ( s ) ( u ) g d u .
Because f D ^ , we get that A ^ ( t ) f Y 1 , a ( x , t ) f Y 1 t , x . Since R 0 B ( B Y 1 Π ( J ) ) , we get that f 1 , k + 1 Y 1 and therefore:
Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) D ϵ ( x k ( s ) , x k + 1 ( s ) ) f 1 , k + 1 = Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) f 1 , k + 1 + O ( ϵ )
= f 1 , k + 1 + T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) Γ x k ( s ) ( T k ϵ , s ( s ) , u ) A x k ( s ) ( u ) f 1 , k + 1 d u + O ( ϵ ) .
Therefore, taking the conditional expectation, we get:
E [ V k + 1 ϵ ( s ) f 1 , k + 1 V k ϵ ( s ) f 1 , k + 1 | F k ( s ) ]
= V k ϵ ( s ) y J 0 0 ϵ u Γ x k ( s ) ( T k ϵ , s ( s ) , T k ϵ , s ( s ) + v ) A x k ( s ) ( T k ϵ , s ( s ) + v ) f 1 , k + 1 d v × Q T k ( s ) ( x k ( s ) , y , d u ) + O ( ϵ )
= O ( ϵ ) ( ϵ C τ ¯   for   some   constant   C   by   Assumption   1 ) ,
and so:
E [ V k + 1 ϵ ( s ) f k + 1 ϵ V k ϵ ( s ) f k + 1 ϵ | F k ( s ) ] = E [ V k + 1 ϵ ( s ) f V k ϵ ( s ) f | F k ( s ) ] + O ( ϵ 2 ) .
Now, because f D ^ and by Assumption 1 (which ensures that the integral below exists):
D ϵ ( x k ( s ) , x k + 1 ( s ) ) f = f + ϵ D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f + 0 ϵ ( ϵ u ) D 2 u ( x k ( s ) , x k + 1 ( s ) ) f d u .
Thus, using boundedness of D 2 ϵ (again Assumption 1):
Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) D ϵ ( x k ( s ) , x k + 1 ( s ) ) f = Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) f + ϵ Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f + O ( ϵ 2 ) .
The first term above has the representation (by Theorem 5):
Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) f = f + T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) A x k ( s ) ( u ) f d u + T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) T k ϵ , s ( s ) u Γ x k ( s ) ( T k ϵ , s ( s ) , r ) A x k ( s ) ( r ) A x k ( s ) ( u ) f d r d u .
Taking the conditional expectation and using the fact that sup u [ 0 , T + τ ¯ ] x J | | A x ( u ) f | | Y 1 < , we can show as we did before that:
E T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) T k ϵ , s ( s ) u Γ x k ( s ) ( T k ϵ , s ( s ) , r ) A x k ( s ) ( r ) A x k ( s ) ( u ) f d r d u F k ( s ) = O ( ϵ 2 ) .
The second term has the following representation, because f D ^ (which ensures that D 1 0 ( x , y ) f Y 1 ) and using Theorem 3:
ϵ Γ x k ( s ) T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f
= ϵ D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f + ϵ T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) Γ x k ( s ) T k ϵ , s ( s ) , u A x k ( s ) ( u ) D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f d u
= ϵ D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f + O ( ϵ 2 ) .
Thus, we have overall:
E [ V k + 1 ϵ ( s ) f V k ϵ ( s ) f | F k ( s ) ] = V k ϵ ( s ) E T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) A x k ( s ) ( u ) f d u + ϵ D 1 0 ( x k ( s ) , x k + 1 ( s ) ) F k ( s ) + O ( ϵ 2 ) .
We have by the strong Markov property (because k 1 ) :
E D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f | F k ( s ) = P T k ( s ) D 1 0 ( x k ( s ) , ) ( x k ( s ) ) f ,
and:
E T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) A x k ( s ) ( u ) f d u x k ( s ) , T k ( s )
= y J 0 T k ϵ , s ( s ) T k ϵ , s ( s ) + ϵ u A x k ( s ) ( v ) f d v Q T k ( s ) ( x k ( s ) , y , d u )
= y J 0 ϵ u A x ( T k ϵ , s ( s ) ) f + 0 ϵ u ( ϵ u v ) A x k ( s ) ( T k ϵ , s ( s ) + v ) f d v Q T k ( s ) ( x k ( s ) , y , d u )
= ϵ m 1 ( x k ( s ) , T k ( s ) ) A x k ( s ) ( T k ϵ , s ( s ) ) f + O ( ϵ 2 ) ,
as sup u [ 0 , T + τ ¯ ] | | A x ( u ) f | | < . Thus, finally, we get:
E [ V k + 1 ϵ ( s ) f k + 1 ϵ V k ϵ ( s ) f k + 1 ϵ | F k ( s ) ] = ϵ Π m V k ϵ ( s ) a ( x k ( s ) , T k ϵ , s ( s ) ) f + ϵ V k ϵ ( s ) ( m 1 ( x k ( s ) , T k ( s ) ) m 1 ( x k ( s ) ) ) A x k ( s ) ( T k ϵ , s ( s ) ) f + ϵ V k ϵ ( s ) ( P T k ( s ) P ) D 1 0 ( x k ( s ) , ) ( x k ( s ) ) f + O ( ϵ 2 ) .
In the expression above, Assumption 1 ensures that the terms containing ( P P T k ( s ) ) and ( m 1 ( x k ( s ) , T k ( s ) ) m 1 ( x k ( s ) ) ) will vanish as k , and therefore we get overall:
M ˜ t ϵ ( s ) f = V N s t 1 ϵ , s + 1 ϵ ( s ) f f ϵ Π m k = 1 N s t 1 ϵ , s V ϵ ( s , T k ϵ , s ( s ) ) A ^ T k ϵ , s ( s ) f + O ( ϵ ) .
Now, let θ s ϵ ( t ) : = N s t 1 ϵ , s + 1 . Using Assumption 1 (in particular uniform boundedness of sojourn times):
V θ s ϵ ( t ) ϵ ( s ) f = V ϵ ( s , t ) Γ x θ s ϵ ( t ) 1 ( s ) ( t , T θ s ϵ ( t ) ϵ , s ( s ) ) D ϵ ( x θ s ϵ ( t ) 1 ( s ) , x θ s ϵ ( t ) ( s ) ) f
| | V θ s ϵ ( t ) ϵ ( s ) f V ϵ ( s , t ) f | | e γ ( t s ) | | Γ x θ s ϵ ( t ) 1 ( s ) ( t , T θ s ϵ ( t ) ϵ , s ( s ) ) D ϵ ( x θ s ϵ ( t ) 1 ( s ) , x θ s ϵ ( t ) ( s ) ) f f | |
ϵ e γ ( t + τ ¯ s ) | | D ϵ ( x θ s ϵ ( t ) 1 ( s ) , x θ s ϵ ( t ) ( s ) ) f f | | + e γ ( t s ) | | Γ x θ s ϵ ( t ) 1 ( s ) ( t , T θ s ϵ ( t ) ϵ , s ( s ) ) f f | |
ϵ e γ ( t + τ ¯ s ) sup ( x , y ) J 2 ϵ [ 0 , 1 ] | | D 1 ϵ ( x , y ) f | | + e γ ( t s ) ( T θ s ϵ ( t ) ϵ , s ( s ) t ) sup x J t [ 0 , T + τ ¯ ] | | A x ( t ) | | B ( Y 1 , Y ) | | f | | Y 1
ϵ e γ ( t + τ ¯ s ) sup ( x , y ) J 2 ϵ [ 0 , 1 ] | | D 1 ϵ ( x , y ) f | | + ϵ e γ ( t s ) τ ¯ sup x J t [ 0 , T + τ ¯ ] | | A x ( t ) | | B ( Y 1 , Y ) | | f | | Y 1 .
Therefore:
V N s t 1 ϵ , s + 1 ϵ ( s ) f = V ϵ ( s , t ) f + O ( ϵ ) .
 □
We now show that the martingale M ˜ ϵ ( s ) f converges to 0 as ϵ 0 .
Lemma 6.
Let Assumption 1 hold true. Let f Y 1 , s J . For every Y , ( M ˜ ϵ ( s ) f ) 0 . Further, if { M ˜ ϵ ( s ) f } is relatively compact (in D ( J ( s ) , Y ) ), then M ˜ ϵ ( s ) f 0 .
Proof. 
Take any sequence ϵ n 0 . Weak convergence in D ( J ( s ) , R ) is equivalent to weak convergence in D ( [ s , T ) , R ) for every T J ( s ) . Thus, let us fix T J ( s ) . Let Y . Then, ( M ˜ ϵ n ( s ) f ) is a real-valued martingale by Lemma 4. To show that ( M ˜ ϵ n ( s ) f ) 0 , we are going to apply Theorem 3.11 of [21], chapter VIII. First, ( M ˜ ϵ n ( s ) f ) is square-integrable by Lemma 4. From the proof of Lemma 5, we have that:
M k + 1 ϵ n ( s ) f M k ϵ n ( s ) f = Δ V k + 1 ϵ n ( s ) f k + 1 ϵ n E [ Δ V k + 1 ϵ n ( s ) f k + 1 ϵ n | F k ( s ) ]
where Δ V k + 1 ϵ n ( s ) f k + 1 ϵ n : = V k + 1 ϵ n ( s ) f k + 1 ϵ n V k ϵ n ( s ) f k ϵ n ,
and that:
sup k N s t 1 ϵ , s | | Δ V k + 1 ϵ n ( s ) f k + 1 ϵ n | | C T ϵ n a . e .
for some uniform constant C T dependent on T, so that:
Δ ( M ˜ t ϵ n ( s ) f ) = Δ M ˜ t ϵ n ( s ) f 2 | | | | sup k N s t 1 ϵ , s | | Δ V k + 1 ϵ n ( s ) f k + 1 ϵ n | | a . e .
2 | | | | C T ϵ n a . e .
The latter shows that the jumps are uniformly bounded by 2 | | | | C T and that
sup t < T Δ ( M ˜ t ϵ n ( s ) f ) P 0 .
To show that ( M ˜ ϵ ( s ) f ) 0 , it remains to show that the following predictable quadratic variation goes to 0 in probability:
( M ˜ ϵ n ( s ) f ) t P 0 for all t [ s , T ) .
Using the definition of M ˜ ϵ n ( s ) f in Lemma 4, we get that:
( M ˜ ϵ n ( s ) f ) t = k = 0 N s t 1 ϵ n , s E 2 ( M k + 1 ϵ n ( s ) f M k ϵ n ( s ) f ) F k ( s ) .
Therefore:
( M ˜ ϵ n ( s ) f ) t 4 C T 2 | | | | ϵ n 2 2 N s t 1 ϵ n , s a . e . 0 ,
because ϵ n N s t 1 ϵ n , s a . e . t s Π m . Now, to show the second part of the lemma, we observe that if M ˜ ϵ n ( s ) f M ˜ 0 ( s , f ) for some converging sequence ϵ n 0 , we get that ( M ˜ ϵ n ( s ) f ) ( M ˜ 0 ( s , f ) ) by Problem 13, Section 3.11 of [20] together with the continuous mapping theorem. Therefore, ( M ˜ 0 ( s , f ) ) is equal to the zero process, up to indistinguishability. In particular, it yields that t J ( s ) , Y : ( M ˜ t 0 ( s , f ) ) = 0 a.e. Now, according to [26], we know that the dual space of every separable Banach space has a countable total subset, more precisely there exists a countable subset S Y such that g Y :
( ( g ) = 0 S ) g = 0 .
Since P [ ( M ˜ t 0 ( s , f ) ) = 0 , S ] = 1 , we get M t 0 ( s , f ) = 0 a.e., i.e., M ˜ 0 ( s , f ) is a modification of the zero process. Since both processes have a.e. right-continuous paths, they are in fact indistinguishable (see, e.g., [27]). Thus, M ˜ 0 ( s , f ) = 0 a.e.  □

4.5. Weak Law of Large Numbers

To prove our next WLLN theorem—the main result of this section—we need the following:
Assumptions 3.
A ^ i s   t h e   g e n e r a t o r   o f   a r e g u l a r   Y p r o p a g a t o r   Γ ^ .
In the applications we consider in Section 6, the above assumption is very easily checked as we can exhibit Γ ^ almost immediately after looking at A ^ . This assumption is used to be able to use Theorem 4, which gives uniqueness of solutions to the Cauchy problem:
d d t G ( t ) f = G ( t ) A ^ ( t ) f t J ( s ) , f Y 1 G ( s ) = G s
For the cases where Γ ^ cannot be exhibited, we refer to [18], Chapter 5, Theorems 3.1 and 4.3 for requirements on A ^ to obtain the well-posedness of the Cauchy problem.
Theorem 8.
Under Assumptions 1 and 2, and Assumption 3 above, we get that Γ ^ is B ( Y ) -exponentially bounded (with constant γ). Further, for every s J , we have the weak convergence in the Skorokhod topology ( D s , d ) :
V ϵ ( s , ) Γ ^ ( s , ) ,
where ( D s , d ) is defined similarly to ( D , d ) in [14], with R + replaced by J ( s ) .
Proof. 
By Lemma 3, we know that { V ϵ ( s , ) } is Y 1 -C-relatively compact. Take { f p } a countable family of D ^ that is dense in both Y 1 and Y. Marginal relative compactness implies countable relative compactness and therefore, { V ϵ ( s , ) f p } p N is C-relatively compact in D ( J ( s ) , Y ) , and actually in D ( J ( s ) , Y ) since the limit points are continuous. Take a weakly converging sequence ϵ n . By the proof of Theorem 4.1 (see [14]), we can find a probability space ( Ω , F , P ) and D s -valued random variables V ϵ n ( s , ) , V 0 ( s , ) on it, such that:
V ϵ n ( s , ) V 0 ( s , ) in ( D s , d ) , on Ω ,
| | V 0 ( s , t ) | | B ( Y ) e γ ( t s ) t J ( s ) , on Ω ,
V ϵ n ( s , ) = d V ϵ n ( s , ) in ( D s , d ) , n .
We can extend the probability space ( Ω , F , P ) so that it supports a Markov renewal process ( x k , T k ) k 0 such that:
( V ϵ n ( s , ) , ( x k , T k ) k 0 ) = d ( V ϵ n ( s , ) , ( x k , T k ) k 0 ) in ( D s , d ) × ( J × R + ) , n .
Now, let us take some f p and show that on Ω we have the following convergence in the Skorohod topology:
ϵ n k = 1 N s t 1 ϵ n , s V ϵ n ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p 1 Π m s V 0 ( s , u ) A ^ ( u ) f p d u .
We have on Ω :
d ϵ n k = 1 N s t 1 ϵ n , s V ϵ n ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p , 1 Π m s V 0 ( s , u ) A ^ ( u ) f p d u
d ϵ n k = 1 N s t 1 ϵ n , s V ϵ n ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p , ϵ n k = 1 N s t 1 ϵ n , s V 0 ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p ( i ) +
d ϵ n k = 1 N s t 1 ϵ n , s V 0 ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p , 1 Π m s V 0 ( s , u ) A ^ ( u ) f p d u ( i i ) .
Let T J ( s ) . By continuity of A ^ , we get that V ϵ n ( s , ) A ^ ( ) f p V 0 ( s , ) A ^ ( ) f p . Since the latter limit is continuous, the convergence in the Skorohod topology is equivalent to convergence in the local uniform topology, that is:
sup t [ s , T ] | | V ϵ n ( s , t ) A ^ ( t ) f p V 0 ( s , t ) A ^ ( t ) f p | | 0 .
Therefore, we get on Ω :
sup t [ s , T ] ϵ n k = 1 N s t 1 ϵ n , s V ϵ n ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p ϵ n k = 1 N s t 1 ϵ n , s V 0 ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p
ϵ n N s t 1 ϵ n , s sup t [ s , T ] | | V ϵ n ( s , t ) A ^ ( t ) f p V 0 ( s , t ) A ^ ( t ) f p | | 0 ,
since ϵ n N s t 1 ϵ n , s t s Π m T s Π m . By Remark 4 we get ( i ) 0 . For (ii), we observe that we can refine as we wish the partition { T k ϵ n , s ( s ) } uniformly in k, since T k + 1 ϵ n , s ( s ) T k ϵ n , s ( s ) ϵ n τ ¯ almost surely. Therefore, we get the convergence of the Riemann sum to the Riemann integral uniformly on [ s , T ] , i.e.,
sup t [ s , T ] ϵ n k = 1 N s t 1 ϵ n , s V 0 ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p 1 Π m s t V 0 ( s , u ) A ^ ( u ) f p d u n 0 .
Finally, we get on Ω , by continuity of the limit points:
V ϵ n ( s , ) f p f p Π m ϵ n k = 1 N s t 1 ϵ n , s V ϵ n ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f p
V 0 ( s , ) f p f p s V 0 ( s , u ) A ^ ( u ) f p d u .
Since we have:
( V ϵ n ( s , ) , ( x k , T k ) k 0 ) = d ( V ϵ n ( s , ) , ( x k , T k ) k 0 ) in ( D s , d ) × ( J × R + ) , n ,
by Lemmas 5 and 6, we get that:
V 0 ( s , ) f p f p s V 0 ( s , u ) A ^ ( u ) f p d u = 0
for all p on some set of probability one Ω 0 Ω . Let g Y 1 and t J ( s ) . Since { f p } is dense in Y 1 , there exists a sequence g p { f p } Y 1 g . We have on Ω 0 :
V 0 ( s , t ) g g s t V 0 ( s , u ) A ^ ( u ) g
| | V 0 ( s , t ) g V 0 ( s , t ) g p | | + V 0 ( s , t ) g p g s t V 0 ( s , u ) A ^ ( u ) g
2 e γ ( t s ) | | g p g | | + s t | | V 0 ( s , u ) A ^ ( u ) g p V 0 ( s , u ) A ^ ( u ) g | | d u
2 e γ ( t s ) | | g p g | | + e γ ( t s ) | | g p g | | Y 1 s t | | A ^ ( u ) | | B ( Y 1 , Y ) d u 0 ,
using Assumption 1. Therefore, on Ω 0 , we have g Y 1 :
V 0 ( s , ) g = g + s V 0 ( s , u ) A ^ ( u ) g d u .
By continuity of A ^ on Y 1 (Assumption 1), and exponential boundedness + continuity of V 0 : t V 0 ( s , t ) A ^ ( t ) g C ( J ( s ) , Y ) on Ω 0 and therefore we have on Ω 0 :
t V 0 ( s , t ) g = V 0 ( s , t ) A ^ ( t ) g t J ( s ) , g Y 1
V 0 ( s , s ) = I .
By Assumption 3, and Theorem 4, V 0 ( s , t ) ( ω ) g = Γ ^ ( s , t ) g , ω Ω 0 , g Y 1 , t J ( s ) . By density of Y 1 in Y, the previous equality is true in Y.  □

5. Central Limit Theorem

In the previous section, we obtain in Theorem 8 a WLLN for the random evolution. The goal of this section is to obtain a CLT. The main result is Theorem 11, which states that—in a suitable operator Skorohod topology—we have the weak convergence:
ϵ 1 / 2 ( V ϵ ( s , ) Γ ^ ( s , ) ) I σ ( s , ) ,
where I σ ( s , ) is a “Gaussian operator” defined in Theorem 11. In the WLLN result in Theorem 8, it is relatively obvious that the convergence would hold on the space D s . Here, because of the rescaling by ϵ 1 / 2 , it is not a priori obvious. In fact, the above weak convergence proves to hold in the space D s Y 2 Y , which is defined very similarly to D s :
D s Y 2 Y : = { S B ( Y 2 , Y ) J ( s ) : S f D ( J ( s ) , Y ) f Y 2 } ,
where ( Y 2 , | | · | | Y 2 ) is a Banach space continuously embedded in ( Y 1 , | | · | | Y 1 ) . We need the Banach space Y 2 Y 1 because the limiting Gaussian operator I σ takes value in C s Y 2 Y , but not in C s Y 1 Y , as shown in Lemma 7. It is proved that the volatility vector σ defined in Proposition 5 (which governs the convergence of Vϵ to Γ ^ , as shown in Theorem 11) comes from three independent sources, which is what we expected intuitively:
  • σ ( 1 ) comes from the variance of the sojourn times { T n + 1 T n } n 0 .
  • σ ( 2 ) comes from the jump operators D.
  • σ ( 3 ) comes from the “state process” { x n } n 0 .
For example, if there is only 1 state in J , then σ ( 2 ) = σ ( 3 ) = 0 and σ only comes from the randomness of the times { T n } . If, on the other hand, the times T n are assumed to be deterministic, then σ ( 1 ) = 0 . If the random evolution is continuous ( D = I ), then σ ( 2 ) = 0 . This decomposition of the volatility σ in three independent sources is obtained using the concept of so-called orthogonal martingale measures (see, e.g., [28], Definition I-1), which is the heart of this section.
To get the main result of Theorem 11, we need a series of preliminary results: Theorem 9 establishes the weak convergence of the martingale ϵ 1 2 ( M ˜ ϵ ( s ) f ) as ϵ 0 for Y , Proposition 5 and Theorem 10 allow expressing the limit of the previous martingale in a neat way using so-called orthogonal martingale measures and weak Banach-valued stochastic integrals introduced in Definition 14 (which are an extension of the weak Banach-valued stochastic integrals of [29]). Lemmas 7 and 8 give well-posedness of a Cauchy problem, which is used in the proof of Theorem 11, and show that the correct space to establish the convergence of ϵ 1 / 2 ( V ϵ ( s , ) Γ ^ ( s , ) ) is indeed D s Y 2 Y .
Theorem 9.
Let Y , s J and f D ^ . Under Assumptions 1–3, we have the following weak convergence in the space D ( J ( s ) , R ) :
ϵ 1 2 ( M ˜ ϵ ( s ) f ) N ( s , f ) ,
where N ( s , f ) is a continuous Gaussian martingale with characteristics ( 0 , σ ^ ( s , , f ) 2 , 0 ) given by:
σ ^ ( s , t , f ) 2 = s t Π [ σ ^ ( , s , u , f ) 2 ] d u
σ ^ ( x , s , t , f ) 2 : =
1 Π m σ 2 ( x ) 2 ( Γ ^ ( s , t ) A x ( t ) f ) + P v a r [ ( Γ ^ ( s , t ) D 1 0 ( x , ) f ) ] ( x ) + P v a r [ ( Γ ^ ( s , t ) f 1 ( , t ) ) ] ( x ) ,
where σ 2 ( x ) : = m 2 ( x ) m 1 2 ( x ) and P v a r is the following non-linear variance operator:
P v a r g ( x ) : = P g 2 ( x ) ( P g ( x ) ) 2 f o r x J , g B R b ( J ) .
Proof. 
Because the proof of this theorem is long, we explain the main parts of the proof before actually beginning the proof. The main idea is to prove that the quadratic variation of ϵ 1 2 ( M ˜ ϵ ( s ) f ) t converges to σ ^ ( s , t , f ) 2 in probability. We express the martingale-difference as the sum of two terms in Equations (265) and (266). Then, we calculate the expected values of the square of the functional of each term (see Equation (267)), as done in Equations (282), (287) and (288). Thus, our martingale-difference can be expressed in the form of Equations (298) and (299), or Equations (300) and (301) after k + . Therefore, the quadratic variation ϵ 1 2 ( M ˜ ϵ ( s ) f ) t is expressed as shown in Equations (303)–(305). To show the last convergence in Equation (308), we express the difference between the left-hand side and the right-hand side in Equation (309) by two terms, Terms (i) and (ii), as in Equations (310) and (312), respectively. Finally, we show that Terms (i) and (ii) both converge to 0 in probability.
Now, let us go into details of the proof. Weak convergence in D ( J ( s ) , R ) is equivalent to weak convergence in D ( [ s , T ) , R ) for every T J ( s ) . Thus, let us fix T J ( s ) . To apply Theorem 3.11 of [21], chapter VIII, we first need to show that the jumps of the martingale ϵ 1 2 ( M ˜ ϵ ( s ) f ) are uniformly bounded. By the proof of Lemma 6, we know that these jumps are uniformly bounded by C T ϵ 1 2 , where C T is some constant dependent on T. The theorem we want to apply also requires the two following conditions, for all t in some dense subset of [ s , T ) :
  • ϵ 1 2 ( M ˜ ϵ ( s ) f ) t P σ ^ ( s , t , f ) 2
  • condition “ [ δ ^ 5 D ] ”, which is equivalent by Equation (3.5) of [21], chapter VIII to:
    ϵ 1 2 sup u t Δ ( M ˜ u ϵ ( s ) f ) P 0 .
Condition ( 2 ) is true since, as mentioned above, the jumps of the martingale ϵ 1 2 ( M ˜ ϵ ( s ) f ) are uniformly bounded by C T ϵ 1 2 . Now, we need to show ( 1 ) . The same way as in the proof of Lemma 6, we use the definition of M ˜ ϵ ( s ) f in Lemma 4 to get:
ϵ 1 2 ( M ˜ ϵ ( s ) f ) t = ϵ 1 k = 0 N s t 1 ϵ , s E 2 ( M k + 1 ϵ ( s ) f M k ϵ ( s ) f ) F k ( s ) .
We have by definition, using the same notations as in the proof of Lemma 6:
M k + 1 ϵ ( s ) f M k ϵ ( s ) f = Δ V k + 1 ϵ ( s ) f k + 1 ϵ E [ Δ V k + 1 ϵ ( s ) f k + 1 ϵ | F k ( s ) ]
where Δ V k + 1 ϵ ( s ) f k + 1 ϵ : = V k + 1 ϵ ( s ) f k + 1 ϵ V k ϵ ( s ) f k ϵ .
It follows that, denoting E k the conditional expectation with respect to F k ( s ) :
E k 2 ( M k + 1 ϵ ( s ) f M k ϵ ( s ) f ) = E k [ 2 ( Δ V k + 1 ϵ ( s ) f k + 1 ϵ ) ] 2 E k [ Δ V k + 1 ϵ ( s ) f k + 1 ϵ ] .
To make the following lines of computation more readable, we let:
P k f 1 , k : = P T k ( s ) f 1 , T k ϵ , s ( x k ( s ) ) P k D 1 , k 0 : = P T k ( s ) D 1 0 ( x k ( s ) , ) ( x k ( s ) )
m n , k : = m n ( x k ( s ) , T k ( s ) ) m n , k : = m n ( x k ( s ) )
A k : = A x k ( s ) ( T k ϵ , s ( s ) ) a k : = 1 Π m m 1 , k A k + P k D 1 , k 0 .
Using the proof of Lemma 5, we get:
2 E k [ Δ V k + 1 ϵ ( s ) f k + 1 ϵ ] = ϵ 2 2 V k ϵ ( s ) P k f 1 , k V k ϵ ( s ) f 1 , k + Π m V k ϵ ( s ) a k f + O ( ϵ 4 )
= ϵ 2 2 ( V k ϵ ( s ) P k f 1 , k ) + ϵ 2 2 ( V k ϵ ( s ) f 1 , k ) ( A ) 2 ϵ 2 ( V k ϵ ( s ) P k f 1 , k ) ( V k ϵ ( s ) f 1 , k ) ( B )
+ ϵ 2 2 ( V k ϵ ( s ) m 1 , k A k f ) + ϵ 2 2 ( V k ϵ ( s ) P k D 1 , k 0 f ) + 2 ϵ 2 ( V k ϵ ( s ) m 1 , k A k f ) ( V k ϵ ( s ) P k D 1 , k 0 f ) ( C )
+ 2 ϵ 2 ( Π m V k ϵ ( s ) a k f ) ( V k ϵ ( s ) P k f 1 , k V k ϵ ( s ) f 1 , k ) ( D ) + O ( ϵ 4 ) .
On the other hand, we have:
E k [ 2 ( Δ V k + 1 ϵ ( s ) f k + 1 ϵ ) ] = E k [ 2 ( ( V k + 1 ϵ ( s ) V k ϵ ( s ) ) f k + 1 ϵ + V k ϵ ( s ) ( f k + 1 ϵ f k ϵ ) ) ]
= E k [ 2 ( ( V k + 1 ϵ ( s ) V k ϵ ( s ) ) f k + 1 ϵ ) ] + E k [ 2 ( V k ϵ ( s ) ( f k + 1 ϵ f k ϵ ) ) ]
+ 2 E k [ ( ( V k + 1 ϵ ( s ) V k ϵ ( s ) ) f k + 1 ϵ ) ] E k [ ( V k ϵ ( s ) ( f k + 1 ϵ f k ϵ ) ) ] = ( D ) + O ( ϵ 4 ) .
The fact that the last term is equal to ( D ) + O ( ϵ 4 ) is what we have shown in the proof of Lemma 5. Now:
E k [ 2 ( V k ϵ ( s ) ( f k + 1 ϵ f k ϵ ) ) ] = ϵ 2 E k [ 2 ( V k ϵ ( s ) f 1 , k + 1 ) ] + ϵ 2 2 ( V k ϵ ( s ) f 1 , k ) ( A )
2 ϵ 2 E k [ ( V k ϵ ( s ) f 1 , k + 1 ) ] ( V k ϵ ( s ) f 1 , k ) = ( B ) + O ( ϵ 4 ) .
The fact that the last term is equal to ( B ) + O ( ϵ 4 ) comes from the fact in the proof of Lemma 5 we show that E k [ ( V k ϵ ( s ) f 1 , k + 1 ) ] = ( V k ϵ ( s ) P k f 1 , k ) + O ( ϵ ) . In the same way, we can prove that:
ϵ 2 E k [ 2 ( V k ϵ ( s ) f 1 , k + 1 ) ] = ϵ 2 P k 2 ( V k ϵ ( s ) f 1 ( , T k ϵ , s ( s ) ) ) ( x k ( s ) ) + O ( ϵ 4 ) .
Thus, overall:
E k [ 2 ( V k ϵ ( s ) ( f k + 1 ϵ f k ϵ ) ) ] = ϵ 2 P k 2 ( V k ϵ ( s ) f 1 ( , T k ϵ , s ( s ) ) ) ( x k ( s ) ) + ( A ) + ( B ) + O ( ϵ 4 ) .
It remains to compute the term E k [ 2 ( ( V k + 1 ϵ ( s ) V k ϵ ( s ) ) f k + 1 ϵ ) ] . We can show the same way as in the proof of Lemma 5 that:
E k [ 2 ( ( V k + 1 ϵ ( s ) V k ϵ ( s ) ) f k + 1 ϵ ) ] = E k [ 2 ( ( V k + 1 ϵ ( s ) V k ϵ ( s ) ) f ) ] + O ( ϵ 4 ) .
We get, using what we have computed in the proof of Lemma 5, that:
E k [ 2 ( ( V k + 1 ϵ ( s ) V k ϵ ( s ) ) f ) ]
= E k 2 V k ϵ ( s ) T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) A x k ( s ) ( u ) f d u + ϵ V k ϵ ( s ) D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f + O ( ϵ 4 )
= E k 2 V k ϵ ( s ) T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) A x k ( s ) ( u ) f d u + ϵ 2 E k 2 V k ϵ ( s ) D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f
+ 2 ϵ E k V k ϵ ( s ) T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) A x k ( s ) ( u ) f d u E k V k ϵ ( s ) D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f + O ( ϵ 4 )
= E k 2 V k ϵ ( s ) T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) A x k ( s ) ( u ) f d u + ϵ 2 E k 2 V k ϵ ( s ) D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f
+ ( C ) + O ( ϵ 4 ) .
Again, using the same method as in the proof of Lemma 5, we have:
E k 2 V k ϵ ( s ) T k ϵ , s ( s ) T k + 1 ϵ , s ( s ) A x k ( s ) ( u ) f d u = E k 2 V k ϵ ( s ) ( T k + 1 ϵ , s ( s ) T k ϵ , s ( s ) ) A k f + o k ( ϵ 2 )
= E k ( T k + 1 ϵ , s ( s ) T k ϵ , s ( s ) ) 2 2 V k ϵ ( s ) A k f + O ( ϵ 4 )
= ϵ 2 m 2 , k 2 ( V k ϵ ( s ) A k f ) + O ( ϵ 4 ) .
Furthermore:
E k [ 2 ( V k ϵ ( s ) D 1 0 ( x k ( s ) , x k + 1 ( s ) ) f ) ] = P k 2 ( V k ϵ ( s ) D 1 0 ( x k ( s ) , ) f ) ( x k ( s ) ) ,
Thus:
E k [ 2 ( ( V k + 1 ϵ ( s ) V k ϵ ( s ) ) f k + 1 ϵ ) ] = ϵ 2 m 2 , k 2 ( V k ϵ ( s ) A k f )
+ P k 2 ( V k ϵ ( s ) D 1 0 ( x k ( s ) , ) f ) ( x k ( s ) ) + ( C ) + O ( ϵ 4 ) .
Now, we gather all the terms (so that (A), (B), (C), and (D) cancel each other):
E k 2 ( M k + 1 ϵ ( s ) f M k ϵ ( s ) f ) = ϵ 2 σ k 2 2 ( V k ϵ ( s ) A k f )
+ ϵ 2 P k 2 ( V k ϵ ( s ) D 1 0 ( x k ( s ) , ) f ) ( x k ( s ) ) ϵ 2 2 ( V k ϵ ( s ) P k D 1 , k 0 f )
+ ϵ 2 P k 2 ( V k ϵ ( s ) f 1 ( , T k ϵ , s ( s ) ) ) ( x k ( s ) ) ϵ 2 2 ( V k ϵ ( s ) P k f 1 , k ) + O ( ϵ 4 ) ,
where σ k 2 : = m 2 , k m 1 , k 2 . We can also write the last result in terms of the nonlinear variance operator P k v a r associated to the kernel P T k ( s ) :
E k 2 ( M k + 1 ϵ ( s ) f M k ϵ ( s ) f ) = ϵ 2 σ k 2 2 ( V k ϵ ( s ) A k f ) + ϵ 2 P k v a r [ ( V k ϵ ( s ) D 1 0 ( x k ( s ) , ) f ) ] ( x k ( s ) )
+ ϵ 2 P k v a r [ ( V k ϵ ( s ) f 1 ( , T k ϵ , s ( s ) ) ) ] ( x k ( s ) ) + O ( ϵ 4 ) .
As k and by assumption, P T k ( s ) will tend to P, σ k 2 to σ k 2 : = m 2 , k m 1 , k 2 and therefore we get:
ϵ 1 2 ( M ˜ ϵ ( s ) f ) t = ϵ k = 0 N s t 1 ϵ , s σ k 2 2 ( V k ϵ ( s ) A k f ) + P v a r [ ( V k ϵ ( s ) D 1 0 ( x k ( s ) , ) f ) ] ( x k ( s ) )
+ P v a r [ ( V k ϵ ( s ) f 1 ( , T k ϵ , s ( s ) ) ) ] ( x k ( s ) ) + O ( ϵ ) .
To obtain the convergence of the latter predictable quadratic variation process, we first “replace”—in the previous Riemann sum—the random times T k ϵ , s ( s ) and counting process N s t 1 ϵ , s by their deterministic equivalents t k ϵ ( s , t ) and n ϵ ( s , t ) defined by:
n ϵ ( s , t ) : = t s ϵ Π m t k ϵ ( s , t ) : = s + k t s n ϵ ( s , t ) t .
It is possible to do so using Assumption 1 and up to some technicalities. We do so for technical reasons to be able to use a SLLN for weakly correlated random variables [30], as specified below. We get:
ϵ 1 2 ( M ˜ ϵ ( s ) f ) t = ϵ k = 0 n ϵ ( s , t ) σ k 2 2 ( V ϵ ( s , t k ϵ ( s , t ) ) A x k ( s ) ( t k ϵ ( s , t ) ) f )
+ P v a r [ ( V ϵ ( s , t k ϵ ( s , t ) ) D 1 0 ( x k ( s ) , ) f ) ] ( x k ( s ) )
+ P v a r [ ( V ϵ ( s , t k ϵ ( s , t ) ) f 1 ( , t k ϵ ( s , t ) ) ) ] ( x k ( s ) ) + o ( 1 ) .
The second step is the following: denote for sake of clarity the inside of the Riemann sum by ϕ :
ϕ ( V ϵ , t k ϵ ( s , t ) , x k ( s ) ) : = σ k 2 2 ( V ϵ ( s , t k ϵ ( s , t ) ) A x k ( s ) ( t k ϵ ( s , t ) ) f )
+ P v a r [ ( V ϵ ( s , t k ϵ ( s , t ) ) D 1 0 ( x k ( s ) , ) f ) ] ( x k ( s ) ) + P v a r [ ( V ϵ ( s , t k ϵ ( s , t ) ) f 1 ( , t k ϵ ( s , t ) ) ) ] ( x k ( s ) ) .
We want to show that:
ϵ k = 0 n ϵ ( s , t ) ϕ ( V ϵ , t k ϵ ( s , t ) , x k ( s ) ) P 1 Π m s t Π ϕ ( Γ ^ , u , ) d u .
To do so, we write the decomposition:
ϵ k = 0 n ϵ ( s , t ) ϕ ( V ϵ , t k ϵ ( s , t ) , x k ( s ) ) 1 Π m s t Π ϕ ( Γ ^ , u , ) d u =
ϵ k = 0 n ϵ ( s , t ) ϕ ( V ϵ , t k ϵ ( s , t ) , x k ( s ) ) ϵ k = 0 n ϵ ( s , t ) ϕ ( Γ ^ , t k ϵ ( s , t ) , x k ( s ) ) ( i )
+ ϵ k = 0 n ϵ ( s , t ) ϕ ( Γ ^ , t k ϵ ( s , t ) , x k ( s ) ) 1 Π m s t Π ϕ ( Γ ^ , u , ) d u ( i i ) .
First, let us show that the term ( i ) converges in probability to 0. We have:
ϵ k = 0 n ϵ ( s , t ) ϕ ( V ϵ , t k ϵ ( s , t ) , x k ( s ) ) ϵ k = 0 n ϵ ( s , t ) ϕ ( Γ ^ , t k ϕ ( s , t ) , x k ( s ) )
ϵ n ϵ ( s , t ) sup u [ s , t ] x J ϕ ( V ϵ , u , x ) ϕ ( Γ ^ , u , x ) .
In the proof of Theorem 8, we obtain that { V ϵ ( s , ) A ^ ( ) f } is C-relatively compact. Similarly, we also have that ( x , y ) J × J , { V ϵ ( s , ) A x ( ) f } , { V ϵ ( s , ) D 1 0 ( x , y ) f } and { V ϵ ( s , ) f 1 ( x , ) } are C-relatively compact, and therefore they converge jointly, weakly in D ( J ( s ) , Y ) to:
( Γ ^ ( s , ) A x ( ) f , Γ ^ ( s , ) D 1 0 ( x , y ) f , Γ ^ ( s , ) f 1 ( x , ) ) .
Using the continuous mapping theorem and the fact that the limit points belong to C ( J ( s ) , Y ) (and so that the limit of the sum is equal to the sum of the limits), we get that:
ϕ ( V ϵ , , x ) ϕ ( Γ ^ , , x ) .
Since ϕ ( Γ ^ , , x ) is continuous, convergence in the Skorohod topology is equivalent to convergence in the local uniform topology and therefore we get that sup u [ s , t ] | ϕ ( V ϵ , u , x ) ϕ ( Γ ^ , u , x ) | 0 . The previous weak convergence to 0 also holds in probability and that completes the proof that ( i ) converges in probability to 0, since ϵ n ϵ ( s , t ) is bounded uniformly in ϵ. To show that the term ( i i ) converges a.e. to 0, we write:
ϵ k = 0 n ϵ ( s , t ) ϕ ( Γ ^ , t k ϵ ( s , t ) , x k ( s ) ) = x J ϵ k = 0 n ϵ ( s , t ) ϕ ( Γ ^ , t k ϵ ( s , t ) , x ) 1 { x k ( s ) = x } .
We have to prove that:
ϵ k = 0 n ϵ ( s , t ) ϕ ( Γ ^ , t k ϵ ( s , t ) , x ) 1 { x k ( s ) = x } a . e . π ( x ) Π m s t ϕ ( Γ ^ , u , x ) d u .
To do so, we use Corollary 11 of [30]. It is a SLLN for weakly correlated random variables Y k . It tells us that if sup k v a r ( Y k ) < and if c o v ( Y m , Y n ) α ( | m n | ) with n 1 α ( n ) n < , then we have:
lim n 1 n k = 1 n ( Y k E ( Y k ) ) = 0   a . e .
In fact, it turns out that we need a generalized version of this corollary, which can be obtained exactly the same way as in the original proof. We need:
lim n 1 n k = 1 n a n k ( Y k E ( Y k ) ) = 0   a . e .
for deterministic, nonnegative and uniformly bounded coefficients a n k . Note that we can drop the nonnegativity assumption on the a n k s by requiring that | c o v ( Y m , Y n ) | α ( | m n | ) , and not only c o v ( Y m , Y n ) α ( | m n | ) . Here, we let Y k : = 1 { x k ( s ) = x } so that sup k v a r ( Y k ) < and a ϵ k : = ϕ ( Γ ^ , t k ϵ ( s , t ) , x ) , which are indeed deterministic, nonnegative and uniformly bounded. Before showing c o v ( Y m , Y n ) α ( | m n | ) for some suitable α , let us show that lim n E ( Y n ) = π ( x ) and, thus, by convergence of the Riemann sum:
lim ϵ 0 ϵ k = 1 n ϵ ( s , t ) a ϵ k E ( Y k ) = π ( x ) Π m s t ϕ ( Γ ^ , u , x ) d u .
As mentioned in the proof of Lemma 5, the process ( x n , T n ) n N has the strong Markov property and therefore, since x k ( s ) = x N ( s ) + k and that for k 1 , N ( s ) + k is a stopping time of the augmented filtration F n ( 0 ) , where:
F n ( s ) : = σ x k ( s ) , T k ( s ) : k n σ ( P null   sets ) ,
then we have for k , m 1 , noting h x ( y ) : = 1 { x = y } :
E ( Y k + m ) = E ( E ( h x ( x k + m ( s ) ) | F k ( s ) ) ) = E ( P T k ( s ) k , k + m h x ( x k ( s ) ) ) ,
which, by Assumption 1, converges as m to Π h x = π ( x ) . Now, it remains to study c o v ( Y m , Y n ) . We have for m > n , again using the strong Markov property of the process ( x n , T n ) :
E ( Y m Y n ) = E ( 1 { x m ( s ) = x } 1 { x n ( s ) = x } ) = E ( 1 { x n ( s ) = x } E ( 1 { x m ( s ) = x } | x n ( s ) , T n ( s ) ) )
= E ( 1 { x n ( s ) = x } P T n ( s ) m n h x ( x ) )
= E ( 1 { x n ( s ) = x } ( P T n ( s ) m n h x ( x ) Π h x ( x ) ) ) + E ( 1 { x n ( s ) = x } Π h x ( x ) ) .
The proof of Lemma 6 then shows that c o v ( Y m , Y n ) 2 ψ ( m n ) , which completes the proof that Term ( i i ) converges a.e. to 0.  □
The following result allows us to represent the limiting process N ( s , f ) obtained above in a very neat fashion, using orthogonal martingale measures (see [28], Definition I-1).
Proposition 5.
Let Y , s J and f D ^ . Under Assumptions 1 and 3, we have the following equality in distribution in D ( J ( s ) , R ) (using the notations of Theorem 9):
N ( s , f ) = d x , y J s σ s ( x , y , u , f ) T W ( x , y , d u )
= k = 1 3 x , y J s σ s ( k ) ( x , y , u , f ) W ( k ) ( x , y , d u ) ,
where W = { W ( k ) : k = 1 , 2 , 3 } is a vector of orthogonal martingale measures on J × J × J ( s ) with intensities 1 Π m P ( x , y ) π ( x ) d t , ( σ s ( x , y , t , f ) ) is the vector with components ( σ s ( k ) ( x , y , t , f ) ) ( k = 1 , 2 , 3 ) given by:
σ s ( 1 ) ( x , y , t , f ) = σ ( x ) Γ ^ ( s , t ) A x ( t ) f ,
σ s ( 2 ) ( x , y , t , f ) = Γ ^ ( s , t ) D 1 0 ( x , y ) f y J P ( x , y ) Γ ^ ( s , t ) D 1 0 ( x , y ) f ,
σ s ( 3 ) ( x , y , t , f ) = Γ ^ ( s , t ) f 1 ( y , t ) y J P ( x , y ) Γ ^ ( s , t ) f 1 ( y , t ) .
Proof. 
Take any probability space supporting three independent real-valued Brownian motions { B ( k ) : k = 1 , 2 , 3 } . Define for t J ( s ) :
m t ( k ) : = s t x , y J 2 ( σ s ( k ) ( x , y , u , f ) ) 1 Π m P ( x , y ) π ( x ) d B u ( k ) , k = 1 , 2 , 3 .
We therefore have:
m ( i ) , m ( j ) t = δ i j s t x , y J 2 ( σ s ( i ) ( x , y , u , f ) ) 1 Π m P ( x , y ) π ( x ) d u , i , j = 1 , 2 , 3 .
According to [28] (Theorem III-10), there exists an extension of the original space supporting { W ( k ) : k = 1 , 2 , 3 } orthogonal martingale measures on J × J × J ( s ) with intensity 1 Π m P ( x , y ) π ( x ) d t such that:
m t ( k ) = s t x , y J ( σ s ( k ) ( x , y , u , f ) ) W ( k ) ( x , y , d u ) , k = 1 , 2 , 3 .
k = 1 3 m ( k ) is a continuous Gaussian martingale with characteristics ( 0 , σ ^ ( s , , f ) 2 , 0 ) (using the notations of Theorem 9). Therefore, N ( s , f ) = d k = 1 3 m ( k ) in D ( J ( s ) , R ) , which completes the proof.  □
The above characterization of N ( s , f ) is relevant especially because it allows us to express the limiting process of ( ϵ 1 2 M ˜ ϵ ( s ) f ) in the form ( · ) , allowing us to express the limiting process of ϵ 1 2 M ˜ ϵ ( s ) f in terms of the weak random integral defined in [29] (Definition 3.1). In fact, we need a slight generalization of the latter integral to vectors, which is given in the following Definition 14 (the case n = 1 in the following definition coincides precisely with [29], Definition 3.1). We also note that the above representation of the Gaussian martingale N ( s , f ) allows us to see that the volatility vector σ (which governs the convergence of Vϵ to Γ ^ , as shown in the main result in Theorem 11) comes from three independent sources, which is what we expected intuitively:
  • σ ( 1 ) comes from the variance of the sojourn times { T n + 1 T n } n 0 (component σ ( x ) ).
  • σ ( 2 ) comes from the jump operators D.
  • σ ( 3 ) comes from the “state process” { x n } n 0 .
Definition 14.
Let M = { M ( k ) : k = 1 . . n } be a vector of martingale measures on ( E , R ) , where E is a Lusin space and R a ring of subsets of E (see [28], Definition I-1). Let σ : E × R + Y n be the vector σ ( x , t ) : = { σ ( k ) ( x , t ) : k = 1 . . n } ( x E , t R + ), and the square-mean measures ρ ( k ) ( A × [ 0 , t ] ) : = E [ M ( k ) ( A , t ) 2 ] ( A R , t R + ). We say that σ is stochastically integrable with respect to M on A × [ s , t ] ( A R , s t R + ) if Y :
k = 1 n A × [ s , t ] 2 ( σ ( k ) ( x , u ) ) ρ ( k ) ( d x , d u ) < ,
and there exists a Y-valued random variable α such that Y :
( α ) = A × [ s , t ] ( σ ( x , u ) ) T M ( d x , d u ) = k = 1 n A × [ s , t ] ( σ ( k ) ( x , u ) ) M ( k ) ( d x , d u ) a . e .
In this case, we write:
α = A × [ s , t ] σ ( x , u ) T M ( d x , d u ) .
The previous definition now allows us to express the limiting process of ϵ 1 2 M ˜ ϵ ( s ) f in D ( J ( s ) , Y ) for all f D ^ .
Theorem 10.
Let s J and Y . Under Assumptions 1–3, we have the following weak convergence in D ( J ( s ) , R ) for each countable family { f p } p N D ^ :
ϵ 1 2 ( M ˜ ϵ ( s ) f p ) p N x , y J s ( σ s ( x , y , u , f p ) ) T W ( x , y , d u ) p N ,
where σ s ( x , y , t , f ) is the vector with components σ s ( k ) ( x , y , t , f ) given in Proposition 5, W = { W ( k ) : k = 1 , 2 , 3 } is a vector of orthogonal martingale measures on J × J × J ( s ) with intensities 1 Π m P ( x , y ) π ( x ) d t . Further, if in addition ϵ 1 2 M ˜ ϵ ( s ) is D ^ -relatively compact, we have the following weak convergence in D ( J ( s ) , Y ) for each countable family { f p } p N D ^ :
ϵ 1 2 M ˜ ϵ ( s ) f p p N x , y J s σ s ( x , y , u , f p ) T W ( x , y , d u ) p N ,
where each integral on the right-hand side of the above is a weak random integral in the sense of Definition 14.
Proof. 
We split the proof into two steps. For Step 1, we fix f D ^ and prove the weak convergence in D ( J ( s ) , Y ) :
ϵ 1 2 M ˜ ϵ ( s ) f x , y J s σ s ( x , y , u , f ) T W ( x , y , d u ) .
In Step 2, we prove the joint convergence in D ( J ( s ) , Y ) .
Step 1. Let a sequence ϵ n 0 such that ϵ n 1 2 M ˜ ϵ n ( s ) f M ˜ ( s , f ) for some D ( J ( s ) , Y ) - valued random variable M ˜ ( s , f ) . By the Skorohod representation theorem, there exists a probability space ( Ω , F , P ) and random variables with the same distribution as the original ones, denoted by the subscript ’, such that the previous convergence holds a.e. By Theorem 9, for all Y , ( M ˜ ( s , f ) ) is a continuous Gaussian martingale with characteristics ( 0 , σ ^ ( s , , f ) 2 , 0 ) . By the proof of Proposition 5, we can consider on an extension ( Ω , F , P ) of ( Ω , F , P ) , { W ( k ) : k = 1 , 2 , 3 } orthogonal martingale measures on J × J × J ( s ) with intensity 1 Π m P ( x , y ) π ( x ) d t such that Y :
( M ˜ ( s , f ) ) = s x , y J ( σ s ( x , y , t , f ) ) T W ( x , y , d u ) a . e .
By definition of the weak random integrals in the sense of Definition 14, we get:
M ˜ ( s , f ) = x , y J s σ s ( x , y , u , f ) T W ( x , y , d u ) .
Actually, there is a subtlety that we voluntarily skipped: a priori, it is not obvious that the orthogonal martingale measures { W ( k ) : k = 1 , 2 , 3 } do not depend on , i.e., we can represent all Gaussian martingales { ( M ˜ ( s , f ) ) : Y } according to the same vector W . To see that it is the case, observe that the joint distribution of the Gaussian martingales { ( M ˜ ( s , f ) ) : Y } is completely determined by their pairwise predictable quadratic co-variations. Take 1 , 2 Y . Then, 1 + 2 Y and 1 2 Y , therefore we can compute by Theorem 9 the quantity 1 ( M ˜ ( s , f ) ) , 2 ( M ˜ ( s , f ) ) t according to:
1 ( M ˜ ( s , f ) ) , 2 ( M ˜ ( s , f ) ) t = 1 4 σ ^ 1 + 2 ( s , t , f ) 2 σ ^ 1 2 ( s , t , f ) 2
= k = 1 3 x , y J s t 1 σ s ( k ) ( x , y , u , f ) 2 σ s ( k ) ( x , y , u , f ) 1 Π m P ( x , y ) π ( x ) d u .
The latter gives us that we can indeed represent all Gaussian martingales { ( M ˜ ( s , f ) ) : Y } according to the same vector W .
Step 2. The limit points are continuous, thus weak convergence in D ( J ( s ) , Y ) is equivalent to weak convergence in D ( J ( s ) , Y ) . Similar to what we do for 1 , 2 , the joint distribution of the Gaussian martingales { ( M ˜ ( s , f p ) ) : p N } is completely determined by their pairwise predictable quadratic co-variations. We can compute by Theorem 9 the quantity ( M ˜ ( s , f i ) ) , ( M ˜ ( s , f j ) ) t according to:
( M ˜ ( s , f i ) ) , ( M ˜ ( s , f j ) ) t = 1 4 σ ^ ( s , t , f i + f j ) 2 σ ^ ( s , t , f i f j ) 2
= k = 1 3 x , y J s t σ s ( k ) ( x , y , u , f i ) σ s ( k ) ( x , y , u , f j ) 1 Π m P ( x , y ) π ( x ) d u .
The latter gives us that we can indeed represent all Gaussian martingales { ( M ˜ ( s , f p ) ) : Y , p N } according to the same vector W .  □
Let ( Y 2 , | | · | | Y 2 ) be a separable Banach space continuously embedded in ( Y 1 , | | · | | Y 1 ) such that Y 2 D ^ . We now show our main result, which is the weak convergence of the process:
ϵ 1 / 2 ( V ϵ ( s , ) Γ ^ ( s , ) )
in a suitable topology, which is the space D s Y 2 Y defined similarly to D s , the following way:
D s Y 2 Y : = { S B ( Y 2 , Y ) J ( s ) : S f D ( J ( s ) , Y ) f Y 2 } .
We will need the following regularity:
Assumptions 4.
For j { 2 , 3 } , there exists separable Banach spaces ( Y j , | | · | | Y j ) continuously embedded in Y j 1 such that Y 2 D ^ and such that the following hold true for j { 2 , 3 } :
  • Y j contains a countable family which is dense in Y j 1 .
  • Γ ^ is a regular Y 2 -propagator with respect to the Banach spaces Y 2 and Y 3 .
  • A x ( t ) B ( Y j , Y j 1 ) and sup u [ 0 , t ] | | A x ( u ) | | B ( Y j , Y j 1 ) < t J , x J .
  • A x ( t ) B ( Y 2 , Y ) and sup u [ 0 , t ] | | A x ( u ) | | B ( Y 2 , Y ) < t J , x J .
  • D 1 0 ( x , y ) B ( Y j , Y j 1 ) x , y J .
Remark 5.
We previously introduced the notion of “regular” Y-propagator. This notion implicitly involves the Banach spaces Y and Y 1 . Therefore, by “ Γ ^ is a regular Y 2 -propagator with respect to the Banach spaces Y 2 and Y 3 ” we mean the same thing as our previously introduced notion of regularity, but with the roles of Y and Y 1 being, respectively, replaced by Y 2 and Y 3 .
A few comments: We need the Banach space Y 2 Y 1 because the limiting Gaussian operator I σ of our main result Theorem 11 takes value in C s Y 2 Y , but not in C s Y 1 Y , as shown in Lemma 7. We need the Banach space Y 3 Y 2 for the same reason we need Y 1 Y in the WLLN result in Theorem 8: to get well-posedness of a Cauchy problem and conclude on the unicity of the limit. This technical point is established in Lemma 8.
Lemma 7.
Let s J and ( Ω , F , P ) be a probability space which supports W = { W ( k ) : k = 1 , 2 , 3 } , a vector of orthogonal martingale measures on J × J × J ( s ) with intensities 1 Π m P ( x , y ) π ( x ) d t . With the definition of σ in Proposition 5, define:
I σ ( s , t ) f : = x , y J s t σ s ( x , y , u , Γ ^ ( u , t ) f ) T W ( x , y , d u ) , f Y 2 , t J ( s ) .
Under Assumptions 1, 2 and 4 I σ ( s , ) is a C s Y 2 Y -valued random variable. Further, for all T J ( s ) Q + , there exists a constant C T such that for a.e. ω Ω :
sup t [ s , T ] | | I σ ( s , t ) | | B ( Y 2 , Y ) C T x , y J , k = 1 . . 3 sup t [ s , T ] | W ( k ) ( x , y , t ) | .
Proof. 
First, we recall the fact that if h C 1 ( R ) , then by Ito’s lemma, for every x , y J and k = 1 , 2 , 3 we have almost surely:
s t h ( u ) W ( k ) ( x , y , d u ) = h ( t ) W ( k ) ( x , y , t ) h ( s ) W ( k ) ( x , y , s ) s t h ( u ) W ( k ) ( x , y , u ) d u
s t h ( u ) W ( k ) ( x , y , d u ) 3 ( 1 + t s ) sup u [ s , t ] ( | h ( u ) | + | h ( u ) | ) | W ( k ) ( x , y , u ) | a . s .
In our case, we have for f Y 2 :
d d u σ s ( 1 ) ( x , y , u , Γ ^ ( u , t ) f ) = σ ( x ) Γ ^ ( s , u ) A ^ ( u ) A x ( u ) Γ ^ ( u , t ) f + σ ( x ) Γ ^ ( s , u ) A x ( u ) Γ ^ ( u , t ) f σ ( x ) Γ ^ ( s , u ) A x ( u ) A ^ ( u ) Γ ^ ( u , t ) f ,
d d u σ s ( 2 ) ( x , y , u , Γ ^ ( u , t ) f ) = Γ ^ ( s , u ) A ^ ( u ) D 1 0 ( x , y ) Γ ^ ( u , t ) f y J P ( x , y ) Γ ^ ( s , u ) A ^ ( u ) D 1 0 ( x , y ) Γ ^ ( u , t ) f Γ ^ ( s , u ) D 1 0 ( x , y ) A ^ ( u ) Γ ^ ( u , t ) f + y J P ( x , y ) Γ ^ ( s , u ) D 1 0 ( x , y ) A ^ ( u ) Γ ^ ( u , t ) f .
For the derivative of σ ( 3 ) , denote:
g 1 ( y , u ) : = ( Γ ^ ( u , t ) f ) 1 ( y , u ) = Π m ( P + Π I ) 1 [ A ^ ( u ) Γ ^ ( u , t ) f a ( , u ) Γ ^ ( u , t ) f ] ( y ) ,
so that:
g 1 ( y , u ) = Π m ( P + Π I ) 1 [ A ^ ( u ) Γ ^ ( u , t ) f A ^ ( u ) 2 Γ ^ ( u , t ) f a ( , u ) Γ ^ ( u , t ) f + a ( , u ) A ^ ( u ) Γ ^ ( u , t ) f ] ( y ) ,
a ( x , u ) = 1 Π m m 1 ( x ) A x ( u ) ,
A ^ ( u ) = Π a ( , u ) ,
where we recall that:
a ( x , t ) : = 1 Π m m 1 ( x ) A x ( t ) + P D 1 0 ( x , ) ( x ) .
With these notations, we have:
d d u σ s ( 3 ) ( x , y , u , Γ ^ ( u , t ) f ) = Γ ^ ( s , u ) A ^ ( u ) g 1 ( y , u ) + Γ ^ ( s , u ) g 1 ( y , u ) y J P ( x , y ) ( Γ ^ ( s , u ) A ^ ( u ) g 1 ( y , u ) + Γ ^ ( s , u ) g 1 ( y , u ) ) .
By Equation (351) and Assumption 4, for every t T J ( s ) , there exists a constant C T such that for every Y , every f Y 2 we have for a.e. ω Ω :
x , y J s t ( σ s ( x , y , u , Γ ^ ( u , t ) f ) ) T W ( x , y , d u ) | | | | C T | | f | | Y 2 x , y J , k = 1 . . 3 sup t [ s , T ] | W ( k ) ( x , y , t ) | .
According to [26], the unit ball of the dual of every separable Banach space Y contains a norming subset, namely a countable subset S Y such that for every f Y , | | f | | = sup S | ( f ) | . In our case and using Definition 14, it means that we get for every t T J ( s ) , every f Y 2 and a.e. ω Ω :
| | I σ ( s , t ) f | | = x , y J s t σ s ( x , y , u , Γ ^ ( u , t ) f ) T W ( x , y , d u )
= sup S x , y J s t ( σ s ( x , y , u , Γ ^ ( u , t ) f ) ) T W ( x , y , d u ) C T | | f | | Y 2 x , y J , k = 1 . . 3 sup t [ s , T ] | W ( k ) ( x , y , t ) | .
 □
Lemma 8.
Let s J and fix { f p } a countable dense family of Y 3 , as well as a probability space ( Ω , F , P ) supporting the orthogonal martingale measures W of Theorem 10. Consider the following Cauchy problem on ( Ω , F , P ) , for a C s Y 2 Y -valued random variable Z s , where σ is defined in Proposition 5:
Z s ( t ) f p s t Z s ( u ) A ^ ( u ) f p d u = x , y J s t σ s ( x , y , u , f p ) T W ( x , y , d u ) , t J ( s ) , p , a . s .
If we assume that the previous problem has at least one solution Z s , and that Assumptions 1, 3 and 4 hold true, then we have Z s ( ) = I σ ( s , ) .
Proof. 
First, let us prove uniqueness. Let Z 1 , Z 2 be two solutions and let Z : = Z 1 Z 2 . Then, we have:
Z ( ) f p s Z ( u ) A ^ ( u ) f p d u = 0 , p , a . s .
Consider the following Cauchy problem, very similar to Theorem 4, where G s B ( Y 2 , Y ) , G is an operator G : J ( s ) B ( Y 2 , Y ) that is Y 2 -strongly continuous and Y d d t represents the derivative with respect to the Y-norm (unless specified otherwise, all norms, limits, and derivatives are taken with respect to Y, which we prefer to specify explicitly here as we are dealing with several Banach spaces):
Y d d t G ( t ) f = G ( t ) A ^ ( t ) f t J ( s ) , f Y 3 G ( s ) = G s B ( Y 2 , Y )
Because by assumption Γ ^ is a regular Y 2 -propagator with respect to the Banach spaces Y 2 and Y 3 , we can prove—similar to the proof of Theorem 4—that the previous Cauchy problem has a unique solution G ( t ) = G s Γ ^ ( s , t ) . In our context, let Ω 0 be the subset of probability one on which we have:
Z ( ) f p s Z ( u ) A ^ ( u ) f p d u = 0 , p .
By density of { f p } in Y 3 and because Z ( t ) takes value in B ( Y 2 , Y ) and A ^ ( t ) B ( Y 3 , Y 2 ) for all t, we can extend the previous equality for all f Y 3 on Ω 0 . Observing that Z takes value in C s Y 2 Y , we can use the unicity of the solution to the Cauchy problem discussed above, and we get Z ( ) = 0 on Ω 0 . This proves uniqueness.
It is proved below that I σ ( s , ) (using the notation of Lemma 7) is the unique solution to our Cauchy problem. Indeed, Lemma 7 gives us that I σ ( s , ) takes value in C s Y 2 Y . It remains to show that it satisfies Equation (363). Let Y . Since f σ s ( x , y , u , f ) B ( Y 1 , Y ) and since Γ ^ is a regular Y 2 -propagator by assumption, we get for all f Y 2 :
Y d d t ( σ s ( x , y , u , Γ ^ ( u , t ) f ) ) = ( σ s ( x , y , u , Γ ^ ( u , t ) A ^ ( t ) f ) ) .
We get for all p, using the stochastic Fubini theorem:
( I σ ( s , t ) f p ) x , y J s t ( σ s ( x , y , u , f p ) ) T W ( x , y , d u )
= x , y J s t ( σ s ( x , y , u , Γ ^ ( u , t ) f p ) ) T W ( x , y , d u ) x , y J s t ( σ s ( x , y , u , f p ) ) T W ( x , y , d u )
= x , y J s t s r d d r ( σ s ( x , y , u , Γ ^ ( u , r ) f p ) ) T W ( x , y , d u ) d r
= x , y J s t s r ( σ s ( x , y , u , Γ ^ ( u , r ) A ^ ( r ) f p ) ) T W ( x , y , d u ) d r
= s t ( I σ ( s , r ) A ^ ( r ) f p ) d r .
According to [26], the unit ball of the dual of every separable Banach space Y contains a norming subset, namely a countable subset S Y such that for every f Y , | | f | | = sup S | ( f ) | . We therefore obtain:
I σ ( s , t ) f p s t I σ ( s , r ) A ^ ( r ) f p d r = x , y J s t σ s ( x , y , u , f p ) T W ( x , y , d u ) , t J ( s ) , p , a . s . ,
which completes the proof.  □
We now state the main result of this section:
Theorem 11.
Let s J . Assume that Assumptions 1–4 (see 1 for Assumptions 1–2, Assumprton 3, and Assumprton 4) hold true, that ϵ 1 / 2 ( V ϵ ( s , ) Γ ^ ( s , ) ) is Y 2 -relatively compact and that, for all T J ( s ) Q + , the sequence of real-valued random variables { M s , T ϵ } ϵ ( 0 , 1 ] is tight, where:
M s , T ϵ : = sup t [ s , T ] ϵ 1 / 2 | | V ϵ ( s , t ) Γ ^ ( s , t ) | | B ( Y 2 , Y ) .
Then, we have the following weak convergence in ( D s Y 2 Y , d ) :
ϵ 1 / 2 ( V ϵ ( s , ) Γ ^ ( s , ) ) I σ ( s , ) ,
where I σ ( s , ) is the C s Y 2 Y -valued random variable defined by:
I σ ( s , t ) f : = x , y J s t σ s ( x , y , u , Γ ^ ( u , t ) f ) T W ( x , y , d u ) , f Y 2 , t J ( s ) ,
where W = { W ( k ) : k = 1 , 2 , 3 } is a vector of orthogonal martingale measures on J × J × J ( s ) with intensity 1 Π m P ( x , y ) π ( x ) d t and σ is defined in Proposition 5.
Proof. 
Denote W ϵ ( s , ) : = ϵ 1 / 2 ( V ϵ ( s , ) Γ ^ ( s , ) ) . Take { f p } a countable family of Y 3 that is dense in both Y 3 and Y 2 . Marginal relative compactness implies countable relative compactness and therefore, { W ϵ ( s , ) f p } p N is relatively compact in D ( J ( s ) , Y ) . Actually, { W ϵ ( s , ) f p } p N is C-relatively compact in D ( J ( s ) , Y ) , and therefore in D ( J ( s ) , Y ) . This is because the jumps of W ϵ ( s , ) are the jumps of ϵ 1 / 2 V ϵ ( s , ) which are uniformly bounded by C T ϵ 1 / 2 on each interval [ s , T ] for some constant C T which depends only on T (see the proof of Lemma 3). Take a weakly converging sequence ϵ n . By the proof of Theorem 4.1 (see [14]), we can find a probability space ( Ω , F , P ) and D s Y 2 Y -valued random variables W ϵ n ( s , ) , W 0 ( s , ) on it, such that on Ω we have the sure convergence:
W ϵ n ( s , ) W 0 ( s , ) in ( D s Y 2 Y , d ) ,
W ϵ n ( s , ) = d W ϵ n ( s , ) in ( D s Y 2 Y , d ) , n .
We can extend the probability space ( Ω , F , P ) so that it supports a Markov renewal process ( x k , T k ) k 0 such that:
( W ϵ n ( s , ) , ( x k , T k ) k 0 ) = d ( W ϵ n ( s , ) , ( x k , T k ) k 0 ) in ( D s Y 2 Y , d ) × ( J × R + ) , n .
By continuity of Γ ^ , A ^ we have the following representation of the Riemann sum, for all f Y 3 (actually, for all f Y 1 ):
s Γ ^ ( s , u ) A ^ ( u ) f d u = ϵ Π m k = 1 N s t 1 ϵ , s Γ ^ ( s , T k ϵ n , s ( s ) ) A ^ T k ϵ n , s ( s ) f + O ( ϵ ) .
Therefore, by Lemma 5 we have the representation, for all f Y 3 (actually, for all f Y 1 ):
ϵ n 1 / 2 M ˜ ϵ n ( s ) f = W ϵ n ( s , ) f ϵ n Π m k = 1 N s t 1 ϵ , s W ϵ n ( s , T k ϵ n , s ( s ) ) A ^ T k ϵ n , s ( s ) f + O ( ϵ n 1 / 2 ) a . e .
As in the proof of Theorem 8, using continuity of W 0 , we have the following convergence in the Skorohod topology on Ω , for all f Y 3 :
ϵ n k = 1 N s t 1 ϵ n , s W ϵ n ( s , T k ϵ n , s ( s ) ) A ^ ( T k ϵ n , s ( s ) ) f 1 Π m s W 0 ( s , u ) A ^ ( u ) f d u .
Similar to what is done in the proof of Theorem 10, we can extend the probability space ( Ω , F , P ) to a probability space ( Ω , F , P ) , which supports the orthogonal martingale measures W ( k ) ( x , y , d t ) of Theorem 10. Since we have:
( W ϵ n ( s , ) , ( x k , T k ) k 0 ) = d ( W ϵ n ( s , ) , ( x k , T k ) k 0 ) in ( D s Y 2 Y , d ) × ( J × R + ) , n ,
using Equation (381) and Theorem 10, we get for all p, e.g., on some set of probability one Ω 0 Ω , that:
W 0 ( s , ) f p s W 0 ( s , u ) A ^ ( u ) f p d u = x , y J s σ s ( x , y , u , f p ) T W ( x , y , d u ) .
The result of Lemma 8 concludes the proof.  □

6. Financial Applications

Financial applications are given to illiquidity modeling using regime-switching time- inhomogeneous Levy price dynamics, to regime-switching Levy driven diffusion based price dynamics, and to a generalized version of the multi-asset model of price impact from distress selling, for which we retrieve and generalize their diffusion limit result for the price process.

6.1. Regime-Switching Inhomogeneous Lévy Based Stock Price Dynamics and Application to Illiquidity Modeling

For specific examples in this section, we state all the proofs related to regularity of the propagator, compact containment criterion, etc. It is worth noting that we focus below on the Banach space Y = C 0 ( R d ) , but that, in the article [15], other L p -type Banach spaces denoted by L ¯ ρ p ( ν ) are considered (in addition to C 0 ( R d ) ), for which a suitable weighted sup-norm is introduced (see their Lemma 2.6).
We first give a brief overview of the proposed model and the intuition behind it, and then we go into more formal details, presenting precisely all the various variables of interest, checking assumptions we have made up to this point, etc. We consider a regime-switching inhomogeneous Lévy-based stock price model, very similar in the spirit to the recent article [4]. In short, an inhomogeneous Lévy process differs from a classical Lévy process in the sense that it has time-dependent (and absolutely continuous) characteristics. We let { L x } x J be a collection of such R d -valued inhomogeneous Lévy processes with characteristics ( b t x , c t x , ν t x ) x J , and we define:
Γ x ( s , t ) f ( z ) : = E [ f ( L t x L s x + z ) ] , z R d , x J ,
D ϵ ( x , y ) f ( z ) : = f ( z + ϵ α ( x , y ) ) , z R d , x , y J ,
for some bounded function α. We give below a financial interpretation of this function α, as well as reasons we consider a regime-switching model. In this setting, f represents a contingent claim on a (d-dimensional) risky asset S having regime-switching inhomogeneous Lévy dynamics driven by the processes { L x } x J : on each random time interval [ T k ϵ , s ( s ) , T k + 1 ϵ , s ( s ) ) , the risky asset is driven by the process L x k ( s ) . Indeed, we have the following representation, for ω Ω (to make clear that the expectation below is taken with respect to ω embedded in the process L and not ω ):
V ϵ ( s , t ) ( ω ) f ( z ) = E f z + k = 1 N s t 1 ϵ , s ( ω ) + 1 Δ L k + k = 1 N s t 1 ϵ , s ( ω ) ϵ α ( x k 1 ( s ) ( ω ) , x k ( s ) ( ω ) ) ,
where we have denoted for clarity:
Δ L k = Δ L k ( ϵ , ω ) : = L T k ϵ , s ( s ) ( ω ) t x k 1 ( s ) ( ω ) L T k 1 ϵ , s ( s ) ( ω ) x k 1 ( s ) ( ω ) .
The random evolution V ϵ ( s , t ) f represents in this case the present value of the contingent claim f of maturity t on the risky asset S, conditionally on the regime switching process ( x n , T n ) n 0 : indeed, remember that V ϵ ( s , t ) f is random, and that its randomness (only) comes from the Markov renewal process. Our main results in Theorems 8 and 11 allow approximating the impact of the regime-switching on the present value V ϵ ( s , t ) f of the contingent claim. Indeed, we get the following normal approximation, for small ϵ:
V ϵ ( s , t ) f Γ ^ ( s , t ) f 1 s t order regime-switching approx . + ϵ I σ ( s , t ) f noise due to regime-switching
The above approximation allows quantifying the risk inherent to regime-switchings occurring at a high frequency governed by ϵ. The parameter ϵ reflects the frequency of the regime-switchings and can therefore be calibrated to market data by the risk manager. For market practitioners, because of the computational cost, it is often convenient to have asymptotic formulas that allow them to approximate the present value of a given derivative, and by extent the value of their whole portfolio. In addition, the asymptotic normal form of the regime-switching cost allows the risk manager to derive approximate confidence intervals for his portfolio, as well as other quantities of interest such as reserve policies linked to a given model.
In the recent article [4], an application to illiquidity is presented: the authors interpreted the state process { x n } as a “proxy for market liquidity with states (or regimes) representing the level of liquidity activity”. In their context, however, x ( t ) is taken to be a continuous-time Markov chain, which is a specific case of semi-Markov process with exponentially distributed sojourn times T n + 1 T n . With creative choices of the Markov renewal kernel, one could choose alternative distributions for the “waiting times” between regimes, thus generalizing the setting of [4]. In [4], the equivalent of our quantities α ( x , y ) are the constants γ x y , which represent an impact on the stock price at each regime-switching time. The authors stated: “Typically, there is a drop of the stock price after a liquidity breakdown”. This justifies the use of the operators D.
In addition to the liquidity modeling of [4], another application of our framework could be to view the different states as a reflection of uncertainty on market data induced by, for example, a significant bid-ask spread on the observed market data. The different characteristics ( b t x , c t x , ν t x ) x J would, in this context, reflect this uncertainty induced by the observables. The random times { T n } would then correspond to times at which the observed market data (e.g., call option prices, or interest rates) switch from one value to another. As these switching times are typically very small (∼ms), an asymptotic expansion as ϵ 0 would make perfect sense in order to get an approximation of the stock price at a scale ≫ m s , e.g., ∼min.
Now, let us formalize the model a bit more precisely. We let Y : = C 0 ( R d , R ) , Y 1 : = C 0 m ( R d , R ) for some m 2 . Let ( Ω , F , P ) a probability space and let us begin with ( L t ) t J a R d -valued (time-inhomogeneous) Markov process on it with transition function p s , t ( z , A ) ( z R d , A B o r ( R d ) ) and starting point z 0 R d (in the sense of [31], II.10.2). Formally, ( s , u ) , ( u , t ) Δ J , A B o r ( R d ) , p satisfies:
  • z R d , p s , t ( z , · ) is a probability measure.
  • z p s , t ( z , A ) is B o r ( R d ) B o r ( [ 0 , 1 ] ) measurable.
  • p s , s ( z , A ) = 1 A ( z ) .
  • R d p s , u ( z , d y ) p u , t ( y , A ) = p s , t ( z , A ) (Chapman–Kolmogorov).
One example of such time-inhomogeneous Markov processes are additive processes (in the sense of [31], I.1.6). This class of processes differs from Lévy processes only on the fact that increments are not assumed to be stationary. Additive processes are translation invariant (or spatially homogeneous) and we have (by [31], II.10.4) p s , t ( z , A ) = P ( L t L s A z ) . We focus on additive processes in the following as they are rich enough to cover many financial applications. We define for ( s , t ) Δ J and f B R b ( R d ) :
Γ ( s , t ) f ( z ) : = E [ f ( L t L s + z ) ] = R d p s , t ( z , d y ) f ( y ) .
It can be proved that Γ is a regular B ( Y ) -contraction propagator and n N we have Γ ( s , t ) B ( C 0 n ( R d , R ) ) and | | Γ ( s , t ) | | B ( C 0 n ( R d , R ) ) 1 . The Lévy–Khintchine representation of such a process ( L t ) t J (see [32], 14.1) ensures that there exists unique ( B t ) t J R d , ( C t ) t J a family of d × d symmetric nonnegative-definite matrices and ( ν ¯ t ) t J a family of measures on R d such that:
E [ e i u , L t ] = e ψ ( u , t ) , with :
ψ ( u , t ) : = i u , B t 1 2 u , C t u + R d ( e i u , y 1 i u , y 1 | y | 1 ) ν ¯ t ( d y ) .
( B t , C t , ν ¯ t ) t J are called the spot characteristics of L. They satisfy the following regularity conditions:
  • t J , ν ¯ t { 0 } = 0 and R d ( | y | 2 1 ) ν ¯ t ( d y ) <
  • ( B 0 , C 0 , ν ¯ 0 ) = ( 0 , 0 , 0 ) and ( s , t ) Δ J : C t C s is symmetric nonnegative-definite and ν ¯ s ( A ) ν ¯ t ( A ) A B o r ( R d ) .
  • t J and as s t , B s B t , u , C s u u , C t u u R d and ν ¯ s ( A ) ν ¯ t ( A ) A B o r ( R d ) such that A { z R d : | z | > ϵ } for some ϵ > 0 .
If t J , R d | y | 1 | y | 1 ν ¯ t ( d y ) < , we can replace B t by B t 0 in the Lévy–Khintchine representation of L, where B t 0 : = B t R d y 1 | y | 1 ν ¯ t ( d y ) . We denote by ( B t 0 , C t , ν ¯ t ) t J 0 this other version of the spot characteristics of L.
Let J = [ 0 , T ] . We can consider a specific case of additive processes, called processes with independent increments and absolutely continuous characteristics (PIIAC), or inhomogeneous Lévy processes in [33], for which there exists ( b t ) t J R d , ( c t ) t J a family of d × d symmetric nonnegative-definite matrices and ( ν t ) t J a family of measures on R d satisfying:
0 T | b s | + | | c s | | + R d ( | y | 2 1 ) ν s ( d y ) d s <
B t = 0 t b s d s
C t = 0 t c s d s
ν ¯ t ( A ) = 0 t ν s ( A ) d s A B o r ( R d ) ,
where | | c t | | denotes any norm on the space of d × d matrices. ( b t , c t , ν t ) t J are called the local characteristics of L. We can notice by [33] that PIIAC are semi-martingales, which is not the case of all additive processes. According to [33], we have the following representation for L:
L t = 0 t b s d s + 0 t c s d W s + 0 t R d y 1 | y | 1 ( N ν ¯ ) ( d s d y ) + s t Δ L s 1 | Δ L s | > 1 ,
where for A B o r ( R d ) : ν ¯ ( [ 0 , t ] × A ) : = ν ¯ t ( A ) and N the Poisson measure of L ( N ν ¯ is then called the compensated Poisson measure of L). ( W t ) t J is a d-dimensional Brownian motion on R d , independent from the jump part. c t here stands for the unique symmetric nonnegative-definite square root of c t . Sometimes it is convenient to write a Cholesky decomposition c t = h t h t T and replace c t by h t in the previous representation (in this case, the Brownian motion W would have to be replaced by another Brownian motion W ˜ , the point being that both 0 t c s d W s and 0 t h s d W ˜ s are processes with independent Gaussian increments with mean 0 and variance 0 t c s d s ). It can be shown (see [15]) that the infinitesimal generator of the propagator Γ is given by:
A ( t ) f ( z ) = j = 1 d b t ( j ) f z j ( z ) + 1 2 j , k = 1 d c t ( j , k ) 2 f z j z k ( z ) + R d f ( z + y ) f ( z ) j = 1 d f z j ( z ) y ( j ) 1 | y | 1 ν t ( d y ) ,
and that C 0 2 ( R d , R ) D ( A ( t ) ) = D ( A ) . If b t 0 : = b t R d y 1 | y | 1 ν t ( d y ) is well-defined:
A ( t ) f ( z ) = j = 1 d b t 0 ( j ) f z j ( z ) + 1 2 j , k = 1 d c t ( j , k ) 2 f z j z k ( z ) + R d ( f ( z + y ) f ( z ) ) ν t ( d y ) .
As a first example, we can consider the inhomogeneous Poisson process, for which d = 1 , local characteristics ( b t 0 , c t , ν t ) 0 = ( 0 , 0 , λ ( t ) δ 1 ) , where the intensity function λ B R + ( J ) s.t. 0 T λ ( s ) d s < . We have, letting Λ s t : = s t λ ( u ) d u :
p s , t ( z , z + n ) = 1 n ! Λ s t n e Λ s t ,   for z , n R × N   and   p s , t ( z , z + n ) = 0   if   n N
A ( t ) f ( z ) = λ ( t ) ( f ( z + 1 ) f ( z ) ) .
As a second example, we can consider a risk process L (used in insurance, for example):
d L t = r t d t d Z t
Z t = i = 1 N t Z i ,
where ( N t ) t J is an inhomogeneous Poisson process, ( r t ) t J R d + is the premium intensity function and the Z i ’s are iid random variables, independent from N with common law ν that represent the random payments that an insurance company has to pay. In this case, the local characteristics ( b t 0 , c t , ν t ) 0 = ( r t , 0 , λ ( t ) ν ) . We get:
A ( t ) f ( z ) = j = 1 d r t ( j ) f z j ( z ) + λ ( t ) R d ( f ( z y ) f ( z ) ) ν ( d y ) .
We can also consider a Brownian motion with time-dependent variance-covariance matrix c t and drift r t (local characteristics ( b t 0 , c t , ν t ) 0 = ( r t , c t , 0 ) ):
d L t = r t d t + c t d W t
A ( t ) f ( z ) = j = 1 d r t ( j ) f z j ( z ) + 1 2 j , k = 1 d c t ( j , k ) 2 f z j z k ( z ) .
To define the corresponding random evolution, we let L be an inhomogeneous Lévy process taking value in R d × | J | , independent of the semi-Markov process ( x ( t ) ) t R + . In this case, the ℝ-valued Lévy processes { L j , x : j = 1 . . d , x J } are not necessarily independent but they have independent increments over non-overlapping time-intervals. Denote { L x : x J } the corresponding R d -valued inhomogeneous Lévy processes, with local characteristics ( b t x , c t x , ν t x ) . Define for z R d , ( s , t ) Δ J , x J :
Γ x ( s , t ) f ( z ) : = E [ f ( L t x L s x + z ) ] = R p s , t x ( z , d y ) f ( y ) .
We define the jump operators, for z R d by:
D ϵ ( x , y ) f ( z ) : = f ( z + ϵ α ( x , y ) ) ,
where α B R d b ( J 2 ) , so that D 1 ϵ ( x , y ) f ( z ) = j = 1 d α j ( x , y ) f z j ( z + ϵ α ( x , y ) ) and Y 1 D ( D 1 ) . Assume that the ℝ-valued inhomogeneous Lévy processes { L j , x : j = 1 . . d , x J } admit a second moment, namely they satisfy:
0 t | y | 1 y 2 ν s j , x ( d y ) d s < , t J , j = 1 . . d , x J ,
then it can be proved (see below) that the compact containment criterion is satisfied: { V ϵ } Y 1 -CCC (Assumption 2). Assumption 1 will be satisfied provided the characteristics are smooth enough. Regarding Assumption 3, it is clear that A ^ is the generator of the (inhomogeneous) Lévy propagator with “weighted” local characteristics ( b ^ t , c ^ t , ν ^ t ) given by:
b ^ t = 1 Π m x J m 1 ( x ) b t x + P α ( x , ) ( x ) π ( x )
c ^ t = 1 Π m x J m 1 ( x ) π ( x ) c t x
ν ^ t ( d y ) = 1 Π m x J m 1 ( x ) π ( x ) ν t x ( d y ) .
In particular, we notice that ν ^ t is indeed a Lévy measure on R d .
Proof that Γ is a propagator and that n N we have Γ ( s , t ) B ( C 0 n ( R d , R ) ) and | | Γ ( s , t ) | | B ( C 0 n ( R d , R ) ) 1 . Γ satisfies the propagator equation because of the Chapman–Kolmogorov equation. Now, let us show that n N we have Γ ( s , t ) B ( C 0 n ( R d R , ) ) and | | Γ ( s , t ) | | B ( C 0 n ( R d , R ) ) 1 . Let Y : = C 0 ( R d , R ) . Let us first start with C 0 ( R d , R d ) . Let f C 0 ( R d , R ) . By ([31]), we get the representation Γ ( s , t ) f ( z ) = R d μ s , t ( d y ) f ( z + y ) , where μ s , t is the distribution of L t L s , i.e., μ s , t ( A ) = P ( L t L s A ) for A B o r ( R d ) . Let z R d and take any sequence ( z n ) n N R d : z n z and denote g n : = y f ( z n + y ) C 0 ( R d , R ) and g : = y f ( z + y ) C 0 ( R d , R ) . By continuity of f, g n g pointwise. Further, | | g n | | = | | f | | L R 1 ( R d , B o r ( R d ) , μ s , t ) . Therefore, by Lebesgue dominated convergence theorem, we get lim n Γ ( s , t ) f ( z n ) = R d lim n μ s , t ( d y ) f ( z n + y ) = R d μ s , t ( d y ) f ( z + y ) = Γ ( s , t ) f ( z ) . Therefore, Γ ( s , t ) f C ( R d , R ) . By the same argument but now taking any sequence ( z n ) n N R d : | z n | , we get lim | z | Γ ( s , t ) f ( z ) = 0 and therefore Γ ( s , t ) f C 0 ( R d , R ) . Further, we get:
| Γ ( s , t ) f ( z ) | = R d μ s , t ( d y ) f ( z + y ) R d μ s , t ( d y ) | f ( z + y ) | R d μ s , t ( d y ) | | f | | = | | f | | .
and therefore | | Γ ( s , t ) | | B ( C 0 ( R d , R ) ) 1 . Let z R d , f C 0 q ( R d , R ) ( q 1 ). Take any sequence ( h n ) n N R : h n 0 , j [ | 1 , d | ] and f n , j ( z ) : = f ( z 1 , , z j + h n , , z d ) . Then:
1 h n ( ( Γ ( s , t ) f ) n , j ( z ) Γ ( s , t ) f ( z ) ) = R d μ s , t ( d y ) 1 h n ( f n , j ( z + y ) f ( z + y ) ) .
Let g n : = y 1 h n ( f n , j ( z + y ) f ( z + y ) ) C 0 ( R d , R ) and g : = y f z j ( z + y ) C 0 ( R d , R ) . We have g n g pointwise since f C 0 1 ( R d , R ) . By the Mean Value theorem, γ j ( n , z , y ) [ | h n | , | h n | ] : g n ( y ) = f z j ( z 1 + y 1 , , z j + y j + γ j ( n , z , y ) , , z d + y d ) , and therefore | g n ( y ) | f z j L R 1 ( R d , B o r ( R d ) , μ s , t ) . Therefore, by Lebesgue dominated convergence theorem, we get:
Γ ( s , t ) f z j ( z ) = R d μ s , t ( d y ) f z j ( z + y ) .
Using the same argument as for C 0 ( R d , R ) , we get that Γ ( s , t ) f C 0 1 ( R d , R ) since f z j C 0 1 ( R d , R ) j [ | 1 , d | ] . Repeating this argument by computing successively every partial derivative up to order q by the relationship α Γ ( s , t ) f ( z ) = R d μ s , t ( d y ) α f ( z + y ) α N d , q , we get Γ ( s , t ) f C 0 q ( R d , R ) . Further, the same way we got | | Γ ( s , t ) f | | | | f | | for f C 0 ( R d , R ) , we get for f C 0 q ( R d , R ) : | | α Γ ( s , t ) f | | | | α f | | α N d , q . Therefore, max α N d , q | | α Γ ( s , t ) f | | max α N d , q | | α f | | | | Γ ( s , t ) f | | C 0 q ( R d , R ) | | f | | C 0 q ( R d , R ) | | Γ ( s , t ) | | B ( C 0 q ( R d , R ) ) 1 .
Proof that Γ is ( Y 1 , | | · | | Y 1 ) -strongly s-continuous, Y-strongly t-continuous. Let ( s , t ) Δ J , f Y 1 and h [ s , t s ] :
| | Γ ( s + h , t ) f Γ ( s , t ) f | | Y 1 = max α N d , m | | α Γ ( s + h , t ) f α Γ ( s , t ) f | |
= max α N d , m | | Γ ( s + h , t ) α f Γ ( s , t ) α f | | .
Let α N d , m and { h n } n N [ s , t s ] any sequence such that h n 0 . Let S n : = L t L s + h n and S : = L t L s . We have S n P S by stochastic continuity of additive processes. By the Skorokhod’s representation theorem, there exists a probability space ( Ω , F , P ) and random variables { S n } n N , S on it such that S n = D S n , S = D S and S n a . e . S . Let z R d , we therefore get:
| Γ ( s + h n , t ) α f ( z ) Γ ( s , t ) α f ( z ) | = | E [ α f ( z + S n ) α f ( z + S ) ] |
E | α f ( z + S n ) α f ( z + S ) |
| | Γ ( s + h n , t ) α f Γ ( s , t ) α f | | sup z R d E | α f ( z + S n ) α f ( z + S ) |
E [ sup z R d | α f ( z + S n ) α f ( z + S ) | ] .
Further, since α f Y , α f is uniformly continuous on R d and ϵ > 0 , δ > 0 : | z y | < δ | α f ( z ) α f ( y ) | < ϵ . Because S n a . e . S , for a.e. ω Ω , N ( ω ) N : n N ( ω ) | S n ( ω ) S ( ω ) | = | z + S n ( ω ) S ( ω ) z | < δ z R d | α f ( z + S n ( ω ) ) α f ( z + S ( ω ) ) | < ϵ z R d . Therefore, we have that g n : = sup z R d | α f ( z + S n ) α f ( z + S ) | a . e . 0 . Further | g n | 2 | | α f | | L R 1 ( Ω , F , P ) . By Lebesgue dominated convergence theorem, we get:
lim n E [ sup z R d | α f ( z + S n ) α f ( z + S ) | ] = 0 .
We can notice that the proof strongly relies on the uniform continuity of f, and therefore on the topological properties of the space C 0 ( R d , R ) (which C b ( R d , R ) does not have). We prove that Γ is Y-strongly t-continuous exactly the same way, but now considering Y n : = L t + h n L s and any sequence { h n } n N K such that h n 0 , where K : = [ s t , T t ] if J = [ 0 , T ] and K : = [ s t , 1 ] if J = R + .
Proof that Γ is regular. By Taylor’s theorem, we get f Y 1 , t J , z , y R d :
f ( z + y ) f ( z ) j = 1 d f z j ( z ) y ( j ) 1 2 | y | 2 j , k = 1 d 2 f z j z k d 2 2 | y | 2 | | f | | Y 1
| | A Γ ( t ) f | | | | f | | Y 1 j = 1 d | b t ( j ) | + 1 2 j , k = 1 d | c t ( j , k ) | + 2 ν t { | y | > 1 } + d 2 2 | y | 1 | y | 2 ν t ( d y )
| | A Γ ( t ) | | B ( Y 1 , Y ) j = 1 d | b t ( j ) | + 1 2 j , k = 1 d | c t ( j , k ) | + 2 ν t { | y | > 1 } + d 2 2 | y | 1 | y | 2 ν t ( d y ) ,
observing that ν t { | y | > 1 } + | y | 1 | y | 2 ν t ( d y ) < by assumption. Therefore, by integrability assumption on the local characteristics and Theorem 3, we get the propagator evolution equations and therefore the regularity of Γ.
Proof that V ϵ Y 1 -CCC. We are going to apply Proposition 4. We showed Vϵ is a B ( Y 1 ) -contraction, so it remains to show the uniform convergence to 0 at infinity. We have the following representation, for ω Ω (to make clear that the expectation is with respect to ω and not ω ):
V ϵ ( s , t ) ( ω ) f ( z ) = E f z + k = 1 N s t 1 ϵ , s ( ω ) + 1 Δ L k + k = 1 N s t 1 ϵ , s ( ω ) ϵ α ( x k 1 ( s ) ( ω ) , x k ( s ) ( ω ) ) ,
where we have denoted for clarity Δ L k = Δ L k ( ϵ , ω ) : = L T k ϵ , s ( s ) ( ω ) t x k 1 ( s ) ( ω ) L T k 1 ϵ , s ( s ) ( ω ) x k 1 ( s ) ( ω ) . In the following we drop the index ω . Denote the d components of the inhomogeneous Lévy process L x by L ( j ) , x ( j = 1 . . d ). The multivariate version of Chebyshev’s inequality yields for any d-vector of L 2 integrable random variables X j :
P j = 1 d ( X j E ( X j ) ) 2 δ 2 1 δ 2 j = 1 d v a r ( X j ) .
We apply this inequality to the d-vector k = 1 N s t 1 ϵ , s + 1 Δ L k having components
X j : = k = 1 N s t 1 ϵ , s + 1 Δ L k ( j ) , where Δ L k ( j ) is the j th component of Δ L k . If we denote by
( b t ( j ) , x , c t ( j ) , x , ν t ( j ) , x ) the local characteristics of L ( j ) , x , we have ([32], proposition 3.13):
E ( X j ) = k = 1 N s t 1 ϵ , s + 1 E ( Δ L k ( j ) ) = k = 1 N s t 1 ϵ , s + 1 T k 1 ϵ , s ( s ) T k ϵ , s ( s ) t b u ( j ) , x k 1 ( s ) + | y | 1 y ν u ( j ) , x k 1 ( s ) ( d y ) d u ,
and so:
| E ( X j ) | s t b u + | y | 1 | y | ν u ( d y ) d u ,
where b u : = j = 1 . . d , x J | b u ( j ) , x | and ν u : = j = 1 . . d , x J ν u ( j ) , x . Similarly, we have:
v a r ( Δ L k ( j ) ) = T k 1 ϵ , s ( s ) T k ϵ , s ( s ) t c u ( j ) , x k 1 ( s ) + R y 2 ν u ( j ) , x k 1 ( s ) ( d y ) d u
T k 1 ϵ , s ( s ) T k ϵ , s ( s ) t c u + R y 2 ν u ( d y ) d u ,
where c u : = j = 1 . . d , x J c u ( j ) , x . Now, since L is a R d × | J | valued inhomogeneous Lévy process, the ℝ valued inhomogeneous Lévy processes L ( j ) , x are not necessarily independent but they have independent increments over non-overlapping time intervals. This yields:
v a r ( X j ) = v a r k = 1 N s t 1 ϵ , s + 1 Δ L k ( j ) = k = 1 N s t 1 ϵ , s + 1 v a r ( Δ L k ( j ) ) s t c u + y 2 ν u ( d y ) d u .
Overall, we get that for every δ > 0 , there exists k δ = k δ , s , t , f > 0 such that:
P k = 1 N s t 1 ϵ , s ( ω ) + 1 Δ L k > k δ < δ 2 | | f | | .
Define the set:
B : = k = 1 N s t 1 ϵ , s ( ω ) + 1 Δ L k > k δ .
We have:
E 1 B f z + · | | f | | P ( B ) < δ 2 .
On the other hand, there exists c δ > 0 : | z | > c δ | f ( z ) | < δ 2 . Define, as in the traffic case, A ϵ : = { ϵ N s t 1 ϵ , s n 00 } so that P ( A ϵ ) 1 Δ . We have for ω A ϵ and | z | > C δ : = c δ + | | α | | n 00 + k δ :
E 1 B c f z + · < δ 2 P ( B c ) δ 2 ,
so that overall, for ω A ϵ and | z | > C δ (uniform in ω , ϵ) we have:
V ϵ ( s , t ) ( ω ) f ( z ) < δ ,
which completes the proof.

6.2. Regime-Switching Lévy Driven Diffusion Based Price Dynamics

We consider the same financial setting as in Section 6.1, with the exception that the dynamics of the stock price will be driven by a Lévy driven diffusion process, and not a time-inhomogeneous Lévy process. As in [15] (Section 4.1), consider for x J the function Φ x C b 1 , 1 ( R d × R + , R d × R d ) and { L x } x J a collection of R d -valued classical Lévy processes with local characteristics ( b x , c x , ν x ) . Let Z x a solution of the SDE (actually, for any initial condition Z 0 x = z R d , the SDE admits a unique strong solution, cf. [15], Lemma 4.6.):
d Z t x = Φ x ( Z t x , t ) d L t x ,
and define as in Section 6.1:
Γ x ( s , t ) f ( z ) : = E [ f ( Z t x ) | Z s x = z ] .
This general setting includes many popular models in finance, for example the Heston model. Time-inhomogeneity of Φ also enables one to consider the time-dependent Heston model, which is characterized by time-dependent parameters. The Delayed Heston model considered in [34] can be seen as a specific example of the class of time-dependent Heston models, and therefore fits into this framework. Indeed, let S t and V t be the price and variance process, respectively. The time-dependent Heston dynamics read:
d S t = ( r t q t ) S t d t + S t V t 1 ρ t 2 d W t ( 1 ) + S t V t ρ t d W t ( 2 ) ,
d V t = γ t ( θ t 2 V t ) d t + δ t V t d W t ( 2 ) ,
where γ t , ρ t , r t , q t , δ t , and θ t are deterministic processes and W ( 1 ) , W ( 2 ) independent Brownian motions. Then, letting the R 3 -valued Lévy process L t : = ( t , W t ( 1 ) , W t ( 2 ) ) T and Z t : = ( S t , V t , t ) T , we have d Z t = Φ ( Z t , t ) d L t , where for z = ( z 1 , z 2 , z 3 ) T R 3 :
Φ ( z , t ) : = ( r t q t ) z 1 z 1 z 2 1 ρ t 2 z 1 z 2 ρ t γ t ( θ t 2 z 2 ) 0 δ t z 2 1 0 0
Then, we can consider regime-switching extensions of the latter time-dependent Heston dynamics by allowing the various coefficients γ t , ρ t , r t , q t , δ t , and θ t (and therefore the matrix Φ ) to depend on the regime x J . It also has to be noted that the previously defined Φ is not in C b 1 , 1 , which is required in [15] to prove the strong continuity of Γ, as mentioned below. Nevertheless, in practice, it is always possible to consider bounded approximations of the latter Φ .
Let Y : = C 0 ( R d , R ) and Y 1 : = C 0 m ( R d , R ) for some m 2 as in Section 6.1. Lemma 4.6, the corresponding proof and Remark 4.1 of [15] give us strong continuity of and for f Y 1 :
A x ( t ) f ( z ) = j = 1 d [ b x Φ x ( z , t ) ] ( j ) f z j ( z ) + 1 2 j , k = 1 d [ c x Φ x ( z , t ) ] ( j , k ) 2 f z j z k ( z ) + R d f ( z + Φ x ( z , t ) y ) f ( z ) j = 1 d f z j ( z ) [ Φ x ( z , t ) y ] ( j ) 1 | y | 1 ν x ( d y ) .
In particular, taking L t x = t we retrieve the so-called traffic random evolution of [9,27]. If ν x = 0 for all x, A ^ is the generator of the Lévy driven diffusion propagator with “weighted” local characteristics ( b ^ , c ^ , 0 ) and driver Φ ^ implicitly defined by the following equations:
b ^ Φ ^ ( z , t ) = 1 Π m x J m 1 ( x ) [ b x Φ x ( z , t ) ] + P α ( x , ) ( x ) π ( x )
c ^ Φ ^ ( z , t ) = 1 Π m x J m 1 ( x ) π ( x ) [ c x Φ x ( z , t ) ] .
If Φ x = Φ does not depend on x, then A ^ is the generator of the Lévy driven diffusion propagator with driver Φ and “weighted” local characteristics ( b ^ , c ^ , ν ^ ) defined implicitly by the following equations:
b ^ Φ ( z , t ) = 1 Π m x J m 1 ( x ) b x Φ ( z , t ) + P ( x , ) ( x ) π ( x )
c ^ Φ ( z , t ) = 1 Π m x J m 1 ( x ) π ( x ) c x Φ ( z , t )
ν ^ ( d y ) = 1 Π m x J m 1 ( x ) π ( x ) ν x ( d y ) .

6.3. Multi-Asset Model of Price Impact from Distressed Selling: Diffusion Limit

Take, again, Y : = C 0 ( R d , R ) . The setting of the recent article [11] fits exactly into our framework. In this article, they consider a discrete-time stock price model for d stocks ( S i ) 1 i d . It is assumed that a large fund V holds α i units of each asset i. Denoting the ith stock price and fund value at time t k by, respectively, S k i : = S t k i and V k : = V t k , we have V k = j = 1 d α j S k j , and the following dynamics are assumed for the stock prices:
ln S k + 1 i S k i = ϵ 2 m i + ϵ Z k + 1 i + ln 1 + g i ( V ¯ k + 1 ) g i ( V ¯ k ) ,
g i : = α i D i g , m i : = μ i 1 2 σ i i ,
V ¯ k + 1 = 1 V 0 j = 1 d α j S k j e ϵ 2 m j + ϵ Z k + 1 j , V ¯ k = V k V 0 ,
where ϵ 2 = t k + 1 t k is the constant time-step, { Z k } k 1 : = { Z k i : 1 i d } k 1 are i.i.d. R d -valued centered random variables with covariance matrix σ (i.e., E ( Z k i ) =0, E ( Z k i Z k j ) = σ i j k ); g : R R is increasing, concave, equal to 0 on [ β 0 , ) and g ( β l i q ) = 1 , where 0 < β l i q < β 0 ; D i > 0 represents the depth of the market in asset i, and μ i are constants. It is also assumed that:
| | g | | < 1 2 min i D i | α i | ,
so that the stock prices remain positive. The idea is that when the fund value V reaches a certain “low” level β 0 V 0 , market participants will start selling the stocks involved in that fund, inducing a correlation between the stocks, which “adds” to their fundamental correlations: this is captured by the function g (which, if equal to 0, gives us the “standard” Black and Scholes setting).
The above setting is a particular case of our framework, where Γ x = I for all x J , and the operators D have the following form:
D ϵ ( x , y ) f ( z ) : = f exp z + ϵ 2 m + ϵ y + ϕ ( h ( z + ϵ 2 m + ϵ y ) h ( z ) ) , x , y J ,
where ∘ denotes composition of functions, z R d , m is the vector with coordinates m i , h : R d R d has coordinate functions h i defined by:
h i ( z ) = g i 1 V 0 j = 1 d α j e z j ,
ϕ : R d R d has coordinate functions ϕ i defined by:
ϕ i ( z ) = ln ( 1 + z i ) ,
and finally where we have extended the definition of exp : R d R d by the convention that exp ( z ) is the vector with coordinates exp ( z i ) . We notice that the operator D defined above does not depend on x, and so we let D ϵ ( y ) f : = D ϵ ( x , y ) f . By i.i.d. assumption on the random variables { Z k } , the process { x n } is chosen such that it is a Markov chain with all rows of the transition matrix P equal to each other, meaning that x n + 1 is independent of x n : in this context the ergodicity of the Markov chain is immediate, and we have P = Π . It remains to choose the finite state space J : we assume that the random variables Z k i can only take finitely many values, say M, and we denote { γ p } p = 1 . . M these possible values. In the paper [11], the authors considered that these random variables can have arbitrary distributions: here we approximate these distributions by finite state distributions. Note that in practice (e.g., on a computer), all distributions are in fact approximated by finite-state distributions, since the finite floating-point precision of the computer only allows finitely many values for a random variable. The parameter M in fact plays no role in the analysis below. We let J : = { γ 1 , γ 2 , , γ M 1 , γ M } d . We have, for x : = ( x 1 , x 2 , , x d ) J and y : = ( y 1 , y 2 , , y d ) J :
P [ x n + 1 = y | x n = x ] = π ( y ) , x n : = ( Z n 1 , Z n 2 , , Z n d ) .
In [11], the times T n = n are deterministic (so that T n + 1 T n = 1 ), but in our context we allow them to be possibly random, which can be seen for example as an “illiquidity extension” of the model in [11], similar to what we have done in Section 6.1. In addition, our very general framework allows one to be creative with the choices of the operators D and Γ, leading to possibly interesting extensions of the model [11] presented above. For example, one could simply “enlarge” the Markov chain { x n } and consider the same model but with regime-switching parameters μ and σ , and one could carry on all the analysis below at almost no extra technical and computational cost. Since ϕ j z i = δ i j 1 1 + z i , we let ϕ j : = ϕ j z j , and we get:
D 1 ϵ ( y ) f ( z ) = j = 1 d f ˜ z j ( s z ϵ ( y ) ) [ s z ϵ ( y ) ] j ϵ
= j = 1 d f ˜ z j ( s z ϵ ( y ) ) 2 ϵ m j + y j + ϕ j ( h ( z + ϵ 2 m + ϵ y ) h ( z ) )
× g j 1 V 0 p = 1 d α p e z p + ϵ 2 m p + ϵ y p 1 V 0 p = 1 d α p ( 2 ϵ m p + y p ) e z p + ϵ 2 m p + ϵ y p ,
where f ˜ : = f exp , and:
s z ϵ ( y ) : = z + ϵ 2 m + ϵ y + ϕ ( h ( z + ϵ 2 m + ϵ y ) h ( z ) ) .
Since ϕ j ( 0 ) = 0 and ϕ j ( 0 ) = 1 , it results that:
D 1 0 ( y ) f ( z ) = j = 1 d f ˜ z j ( z ) y j + g j 1 V 0 p = 1 d α p e z p 1 V 0 p = 1 d α p y p e z p .
From the last expression, and remembering that each component Z n i of x n : = ( Z n 1 , Z n 2 , , Z n d ) is centered, we get:
A ^ ( t ) = 1 Π m x J π ( x ) P [ D 1 0 ( x , ) f ] ( x ) = 1 Π m y J D 1 0 ( y ) f π ( y ) = 1 Π m E [ D 1 0 ( x n ) f ]
= 1 Π m E j = 1 d f ˜ z j ( z ) Z n j + g j 1 V 0 p = 1 d α p e z p 1 V 0 p = 1 d α p Z n p e z p
= 1 Π m j = 1 d f ˜ z j ( z ) E [ Z n j ] + g j 1 V 0 p = 1 d α p e z p 1 V 0 p = 1 d α p E [ Z n p ] e z p = 0 .
Let us denote the vector of initial log-spot prices s 0 which elements are ln ( S 0 i ) ( 1 i d ), as well as the d-dimensional price process S t ( z ) : R d R d with elements:
S t i ( z ) : = exp z i + k = 1 N 0 ( t ) ln S k i S k 1 i .
In this context, the spot price changes at each jump time of the Markov renewal process ( x n , T n ) . As mentioned above, in [11], the times T n = n are deterministic, so that N 0 ( t ) = t . In our context, the random evolution V ( 0 , t ) f and its rescaled version V ϵ ( 0 , t ) f are simply equal to a functional of the spot price:
V ( 0 , t ) f ( s 0 ) = f ( S t ( s 0 ) ) , V ϵ ( 0 , t ) f ( s 0 ) = f ( S t ϵ ( s 0 ) ) .
Because A ^ = 0 , Theorem 8 tells us that the limit of f ( S t ϵ ) is trivial: f ( S t ϵ ) f . In addition, we get:
σ 0 ( 1 ) ( x , y , t , f ) = σ 0 ( 3 ) ( x , y , t , f ) = 0 ,
σ 0 ( 2 ) ( x , y , t , f ) = D 1 0 ( y ) f ,
so that by Theorem 11, we have the convergence in the Skorohod topology:
ϵ 1 / 2 ( f ( S t ϵ ) f ) y J 0 t D 1 0 ( y ) f W ( y , d u ) ,
where { W ( y , d t ) : y J } are orthogonal martingale measures on J × J with intensity 1 Π m π ( y ) d t . This leads to the approximation:
f ( S t ϵ ) f + ϵ y J 0 t D 1 0 ( y ) f W ( y , d u ) .
Because the “first-order” limit is trivial, it calls to study the “second-order” limit, or diffusion limit, i.e., the convergence of f ( S t ϵ 2 ) . This is indeed what is done in [11]. A complete and rigorous treatment of the diffusion limit case for time-inhomogeneous random evolutions is below the scope of this thesis. This is done in the homogeneous case in [10] (Section 4.2.2), or in a simplified context in [6,8]. Nevertheless, in the model we are presently focusing on, we can characterize the diffusion limit. The martingale representation of Lemma 5 is trivial as A ^ = 0 . We define another rescaled random evolution L ϵ ( s , t ) which is defined exactly as V ϵ ( s , t ) , but with N s t 1 ϵ , s replaced by N s t 1 ϵ 2 , s in the product. In our context:
L ϵ ( 0 , t ) f ( s 0 ) = f ( S t ϵ 2 ( s 0 ) ) .
Using the same techniques as in Lemma 5 (but going one more order in the “Taylor” expansion and writing f ϵ ( x , t ) : = f + ϵ f 1 ( x , t ) + ϵ 2 f 2 ( x , t ) for suitable function f 2 ), we can get a martingale representation of the form:
Martingale = L ϵ ( s , t ) f f ϵ 2 Π m k = 1 N s t 1 ϵ 2 , s L ϵ ( s , T k ϵ , s ( s ) ) B ^ T k ϵ , s ( s ) f + O ( ϵ ) a . e . ,
for a suitable operator B ^ . In fact, after a few lines of computation, we get:
B ^ ( t ) = 1 Π m Π b ( , t ) ,
b ( x , t ) : = 1 2 m 2 ( x ) A x 2 ( t ) + m 1 ( x ) P A x ( t ) D 1 0 ( x , ) ( x ) + 1 2 P D 2 0 ( x , ) ( x )
+ m 1 ( x ) P f 1 ( , t ) ( x ) , x J .
In our present model, B ^ ( t ) = B ^ is independent of time and the above reduces to:
B ^ f = 1 2 Π m y J π ( y ) D 2 0 ( y ) f = 1 2 Π m E [ D 2 0 ( x n ) f ] , f C 0 3 ( R d ) .
Denote:
k j ( ϵ ; y ) : = [ s z ϵ ( y ) ] j ϵ = 2 ϵ m j + y j + ϕ j ( h ( z + ϵ 2 m + ϵ y ) h ( z ) )
× g j 1 V 0 p = 1 d α p e z p + ϵ 2 m p + ϵ y p 1 V 0 p = 1 d α p ( 2 ϵ m p + y p ) e z p + ϵ 2 m p + ϵ y p .
With this notation, we have:
D 2 ϵ ( y ) f ( z ) = j = 1 d f ˜ z j ( s z ϵ ( y ) ) k j ( ϵ ; y ) + j , m = 1 d 2 f ˜ z j z m ( s z ϵ ( y ) ) k j ( ϵ ; y ) k m ( ϵ ; y ) ,
and therefore:
E [ D 2 0 ( x n ) f ( z ) ] = j = 1 d f ˜ z j ( z ) E [ k j ( 0 ; x n ) ] + j , m = 1 d 2 f ˜ z j z m ( z ) E [ k j ( 0 ; x n ) k m ( 0 ; x n ) ] .
We have:
k j ( 0 ; y ) k m ( 0 ; y ) = y j + g j 1 V 0 p = 1 d α p e z p 1 V 0 p = 1 d α p y p e z p
× y m + g m 1 V 0 p = 1 d α p e z p 1 V 0 p = 1 d α p y p e z p .
Denoting g j : = g j 1 V 0 p = 1 d α p e z p for clarity, we get:
E [ k j ( 0 ; x n ) k m ( 0 ; x n ) ] = σ j m + 1 V 0 g j p = 1 d α p σ m p e z p
+ 1 V 0 g m p = 1 d α p σ j p e z p + 1 V 0 2 g j g m p , q = 1 d α p α q σ p q e z p + z q .
At this point, it can be noted that the above result should coincide with the quantity c j , m of [11] (Proposition 5.1), and it does! Note, however, that, because the times { T n } are random in our context, the above quantity is multiplied by ( Π m ) 1 in B ^ , i.e., the inverse of a weighted average of the mean values of the inter-arrival times T n T n 1 . If T n = n as in [11], then T n T n 1 = 1 and so Π m = 1 : our framework is therefore a generalization of the one in [11]. One interesting information coming from the above result is that in case of zero “fundamental correlations” σ i j = 0 for i j , we get for j m , denoting σ i 2 : = σ i i :
E [ k j ( 0 ; x n ) k m ( 0 ; x n ) ] = 1 V 0 g j α m σ m 2 e z m + 1 V 0 g m α j σ j 2 e z j + 1 V 0 2 g j g m p = 1 d ( α p σ p e z p ) 2 0 .
This is the point of the model: distressed selling (modeled by the function g) induces a correlation between assets even if their fundamental correlation are equal to zero. It now remains to compute the quantities E [ k j ( 0 ; x n ) ] . After some tedious computations, we get, denoting again g j : = g j 1 V 0 p = 1 d α p e z p (and similarly for g j ):
E [ k j ( 0 ; x n ) ] = 2 m j + 1 V 0 2 ( g j ( g j ) 2 ) p , q = 1 d α p α q σ p q e z p + z q + 1 V 0 g j p = 1 d 2 α p μ p e z p .
Denote now:
a i j ˜ ( z ) : = 1 Π m E [ k i ( 0 ; x n ) k j ( 0 ; x n ) ] b i ˜ ( z ) : = 1 2 Π m E [ k i ( 0 ; x n ) ] .
The generator B ^ is therefore given by:
B ^ f ( z ) = i = 1 d b i ˜ ( z ) f ˜ z i ( z ) + 1 2 i , j = 1 d a i j ˜ ( z ) 2 f ˜ z i z j ( z ) , f C 0 3 ( R d )
= i = 1 d e z i b i ˜ ( z ) + 1 2 a i i ˜ ( z ) b i ( z ) f z i ( z ) + 1 2 i , j = 1 d e z i + z j a i j ˜ ( z ) a i j ( z ) 2 f z i z j ( z ) .
We get in consequence, still denoting g i : = g i 1 V 0 p = 1 d α p e z p for clarity:
a i j ( z ) = 1 Π m e z i + z j σ i j + 1 Π m e z i + z j 1 V 0 g i p = 1 d α p σ j p e z p
+ 1 Π m e z i + z j 1 V 0 g j p = 1 d α p σ i p e z p + 1 Π m e z i + z j 1 V 0 2 g i g j p , q = 1 d α p α q σ p q e z p + z q ,
and:
b i ( z ) = 1 Π m e z i μ i + 1 Π m e z i 1 2 V 0 2 g i p , q = 1 d α p α q σ p q e z p + z q + 1 Π m e z i 1 V 0 g i p = 1 d α p ( μ p ( ) + σ i p ) e z p ,
which is exactly equal to the result of [11], Theorem 4.2, at the small exception that in their drift result for b i ( z ) , the μ p above denoted by ( ) is replaced by a m p , where we recall that m p = μ p 1 2 σ p 2 . We checked our computations and did not seem to find a mistake, therefore, to the best of our knowledge, the coefficient in ( ) should indeed be μ p and not m p . We will leave this small issue for further analysis. By Equation (471), any limiting operator L ( 0 , ) of L ϵ ( 0 , ) satisfies:
Martingale = L ( 0 , ) f f 0 L ( 0 , s ) B ^ f d s   a . e . .
Because of the above specific form of B ^ , it can be proved as in [11] (assuming g C 0 3 ( R ) ), using the results of [20], that the martingale problem related to ( B ^ , δ s 0 ) is well-posed, and therefore using Equation (492) that ( S t ϵ 2 ( s 0 ) ) t 0 converges weakly in the Skorohod topology as ϵ 0 to the d-dimensional process ( P t ) t 0 solution of:
d P t = b ( P t ) d t + c ( P t ) d W t , P 0 = S 0 ,
where W is a standard d-dimensional Brownian motion and a ( z ) = c ( z ) c ( z ) T . This result is a generalization of the one of [11] as in our context, the times { T n } at which the price jumps are random. The consequence of this randomness is that the driving coefficients b and c of the limiting diffusion process ( P t ) t 0 are multiplied by, respectively, ( Π m ) 1 and ( Π m ) 1 / 2 . If T n = n as in [11], then Π m = 1 and we retrieve exactly their result. As mentioned above, our very general framework allows one to be creative with the choices of the operators D and Γ, leading to possibly interesting extensions of the considered model. For example, one could simply “enlarge” the Markov chain { x n } and consider the same model but with regime-switching parameters μ and σ , leading to diffusion limit results at almost no extra technical and computational cost.

Author Contributions

Conceptualization, A.S.; methodology, A.S.; software, N.V.; validation, A.S. and N.V.; formal analysis, N.V. and A.S.; investigation, N.V. and A.S.; resources, N.V. and A.S.; writing—original draft preparation, A.S.; writing—review and editing, A.S.; supervision, A.S.; project administration, A.S.; funding acquisition, A.S.

Funding

This research was funded by NSERC grant number RT732266.

Acknowledgments

The second author wishes to thank NSERC for continuing support. We also thank two anonymous referees very much for many valuable remarks and suggestions that definitely improved the final version of the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Griego, R.; Hersh, R. Random evolutions, Markov chains, and systems of partial differential equations. Proc. Natl. Acad. Sci. USA 1969, 62, 305–308. [Google Scholar] [CrossRef] [PubMed]
  2. Hersh, R. Random evolutions: A survey of results and problems. Rocky Mt. J. Math. 1972, 4, 443–475. [Google Scholar] [CrossRef]
  3. Hersh, R.; Pinsky, M. Random evolutions are asymptotically Gaussian. Commun. Pure Appl. Math. 1972, XXV, 33–44. [Google Scholar] [CrossRef]
  4. Gassiat, P.; Gozzi, F.; Pham, H. Investment/consumption problem in illiquid mar- kets with regime-switching. SIAM J. Control Optim. 2014, 52, 1761–1786. [Google Scholar] [CrossRef]
  5. Vadori, N.; Swishchuk, A. Strong law of large numbers and central limit theorems for functionals of inhomogeneous semi-Markov processes. Stoch. Anal. Appl. 2015, 33, 213–243. [Google Scholar] [CrossRef]
  6. Watkins, J. A central limit ttheorem in random evolution. Ann. Probab. 1984, 12, 480–513. [Google Scholar] [CrossRef]
  7. Watkins, J. Limit theorems for stationary random evolutions. Stoch. Proc. Appl. 1985, 19, 189–224. [Google Scholar] [CrossRef]
  8. Watkins, J. A stochastic integral representation for random evolution. Ann. Probab. 1985, 13, 531–557. [Google Scholar] [CrossRef]
  9. Swishchuk, A. Random Evolutions and Their Applications; Kluwer Academic Publishers: Dordrecht, The Netherlands, 1997. [Google Scholar]
  10. Swishchuk, A.; Korolyuk, V. Evolutions of Systems in Random Media; CRC Press: Boca Raton, FL, USA, 1995. [Google Scholar]
  11. Cont, R.; Wagalath, L. Fire sale forensics: Measuring endogenous risk. Math. Financ. 2016, 26, 835–866. [Google Scholar] [CrossRef]
  12. Fodra, P.; Pham, H. Semi markov model for market microstructure. arXiv 2013, arXiv:1305.0105. [Google Scholar] [CrossRef]
  13. Vadori, N. Semi-Markov Driven Models: Limit Theorems and Financial Applications. Ph.D. Thesis, University of Calgary, Calgary, AB, Canada, 2015. [Google Scholar]
  14. Vadori, N.; Swishchuk, A. Convergence of random bounded operators in the Skorokhod space. Random Oper. Stoch. Equ. 2019, 27, 1–13. [Google Scholar] [CrossRef]
  15. Ruschendorf, L.; Schnurr, A.; Wolf, V. Comparison of Time-Inhomogeneous Markov Processes. Adv. Appl. Probab. 2016, 48, 1015–1044. [Google Scholar] [CrossRef]
  16. Filipovic, D. Time-inhomogeneous affine processes. Stoch. Process. Their Appl. 2005, 115, 639–659. [Google Scholar] [CrossRef]
  17. D’Amico, G.; Petroni, F. Copula based multivariate semi-Markov models with applications in high-frequency finance. Eur. J. Oper. Res. 2018, 267, 765–777. [Google Scholar] [CrossRef]
  18. Pazy, A. Semigroups of Linear Operators and Applications to Partial Differential Equations; Springer-Verlag: New York, NY, USA, 1983. [Google Scholar]
  19. Gulisashvili, A.; van Casteren, J. Non Autonomous Kato Classes and Feynman-Kac Propagators; World Scientific Publishing Co. Pte. Ltd.: Singapore, 1986. [Google Scholar]
  20. Ethier, S.; Kurtz, T. Markov Processes: Characterization and Convergence; John Wiley: Hoboken, NJ, USA, 1986. [Google Scholar]
  21. Jacod, J.; Shiryaev, A. Limit Theorems for Stochastic Processes; Springer: New York, NY, USA, 2003. [Google Scholar]
  22. Mathé, P. Numerical integration using V-uniformly ergodic Markov chains. J. Appl. Probab. 2004, 41, 1104–1112. [Google Scholar] [CrossRef]
  23. Conway, J. A Course in Functional Analysis; Springer: New York, NY, USA, 2007. [Google Scholar]
  24. Revuz, D. Markov Chains; Elsevier Science Publishers B.V.: London, UK, 1984. [Google Scholar]
  25. Billingsley, P. Convergence of Probability Measures; Wiley & Sons: Hoboken, NJ, USA, 1999. [Google Scholar]
  26. Ledoux, M.; Talagrand, M. Probability in Banach Spaces: Isoperimetry and Processes; Springer-Verlag: New York, NY, USA, 1991. [Google Scholar]
  27. Karatzas, I.; Shreve, S. Brownian Motion and Stochastic Calculus; Springer: New York, NY, USA, 1998. [Google Scholar]
  28. El Karoui, N.; Méléard, S. Martingale measures and stochastic calculus. Probab. Theory Relat. Fields 1990, 84, 83–101. [Google Scholar] [CrossRef]
  29. Riedle, M.; van Gaans, O. Stochastic integration for lévy processes with values in Banach spaces. Stoch. Process. Their Appl. 2009, 119, 1952–1974. [Google Scholar] [CrossRef]
  30. Lyons, R. Strong laws of large numbers for weakly correlated random variables. Mich. Math J. 1988, 35, 353–359. [Google Scholar] [CrossRef]
  31. Sato, K. Lévy Processes and Infinitely Divisible Distributions; Cambridge University Press: Cambridge, UK, 1999. [Google Scholar]
  32. Cont, R.; Tankov, P. Financial Modelling with Jump Processes; CRC Press LLC: Boca Raton, FL, USA, 2004. [Google Scholar]
  33. Kluge, W. Time-Inhomogeneous Léevy Processes in Interest Rate and Credit Risk Models. Ph.D. Thesis, Albert-Ludwigs-Universität Freiburg, Freiburg im Breisgau, Baden-Württemberg, Germany, 2005. [Google Scholar]
  34. Swishchuk, A.; Vadori, N. Smiling for the Delayed Volatility Swaps. Wilmott Magazine, 19 December 2014; 62–72. [Google Scholar]

Share and Cite

MDPI and ACS Style

Vadori, N.; Swishchuk, A. Inhomogeneous Random Evolutions: Limit Theorems and Financial Applications. Mathematics 2019, 7, 447. https://doi.org/10.3390/math7050447

AMA Style

Vadori N, Swishchuk A. Inhomogeneous Random Evolutions: Limit Theorems and Financial Applications. Mathematics. 2019; 7(5):447. https://doi.org/10.3390/math7050447

Chicago/Turabian Style

Vadori, Nelson, and Anatoliy Swishchuk. 2019. "Inhomogeneous Random Evolutions: Limit Theorems and Financial Applications" Mathematics 7, no. 5: 447. https://doi.org/10.3390/math7050447

APA Style

Vadori, N., & Swishchuk, A. (2019). Inhomogeneous Random Evolutions: Limit Theorems and Financial Applications. Mathematics, 7(5), 447. https://doi.org/10.3390/math7050447

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop