Time-changed spectrally positive Lévy processes started from infinity

Consider a spectrally positive Lévy process Z with log-Laplace exponent Ψ and a positive continuous function R on (0, ∞). We investigate the entrance from infinity of the process X obtained by changing time in Z with the inverse of the additive functional η(t) = ∫ ₀^t_R(Z^ds_s). We provide a necessary and sufficient condition for infinity to be an entrance boundary of the process X. Under this condition, the process can start from infinity and we study its speed of coming down from infinity. When the Lévy process has a negative drift δ:= −γ < 0, sufficient conditions over R and Ψ are found for the process to come down from infinity along the deterministic function (x_t, t ≥ 0) solution to dxt = −γ R(x_t ) dt with x₀ = ∞. If Ψ(λ) ∼ cλ^α as λ → 0, α ∈ (1, 2], c > 0 and R is regularly varying at ∞ with index θ > α, the process comes down from infinity and we find a renormalisation in law of its running infimum at small times.