## 1 Introduction

Feynman–Kac formulas play a distinguished role in probability theory and functional analysis. Ever since their birth in 1949, Feynman–Kac-type formulas have been a constant source of fascinating insights in a wide range of disciplines. They originate in the description of particle diffusion by connecting Schrödinger’s equation and the heat equation to the Brownian motion; see [31]. A type of Feynman–Kac formula also figures at the beginning of modern mathematical finance: In their seminal article of 1973 [6], Black and Scholes wrote their Nobel Prize-winning option pricing formula by expressing the price as a solution to a partial differential equation, thereby rediscovering Feynman and Kac’s deep link.

The fundamental contribution of Feynman–Kac formulas is to link stochastic processes to solutions of deterministic partial differential equations. Thus they also establish a connection between probability theory and numerical analysis, two disciplines that have evolved largely separately. Although both enjoy great success, transfer between them has remained only incidental. This may very well be the reason for applications of Feynman–Kac still appearing so surprisingly fresh. In computational finance, they enable the development of option pricing methods by solving deterministic evolution equations. These have proved to be highly efficient, particularly when compared to Monte Carlo simulation. Thus, like other deterministic methods, they come into play whenever efficiency is essential and the complexity of the pricing problem is not too high. This is the case for recurring tasks, such as calibration and real-time pricing, and over the last few decades has given rise to extensive research in computing option prices by solving partial differential equations. The challenge to extend these methods to price options in advanced jump models has furthermore inspired researchers in recent years to develop highly efficient and widely applicable algorithms; see for instance [11, 22, 23, 41, 25].

In this article, we derive a Feynman–Kac-type formula so as to provide a solid mathematical basis for fast option pricing in time-inhomogeneous Lévy models using partial integro-differential equations (PIDEs). While large parts of the literature focus on numerical aspects of these pricing methods, only little is known about the precise link between the related deterministic equations and the corresponding conditional expectations representing option prices. Under which conditions is there a Feynman–Kac-type formula linking option prices given by conditional expectations with solutions to evolution equations?

In order to further specify the problem, we focus on time-inhomogeneous Lévy models and options whose path-dependence may be expressed by a killing rate. In this setting with $$\mathcal{A}=(\mathcal{A}_{t})_{t\in[0,T]}$$, the Kolmogorov operator of a time-inhomogeneous Lévy process, a killing rate (or potential) $$\kappa:[0,T]\times \mathbb {R}^{d}\to \mathbb {R}$$, for which we write $$\kappa_{t}(x):=\kappa(t,x)$$, a source $$f:[0,T]\times \mathbb {R}^{d}\to \mathbb {R}$$ and an initial condition $$g:\mathbb {R}^{d}\to \mathbb {R}$$, the Kolmogorov equation is of the form

\begin{aligned} \begin{aligned} \partial_{t} u + \mathcal{A}_{T-t} u + \kappa_{T-t} u &= f, \\ u(0) &= g. \end{aligned} \end{aligned}
(1.1)

Adopting a heuristic approach, one would typically assume that (1.1) has a classical solution $$u$$. If this solution is sufficiently regular to allow an application of Itô’s formula and moreover satisfies an appropriate integrability condition, the Feynman–Kac-type representation

\begin{aligned} &u(T-t,L_{t}) \\ &= E\bigg[g(L_{T})\operatorname{e}^{-\int_{t}^{T} \kappa_{h}(L_{h}) \operatorname{d}h} + \int_{t}^{T} f(T-s,L_{s})\operatorname{e}^{-\int_{t}^{s} \kappa_{h}(L_{h}) \operatorname{d}h} \operatorname{d}s \biggm| \mathcal{F}_{t}\bigg] \end{aligned}
(1.2)

follows by standard arguments and taking conditional expectations; see (8.6) and (8.7) below for a detailed derivation. Then, the conditional expectation (1.2) can be obtained by solving the Kolmogorov equation (1.1) by means of a deterministic numerical scheme. Such an argumentation hinges on a strong regularity assumption on the solution $$u$$ and thus implicitly on the data $$g$$, $$f$$, $$\mathcal{A}$$ and $$\kappa$$ of the equation. This constitutes a serious restriction on the applicability of such a heuristic approach.

To do justice to the complexities of financial applications, we pay special attention to identifying appropriate conditions for the validity of (1.2) for financial applications. Often, discontinuous killing rates constitute a natural choice, as we show in several detailed examples in Sect. 5. In particular, indicator functions as killing rates turn out to be key to a wide variety of applications, both in mathematical finance and in probability theory. As one typical application, we propose and study a flexible family of employee options in Sect. 5.1 and illustrate the numerical effect of such killing rates in Sect. 6. The fundamental role of killing rates of indicator-type is killing the process outside a specified domain, which makes them attractive for applications. Moreover, they are closely related to occupation times and exit times of stochastic processes, as we outline in Sects. 5.3 and 5.4. We furthermore find that discontinuous killing rates form a common root of exit probabilities of stochastic processes and the distribution of supremum processes. As such, they apply to the prices of path-dependent options like those of barrier, lookback and American type. In view of these considerations, which are both of a theoretical and applied nature, we also want to allow non-smooth and even discontinuous killing rates in the Kolmogorov equation (1.1).

Discontinuities in the killing rate $$\kappa$$ result in non-smoothness of the solution $$u$$ of (1.1). In particular, one cannot expect $$u\in C^{1,2}$$: If $$u(0)\neq0$$ and $$\kappa_{t}=\kappa:=\mathbb {1}_{(-\infty,0)^{d}}$$ for every $$t\in [0,T]$$ in (1.1), then $$x\mapsto u(t,x) \in C^{2}$$ implies $$x\mapsto\kappa(x)u(t,x) \in C$$, which obviously is a contradiction. Hence, for our purposes, the assumption that Itô’s formula can be applied to the solution $$u$$ is futile. Neither is it reasonable to assume that (1.1) has a classical solution. Let us emphasize that such irregularity is not only inherent in (1.1) if the killing rate is discontinuous, but also a typical feature of Kolmogorov equations for other path-dependent options. Prominent examples are boundary value problems related to barrier options in Lévy models as well as free boundary value problems for American options. In each of these cases, the use of a generalized solution concept is called for.

Among the possible generalizations of classical solutions of partial differential equations, we find that viscosity and weak solutions are the ones that are most commonly discussed. Viscosity solutions directly abstract from pointwise solutions by introducing comparison functions that are sufficiently regular, while the root of weak solutions is the problem formulation in a Hilbert space. Conceptually, both have their advantages. From a numerical perspective, viscosity solutions relate to finite difference schemes, whereas weak solutions are the theoretical foundation of Galerkin methods, a rich class of versatile numerical methods to solve partial differential equations. Relying on their elegant Hilbert space formulation, Galerkin methods by their very construction lead to convergent schemes as well as to a lucid error analysis. They furthermore distinguish themselves by their enormous flexibility towards problem types as well as compression techniques. Both theory and implementation of Galerkin methods have experienced a tremendous advancement over the past 50 years. They have become indispensable for today’s technological developments in such diverse areas as aeronautical, biomechanical and automotive engineering.

In mathematical finance, Galerkin pricing algorithms have been developed for various applications, even for basket options in jump models. Furthermore, numerical experiments and error estimates have confirmed their efficiency both in theory as well as in practice; see for instance [33, 37, 34, 23]. We present the implementation of a related Galerkin method to price call options adjusted with a killing rate in Sect. 6. Furthermore, Galerkin-based model reduction techniques have a great potential in financial applications; see [12, 38, 19, 40, 20].

Feynman–Kac representations for viscosity solutions with application to option pricing in Lévy models have been derived in [10] and [11]. Results linking jump processes with Brownian part to variational solutions had already been proved earlier in [5]. However, in order to cover some of the most relevant financial models, we have to consider pure jump processes, i.e., processes without a Brownian component, as well. Pure jump Lévy models have been shown to fit market data with high accuracy and have enjoyed considerable popularity; see for instance [13, 43, 9]. Moreover, statistical analysis of high-frequency data supports the choice of pure jump models; see [1].

We realize that pure jump processes differ significantly from processes with a Brownian part. The Brownian component translates to a second order derivative in the Kolmogorov operator, while the pure jump part corresponds to an integro-differential operator of a lower order of differentiation. Accordingly, the second order derivative is only present in Kolmogorov operators of processes with a Brownian component. As a consequence, the solution to the Kolmogorov equation of a pure jump Lévy process does not lie in the Sobolev space $$H^{1}$$, the space of square-integrable functions with a square-integrable weak derivative. Therefore, we need a more general solution space. In order to make an appropriate choice, recall that Lévy processes are nicely characterized through the Lévy–Khinchine formula by the Fourier transform of their distribution or, equivalently, by the symbol, which is the Fourier representation of the operator. Moreover, the symbol is typically available in terms of an explicit parametric function and as such is the key quantity to parametric Lévy models. For a wide range of processes, the asymptotic behavior of the symbol ensures that the solution of the Kolmogorov equation belongs to a Sobolev–Slobodeckii space, i.e., it has a derivative of fractional order. Even more, parabolicity with respect to Sobolev–Slobodeckii spaces of the Kolmogorov equations related to Lévy processes has been characterized in terms of growth conditions on the symbol in [18].

To allow typical initial conditions, such as the payout function of a call option in logarithmic variables and the Heaviside step function that relates to distribution functions, we base our analysis more generally on exponentially weighted Sobolev–Slobodeckii spaces. We therefore generalize the characterization of parabolicity to time-inhomogeneous Lévy processes and to exponentially weighted Sobolev–Slobodeckii spaces. In [14], existence and uniqueness of weak solutions in exponentially weighted Sobolev–Slobodeckii spaces for Kolmogorov equations related to time-inhomogeneous Lévy processes and a Feynman–Kac formula have been established. Here, we generalize these results to solutions of Kolmogorov equations related to time-inhomogeneous Lévy processes with possibly discontinuous killing rates. Technically, the present setting is more difficult since the Fourier transform of the solution is not explicitly available, and moreover, the solution is not sufficiently regular for an application of Itô’s formula.

The fruitful relation between pseudo-differential operators (PDOs) and Markov processes via their symbols has already been extensively used to establish existence of stochastic processes; see for instance the monographs of Jacob [26, 27, 28]. For a short overview on the different approaches to construct Feller processes and the use of pseudo-differential calculus in this context, see Chapter III in [7]. Let us observe that our question is of a different nature. In our case, existence of the stochastic process $$L$$ is guaranteed, and we establish a Feynman–Kac-type representation of the form (1.2) on this basis. An interesting feature of our approach is that we do need not impose growth conditions on the (higher-order) derivatives of the symbol as in the standard symbolic calculus. Our approach is more closely related to [24], where a class of martingale problems is solved by tracing back the existence of the processes to parabolicity of the Kolmogorov equations with respect to anisotropic Sobolev–Slobodeckii spaces. Compared to the setting in [24], we restrict ourselves to isotropic spaces and constant coefficients but, more generally, allow exponentially weighted spaces and possibly discontinuous killing rates.

To comprise all of the requirements, we state our question more precisely as follows: Under which conditions on the time-inhomogeneous Lévy process $$L$$ , the possibly discontinuous killing rate $$\kappa$$ , the source $$f$$ and initial condition $$g$$ is there a unique weak solution in an exponentially weighted Sobolev–Slobodeckii space of the Kolmogorov equation ( 1.1 ) that allows a stochastic representation of the form ( 1.2 )?

To answer our question, we introduce in the next section the necessary notation and concepts. We use this framework first to characterize parabolicity of the Kolmogorov equation in terms of properties of the symbol in Theorem 3.3. Armed with this, we formulate our main result, the Feynman–Kac-type representation of the weak solution of the Kolmogorov equation (1.1) in Theorem 3.4. In Sect. 4, we find that a wide and interesting class of stochastic processes fall within the scope of this result. Analyzing its applications in Sect. 5 leads us from typical financial problems further to the characterization of purely probabilistic objects. Exploiting the advantages of Theorem 3.4 further, we return to its practical realization and implement a Galerkin scheme to solve (1.1) in Sect. 6. We find that thanks to Theorem 3.4, the solutions thus obtained correspond to option prices. With the numerical implementation at hand, we visualize and discuss the effect of killing rates of indicator type. Section 7 presents a robustness result for weak solutions that is required in our proof of Theorem 3.4 in Sect. 8. In this last section, we also identify desirable regularity properties of the solutions to the Kolmogorov equation. Appendix A provides two technical lemmas for the symbol and the operator, and Appendix B concludes with the proof of Theorem 3.3.

## 2 Preliminaries and notation

In order to present the main result of the present article, we first introduce the underlying stochastic processes, the Kolmogorov equation with killing rate, its weak formulation as well as the solution spaces of our choice. We denote by $$C_{0}^{\infty}(\mathbb {R}^{d})$$ the set of smooth real-valued functions with compact support in $$\mathbb {R}^{d}$$ and let

$$\mathcal{F}(\varphi):= \int_{\mathbb {R}^{d}}\operatorname {e}^{i\langle\xi,x\rangle} \varphi(x) \operatorname{d}x$$

be the Fourier transform of $$\varphi\in C^{\infty}_{0}(\mathbb {R}^{d})$$ and $$\mathcal{F}^{-1}$$ its inverse.

Let a stochastic basis $$(\Omega, \mathcal{F}_{T}, (\mathcal {F}_{t})_{0\le t\le T}, P)$$ be given and let $$L$$ be an $$\mathbb {R}^{d}$$-valued time-inhomogeneous Lévy process with characteristics $$(b_{t},\sigma_{t},F_{t};h)_{t\ge0}$$. That is, $$L$$ has independent increments and for fixed $$t\ge0$$, its characteristic function is given by

\begin{aligned} E\big[\operatorname{e}^{i \langle\xi, L_{t} \rangle}\big] = \operatorname{e}^{-\int_{0}^{t} A_{s}(-i\xi)\operatorname{d}s}\quad\text{for every }\xi\in \mathbb {R}^{d}, \end{aligned}

where for every $$t\ge0$$ and $$\xi\in \mathbb {R}^{d}$$, the symbol of the process is defined as

$$A_{t}(\xi) := \frac{1}{2}\langle\xi,\sigma_{t} \xi\rangle+ i\langle \xi,b_{t}\rangle - \int_{\mathbb {R}^{d}}\big(\operatorname{e}^{-i\langle\xi,y\rangle } -1+ i\langle\xi,h(y)\rangle\big)F_{t}(\operatorname{d}y).$$

Here, for every $$s>0$$, $$\sigma_{s}$$ is a symmetric, positive semi-definite $$d\times d$$-matrix, $$b_{s}\in \mathbb {R}^{d}$$ and $$F_{s}$$ is a Lévy measure, i.e., a positive Borel measure on $$\mathbb {R}^{d}$$ with $$F_{s}(\{0\})=0$$ and $$\int_{\mathbb {R}^{d}} (|x|^{2} \wedge1) F_{s}(\operatorname{d}x) < \infty$$. Moreover, $$h$$ is a truncation function, i.e., $$h:\mathbb {R}^{d}\to \mathbb {R}^{d}$$ is measurable with $$\int_{\{|x|>1\}} |h(x)| F(\operatorname {d}x)<\infty$$ and $$h(x)=x$$ in a neighborhood of 0. As usual, we assume the maps $$s\mapsto\sigma_{s}$$, $$s \mapsto b_{s}$$ and $$s\mapsto\int(|x|^{2}\wedge1) F_{s}(\operatorname{d}x)$$ to be Borel-measurable with, for every $$T>0$$,

$$\int_{0}^{T} \bigg( |b_{s}| + \|\sigma_{s}\|_{\mathcal{M}(d\times d)} +\int_{\mathbb {R}^{d}} (|x|^{2} \wedge1) F_{s}(\operatorname{d}x) \bigg) \operatorname{d}s < \infty,$$

where $$\|\cdot\|_{\mathcal{M}(d\times d)}$$ is a norm on the vector space of $$d\times d$$-matrices.

The Kolmogorov operator of the process $$L$$ is given by

