Abstract:Studying the behaviour of Markov processes at boundary points of the state space has a long history, dating back all the way to William Feller. With different motivations in mind entrance and exit questions have been explored for different discontinuous Markov processes in the past two decades. Proofs often use time-change techniques and rely on problem specific knowledge such branching or scaling properties. In this article we ask how far techniques can be pushed with as little as possible model assumptions. We give sharp conditions on time-changed Lévy processes to allow entrance and regular boundary point at infinity. The main tool we introduce is a generalised scaling property that holds for all time-changed Lévy processes and can be used to extend scaling arguments for self-similar Markov processes.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the behavioral characteristics of Lévy processes with time - change at the infinite boundary point. Specifically, the authors hope to explore whether these processes have an entrance and a regular boundary point at infinity, and for this purpose, they introduce a generalised scaling property. Through this method, they hope to generalise the existing research results on self - similar Markov processes (pssMps) and apply these methods to a wider range of time - changed Lévy processes.
### Main problems of the paper:
1. **Entrance behavior of time - changed Lévy processes at infinity**: The authors study under what conditions time - changed Lévy processes can start from infinity and this starting method is consistent with other properties of the process.
2. **Conditions for infinity as a regular boundary point**: Explore under what conditions infinity can be regarded as a regular boundary point and how to construct the corresponding recurrent extension.
### Mathematical formulas:
- **Characteristic exponent of Lévy processes**:
\[
\Psi(q)=\frac{1}{2}\sigma^{2}q^{2}+iaq+\int_{\mathbb{R}}\left(1 - e^{iqx}+iqx\mathbf{1}_{\{|x| < 1\}}\right)\Pi(dx),\quad q\in\mathbb{R}
\]
where \(\sigma^{2}\geq0\), \(a\in\mathbb{R}\), and the Lévy measure \(\Pi\) satisfies \(\int_{\mathbb{R}}(1\wedge x^{2})\Pi(dx)<\infty\).
- **Time - changed process**:
\[
X_{t}=x+\xi_{\eta(t)},\quad\text{where}\quad\eta(t)=\inf\left\{s > 0:\int_{0}^{s}\frac{1}{R(x+\xi_{r})}dr > t\right\}
\]
for \(t < \zeta:=\int_{0}^{\infty}\frac{1}{R(x+\xi_{r})}dr\).
- **Integral test condition**:
\[
\int_{\cdot}^{\infty}\frac{\nu^{+}(y)}{R(y)}dy < \infty
\]
where \(\nu^{+}\) is the renewal function of the ascending height process \(H^{+}\).
### Key concepts:
- **R - scaling invariance**:
\[
\Phi_{R}^{z}(w)_{t}=z+w_{h_{z}(t)},\quad t\geq0
\]
where \(h_{z}(t)=\inf\left\{s\geq0:\int_{0}^{s}g(z,w_{u})du > t\right\}\), and \(g(z,x)=\frac{R(x)}{R(z + x)}\) if \(x\in\mathbb{R}\), otherwise \(g(z,x)=1\).
### Main theorems:
- **Infinity as an entrance boundary (Theorem 2.4)**:
The time - changed Lévy process has infinity as an entrance boundary if and only if condition (H1) holds and:
\[
\int_{\cdot}^{\infty}\frac{\nu^{+}(y)}{R(y)}dy