## 1 Introduction

The classical reaction–diffusion equation

\begin{aligned} \partial _t p(t,x)\,=\,\langle b(x),\nabla _xp(t,x)\rangle + \frac{1}{2}\mathrm{Tr}\,c(x)\nabla _x^{2}p(t,x) +r\bigl (p(t,x)\bigr ) \end{aligned}

describes the evolution of population density due to random displacement of individuals (diffusion term), movement of individuals within the environment (drift term), and their reproduction (reaction term). In order to characterize long-range effects the diffusion and drift terms are naturally replaced by an integro-differential operator of the following form

\begin{aligned} \begin{aligned} \mathcal {L}f(x)\,=\,&\langle b(x),\nabla f(x)\rangle + \frac{1}{2}\mathrm{Tr}\,c(x)\nabla ^{2}f(x)\\&+\int _{\mathbb {R}^{d}} \left( f(x+y)-f(x)-\langle y,\nabla f(x)\rangle \mathbb {1}_{B_1(0)}(y)\right) \,\nu (x,\mathrm {d}y), \end{aligned} \end{aligned}
(1.1)

where $$\nu (x,\mathrm {d}y)$$ is a non-negative Borel kernel which describes these effects, that is, it quantifies the property that an individual at x jumps to $$x+\mathrm {d}y$$.

The main goal of this article is to discuss periodic homogenization of the operator $$\mathcal {L}$$, with kernel $$\nu (x,\mathrm {d}y)$$ admitting “small jumps” only (that is, having finite second moment). Our approach is based on probabilistic techniques. More precisely, we discuss periodic homogenization of the stochastic (Markov) process $$\{X_t\}_{t\ge 0}$$ in periodic medium, generated by $$\mathcal {L}$$. We focus to the case when $$\{X_t\}_{t\ge 0}$$ is a so-called Lévy-type process or, equivalently, when $$\mathcal {L}$$ is a pseudo-differential operator (see below for details). Roughly speaking, we show that the appropriately centered and scaled process $$\{X_t\}_{t\ge 0}$$:

\begin{aligned} \{\varepsilon X_{\varepsilon ^{-2}t}-\varepsilon ^{-1}\bar{b^*} t\}_{t\ge 0}, \end{aligned}
(1.2)

for some $$\bar{b^*}\in \mathbb {R}^d$$, converges, as $$\varepsilon \rightarrow 0$$, in the path space endowed with the Skorohod $$\mathrm{J}_1$$-topology to a d-dimensional zero-drift Brownian motion determined by covariance matrix of the form

\begin{aligned} \begin{aligned} \Sigma \,:=\,\Bigg (&\int _{\mathbb {T}_\tau ^d}\sum _{k,l=1}^{d}\left( \delta _{ki}-\partial _k\beta _i(x)\right) c_{kl}(x)\left( \delta _{lj}-\partial _l\beta _j(x)\right) \pi (\mathrm {d}x)\\&+\int _{\mathbb {T}_\tau ^d}\int _{\mathbb {R}^{d}}y_iy_j\,\nu (x,\mathrm {d}y)\,\pi (\mathrm {d}x)\\&+\int _{\mathbb {T}_\tau ^d}\int _{\mathbb {R}^d}\bigl (\beta _i(x+y)-\beta _i(x)\bigr )\bigl (\beta _j(x+y)-\beta _j(x)\bigr )\nu (x,\mathrm {d}y)\,\pi (\mathrm {d}x)\\ {}&-2\int _{\mathbb {T}_\tau ^d}\int _{\mathbb {R}^d}y_i\bigl (\beta _j(x+y)-\beta _j(x)\bigr )\nu (x,\mathrm {d}y)\,\pi (\mathrm {d}x) \Bigg )_{1\le i,j\le d}, \end{aligned} \end{aligned}
(1.3)

(see Theorem 1.4 for details). Equivalently, according to [14, Theorem 7.1],

\begin{aligned} \lim _{\varepsilon \rightarrow 0}\Vert \mathcal {L}_{\varepsilon }f-\varepsilon ^{-1}\langle \bar{b^*},\nabla f\rangle -2^{-1}\mathrm{Tr}\,\Sigma \nabla ^2f\Vert _\infty \,=\,0,\quad f\in C_c^\infty (\mathbb {R}^d), \end{aligned}

where

\begin{aligned} \mathcal {L}_\varepsilon f(x)\,=\,&\varepsilon ^{-1}\langle b(x/\varepsilon ),\nabla f(x)\rangle + \frac{1}{2}\mathrm{Tr}\,c(x/\varepsilon )\nabla ^{2}f(x)\\&+\varepsilon ^{-2}\int _{\mathbb {R}^{d}} \left( f(x+\varepsilon y)-f(x)-\varepsilon \langle y,\nabla f(x)\rangle \mathbb {1}_{B_1(0)}(y)\right) \,\nu (x/\varepsilon ,\mathrm {d}y). \end{aligned}

Let us remark that when $$b(x)\equiv 0$$ and $$\nu (x,\mathrm {d}y)$$ is symmetric for all $$x\in \mathbb {R}^d$$, centralization in Eq. (1.2) is not necessary (that is, one can take $$\bar{b^*}=0$$), and $$\beta (x)\equiv 0$$ in Eq. (1.3). Thus, in this case, $$\Sigma$$ is reduced to

\begin{aligned}\begin{aligned} \Bigg (&\int _{\mathbb {T}_\tau ^d} c_{ij}(x) \,\pi (\mathrm {d}x)+\int _{\mathbb {T}_\tau ^d}\int _{\mathbb {R}^{d}}y_iy_j\,\nu (x,\mathrm {d}y)\,\pi (\mathrm {d}x) \Bigg )_{1\le i,j\le d}, \end{aligned} \end{aligned}

(see [67] for more details).

Preliminaries on Lévy-Type processes. Let $$(\Omega ,\mathcal {F},\{\mathbb {P}_{x}\}_{x\in \mathbb {R}^{d}},\{\mathcal {F}_t\}_{t\ge 0},\{\theta _t\}_{t\ge 0},$$ $$\{X_t\}_{t\ge 0})$$, denoted by $$\{X_t\}_{t\ge 0}$$ in the sequel, be a Markov process on state space $$(\mathbb {R}^{d},\mathcal {B}(\mathbb {R}^{d}))$$ (see [13]). Here, $$d\ge 1$$, and $$\mathcal {B}(\mathbb {R}^{d})$$ denotes the Borel $$\sigma$$-algebra on $$\mathbb {R}^{d}$$. Due to the Markov property, the associated family of linear operators $$\{P_t\}_{t\ge 0}$$ on $$B_b(\mathbb {R}^{d})$$ (the space of bounded and Borel measurable functions), defined by

\begin{aligned} P_tf(x)\,:=\, \mathbb {E}_{x}\bigl [f(X_t)\bigr ],\quad t\ge 0,\ x\in \mathbb {R}^{d},\ f\in B_b(\mathbb {R}^{d}), \end{aligned}

forms a semigroup on the Banach space $$(B_b(\mathbb {R}^{d}),\Vert \cdot \Vert _\infty )$$, that is, $$P_0=\mathrm{Id}$$ and $$P_s\circ P_t=P_{s+t}$$ for all $$s,t\ge 0$$. Here, $$\mathbb {E}_x$$ stands for the expectation with respect to $$\mathbb {P}_x(\mathrm {d}\omega )$$, $$x\in \mathbb {R}^{d}$$, and $$\Vert \cdot \Vert _\infty$$ and $$\mathrm{Id}$$ denote the supremum norm and the identity operator, respectively, on the space $$B_b(\mathbb {R}^{d})$$. Moreover, the semigroup $$\{P_t\}_{t\ge 0}$$ is contractive ($$\Vert P_tf\Vert _{\infty }\le \Vert f\Vert _{\infty }$$ for all $$t\ge 0$$ and $$f\in B_b(\mathbb {R}^{d})$$) and positivity preserving ($$P_tf\ge 0$$ for all $$t\ge 0$$ and $$f\in B_b(\mathbb {R}^{d})$$ satisfying $$f\ge 0$$). The infinitesimal generator $$(\mathcal {A}^{b},\mathcal {D}_{\mathcal {A}^{b}})$$ of the semigroup $$\{P_t\}_{t\ge 0}$$ (or of the process $$\{X_t\}_{t\ge 0}$$) is a linear operator $$\mathcal {A}^{b}:\mathcal {D}_{\mathcal {A}^{b}}\rightarrow B_b(\mathbb {R}^{d})$$ defined by

\begin{aligned} \mathcal {A}^{b}f := \lim _{t\rightarrow 0}\frac{P_tf-f}{t},\quad f\in \mathcal {D}_{\mathcal {A}^{b}}:=\left\{ f\in B_b(\mathbb {R}^{d}): \lim _{t\rightarrow 0}\frac{P_t f-f}{t} \ \text {exists in}\ \Vert \cdot \Vert _\infty \right\} . \end{aligned}

We call $$(\mathcal {A}^{b},\mathcal {D}_{\mathcal {A}^{b}})$$ the $$B_b$$-generator for short. A Markov process $$\{X_t\}_{t\ge 0}$$ is said to be a Feller process if its corresponding semigroup $$\{P_t\}_{t\ge 0}$$ forms a Feller semigroup. This means that

1. (i)

$$\{P_t\}_{t\ge 0}$$ enjoys the Feller property, that is, $$P_t(C_\infty (\mathbb {R}^{d}))\subseteq C_\infty (\mathbb {R}^{d})$$ for all $$t\ge 0$$;

2. (ii)

$$\{P_t\}_{t\ge 0}$$ is strongly continuous, that is, $$\lim _{t\rightarrow 0}\Vert P_tf-f\Vert _{\infty }=0$$ for all $$f\in C_\infty (\mathbb {R}^{d})$$.

Here, $$C_\infty (\mathbb {R}^{d})$$ denotes the space of continuous functions vanishing at infinity. Recall also that a Markov process $$\{X_t\}_{t\ge 0}$$ is said to be a $$C_b$$-Feller (resp. strong Feller) process if the corresponding semigroup $$\{P_t\}_{t\ge 0}$$ satisfies $$P_tf\in C_b(\mathbb {R}^d)$$ for all $$t>0$$ and all $$f\in C_b(\mathbb {R}^d)$$ [resp. $$f\in B_b(\mathbb {R}^d)$$], where $$C_b(\mathbb {R}^d):=C(\mathbb {R}^d)\cap B_b(\mathbb {R}^d)$$. Note that every Feller semigroup $$\{P_t\}_{t\ge 0}$$ can be uniquely extended to $$B_b(\mathbb {R}^{d})$$ (see [69, Section 3]). For notational simplicity, we denote this extension by $$\{P_t\}_{t\ge 0}$$ again. Also, let us remark that every Feller process (admits a modification that) has càdlàg sample paths and possesses the strong Markov property (see [42, Theorems 3.4.19 and 3.5.14]). Further, in the case of Feller processes, we call $$(\mathcal {A}^{\infty },\mathcal {D}_{\mathcal {A}^{\infty }}):=(\mathcal {A}^{b},\mathcal {D}_{\mathcal {A}^{b}}\cap C_\infty (\mathbb {R}^{d}))$$ the Feller generator for short. Observe that in this case $$\mathcal {D}_{\mathcal {A}^{\infty }}\subseteq C_\infty (\mathbb {R}^{d})$$ and $$\mathcal {A}^{\infty }(\mathcal {D}_{\mathcal {A}^{\infty }})\subseteq C_\infty (\mathbb {R}^{d})$$. If the set of smooth functions with compact support $$C_c^{\infty }(\mathbb {R}^{d})$$ is contained in $$\mathcal {D}_{\mathcal {A}^{\infty }}$$, that is, if the Feller generator $$(\mathcal {A}^{\infty },\mathcal {D}_{\mathcal {A}^{\infty }})$$ of the Feller process $$\{X_t\}_{t\ge 0}$$ satisfies

(LTP1):

$$C_c^{\infty }(\mathbb {R}^{d})\subseteq \mathcal {D}_{\mathcal {A}^{\infty }}$$,

then, according to [24, Theorem 3.4], $$\mathcal {A}^{\infty }|_{C_c^{\infty }(\mathbb {R}^{d})}$$ is a pseudo-differential operator, that is, it can be written in the form

\begin{aligned} \mathcal {A}^{\infty }|_{C_c^{\infty }(\mathbb {R}^{d})}f(x) \,=\, -\int _{\mathbb {R}^{d}}q(x,\xi )\mathrm {e}^{i\langle \xi ,x\rangle } \hat{f}(\xi )\, \mathrm {d}\xi , \end{aligned}
(1.4)

where $$\hat{f}(\xi ):= (2\pi )^{-d} \int _{\mathbb {R}^{d}} \mathrm {e}^{-i\langle \xi ,x\rangle } f(x)\, \mathrm {d}x$$ denotes the Fourier transform of the function f(x). The function $$q : \mathbb {R}^{d}\times \mathbb {R}^{d}\rightarrow \mathbb {C}$$ is called the symbol of the pseudo-differential operator. It is measurable and locally bounded in $$(x,\xi )$$, and is continuous and negative definite as a function of $$\xi$$. Hence, by [41, Theorem 3.7.7], the function $$\xi \mapsto q(x,\xi )$$ has for each $$x\in \mathbb {R}^{d}$$ the following Lévy-Khintchine representation

\begin{aligned} \begin{aligned} q(x,\xi ) \,=\,&a(x)- i \langle \xi , b(x)\rangle + \frac{1}{2}\langle \xi ,c(x)\xi \rangle \\ {}&+ \int _{\mathbb {R}^{d}}\left( 1-\mathrm {e}^{i\langle \xi ,y\rangle }+i\langle \xi , y\rangle \mathbb {1}_{B_1(0)}(y)\right) \nu (x,\mathrm {d}y),\end{aligned} \end{aligned}
(1.5)

where a(x) is a non-negative Borel measurable function, b(x) is an $$\mathbb {R}^{d}$$-valued Borel measurable function, $$c(x):=(c_{ij}(x))_{1\le i,j\le d}$$ is a symmetric non-negative definite $$d\times d$$ matrix-valued Borel measurable function, and $$\nu (x,\mathrm {d}y)$$ is a non-negative Borel kernel on $$\mathbb {R}^{d}\times \mathcal {B}(\mathbb {R}^{d})$$, called the Lévy kernel, satisfying

\begin{aligned} \nu (x,\{0\})\,=\,0\quad \text {and} \quad \int _{\mathbb {R}^{d}}\left( 1\wedge |y|^{2}\right) \nu (x,\mathrm {d}y)\,<\,\infty ,\quad x\in \mathbb {R}^{d}. \end{aligned}

The quadruple $$(a(x),b(x),c(x),\nu (x,\mathrm {d}y))$$ is called the Lévy quadruple of $$\mathcal {A}^{\infty }|_{C_c^{\infty }(\mathbb {R}^{d})}$$ (or of $$q(x,\xi )$$). Let us remark that local boundedness of $$q(x,\xi )$$ implies local boundedness of the corresponding x-coefficients, and vice versa (see [70, Lemma 2.1 and Remark 2.2]). In the sequel, we assume the following condition on the symbol $$q(x,\xi )$$:

(LTP2):

$$q(x,0)=a(x)\equiv 0$$.

This condition is closely related to the conservativeness property of $$\{X_t\}_{t\ge 0}$$. Namely, under the assumption that the x-coefficients of $$q(x,\xi )$$ are uniformly bounded (which is certainly the case in the periodic setting), (LTP2) implies that $$\{X_t\}_{t\ge 0}$$ is conservative, that is, $$\mathbb {P}_{x}(X_t\in \mathbb {R}^{d})=1$$ for all $$t\ge 0$$ and $$x\in \mathbb {R}^{d}$$ (see [69, Theorem 5.2]). Further, note that by combining Eqs. (1.4) and (1.5) with (LTP2), $$\mathcal {A}^{\infty }|_{C_c^{\infty }(\mathbb {R}^{d})}$$ takes the form Eq. (1.1). Conversely, if $$\mathcal {L}: C_c^\infty (\mathbb {R}^d)\rightarrow C_\infty (\mathbb {R}^d)$$ is a linear operator of the form Eq. (1.1) satisfying the so-called positive maximum principle ($$\mathcal {L}f(x_0)\le 0$$ for any $$f\in C_c^\infty (\mathbb {R}^d)$$ with $$f(x_0)=\sup _{x\in \mathbb {R}^d}f(x)\ge 0$$) and such that $$\bigl (\lambda -\mathcal {L}\bigr )(C_c^\infty (\mathbb {R}^d))$$ is dense in $$C_\infty (\mathbb {R}^d)$$ for some (or all) $$\lambda >0$$, then, according to the Hille–Yosida–Ray theorem, $$\mathcal {L}$$ is closable and the closure is the generator of a Feller semigroup. In particular, the corresponding Feller process is a Lévy-type process. In the case when $$q(x,\xi )$$ does not depend on the variable $$x\in \mathbb {R}^{d}$$, $$\{X_t\}_{t\ge 0}$$ becomes a Lévy process, that is, a stochastic process with stationary and independent increments. Moreover, unlike Feller processes, every Lévy process is uniquely and completely characterized through its corresponding symbol (see [68, Theorems 7.10 and 8.1] and [14, Example 2.26]). According to this, it is not hard to check that every conservative Lévy process satisfies conditions (LTP1) and (LTP2) (see [68, Theorem 31.5]). Thus, the class of processes we consider in this article contains Lévy processes. Throughout this article, the symbol $$\{X_t\}_{t\ge 0}$$ denotes a Feller process satisfying conditions (LTP1) and (LTP2). Such a process is called a Lévy-type process (LTP). If $$\nu (x,\mathrm {d}y)\equiv 0$$, $$\{X_t\}_{t\ge 0}$$ is called a diffusion process. Note that this definition agrees with the standard definition of (Feller–Dynkin) diffusions (see [65, Chapter III.2]). A typical example of a LTP is a solution to the following SDE