\begin{aligned} \begin{aligned} \mathcal{A}_{t} \varphi(x):= & - \frac{1}{2}\sum_{j,k=1}^{d} \sigma ^{j,k}_{t}\frac{\partial^{2} \varphi}{\partial x_{j}\partial x_{k}}(x)-\sum _{j=1}^{d} b^{j}_{t}\frac{\partial\varphi}{\partial x_{j}}(x)\\ &-\int_{\mathbb {R}^{d}}\bigg( \varphi(x+y)-\varphi(x)-\sum _{j=1}^{d}\frac{\partial\varphi}{\partial x_{j}}(x) h_{j}(y)\bigg)F_{t}(\operatorname{d}y) \end{aligned} \end{aligned}
(2.1)

for every $$\varphi\in C^{\infty}_{0}(\mathbb {R}^{d})$$, where $$h_{j}$$ denotes the $$j$$th component of the truncation function $$h$$. By some elementary manipulations, we obtain

$$\mathcal{A}_{t} \varphi=\mathcal{F}^{-1}\big(A_{t} \mathcal{F}(\varphi )\big)\qquad\text{for all }\varphi\in C^{\infty}_{0}(\mathbb {R}^{d}),$$
(2.2)

which shows that the Kolmogorov operator $$\mathcal{A}$$ is a pseudo-differential operator with symbol $$A$$.

Following the classical way to define solution spaces of parabolic evolution equations, we introduce a Gelfand triplet $$(V,H,V^{\ast})$$, which consists of a pair of separable Hilbert spaces $$V$$ and $$H$$ and the dual space $$V^{\ast}$$ of $$V$$ such that there exists a continuous embedding from $$V$$ into $$H$$. The scalar product in $$H$$ is denoted by $$\langle\cdot,\cdot\rangle _{H}$$ and the duality pairing is denoted by $$\langle\cdot,\cdot\rangle _{V^{\ast}\times V}$$. We denote by $$L^{2}(0,T; H)$$ the space of weakly measurable functions $$u:[0,T]\to H$$ with $$\int_{0}^{T}\|u(t)\|_{H}^{2} \operatorname{d}t < \infty$$ and by $$\partial_{t} u$$ the derivative of $$u$$ with respect to time in the distributional sense. The Sobolev space

$$W^{1}( 0,T; V,H) := \{ u\in L^{2}(0,T;V) \mid\partial_{t} u\in L^{2}(0,T; V^{\ast}) \}$$

will serve as solution space for equation (1.1). For a more detailed introduction to the space $$W^{1}(0,T; V, H)$$, which relies on the Bochner integral, we refer to [44, Sect. 24.2]. More information on Gelfand triplets can be found in [44, Sect. 17.1].

Usually, variational equations of a similar type as the heat equation are formulated with respect to Sobolev spaces, and thus are based on both $$H^{1}$$ and $$L^{2}$$. Since we include pure jump processes in our analysis, the operator (2.1) may be of fractional order. We therefore work with Sobolev–Slobodeckii spaces, which formalize the notion of a derivative of fractional order. Turning to a typical financial problem, we express the price of a call option as solution to a Kolmogorov equation of type (1.1). We then obtain $$\kappa\equiv0$$ and $$f \equiv0$$, while the initial condition is given by $$g(x)=(S_{0}\operatorname{e}^{x} - K)^{+}$$. We now have to realize that $$g\notin L^{2}(\mathbb {R}^{d})$$ and we cannot use an $$L^{2}$$-based approach. The exponentially dampened function $$x\mapsto g(x) \operatorname{e}^{\eta x}$$, however, belongs to $$L^{2}(\mathbb {R}^{d})$$ for every $$\eta<-1$$. Thus, in order to incorporate initial conditions that typically arise in financial problems, we allow an exponential weight. We may further increase the class of function spaces by a domain splitting argument; see Remark 5.2 below.

To make these considerations formally precise, we define the exponentially weighted Sobolev–Slobodeckii space $$H^{\alpha}_{\eta}(\mathbb {R}^{d})$$ with an index $$\alpha\ge0$$ and a weight $$\eta\in \mathbb {R}^{d}$$ as the completion of $$C_{0}^{\infty}(\mathbb {R}^{d})$$ with respect to the norm $$\|\cdot\|_{H^{\alpha}_{\eta}}$$ given by

$$\|\varphi\|_{H^{\alpha}_{\eta}}^{2}:= \int_{\mathbb {R}^{d}} (1+|\xi |)^{2\alpha}|\mathcal{F}(\varphi)(\xi- i \eta)|^{2} \operatorname {d}\xi.$$

Observe that this is a separable Hilbert space. For $$\eta=0$$, the space $$H^{\alpha}_{0}(\mathbb {R}^{d})$$ coincides with the Sobolev–Slobodeckii space $$H^{\alpha}(\mathbb {R}^{d})$$ as it is defined e.g. in [44]. For $$\alpha=0$$ the space $$H^{0}_{\eta}(\mathbb {R}^{d})$$ coincides with the weighted space

$$L^{2}_{\eta}(\mathbb {R}^{d}) := \big\{ u\in L^{1}_{\operatorname {loc}}(\mathbb {R}^{d}) \bigm| x\mapsto u(x)\operatorname{e}^{\langle \eta, x\rangle} \in L^{2}(\mathbb {R}^{d}) \big\} .$$

Furthermore, we denote the dual space of $$H^{\alpha}_{\eta}(\mathbb {R}^{d})$$ by $$H^{\alpha}_{\eta}(\mathbb {R}^{d})^{\ast}$$.

Let $$a: [0,T]\times H^{\alpha}_{\eta}(\mathbb {R}^{d}) \times H^{\alpha}_{\eta}(\mathbb {R}^{d}) \to \mathbb {R}$$ be a family $$a=(a_{t})_{t\in[0,T]}$$ of bilinear forms that are measurable with respect to $$t$$ and let $$\mathcal{A}=(\mathcal{A}_{t})_{t\in[0,T]}$$ with $$\mathcal {A}_{t}: H^{\alpha}_{\eta}(\mathbb {R}^{d}) \to H^{\alpha}_{\eta}(\mathbb {R}^{d})^{\ast}$$ be a family of operators. We say $$a$$ is associated with $$\mathcal{A}$$ if for every $$t\in[0,T]$$,

$$\mathcal{A}_{t}(u)(v) = a_{t}(u,v)\qquad\text{for all } u,v\in H^{\alpha}_{\eta}(\mathbb {R}^{d}).$$
(2.3)

Moreover, we call $$A_{t}:\mathbb {R}^{d}\to \mathbb {C}$$ the symbol associated with $$\mathcal{A}_{t}$$ if

$$\mathcal{A}_{t}(\varphi) = \frac{1}{(2\pi)^{d}} \int_{\mathbb {R}^{d}}\operatorname{e}^{-i\langle\xi, x\rangle} A_{t}(\xi)\mathcal {F}(\varphi)(\xi) \operatorname{d}\xi\qquad\text{for all }\varphi \in C^{\infty}_{0}(\mathbb {R}^{d}).$$

We close the section with the weak formulation of the Kolmogorov equation (1.1).

### Definition 2.1

Let $$V=H^{\alpha}_{\eta}(\mathbb {R}^{d})$$ and $$H=L^{2}_{\eta}(\mathbb {R}^{d})$$, $$\kappa:[0,T]\times \mathbb {R}^{d}\to \mathbb {R}$$ measurable and bounded, $$f\in L^{2}(0,T; V^{\ast})$$ and $$g\in H$$. Then $$u\in W^{1}( 0,T; V,H)$$ is a weak solution of the Kolmogorov equation (1.1) if for almost every $$t\in(0,T)$$,

$$\langle\partial_{t} u(t), v\rangle_{H} + a_{T-t}\big( u(t), v\big) + \langle\kappa_{T-t} u(t), v\rangle_{H} = \langle f(t) | v\rangle _{V^{\ast}\times V}\quad\text{for all }v\in V$$

and $$u(t)$$ converges to $$g$$ in the norm of $$H$$ for $$t\downarrow0$$.

## 3 Main results

Equipped with the necessary notations and concepts, we now focus on our main purpose, providing a Feynman–Kac formula linking weak solutions of PIDEs with killing rates to conditional expectations.

Following a classical way to prove existence and uniqueness of weak solutions of a parabolic equation, we verify continuity and a Gårding inequality of its bilinear form. We specify the notion of parabolicity accordingly and adapt it to our framework.

### Definition 3.1

Let $$\mathcal{A}$$ be an operator associated with a bilinear form $$a$$. We say that $$\mathcal{A}$$, respectively $$a$$, is parabolic with respect to $$H^{\alpha/2}_{\eta}(\mathbb {R}^{d}), L^{2}_{\eta}(\mathbb {R}^{d})$$ if there exist constants $$C,G>0$$, $$G'\ge0$$ such that uniformly for all $$t\in[0,T]$$ and all $$u,v\in H^{\alpha/2}_{\eta}(\mathbb {R}^{d})$$, the following continuity and Gårding inequality hold:

\begin{aligned} |a_{t}(u,v)| &\le C \|u\|_{H^{\alpha/2}_{\eta}(\mathbb {R}^{d})}\|v\| _{H^{\alpha/2}_{\eta}(\mathbb {R}^{d})}, \end{aligned}
(3.1)
\begin{aligned} a_{t}(u,u)&\ge G \|u\|_{H^{\alpha/2}_{\eta}(\mathbb {R}^{d})}^{2} - G'\|u\| _{L^{2}_{\eta}(\mathbb {R}^{d})}^{2}. \end{aligned}
(3.2)

For $$R\subset \mathbb {R}^{d}$$, we say that the parabolicity of $$\mathcal{A}$$, respectively $$a$$, (with respect to $$(H^{\alpha/2}_{\eta}(\mathbb {R}^{d}), L^{2}_{\eta}(\mathbb {R}^{d}))_{\eta \in R}$$) is uniform in $$[0,T]\times R$$ if for all $$u,v\in \bigcup_{\eta\in R}H^{\alpha/2}_{\eta}(\mathbb {R}^{d})$$, the mapping $$t\mapsto a_{t}(u,v)$$ is piecewise continuous and the constants $$C,G, G'$$ work for (3.1) and (3.2) simultaneously for all $$\eta\in R$$.

As highlighted in (2.2), the Kolmogorov operator of a time-inhomogeneous Lévy process is a pseudo-differential operator. Its symbol is explicitly known for various classes and in general is characterized by the exponent of the Lévy–Khinchine representation. Therefore, we express our main assumptions in terms of the symbol of the process. For Lévy processes with symbols $$A$$, it has been shown in [18, Theorem 3.1] that the corresponding bilinear form is parabolic with respect to $$H^{\alpha /2}(\mathbb {R}^{d})$$, $$L^{2}(\mathbb {R}^{d})$$ if and only if constants $$C,G,G'>0$$ and $$0\le\beta<\alpha$$ exist such that for every $$\xi\in \mathbb {R}^{d}$$,

\begin{aligned} |A(\xi) |&\le C ( 1 + |\xi| )^{\alpha}, \end{aligned}
(3.3)
\begin{aligned} \Re\big(A(\xi) \big)&\ge G (1 + |\xi| ) ^{\alpha}- G' (1 + |\xi| ) ^{\beta}. \end{aligned}
(3.4)

We generalize this growth condition so as to render it suitable for the setting of time-inhomogeneous Lévy processes and weighted Sobolev–Slobodeckii spaces. We find that an extension of the bilinear form to such spaces corresponds to a shift of the symbol in the complex plane. Symbols can be extended to complex domains if the appropriate exponential moment condition is satisfied. In more detail, let $$L$$ be a time-inhomogeneous Lévy process. First notice that $$L_{t}$$ is infinitely divisible with Lévy measure $$\widetilde{F_{t}}(\operatorname{d}x):= \int _{0}^{t}F_{s}(\operatorname{d}x)\operatorname{d}s$$ for every $$t\in[0,T]$$, as has been shown by [15, Lemma 1]. Theorem 25.17 in [42] now implies that for all $$\eta\in \mathbb {R}^{d}$$,

\begin{aligned} \int_{0}^{T}\int_{\{|x|>1\}}\operatorname{e}^{\langle\eta,x\rangle }F_{t}(\operatorname{d}x)\operatorname{d}t< \infty \end{aligned}
(3.5)

is equivalent to the exponential moment condition $$E[\operatorname {e}^{\langle\eta, L_{T}\rangle}] <\infty$$ and

\begin{aligned} E\big[\operatorname{e}^{\langle i\xi+\eta, L_{t}\rangle}\big] = \operatorname{e}^{-\int_{0}^{t} A_{s}(-\xi+i\eta)\operatorname{d}s}\quad \text{for all }\xi\in \mathbb {R}^{d}\text{ and }t\ge0. \end{aligned}

We therefore formulate the conditions in terms of an exponential moment condition on the process and growth conditions on the symbol extended to a complex domain. It turns out that this complex domain can conveniently be chosen as a tensorized complex strip. More precisely, for a weight $$\eta=(\eta_{1},\ldots,\eta_{d})$$, let

\begin{aligned} U_{\eta} &:= \big\{ z\in \mathbb {C}^{d} \bigm| \Im(z_{j}) \in\{0\}\cup \operatorname{sgn}(\eta_{j}) [0,|\eta_{j}|) \text{ for }j=1,\ldots,d \big\} ,\\ R_{\eta}&:= \operatorname{sgn}(\eta_{1})[0,|\eta_{1}|]\times\cdots \times\operatorname{sgn}(\eta_{d})[0,|\eta_{d}|]. \end{aligned}

From [42, Theorem 25.17], we also know that the complex set on which $$A_{s}$$ is definable is convex. Lemma 2.1(c) in [14] shows for the present setting that the map $$z\mapsto A_{t}(z)$$ has a continuous extension to the complex domain $$\overline{U_{-\eta}}$$ that is analytic in the interior $$\overset{\circ}{U}\vphantom{l}_{-\eta}$$.

We shall derive the main results using the following set of conditions.

### Conditions 3.2

Fix a weight $$\eta\in \mathbb {R}^{d}$$ and index $$\alpha\in(0,2]$$, and let $$A=(A_{t})_{t\in[0,T]}$$ be a symbol with extension to $$\overline {U_{-\eta}}$$.

1. (A1)

(Exponential moment condition) If $$L$$ is a time-inhomogeneous Lévy process with symbol $$A$$, then for every $$\eta'\in R_{\eta}$$ and $$t\in[0,T]$$,

