Abstract:Following our previous work [68], this paper continues to investigate the evolution dynamics of local times of spectrally positive Levy processes with Gaussian components in the spatial direction. We first prove that conditioned on the finiteness of the first time at which the local time at zero exceeds a given value, local times at positive line are equal in law to the unique solution of a stochastic Volterra equation driven by a Gaussian white noise and two Poisson random measures with convolution kernel given in terms of the scale function. The existence and uniqueness of strong solution of the stochastic Volterra equation are also proved when the Levy measure has finite first moment. We then provide several equivalent representations and propose a flow in the local times by establishing a comparison principle for local times of Levy processes with various drifts or stopped when local times at zero exceed different given values.
Armed with the stochastic Volterra equation, we also provide some properties of local times, including the uniform moment estimates, $(1/2-\varepsilon)$-Holder continuity and maximal inequality. By using the method of duality, we establish an exponential-affine representation of the Laplace functional in terms of the unique non-negative solution of a nonlinear Volterra equation associated with the Laplace exponent of the Levy process. This gives us another perspective on the evolution dynamics of local times in the spatial direction.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the evolution dynamics of local times in the spatial direction and their sample path properties of spectrally positive Lévy processes with Gaussian components. Specifically, the author focuses on the conditional distribution of local times and their evolution characteristics when the local time first exceeds a given value.
### Main problem decomposition:
1. **Representation of local time by stochastic Volterra equations**:
- The author proves that under given conditions, the local time can be represented as the unique solution of a stochastic Volterra equation driven by Gaussian white noise and two Poisson random measures. This provides a new perspective for understanding the evolution of local time.
2. **Comparison principle**:
- The author establishes the comparison principle of local times of spectrally positive Lévy processes with different drifts or stopped when the local time first exceeds different given values. This helps to understand the behavior of local time under different conditions.
3. **Properties of local time**:
- Using the stochastic Volterra equation, the author provides some important properties of local time, including uniform moment estimates, Hölder continuity, and maximum inequalities.
4. **Representation of Laplace functionals**:
- By introducing a nonlinear Volterra equation, the author gives an explicit representation of the Laplace functional of local time, thus providing a new method to study the distribution properties of local time.
### Formula summary:
- **Laplace exponent**:
\[
\Phi(\lambda) := \log E\left[\exp\{-\lambda \xi(1)\}\right] = b \cdot \lambda + c \cdot \lambda^2 + \int_0^\infty (e^{-\lambda y} - 1 + \lambda y) \nu(dy), \quad \lambda \geq 0
\]
- **Stochastic Volterra equation**:
\[
X_\zeta(t) = \zeta \cdot c \cdot W'(t) + \int_0^\zeta \int_0^\infty (W(t) - W(t - y)) N_0(dz, dy) + \int_0^t \int_0^{X_\zeta(s)} W'(t - s) B_c(ds, dz)
\]
\[
+ \int_0^t \int_0^{X_\zeta(s)} \int_0^\infty (W(t - s) - W(t - s - y)) \tilde{N}_\nu(ds, dz, dy), \quad t \geq 0
\]
- **Hölder coefficient**:
\[
\|f\|_{C^{0,\kappa}_x} := \sup_{0 \leq y < z \leq x} \frac{|f(y) - f(z)|}{|y - z|^\kappa}
\]
- **Laplace functional**:
\[
E\left[\exp\left\{-\int_{[0,x]} L_\xi^\zeta(x - s) \mu(ds)\right\}\right] = \exp\left\{-\zeta \cdot F \circ V_\mu(x)\right\}, \quad x \geq 0
\]
Through these formulas and theoretical results, the author not only deepens the understanding of the local time of spectrally positive Lévy processes but also provides new tools and methods for future research.