\begin{aligned} \mathrm {d}X_t\,=\,\Phi (X_{t-})\,\mathrm {d}Y_t,\quad X_0=x\in \mathbb {R}^d, \end{aligned}
(1.6)

where $$\Phi :\mathbb {R}^{d}\rightarrow \mathbb {R}^{d\times n}$$ is locally Lipschitz continuous and bounded (which is not a restriction in the periodic setting), and $$\{Y_t\}_{t\ge 0}$$ is an n-dimensional Lévy process with symbol $$q_Y(\xi )$$. Namely, in [71, Theorems 3.1 and 3.5 and Corollary 3.3] it has been shown that the unique solution $$\{X_t\}_{t\ge 0}$$ to the SDE in Eq. (1.6) (which exists by standard arguments) is a LTP with symbol of the form $$q(x,\xi )=q_Y(\Phi '(x)\xi ).$$ Here, for a matrix M, $$M'$$ denotes its transpose. Observe that the following SDE is a special case of Eq. (1.6),

\begin{aligned} \mathrm {d}X_t\,=\,\Phi _1(X_t )\,\mathrm {d}t+\Phi _2(X_t )\,\mathrm {d}B_t\,+\Phi _3(X_{t-})\,\mathrm {d}Z_t,\quad X_0=x\in \mathbb {R}^d, \end{aligned}
(1.7)

where $$\Phi _1:\mathbb {R}^{d}\rightarrow \mathbb {R}^{d}$$, $$\Phi _2:\mathbb {R}^{d}\rightarrow \mathbb {R}^{d\times p}$$ and $$\Phi _3:\mathbb {R}^{d}\rightarrow \mathbb {R}^{d\times q}$$, with $$p+q=n-1$$, are locally Lipschitz continuous and bounded, $$\{B_t\}_{t\ge 0}$$ is a p-dimensional Brownian motion, and $$\{Z_t\}_{t\ge 0}$$ is a q-dimensional pure-jump Lévy process (that is, a Lévy process determined by a Lévy triplet of the form $$(0,0,\nu _Z(\mathrm {d}y))$$). Namely, set $$\Phi (x)=\bigl (\Phi _1(x),\Phi _2(x),\Phi _3(x)\bigr )$$ for any $$x\in \mathbb {R}^d$$, and $$Y_t=(t,B_t,Z_t)'$$ for $$t\ge 0$$. For more on Lévy-type processes we refer the readers to the monograph [14].

LTPs with periodic coefficients. Let $$\tau =(\tau _1,\ldots , \tau _{d})\in (0,\infty )^{d}$$ be fixed, and let $$\tau \mathbb {Z}^{d}:=\tau _1\mathbb {Z}\times \cdots \times \tau _{d} \mathbb {Z}.$$ For $$k=(k_1,\dots ,k_d)\in \mathbb {Z}^d$$ define $$\tau \odot k:=(\tau _1k_1,\dots ,\tau _dk_d)$$, and for $$x\in \mathbb {R}^{d}$$ define

\begin{aligned} x_\tau \,:=\,\{y\in \mathbb {R}^{d}:x-y\in \tau \mathbb {Z}^{d}\}\quad \text {and}\quad \mathbb {R}^{d}/\tau \mathbb {Z}^{d}\,:=\,\{x_\tau :x\in \mathbb {R}^{d}\}. \end{aligned}

In the sequel, we denote $$\mathbb {T}^d_\tau =\mathbb {R}^{d}/\tau \mathbb {Z}^{d}$$. Clearly, $$\mathbb {T}^d_\tau$$ is obtained by identifying the opposite faces of $$[0,\tau ]:=[0,\tau _1]\times \cdots \times [0,\tau _{d}]$$. Let $$\Pi _{\tau } : \mathbb {R}^{d}\rightarrow \mathbb {T}^d_\tau$$, $$\Pi _{\tau }(x):=x_\tau$$, be the covering map. A function $$f:\mathbb {R}^{d}\rightarrow \mathbb {R}$$ is called $$\tau$$-periodic if

\begin{aligned} f(x+\tau \odot k)\,=\,f(x),\quad x\in \mathbb {R}^{d},\ k\in \mathbb {Z}^d. \end{aligned}

Clearly, every $$\tau$$-periodic function f(x) is completely and uniquely determined by its restriction $$f|_{[0,\tau ]}(x)$$ to $$[0,\tau ]$$, and since $$f|_{[0,\tau ]}(x)$$ assumes the same value on opposite faces of $$[0,\tau ]$$, it can be identified by a function $$f_\tau :\mathbb {T}^d_\tau \rightarrow \mathbb {R}$$ given with $$f_\tau (x_\tau )=f(x).$$ For notational convenience, we will often omit the subscript $$\tau$$ and simply write x instead of $$x_\tau$$, and f(x) instead of $$f_\tau (x)$$.

Let now $$\{X_t\}_{t\ge 0}$$ be a LTP with semigroup $$\{P_t\}_{t\ge 0}$$, symbol $$q(x,\xi )$$ and Lévy triplet $$(b(x),c(x),\nu (x,\mathrm {d}y))$$, satisfying:

(C1):

$$\displaystyle x\mapsto q(x,\xi )$$ is $$\tau$$-periodic for all $$\xi \in \mathbb {R}^{d}$$.

Directly from the Lévy-Khintchine formula it follows that (C1) is equivalent to the $$\tau$$-periodicity of the corresponding Lévy triplet $$(b(x),c(x),\nu (x,\mathrm {d}y))$$, which in turn is equivalent to the $$\tau$$-periodicity of $$x\mapsto \mathbb {P}_x(X_t-x\in \mathrm {d}y)$$ (see [67, Section 4]). This immediately implies that $$\{P_t\}_{t\ge 0}$$ preserves the class of all bounded Borel measurable $$\tau$$-periodic functions, that is, the function $$x\mapsto P_tf(x)$$ is $$\tau$$-periodic for all $$t\ge 0$$ and all $$\tau$$-periodic $$f\in B_b(\mathbb {R}^{d})$$. Now, together with this, a straightforward adaptation of [49, Proposition 3.8.3] entails that $$\{\Pi _\tau (X_t)\}_{t\ge 0}$$ is a Markov process on $$(\mathbb {T}_\tau ^d,\mathcal {B}(\mathbb {T}_\tau ^d))$$ with positivity preserving contraction semigroup $$\{P^{\tau }_t\}_{t\ge 0}$$ (on the space $$(B_b(\mathbb {T}_\tau ^d),\Vert \cdot \Vert _\infty )$$) given by

\begin{aligned} P_t^{\tau }f(x)\,:=\,\mathbb {E}^{\tau }_x\bigl [f(\Pi _\tau (X_t))\bigr ]\,=\,\int _{\mathbb {T}_\tau ^d}f(y)\mathbb {P}_x^{\tau }\bigl (\Pi _\tau (X_t)\in \mathrm {d}y\bigr ) , \end{aligned}

for $$t\ge 0,$$ $$x\in \mathbb {T}_\tau ^d$$ and $$f\in B_b(\mathbb {T}_\tau ^d)$$. Here, $$\mathcal {B}(\mathbb {T}_\tau ^d)$$ stands for the Borel $$\sigma$$-algebra on $$\mathbb {T}_\tau ^d$$ (with respect to the standard quotient topology), $$B_b(\mathbb {T}_\tau ^d)$$ denotes the class of all bounded Borel measurable functions $$f:\mathbb {T}_\tau ^d\rightarrow \mathbb {R}$$ (which can be identified with the class of all $$\tau$$-periodic bounded Borel measurable functions $$f:\mathbb {R}^d\rightarrow \mathbb {R}$$), and

\begin{aligned} \mathbb {P}_x^{\tau }\bigl (\Pi _\tau (X_t)\in B\bigr )\,:=\,\mathbb {P}_{z_x}\bigl (X_t\in \Pi _\tau ^{-1}(B)\bigr ),\quad t\ge 0,\ x\in \mathbb {T}_\tau ^d,\ B\in \mathcal {B}(\mathbb {T}_\tau ^d), \end{aligned}

with $$z_x$$ being an arbitrary point in $$\Pi ^{-1}_{\tau }(\{x\})$$.

Further, assume that

(C2):

$$\{X_t\}_{t\ge 0}$$ is strong Feller and open-set irreducible, that is, for any $$t>0$$, any $$x\in \mathbb {R}^d$$ and any non-empty open set $$O\subseteq \mathbb {R}^d$$, $$\displaystyle \mathbb {P}_{x}(X_t\in O)>0$$.

Clearly, (C2) automatically implies that the process $$\{\Pi _\tau (X_t)\}_{t\ge 0}$$ is strong Feller and open-set irreducible, too. Hence, by employing [51, Remark 3.2] and [85, Theorem 1.1] we have proved the following.

### Proposition 1.1

The process $$\{\Pi _\tau (X_t)\}_{t\ge 0}$$ admits a unique invariant probability measure $$\pi (\mathrm {d}x)$$, that is, a measure $$\pi (\mathrm {d}x)$$ satisfying

\begin{aligned} \int _{\mathbb {T}_\tau ^d}\mathbb {P}_x^\tau \bigl (\Pi _\tau (X_t)\in B\bigr )\,\pi (\mathrm {d}x)\,=\,\pi (B),\quad t\ge 0,\ B\in \mathcal {B}(\mathbb {T}_\tau ^d), \end{aligned}

such that

\begin{aligned} \sup _{x\in \mathbb {T}_\tau ^d}\Vert \mathbb {P}_x^\tau \bigl (\Pi _\tau (X_t)\in \mathrm {d}y\bigr )-\pi (\mathrm {d}y) \Vert _{\mathrm{TV}}\,\le \, \Gamma \mathrm {e}^{-\gamma t},\quad t\ge 0\, \end{aligned}
(1.8)

for some $$\gamma ,\Gamma >0$$, where $$\Vert \cdot \Vert _{\mathrm{TV}}$$ denotes the total variation norm on the space of signed measures on $$\mathcal {B}(\mathbb {T}_\tau ^d)$$.

### Remark 1.2

Alternatively, Proposition 1.1 is a consequence of [57, Theorems 3.2 and 8.1] and [83, Theorem 3.2], or [58, Theorem 6.1] and [83, Theorem 5.1] (by setting $$V(x)\equiv 1$$ and $$c=d=1$$). Also, if instead of (C2) we assume

($$\widetilde{\text {C2}})$$:

$$\{X_t\}_{t\ge 0}$$ admits a density function $$p_t(x,y)$$ (with respect to the Lebesgue measure) satisfying

1. (i)

for any $$t>0$$, the function $$(x,y)\mapsto p_t(x,y)$$ is continuous on $$\mathbb {R}^d\times \mathbb {R}^d$$;

2. (ii)

there is a non-empty open set $$O\subseteq \mathbb {R}^d$$ such that $$p_t(x,y)>0$$ for all $$t>0$$, $$x\in \mathbb {R}^d$$ and $$y\in O$$,

which guarantees that Döblin’s irreducibility condition holds true (see [25, page 256]), then Proposition 1.1 follows from [10, Theorem 3.1].

Conditions (in terms of the Lévy triplet $$(b(x),c(x),\nu (x,\mathrm {d}y))$$) ensuring (C2) are discussed in Sect. 3.

The semimartingale nature of LTPs. As we have already commented, the problem of homogenization of an operator of the form Eq. (1.1) corresponding to a LTP is equivalent to the convergence of the corresponding family of LTPs in the path space endowed with the Skorohod $$\mathrm{J}_1$$ topology (see [14, Theorem 7.1]). According to [70, Lemma 3.2], $$\{X_t\}_{t\ge 0}$$ is a $$\mathbb {P}_{x}$$- semimartingale (with respect to the natural filtration) for any $$x\in \mathbb {R}^d$$. Therefore, in order to show this convergence, our aim is to employ [43, Theorem VIII.2.17] which states that a sequence of semimartingales converges in the path space endowed with the Skorohod $$\mathrm{J}_1$$ topology to a process with independent increments if the corresponding semimartingale characteristics converge in probability.

Let us now recall the notion of characteristics of a semimartingale (see [43]). Let $$(\Omega ,\mathcal {F},\{\mathcal {F}_t\}_{t\ge 0},\mathbb {P},\{S_t\}_{t\ge 0})$$, denoted by $$\{S_t\}_{t\ge 0}$$ in the sequel, be a d-dimensional semimartingale, and let $$h:\mathbb {R}^{d}\rightarrow \mathbb {R}^{d}$$ be a truncation function (that is, a bounded Borel measurable function which satisfies $$h(x)=x$$ in a neighborhood of the origin). Define

\begin{aligned} \check{S}(h)_t\,:=\,\sum _{s\le t}\bigl (\Delta S_s-h(\Delta S_s)\bigr )\quad \text {and} \quad S(h)_t\,:=\,S_t-\check{S}(h)_t,\quad t\ge 0, \end{aligned}

where the process $$\{\Delta S_t\}_{t\ge 0}$$ is defined by $$\Delta S_t:=S_t-S_{t-}$$ and $$\Delta S_0:=S_0$$. The process $$\{S(h)_t\}_{t\ge 0}$$ is a special semimartingale, that is, it admits a unique decomposition

\begin{aligned} S(h)_t\,=\,S_0+M(h)_t+B(h)_t, \end{aligned}
(1.9)

where $$\{M(h)_t\}_{t\ge 0}$$ is a local martingale, and $$\{B(h)_t\}_{t\ge 0}$$ is a predictable process of bounded variation.

### Definition 1.3

Let $$\{S_t\}_{t\ge 0}$$ be a semimartingale, and let $$h:\mathbb {R}^{d}\longrightarrow \mathbb {R}^{d}$$ be a truncation function. Furthermore, let $$\{B(h)_t\}_{t\ge 0}$$ be the predictable process of bounded variation appearing in Eq. (1.9), let $$N(\omega ,\mathrm {d}y,\mathrm {d}s)$$ be the compensator of the jump measure

\begin{aligned} \mu (\omega ,\mathrm {d}y,\mathrm {d}s)\,:=\,\sum _{s:\,\Delta S_s(\omega )\ne 0}\delta _{(\Delta S_s(\omega ),s)}(\mathrm {d}y,\mathrm {d}s) \end{aligned}

of the process $$\{S_t\}_{t\ge 0}$$, and let $$\{C_t\}_{t\ge 0}=\{\bigl (C_t^{ij}\bigr )_{1\le i,j\le d})\}_{t\ge 0}$$ be the quadratic co-variation process for $$\{S^{c}_t\}_{t\ge 0}$$ (continuous martingale part of $$\{S_t\}_{t\ge 0}$$), that is, $$C^{ij}_t=\langle S^{i,c}_t,S^{j,c}_t\rangle .$$ Then (BCN) is called the characteristics of the semimartingale $$\{S_t\}_{t\ge 0}$$ (relative to h(x)). In addition, by defining $$\tilde{C}(h)^{ij}_t:=\langle M(h)^{i}_t,M(h)^{j}_t\rangle$$, $$i,j=1,\ldots ,d$$, where $$\{M(h)_t\}_{t\ge 0}$$ is the local martingale appearing in Eq. (1.9), $$(B,\tilde{C},N)$$ is called the modified characteristics of the semimartingale $$\{S_t\}_{t\ge 0}$$ (relative to h(x)).

Now, according to [70, Theorem 3.5] and [43, Proposition II.2.17] we see that the (modified) characteristics of a LTP $$\{X_t\}_{t\ge 0}$$ (with respect to a truncation function h(x)) are given by

\begin{aligned} B(h)^{i}_t&\,=\,\int _0^{t}b_i(X_{s})\,\mathrm {d}s+\int _0^{t}\int _{\mathbb {R}^d}\left( h_i(y)-y_i\mathbb {1}_{B_1(0)}(y)\right) \nu (X_{s},\mathrm {d}y)\,\mathrm {d}s,\\ C^{ij}_t&\,=\,\int _0^{t}c_{ij}(X_{s})\,\mathrm {d}s,\\ N(\mathrm {d}y,\mathrm {d}s)&\,=\,\nu (X_{s},\mathrm {d}y)\,\mathrm {d}s,\\ \tilde{C}(h)^{ij}_t&=\int _0^{t}c_{ij}(X_{s})\,\mathrm {d}s+\int _0^{t}\int _{\mathbb {R}^{d}}h_{i}\left( y\right) h_{j}\left( y\right) \nu (X_{s},\mathrm {d}y)\,\mathrm {d}s, \end{aligned}