\begin{aligned} E\big[\operatorname{e}^{-\langle\eta',L_{t}\rangle}\big]&< \infty. \end{aligned}
2. (A2)

(Continuity condition) There exists a constant $$C>0$$ such that uniformly for all $$\eta'\in R_{\eta}$$ and $$t\in[0,T]$$,

\begin{aligned} |A_{t}(\xi- i\eta') |&\le C ( 1 + |\xi| )^{\alpha}. \end{aligned}
(3.6)
3. (A3)

(Gårding condition) There exist constants $$G>0$$, $$G' \ge0$$ and $$0\le\beta<\alpha$$ such that uniformly for all $$\eta'\in R_{\eta}$$ and $$t\in[0,T]$$,

\begin{aligned} \Re\big(A_{t}(\xi-i\eta') \big) \ge G (1 + |\xi| ) ^{\alpha}- G' (1 + |\xi| ) ^{\beta}. \end{aligned}
(3.7)
4. (A4)

For every fixed $$\eta'\in R_{\eta}$$ and $$\xi\in \mathbb {R}^{d}$$, the mapping $$t\mapsto A_{t}(\xi-i\eta')$$ is piecewise continuous.

We say that $$A$$ has Sobolev index $$\alpha$$ uniformly in $$[0,T]\times R_{\eta}$$ if $$A$$ has an extension to $$\overline{U_{-\eta}}$$ that satisfies (A2)–(A4). If $$A$$ is the symbol of a process $$L$$, we also say $$L$$ has Sobolev index $$\alpha$$ uniformly in $$[0,T]\times R_{\eta}$$.

Conditions (A1)–(A4) are satisfied for a large set of processes, for instance tempered stable and normal inverse Gaussian processes as well as their time-inhomogeneous extensions. In Sect. 4, we look in detail at the verification of the conditions.

Notice that for $$\eta=0$$, we have $$R_{0}=\{0\}$$. Thus (A1) is trivially satisfied and (A2) and (A3) simplify accordingly. This case corresponds to the case of Sobolev–Slobodeckii spaces without weighting and is covered by the following results. If, moreover, the symbol is constant in time, (A4) is trivially satisfied and (A1)–(A4) reduce to (3.3) and (3.4). Conditions (A1)–(A3) were introduced in [14] to show existence and uniqueness of weak solutions of the related Kolmogorov equation (without killing rate) along with a Feynman–Kac-type formula with application to European option prices in time-inhomogeneous Lévy models. We additionally require (A4), which only imposes a mild technical restriction.

With our framework defined, let us now state our main results. First, Theorem 3.3 shows the equivalence between parabolicity with respect to weighted Sobolev–Slobodeckii spaces and the growth conditions (A2) and (A3), thereby generalizing the result for Sobolev–Slobodeckii spaces and conditions (3.3) and (3.4) to the present setting. The characterization of (uniform) parabolicity in terms of conditions on the symbol is interesting in its own right. It is, moreover, one of the key steps in our proof of Theorem 3.4 below, which establishes a Feynman–Kac-type representation.

### Theorem 3.3

For $$\eta\in \mathbb {R}^{d}$$ and $$\alpha\in(0,2]$$, let $$L$$ be a time-inhomogeneous Lévy process satisfying the exponential moment condition (A1). Then the following two assertions are equivalent:

1. (i)

The Kolmogorov operator of $$L$$ is uniformly parabolic in $$[0,T]\times R_{\eta}$$ with respect to $$(H^{\alpha/2}_{\eta'}(\mathbb {R}^{d}), L^{2}_{\eta'}(\mathbb {R}^{d}))_{\eta'\in R_{\eta}}$$.

2. (ii)

$$L$$ has Sobolev index $$\alpha$$ uniformly in $$[0,T]\times R_{\eta}$$.

The proof of Theorem 3.3 is given in Appendix B. There, we first give an interesting generalization of this result for operators and symbols that are not necessarily related to stochastic processes.

Assume (A1)–(A4). Then Theorem 3.3 shows in particular the parabolicity of the related bilinear form uniformly in time with respect to $$H^{\alpha/2}_{\eta}(\mathbb {R}^{d})$$ and $$L^{2}_{\eta}(\mathbb {R}^{d})$$. Now the classical existence and uniqueness result, see for instance [45, Theorem 23.A], gives us that the Kolmogorov equation (1.1) has a unique weak solution $$u$$ in the space $$W^{1}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}),L^{2}_{\eta}(\mathbb {R}^{d}))$$.

We now turn to the stochastic representation of this solution. For an integrable or nonnegative random variable $$X$$, we denote

$$E_{0,x}[X] := E_{x}[X], \qquad E_{t,x}[X] := E[X|L_{t}=x]\quad \text{for }t>0,$$

where $$x\mapsto E[X|L_{t}=x]$$ is the factorization of the conditional expectation $$E[X|L_{t}]$$ and $$E_{x}$$ denotes the expectation with respect to the probability measure $$P_{x}$$ such that $$P_{x}[L_{0}=x]=1$$. Moreover, we denote by $$\operatorname{supp}(L_{t})$$ the interior of the set $$\{x\in \mathbb {R}^{d}| P[|L_{t}-x|<\epsilon]>0\text{ for all }\epsilon>0 \}$$.

### Theorem 3.4

For $$\eta\in \mathbb {R}^{d}$$ and $$\alpha\in(0,2]$$, let $$L$$ be an $$\mathbb {R}^{d}$$-valued time-inhomogeneous Lévy process with symbol $$A=(A_{t})_{t\in[0,T]}$$ that satisfies (A1)(A4). Then:

1. (i)

For $$\kappa:[0,T]\times \mathbb {R}^{d}\to \mathbb {R}$$ measurable and bounded, $$f\in L^{2}(0,T ; H^{\alpha/2}_{\eta}(\mathbb {R}^{d})^{\ast})$$ and $$g\in L^{2}_{\eta}(\mathbb {R}^{d})$$, the Kolmogorov equation (1.1) has a unique weak solution $$u$$ in the space $$W^{1}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}),L^{2}_{\eta}(\mathbb {R}^{d}))$$;

2. (ii)

If additionally $$f\in L^{2}(0,T ; H^{\ell}_{\eta}(\mathbb {R}^{d}))$$ for some $$\ell\ge0$$ with $$\ell>(d-\alpha)/2$$, then for every $$t\in[0,T]$$, we have (1.2) a.s. and for a.e. $$x\in \operatorname{supp}(L_{1})$$,

\begin{aligned} & u(T-t,x) \\ &=E_{t,x}\bigg[g(L_{T})\operatorname{e}^{-\int_{t}^{T} \kappa_{h}(L_{h}) \operatorname{d}h} + \int_{t}^{T} f(T-s,L_{s})\operatorname{e}^{-\int _{t}^{s} \kappa_{h}(L_{h}) \operatorname{d}h} \operatorname{d}s\bigg]. \end{aligned}
(3.8)

As we have already seen, part (i) of Theorem 3.4 follows from Theorem 3.3 and the classical existence and uniqueness result for solutions of parabolic equations. Part (ii) is considerably more involved, and Sect. 8 is devoted to its proof.

The major benefit of Theorem 3.4 for financial applications is that conditional expectations of the form (1.2) or (3.8), which naturally appear as financial quantities such as prices of derivatives, are now characterized by weak solutions of PIDEs. Therefore, the prices can be computed by numerically solving an equation of the form (1.1). To illustrate the method and the effect of killing rates, we present among other things an application to employee options in Sect. 5 and provide its Galerkin discretization in Sect. 6.

Theorem 3.4 furthermore shows a specific type of regularity of the conditional expectation (3.8). It is interesting to identify sufficient conditions for Hölder-continuity. Theorem 8.2 in [35] provides the appropriate Sobolev embedding result. Thus we obtain as an immediate consequence of Theorem 3.4 the following corollary.

### Corollary 3.5

Under the assumptions and notations of Theorem 3.4 in the univariate case, i.e., for $$d=1$$, for $$\alpha\in(1,2]$$ and any fixed $$t\in(0,T)$$, the function $$x\mapsto u(t,x)$$ is $$\lambda$$-Hölder-continuous with $$\lambda=\frac{\alpha-1}{2}$$, i.e.,

$$\sup\limits_{x,y\in \mathbb {R}, x\neq y}\frac {|u(t,x)-u(t,y)|}{|x-y|^{\lambda}}< \infty.$$

In particular, $$x\mapsto u(t,x)$$ is continuous and the equality (3.8) in Theorem 3.4 holds for every $$x\in \operatorname{supp}(L_{1})$$.

## 4 Examples of classes of time-inhomogeneous Lévy processes

Let us explore the nature of conditions (A1)–(A4) and show that they are satisfied for a wide class of processes. The conditions (A1)–(A4) naturally apply to processes that are specified through their symbols. Notice that the symbol is expressed in terms of the characteristics of the process. We exploit this in Proposition 4.8 to establish concrete accessible conditions for real valued time-inhomogeneous pure jump Lévy processes with absolutely continuous Lévy measures, while Proposition 4.3 treats time-inhomogeneous multivariate jump-diffusions.

We should, however, realize that conditions (A1)–(A4) are not satisfied by all Lévy processes. On the one hand, continuity (A2) and the Gårding condition (A3) have implications for the distributional properties of the process.

### Remark 4.1

Fix $$\eta\in \mathbb {R}^{d}$$ and $$\alpha\in(0,2 ]$$, and let $$L$$ be a time-inhomogeneous Lévy process with symbol $$A=(A_{t})_{t\ge0}$$. If a Gårding condition (A3) is satisfied for a weight $$\eta$$ and index $$\alpha$$, then there exist $$C_{1},C_{2}>0$$ such that uniformly for all $$\eta'\in R_{\eta}$$ and $$0\le s\le t \le T$$,