for $$t\ge 0$$ and $$i,j=1,\ldots ,d.$$

In the sequel, we assume that $$\{X_t\}_{t\ge 0}$$ admits “small jumps” only, that is,

(C3):

$$\displaystyle \sup _{x\in \mathbb {R}^d}\int _{\mathbb {R}^{d}}|y|^2\nu (x,\mathrm {d}y)<\infty$$.

As a direct consequence of (C3) and [43, Proposition II.2.29] we see that $$\{X_t\}_{t\ge 0}$$ itself is a special semimartingale, and for the truncation function we can take $$h(x)=x$$. In particular, if $$\nu (x,\mathrm {d}y)$$ is also symmetric for every $$x\in \mathbb {R}^d$$, the first characteristic $$B(h)^{i}_t$$ equals to $$\int _0^{t}b_i(X_{s})\,\mathrm {d}s$$ for $$t\ge 0$$ and $$i=1,\dots ,d$$.

Observe next that $$\{X_t\}_{t\ge 0}$$ is a Hunt process (since it is Feller). Thus, $$\{X_t\}_{t\ge 0}$$ is an Itô process in the sense of [22] (a semimartngale Hunt process with characteristics of the form as above). Now, [22, Theorem 3.33] asserts that there exist a suitable enlargement of the stochastic basis $$(\Omega ,\mathcal {F},\{\mathbb {P}_{x}\}_{x\in \mathbb {R}^{d}},\{\mathcal {F}_t\}_{t\ge 0},\{\theta _t\}_{t\ge 0})$$, say $$(\widetilde{\Omega },\mathcal {\widetilde{F}},\{\mathbb {\widetilde{P}}_{x}\}_{x\in \mathbb {R}^{d}},\{\mathcal {\widetilde{F}}_t\}_{t\ge 0},\{\widetilde{\theta }_t\}_{t\ge 0})$$, supporting a d-dimensional Brownian motion $$\{\tilde{W}_t\}_{t\ge 0}$$ and a Poisson random measure $$\tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)$$ on $$\mathcal {B}(\mathbb {R})\otimes \mathcal {B}([0,\infty ))$$ with compensator $$\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s$$, such that $$\{X_t\}_{t\ge 0}$$ is a solution to the following stochastic differential equation

\begin{aligned} X_t\,=\,&x+\int _0^{t}b(X_{s })\,\mathrm {d}s+\int _0^{t}\tilde{\sigma }(X_{ s})\,\mathrm {d}\tilde{W}_s\\ {}&+\int _0^{t}\int _{\mathbb {R}}k(X_{s-},z)\mathbb {1}_{\{u:|k(X_{s-},u)|< 1\}}(z)\left( \tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\right) \\ {}&+\int _0^{t}\int _{\mathbb {R}}k(X_{s-},z)\mathbb {1}_{\{u:|k(X_{s-},u)|\ge 1\}}(z)\,\tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s), \end{aligned}

where $$\tilde{\sigma }(x)$$ is a $$d \times d$$ matrix-valued Borel measurable function such that $$\tilde{\sigma }(x)'\tilde{\sigma }(x)=c(x)$$ for any $$x\in \mathbb {R}^d$$, $$\tilde{\nu }(\mathrm {d}z)$$ is any given $$\sigma$$-finite non-finite and non-atomic measure on $$\mathcal {B}(\mathbb {R})$$, and $$k:\mathbb {R}^{d}\times \mathbb {R}\rightarrow \mathbb {R}^{d}$$ is a Borel measurable function satisfying

\begin{aligned} \mu (\cdot ,\mathrm {d}y,\mathrm {d}s)\,=\, \tilde{\mu }\bigl (\cdot ,\{(z,u)\in \mathbb {R}\times [0,\infty ):(k(X_{u-},z),u)\in (\mathrm {d}y,\mathrm {d}s)\}\bigr ), \end{aligned}

and

\begin{aligned} \nu \bigl (x,\mathrm {d}y\bigr )\,=\,\tilde{\nu }\bigl (\{z\in \mathbb {R}:k(x,z)\in \mathrm {d}y\}\bigr ). \end{aligned}

Thus, due to this and (C3) we have that

\begin{aligned} \begin{aligned} X_t\,=\,&x+\int _0^{t}b(X_{s })\mathrm {d}s+\int _0^{t}\tilde{\sigma }(X_{s })\mathrm {d}\tilde{W}_s\\ {}&+\int _0^{t}\int _{\mathbb {R}}k(X_{s },z)\mathbb {1}_{\{u:|k(X_{s },u)|\ge 1\}}(z)\,\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\\ {}&+\int _0^{t}\int _{\mathbb {R}}k(X_{s-},z)\left( \tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\, \mathrm {d}s\right) . \end{aligned} \end{aligned}
(1.10)

From this equation we also read the unique special semimartingale decomposition of $$\{X_t\}_{t\ge 0}$$.

Main result. Before stating the main result of this article, we introduce some notation we need. Denote by $$C_b^k(\mathbb {R}^d)$$ with $$k\in \mathbb {N}_0 :=\{0,1,2,\dots \}$$ the space of k times differentiable functions such that all derivatives up to order k are bounded. This space is a Banach space endowed with the norm $$\Vert f\Vert _k:=\sum _{m:\,|m|\le k}\Vert D^m f\Vert _\infty$$, where $$m=(m_1,\dots ,m_d)\in \mathbb {N}^d_0$$, $$|m|:=m_1+\cdots +m_d,$$ and $$D^m:=\partial ^{m_1}\dots \partial ^{m_d}.$$ Denote also $$C_b^\infty (\mathbb {R}^d):=\cap _{k\in \mathbb {N}_0}C_b^k(\mathbb {R}^d)$$. Further, a function $$\phi :(0,1]\rightarrow (0,\infty )$$ is said to be almost increasing if there is a constant $$\underline{\kappa }\in (0,1]$$ such that $$\underline{\kappa }\,\phi (r)\le \phi (R)$$ for all $$r,R\in (0,1]$$ with $$r\le R$$. Analogously, $$\phi :(0,1]\rightarrow (0,\infty )$$ is said to be almost decreasing if there is a constant $$\overline{\kappa }\in [1,\infty )$$ such that $$\phi (R)\le \overline{\kappa }\,\phi (r)$$ for all $$r,R\in (0,1]$$ with $$r\le R$$. Let now $$\psi :(0,1]\rightarrow [0,\infty )$$ be such that $$\psi (1)=1$$ and $$\lim _{r\rightarrow 0}\psi (r)=0$$. For $$f\in C_b(\mathbb {R}^d)$$ and $$j\in \mathbb {N}_0$$, define

\begin{aligned}{}[f]_{-j,\psi }\,:=\,\sup _{x\in \mathbb {R}^d}\sup _{h\in \bar{B}_1(0){\setminus }\{0\}}\frac{|f(x+h)-f(x)|}{\psi (|h|)|h|^{-j}}, \end{aligned}

where $$\bar{B}_r(x)$$ stands for the (topologically) closed ball of radius r around $$x\in \mathbb {R}^d.$$ Also, let

\begin{aligned} m_\psi \,:=\,\sup \{\alpha \in \mathbb {R}:\,r\mapsto \psi (r)/r^\alpha \ \text {is almost increasing in}\ (0,1]\},\\ M_\psi \,:=\,\inf \{\alpha \in \mathbb {R}:\,r\mapsto \psi (r)/r^\alpha \ \text {is almost decreasing in}\ (0,1]\}. \end{aligned}

According to [12, Theorem 2.2.2], $$m_\psi \le M_\psi$$. If $$m_\psi >0$$, we call $$\psi (r)$$ the Hölder exponent. In this case, if $$m_\psi \in (k,k+1]$$ for some $$k\in \mathbb {N}_0$$, define

\begin{aligned} C_b^\psi (\mathbb {R}^d)\,:=\,\{f\in C^k_b(\mathbb {R}^d):\, [D^mf]_{-k,\psi }<\infty \ \text {for}\ |m|=k \}. \end{aligned}

This space is called a generalized Hölder space, and it is a normed vector space with the norm

\begin{aligned} \Vert f\Vert _\psi \,:=\,\Vert f\Vert _{k}+\sum _{m:\,|m|=k}[D^mf]_{-k,\psi }, \end{aligned}

(see [6]). Observe that the product of two Hölder exponents is a Hölder exponent, and that if $$m_\psi \in (k,k+1]$$ for some $$k\in \mathbb {N}_0$$ then $$C^{k+1}_b(\mathbb {R}^d)\subsetneq C_b^\psi (\mathbb {R}^d)\subsetneq C_b^k(\mathbb {R}^d)$$. In particular, when $$\psi (r)=r^\gamma$$ for some $$\gamma >0$$, $$C_b^\psi (\mathbb {R}^d)$$ becomes the classical Hölder space of order $$\gamma$$ (usually denoted by $$C_b^\gamma (\mathbb {R}^d)$$), which is a Banach space together with the above-defined norm (which we denote by $$\Vert \cdot \Vert _\gamma$$). Since $$f\leftrightarrow f_\tau$$ gives a one-to-one correspondence between $$\{f:\mathbb {R}^d\rightarrow \mathbb {R}:f\ \text {is}\ \tau \text {-periodic}\}$$ and $$\{f_\tau :\mathbb {T}_\tau ^d\rightarrow \mathbb {R}\}$$, in an analogous way we define $$C^k(\mathbb {T}^d_\tau )$$ and $$C^\psi (\mathbb {T}^d_\tau )$$.

We are now in position to state the main result of this article, the proof of which is given in Sect. 2.

### Theorem 1.4

Let $$\{X_t\}_{t\ge 0}$$ be a d-dimensional LTP with semigroup $$\{P_t\}_{t\ge 0}$$, symbol $$q(x,\xi )$$ and Lévy triplet $$(b(x),c(x),\nu (x,\mathrm {d}y))$$, satisfying (C1), (C2), (C3) and

(C4):

$$\displaystyle x\mapsto b^*(x):=b(x)+\int _{B_1^c(0)}y\,\nu (x,\mathrm {d}y)$$ is of class $$C_b^\psi (\mathbb {R}^d)$$ for some Hölder exponent $$\psi (r)$$, and

1. (i)

for some $$t_0>0$$, any $$t\in (0, t_0]$$ and any $$\tau$$-periodic $$f\in C_b(\mathbb {R}^d)$$,

\begin{aligned} \Vert P_t f\Vert _{\psi }\,\le \, C(t) \Vert f\Vert _\infty , \end{aligned}

where $$\int _0^{t_0} C(t)\,\mathrm {d}t <\infty ;$$

2. (ii)

for some $$\lambda >0$$ and any $$\tau$$-periodic $$f\in C_b^\psi (\mathbb {R}^d)$$ with $$\int _{\mathbb {T}_\tau ^d}f_\tau (x)\,\pi (\mathrm {d}x)=0$$, the Poisson equation

\begin{aligned} \lambda u- \mathcal {A}^b u\,=\,f \end{aligned}
(1.11)

admits a $$\tau$$-periodic solution $$u_{\lambda ,f}\in C_b^{\varphi \psi }(\mathbb {R}^d)$$ for some Hölder exponent $$\varphi (r)$$.

Then,

1. (a)

the Poisson equation

\begin{aligned} \mathcal {A}^b\beta =b^*-\bar{b^*} \end{aligned}
(1.12)

admits a $$\tau$$-periodic solution $$\beta \in C_b^{\varphi \psi }(\mathbb {R}^d)$$. Moreover, $$\beta (x)$$ is the unique solution in the class of continuous and periodic solutions to Eq. (1.12) satisfying $$\int _{\mathbb {T}_\tau ^d}\beta _\tau (x)\,\pi (\mathrm {d}x)=0$$.

2. (b)

in any of the following three cases

1. (1)

$$\beta \in C_b^2(\mathbb {R}^d)$$ if $$c(x)\not \equiv 0$$;

2. (2)

$$m_{\varphi \psi }>1$$ if $$c(x)\equiv 0$$ and

\begin{aligned} \sup _{x\in \mathbb {R}^d}\int _{B_1(0)}\varphi (|y|)\psi (|y|)\,\nu (x,\mathrm {d}y)\,<\,\infty \,; \end{aligned}
(1.13)
3. (3)

$$\beta \in C^1_b(\mathbb {R}^d)$$ if $$c(x)\equiv 0$$ and

\begin{aligned} \sup _{x\in \mathbb {R}^d}\int _{B_1(0)}|y|\,\nu (x,\mathrm {d}y)\,<\,\infty , \end{aligned}
(1.14)

for any initial distribution of $$\{X_t\}_{t\ge 0}$$,

(1.15)

Here,

\begin{aligned} \bar{b^*}\,:=\,\int _{\mathbb {T}^d_\tau }b^*(x)\,\pi (\mathrm {d}x), \end{aligned}

$$\Rightarrow$$ denotes the convergence in the space of càdlàg functions endowed with the Skorohod $$\mathrm{J}_1$$-topology, and $$\{W_t\}_{t\ge 0}$$ is a d-dimensional zero-drift Brownian motion determined by covariance matrix $$\Sigma$$ given in Eq. (1.3).

Under (C1), (C2) and the assumption that $$b^*\in C_b(\mathbb {R}^d)$$, in Lemma 2.1 below we show that Eq. 1.12 admits a $$\tau$$-periodic solution $$\beta \in C_b(\mathbb {R}^d)$$ (which is also unique in the class of continuous $$\tau$$-periodic solutions satisfying $$\int _{\mathbb {T}_\tau ^d}\beta _\tau (x)\,\pi (\mathrm {d}x)=0$$). However, we require additional smoothness of $$\beta (x)$$ in order to apply Itô’s formula (given in Proposition 2.2) in the proof of Theorem 1.4 (see Sect. 2 for details). This additional regularity is given through (C4) [together with (C1) and (C2)]. Namely, under these assumptions, we show that $$\beta \in C_b^{\varphi \psi }(\mathbb {R}^d)$$. When $$c(x)\not \equiv 0$$ we require $$\beta \in C_b^2(\mathbb {R}^d)$$, and when $$c(x)\equiv 0$$ and $$b(x)\not \equiv 0$$ or $$\nu (x,\mathrm {d}y)$$ is non-symmetric for some $$x\in \mathbb {R}^d$$ we only require $$m_{\varphi \psi }>1$$ or $$\beta \in C_b^1(\mathbb {R}^d)$$. When $$b(x)\equiv 0$$ and $$\nu (x,\mathrm {d}y)$$ is symmetric for all $$x\in \mathbb {R}^d$$, as already commented, $$\beta (x)\equiv 0$$ and the assertion of the theorem follows without assuming (C4). In the pure-jump case (that is, when $$c(x)\equiv 0$$), Eq. (1.13) suggests that the Hölder exponent $$\varphi (r)$$ depends on the behavior of $$\nu (x,\mathrm {d}y)$$ on $$B_1(0)$$. For example, when

\begin{aligned} \frac{\underline{\kappa }}{|y|^{d} \varphi (|y|)}\mathbb {1}_{B_1(0)}(y)\,\mathrm {d}y\,\le \,\mathbb {1}_{B_1(0)}(y)\,\nu (x,\mathrm {d}y)\,\le \, \frac{\overline{\kappa }}{|y|^{d} \varphi (|y|)}\mathbb {1}_{B_1(0)}(y)\,\mathrm {d}y,\end{aligned}
(1.16)

for some $$0<\underline{\kappa }\le \overline{\kappa }<\infty$$, Eq. (1.13) trivially holds true. Thus, we only require that $$\beta \in C_b^{ \varphi \psi }(\mathbb {R}^d)$$ for some Hölder exponent $$\psi (r)$$ with $$m_{\varphi \psi }>1$$. Analogously, if Eq. (1.14) holds true, then we only require that $$\beta \in C_b^{ 1}(\mathbb {R}^d)$$. Observe that in the pure-jump case we do not require explicitly that $$\beta \in C_b^2(\mathbb {R}^d)$$. In this sense the assumption $$u_{\lambda ,f}\in C_b^{\varphi \psi }(\mathbb {R}^d)$$ in (C4)(ii) is optimal. Namely, under Eq. (1.13) [resp. Eq. (1.14)], in Proposition 2.2 we show that when $$m_{\varphi \psi }>1$$ [resp. $$\beta \in C_b^1(\mathbb {R}^d)]$$ we can apply Itô’s formula to the process $$\{\beta (X_t)\}_{t\ge 0}$$.

Let us also remark that in the proof of Theorem 1.4 (a) we show that (C4)(i) [together with (C1)–(C3)] implies that $$\beta \in C_b^{\psi }(\mathbb {R}^d).$$ Hence, Eq. (1.15) holds true if $$\psi (r)$$ is such that either (1), (2) (with $$\varphi (r)\equiv 1$$) or (3) above is satisfied. If this is not the case, then we require an additional regularity of $$\beta (x)$$ (inherited from the semigroup) which is given through (C4)(ii).

Several examples of LTPs satisfying (C4) [and (C1)–(C3)] are presented in Sect. 3. In particular, if $$\{X_t\}_{t\ge 0}$$ is a diffusion process with $$\tau$$-periodic coefficients $$b\in C_b^\varepsilon (\mathbb {R}^d)$$ and $$c\in C_b^{1+\varepsilon }(\mathbb {R}^d)$$ for some $$\varepsilon \in (0,1)$$, and additionally c(x) being positive definite, (C4) with $$\psi (r)=r^\varepsilon$$ and $$\varphi (r)=r^2$$ follows from [60, Theorem 2.1]. In particular, Theorem 1.4 generalizes the results from [10, 11] where periodic homogenization of a diffusion process with $$\tau$$-periodic coefficients $$b\in C_b^1(\mathbb {R}^d)$$ and $$c\in C_b^{2}(\mathbb {R}^d)$$, and c(x) being positive definite, has been considered.

If $$\{X_t\}_{t\ge 0}$$ is a LTP with diffusion and drift coefficients as above, and Lévy kernel satisfying Eq. (1.16) (and some additional regularity properties discussed in Sect. 3), then (C4) with $$\psi (r)=r^\varepsilon$$ and $$\varphi (r)=r^2$$ follows again from [60, Theorem 2.1].

If $$\{X_t\}_{t\ge 0}$$ is a pure-jump LTP with vanishing drift term and Lévy kernel satisfying Eq. (1.16) (and some additional regularity properties discussed in Sect. 3), (C4) holds true for any Hölder exponent $$\psi (r)$$ such that $$[m_\psi ,M_\psi ]\subset (0,1)$$ and $$[m_{\varphi \psi },M_{\varphi \psi }]\cap \mathbb {N}=\emptyset$$ (see Sect. 3).

Literature review. Our work relates to the active research on homogenization of integro-differential operators, and Markov processes with jumps. The work is highly motivated by the results in [10, 11, 67] where, by employing probabilistic techniques, the authors considered periodic homogenization of the operator $$\mathcal {L}$$ with $$\nu (x,\mathrm {d}y)\equiv 0$$ (that is, second-order elliptic operator in non-divergence form), and $$\mathcal {L}$$ with $$b(x)\equiv 0$$ and $$\nu (x,\mathrm {d}y)$$ being symmetric for all $$x\in \mathbb {R}^d$$ (that is, integro-differential operator in the balanced form), respectively. In this article, we generalize both results by including the non-local part of the operator $$\mathcal {L}$$, as well as non-symmetries caused by the drift term b(x) and the Lévy kernel $$\nu (x,\mathrm {d}y)$$. In a closely related work [62], by using analytic techniques (the corrector method), the authors discuss periodic homogenization of the operator $$\mathcal {L}$$ with a convolution-type Lévy kernel, that is, $$\mathcal {L}$$ is determined by

\begin{aligned} \nu (x,\mathrm {d}y)\,=\,\lambda (x)\mu (x+y)a(y)\,\mathrm {d}y\quad \text {and}\quad b(x)\,=\,\int _{B_1(0)}y\,\nu (x,\mathrm {d}y) \end{aligned}

with $$\lambda (x)$$ and $$\mu (x)$$ being measurable, $$\tau$$-periodic and such that $$0<\underline{\kappa }\le \lambda (x),\mu (x)\le \overline{\kappa }<\infty$$ for all $$x\in \mathbb {R}^d$$, and $$a(y)\ge 0$$ being measurable and such that $$0<\int _{\mathbb {R}^d}(1\vee |y|^2)a(y)\,\mathrm {d}y<\infty$$ and $$a(y)=a(-y)$$ for all $$y\in \mathbb {R}^d$$. The homogenized operator is again a second-order elliptic operator with constant coefficients. Observe that this case is not covered by Theorem 1.4 since finiteness of $$\nu (x,\mathrm {d}y)$$ excludes regularity properties of the corresponding semigroup assumed in (C4).

There is a vast literature on homogenization of differential operators, mostly based on PDE methods. We refer the interested readers to [10, 16, 23, 44, 81] and the references therein. Results related to the problem of periodic homogenization of non-local operators (based on probabilistic techniques) were obtained in [31,32,33, 35, 37,38,39, 82]. In all this works the focus is on the so-called stable-like operators (possibly with variable order), that is, on the case when $$\nu (x,\mathrm {d}y)$$ admits “large jumps” of power-type:

\begin{aligned} \frac{\underline{\kappa }}{|y|^{d+\overline{\alpha }}}\mathbb {1}_{B_1^c(0)}(y)\,\mathrm {d}y\,\le \,\mathbb {1}_{B_1^c(0)}(y)\,\nu (x,\mathrm {d}y)\,\le \,\frac{\overline{\kappa }}{|y|^{d+\underline{\alpha }}}\mathbb {1}_{B_1^c(0)}(y)\,\mathrm {d}y,\quad x\in \mathbb {R}^d, \end{aligned}

for some $$0<\underline{\kappa }\le \overline{\kappa }<\infty$$ and $$0<\underline{\alpha }\le \overline{\alpha }<2$$. In this case, by using subdiffusive scaling (which depends on the behavior of $$\nu (x,\mathrm {d}y)$$ on $$B_1^c(0)$$), the homogenized operator is the infinitesimal generator of a stable Lévy process with the index of stability being equal to the power of the scaling factor. The problem of stochastic homogenization (that is, homogenization of operators with random coefficients) of this type of operators has been considered in [64]. PDE and other analytical approaches to the problem of periodic homogenization and stochastic homogenization of stable-like operators can be found in [2,3,4, 7, 15, 29, 30, 45, 73, 75, 76].

Let us also remark that the class of processes considered in the present article constitute of both diffusion and pure-jump part, and the behavior of the homogenized process depends on both of them. This makes the approach to this problem more subtle since we need to take care of diffusion processes, diffusion processes with jumps and pure jump processes, simultaneously.

## 2 Proof of Theorem 1.4

Throughout this section we assume that $$\{X_t\}_{t\ge 0}$$ is a d-dimensional LTP with semigroup $$\{P_t\}_{t\ge 0}$$, symbol $$q(x,\xi )$$ and Lévy triplet $$(b(x),c(x),\nu (x,\mathrm {d}y))$$, satisfying (C1)-(C4). A crucial step in the proof is an application of Itô’s formula. In order to justify this step, we first discuss regularity of a solution to the Poisson equation Eq. (1.12).

Solution to the Poisson equation Eq. (1.12). Observe first that for any $$f_\tau \in B_b(\mathbb {T}_\tau ^d)$$ with $$\int _{\mathbb {T}_\tau ^d} f_\tau (x)\,\pi (\mathrm {d}x)=0,$$ Proposition 1.1 implies that

\begin{aligned} \Vert P^\tau _t f_\tau \Vert _\infty \,\le \ \Gamma \mathrm {e}^{-\gamma t} \Vert f_\tau \Vert _\infty ,\quad t\ge 0. \end{aligned}

In particular,

\begin{aligned} \left\| \int _0^\infty P^\tau _t f_\tau \,\mathrm {d}t\right\| _\infty \, \le \,\frac{\Gamma }{\gamma }\Vert f_\tau \Vert _\infty \,<\,\infty . \end{aligned}

Therefore, the zero-resolvent

\begin{aligned} R^\tau f_\tau (x)\,:=\,\int _0^\infty P^\tau _t f_\tau (x) \,\mathrm {d}t,\quad x\in \mathbb {T}_\tau ^d, \end{aligned}

is well defined, and

\begin{aligned} \int _{\mathbb {T}_\tau ^d}R^\tau f_\tau (x)\,\pi (\mathrm {d}x)\,=\,0. \end{aligned}

According to [69, Corollary 3.4], $$\{X_t\}_{t\ge 0}$$ is a $$C_b$$-Feller process. Thus, $$\{\Pi _\tau (X_t)\}_{t\ge 0}$$ is also $$C_b$$-Feller, and $$R^\tau f_\tau \in C(\mathbb {T}_\tau ^d)$$ for every $$f_\tau \in C(\mathbb {T}_\tau ^d)$$ satisfying $$\int _{\mathbb {T}^d_\tau }f_\tau (x)\,\pi (\mathrm {d}x)=0$$. Since $$\mathbb {T}_\tau ^d$$ is compact, $$\{\Pi _\tau (X_t)\}_{t\ge 0}$$ is a Feller process. Denote the corresponding Feller generator by $$(\mathcal {A}_\tau ^\infty ,\mathcal {D}_{\mathcal {A}_\tau ^\infty })$$. Clearly, for any $$f_\tau \in \mathcal {D}_{\mathcal {A}_\tau ^\infty }$$(which is by definition continuous), and its $$\tau$$-periodic extension f(x), it holds that $$f\in \mathcal {D}_{\mathcal {A}^b}$$ and $$\mathcal {A}_\tau ^\infty f_\tau =\mathcal {A}^b f.$$ It is clear now that $$R^\tau f_\tau \in \mathcal {D}_{\mathcal {A}^\infty _\tau }$$ for any $$f_\tau \in C(\mathbb {T}_\tau ^d)$$ with $$\int _{\mathbb {T}_\tau ^d} f_\tau (x)\,\pi (\mathrm {d}x)=0.$$

Now, we turn to the Poisson equation Eq. (1.12). Denote by $$b^*_\tau (x)$$ the restriction of $$b^*(x)$$ to $$\mathbb {T}_\tau ^d$$, and set $$\bar{b^*_\tau }=\int _{\mathbb {T}_\tau ^d}b^*_\tau (x)\,\pi (\mathrm {d}x)$$. By assumption $$b^*_\tau \in C^{\psi }(\mathbb {T}_\tau ^d)$$. Define now $$\beta _\tau (x):=-R^\tau (b^*_\tau (\cdot )-\bar{b}^*_\tau )(x)$$ for any $$x\in \mathbb {T}_\tau ^d$$. According to the argument above, we immediately get the following.

### Lemma 2.1

The $$\tau$$-periodic extension $$\beta (x)$$ of $$\beta _\tau (x)$$ is continuous and satisfies Eq. (1.12). Moreover, $$\beta (x)$$ is the unique solution in the class of continuous and $$\tau$$-periodic solutions to Eq. (1.12) satisfying $$\int _{\mathbb {T}_\tau ^d} \beta _\tau (x)\,\pi (\mathrm {d}x)=0$$.

### Proof

We only need to prove uniqueness. Let $$\bar{\beta }(x)$$ be another continuous and $$\tau$$-periodic solution to Eq. (1.12) satisfying $$\int _{\mathbb {T}_\tau ^d} \bar{\beta }_\tau (x)\,\pi (\mathrm {d}x)=0$$. Then, $$\mathcal {A}^b(\beta -\bar{\beta })(x)\equiv 0$$. In particular, according to [28, Proposition 4.1.7],

\begin{aligned} (\beta -\bar{\beta })(x)\,=\,\mathbb {E}_x\bigl [(\beta -\bar{\beta })(X_t)\bigr ]\,=\,\mathbb {E}^\tau _{x_\tau }\bigl [(\beta _\tau -\bar{\beta }_\tau )(\Pi _{\tau }(X_t))\bigr ],\quad x\in \mathbb {R}^d,\ t\ge 0. \end{aligned}

By letting now $$t\rightarrow \infty$$, it follows from Propostion 1.1 that $$(\beta -\bar{\beta })(x)\equiv 0$$, which proves the assertion.

Observe that in Lemma 2.1 we only used the fact that $$b^*_\tau \in C(\mathbb {T}_\tau ^d)$$. In the sequel, we discuss additional smoothness of $$\beta (x)$$.

Proof of Theorem 1.4(a). We first claim that for any $$\tau$$-periodic $$f\in C_b(\mathbb {R}^d)$$ such that $$\int _{\mathbb {T}_\tau ^d}f_\tau (x)\,\pi (\mathrm {d}x)=0$$, $$R^\tau f_\tau \in C^\psi (\mathbb {T}_\tau ^d)$$. Indeed, by (C4)(i), we have

\begin{aligned} \int _0^{t_0} \Vert P_t^\tau f_\tau \Vert _{\psi }\,\mathrm {d}t \,\le \ \Vert f_\tau \Vert _\infty \int _0^{t_0} C(t)\,\mathrm {d}t \,<\,\infty . \end{aligned}

Also, since for any $$t>0$$ and any $$f_\tau \in C(\mathbb {T}_\tau ^d)$$ with $$\int _{\mathbb {T}_\tau ^d}f_\tau (x)\,\pi (\mathrm {d}x)=0$$, $$P^\tau _tf_\tau \in C(\mathbb {T}_\tau ^d)$$ and $$\int _{\mathbb {T}_\tau ^d}P_t^\tau f_\tau (x)\,\pi (\mathrm {d}x)=0$$, (C4)(i) and Proposition 1.1 imply that

\begin{aligned} \int _{t_0}^\infty \Vert P_t^\tau f_\tau \Vert _{\psi }\,\mathrm {d}t\le & {} C(t_0)\int _{t_0}^\infty \Vert P^\tau _{t-t_0}f_\tau \Vert _\infty \,\mathrm {d}t\\\le & {} \Gamma C(t_0)\Vert f_\tau \Vert _\infty \int _{t_0}^\infty \mathrm {e}^{-\lambda (t-t_0)}\,\mathrm {d}t \,<\,\infty . \end{aligned}

Combining both estimates above with the fact that $$R^\tau f_\tau =\int _0^\infty P_t^\tau f_\tau \,\mathrm {d}t$$, we get $$R^\tau f_\tau \in C^\psi (\mathbb {T}_\tau ^d)$$.

Finally, for $$\lambda > 0$$ let $$R_\lambda ^\tau$$ be the $$\lambda$$-resolvent of $$\{\Pi _\tau (X_t)\}_{t\ge 0}$$. Clearly, for any $$\tau$$-periodic $$f\in C_b^\psi (\mathbb {R}^d)$$ satisfying $$\int _{\mathbb {T}_\tau ^d}f_\tau (x)\,\pi (\mathrm {d}x)=0$$, the $$\tau$$-periodic extension of $$R_\lambda ^\tau f_\tau (x)$$ (say $$\bar{u}_{\lambda ,f}(x)$$) is a solution to Eq. (1.11). Observe next that necessarily $$u_{\lambda ,f}(x)=\bar{u}_{\lambda ,f}(x)$$ for all $$x\in \mathbb {R}^d$$. Namely, since $$\bar{u}_{\lambda ,f}\in C_b(\mathbb {R}^d)$$, and by (1.11),

\begin{aligned} u_{\lambda ,f}(x)-\bar{u}_{\lambda ,f}(x)&\,=\, \mathrm {e}^{-\lambda t}\,\mathbb {E}_x\bigl [(u_{\lambda ,f}-\bar{u}_{\lambda ,f})(X_t)\bigr ]\\ {}&\ \ \ \ \ -\int _0^t \mathrm {e}^{-\lambda s}\,\mathbb {E}_x\bigl [\mathcal {A}^b(u_{\lambda ,f}-\bar{u}_{\lambda ,f})(X_s)-\lambda (u_{\lambda ,f}-\bar{u}_{\lambda ,f})(X_s)\bigr ]\,\mathrm {d}s\\&\,=\, \mathrm {e}^{-\lambda t}\,\mathbb {E}_x\bigl [(u_{\lambda ,f}-\bar{u}_{\lambda ,f})(X_t)\bigr ],\quad x\in \mathbb {R}^d,\ t\ge 0, \end{aligned}

by letting $$t\rightarrow \infty$$ the assertion follows. Thus, since $$b^*_\tau \in C_b^\psi (\mathbb {T}_\tau ^d)$$, from the resolvent identity

\begin{aligned} R^\tau (b^*_\tau (\cdot )-\bar{b}^*_\tau )(x)\,=\,R_\lambda ^\tau ((b^*_\tau (\cdot )-\bar{b}^*_\tau )+\lambda R^\tau (b^*_\tau (\cdot )-\bar{b}^*_\tau ))(x) \end{aligned}

and (C4)(ii), we conclude the result. $$\square$$

In Theorem 1.4 (b) we require that $$\beta \in C_b^2(\mathbb {R}^d)$$ if $$c(x)\not \equiv 0$$, and that $$m_{\varphi \psi }>1$$ [resp. $$\beta \in C_b^1(\mathbb {R}^d)$$] if $$c(x)\equiv 0$$ and Eq. (1.13) [resp. Eq. (1.14)] holds true. In the following proposition we slightly generalize [63, Lemma 4.2] (see also [27]), and prove Itô’s formula for a pure-jump LTP with respect to a not necessarily twice continuously differentiable function.

### Proposition 2.2

Assume that $$\{X_t\}_{t\ge 0}$$ is pure-jump (that is, $$c(x)\equiv 0)$$ and that there is a Hölder exponent $$\phi (r)$$ with $$m_\phi >1$$ such that

\begin{aligned} \sup _{x\in \mathbb {R}^d}\int _{B_1(0)} \phi (|y|)\,\nu (x,\mathrm {d}y)\,<\,\infty . \end{aligned}
(2.1)