\begin{aligned} \Big|\operatorname{e}^{-\int_{s}^{t} A_{u}(\xi-i\eta') \operatorname {d}u}\Big|\le C_{1} \operatorname{e}^{-(t-s)C_{2}|\xi|^{\alpha}}. \end{aligned}
(4.1)

In particular, (A3) implies for every $$t\in(0,T]$$ that the distribution of $$L_{t}$$ has a smooth Lebesgue density.

On the other hand, continuity (A2) and the Gårding condition (A3) relate to the path behavior of the process: If a Lévy process with symbol $$A$$ satisfies (A2) and (A3) for $$\alpha\in(0,2)$$ and $$\eta=0$$, then $$\alpha$$ is its Blumenthal–Getoor index, as shown in [18, Theorem 4.1]. Hence, every pure jump Lévy process satisfying assumptions (A2) and (A3) has infinite jump activity. On this basis, we may for instance conclude that compound Poisson processes do not satisfy (A3).

Variance gamma processes have Blumenthal–Getoor index 0 and thus do not satisfy both (A2) and (A3), as noticed in part (iv) of Example 4.1 in [18]. However, pure jump Lévy processes can be approximated by a sequence of Lévy jump-diffusion processes with nonzero Brownian part. This can always be achieved by adding a diffusion part and letting its volatility coefficient tend to zero. Thus Example 4.4 shows that pure jump Lévy processes can be approximated by Lévy processes for which (A1)–(A3) are satisfied for weight $$\eta=0$$ and index $$\alpha=2$$. The authors of [4] provide a sequence with better approximation properties for Monte Carlo techniques, which could be exploited further in the present context.

Before continuing the discussion on the validity of conditions (A1)–(A4) for other classes of processes, we observe the following.

### Remark 4.2

For $$\eta\in \mathbb {R}^{d}$$ and $$\alpha\in(0,2]$$, let $$A$$ be the symbol of a Lévy process that satisfies the exponential moment condition (A1). By virtue of Lemma A.1 in Appendix A and the continuity of symbols of Lévy processes (as mappings from $$\mathbb {R}^{d}$$ to ℂ), the validity of the continuity condition (A2) for $$A$$ is equivalent to the following asymptotic condition: For every $$N>0$$, there exists a constant $$G>0$$ such that for every $$\eta'\in R_{\eta}$$,

\begin{aligned} \Re\big(A(\xi- i\eta') \big) &\ge G|\xi|^{\alpha}- A(i\eta')\quad \text{for every }\xi\in \mathbb {R}^{d}\text{ such that }|\xi|>N. \end{aligned}

We devote the remainder of this section to providing sufficient conditions for the validity of conditions (A1)–(A4) for time-inhomogeneous jump-diffusions, for pure jump Lévy processes, and for time-inhomogeneous processes.

### 4.1 Jump-diffusions

For time-inhomogeneous Lévy jump-diffusion processes, we find that conditions (A1)–(A4) are satisfied under remarkably weak conditions.

### Proposition 4.3

Fix some $$\eta\in \mathbb {R}^{d}$$. Let $$L$$ be a time-inhomogeneous Lévy process with characteristics $$(b_{t},\sigma_{t},F_{t};h)_{0\le t\le T}$$ such that

\begin{aligned} \sup_{t\in[0,T]}\int_{\{|x|>1\}}\operatorname{e}^{-\langle\eta ',x\rangle} F_{t}(\operatorname{d}x)< \infty\quad\textit{ for every } \eta'\in R_{\eta}, \end{aligned}
(4.2)
\begin{aligned} \sup_{t\in[0,T]}\bigg\{ |b_{t}| + \|\sigma_{t}^{-1}\| + \|\sigma_{t}\| + \int_{\mathbb {R}^{d}} (|x|^{2}\wedge1) F_{t}(\operatorname{d}x)\bigg\} < \infty. \end{aligned}
(4.3)

Then (A1)(A3) are satisfied for the weight $$\eta$$ and index $$\alpha=2$$.

### Proof

Due to the equivalence of (3.5) and the exponential moment condition, (4.2) implies (A1). Observing that

\begin{aligned} \Re\big(A_{t}(\xi-i\eta')\big) &= \langle b_{t}, \eta'\rangle+ \frac {1}{2}\langle\eta',\sigma_{t}\eta'\rangle+ \int_{\mathbb {R}^{d}} \Big( \big(\langle h(x),\eta'\rangle-1\big)\operatorname {e}^{-\langle\eta',x\rangle} - 1\Big)F_{t}(\operatorname{d}x)\\ &\phantom{=:} + \frac{1}{2}\langle\xi,\sigma_{t}\xi\rangle+ \int _{\mathbb {R}^{d}}(\cos\langle\xi,x\rangle - 1 )F_{t}(\operatorname{d}x) \end{aligned}

and $$\int_{\mathbb {R}^{d}}(\cos\langle\xi,x\rangle- 1 )F_{t}(\operatorname{d}x)\ge0$$, the inequalities (4.2) and (4.3) yield the Gårding condition (A3) with $$\alpha=2$$. Similarly, the inequalities (4.2), (4.3) and

$$\Im\big(A_{t}(\xi-i\eta')\big) = \langle b^{-\eta'}_{t}, \xi\rangle + \int_{\mathbb {R}^{d}}\big(\sin\langle\xi,x\rangle- \langle\xi, h(x) \rangle\big)\operatorname{e}^{- \langle\eta',x\rangle }F_{t}(\operatorname{d}x),$$

where $$b^{-\eta'}_{t} = b_{t} + \sigma_{t} \eta' + \int_{\mathbb {R}^{d}} ( \operatorname{e}^{\langle\eta',y\rangle} - 1 ) h(y) F_{t}(\operatorname{d}y)$$ as defined in Lemma A.1 in Appendix A, yield the continuity condition (A2), which concludes the proof. □

For Lévy jump-diffusion processes, the conditions simplify considerably.

### Example 4.4

(Multivariate Lévy processes with Brownian part)

Fix $$\eta\in \mathbb {R}^{d}$$ and let $$L$$ be an $$\mathbb {R}^{d}$$-valued Lévy processes with characteristics $$(b,\sigma,F;h)$$ such that $$\sigma$$ is a positive definite matrix and the Lévy measure $$F$$ satisfies $$\int_{\{|x|>1\}} \operatorname {e}^{- \eta x}F_{t}(\operatorname{d}x)<\infty$$. Then (A1)–(A3) hold for the weight $$\eta\in \mathbb {R}^{d}$$ and index $$\alpha=2$$.

In order to verify those assumptions of Proposition 4.3 that concern the pure jump part of the process, it suffices to consider the pure jump processes separately, as the following lemma shows.

### Lemma 4.5

For $$j=1,2$$, let $$L^{j}$$ be two stochastically independent time-inhomogeneous Lévy processes with symbols $$A^{j}$$ such that (A1)(A4) are satisfied for the same weight $$\eta \in \mathbb {R}^{d}$$ and the possibly different indices $$\alpha^{j}\in(0,2]$$. Then the sum $$L:=L^{1}+L^{2}$$ is a time-inhomogeneous Lévy process with symbol $$A:=A^{1}+A^{2}$$, and (A1)(A4) are satisfied for the weight $$\eta$$ and index $$\alpha:=\max(\alpha^{1},\alpha^{2})$$.

Lemma 4.5 generalizes Remark 4.1 in [18] to the case where $$\eta\neq0$$, and we omit its elementary proof.

### 4.2 Pure jump Lévy processes and operators of fractional order

We now consider a class of multivariate processes which frequently occur in finance and whose symbol is explicitly given.

### Example 4.6

(Multivariate normal inverse Gaussian (NIG) processes)

Let $$L$$ be an $$\mathbb {R}^{d}$$-valued NIG process, which is defined as a Lévy process such that we have $$L_{1}=(L^{1}_{1},\ldots,L^{d}_{1})\sim$$ $$\text{NIG}_{d}(\tilde{\alpha },\beta,\delta,\mu,\Delta)$$ for parameters $$\tilde{\alpha},\delta\ge0$$, $$\beta,\mu\in \mathbb {R}^{d}$$ and a symmetric positive definite matrix $$\Delta\in \mathbb {R}^{d\times d}$$ with $$\tilde{\alpha}^{2}>\langle\beta, \Delta\beta\rangle$$. The symbol of $$L$$ is given by

\begin{aligned} A(u)&= i \langle u,\mu\rangle - \delta\Big(\sqrt{\tilde{\alpha}^{2}-\langle\beta,\Delta\beta \rangle} -\sqrt{\tilde{\alpha}^{2}-\langle\beta+iu,\Delta(\beta+iu)\rangle }\Big), \end{aligned}

where we denote by $$\langle\cdot,\cdot\rangle$$ the (real) scalar product $$\langle z,z'\rangle= \sum_{j=1}^{d} z_{j} z_{j}'$$ for $$z\in \mathbb {C}^{d}$$. Compare e.g. [21, Eq. (2.3)].

Assumptions (A1)–(A3) are satisfied for the index $$\alpha=1$$ and every $$\eta\in \mathbb {R}^{d}$$ such that $$\tilde{\alpha}^{2}> \langle \beta+ \eta', \Delta(\beta+ \eta')\rangle$$ for all $$\eta'\in R_{\eta}$$. This is in particular the case if

\begin{aligned} \|\beta\|^{2} + \|\eta\|^{2} \le\tilde{\alpha}^{2}/\|\Delta\|\text{.} \end{aligned}
(4.4)

To summarize, if the parameters of $$L$$ satisfy (4.4), conditions (A1)–(A4) are satisfied for the weight $$\eta$$ and Sobolev index 1.

Since pure jump Lévy processes can be defined through a Lévy measure and a constant drift, we are interested in finding conditions on both the Lévy measure and the drift that imply conditions (A1)–(A4). Let us address this issue for real-valued time-homogeneous pure jump Lévy processes whose Lévy measure is absolutely continuous. For this class, we generalize [18, Proposition 4.2] to time-inhomogeneity and weights $$\eta\neq0$$. Thereby we obtain explicit conditions on the characteristics that imply conditions (A1)–(A4).

### Conditions 4.7

Fix $$\eta\in \mathbb {R}$$ and $$\alpha\in(0,2]$$, and let $$L$$ be a real-valued time-inhomogeneous Lévy process with characteristics $$(b_{t},\sigma_{t},F_{t};h)_{t\ge0}$$.

1. (F1)

$$\int_{0}^{T}\int_{\{|x|>1\}} \operatorname{e}^{- \eta x}F_{t}(\operatorname{d}x)\operatorname{d}t<\infty$$.

2. (F2)

$$F_{t}$$ is absolutely continuous for every $$t\in[0,T]$$ with $$F_{t}(\operatorname{d}x)= f_{t}(x) \operatorname{d}x$$. In order to formulate the following conditions, we denote the symmetric and antisymmetric parts of the density by $$f^{\mathrm{sym}}_{t}(x):=(f_{t}(x) + f_{t}(-x))/2$$ and $$f^{\mathrm{asym}}_{t}(x) := f_{t}(x) - f^{\mathrm{sym}}_{t}(x)$$.

3. (F3)

There exist constants $$C_{1},C_{2},\epsilon>0$$ and $$0\le\beta<\alpha<2$$ and a function $$g:[0,T]\times[-\epsilon,\epsilon]\to \mathbb {R}$$ such that uniformly for all $$t\in[0,T]$$,

\begin{aligned} f^{\mathrm{sym}}_{t}(x) &\le\frac{C_{1}}{|x|^{1+\alpha}} + g(t,x) \quad \textit{and}\quad |g(t,x)| \le\frac{C_{2}}{|x|^{1+\beta}}\qquad \textit{for all }|x|< \epsilon. \end{aligned}
4. (F4)

If $$\alpha=1$$, there exist constants $$C_{3},\epsilon>0$$ and $$\beta\in(0,1]$$ such that uniformly for all $$t\in[0,T]$$,

\begin{aligned} |f^{\mathrm{asym}}_{t}(x)| \le \frac{C_{3}}{|x|^{1+\beta}}\qquad \textit{for all }|x|< \epsilon. \end{aligned}
(4.5)

If $$\alpha<1$$, then the inequality (4.5) holds for some $$\beta\in[0, \alpha]$$, and moreover, $$b_{t}= \int h(x) F_{t}(\operatorname{d}x)$$ for every $$t\in[0,T]$$.

### Proposition 4.8

Let $$L$$ be a real-valued time-inhomogeneous pure jump Lévy process with characteristics $$(b_{t},0,F_{t})_{t\ge0}$$. Then:

1. (i)

Condition (F1) is equivalent to (A1).

2. (ii)

Conditions (F1)(F3) imply (A1) and (A3).

3. (iii)

Conditions (F1)(F4) imply (A1)(A3).

### Proof

$$\mathrm{(i)}$$ Since $$d=1$$, we have $$R_{\eta}=\operatorname{sgn}(\eta)[0,|\eta|]$$, and part $$\mathrm{(i)}$$ directly follows from Theorem 25.17 in [42].

$$\mathrm{(ii)}$$ We denote $$f_{t,\eta'}(x):= \operatorname{e}^{\eta' x}f_{t}(x)$$ and the symmetric and antisymmetric parts $$f_{t,\eta'}^{\mathrm {sym}}(x):= (f_{t,\eta'}(x) + f_{t,\eta'}(-x))/2$$ and $$f_{t,\eta '}^{\mathrm{asym}}:= f_{t,\eta'} - f_{t,\eta'}^{\mathrm{sym}}$$. Then the elementary identity $$ab+cd=(a+c)(b+d)/2 + (a-c)(b-d)/2$$ yields

\begin{aligned} f_{t,\eta'}^{\mathrm{sym}}(x) = \cosh(\eta' x) f_{t,\eta '}^{\mathrm{sym}}(x) + \sinh(\eta' x) f_{t,\eta'}^{\mathrm{asym}}(x). \end{aligned}

We notice that there exists a constant $$c>0$$ such that

\begin{aligned} \cosh(\eta' x) \ge\operatorname{e}^{-\eta' \epsilon} \quad \text{and}\quad |\sinh(\eta' x)|\le c |x|\qquad \text{for every |x|< \epsilon.} \end{aligned}

Moreover, since $$f\ge0$$, the triangle inequality implies $$|f_{t,\eta'}^{\mathrm{asym}}(x)|\le f_{t,\eta'}^{\mathrm{sym}}(x)$$ for every $$(t,x)\in[0,T]\times \mathbb {R}$$. This shows that condition (F3) also remains valid when we replace $$f_{t}^{\mathrm{sym}}$$ by $$f_{t,\eta'}^{\mathrm{sym}}$$ for every $$\eta'\in R_{\eta}$$. Now part $$\mathrm{(ii)}$$ follows from inequality (4.16) in the proof of Proposition 4.2 in [18].

$$\mathrm{(iii)}$$ Along the same lines as in the proof of part $$\mathrm{(ii)}$$, we observe that

\begin{aligned} f_{t,\eta'}^{\mathrm{asym}}(x) = \sinh(\eta' x) f_{t,\eta '}^{\mathrm{sym}}(x) + \cosh(\eta' x) f_{t,\eta'}^{\mathrm{asym}}(x). \end{aligned}

Thus the validity of condition (F4) also remains valid when replacing $$f_{t}^{\mathrm{asym}}$$ by $$f_{t,\eta'}^{\mathrm{asym}}$$. Then Proposition 4.2 in [18] shows the assertion for $$\alpha=1$$.

For $$\alpha<1$$, we have $$b_{t}= \int h(x) F_{t}(\operatorname{d}x)$$. According to Lemma A.1 and using the notation therein, $$b_{t}^{-\eta'} = \int h(x) F_{t}^{-\eta'}(\operatorname{d}x)$$. Hence, for all $$t\in[0,T]$$ and $$\eta'\in R_{\eta}$$,

\begin{aligned} \Im\big(A(\xi-i\eta')\big) = \int_{\mathbb {R}} \sin(\xi x) \operatorname{e}^{-\eta' x}F_{t}(\operatorname{d}x). \end{aligned}

Estimating the real part of $$A(\xi-i\eta')$$ along the same lines as in the proof of Proposition 4.2 in [18], we obtain the continuity condition (A2). □

We now apply Proposition 4.8 to a concrete class of processes which is frequently used to model asset prices.

### Example 4.9

(Univariate generalized tempered stable Lévy processes)

Let $$L$$ be a generalized tempered stable Lévy process with parameters $$C_{-}$$, $$C _{+}\ge0$$ such that $$C_{-}+C_{+}>0$$ and $$G$$, $$M>0$$ and $$Y_{-}, Y_{+}<2$$. That is, $$L$$ is a pure jump Lévy process with characteristic triplet $$(b,0,F^{\operatorname{temp}};h)$$ with $$F^{\operatorname{temp}}(\operatorname{d}x) = f^{\operatorname {temp}}(x) \operatorname{d}x$$, where

\begin{aligned} f^{\operatorname{temp}}(x) = \left\{ \textstyle\begin{array}{ll} \frac{C_{-}}{|x|^{1+Y_{-}}} \operatorname{e}^{G x} \quad&\text{for }x< 0, \\ \frac{C_{+}}{|x|^{1+Y_{+}}} \operatorname{e}^{-Mx} \quad&\text{for }x\ge0. \end{array}\displaystyle \right. \end{aligned}

For $$C_{\pm}=0$$, we set $$Y_{\pm}:=0$$. For $$C=C_{-}=C_{+}$$ and $$Y=Y_{-}=Y_{+}$$, this class is known as CGMY, after Carr, Geman, Madan and Yor. Tempered stable processes are also referred to as Koponen and KoBoL in the literature; see e.g. [8]. For the general setting, see for instance [39].

Thanks to Proposition 4.8, the conditions (A1)–(A3) are satisfied for every weight $$\eta\in(-G,M)$$ and Sobolev index $$\alpha:=\max\{ Y_{+},Y_{-}\}$$ in each of the following cases:

1. (i)

$$\alpha=\max\{ Y_{+},Y_{-}\}> 1$$,

2. (ii)

$$Y:=Y_{-}=Y_{+}=1$$ and $$C_{-}=C_{+}$$,

3. (iii)

$$0<\alpha=\max\{ Y_{+},Y_{-}\}<1$$ and $$b = \int h(x)F(\operatorname{d}x)$$.

Further examples are considered in [18] for the case $$\eta=0$$. There, Examples 4.5–4.7 give conditions on the parameters that imply conditions (A2) and (A3) for generalized Student-$$t$$, Cauchy, generalized hyperbolic and stable processes. Moreover, again for the case $$\eta=0$$, [18, Sect. 4.3] provides a sufficient tail condition on the Lévy measure for (A2) and (A3) to hold.

### 4.3 Time-inhomogeneous processes

When modeling with Lévy processes in finance, we often need to consider the larger class of time-inhomogeneous Lévy processes because their flexibility in time leads to a considerably better fit to the time evolution of data. We therefore propose two construction principles that lead to parametric families of time-inhomogeneous processes satisfying (A1)–(A4).

First, we find it natural to define a family of time-inhomogeneous Lévy processes by inserting time-dependent parameters into a given parametric class of Lévy processes. For this class, it turns out to be straightforward to show the following result.

### Lemma 4.10

Let $$\mathcal{P}\subset \mathbb {R}^{D}$$ for some $$D>0$$ and $$(A(p,\cdot ))_{p\in\mathcal{P}}$$ a parametrized family of symbols. Fix some $$\eta\in \mathbb {R}^{d}$$ and some $$\alpha\in(0,2]$$. Let (A2) and (A3) be satisfied for $$A$$, uniformly for all $$p\in\mathcal{P}$$. If $$t\mapsto p(t)$$ is measurable, then (A2) and (A3) are satisfied for

$$A_{t}(\xi):=A\big(p(t),\xi\big)\qquad\textit{ for } t\in[0,T] \textit{ and } \xi\in U_{-\eta}.$$

If, moreover, $$(p,\xi)\mapsto A(p,\xi)$$ is continuous and $$t\mapsto p(t)$$ is piecewise continuous, then $$(A_{t})_{t\ge0}$$ is the symbol of a time-inhomogeneous Lévy process $$L'$$ and also satisfies (A4). If additionally (A1) is satisfied for $$L$$, then it is also satisfied for  $$L'$$.

For $$p(t)$$ we can for instance choose a vector of piecewise constant parameters, so as to incorporate different short-, mid- and long-term behavior.

As another natural construction, let us consider stochastic integrals of deterministic functions with respect to Lévy processes. Let $$L$$ be an $$\mathbb {R}^{d}$$-valued Lévy process whose Lévy measure $$F$$ satisfies $$\int_{\{|x|>1\}}|x|F(\operatorname{d}x)<\infty$$, i.e., it is a special semimartingale, and we denote its characteristics $$(b,c,F;h)$$ with $$h$$ chosen as identity. Moreover, let $$f:[0,\infty )\to \mathbb {R}^{n\times d}$$ be a measurable function such that there exist constants $$0< f_{\ast},f^{\ast}$$ with

\begin{aligned} \sup_{0\le t\le T}\big\| \big(f(t)f(t)^{\top}\big)^{-1}\big\| ^{1/2}\le f_{\ast}^{-1} \quad \text{and}\quad \sup_{0\le t\le T}\| f(t)f(t)^{\top}\|^{1/2}\le f^{\ast}, \end{aligned}

where $$\|\cdot\|$$ denotes the spectral norm. Then

$$X_{t} := f\cdot L_{t}:=\int_{0}^{t} f(s) \operatorname{d}L_{s} := \Biggl( \sum _{k=1}^{d}\int_{0}^{t} f^{jk}(s) \operatorname{d}L_{s}^{k}\Biggr)_{j\le d}$$

defines an $$\mathbb {R}^{n}$$-valued semimartingale. Standard arguments from semimartingale theory show that the symbol $$A^{X}$$ of $$X$$ is given by

$$A^{X}_{t}(\xi) = A\big(f(t)^{\top}\xi\big)\quad\text{ for all }\xi \in \mathbb {R}^{n},$$

and the Lévy measure $$F^{X}$$ of $$X$$ is of the form $$F^{X}_{t}(B) = \int_{\mathbb {R}^{d}} \mathbb {1}_{B}(f(t)x) F(\operatorname{d}x)$$ for $$B\in\mathcal{B}(\mathbb {R}^{d}\setminus\{0\})$$. Then, by the continuity of Lévy symbols and Lemma A.1, we obtain the following assertion on the validity of conditions (A1)–(A4).

### Remark 4.11

Fix some $$\rho>0$$, $$\eta^{X}\in \mathbb {R}^{d}$$ with $$|\eta^{X}|\le \frac{\rho}{f^{\ast}}$$ and some $$\alpha>0$$. If $$E[\operatorname {e}^{\rho |L_{t}|}]<\infty$$ for some $$t>0$$, then $$X$$ satisfies the exponential moment condition (A1) for the weight $$\eta^{X}$$. If additionally $$A$$ satisfies (A2) and (A3) for every weight $$\eta\in \mathbb {R}^{d}$$ with $$|\eta|\le\rho$$ and index $$\alpha>0$$, then (A2) and (A3) hold for $$A^{X}$$ with the same index $$\alpha$$ and weight $$\eta^{X}$$. Moreover, if (A4) holds for $$A$$, it is also satisfied by $$A^{X}$$.

## 5 Applications

Having convinced ourselves that it is a wide and interesting class of stochastic processes for which Theorem 3.4 links conditional expectations with weak solutions of PIDEs, let us now explore the virtues of the result for applications. Starting with pricing problems in finance, where discontinuous killing rates arise naturally, we furthermore find that indicator-type killing rates also help us to characterize interesting probabilistic objects. In all these applications, the driving process $$L$$ can be chosen freely and we may employ jump-diffusions or pure jump processes. The latter are intensely used in finance. Examples are NIG and generalized tempered stable processes, which we have shown to satisfy the assumptions of Theorem 3.4.

### 5.1 Employee options

We propose a class of employee options that flexibly reward the management board according to the performance of the corporation’s stock price. Financial instruments used in this context are called employee stock options and often are based on European call options. Thus the reward depends on the level of the stock at specific points in time. Shareholders, however, are typically interested in the performance of the stock during the whole period. They mean to support management decisions that push the stock price constantly to a high level. Moreover, it is arguably fairer to choose the reward according to the performance of the stock value as relative to the market evolution.

To make this formally precise, denote by $$S$$ the $$d$$-dimensional stochastic process that models the stock of the company and $$d-1$$ reference assets. Let $$G:\mathbb {R}^{d}\to \mathbb {R}$$ be a payout profile and $$\kappa:[0,T]\times \mathbb {R}^{d}\to \mathbb {R}$$ a reward rate function. For $$\kappa <0$$, the reward turns into a penalty. Moreover, we include a continuously paid salary by the salary function $$f:[0,T]\times \mathbb {R}^{d}\to \mathbb {R}$$. At maturity $$T$$, the employee obtains the payout

$$G(S_{T})\operatorname{e}^{\int_{0}^{T} \kappa_{h}(S_{h})\operatorname{d}h},$$
(5.1)

in addition to the (integrated) salary

$$f(t,S_{t})\operatorname{e}^{\int_{0}^{t}\kappa_{h}(S_{h})\operatorname {d}h}\operatorname{d}t$$
(5.2)

which is paid at each instant $$t\in[0,T]$$. Thus, the payout profile $$G$$ may depend on the level of the stock and the reference assets. The reward rate and the salary may additionally be time-dependent. Note that our analysis allows us to incorporate discontinuities in the reward rate. Thus threshold- and indicator-type reward functions are allowed, which is a natural choice. Indicator-type killing rates for instance play the role of instantaneous rewards or penalties for stock price levels in a specified domain.

We further use the following notation. For $$x=(x_{1},\ldots,x_{d})\in \mathbb {R}^{d}$$, denote $$\operatorname{e}^{x} :=(\operatorname {e}^{x_{1}},\ldots,\operatorname{e}^{x_{d}})$$, $$\widetilde{G}(x):=G(\operatorname{e}^{x})$$, $$\tilde{\kappa}_{t}(x):= - \kappa_{t}(\operatorname{e}^{x})$$, $$\tilde{f}(t,x):=f(T- t,\operatorname{e}^{x})$$ for all $$t\in[0,T]$$. We now assume the interest rate $$(r_{t})_{t\ge0}$$ to be deterministic, measurable and bounded. We model $$S=(S_{0}^{1}\operatorname {e}^{L^{1}},\ldots,S_{0}^{d}\operatorname{e}^{L^{d}})$$ by a time-inhomogeneous Lévy process $$L$$ with local characteristics $$(b,c,F;h)$$ such that the no-arbitrage condition

\begin{aligned} b^{i}_{t} = r_{t} - \frac{1}{2} c^{ii}_{t}- \int_{\mathbb {R}}\big(e^{x_{i}}-1- h_{i}(x)\big) F_{t}(\operatorname{d}x) \quad\text{for every i=1,\ldots,d} \end{aligned}
(5.3)

is satisfied, where $$h_{i}$$ is the $$i$$th component of the truncation function $$h$$.

The following assertion shows that the fair price of the employee option specified by (5.1) and (5.2) can be computed by solving the related Kolmogorov PIDE. The result is an immediate consequence of Theorem 3.4.

### Corollary 5.1

Let $$\eta\in \mathbb {R}^{d}$$ and $$\alpha\in (0,2]$$ be such that $$\widetilde{G} \in L^{2}_{\eta}(\mathbb {R}^{d})$$ and assume that the time-inhomogeneous Lévy process $$L$$ satisfies (5.3) and conditions (A1)(A4). Denoting $$x=\log S_{0}$$, the fair price

$$u(T,x):=E_{x}\bigg[\widetilde{G}(L_{T})\operatorname{e}^{\int _{0}^{T}(\tilde{\kappa}_{h}(L_{h})-r_{h})\operatorname{d}h} + \int_{0}^{T} \tilde {f}(T-s,L_{s}) \operatorname{e}^{\int_{0}^{s}(\tilde{\kappa }_{h}(L_{h})-r_{h})\operatorname{d}h}\operatorname{d}s\bigg]$$

of the employee option with payout profile (5.1), (5.2) is given by the unique weak solution $$u\in W^{1}(0,T ;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}), L^{2}_{\eta}(\mathbb {R}^{d}))$$ of

\begin{aligned} \dot{ u} + \mathcal{A}_{T-t}u + \tilde{\kappa}_{T-t} u &= -\tilde {f}, \qquad u(0) = \widetilde{G}. \end{aligned}
(5.4)

See Sect. 6 for a numerical implementation of (5.4).

### 5.2 Lévy-driven short rate models

Lévy-driven term structure models were first introduced in [16]. Here, we consider a short rate of the form

$$r_{t} := r(t, L_{t})$$
(5.5)

with an $$\mathbb {R}^{d}$$-valued time-inhomogeneous Lévy process $$L$$ and a measurable bounded interest rate function $$r:[0,T]\times \mathbb {R}^{d} \to \mathbb {R}$$. We allow discontinuities in the function $$r$$ and thus thresholds in the factor model (5.5).

At maturity, the holder of a zero-coupon bond receives one unit of currency. In accordance with the no-arbitrage principle, the time-$$t$$ value of the zero-coupon bond with maturity $$0\le t\le T$$ is modeled by

$$P(t,T):= E\Big[ \operatorname{e}^{-\int_{t}^{T} r_{h}\operatorname {d}h}\Bigm|\mathcal{F}_{t}\Big].$$
(5.6)

Translating this conditional expectation formally into an evolution problem of the form (1.1), we obtain $$g(x)\equiv 1$$ as initial condition. We now have to realize that there is no weight $$\eta\in \mathbb {R}^{d}$$ such that $$x\mapsto\operatorname{e}^{\langle\eta,x\rangle}\in L^{2}(\mathbb {R}^{d})$$. We therefore split the initial condition into summands that each lie in a weighted $$L^{2}$$-space. In the one-dimensional case, for example, we have $$g=\mathbb {1}_{(-\infty,0]} + \mathbb {1}_{(0,\infty)}$$, where $$1_{(-\infty ,0]}\in L^{2}_{\eta^{-}}( \mathbb {R})$$ for every $$\eta^{-}>0$$ and $$1_{(0,\infty)}\in L^{2}_{\eta^{+}}( \mathbb {R})$$ for every $$\eta^{+}<0$$.

### Remark 5.2

We split the given function $$g:\mathbb {R}^{d}\to \mathbb {R}$$ into $$2^{d}$$ summands $$g^{j}$$ that are supported in the $$2^{d}$$ orthants. To be precise, for $$j=1,\ldots,2^{d}$$, let $$p^{j}:=(p^{j}_{1},\ldots,p^{j}_{d})$$ with $$p^{j}_{i}\in\{-1,1\}$$ for the $$2^{d}$$ different possible configurations and let

$$O^{j}:= \{(x_{1},\ldots,x_{d})\in \mathbb {R}^{d}\mid p^{j}_{i}x_{i}\ge0 \text{ for all }i=1,\ldots,d\}.$$
(5.7)

By linearity of the expectation, respectively of the PIDE, the problem can be split additively into $$2^{d}$$ separate problems. If for each of the summands $$g^{j}$$, a weight $$\eta^{j}\in \mathbb {R}^{d}$$ exists such that $$g^{j}\in L^{2}_{\eta^{j}}(\mathbb {R}^{d})$$, then the results of Theorem 3.4 can be applied to each problem with initial condition $$g^{j}$$ separately.

As in Remark 5.2, we split the unity as $$1 \equiv g(x)=\sum_{j=1}^{2^{d}}\mathbb {1}_{O^{j}}(x)$$ a.e. with the distinct orthants $$O^{j}$$ of $$\mathbb {R}^{d}$$ given by (5.7). For each $$j$$, we choose

$$\eta^{j}:= -\epsilon d^{-1/2}p^{j}$$
(5.8)

so that $$\mathbb {1}_{O^{j}}\operatorname{e}^{\langle\eta^{j},\cdot\rangle }\in L^{2}( \mathbb {R}^{d})$$. If the distribution of $$L_{T}$$ has a Lebesgue density, we may rewrite (5.6) as

\begin{aligned} u(T-t,x) = \sum_{j=1}^{2^{d}} u^{j}(T-t,x),\quad u^{j}(T-t,x):= E_{x}\Big[\mathbb {1}_{O^{j}}(L_{T})\operatorname{e}^{-\int_{t}^{T} r_{h}\operatorname{d}h}\Big]. \end{aligned}
(5.9)

### Corollary 5.3

For $$\epsilon>0$$ and $$\alpha\in(0,2]$$, let $$L$$ be a time-inhomogeneous Lévy process such that $$E[\operatorname{e}^{\epsilon |L_{t}|}]<\infty$$ for every $$t\le T$$ and its symbol $$A$$ satisfies (A2)(A4) for the index $$\alpha$$ and every weight $$\eta\in \mathbb {R}^{d}$$ with $$|\eta |<\epsilon$$. Then for every $$0\le t< T$$, the price of the zero-coupon bond in model (5.5) is given as

$$P(t,T)= \sum_{j=1}^{2^{d}} u^{j}(T-t,L_{t}) \quad\textit{a.s.},$$

where $$u^{j}$$ is the unique weak solution in $$W^{1}(0,T ;H^{\alpha /2}_{\eta^{j}}(\mathbb {R}^{d}), L^{2}_{\eta^{j}}(\mathbb {R}^{d}))$$ of

\begin{aligned} \dot{ u}^{j} + \mathcal{A}_{T-t}u^{j} + r u^{j} &= 0, \qquad u^{j}(0) = \mathbb {1}_{O^{j}}. \end{aligned}
(5.10)

### Proof

The assumptions yield that for each $$j=1,\ldots, 2^{d}$$, conditions (A1)–(A4) are satisfied for weight $$\eta^{j}$$ and index $$\alpha$$. According to Remark 4.1, the distribution of $$L_{T}$$ has a Lebesgue density, which yields (5.9). Now the assertion follows directly from Theorem 3.4. □

It is worth mentioning that with the same technique, we can characterize prices of options on a zero-coupon bond by solutions of PIDEs. A distinctive feature of the resulting PIDE is that the solution $$u$$ of (5.9) appears as the initial condition. Its initial condition thus is given by the solutions to the PIDEs (5.10).

Interesting related applications are bankruptcy probabilities in the model of [2], the value of barrier strategies in the bankruptcy model of [3], and reduced-form modeling of credit risk as in [30].

### 5.3 Laplace transform of occupation times

We characterize Laplace transforms of occupation times of time-inhomogeneous Lévy processes via weak solutions of PIDEs. Setting $$\kappa:= \mathbb {1}_{D}$$ for $$D\subset \mathbb {R}^{d}$$ Borel-measurable, $$f:= 0$$, initial condition $$g:= 1$$, and inserting $$L_{0}=x$$, Eq. (3.8) from Theorem 3.4 becomes

$$u(T,x) = E_{x}\Big[\operatorname{e}^{-\gamma\int_{0}^{T} \mathbb {1}_{D}(L_{h}) \operatorname{d}h}\Big],$$
(5.11)

which is the Laplace transform at $$\gamma$$ of the occupation time $$\int_{0}^{T} \mathbb {1}_{D}(L_{h}) \operatorname{d}h$$ that the process $$L$$ spends in the domain $$D$$ until time $$T$$. Landriault et al. [32] analyze Laplace transforms of occupation times of spectrally negative Lévy processes using fluctuation identities. We characterize these transforms for a wide class of time-inhomogeneous Lévy processes by parabolic PIDEs. Let us point out that the assertion is not restricted to spectrally negative processes as the examples of NIG and tempered stable processes show; see Sect. 4.

Splitting the corresponding initial condition according to Remark 5.2, let

$$u^{j}(T,x):= E_{x}\Big[\mathbb {1}_{O^{j}}(L_{T})\operatorname{e}^{-\gamma\int_{0}^{T} \mathbb {1}_{D}(L_{h}) \operatorname{d}h}\Big].$$
(5.12)

Arguing as in the proof of Corollary 5.3 and applying Corollary 3.5, we obtain

### Corollary 5.4

For $$\epsilon>0$$ and $$\alpha\in(0,2]$$, let $$L$$ be a time-inhomogeneous Lévy process such that $$E[\operatorname{e}^{\epsilon |L_{t}|}]<\infty$$ for every $$t\le T$$ and its symbol $$A$$ satisfies (A2)(A4) for the index $$\alpha$$ and every weight $$\eta\in \mathbb {R}^{d}$$ with $$|\eta|<\epsilon$$. Let $$\eta^{j}:= -\epsilon d^{-1/2}p^{j}$$ as in (5.8). Then $$u^{j}$$ from (5.12) is the unique weak solution in $$W^{1}(0,T ;H^{\alpha/2}_{\eta^{j}}(\mathbb {R}^{d}), L^{2}_{\eta^{j}}(\mathbb {R}^{d}))$$  of

\begin{aligned} \dot{ u}^{j} + \mathcal{A}_{T-t}u^{j} + \mathbb {1}_{D} u^{j} &= 0, \qquad u^{j}(0) = \mathbb {1}_{O^{j}}, \end{aligned}

and $$u$$ from (5.11) is given by

$$u(T,x)=\sum_{j=1}^{2^{d}} u^{j}(T,x).$$

If $$d=1$$ and $$\alpha>1$$, then $$x\mapsto u(t,x):=E_{x}[\operatorname {e}^{-\gamma\int_{0}^{t} \mathbb {1}_{D}(L_{h}) \operatorname{d}h}]$$ is $$\lambda$$-Hölder-continuous with $$\lambda=\frac{\alpha-1}{2}$$ for each $$t\in[0,T]$$ and in particular also is continuous.

### 5.4 Penalization of the domain

Observe that the limit of $$\operatorname{e}^{-\gamma\int_{0}^{T} \mathbb {1}_{\overline{D}^{c}}(L_{h}) \operatorname{d}h}$$ as $$\gamma\to\infty$$ links occupation times to exit times. This idea lies at the basis of the repeated use of occupation times for modeling. Moreover, it opens a way to establish a Feynman–Kac-type representation like (3.8) for boundary value problems. In the language of diffusions, a particle present in the outer domain is penalized more and more strongly until it is finally killed the moment it leaves the domain. For jump-diffusion processes, the argument is outlined in [5]. In [17], a similar technique is used for time-inhomogeneous Lévy processes. Interestingly for finance, the resulting Feynman–Kac-type representation serves to characterize prices of barrier and lookback options in pure jump models. The argument is based on the following result and the convergence of solutions for a sequence of killing rates of indicator-type given by $$\kappa^{\lambda}(x):=\lambda \mathbb {1}_{\overline{D}^{c}}(x)$$ for $$\lambda\to\infty$$.

### Corollary 5.5

For $$\alpha\in(0,2]$$ and $$\eta\in \mathbb {R}^{d}$$, let $$L$$ be a time-inhomogeneous Lévy process satisfying assumptions (A1)(A4). Let $$f\in L^{2}(0,T ; H^{\ell}_{\eta}(\mathbb {R}^{d}))$$ for some $$\ell\ge0$$ with $$\ell>(d-\alpha)/2$$, $$g\in L^{2}_{\eta}(\mathbb {R}^{d})$$, $$\kappa :[0,T]\times \mathbb {R}^{d}\to \mathbb {R}$$ be measurable and bounded, $$\lambda>0$$ and $$D\subset \mathbb {R}^{d}$$ open. Then the unique weak solution $$u^{\lambda}$$ in the space $$W^{1}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}),L^{2}_{\eta}(\mathbb {R}^{d}))$$ of

\begin{aligned} \partial_{t} u^{\lambda}+ \mathcal{A}_{T-t} u^{\lambda}+ \kappa_{T-t} u^{\lambda}+ \lambda \mathbb {1}_{\overline{D}^{c}}u^{\lambda}=& f, \qquad u^{\lambda}(0) = g, \end{aligned}

has for every $$t\in(0,T]$$ almost surely the stochastic representation

\begin{aligned} u^{\lambda}(T-t,L_{t}) &= E\bigg[g(L_{T})\operatorname{e}^{-\int_{t}^{T} \kappa_{h}(L_{h}) \operatorname{d}h} \operatorname{e}^{- \lambda\int_{t}^{T} \mathbb {1}_{\overline{D}^{c}}(L_{h}) \operatorname{d}h} \\ & \phantom{=:E\bigg[} + \int_{t}^{T} f(T-s,L_{s})\operatorname{e}^{-\int_{t}^{s} \kappa_{h}(L_{h}) \operatorname{d}h} \operatorname{e}^{- \lambda\int_{t}^{s} \mathbb {1}_{\overline{D}^{c}}(L_{h}) \operatorname{d}h}\operatorname{d}s \biggm|\mathcal{F}_{t}\bigg]. \end{aligned}

### Proof

The assertion follows directly from Theorem 3.4. □

## 6 Numerical implementation

Let us now explore the practical benefits of our Feynman–Kac-type result. We therefore implement a numerical scheme to solve the Kolmogorov equation (1.1) for pricing path-dependent options in jump models. We specify a class of employee options so as to shed light on the effect of a discontinuous killing rate. In order to give insight into the technique, we choose as numerical scheme the wavelet Galerkin method as developed by [33] for European option pricing. This is a very powerful method which uses compression techniques and can be adapted to more involved pricing problems, as we demonstrate by incorporating killing rates. The implementation requires some results from the classical theory on numerical analysis of partial differential equations. In addition, the jump part of the operator needs some special treatment. We take care of the derivation of the discrete scheme by presenting the discretization steps (1)–(6) below.

We specify a type of employee options as described in Sect. 5.1. So as to include penalizations of low stock values permanently rather than only at a fixed maturity, we combine a call option with an indicator-type killing rate. We specify the latter as instantaneous penalization for stock values below a fixed level by setting $$\kappa(S):=-\lambda \mathbb {1}_{(-\infty, B]}(S)$$ with a scale factor $$\lambda>0$$ and level $$B$$ in (5.1), i.e., the payout at maturity is given by

$$G(S_{T})\operatorname{e}^{- \int_{0}^{T} \lambda \mathbb {1}_{(-\infty, B]} (S_{h})\operatorname{d}h},$$
(6.1)

where $$G(S):=\max\{S-K,0\}$$. As driving process $$L$$ in the model $$S=S_{0}\operatorname{e}^{L}$$, we choose a pure jump Lévy process from the family of CGMY processes described in Example 4.9 with parameters $$C>0$$, $$G>1$$, $$M>0$$, $$Y\in[1,2)$$, and whose drift $$b$$ is given by the no-arbitrage condition (5.3). Then, according to Example 4.9, the process and its symbol satisfy conditions (A1)–(A4), with weight $$\eta\in(-G,-1)$$ and index $$\alpha=Y$$.

We now fix a weight $$\eta\in(-G,-1)$$, denote by $$\mathcal{A}$$ the Kolmogorov operator of the process and let $$\widetilde {G}(x):=G(\operatorname{e}^{x})$$ and $$\tilde{\kappa}(x):= - \kappa (\operatorname{e}^{x})$$. According to Corollary 5.1, we obtain the fair price of the option by computing the unique weak solution $$u\in W^{1}(0,T ;H^{Y/2}_{\eta}(\mathbb {R}), L^{2}_{\eta}(\mathbb {R}))$$ of

\begin{aligned} \dot{ u} + \mathcal{A}u + (r+\tilde{\kappa}) u &= 0, \qquad u(0) = \widetilde{G}. \end{aligned}

In order to prepare the discretization with finite elements, we first modify and then localize the equation to a bounded interval. The variational formulation of the resulting equation then allows us to discretize the space with a Galerkin method. Finally, the time discretization completes the fully discrete scheme. In more detail, we proceed along the following steps:

1. (Modification of the equation) We first choose a function $$\psi$$ in the space $$W^{1}(0,T ;H^{Y/2}_{\eta}(\mathbb {R}), L^{2}_{\eta}(\mathbb {R}))$$ such that the difference $$\phi:=u -\psi$$ lies in the space $$W^{1}(0,T ;H^{Y/2}(\mathbb {R}), L^{2}(\mathbb {R}))$$ and $$|\phi(t,x)|\to0$$ for $$|x|\to\infty$$. Then $$\phi$$ is the unique weak solution of the modified equation

\begin{aligned} \dot{\phi} + \mathcal{A}\phi+ (r+\tilde{\kappa}) \phi&= f, \qquad \phi(0) =\widetilde{G} - \psi(0). \end{aligned}
(6.2)

2. (Truncation to a bounded domain) We localize the equation to a bounded interval $$(R_{1},R_{2})$$ with zero constraints outside of the interval. Here, we encounter for the first time a conceptual difference between jump and non-jump processes: The jump part of the process renders the operator $$\mathcal{A}$$ nonlocal. It therefore does not suffice to specify zero boundary conditions. Rather, the values have to be set on the whole outer domain $$\mathbb {R}\setminus(R_{1},R_{2})$$. Formally, we incorporate these zero constraints by setting $$\widetilde {L}^{2}(R_{1},R_{2}):= \{ g\in L^{2}(\mathbb {R})| g|_{[R_{1},R_{2}]^{c}}=0\}$$ and defining the solution space as

$$\widetilde{H}^{Y/2}(R_{1},R_{2}):= \big\{ u\in H^{Y/2}(\mathbb {R})\bigm| u|_{[R_{1},R_{2}]^{c}}=0\big\} .$$

More precisely, instead of solving (6.2), we approximate the unique weak solution $$\tilde{\phi}\in W^{1}(0,T ;\widetilde {H}^{Y/2}(R_{1},R_{2}) , \widetilde{L}^{2}(R_{1},R_{2}))$$ of

\begin{aligned} \dot{\tilde{\phi}} + \mathcal{A}\tilde{\phi} + (r+\tilde{\kappa }) \tilde{\phi} &= f, \qquad \tilde{\phi}(0) =\big(\widetilde{G} - \psi(0)\big)\mathbb {1}_{(R_{1},R_{2})}. \end{aligned}
(6.3)

We now have to realize that we have changed the problem and that we need to control the resulting error $$\|\phi- \tilde{\phi}\|$$ with an appropriate norm $$\|\cdot\|$$. Put differently, we have to choose the function $$\psi$$ in step 1 in such a way that the error $$\|\phi- \tilde{\phi}\|$$ decays fast as $$-R_{1},R_{2}\to\infty$$.

3. (Variational formulation of the equation) The weak solution $$\tilde{\phi}$$ in the space $$W^{1}(0,T ;\widetilde{H}^{Y/2}(R_{1},R_{2}) , \widetilde{L}^{2}(R_{1},R_{2}))$$ solves the operator equation (6.3) if and only if $$\tilde{\phi}$$ satisfies the initial condition of (6.3) as a limit in $$\widetilde {L}^{2}$$, that is,

$$\lim_{t\rightarrow0} \tilde{\phi}(t)= \big(\widetilde{G} - \psi (0)\mathbb {1}_{(R_{1},R_{2})} \big)\quad\text{in } \widetilde{L}^{2}(R_{1},R_{2}),$$

and for all $$\nu\in C^{\infty}_{0}(0,T)$$ and $$\varphi\in\widetilde {H}^{Y/2}(R_{1},R_{2})$$,

$$- \int_{0}^{T} \langle\tilde{\phi}(t), \varphi\rangle_{L^{2}} \dot {\nu}(t) \operatorname{d}t + \int_{0}^{T} a\big( \tilde{\phi}(t), \varphi\big) \nu(t) \operatorname{d}t = \bar{f}(\varphi,\nu),$$
(6.4)

with the bilinear form $$a:\widetilde{H}^{Y/2}(R_{1},R_{2})\times \widetilde{H}^{Y/2}(R_{1},R_{2})\to \mathbb {R}$$ corresponding to the operator $$\mathcal{A}$$ according to (2.3) and $$\bar {f}(\varphi,\nu):= \int_{0}^{T} \langle f(t),\varphi\rangle_{L^{2}} \nu(t) \operatorname{d}t$$. For simplicity of presentation, we assume from now on that $$\psi$$ is constant in time.

4. (Space discretization with a Galerkin method) Coming to the heart of the Galerkin method, we choose a countable Riesz basis $$\{w_{1},w_{2},\ldots\}$$ of $$\widetilde {H}^{Y/2}(R_{1},R_{2})$$ and define

$$X_{n}:=\operatorname{span}\{w_{1},\ldots,w_{n}\}\qquad\text{for all }n\in \mathbb {N}.$$

Since $$\widetilde{H}^{Y/2}(R_{1},R_{2})$$ is dense in $$\widetilde{L}^{2}(R_{1},R_{2})$$, we may further choose $$h_{n}$$ in $$X_{n}$$ such that $$h_{n} \rightarrow\tilde{\phi}(0)$$ in $$\widetilde{L}^{2}(R_{1},R_{2})$$. We obtain the Galerkin equations for each fixed $$n\in \mathbb {N}$$ simply by restricting the variational equation (6.4). The resulting problem is: Find a function $$v_{n} \in W^{1}(0,T; X_{n}; \widetilde{L}^{2}(R_{1},R_{2})\cap X_{n} )$$ that satisfies for all $$\chi\in C^{\infty}_{0}(0,T)$$ and $$\varphi\in X_{n}$$

\begin{aligned} -\int_{0}^{T} \langle v_{n}(t), \varphi\rangle_{L^{2}} \dot{\chi}(t) \operatorname{d}t + \int_{0}^{T} a\big(v_{n}(t), \varphi\big) \chi(t) \operatorname{d}t &= \bar{f}(\varphi,\chi), \\ v_{n}(0) &= h_{n}. \end{aligned}
(6.5)

Elegantly, the classical theory guarantees the convergence of the sequence $$(v_{n})$$ to $$\tilde{\phi}$$ already in this abstract setting. For more details, we refer to [45, Theorem 23.A and Remark 23.25]. The actual performance of the scheme, however, critically depends on the choice of the Riesz basis, which determines the rate of convergence.

5. (Matrix formulation of ( 6.5 )) Using the linearity of the operators, we can simplify (6.5). Namely, it is enough to insert the basis functions $$w_{1},\ldots, w_{n}$$ as test functions $$\varphi\in X_{n}$$ in (6.5). Then, denoting $$h_{n} := \sum_{k=1}^{n} \alpha_{k} w_{k}$$ and $$v_{n}(t):= \sum_{k=1}^{n} V_{k} (t) w_{k}$$, equation (6.5) turns out to be equivalent to

\begin{aligned} \sum_{k=1}^{n} \dot{V}_{k}(t) \langle w_{k},w_{j}\rangle_{L^{2}} + \sum _{k=1}^{n} V_{k}(t) a(w_{k},w_{j} ) &= - a(\psi,w_{j} ), \\ V_{k}(0)&= \alpha_{k}\quad\text{for all }k=1,\ldots,n. \end{aligned}

Written in matrix form, the problem is to find $$V:[0,T] \rightarrow \mathbb {R}^{n}$$ such that

\begin{aligned} M \dot{V}(t) + A V(t) &= F, \end{aligned}
(6.6)
\begin{aligned} V(0) &=\alpha, \end{aligned}
(6.7)

where $$F = (F_{1}, \ldots, F_{n})^{\top}$$ with $$F_{k} = -a(\psi,w_{k} )$$ for every $$k=1,\ldots,n$$ and with $$\alpha=(\alpha_{1},\ldots ,\alpha_{n})^{\top}$$, and the mass matrix $$M$$ and stiffness matrix $$A$$ are

$$M_{jk} = \langle w_{k},w_{j}\rangle_{L^{2}} ,\qquad A_{jk} = a(w_{k},w_{j} )\qquad\text{for all }j,k=1,\ldots,n.$$

Let us mention two critical points that arise in our setting. First, approximation errors in the entries of the stiffness matrix $$A$$ typically lead to significant numerical errors of the resulting scheme. As a consequence, they have to be computed with high precision. Second, due to the nonlocal nature of the operator $$\mathcal{A}$$, the matrix $$A$$ is fully populated. This leads to a high computational cost of the solution scheme, which can be reduced considerably by using compression techniques.

6. (Time discretization) Having reached (6.6) and (6.7), we are finally left with solving a linear system of ordinary differential equations. A variety of discretization methods for these types of equations is available, for instance Euler schemes.

To illustrate the numerical effect of the killing rate, we use an implementation subject to the following specifications in the steps 1–6:Footnote 1

• The equation is modified according to $$\psi(t,x):= \psi(x):= \max (\operatorname{e}^{x}-K,0)$$. Dominated convergence yields $$|u(t,x) - \psi(x)|\to0$$ for $$|x|\to \infty$$. For a similar situation, Proposition 4.1 in [10] shows exponential convergence. We conjecture that also in our setting, we have an exponential decay of the difference $$|\phi-\tilde{\phi}|$$.

• As Riesz basis, a wavelet basis of first polynomial order is chosen and combined with a compression technique replacing the stiffness matrix by a sparse one. We refer to Sect. 12.2.2 in the monograph of Hilber et al. [23] for a presentation of the wavelet compression technique and to [36] for a related error analysis.

• As time discretization, an $$hp$$-discontinuous Galerkin method is chosen, as the initial condition is not differentiable and a scheme selecting more time points at the beginning is advantageous. For details, we refer to Sect. 12.3 in [23].

In our numerical experiments, we consider different domains on which the killing rate is active. Each of these domains is specified by a location parameter $$B$$ according to $$\tilde{\kappa}(x)=\lambda \mathbb {1}_{(-\infty, \log B)}(x)$$. Figure 1 depicts our results for $$B=K=100$$ and $$B=70$$. In both cases, the maturity (in years) is set to $$T=1$$ and the strike to $$K=100$$. The parameters of the process are set to $$C = 0.01560$$, $$G = 0.0767$$, $$M = 7.55$$ and $$Y = 1.2996$$. Notice that the scales of the graphs on the left side are chosen differently from those on the right side.

We see that the killing rate of indicator-type displays an effect in all considered cases. While the difference between the call and the employee options peaks around the level $$S_{0}=B$$, the killing rate affects prices globally with fast decay on both sides. The effects are stronger for higher scale parameters $$\lambda$$. This leads to a monotone order of the price curves; the higher the scale parameter $$\lambda$$, the lower the price when all other parameters are kept equal.

## 7 Robustness of the weak solutions

We provide a robustness result that shows that small perturbations of the data $$f$$ and $$g$$ and, more critically, of the bilinear form $$a$$ only have a small effect on the weak solution of the Kolmogorov equation (1.1). The result is crucial for the limit procedure in our derivation of the Feynman–Kac-type representation in Theorem 3.4.

Let $$X\hookrightarrow H\hookrightarrow X^{\ast}$$ be a Gelfand triplet. For $$t\in[0,T]$$ and each $$n\in \mathbb {N}$$, let $$\mathcal{A}_{t}^{n}$$ (respectively $$\mathcal{A}_{t}$$) be an operator with associated real-valued bilinear form $$a^{n}_{t}$$ (respectively $$a_{t}$$). We introduce the following set of conditions:

1. (An1)

There exists a constant $$C_{1}>0$$ such that uniformly for all $$n\in \mathbb {N}$$, $$t\in[0,T]$$ and $$u,v\in X$$,

\begin{aligned} \max\{|a_{t}^{n}(u,v)|,|a_{t}(u,v)|\}&\le C_{1}\|u\|_{X}\|v\|_{X}. \end{aligned}
2. (An2)

There exist constants $$C_{2}, C_{3}>0$$ such that uniformly for all $$n\in \mathbb {N}$$, $$t\in[0,T]$$ and $$u\in X$$,

\begin{aligned} \min\{a^{n}_{t}(u,u), a_{t}(u,u)\}&\ge C_{2}\|u\|^{2}_{X}-C_{3}\|u\|^{2}_{H}. \end{aligned}
(7.1)
3. (An3)

There exists a sequence of functionals $$F_{n}:L^{2}(0,T;H)\to \mathbb {R}_{+}$$ such that for all $$n\in \mathbb {N}$$ and $$u,v\in L^{2}(0,T;H)$$, both $$F_{n}(u)\to0$$ for $$n\to\infty$$ and

\begin{aligned} \int_{0}^{T}\big|(a^{n}_{t}-a_{t})\big(u(t),v(t)\big)\big|\operatorname {d}t\le F_{n}(u)\|v\|_{L^{2}(0,T;H)}. \end{aligned}
(7.2)

### Lemma 7.1

Let the operators $$\mathcal{A}$$ and $$\mathcal{A}^{n}$$ for $$n\in \mathbb {N}$$ satisfy (An1)(An3). Suppose that $$f^{n},f\in L^{2}(0,T;H)$$ satisfy $$f^{n}\to f$$ in $$L^{2}(0,T;X^{\ast})$$ and $$g^{n},g\in H$$ satisfy $$g^{n}\to g$$ in $$H$$. Then the sequence of unique weak solutions $$u^{n}\in W^{1}(0,T;Y,H)$$ of

$$\dot{u}^{n} + \mathcal{A}^{n}_{t} u^{n} = f^{n},\qquad u^{n}(0)=g^{n}$$
(7.3)

converges strongly in $$L^{2}(0,T;X)\cap C(0,T;H)$$ to the unique weak solution $$u$$ in the space $$W^{1}(0,T;X,H)$$ of

$$\dot{u} + \mathcal{A}_{t} u = f,\qquad u(0)=g.$$
(7.4)

### Proof

Fix $$n\in \mathbb {N}$$ and let $$u^{n},u\in W^{1}(0,T;X,H)$$ be the unique weak solutions of (7.3) and (7.4) and $$w^{n}:=u-u^{n}$$. Subtracting (7.3) from (7.4) and inserting $$w^{n}$$ as test function yields for every $$t\in[0,T]$$

\begin{aligned} &\int_{0}^{t} \big(\dot{w}^{n}(s),w^{n}(s)\big) \operatorname{d}s + \int _{0}^{t} a^{n}_{s}\big(w^{n}(s),w^{n}(s) \big) \operatorname{d}s\\ &\qquad{}=\int_{0}^{t}\big(f^{n}(s)-f(s),w^{n}(s)\big) \operatorname{d}s + \int_{0}^{t} (a^{n}_{s}-a_{s})\big(u(s),w^{n}(s)\big)\operatorname{d}s. \end{aligned}

We insert $$\int_{0}^{t} ( \dot{w}^{n}(s), w^{n}(s) ) \operatorname{d}s=\frac {1}{2} ( \|w^{n}(t)\|_{H}^{2} - \|w^{n}(0)\|_{H}^{2} )$$. Using (7.1), (7.2) and the inequality of Young and subsequently applying the lemma of Gronwall yields the existence of constants $$c_{1},c_{2}>0$$ such that

\begin{aligned} &\sup\limits_{t\in[0,T]} \|w^{n}(t)\|^{2}_{H} + c_{1}\|w^{n}\|^{2}_{L^{2}(0,T;X)}\\ &\qquad\quad{}\le c_{2} \big( |F_{n}(u)|^{2} + \|f^{n}-f\|^{2}_{L^{2}(0,T;X^{\ast})} + \|g^{n}-g\|^{2}_{H} \big) \end{aligned}

with $$F_{n}$$ from condition (An3). Hence $$u^{n}\to u$$ converges strongly in $$L^{2}(0,T;X)$$ and in $$C(0,T;H)$$, which proves the lemma. □

## 8 Proof of the Feynman–Kac-type formula, part (ii) of Theorem 3.4

The key steps in the proof of the Feynman–Kac-type formula in Theorem 3.4 are first applying Itô’s formula with the help of the regularity assertion in Lemma 8.1 below, second invoking the convergence of regularized solutions to the solution of the Kolmogorov equation (1.1) due to the robustness result in Lemma 7.1, and third linking convergence in $$L^{2}_{\eta}(\mathbb {R}^{d})$$ (respectively $$L^{2}(0,T;H^{l}_{\eta}(\mathbb {R}^{d}))$$) to the convergence of conditional expectations via Lemma 8.2.

### Lemma 8.1

For $$\eta\in \mathbb {R}^{d}$$ and $$\alpha>0$$, let $$\mathcal{A}$$ be a pseudo-differential operator whose symbol $$A$$ has Sobolev index $$\alpha$$ uniformly in $$[0,T]\times R_{\eta}$$, and suppose that the mapping $$t\mapsto A_{t}(\xi-i\eta)$$ is continuous for every $$\xi\in \mathbb {R}^{d}$$. For $$\kappa\in L^{\infty}([0,T]\times \mathbb {R}^{d})$$, $$g\in L^{2}_{\eta}(\mathbb {R}^{d})$$ and $$f\in L^{2}(0,T ;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}))$$, let $$u\in W^{1}(0,T ;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}), L^{2}_{\eta}(\mathbb {R}^{d}))$$ be the unique weak solution of

\begin{aligned} \dot{ u} + \mathcal{A}_{T-t}u + \kappa_{T-t} u &= f, \end{aligned}
(8.1)
\begin{aligned} u(0) &= g. \end{aligned}
(8.2)

Then the following assertions hold:

1. (i)

Let $$m\ge1$$. Assume $$g\in H^{(m-1)\alpha/2}_{\eta}(\mathbb {R}^{d})$$, $$f\in L^{2}(0,T ;H^{(m-1)\alpha/2}_{\eta}(\mathbb {R}^{d}))$$ and $$\kappa h \in L^{2}(0,T;H^{k\alpha/2}_{\eta}(\mathbb {R}^{d}))$$ for all $$1\le k\le m$$ and $$h \in L^{2}(0,T;H^{k\alpha/2}_{\eta}(\mathbb {R}^{d}))$$. Then $$u\in L^{2}(0,T;H^{m\alpha/2}_{\eta}(\mathbb {R}^{d}))$$ and $$\dot {u}\in L^{2}(0,T;H^{(m-2)\alpha/2}_{\eta}(\mathbb {R}^{d}))$$.

2. (ii)

Assume $$g\in H^{\beta}_{\eta}(\mathbb {R}^{d})$$ for $$\beta =m+d/2+\max(\alpha,1/2)$$, $$f\in L^{2}(0,T;H^{\gamma}_{\eta}(\mathbb {R}^{d}))$$ for $$\gamma =m+(d+1)/2$$ and $$\kappa\in C^{\infty}_{0}([0,T]\times \mathbb {R}^{d})$$. Then for every multi-index $$k=(k_{1},\ldots,k_{d})$$ with $$|k|\le m$$, the derivative $$(1+\partial_{t})D^{k} u$$ lies in the space $$C([0,T]\times \mathbb {R}^{d})$$. If, moreover, $$\mathcal{A}$$ is the Kolmogorov operator of a Lévy process and $$f$$ is continuous, then (8.1) holds pointwise for all $$(t,x)\in(0,T]\times \mathbb {R}^{d}$$.

### Proof

We derive the regularity assertion by explicit operations on the Fourier transform of the unique weak solution $$u\in W^{1}(0,T; H^{\alpha /2}_{\eta}(\mathbb {R}^{d}),L^{2}_{\eta}(\mathbb {R}^{d}))$$ of (8.1) and (8.2). We show the identity

\begin{aligned} u = \tilde{u} := u^{1} + u^{2} + u^{3} \end{aligned}
(8.3)

with

\begin{aligned} \mathcal{F}_{\eta}\big(u^{1}(t)\big) &:= \mathcal{F}_{\eta}(g)\operatorname{e}^{-\int_{T-t}^{T} A_{u}(\cdot-i\eta) \operatorname{d}u}, \\ \mathcal{F}_{\eta}\big(u^{2}(t)\big) &:= \int_{0}^{t} \mathcal{F}_{\eta}\big(f(s)\big)\operatorname{e}^{-\int_{T-t}^{T-s} A_{u}(\cdot-i\eta ) \operatorname{d}u} \operatorname{d}s, \\ \mathcal{F}_{\eta}\big(u^{3}(t)\big) &:= - \int_{0}^{t} \mathcal{F}_{\eta}\big(\kappa u (s)\big)\operatorname{e}^{-\int_{T-t}^{T-s} A_{\lambda}(\cdot-i\eta) \operatorname{d}\lambda} \operatorname{d}s \end{aligned}

and hence

\begin{aligned} \partial_{t}\mathcal{F}_{\eta}\big(u^{1}(t)\big) &= - A_{T-t}(\cdot -i\eta) \mathcal{F}_{\eta}\big(u^{1}(t)\big), \\ \partial_{t} \mathcal{F}_{\eta}\big(u^{2}(t)\big) &= - A_{T-t}(\cdot -i\eta) \mathcal{F}_{\eta}\big(u^{2} (t)\big) + \mathcal{F}_{\eta}\big(f(t)\big), \\ \partial_{t} \mathcal{F}_{\eta}\big(u^{3}(t)\big) &= - A_{T-t}(\cdot -i\eta) \mathcal{F}_{\eta}\big(u^{3}(t)\big) - \mathcal{F}_{\eta}\big(\kappa u(t)\big). \end{aligned}

In particular, $$\tilde{u}$$ satisfies (8.1). The inequality (4.1) from Remark 4.1 with constants $$C_{1},C_{2}>0$$ and the inequality of Cauchy–Schwarz guarantee the existence of constants $$c_{1},c_{2}>0$$ which are such that for all $$(t,\xi)\in[0,T]\times \mathbb {R}^{d}$$,

\begin{aligned} \big|\mathcal{F}_{\eta}\big(u^{1}(t)\big)(\xi) \big| &\le C_{1} |\mathcal{F}_{\eta}(g)(\xi) |\operatorname{e}^{-t C_{2}|\xi |^{\alpha}}, \\ \big|\mathcal{F}_{\eta}\big(u^{j}(t)\big)(\xi) \big| &\le C_{1} \left (\int_{0}^{t} \big|\mathcal{F}_{\eta}\big(f(s)\big)(\xi)\big|^{2} \operatorname{d}s \right)^{1/2} \left(\int_{0}^{t} \operatorname {e}^{-(t-s)2C_{2}|\xi|^{\alpha}}\operatorname{d}s \right)^{1/2} \\ &\le c_{2} \left(\int_{0}^{T} \big|\mathcal{F}_{\eta}\big(f^{j}(s)\big)(\xi) \big|^{2}( 1 + |\xi|)^{-\alpha}\operatorname{d}s\right)^{1/2} \end{aligned}

as well as

\begin{aligned} \big|\mathcal{F}_{\eta}\big(\partial_{t} u^{1}(t)\big)(\xi) \big| &\le c_{1} |\mathcal{F}_{\eta}(g)(\xi) |( 1 + |\xi|)^{\alpha }\operatorname{e}^{-t C_{2}|\xi|^{\alpha}}, \\ \big|\mathcal{F}_{\eta}\big(\partial_{t} u^{j}(t)\big)(\xi) \big| &\le c_{2} \left(\int_{0}^{T} \big|\mathcal{F}_{\eta}\big(f^{j}(s)\big)(\xi) \big|^{2}( 1 + |\xi|)^{\alpha}\operatorname{d}s\right)^{1/2} + \big|\mathcal{F}_{\eta}\big(f^{j}(s)\big)(\xi)\big|, \end{aligned}

for $$j=1,2$$ with $$f^{1}=f$$ and $$f^{2}=-\kappa u$$. Hence there is a constant $$c_{3}>0$$ with

\begin{aligned} &\|\tilde{u}\|_{L^{2}(0,T;H^{m\alpha/2}_{\eta}(\mathbb {R}^{d}))} + \| \partial_{t} \tilde{u}\|_{L^{2}(0,T;H^{(m-2)\alpha/2}_{\eta}(\mathbb {R}^{d}))}\\ &\le c_{3}\Big(\|g\|_{H^{(m-1)\alpha/2}_{\eta}(\mathbb {R}^{d})} + \|f\| _{L^{2}(0,T;H^{(m-1)\alpha/2}_{\eta}(\mathbb {R}^{d}))} + \|\kappa u\| _{L^{2}(0,T;H^{(m-1)\alpha/2}_{\eta}(\mathbb {R}^{d}))}\Big). \end{aligned}

For $$m=1$$, by inserting $$u\in L^{2}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}))$$ and $$\kappa u \in L^{2}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}))$$, we obtain $$\tilde{u}\in L^{2}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}))$$ and $$\partial_{t}\tilde{u}\in L^{2}(0,T;H^{-\alpha/2}_{\eta}(\mathbb {R}^{d}))$$. In particular, $$\tilde{u}\in W^{1}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}),L^{2}_{\eta}(\mathbb {R}^{d}))$$ is the unique weak solution $$\tilde{u}=u$$ of (8.1) and (8.2). For $$m=2$$, it is thus sufficient to notice that $$\kappa u \in L^{2}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}))$$ implies $$u\in L^{2}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}))$$ and $$\partial_{t}\tilde {u}\in L^{2}(0,T;L^{2}_{\eta}(\mathbb {R}^{d}))$$. An iterative argument then yields part $$\mathrm{(i)}$$.