Then, it holds that

\begin{aligned} f(X_t) \,=\,&f(X_0)+\int _0^t \bigl \langle \nabla f(X_{s }),b^*(X_{s })\bigr \rangle \,\mathrm {d}s\\ {}&+ \int _0^t\int _{\mathbb {R}^d}\left( f(X_{s-}+k(X_{s-},z))-f(X_{s-})\right) \bigl (\tilde{\mu }(\cdot , \mathrm {d}z,\mathrm {d}s)- \tilde{\nu }(\mathrm {d}z)\, \mathrm {d}s\bigr )\\&+ \int _0^t\int _{\mathbb {R}^d}\Big (f(X_{s}+k(X_s,z))-f(X_{s}) -\langle \nabla f(X_{s}), k(X_s,z)\rangle \Big ) \tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s ,\end{aligned}

for all $$t\ge 0$$ and all $$f\in C_b^{\phi }(\mathbb {R}^d)$$, where $$b^*(x)=b(x)+\int _{B_1^c(0)}y\,\nu (x,\mathrm {d}y)$$. In addition, if Eq. (1.14) holds true, then the above relation holds for any $$f\in C_b^1(\mathbb {R}^d)$$.

### Proof

Without loss of generality, assume that $$m_\phi \in (1,2]$$. We follow the proof of [63, Lemma 4.2]. Let $$f\in C_b^{\phi }(\mathbb {R}^d)$$, and let $$\chi \in C_c^\infty (\mathbb {R}^d)$$, $$0\le \chi \le 1$$, be such that $$\int _{\mathbb {R}^d}\chi (x)\,\mathrm {d}x=1$$. For $$n\in \mathbb {N}$$ define $$\chi _n(x):=n^d\chi (nx)$$, and $$f_n(x):=(\chi _n*f)(x)$$, where $$*$$ stands for the standard convolution operator. Clearly, $$\{f_n\}_{n\in \mathbb {N}}\subset C_b^\infty (\mathbb {R}^d)$$, $$\Vert f_n\Vert _{\phi }\le \Vert f\Vert _{\phi }$$ for $$n\in \mathbb {N}$$, $$\lim _{n\rightarrow \infty }f_n(x)=f(x)$$ and $$\lim _{n\rightarrow \infty }\nabla f_n(x)=\nabla f(x)$$ for all $$x\in \mathbb {R}^d$$. Next, by employing Itô’s formula and Eq. (1.10) we have that

\begin{aligned} f_n(X_t) \,=\,&f_n(X_0)+\int _0^t \bigl \langle \nabla f_n(X_{s }),b (X_{s })\bigr \rangle \,\mathrm {d}s\nonumber \\ {}&+\int _0^{t}\int _{\mathbb {R}}\langle \nabla f_n(X_{s}), k(X_{s },z)\rangle \mathbb {1}_{\{u:|k(X_{s },u)|\ge 1\}}(z)\,\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\nonumber \\&+ \int _0^t\int _{\mathbb {R}}\left( f_n(X_{s-}+k(X_{s-},z))-f_n(X_{s-})\right) \bigl (\tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\bigr )\nonumber \\&+\int _0^t\int _{\mathbb {R}}\Big (f_n(X_{s}+k(X_{s},z))-f_n(X_{s}) -\langle \nabla f_n(X_{s}), k(X_{s},z)\rangle \Big )\,\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\nonumber \\ \,=\,&f_n(X_0)+\int _0^t \bigl \langle \nabla f_n(X_{s }),b^* (X_{s })\bigr \rangle \,\mathrm {d}s\nonumber \\&+ \int _0^t\int _{\mathbb {R}}\left( f_n(X_{s-}+k(X_{s-},z))-f_n(X_{s-})\right) \bigl (\tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\bigr )\nonumber \\&+\int _0^t\int _{\mathbb {R}^d}\Big (f_n(X_{s}+k(X_s,z))-f_n(X_{s})-\langle \nabla f_n(X_{s}), k(X_s,z)\rangle \Big )\, \tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s.\nonumber \\ \end{aligned}
(2.2)

Now, by letting $$n\rightarrow \infty$$ we see that the left hand-side converges to $$f(X_t)$$, and the first two terms on the right-hand side (for the second term we employ the dominated convergence theorem) converge to $$f(X_0)$$ and $$\int _0^t \bigl \langle \nabla f (X_{s-}),b^*(X_{s-})\bigr \rangle \,\mathrm {d}s$$, respectively. Further, Taylor’s theorem together with the fact that $$m_\phi >1$$ implies

\begin{aligned}&|f_n(x+y)-f_n(x) -\langle \nabla f_n(x), y\rangle |\\ {}&\,\le \,\int _0^1|\nabla f_n(x+ry)-\nabla f_n(x)||y|\,\mathrm {d}r\\&\,\le \,\Vert f_n\Vert _{\phi }\phi (|y|)\mathbb {1}_{B_1(0)}(y)+2\Vert f_n\Vert _{\phi }|y|\mathbb {1}_{B^c_1(0)}(y) \\&\,\le \,\Vert f\Vert _{\phi }\phi (|y|)\mathbb {1}_{B_1(0)}(y)+2\Vert f\Vert _{\phi }|y|\mathbb {1}_{B^c_1(0)}(y). \end{aligned}

Observe that according to Eq. (2.1) and (C3),

\begin{aligned} \sup _{x\in \mathbb {R}^d}\int _{\mathbb {R}^d}\left( \phi (|y|)\mathbb {1}_{B_1(0)}(y)+|y|\mathbb {1}_{B_1^c(0)}(y)\right) \,\nu (x,\mathrm {d}y)<\infty . \end{aligned}

Thus, the dominated convergence theorem implies that the last term converges to

\begin{aligned} \int _0^t\int _{\mathbb {R}^d}\Big (f(X_{s}+k(X_s,z))-f(X_{s}) -\langle \nabla f(X_{s}), k(X_s,z)\rangle \Big ) \tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s. \end{aligned}

Finally, by employing the isometry formula, we have

\begin{aligned}&\widetilde{\mathbb {E}}_x\bigg [\Big (\int _0^t\int _{\mathbb {R}}\left( f_n(X_{s-}+k(X_{s-},z))-f_n(X_{s-})-f(X_{s-}+k(X_{s-},z))+f(X_{s-})\right) \\&\qquad \bigl (\tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)- \tilde{\nu }(\mathrm {d}z) \,\mathrm {d}s\bigr )\Big )^2\bigg ]\\&\quad =\,\widetilde{\mathbb {E}}_x\bigg [\int _0^t\int _{\mathbb {R}}\left( f_n(X_{s}+k(X_{s},z))-f_n(X_{s})-f(X_{s-}+k(X_{s},z))+f(X_{s})\right) ^2 \tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\bigg ]. \end{aligned}

Now, since

\begin{aligned}&|f_n(x+y)-f_n(x)-f(x+y)+f(x)|^2\\ {}&\,\le \, \left( \int _0^1\left( |\nabla f_n(x+ry)|+|\nabla f(x+ry)|\right) |y|\,\mathrm {d}r\right) ^2\\&\,\le \,4\Vert f\Vert _{1 }^2|y|^2, \end{aligned}

the dominated convergence theorem implies that, possibly passing to a subsequence, the third term on the left-hand side in Eq. (2.2) converges to

\begin{aligned} \int _0^t\int _{\mathbb {R}^d}\left( f(X_{s-}+k(X_{s-},z))-f(X_{s-})\right) \bigl (\tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\bigr ), \end{aligned}

which proves the desired result.

Finally, by following the above arguments, one easily sees that under Eq. (1.14) the assertion also holds for any $$f\in C_b^1(\mathbb {R}^d)$$, which concludes the proof. $$\square$$

Proof of Theorem 1.4(b). We now prove the main result of this article. We follow the approach from [31]. Let $$\beta \in C_b^{\varphi \psi }(\mathbb {R}^d)$$ be a $$\tau$$-periodic solution to Eq. (1.12) discussed above. Recall that either $$\beta \in C_b^2(\mathbb {R}^d)$$ if $$c(x)\not \equiv 0$$, or $$m_{\varphi \psi }>1$$ [resp. $$\beta \in C_b^1(\mathbb {R}^d)$$] if $$c(x)\equiv 0$$ and Eq. (1.13) [resp. Eq. (1.14)] holds true, as assumed in Theorem 1.4 (b) (1), (2) and (3). According to Proposition 2.2, we can apply Itô’s formula to the process $$\{\beta (X_t)\}_{t\ge 0}$$. Let us consider now the process $$\{X_t-\bar{b^*}t-\beta (X_t)+\beta (X_0)\}_{t\ge 0}$$. By combining Eq. (1.10) and Itô’s formula we have that