$$\mathrm{(ii)}$$ By the inequality of Cauchy–Schwarz and $$\int_{\mathbb {R}^{d}}( 1 + |\xi|)^{-d-\epsilon}\operatorname{d}\xi<\infty$$ if $$\epsilon>0$$, we obtain that for $$\beta=m+d/2 + \max(\alpha,1/2)$$ and $$\gamma =m+(d+1)/2$$, there exists a constant $$c_{4}>0$$ such that

\begin{aligned} &\int_{\mathbb {R}^{d}}\big|(1 + \partial_{t}) \mathcal{F}_{\eta}\big((u^{1}+u^{2})(t)\big)(\xi) \big|( 1 + |\xi|)^{m}\operatorname{d}\xi\\ &\le c_{4}\Big(\|g\|_{H^{\beta}_{\eta}(\mathbb {R}^{d})} +\|f\| _{L^{2}(0,T;H^{\gamma}_{\eta}(\mathbb {R}^{d}))} \Big) < \infty. \end{aligned}

Moreover, both $$t\mapsto\mathcal{F}_{\eta}(\tilde{u}(t))(\xi)$$ and $$t\mapsto\partial_{t} \mathcal{F}_{\eta}(\tilde{u}(t))(\xi)$$ are continuous for each fixed $$\xi\in \mathbb {R}^{d}$$. Dominated convergence thus implies that we have $$D^{k}_{x}(1+\partial_{t})(u^{1}+u^{2})\in C([0,T]\times \mathbb {R}^{d})$$ for every multi-index $$k=(k_{1},\ldots,k_{d})$$ with $$|k|\ge0$$. Furthermore, there exists a constant $$c_{5}>0$$ such that

\begin{aligned} \int_{\mathbb {R}^{d}}\big|(1 + \partial_{t}) \mathcal{F}_{\eta}\big(u^{3}(t)\big)(\xi) \big|( 1 + |\xi|)^{m}\operatorname{d}\xi &\le c_{5}\|\kappa u\|_{L^{2}(0,T;H^{\gamma}_{\eta}(\mathbb {R}^{d}))} < \infty. \end{aligned}

Dominated convergence yields $$D^{k}_{x}(1+\partial_{t})u^{3}\in C([0,T]\times \mathbb {R}^{d})$$ for every multi-index $$k=(k_{1},\ldots,k_{d})$$ with $$|k|\ge0$$.

Now let $$\mathcal{A}$$ be the Kolmogorov operator of a time-inhomogeneous Lévy process. To establish (8.1) pointwise, we fix some $$t\in(0,T)$$ for which the equation holds (as operator equation). Then we choose a sequence $$(u_{n})$$ in $$C^{\infty}_{0}((0,T)\times \mathbb {R}^{d})$$ such that $$u_{n}(t)\to u(t)$$ in the norm of $$H^{\alpha/2}_{\eta}(\mathbb {R}^{d})$$ and $$\dot{u}_{n}(t)\to\dot{u}$$ in the norm of $$L^{2}_{\eta}(\mathbb {R}^{d})$$. Moreover, let $$\varphi\in C^{\infty}_{0}(\mathbb {R}^{d})$$. We notice that $$\mathcal{A}_{T-t} u(t)$$ is defined pointwise since $$u(t)\in C^{2}(\mathbb {R}^{d})$$. An elementary manipulation and the continuity of the scalar product yield