\begin{aligned}&X_t-\bar{b^*} t-\beta (X_t)+\beta (X_0)\\&\quad = x+\int _0^{t}\left( b(X_{s })+ \int _{B_1^c(0)}y\,\nu (X_{s },\mathrm {d}y)- \bar{b^*}\right) \mathrm {d}s+\int _0^{t}\tilde{\sigma }(X_{s })\,\mathrm {d}\tilde{W}_s\\&\qquad +\int _0^{t}\int _{\mathbb {R}}k(X_{s- },z)\left( \tilde{\mu }(\cdot , \mathrm {d}z , \mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\right) \\&\qquad -\int _0^t \bigl \langle \nabla \beta (X_{s }),b(X_{s })\bigr \rangle \,\mathrm {d}s-\int _0^t \bigl \langle \nabla \beta (X_{s }),\tilde{\sigma }(X_{s })\,\mathrm {d}\tilde{W}_s\bigr \rangle \\&\qquad -\frac{1}{2}\sum _{i,j=1}^d\int _0^tc_{ij}(X_{s })\partial _{ij}\beta (X_{s })\ \mathrm {d}s\\&\qquad - \int _0^t\int _{\mathbb {R}}\left( \beta (X_{s-}+k(X_{s-},z))-\beta (X_{s-})\right) \bigl (\tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\,\mathrm {d}s\bigr )\\&\qquad - \int _0^t\int _{\mathbb {R}}\Big (\beta (X_{s}+k(X_{s},z))-\beta (X_{s})\\&\qquad -\langle \nabla \beta (X_{s}),k(X_{s},z)\rangle \mathbb {1}_{\{u:|k(X_{s},u)|< 1\}}(z)\Big )\,\tilde{\nu }(\mathrm {d}z)\, \mathrm {d}s\\&\quad = x+\int _0^{t}\tilde{\sigma }(X_{s})\,\mathrm {d}\tilde{W}_s-\int _0^t \bigl \langle \nabla \beta (X_{s}),\tilde{\sigma }(X_{s})\,\mathrm {d}\tilde{W}_s\bigr \rangle \\&\qquad +\int _0^{t}\int _{\mathbb {R}}k(X_{s-},z)\left( \tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\, \mathrm {d}s\right) \\&\qquad - \int _0^t\int _{\mathbb {R}}\left( \beta (X_{s-}+k(X_{s-},z))-\beta (X_{s-})\right) \bigl (\tilde{\mu }(\cdot ,\mathrm {d}z,\mathrm {d}s)-\tilde{\nu }(\mathrm {d}z)\, \mathrm {d}s\bigr ), \end{aligned}

where we used the fact that $$b^*(X_t)-\bar{b^*}=\mathcal {A}^b\beta (X_t)$$ for any $$t\ge 0$$.

Clearly, $$\{X_t-\bar{b^*} t-\beta (X_t)+\beta (X_0)\}_{t\ge 0}$$ is a special semimartingale, and from [43, Proposition II.2.29] we see again that for the truncation function we can take $$h(x)=x$$. Thus, the first characteristic of $$\{X_t-\bar{b^*} t-\beta (X_t)+\beta (X_0)\}_{t\ge 0}$$ vanishes (that is, $$B_t\equiv 0$$, $$t\ge 0$$), the third characteristic equals to

\begin{aligned} C^{ij}_t&=\int _0^t \Bigg (c_{ij}(X_s)+ \sum _{k,l=1}^dc_{kl}(X_s)\partial _k\beta _i(X_s)\partial _l\beta _j(X_s)\\&\quad -\sum _{l=1}^dc_{il}(X_s)\partial _l\beta _j(X_s)-\sum _{k=1}^dc_{kj}(X_s)\partial _k\beta _i(X_s)\Bigg )\mathrm {d}s\\&= \int _0^t\sum _{k,l=1}^{d}\left( \delta _{ki}-\partial _k\beta _i(X_s)\right) c_{kl}(X_s)\left( \delta _{lj}-\partial _l\beta _j(X_s)\right) \mathrm {d}s, \end{aligned}

for $$t\ge 0$$ and $$i,j=1,\dots ,d,$$ and the third modified characteristic reads

\begin{aligned} \widetilde{C}^{ij}_t = \,&C^{ij}_t+\int _0^t\int _{\mathbb {R}^d}y_iy_j\,\nu (X_s,\mathrm {d}y)\,\mathrm {d}s\\ {}&+\int _0^t\int _{\mathbb {R}^d}\left( \bigl (\beta _i(X_s+y)-\beta _i(X_s)\bigr )\bigl (\beta _j(X_s+y)-\beta _j(X_s)\bigr )\right) \,\nu (X_s,\mathrm {d}y)\,\mathrm {d}s\\ {}&-2\int _0^t\int _{\mathbb {R}^d}y_i\bigl (\beta _j(X_s+y)-\beta _j(X_s)\bigr )\,\nu (X_s,\mathrm {d}y)\,\mathrm {d}s, \end{aligned}

for $$t\ge 0$$ and $$i,j=1,\dots ,d.$$ Also, from [43, Proposition II.2.17] and [70, Theorem 3.5] we see that the second characteristic is

\begin{aligned} N(B,\mathrm {d}s) = \int _{\mathbb {R}^d}\mathbb {1}_{B}\left( y-\bigl (\beta (X_s+y)-\beta (X_s)\bigr )\right) \,\nu (X_s,\mathrm {d}y)\,\mathrm {d}s,\quad B\in \mathcal {B}(\mathbb {R}^d). \end{aligned}

Consequently, for any $$x\in \mathbb {R}^d$$,

\begin{aligned} \{\varepsilon X_{\varepsilon ^{-2}t}-\bar{b^*} \varepsilon ^{-1}t-\varepsilon \beta (X_{\varepsilon ^{-2}t})+\varepsilon \beta (X_0)\}_{t\ge 0},\quad \varepsilon >0, \end{aligned}

is a $$\mathbb {P}_{x}$$- semimartingale (with respect to the natural filtration generated by $$\{X_t\}_{t\ge 0}$$) whose (modified) characteristics (relative to $$h(x)=x$$) are given by

\begin{aligned} B^{\varepsilon ,i}_t&\,=\,0,\\ C^{\varepsilon ,ij}_t&\,=\, \varepsilon ^2\int _0^{\varepsilon ^{-2}t}\sum _{k,l=1}^{d}\left( \delta _{ki}-\partial _k\beta _i(X_{s})\right) c_{kl}(X_{s})\left( \delta _{lj}-\partial _l\beta _j(X_{s})\right) \mathrm {d}s,\\ N^{\varepsilon }(\mathrm {d}s,B)&\,=\,\frac{1}{\varepsilon ^{2}}\int _{\mathbb {R}^d}\mathbb {1}_{B}\left( \varepsilon y-\varepsilon \bigl (\beta (X_{\varepsilon ^{-2}s}+y)-\beta (X_{\varepsilon ^{-2}s})\bigr )\right) \nu (X_{\varepsilon ^{-2}s},\mathrm {d}y)\,\mathrm {d}s,\\ \widetilde{C}^{\varepsilon ,ij}_t&\,=\,C^{\varepsilon ,ij}_t+\varepsilon ^2\int _0^{\varepsilon ^{-2}t}\int _{\mathbb {R}^d}y_iy_j\,\nu (X_{s},\mathrm {d}y)\,\mathrm {d}s\\ {}&\ \ \ \ \ +\varepsilon ^2\int _0^{\varepsilon ^{-2}t}\int _{\mathbb {R}^d}\bigl (\beta _i(X_s+y)-\beta _i(X_s)\bigr )\\ {}&\qquad \qquad \qquad \qquad \quad \bigl (\beta _j(X_s+y)-\beta _j(X_s)\bigr )\nu (X_s,\mathrm {d}y)\,\mathrm {d}s\\ {}&\ \ \ \ \ -2\varepsilon ^2\int _0^{\varepsilon ^{-2}t}\int _{\mathbb {R}^d}y_i\bigl (\beta _j(X_s+y)-\beta _j(X_s)\bigr )\nu (X_s,\mathrm {d}y)\,\mathrm {d}s, \end{aligned}

$$t\ge 0$$, $$B\in \mathcal {B}(\mathbb {R}^{d})$$, $$i,j=1,\ldots ,d$$, (see [70, Lemma 3.2 and Theorem 3.5] and [43, Proposition II.2.17]).

Further, observe that due to boundedness of $$\beta (x)$$, $$\{\varepsilon X_{\varepsilon ^{-2}t}-\bar{b^*} \varepsilon ^{-1}t-\varepsilon \beta (X_{\varepsilon ^{-2}t})+\varepsilon \beta (X_0)\}_{t\ge 0}$$ converges in the Skorohod space as $$\varepsilon \rightarrow 0$$ if, and only if, $$\{\varepsilon X_{\varepsilon ^{-2}t}-\bar{b^*} \varepsilon ^{-1}t\}_{t\ge 0}$$ converges, and if this is the case the limit is the same. Now, according to [43, Theorem VIII.2.17], in order to prove the desired convergence it suffices to prove that

for all $$t\ge 0$$ and $$i=1,\ldots ,d,$$ which is trivially satisfied,

(2.3)

for all $$t\ge 0$$ and $$g\in C_b(\mathbb {R}^{d})$$ vanishing in a neighborhood of the origin, and

(2.4)

for all $$t\ge 0$$ and $$i,j=1,\ldots ,d$$, where $$\Sigma$$ is given in Eq. (1.3) and stands for the convergence in probability.

To prove the convergence in Eq. (2.4), first observe that due to $$\tau$$-periodicity of all components we can replace $$\{X_t\}_{t\ge 0}$$ by $$\{\Pi (X_t)\}_{t\ge 0}$$, which is an ergodic Markov process (see Proposition 1.1). The assertion now follows as a direct consequence of the Birkhoff ergodic theorem.

To prove the relation in Eq. (2.3) we proceed as follows. Fix $$g\in C_b(\mathbb {R}^{d})$$ that vanishes on $$B_\delta (0)$$ for some $$\delta >0$$. Define now

\begin{aligned} F^{\varepsilon }(x)\,:=\,&\frac{1}{\varepsilon ^{2}}\int _{\mathbb {R}^{d}}g\left( \varepsilon y-\varepsilon \bigl (\beta (x+y)-\beta (x)\bigr )\right) \nu (x,\mathrm {d}y)\\&-\frac{1}{\varepsilon ^{2}}\int _{\mathbb {T}_\tau ^d}\int _{\mathbb {R}^{d}}g\left( \varepsilon y-\varepsilon \bigl (\beta (z+y)-\beta (z)\bigr )\right) \nu (z,\mathrm {d}y)\,\pi (\mathrm {d}z). \end{aligned}

Clearly, for any $$\varepsilon >0$$, $$F^{\varepsilon }(x)$$ is bounded, $$\tau$$-periodic, and satisfies $$F^{\varepsilon }(X_t)= F^{\varepsilon }\bigl (\Pi _{\tau }(X_t)\bigr )$$ for $$t\ge 0$$, and

\begin{aligned} \int _{\mathbb {T}_\tau ^d}F^{\varepsilon }(x)\,\pi (\mathrm {d}x)\,=\,0. \end{aligned}

Now, by the Markov property and exponential ergodicity of $$\{\Pi _{\tau }(X_t)\}_{t\ge 0}$$, we have

\begin{aligned}&\mathbb {E}_{x}\left[ \left( \int _0^{t}F^{\varepsilon }(X_{\varepsilon ^{-2}s})\,\mathrm {d}s\right) ^{2}\right] \\ {}&\,=\,\mathbb {E}^{\tau }_{x_\tau }\left[ \left( \int _0^{t}F^{\varepsilon }\bigl (\Pi _{\tau }(X_{\varepsilon ^{-2}s})\bigr )\,\mathrm {d}s\right) ^{2}\right] \nonumber \\ {}&\,=\,2\int _0^{t}\int _0^{s}\mathbb {E}^{\tau }_{x_\tau }\left[ F^{\varepsilon }\bigl (\Pi _{\tau }(X_{\varepsilon ^{-2}s})\bigr )F^{\varepsilon }\bigl (\Pi _{\tau }(X_{\varepsilon ^{-2}u})\bigr )\right] \mathrm {d}u\,\mathrm {d}s\\&\,=\,2\int _0^{t}\int _0^{s}\mathbb {E}^{\tau }_{x_\tau }\left[ F^\varepsilon \bigl (\Pi _{\tau }(X_{\varepsilon ^{-2}u})\bigr )P^{\tau }_{\varepsilon ^{-2}(s-u)}F^{\varepsilon }\bigl (\Pi _{\tau }(X_{\varepsilon ^{-2}u})\bigr )\right] \mathrm {d}u\,\mathrm {d}s\\&\,\le \, 2\Gamma \Vert F^{\varepsilon }\Vert ^{2}_{\infty }\int _0^{t}\int _0^{s}\mathrm {e}^{-\gamma \varepsilon ^{-2}(s-u)}\,\mathrm {d}u\,\mathrm {d}s\\ {}&\le \frac{2\Gamma \varepsilon ^2t}{\gamma }\Vert F^{\varepsilon }\Vert ^{2}_{\infty }\\&\,\le \, \frac{8\Gamma \Vert g\Vert _\infty ^2t}{\varepsilon ^2\gamma }\sup _{x_\tau \in \mathbb {T}_\tau ^d}\left|\int _{\mathbb {R}^{d}}\mathbb {1}_{B_\delta ^c}\left( \varepsilon y-\varepsilon \bigl (\beta (x+y)-\beta (x)\bigr )\right) \nu (x,\mathrm {d}y)\right|^2. \end{aligned}

Let $$\varepsilon >0$$ be such that $$2\varepsilon \Vert \beta \Vert _\infty <\delta /2$$. Then,

\begin{aligned} \mathbb {E}_{x}\left[ \left( \int _0^{t}F^{\varepsilon }(X_{\varepsilon ^{-2}s})\, \mathrm {d}s\right) ^{2}\right]&\,\le \, \frac{8\Gamma \Vert g\Vert _\infty ^2t}{\varepsilon ^2\gamma }\sup _{x_\tau \in \mathbb {T}_\tau ^d}\left|\int _{\mathbb {R}^{d}}\mathbb {1}_{B_{\delta /2}^c}\left( \varepsilon y\right) \nu (x,\mathrm {d}y)\right|^2\\&\,=\,\frac{8\Gamma \Vert g\Vert _\infty ^2t}{\varepsilon ^2\gamma }\sup _{x_\tau \in \mathbb {T}_\tau ^d}\left|\nu (x,B_{\delta /2\varepsilon }^c)\right|^2. \end{aligned}

Now, since

\begin{aligned} \frac{\delta ^2}{4\varepsilon ^2}\nu (x,B_{\delta /2\varepsilon }^c)\,\le \,\int _{B_{\delta /2\varepsilon }^c}|y|^2\,\nu (x,\mathrm {d}y), \end{aligned}

we have that

\begin{aligned} \mathbb {E}_{x}\left[ \left( \int _0^{t}F^{\varepsilon }(X_{\varepsilon ^{-2}s})\, \mathrm {d}s\right) ^{2}\right]&\,\le \, \frac{128\Gamma \Vert g\Vert _\infty ^2\varepsilon ^2t}{\gamma \delta ^4}\sup _{x_\tau \in \mathbb {T}_\tau ^d}\left( \int _{B_{\delta /2\varepsilon }^c}|y|^2\,\nu (x,\mathrm {d}y)\right) ^2. \end{aligned}

Consequently,

\begin{aligned}&\left( \mathbb {E}_{x}\left[ \left( \int _0^{t}\int _{\mathbb {R}^{d}}g(y)\,N^{\varepsilon }(\mathrm {d}y,\mathrm {d}s)\right) ^{2}\right] \right) ^{\frac{1}{2}}\\ {}&\,\le \,\left( \mathbb {E}_{x}\left[ \left( \int _0^{t}F^{\varepsilon }( {X}_{\varepsilon ^{-2}s})\,\mathrm {d}s\right) ^{2}\right] \right) ^{\frac{1}{2}}\\&\ \ \ \ \ +\left( \mathbb {E}_{x}\left[ \left( \frac{t}{\varepsilon ^{2}}\int _{\mathbb {T}_\tau ^d}\int _{\mathbb {R}^{d}}g\left( \varepsilon y-\varepsilon \bigl (\beta (z+y)-\beta (z)\bigr )\right) \,\nu (z,\mathrm {d}y)\,\pi (\mathrm {d}z)\right) ^{2}\right] \right) ^{\frac{1}{2}}\\ {}&\,\le \, \frac{8\sqrt{2}\Gamma ^{1/2}\Vert g\Vert _\infty \varepsilon t^{1/2}}{\gamma ^{1/2}\delta ^2}\sup _{x_\tau \in \mathbb {T}_\tau ^d}\int _{B_{\delta /2\varepsilon }^c}|y|^2\nu (x,\mathrm {d}y)\\ {}&\quad \ \ +\frac{4\Vert g\Vert _{\infty }t}{\delta ^{2}}\int _{\mathbb {T}_\tau ^d}\int _{B_{\delta /2\varepsilon }^c}\frac{\delta ^2}{4\varepsilon ^2}\,\nu (z,\mathrm {d}y)\,\pi (\mathrm {d}z)\\&\,\le \, \left( \frac{8\sqrt{2}\Gamma ^{1/2}\Vert g\Vert _\infty \varepsilon t^{1/2}}{\gamma ^{1/2}\delta ^2} +\frac{4\Vert g\Vert _{\infty }t}{\delta ^{2}}\right) \sup _{x_\tau \in \mathbb {T}_\tau ^d}\int _{B_{\delta /2\varepsilon }^c}|y|^2\,\nu (x,\mathrm {d}y), \end{aligned}

which together with (C3) concludes the proof. $$\square$$

## 3 On structural properties of LTPs

In this section, we present sufficient conditions for LTPs satisfying strong Feller property, open-set irreducibility, regularity property of the semigroup, and regularity properties of the solution to the Poisson equation Eq. (1.11), respectively. Several examples are also included.

Strong Feller property. Let $$\{X_t\}_{t\ge 0}$$ be a Lévy-type process with symbol $$q(x,\xi )$$ and Lévy triplet $$(b(x),c(x),\nu (x,\mathrm {d}y))$$.

1. (i)

Let $$\{X_t\}_{t\ge 0}$$ be a diffusion process (that is, $$\nu (x,\mathrm {d}y)\equiv 0$$). According to [66, Theorem V.24.1], it will be strong Feller if b(x) is measurable, c(x) is continuous and positive definite, and there is a constant $$\Lambda >0$$ such that

\begin{aligned} |c_{ij}(x)|+|b_i(x)|^2\,\le \,\Lambda (1+|x|^2),\quad x\in \mathbb {R}^d,\ i,j=1,\dots ,d. \end{aligned}
(3.1)

Let us also remark that when $$\{X_t\}_{t\ge 0}$$ is a diffusion process generated with a second-order elliptic operator in divergence form

\begin{aligned} \mathcal {L}f(x)\, =\, \nabla \bigl (c(x)\cdot \nabla f(x)\bigr ) \end{aligned}
(3.2)

with c(x) bounded, measurable and uniformly elliptic, strong Feller property of $$\{X_t\}_{t\ge 0}$$ has been discussed in [5, 59, 80].

2. (ii)

Suppose that $$(x,\xi )\mapsto q(x,\xi )$$ is continuous, b(x) is continuous and bounded, c(x) is continuous, bounded and positive definite, and $$x\mapsto \int _{B}(1\wedge |y|^2)\,\nu (x,\mathrm {d}y)$$ is continuous and bounded for any $$B\in \mathcal {B}(\mathbb {R}^d)$$. Then, according to [14, Theorems 3.23, 3.24 and 3.25] and [79, Theorem 4.3 and its remark], $$\{X_t\}_{t\ge 0}$$ is strong Feller.

3. (iii)

Recently, there are lots of developments on heat kernel (that is, the transition density function) estimates of Feller processes. The reader is referred to [17,18,19,20, 36, 46, 47] and the references therein for more details. In particular, let

\begin{aligned} \mathcal {L}f(x)\,=\,\int _{\mathbb {R}^d} \bigl (f(x+y)-f(x)-\langle \nabla f(x), y\rangle \mathbb {1}_{B_1(0)}(y)\bigr )\frac{ \kappa (x,y)}{|y|^{d+\alpha (x)}} \,\mathrm {d}y, \end{aligned}

where $$\alpha :\mathbb {R}^d \rightarrow (0,2)$$ is a Hölder continuous function such that

\begin{aligned}&0\,<\,\alpha _1\,\le \, \alpha (x)\, \le \, \alpha _2<2, \quad x \in \mathbb {R}^d,\\&|\alpha (x)-\alpha (y)|\,\le \, c_1(|x-y|^{\beta _1}\wedge 1), \quad x,y\in \mathbb {R}^d, \end{aligned}

for some constants $$c_1>0$$ and $$\beta _1\in (0,1]$$, and $$\kappa :\mathbb {R}^d\times \mathbb {R}^d \rightarrow (0,\infty )$$ is a measurable function satisfying

\begin{aligned}&\kappa (x,y)\,=\,\kappa (x,-y), \quad x,y \in \mathbb {R}^d,\\&0\,<\,\kappa _1\,\le \, \kappa (x,y)\,\le \, \kappa _2\,<\,\infty , \quad x,y\in \mathbb {R}^d,\\&|\kappa (x,y)-\kappa (\bar{x},y)|\,\le \, c_2(|x-\bar{x}|^{\beta _2}\wedge 1), \quad x,\bar{x},y\in \mathbb {R}^d, \end{aligned}

for some constants $$c_2>0$$ and $$\beta _2 \in (0,1]$$. If $$({\alpha _2}/{\alpha _1})-1<\bar{\beta }_0/{\alpha _2},$$ with $$\bar{\beta }_0\in (0,\beta _0]\cap (0,{\alpha _2}/{2})$$ and $$\beta _0= \min \{\beta _1, \beta _2\}$$, then, by [17, Thereoms 1.1 and 1.3], $$(\mathcal {L}, C_c^\infty (\mathbb {R}^d))$$ generates a LTP. Furthermore, by upper bounds as well as Hölder regularity and gradient estimates of the heat kernel (see [17, Thereoms 1.1 and 1.3, and Remark 1.4]), this associated process is strong Feller.

4. (iv)

Let $$\{X_t\}_{t\ge 0}$$ and $$\{\tilde{X}_t\}_{t\ge 0}$$ be LTPs with semigroups $$\{P_t\}_{t\ge 0}$$ and $$\{\tilde{P}_t\}_{t\ge 0}$$, and Feller generators $$(\mathcal {A}^\infty ,\mathcal {D}_{\mathcal {A}^\infty })$$ and $$(\tilde{\mathcal {A}}^\infty ,\mathcal {D}_{\tilde{\mathcal {A}}^\infty })$$, respectively. Suppose that $$\{X_t\}_{t\ge 0}$$ is strong Feller. If $$\mathcal {A}^\infty -\tilde{\mathcal {A}}^\infty$$ is a bounded operator on $$(B_b(\mathbb {R}^d), \Vert \cdot \Vert _\infty )$$, then the formula

\begin{aligned} P_tf\,=\,\tilde{P}_tf+\int _0^t P_{s}(\mathcal {A}^\infty -\tilde{\mathcal {A}}^\infty ) \tilde{P}_{t-s}f\,\mathrm {d}s,\quad f\in \mathcal {D}_{\mathcal {A}^\infty }\cap \mathcal {D}_{\tilde{\mathcal {A}}^\infty }, \end{aligned}

implies that $$\{\tilde{X}_t\}_{t\ge 0}$$ is also strong Feller. Namely, since both $$\{X_t\}_{t\ge 0}$$ and $$\{\tilde{X}_t\}_{t\ge 0}$$ are LTPs, the above relation holds for any $$f\in C_c^\infty (\mathbb {R}^d)$$. According to [21, Lemma 1.1.1], the boundedness of $$\mathcal {A}^\infty -\tilde{\mathcal {A}}^\infty$$ and the dominated convergence theorem, it also holds for $$f(x)=\mathbb {1}_{O}(x)$$ for any open set $$O\subseteq \mathbb {R}^d$$. The claim now follows from Dynkin’s monotone class theorem. The assertion above roughly asserts that a bounded perturbation preserves the strong Feller property. Below is an example. Let

\begin{aligned} \tilde{\mathcal {L}}f(x)\,=\,&\int _{B_1(0)} \bigl (f(x+y)-f(x)-\langle \nabla f(x), y\rangle \bigr )\frac{ \kappa (x,y)}{|y|^{d+\alpha (x)}} \,\mathrm {d}y \\&+\int _{B_1^c(0)}\bigl (f(x+y)-f(x)\bigr )\,\nu (x,\mathrm {d}y), \end{aligned}

where $$\alpha (x)$$ and $$\kappa (x,y)$$ satisfy all the assumptions in (iii), and $$\nu (x,\mathrm {d}y)$$ is such that

1. (a)

$$\displaystyle \sup _{x\in \mathbb {R}^d}\nu (x,B_1(0))=0;$$

2. (b)

$$\displaystyle \sup _{x\in \mathbb {R}^d}\int _{\mathbb {R}^d}|y|^2\nu (x,\mathrm {d}y)<\infty$$;

3. (c)

$$\displaystyle f\mapsto \int _{\mathbb {R}^d}\bigl (f(\cdot +y)-f(\cdot )\bigr )\,\nu (\cdot ,\mathrm {d}y)$$ is an operator on $$C_\infty (\mathbb {R}^d)$$.

For example, one can take $$\nu (x,\mathrm {d}y)=\frac{\gamma (x,y)}{|y|^{d+\delta }}\mathbb {1}_{B^c_1(0)}(y)\,\mathrm {d}y$$ with $$\delta >0$$ and $$\gamma (x,y)$$ nonnegative, bounded and such that $$x\mapsto \gamma (x,y)$$ is continuous for almost every $$y\in \mathbb {R}^d$$. Further, let $$\mathcal L$$ be the operator given in (iii). Then,

\begin{aligned} (\tilde{\mathcal L}-\mathcal L)f(x)\,=\,&\int _{B_1^c(0)}\bigl (f(x+y)-f(x)\bigr )\,\nu (x,\mathrm {d}y)\\&- \int _{B_1^c(0)}\bigl (f(x+y)-f(x)\bigr )\,\frac{ \kappa (x,y)}{|y|^{d+\alpha (x)}} \,\mathrm {d}y \end{aligned}

is bounded on $$(B_b(\mathbb {R}^d), \Vert \cdot \Vert _\infty )$$. By assumption, it is also bounded on $$(C_\infty (\mathbb {R}^d),$$ $$\Vert \cdot \Vert _\infty )$$. Now, according to [14, Lemma 1.28] and [77, Proposition 2.1], $$\tilde{\mathcal L}=\mathcal L+(\tilde{\mathcal L}-\mathcal L)$$ generates a LTP. This, along with the assertion above and the strong Feller property of the process associated with $$\mathcal {L}$$, yields the strong Feller property of the process associated with $$\tilde{\mathcal {L}}$$.

We remark also that the strong Feller property of LTPs has been discussed in [74]. In the special case when $$\{X_t\}_{t\ge 0}$$ is given through Eq. (1.7), the strong Feller property (and the open-set irreducibility) has been discussed in [50] under the assumption that $$\nu _Z(\mathbb {R}^m)<\infty$$, and in [55, 56] for an arbitrary $$\nu _Z(\mathrm {d}y)$$, that is, an arbitrary pure-jump Lévy process $$\{Z_t\}_{t\ge 0}$$. Observe that in both situations non-degeneracy of $$\Phi _2(x)\Phi '_2(x)$$ has been assumed. In the case when $$\Phi _3(x)\equiv \Phi _3\in \mathbb {R}^{d\times q}$$ the problem has been considered in [3, 51, 54], and for non-constant (and non-degenerated) $$\Phi _3(x)$$ in [52].

Open-set irreducibility. Let $$\{X_t\}_{t\ge 0}$$ be a Lévy-type process with symbol $$q(x,\xi )$$ and Lévy triplet $$(b(x),c(x),\nu (x,\mathrm {d}y))$$.

1. (i)

According to [66, Theorems V.20.1 and V.24.1] and [26, Theorem 7.3.8], a diffusion process will be open-set irreducible (and strong Feller) if b(x) and c(x) are locally Hölder continuous, c(x) is positive definite, and Eq. (3.1) holds true. Observe that Eq. (3.1) trivially holds true in the periodic case. Also, when $$b(x)\in C_b^1(\mathbb {R}^d)$$, $$c(x)\in C_b^2(\mathbb {R}^d)$$, $$\partial _{ij}c_{kl}(x)$$ is uniformly continuous for all $$i,j,k,l=1,\dots ,d$$, and c(x) is positive definite, open-set irreducibility (and strong Feller property) of the process follows from the support theorem for diffusion processes, see [34, Lemma 6.1.1] and [40, p. 517]. For support theorem of jump processes one can refer to [78].

2. (ii)

If $$\{X_t\}_{t\ge 0}$$ is a diffusion process generated by a second-order elliptic operator in divergence form Eq. (3.2) with uniformly elliptic, bounded and measurable diffusion coefficient, open-set irreducibility (and strong Feller property) follows from the corresponding heat kernel estimates (see [5, 59, 80]). The diffusion processes with jumps or pure jump process considered in [17,18,19,20, 36, 46, 47] are also open-set irreducible, which is a direct consequence of obtained lower bounds of heat kernel.

3. (iii)

Let $$\mathcal {L}$$ and $$\tilde{\mathcal {L}}$$ be the operators from (iv) in the discussion on the strong Feller property. According to [17, Thereom 1.3], the LTP corresponding to $$\mathcal {L}$$ is open-set irreducible. Further, observe that

\begin{aligned} \sup _{x\in \mathbb {R}^d} \int _{B_1^c(0)} \frac{\kappa (x,y)}{|y|^{d+\alpha (x)}}\,\mathrm {d}y\,<\,\infty . \end{aligned}

Thus, by [9, Lemma 3.1] and [8, Lemma 3.6], the process associated with the operator $$\tilde{\mathcal {L}}$$ is also open-set irreducible.

For open-set irreducibility of LTPs of the form Eq. (1.6) we refer the reader to [3, 50] and [55, 56].

In the following proposition, which slightly generalizes [37, Lemma 2], we show that a LTP will be open-set irreducible if the corresponding Lévy measure shows enough jump activity. First, recall that a function $$f:\mathbb {R}^d\rightarrow \mathbb {R}$$ is said to be lower semi-continuous if

\begin{aligned} \liminf _{y\rightarrow x}f(y)\,\ge \, f(x),\quad x\in \mathbb {R}^d. \end{aligned}

### Proposition 3.1

The process $$\{X_t\}_{t\ge 0}$$ will be open-set irreducible if there are constants $$R>r\ge 0$$ such that

1. (i)

$$\inf _{x\in K}\nu (x,O)>0$$ for every non-empty open set $$O\subseteq B_R(0){\setminus } B_r(0)$$, and every non-empty compact set $$K\subset \mathbb {R}^d$$;

2. (ii)

the function $$x\mapsto \int _{\mathbb {R}^d}f(y+x)\nu (x,\mathrm {d}y)$$ is lower semi-continuous for every non-negative lower semi-continuous function $$f:\mathbb {R}^d\rightarrow \mathbb {R}.$$

### Proof

Let $$x\in \mathbb {R}^d$$ and $$\rho >0$$ be arbitrary, and let $$f\in C_c^{\infty }(\mathbb {R}^d)$$ be such that $$0\le f\le 1$$ and $$\mathrm{supp}\, f\subset B_\rho (x)$$. By assumption,

\begin{aligned} \lim _{t\rightarrow 0}\left\| \frac{P_t f-f}{t}-\mathcal {A}^\infty f\right\| _\infty \,=\,0. \end{aligned}

In particular, for any $$B\subseteq B^c_\rho (x)$$,

\begin{aligned} \liminf _{t\rightarrow 0}\inf _{y\in B}\frac{\mathbb {P}_{y}\bigl (X_t\in B_\rho (x)\bigr )}{t}&\,\ge \, \liminf _{t\rightarrow 0}\inf _{y\in B}\frac{P_tf(y)}{t}\\ {}&\,=\,\liminf _{t\rightarrow 0}\inf _{y\in B}\left| \frac{P_tf(y)}{t}-\mathcal {A}^\infty f(y)+\mathcal {A}^\infty f(y)\right| \\ {}&\,=\,\inf _{y\in B}|\mathcal {A}^\infty f(y)|\\&\,=\,\inf _{y\in B}\int _{\mathbb {R}^d}f(z+y)\nu (y,\mathrm {d}z).\end{aligned}

Further, let $$0<\varepsilon <\rho$$ be arbitrary, and let $$0\le f_\varepsilon \in C_c^{\infty }(\mathbb {R}^d)$$ be such that

\begin{aligned} f_\varepsilon (y)\,=\,\left\{ \begin{array}{ll} 1, &{} y\in B_{\rho -\varepsilon }(x) \\ 0, &{} y\in B^c_{\rho }(x). \end{array} \right. \end{aligned}

Then, for any $$y\in B^c_{\rho }(x)$$ we have that

\begin{aligned} \mathcal {A}^\infty f_\varepsilon (y)&\,=\,\int _{\mathbb {R}^d}f_\varepsilon (z+y)\,\nu (y,\mathrm {d}z)\\ {}&\,\ge \,\nu \bigl (y,\bigl (B_R(0){\setminus } B_r(0)\bigr )\cap B_{\rho -\varepsilon }(x-y)\bigr ). \end{aligned}

Next, take $$x,y\in \mathbb {R}^d$$ such that $$r<|x-y|<R$$, and pick $$\varepsilon ,\rho >0$$ such that $$\varepsilon <\rho$$ and $$r+2\rho<|x-y|<R-2\rho$$. Then, we have

\begin{aligned} \liminf _{t\rightarrow 0}\inf _{z\in B_\rho (x)}\frac{\mathbb {P}_{z}\bigl (X_t\in B_\rho (y)\bigr )}{t}&\,\ge \, \inf _{z\in B_\rho (x)}\nu \bigl (z,\bigl (B_R(0){\setminus } B_r(0)\bigr )\cap B_{\rho -\varepsilon }(y-z)\bigr )\\&\,=\, \inf _{z\in B_\rho (x)}\nu \bigl (z, B_{\rho -\varepsilon }(y-z)\bigr ). \end{aligned}

Assume now that $$\inf _{z\in B_\rho (x)}\nu \bigl (z, B_{\rho -\varepsilon }(y-z)\bigr )=0.$$ Then, there is a sequence $$\{z_n\}_{n\in \mathbb {N}}\subset B_\rho (x)$$ converging to $$z_0\in \bar{B}_\rho (x)$$ such that

\begin{aligned} \liminf _{n\rightarrow \infty }\nu \bigl (z_n, B_{\rho -\varepsilon }(y-z_n)\bigr )\,=\,\liminf _{n\rightarrow \infty }\int _{\mathbb {R}^d}\mathbb {1}_{B_{\rho -\varepsilon }(y)}(u+z_n)\,\nu (z_n,\mathrm {d}u)\,=\,0. \end{aligned}

However, since $$z\mapsto \mathbb {1}_{B_{\rho -\varepsilon }(y)}(z)$$ is a lower semi-continuous function, we have that

\begin{aligned} \liminf _{n\rightarrow \infty }\int _{\mathbb {R}^d}\mathbb {1}_{B_{\rho -\varepsilon }(y)}(u+z_n)\,\nu (z_n,\mathrm {d}u)\,=\,\nu \bigl (z_0, B_{\rho -\varepsilon }(y-z_0)\bigr )\,>\,0, \end{aligned}

which is in contradiction with the above assumption. Hence, there is $$t_*= t_*(x,y,\rho ,\varepsilon )>0$$ such that

\begin{aligned} \mathbb {P}_{z}\bigl (X_t\in B_{\rho }(y)\bigr )\,>\,0,\quad z\in B_\rho (x),\ t\in (0,t_*]. \end{aligned}

Fix now $$\varepsilon ,\rho >0$$ such that $$\varepsilon <\rho$$ and $$4\rho <R-r$$. From the previous discussion it follows that for any $$x,y\in \mathbb {R}^d$$ with $$r+2\rho<|x-y|<R-2\rho$$, there is $$t_{**}= t_{**}(x,y,\rho ,\varepsilon )>0$$ such that

\begin{aligned} \mathbb {P}_{z}\bigl (X_t\in B_{\rho }(y)\bigr )\,>\,0,\quad z\in B_\rho (x),\ t\in (0,t_{**}]. \end{aligned}

The assertion now follows by employing the Chapman-Kolmogorov equation. $$\square$$

Observe that in Proposition 3.1 we require that $$\nu (x,\mathrm {d}y)$$ is not singular with respect to the d-dimensional Lebesgue measure. However, there are many interesting open-set irreducible LTPs which do not meet this property. For example, let $$\{X_t\}_{t\ge 0}$$ be a solution to Eq. (1.6) with $$n=d+1$$, $$\Phi (x)=(\bar{\Phi }(x),\mathbb {I}_{d})$$ and $$Y_t=(t,B_t,Z_t)'$$, $$t\ge 0$$, where $$\bar{\Phi }:\mathbb {R}^d\rightarrow \mathbb {R}^d$$, $$\mathbb {I}_{d}$$ is the $$d\times d$$-identity matrix, $$\{B_t\}_{t\ge 0}$$ is a $$d_1$$-dimensional Brownian motion with $$1\le d_1<d$$, and $$\{Z_t\}_{t\ge 0}$$ is a $$(d-d_1)$$-dimensional rotationally invariant $$\alpha$$-stable Lévy process (independent of $$\{B_t\}_{t\ge 0}$$) with $$\alpha \in (0,2)$$. Clearly, in this case the Lévy measure is $$(d-d_1)$$-dimensional. Thus, Proposition 3.1 cannot be applied to the process $$\{X_t\}_{t\ge 0}$$. However, open-set irreducibility of $$\{X_t\}_{t\ge 0}$$ may be concluded by employing the time-changed idea as in [84]. Namely, the Girsanov transformation implies open-set irreducibility of a solution to Eq. (1.6) with $$\Phi _0(x)$$ similar to $$\Phi (x)$$ defined above and $$\bar{Y}_t=(t,B_t,\bar{B}_t)'$$, $$t\ge 0$$, where $$\{B_t\}_{t\ge 0}$$ is also as above, and $$\{\bar{B}_t\}_{t\ge 0}$$ is a $$(d-d_1)$$-dimensional Brownian motion (independent of $$\{B_t\}_{t\ge 0}$$). With this at hand, and following the approach in [84] (the time-changed idea combined with approximation argument), we conclude open-set irreducibility of $$\{X_t\}_{t\ge 0}$$. An alternative approach is based on the Levi’s method from PDE theory. Namely, since the transition function of the process $$\{(B_t, Z_t)\}_{t\ge 0}$$ enjoys the product form with Gaussian estimates and two-sided heat kernel estimates for rotationally invariant $$\alpha$$-stable processes, one may follow the argument from [20] to get two-sided heat kernel estimates for $$\{X_t\}_{t\ge 0}$$. When $$\alpha \in (0,1)$$ we may need to additionally assume that $$\Phi (x)$$ is Hölder continuous.

Let us also remark that open-set irreducibility (and strong Feller property) of a solution to Eq. (1.6) with $$\Phi (x)=(\bar{\Phi }(x),\mathbb {I}_{d})$$ and $$Y_t=(t,Z^1_t,\dots ,Z^{d}_t)'$$, $$t\ge 0$$, where $$\bar{\Phi }:\mathbb {R}^d\rightarrow \mathbb {R}^d$$, and $$\{Z^i_t\}_{t\ge 0}$$, $$i=1,\dots ,d,$$ are mutually independent one-dimensional symmetric $$\alpha$$-stable Lévy processes with $$\alpha \in (1,2)$$, has been deduced in [1, Theorem 3.1(iv)]. Note that in this case the Lévy measure again does not satisfy (i) in Proposition 3.1.

Regularity property of the semigroup, and regularity properties of the solution to Eq. (1.11). Let $$\{X_t\}_{t\ge 0}$$ be a Lévy-type process with $$\tau$$-periodic Lévy triplet $$(b(x),c(x),\nu (x,\mathrm {d}y))$$.

1. (i)

(Diffusion processes) Let $$\varepsilon \in (0,1)$$, and let $$\{X_t\}_{t\ge 0}$$ be a diffusion process with coefficients $$b\in C_b^\varepsilon (\mathbb {R}^d)$$, $$c\in C_b^{1+\varepsilon }(\mathbb {R}^d)$$, and c(x) being also positive definite. Then, (C4)(i) with arbitrary $$t_0>0$$ and $$\psi (r)=r^\varepsilon$$ follows from [60, the proof of Lemma 2.3]. Also, a straightforward adaptation of [60, Theorem 2.1], together with [41, Chapter 4.8] and [61, Proposition 4.2], implies (C4)(ii) with $$\varphi (r)=r^2$$. Then, the conclusion of Theorem 1.4 holds.

2. (ii)

(Diffusion processes with jumps) Let $$\varepsilon \in (0,1)$$. Assume that b(x) and c(x) are as in (i), and that $$\nu (x,\mathrm {d}y)$$ satisfies

1. (a)

$$\displaystyle \sup _{x\in \mathbb {R}^d}\int _{B_1(0)}|z|^{1+\varepsilon }\,\nu (x,\mathrm {d}z)<\infty ;$$

2. (b)

$$\displaystyle \lim _{\epsilon \rightarrow 0}\sup _{x\in \mathbb {R}^d}\int _{B_\epsilon (0)}|z|^{1+\varepsilon }\,\nu (x,\mathrm {d}z)=0;$$

3. (c)

$$\displaystyle \lim _{R\rightarrow \infty }\sup _{x\in \mathbb {R}^d}\int _{B_R^c(0)}|z|^{1+\varepsilon }\,\nu (x,\mathrm {d}z)=0;$$

4. (d)

$$\displaystyle \sup _{x,y\in \mathbb {R}^d}|x-y|^{-\varepsilon }\int _{\mathbb {R}^d}\bigl (1\wedge |z|^{1+\varepsilon }\bigr )\,|\nu (x,\mathrm {d}z)-\nu (y,\mathrm {d}z)|<\infty$$.

Here, $$|\mu (\mathrm {d}z)|$$ stands for the total variation measure of a signed measure $$\mu (\mathrm {d}z)$$. Then, (C4)(ii) with $$\varphi (r)=r^2$$ follows again from [60, Theorem 2.1], together with [41, Chapter 4.8] and [61, Proposition 4.2]. Let us give sufficient conditions that $$\{X_t\}_{t\ge 0}$$ also satisfies (C4)(i). Denote by $$\{P_t\}_{t\ge 0}$$ the semigroup of $$\{X_t\}_{t\ge 0}$$, and let $$\{\tilde{P}_t\}_{t\ge 0}$$ be the semigroup of the diffusion process with coefficients b(x) and c(x). Also, denote by $$(\mathcal {A}^\infty ,\mathcal {D}_{\mathcal {A}^\infty })$$ and $$(\tilde{\mathcal {A}}^\infty ,\mathcal {D}_{\tilde{\mathcal {A}}^\infty })$$ the corresponding $$C_\infty$$-generators, respectively. Then,

\begin{aligned} P_tf\,=\,\tilde{P}_tf+\int _0^t \tilde{P}_{s}(\mathcal {A}^\infty - \tilde{\mathcal {A}}^\infty ) P_{t-s}f\,\mathrm {d}s,\quad f\in \mathcal {D}_{\mathcal {A}^\infty }\cap \mathcal {D}_{\tilde{\mathcal {A}}^\infty }. \end{aligned}

Since both processes are LTPs, the above relation holds for any $$f\in C_c^\infty (\mathbb {R}^d)$$. Assume next that $$\mathcal {A}^\infty -\tilde{\mathcal {A}}^\infty$$ is a bounded operator on $$(B_b(\mathbb {R}^d),\Vert \cdot \Vert _\infty )$$. Then, according to [21, Lemma 1.1.1], the boundedness of $$\mathcal {A}^\infty -\tilde{\mathcal {A}}^\infty$$ and the dominated convergence theorem, the above relation holds for $$f(x)=\mathbb {1}_{O}(x)$$ for any open set $$O\subseteq \mathbb {R}^d$$. Thus, it also holds for any $$f\in B_b(\mathbb {R}^d).$$ Recall also that $$P_tf\in C_b(\mathbb {R}^d)$$ for every $$f\in C_b(\mathbb {R}^d)$$ and every $$t\ge 0$$ (see [69, Corollary 3.4]). Now, according to (i), there is a measurable function $$C_\varepsilon :(0,\infty )\rightarrow (0,\infty )$$ such that $$\int _0^tC_\varepsilon (s)\,\mathrm {d}s <\infty$$ and $$\Vert \tilde{P}_t f\Vert _\varepsilon \le C_\varepsilon (t)\Vert f\Vert _\infty$$ for all $$t>0$$ and all $$\tau$$-periodic $$f\in C_b(\mathbb {R}^d)$$. Thus, for fixed $$\tau$$-periodic $$f\in C_b(\mathbb {R}{^d})$$, $$P_tf\in C_b^\varepsilon (\mathbb {R}^d)$$ and

\begin{aligned}&\Vert P_t f\Vert _\varepsilon \,\le \, \Vert \tilde{P}_tf\Vert _\varepsilon +\int _0^t \Vert \tilde{P}_{s}(\mathcal {A}^\infty - \tilde{\mathcal {A}}^\infty ) P_{t-s}f\Vert _\varepsilon \,\mathrm {d}s\\&\quad \le \, \bar{C}_\varepsilon (t) \Vert f \Vert _\infty , \end{aligned}

where $$\bar{C}_\varepsilon (t)=C_\varepsilon (t)+\Vert \mathcal {A}^\infty - \tilde{\mathcal {A}}^\infty \Vert \int _0^t C_\varepsilon (s)\,\mathrm {d}s.$$ Also,

\begin{aligned} \int _0^t\bar{C}(s)\,\mathrm {d}s\,\le \,(1+t\Vert \mathcal {A}^\infty - \tilde{\mathcal {A}}^\infty \Vert )\int _0^t C(s)\,\mathrm {d}s,\quad t>0, \end{aligned}

where $$\Vert \mathcal {A}^\infty - \tilde{\mathcal {A}}^\infty \Vert$$ stands for the operator norm of $$\mathcal {A}^\infty - \tilde{\mathcal {A}}^\infty$$. Thus, $$\{X_t\}_{t\ge 0}$$ satisfies (C4)(i) with $$\psi (r)=r^\varepsilon$$. Therefore, if additionally $$\int _{B_1^c(0)} y\,\nu (\cdot ,\mathrm {d}y)\in C_b^\varepsilon (\mathbb {R}^d)$$, the conclusion of Theorem 1.4 holds true.

3. (iii)

(Pure-jump LTPs) In the pure jump case, sufficient conditions for (C4)(i) are given in [53, Theorem 1.1]. Also, when the underlying process is given as a solution to an SDE of the form Eq. (1.7), we refer to [51, 52, 54] and the references therein. To construct an example satisfying (C4)(ii), we can again employ a perturbation method. Let $$\{X_t\}_{t\ge 0}$$ and $$\{\tilde{X}_t\}_{t\ge 0}$$ be LTPs with semigroups $$\{P_t\}_{t\ge 0}$$ and $$\{\tilde{P}_t\}_{t\ge 0}$$, and $$B_b$$-generators $$(\mathcal {A}^b,\mathcal {D}_{\mathcal {A}^b})$$ and $$(\tilde{\mathcal {A}}^b,\mathcal {D}_{\tilde{\mathcal {A}}^b})$$, respectively. Assume that $$\mathcal {A}^b$$ satisfies (C4)(ii) for some Hölder exponents $$\psi (r)$$ and $$\varphi (r)$$. Further, assume that $$\mathcal {A}^b-\tilde{\mathcal {A}}^b$$ is a bounded operator on $$(B_b(\mathbb {R}^d),\Vert \cdot \Vert _\infty )$$, and that $$(\mathcal {A}^b-\tilde{\mathcal {A}}^b)f\in C_b(\mathbb {R}^d)$$ for every $$f\in C_b(\mathbb {R}^d)$$. Then,

\begin{aligned} \tilde{P}_tf\,=\, P_tf+\int _0^t P_{s}(\mathcal {A}^b-\tilde{\mathcal {A}}^b) \tilde{P}_{t-s}f\,\mathrm {d}s,\quad f\in \mathcal {D}_{\mathcal {A}^b}\cap \mathcal {D}_{\tilde{\mathcal {A}}^b}. \end{aligned}

Similarly as before, the above relation holds for all $$f\in B_b(\mathbb {R}^d)$$. Thus, for any $$\lambda >0$$ and any $$\tau$$-periodic $$f\in C_b(\mathbb {R}^d)$$,

\begin{aligned} \tilde{R}^\tau _\lambda f_\tau \,=\,R^\tau _\lambda f_\tau +R^\tau _\lambda (\mathcal {A}^b-\tilde{\mathcal {A}}^b)\tilde{R}^\tau _\lambda f_\tau . \end{aligned}

Assume now that $$\{\tilde{P}_t\}_{t\ge 0}$$ satisfies (C4)(i) with $$\psi (r)$$, and that $$(\mathcal {A}^b-\tilde{\mathcal {A}}^b)f\in C^\psi _b(\mathbb {R}^d)$$ for every $$f\in C^\psi _b(\mathbb {R}^d)$$. Then, according to the proof of Theorem 1.4 (a), for any $$\tau$$-periodic $$f\in C_b(\mathbb {R}^d)$$ with $$\int _{\mathbb {T}^d_\tau }f_\tau (x)\,\pi (\mathrm {d}x)=0$$, $$\tilde{R}^\tau _\lambda f\in C^\psi (\mathbb {T}^d_\tau )$$ and so $$(\mathcal {A}^b-\tilde{\mathcal {A}}^b)\tilde{R}^\tau _\lambda f_\tau \in C^\psi (\mathbb {T}^d_\tau )$$. Hence, for any $$\tau$$-periodic $$f\in C_b^\psi (\mathbb {R}^d)$$, $$\tilde{R}^\tau _\lambda f_\tau \in C^{\varphi \psi }(\mathbb {T}^d_\tau ),$$ that is, the corresponding $$\tau$$-periodic extension is a solution to Eq. (1.11). Finally, uniqueness follows from the fact that any solution u(x) to Eq. (1.11) must have the representation $$\int _0^\infty e^{-\lambda t} \tilde{P}_t f\,\mathrm {d}t,$$ since $$u=(\lambda -\tilde{\mathcal {A}}^b)^{-1}f.$$ Below we give concrete examples of LTPs $$\{X_t\}_{t\ge 0}$$ and $$\{\tilde{X}_t\}_{t\ge 0}$$ satisfying the above assumptions. Let $$\varphi :(0,\infty )\rightarrow (0,\infty )$$ be increasing, and such that $$\varphi (1)=1$$ and

1. (a)

there are $$0<\underline{\alpha }\le \overline{\alpha }<1$$, $$\underline{\kappa }\in (0,1]$$ and $$\overline{\kappa }\in [1,\infty )$$, such that

\begin{aligned} \underline{\kappa }\,\lambda ^{2\underline{\alpha }}\varphi (r)\,\le \,\varphi (\lambda r)\,\le \,\overline{\kappa }\,\lambda ^{2\overline{\alpha }}\varphi (r),\quad \lambda \ge 1,\ r\in (0,1]\,;\end{aligned}
(3.3)
2. (b)

$$\displaystyle \int _1^\infty \frac{1}{r \varphi (r)}\,\mathrm {d}r<\infty .$$

Then, by (a), $$\lim _{r\rightarrow 0}\varphi (r)=0$$, and so $$\varphi (r)$$ is a Hölder exponent with $$[m_\varphi ,M_\varphi ]\subseteq [2\underline{\alpha },2\overline{\alpha }]\subset (0,2)$$. Further, let $$n:\mathbb {R}^d{\setminus }\{0\}\rightarrow [\underline{\Gamma },\overline{\Gamma }]$$, with $$0\le \underline{\Gamma }\le \overline{\Gamma }<\infty$$, be measurable. Then, thanks to (a) and (b),

\begin{aligned} \nu _0(\mathrm {d}y)\,:=\,\frac{n(y)}{\varphi (|y|)|y|^{d}}\,\mathrm {d}y \end{aligned}

is a Lévy measure. Denote the Lévy process generated by the Lévy triplet $$(0,0,\nu _0(\mathrm {d}y))$$ by $$\{X_t\}_{t\ge 0}$$. Also, let $$(\mathcal {A}^b,\mathcal {D}_{\mathcal {A}^b})$$ be the corresponding $$B_b$$-genera- tor. Then, $$\{X_t\}_{t\ge 0}$$ satisfies (C4)(ii) for any Hölder exponent $$\psi (r)$$ such that $$[m_\psi ,M_\psi ]\subset (0,1)$$ and $$[m_{\varphi \psi },M_{\varphi \psi }]\cap \mathbb {N}=\emptyset$$. Namely, since $$\{X_t\}_{t\ge 0}$$ has $$\tau$$-periodic (actually constant) coefficients, the corresponding projection (with respect to $$\Pi _{\tau }(x)$$) on $$\mathbb {T}_\tau ^d$$ is again a strong Markov process. Moreover, according to [72, Proposition 2.2] (see also [48, Theorem 2.1]) and Proposition 3.1, it is also strong Feller and open-set irreducible so it satisfies Eq. (1.8). Now, for any $$\lambda >0$$ and any $$\tau$$-periodic $$f\in B_b(\mathbb {R}^d)$$, we see as before that the $$\tau$$-periodic extension $$u_{\lambda ,f}(x)$$ of $$R_\lambda ^\tau f_\tau (x)$$ solves $$\lambda u_{\lambda ,f}-\mathcal {A}^bu_{\lambda ,f}=f$$. If $$f\in C_b^\psi (\mathbb {R}^d)$$ for some Hölder exponent $$\psi (r)$$ such that $$[m_\psi ,M_\psi ]\subset (0,1)$$, then, according to [72, Proposition 2.2] and the proof of [6, Propositions 3.5 and 3.6], $$u_{\lambda ,f}\in C_b^{\varphi \psi }(\mathbb {R}^d)$$ provided $$[m_{\varphi \psi },M_{\varphi \psi }]\cap \mathbb {N}=\emptyset$$. Let us remark that in the proofs of [6, Propositions 3.5 and 3.6] the authors require the scaling property Eq. (3.3) of $$\varphi (r)$$ for all $$r\in (0,\infty )$$, and the additional assumptions that $$n(y)\equiv c$$ for some $$c>0$$ and that $$\phi (r)=\varphi (r^{-1/2})^{-1}$$ is a Bernstein function, that is, $$(-1)^n\phi ^{(n)}(r)\le 0$$ for every $$n\in \mathbb {N}_0$$. They essentially use this property in order to apply [6, Corollary 3.2] via the regularity of semigroups associated with subordinated Brownian motions. However, the statement of this corollary has been proved in [72, Proposition 2.2] under the scaling condition in Eq. (3.3). Finally, uniqueness follows from (a straightforward adaptation of) [63, Proposition 3.2] (by taking $$b(x)\equiv 0$$). A typical example of the function $$\varphi (r)$$ satisfying the above assumptions is given by $$\varphi (r)=r^\alpha \log ^\beta (\mathrm {e}-1+r^{-1})$$ with $$\alpha \in (0,2)$$ and $$\beta \in \mathbb {R}$$. According to [72, Proposition 2.2], there is $$c>0$$ such that for all $$t\in (0,1]$$ and $$f\in B_b(\mathbb {R}^d)$$, $$\Vert \nabla P_tf\Vert _\infty \le c(\varphi ^{-1}(t))^{-1}.$$ Therefore, we have that

1. (1)

if $$\alpha \in (1,2)$$ or $$\alpha =1$$ and $$\beta <-\alpha$$, then (C4)(i) is satisfied and Theorem 1.4 (b)(2) holds with $$\psi (r)=r^{\theta _1}\log ^{\theta _2} (1+r^{-1})$$ for any $$\theta _1\in (0,1)$$ and $$\theta _2\in \mathbb {R}$$;

2. (2)

if $$\alpha \in (0,1)$$, then (C4)(i) is satisfied with $$\psi (r)=r^{\theta _1}\log ^{\theta _2} (1+r^{-1})$$ for any $$\theta _1\in (0,\alpha )$$ and $$\theta _2\in \mathbb {R}$$, and Theorem 1.4 (b)(3) holds.

Also, as we have commented above, $$\{X_t\}_{t\ge 0}$$ satisfies (C4)(ii) if $$\theta _1$$ is such that $$\alpha +\theta _1\notin \mathbb {N}$$. Further, let $$\{\tilde{X}_t\}_{t\ge 0}$$ be a LTP generated by $$(0,0,\nu (x,\mathrm {d}y))$$ with

\begin{aligned} \nu (x,\mathrm {d}y)\,=\mathbb {1}_{B_1(0)}(y)\,\nu _0(\mathrm {d}y) + \frac{\gamma (x,y)}{\tilde{\varphi }(|y|)|y|^{d}}\mathbb {1}_{B_1^c(0)}(y)\,\mathrm {d}y, \end{aligned}

where $$\tilde{\varphi }:[1,\infty )\rightarrow (0,\infty )$$ satisfies that $$\int _1^\infty \frac{1}{r\tilde{\varphi }(r)}\,\mathrm {d}r<\infty$$, and $$\gamma (x,y)$$ is non-negative, bounded and such that $$x\mapsto \gamma (x,y)$$ is continuous for almost every $$y\in \mathbb {R}^d$$ on $$B_1^c(0)$$ (see (iv) in the discussion on the strong Feller property above that this Lévy kernel generates a LTP). Denote by $$(\mathcal {\tilde{A}}^b,\mathcal {D}_{\mathcal {\tilde{A}}^b})$$ the corresponding $$B_b$$-generator. It is easy to see that $$\mathcal {A}^b-\tilde{\mathcal {A}}^b$$ is bounded on $$(B_b(\mathbb {R}^d),\Vert \cdot \Vert _\infty )$$, and $$(\mathcal {A}^b-\tilde{\mathcal {A}}^b)f\in C_b(\mathbb {R}^d)$$ for every $$f\in C_b(\mathbb {R}^d)$$. Furthermore, $$(\mathcal {A}^b-\tilde{\mathcal {A}}^b)f\in C^\psi _b(\mathbb {R}^d)$$ for every $$f\in C^\psi _b(\mathbb {R}^d)$$ if we additionally assume that for almost all $$y\in \mathbb {R}^d$$ on $$B_1^c(0)$$, $$x\mapsto \gamma (x,y)$$ is of class $$C_b^\psi (\mathbb {R}^d)$$. With these at hand, we can follow the argument in (ii) to check that (C4) is satisfied, and so the conclusion of Theorem 1.4 holds.