\begin{aligned} \int_{\mathbb {R}^{d}} \mathcal{A}_{T-t} u(t,x) \varphi(x) \operatorname{e}^{- 2 \langle\eta,x\rangle}\operatorname{d}x &= \big\langle u(t), \mathcal{A}^{-\eta,\ast}_{T-t}\varphi\big\rangle _{L^{2}_{\eta}} = \lim_{n\to\infty}\big\langle u_{n}(t), \mathcal{A}^{-\eta,\ast }_{T-t}\varphi\big\rangle _{L^{2}_{\eta}} \end{aligned}

with the adjoint operator $$\mathcal{A}^{-\eta,\ast}_{T-t}$$ defined before Lemma A.2 below. Equation (A.1) from Appendix A and the continuity of the bilinear form imply

\begin{aligned} \lim_{n\to\infty}\big\langle u_{n}(t), \mathcal{A}^{-\eta,\ast }_{T-t}\varphi\big\rangle _{L^{2}_{\eta}} = \lim_{n\to\infty} a_{T-t}\big(u_{n}(t),\varphi\big) = a_{T-t}\big(u(t),\varphi\big) \end{aligned}

and hence

\begin{aligned} \langle\dot{u}(t), \varphi\rangle_{L^{2}_{\eta}} + \langle\mathcal {A}_{T-t} u(t), \varphi\rangle_{L^{2}_{\eta}} &= \langle f(t), \varphi \rangle_{L^{2}_{\eta}}\qquad\text{for all }\varphi\in C^{\infty}_{0}(\mathbb {R}^{d}). \end{aligned}

The fundamental lemma of variational calculus yields that for a.e. $$x\in \mathbb {R}^{d}$$, we have $$\dot{u}(t,x) + \mathcal{A}_{T-t} u(t,x)=f(t,x)$$. Since we can choose $$t$$ arbitrarily from a dense subset in $$(0,T)$$, the assertion follows by continuity of $$\dot{u} + \mathcal{A}_{T-\cdot} u - f$$. □

### Lemma 8.2

For $$\eta\in \mathbb {R}^{d}$$ and $$\alpha\in(0,2]$$, let $$L$$ be a time-inhomogeneous Lévy process with symbol $$A=(A_{t})_{t\in[0,T]}$$ that satisfies the exponential moment condition (A1) and the Gårding condition (A3). Then:

1. (i)

For every $$t>0$$, there exists a constant $$C(t)>0$$ such that uniformly for all $$\varphi\in L^{2}_{\eta}(\mathbb {R}^{d})$$ and all $$s\in[t,T]$$,

$$E[|\varphi(L_{s})|]\le C(t) \|\varphi\|_{L^{2}_{\eta}(\mathbb {R}^{d})}.$$
2. (ii)

For $$\ell>(d-\alpha)/2$$ and every $$0\le t< T$$, there exists a constant $$C_{1}>0$$ such that uniformly for all $$\varphi\in L^{2}(0,T; H^{\ell }_{\eta}(\mathbb {R}^{d}))$$,

$$\bigg| E \bigg[ \int_{t}^{T} \varphi(s,L_{s}) \operatorname{d}s \biggm| \mathcal{F}_{t} \bigg] \bigg|\le C_{1} \| \varphi\|_{L^{2}(t,T;H^{\ell}_{\eta}(\mathbb {R}^{d}))}.$$

### Proof

$$\mathrm{(i)}$$ By Remark 4.1 and condition (A3), the distribution of $$L_{t}$$ has a Lebesgue density. Applying Parseval’s identity, we obtain

\begin{aligned} E[|\varphi(L_{t})|] &= \frac{1}{(2\pi)^{d}} \int_{\mathbb {R}^{d}} \mathcal{F}(|\varphi|)(\xi - i\eta) \overline{\operatorname{e}^{-\int_{0}^{t}A_{s}(\xi-i\eta )\operatorname{d}s}} \operatorname{d}\xi. \end{aligned}

Inserting (4.1) and the inequality of Cauchy–Schwarz then yields $$\mathrm{(i)}$$.

$$\mathrm{(ii)}$$ Without loss of generality, we can assume that $$\varphi\ge0$$. Then we can write $$E [ \int_{t}^{T} \varphi(s,L_{s}) \operatorname{d}s | \mathcal {F}_{t} ]=G(L_{t})$$ with

\begin{aligned} G(y) &= E\bigg[ \int_{0}^{T-t} \varphi(s+t, L_{t+s}-L_{t} +y) \operatorname{d}s \bigg]. \end{aligned}

The theorem of Fubini and Parseval’s identity imply

\begin{aligned} G(y) &= \frac{1}{(2 \pi)^{d}} \int_{\mathbb {R}^{d}} \int_{0}^{T-t} \mathcal{F}\big(\tau_{y}\varphi (s+t)\big)(\xi-i\eta) \overline{\operatorname{e}^{-\int _{0}^{s}A_{t+u}(\xi-i\eta)\operatorname{d}u}} \operatorname{d}s \operatorname{d}\xi, \end{aligned}

where $$\tau_{y}f(x):= f(x+y)$$. We notice that $$\mathcal{F}_{\eta}(\tau _{y} f)(\xi)=\operatorname{e}^{-\langle\xi,y\rangle}\mathcal {F}_{\eta}(f)(\xi)$$. Inserting the inequality of Cauchy–Schwarz and (4.1) with constants $$C_{1},C_{2}>0$$, we see that for $$\ell>d-\alpha$$, there are constants $$c_{1},c_{2}>0$$ such that

\begin{aligned} |G(y)|& \le C_{1} \int_{\mathbb {R}^{d}} \left( \int_{0}^{T-t} \big|\mathcal{F}\big(\tau_{y}\varphi(s+t)\big)(\xi-i\eta)\big|^{2}\operatorname{d}s \int_{0}^{T-t} \operatorname{e}^{- 2sC_{2}|\xi |^{\alpha}} \operatorname{d}s\right)^{1/2}\operatorname{d}\xi \\ &\le c_{1}\int_{0}^{T} \int_{\mathbb {R}^{d}}\big|\mathcal{F}\big(\varphi (s+t)\big)(\xi-i\eta)\big|(1+|\xi|)^{\alpha}\operatorname{d}\xi \operatorname{d}s \\ &\le c_{2}\|\varphi\|_{L^{2}(0,T;H^{\ell/2}_{\eta}(\mathbb {R}^{d}))}. \end{aligned}

This concludes the proof. □

We are now in a position to prove part $$\mathrm{(ii)}$$ of Theorem 3.4.

### Proof of Theorem 3.4, part $$\mathrm{(ii)}$$

First, assume that $$t\mapsto A_{t}(\xi-i\eta)$$ is continuous for all $$\xi\in \mathbb {R}^{d}$$. By density arguments and mollification, respectively, we can choose sequences $$(g^{n})$$ in $$C^{\infty}_{0}(\mathbb {R}^{d})$$, $$(f^{n})$$ in $$C^{\infty}_{0}([0,T]\times \mathbb {R}^{d})$$ and $$(\kappa^{n})$$ in $$C^{\infty}_{0}([0,T]\times \mathbb {R}^{d})$$ such that for $$n\to\infty$$,

\begin{aligned} g^{n} &\rightarrow g\qquad \text{in }L^{2}_{\eta}(\mathbb {R}^{d}),\\ f^{n} &\rightarrow f\qquad \text{in }L^{2}\big(0,T;H^{\ell}_{\eta}(\mathbb {R}^{d})\big),\\ \kappa^{n} &\rightarrow\kappa\qquad \text{pointwise and }\sup \limits_{n\in \mathbb {N}}\|\kappa^{n}\|_{L^{\infty}([0,T]\times \mathbb {R}^{d})} < \infty. \end{aligned}

We denote, with a slight abuse of notation, by $$a^{n}_{t}$$ the bilinear form associated with $$\mathcal{A}_{t} + \kappa^{n}_{t}$$ and by $$a_{t}$$ the bilinear form associated with $$\mathcal{A}_{t} + \kappa_{t}$$. Then

\begin{aligned} a^{n}_{t}(u,v) = a_{t}(u,v) + \langle(\kappa^{n}_{t}-\kappa_{t}) u,v\rangle _{L^{2}_{\eta}(\mathbb {R}^{d})}\quad\text{for all }u,v\in H^{\alpha /2}_{\eta}(\mathbb {R}^{d}). \end{aligned}
(8.4)

Together with conditions (A1)–(A3) and the uniform boundedness of $$\kappa^{n}$$ and $$\kappa$$, we obtain the validity of conditions (An1) and (An2) from Sect. 6. Moreover, by (8.4) and the Cauchy–Schwarz inequality, we get

\begin{aligned} \bigg|\int_{0}^{T}(a^{n}-a)\big(u(s),v(s)\big) \operatorname{d}s \bigg| \le\|(\kappa^{n}-\kappa)u\|_{L^{2}(0,T;L^{2}_{\eta}(\mathbb {R}^{d}))} \| v\| _{L^{2}(0,T;L^{2}_{\eta}(\mathbb {R}^{d}))}. \end{aligned}

It follows from pointwise convergence of $$\kappa^{n}\to\kappa$$ and dominated convergence that for $$n\to\infty$$,

$$F_{n}(u):=\|(\kappa^{n}-\kappa)u\|_{L^{2}(0,T;L^{2}_{\eta}(\mathbb {R}^{d}))}\longrightarrow 0 \qquad \text{for all }u\in L^{2}\big(0,T;L^{2}_{\eta}(\mathbb {R}^{d})\big),$$

and hence condition (An3) is satisfied. Let $$u^{n}\in W^{1}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}), L^{2}_{\eta}(\mathbb {R}^{d}))$$ be the unique weak solution of

\begin{aligned} \dot{ u}^{n} + \mathcal{A}_{t}u^{n} + \kappa_{t}^{n} u^{n} &= f^{n}, \qquad u^{n}(0) = g^{n}. \end{aligned}
(8.5)

Lemma 7.1 yields the convergence $$u^{n}\rightarrow u$$, both in $$L^{2}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}))$$ and in $$C(0,T;L^{2}_{\eta}(\mathbb {R}^{d}))$$, to the weak solution $$u\in W^{1}(0,T;H^{\alpha/2}_{\eta}(\mathbb {R}^{d}), L^{2}_{\eta}(\mathbb {R}^{d}))$$ of

\begin{aligned} \dot{ u} + \mathcal{A}_{t}u + \kappa_{t} u &= f, \qquad u(0) = g. \end{aligned}

Lemma 8.1 shows that (8.5) holds pointwise and that $$u^{n}$$ is regular enough to apply Itô’s formula. We denote by $$(b_{t},\sigma_{t}, F_{t};h)_{t\in[0,T]}$$ the characteristics of $$L$$ and set $$w^{n}(t,x):=u^{n}(T-t,x)$$. Then Itô’s formula for semimartingales entails

\begin{aligned} \begin{aligned} &w^{n}(T,L_{T}) \operatorname{e}^{-\int_{0}^{T} \kappa^{n}_{\lambda}(L_{\lambda })\operatorname{d}\lambda}- w^{n}(s,L_{s})\operatorname{e}^{-\int_{0}^{s} \kappa^{n}_{\lambda}(L_{\lambda})\operatorname{d}\lambda}\\ &= \int_{s}^{T} ( \dot{w^{n}} -\mathcal{A}_{\tau}w^{n} - \kappa w^{n}) (\tau ,L_{\tau}) \operatorname{e}^{-\int_{0}^{\tau}\kappa^{n}_{\lambda}(L_{\lambda})\operatorname{d}\lambda} \operatorname{d}\tau\\ & \quad+ \int_{s}^{T} \big( \sigma_{\tau}^{1/2} \nabla w^{n}(\tau,L_{\tau}) \big)\operatorname{e}^{-\int_{0}^{\tau}\kappa^{n}_{\lambda}(L_{\lambda})\operatorname{d}\lambda}\operatorname {d}W_{\tau}\\ &\quad+ \Big( \operatorname{e}^{-\int_{0}^{\cdot}\kappa^{n}_{\lambda}(L_{\lambda})\operatorname{d}\lambda} \big( w^{n}(\cdot,L_{\cdot- }+x) - w^{n}(\cdot,L_{\cdot- }) \big) \mathbb {1}_{(s,\infty)}(\cdot )\Big) \ast( \mu- \nu)_{T}. \end{aligned} \end{aligned}
(8.6)

Thanks to our assumptions on $$g^{n},f^{n}$$ and $$\kappa^{n}$$, we may decompose $$u^{n}$$ into three summands as in (8.3). Then, applying part $$\mathrm{(ii)}$$ of Lemma 8.1, it is elementary to conclude that $$w^{n}$$ and $$\nabla w^{n}$$ belong to $$L^{2}(\mathbb {R}^{d})$$. Hence, the integrals with respect to $$W$$ and $$\mu-\nu$$ are martingales; compare [29, Theorem II.1.33 a)].

We insert $$\dot{w}^{n} - \mathcal{A}_{\tau}w^{n} - \kappa^{n} w^{n}= \overline{f}^{n}$$ with $$\overline{f}(t,x):= f^{n}(T-t,x)$$ in (8.6), subsequently multiply the equation with the term $$\operatorname{e}^{\int_{0}^{s} \kappa^{n}_{\lambda}(L_{\lambda })\operatorname{d}\lambda}$$ and finally take the conditional expectation. This gives for $$0\le s\le T$$

\begin{aligned} &E\Big[w^{n}(T,L_{T}) \operatorname{e}^{-\int_{s}^{T} \kappa^{n}_{\lambda}(L_{\lambda})\operatorname{d}\lambda}\Bigm| \mathcal{F}_{s} \Big] - w^{n}(s,L_{s}) \\ &= E\bigg[\int_{s}^{T} \overline{f}^{n} (\tau,L_{\tau}) \operatorname {e}^{-\int_{s}^{\tau}\kappa^{n}_{\lambda}(L_{\lambda})\operatorname {d}\lambda} \operatorname{d}\tau\biggm|\mathcal{F}_{s}\bigg]. \end{aligned}
(8.7)

Let without loss of generality $$0< s\le T$$. We now derive the desired stochastic representation by letting $$n\to\infty$$ for each term in (8.7). Denote $$w(t,x):=u(T-t,x)$$. From the convergence $$w^{n}(s,\cdot)\to w(s,\cdot)$$ in $$L^{2}_{\eta}(\mathbb {R}^{d})$$ and part $$\mathrm{(i)}$$ of Lemma 8.2 for $$s>0$$, we get the convergence

$$w^{n}(s,L_{s})\longrightarrow w(s,L_{s})\qquad \text{ in L^{1}(P) and a.s. for a subsequence.}$$

The pointwise convergence $$\kappa^{n}\to\kappa$$ and the uniform boundedness together with dominated convergence imply both $$\int_{a}^{b} \kappa^{n}_{\lambda}(L_{\lambda})\operatorname{d}\lambda\rightarrow \int_{a}^{b} \kappa_{\lambda}(L_{\lambda})\operatorname{d}\lambda$$ and uniform boundedness of the sequence for $$0\le a\le b\le T$$. Together with $$w^{n}(s,L_{s})\to w(s,L_{s})$$ in $$L^{1}(P)$$, the convergence

\begin{aligned} E\Big[ \big|w^{n}(t,L_{t})\operatorname{e}^{-\int_{s}^{T} \kappa^{n}_{\lambda}(L_{\lambda})\operatorname{d}\lambda} - w(t,L_{t})\operatorname {e}^{-\int_{s}^{T} \kappa_{\lambda}(L_{\lambda})\operatorname{d}\lambda }\big|\Bigm| \mathcal{F}_{s} \Big] \longrightarrow 0 \end{aligned}

as $$n\to\infty$$ then follows from the triangle inequality.

Next, denote $$\overline{f}(t,x):= f(T-t,x)$$. Since $$f^{n}\rightarrow f$$ in $$L^{2}(t,T;H^{\ell}_{\eta}(\mathbb {R}^{d}))$$, part $$\mathrm{(ii)}$$ of Lemma 8.2 guarantees the existence of a constant $$c_{2}>0$$ for $$\ell>(d-\alpha)/2$$ such that

\begin{aligned} E\bigg[\int_{s}^{T} |(\overline{f}^{n} -\overline{f})(h,L_{h}) | \operatorname{d}h \biggm|\mathcal{F}_{s}\bigg] \le c_{1} \| f^{n}-f \|_{L^{2}(t,T;H^{\ell}_{\eta}(\mathbb {R}^{d}))} \longrightarrow 0. \end{aligned}

Now the triangle inequality yields the convergence of the second line in (8.7) and therefore (1.2) in part $$\mathrm{(ii)}$$ of Theorem 3.4 under the additional assumption that the mapping $$t\mapsto A_{t}(\xi-i\eta)$$ is continuous for every $$\xi\in \mathbb {R}^{d}$$. Finally, thanks to the tower rule of conditional expectations, this claim follows by induction over the continuity periods also under the more general assumption that $$t\mapsto A_{t}(\xi-i\eta)$$ is piecewise continuous for every $$\xi\in \mathbb {R}^{d}$$.

For every $$t\in(0,T]$$, (1.2) in particular shows that the conditional expectation on the left side is $$\sigma (L_{t})$$-measurable. Hence it can be taken with respect to $$L_{t}$$. By Remark 4.1, $$L_{t}$$ has a (smooth) Lebesgue density; thus (3.8) follows.

Finally, defining the process $$\widetilde{L}$$ by its symbol $$\widetilde{A}_{t}:=A_{0}\mathbb {1}_{\{t\le\epsilon\}} + A_{t-\epsilon }\mathbb {1}_{\{t\ge\epsilon\}}$$ and applying the result for the process $$\widetilde{L}$$ on the time interval $$[0,T+\epsilon]$$ yields the desired assertion for $$t=0$$. □