For a one-dimensional Lévy process, we derive an explicit formula for the probability of first hitting a specified point among a fixed finite set. Moreover, using this formula, we obtain an explicit expression for each entry of the $Q$-matrix of the trace process on the finite set. These formulas involve solely the renormalized zero resolvent.
We consider the problem of characterising expected hitting times and hitting probabilities for imprecise Markov chains. To this end, we consider three distinct ways in which imprecise Markov chains have been defined in the literature: as sets of homogeneous Markov chains, as sets of more general stochastic processes, and as game-theoretic probability models. Our first contribution is that all these different types of imprecise Markov chains have the same lower and upper expected hitting times, and similarly the hitting probabilities are the same for these three types. Moreover, we provide a ch…
Motivated by a risk process with positive and negative premium rates, we consider a real-valued Markov additive process with finitely many background states. This additive process linearly increases or decreases while the background state is unchanged, and may have upward jumps at the transition instants of the background state. It is known that the hitting probabilities of this additive process at lower levels have a matrix exponential form. We here study the hitting probabilities at upper levels, which do not have a matrix exponential form in general. These probabilities give the ruin probab…
Generalizing the well-known relations on characteristic functions on a plane to the case of a one-dimensional regular surface (curve) with compact support, we establish implicit equations for these functions. Introducing an approximation, we solve the combinatorial problems and reduce these equations to a set of linear equations for a finite number of unknown functions. Imposing natural conditions, we obtain a closed system of linear equations which can be solved for a given surface. Its solutions can be used to calculate the distribution of hitting probabilities for a regular surface with com…
We consider a system of $d$ coupled non-linear stochastic heat equations in spatial dimension 1 driven by $d$-dimensional additive space-time white noise. We establish upper and lower bounds on hitting probabilities of the solution $\{u(t, x)\}_{t \in \mathbb{R}_+, x \in [0, 1]}$, in terms of respectively Hausdorff measure and Newtonian capacity. We also obtain the Hausdorff dimensions of level sets and their projections. A result of independent interest is an anisotropic form of the Kolmogorov continuity theorem.
We investigate the optimal Hölder continuity and hitting probabilities for systems of stochastic heat equations and stochastic wave equations driven by an additive fractional Brownian sheet with temporal index $1/2$ and spatial index $H\le1/2$. Using stochastic calculus for fractional Brownian motion, we prove that these systems are well-posed and the solutions are Hölder continuous. Furthermore, the optimal Hölder exponents are obtained, which is the first result, as far as we knew, on the optimal Hölder continuity of SHEs and SWEs driven by fractional Brownian sheet that is rough in space. B…
In the first part of this paper, we obtain symmetric formulae for the probabilities that a plane convex body hits exactly 1, 2, 3, 4, 5 or 6 triangles of a lattice of congruent triangles in the plane. Furthermore, a very simple formula for the expectation of the number of hit triangles is derived. In the second part, we calculate the hitting probabilities in the cases where the convex body is a rectangle, an ellipse and a half disc. Already known results for a line segment (needle) follow as special cases of the rectangle and the ellipse.
We develop criteria for hitting probabilities of anisotropic Gaussian random fields with associated canonical pseudo-metric given by a class of gauge functions. This yields lower and upper bounds in terms of general notions of capacity and Hausdorff measure, respectively, therefore extending the classical estimates with the Bessel-Riesz capacity and the $γ$-dimensional Hausdorff measure. We apply the criteria to a system of linear stochastic partial differential equations driven by space-time noises that are fractional in time and either white or colored in space.
We prove sharp two-sided estimates on the tail probability of the first hitting time of bounded interval as well as its asymptotic behaviour for general non-symmetric processes which satisfy an integral condition \[ \int_0^{\infty} \frac{dξ}{1+\operatorname{Re} ψ(ξ)}<\infty. \] To this end, we first prove and then apply the global scale invariant Harnack inequality. Results are obtained under certain conditions on the characteristic exponent. We provide a wide class of Lévy processs which satisfy these assumptions.
We consider a system of $d$ non-linear stochastic fractional heat equations in spatial dimension $1$ driven by multiplicative $d$-dimensional space-time white noise. We establish a sharp Gaussian-type upper bound on the two-point probability density function of $(u(s, y), u (t, x))$. From this result, we deduce optimal lower bounds on hitting probabilities of the process $\{u(t, x): (t, x) \in [0, \infty[ \times \mathbb{R}\}$ in the non-Gaussian case, in terms of Newtonian capacity, which is as sharp as that in the Gaussian case. This also improves the result in Dalang, Khoshnevisan and Nualar…
Let $B^{H}$ be a $d$-dimensional fractional Brownian motion with Hurst index $H\in(0,1)$, $f:[0,1]\longrightarrow\mathbb{R}^{d}$ a Borel function, and $E\subset[0,1]$, $F\subset\mathbb{R}^{d}$ are given Borel sets. The focus of this paper is on hitting probabilities of the fractional Brownian motion $B^{H}$ with the deterministic drift $f$. It aims to highlight the role of the regularity properties of the drift $f$ as well as that of the dimension of $E$ in determining the upper and lower bounds of $\mathbb{P}\{(B^H+f)(E)\cap F\neq \emptyset \}$ for $F$ a subset of $\mathbb{R}^{d}$ and also fo…
We consider a $d$-dimensional random field $u=(u(x), x\in D)$ that solves a system of elliptic stochastic equations on a bounded domain $D\subset \mathbb{R}^k$, with additive white noise and spatial dimension $k=1,2,3$. Properties of $u$ and its probability law are proved. For Gaussian solutions, using results from [Dalang and Sanz-Solé, 2009], we establish upper and lower bounds on hitting probabilities in terms of the Hausdorff measure and Bessel-Riesz capacity, respectively. This relies on precise estimates on the canonical distance of the process or, equivalently, on $L^2$ estimates of inc…
We establish a sharp estimate on the negative moments of the smallest eigenvalue of the Malliavin matrix $γ_Z$ of $Z := (u(s, y), u(t, x) - u(s, y))$, where $u$ is the solution to system of $d$ non-linear stochastic heat equations in spatial dimension $k \geq 1$. We also obtain the optimal exponents for the $L^p$-modulus of continuity of the increments of the solution and of its Malliavin derivatives. These lead to optimal lower bounds on hitting probabilities of the process $\{u(t, x): (t, x) \in [0, \infty[ \times \mathbb{R}\}$ in the non-Gaussian case in terms of Newtonian capacity, and imp…
We consider a stochastic flow $ϕ_t(x,ω)$ in $\mathbb{R}^n$ with initial point $ϕ_0(x,ω)=x$, driven by a single $n$-dimensional Brownian motion, and with an outward radial drift of magnitude $\frac{ F(\|ϕ_t(x)\|)}{\|ϕ_t(x)\|}$, with $F$ nonnegative, bounded and Lipschitz. We consider initial points $x$ lying in a set of positive distance from the origin. We show that there exist constants $C^*,c^*>0$ not depending on $n$, such that if $F>C^*n$ then the image of the initial set under the flow has probability 0 of hitting the origin. If $0\leq F \leq c^*n^{3/4}$, and if the initial set has nonemp…
Let $A$ be a limsup random fractal with indices $γ_1, ~γ_2 ~$and $δ$ on $[0,1]^d$. We determine the hitting probability $\mathbb{P}(A\cap G)$ for any analytic set $G$ with the condition $(\star)$$\colon$ $\dim_{\rm H}(G)>γ_2+δ$, where $\dim_{\rm H}$ denotes the Hausdorff dimension. This extends the correspondence of Khoshnevisan, Peres and Xiao [10] by relaxing the condition that the probability $P_n$ of choosing each dyadic hyper-cube is homogeneous and $\lim\limits_{n\to\infty}\frac{\log_2P_n}{n}$ exists. We also present some counterexamples to show the Hausdorff dimension in condition $(\st…
For a scalar Gaussian process $B$ on $\mathbb{R}_{+}$ with a prescribed general variance function $γ^{2}\left(r\right) =\mathrm{Var}\left(B\left(r\right) \right) $ and a canonical metric $\mathrm{E}[\left(B\left(t\right) -B\left(s\right) \right) ^{2}]$ which is commensurate with $γ^{2}\left(t-s\right) $, we estimate the probability for a vector of $d$ iid copies of $B$ to hit a bounded set $A$ in $\mathbb{R}^{d}$, with conditions on $γ$ which place no restrictions of power type or of approximate self-similarity, assuming only that $γ$ is continuous, increasing, and concave, with $γ\left(0\righ…
We consider a $d$-dimensional random field $u = \{u(t,x)\}$ that solves a non-linear system of stochastic wave equations in spatial dimensions $k \in \{1,2,3\}$, driven by a spatially homogeneous Gaussian noise that is white in time. We mainly consider the case where the spatial covariance is given by a Riesz kernel with exponent $β$. Using Malliavin calculus, we establish upper and lower bounds on the probabilities that the random field visits a deterministic subset of $\IR^d$, in terms, respectively, of Hausdorff measure and Newtonian capacity of this set. The dimension that appears in the H…
We consider a system of $d$ non-linear stochastic heat equations in spatial dimension $k \geq 1$, whose solution is an $\R^d$-valued random field $u= \{u(t\,,x),\, (t,x) \in \R_+ \times \R^k\}$. The $d$-dimensional driving noise is white in time and with a spatially homogeneous covariance defined as a Riesz kernel with exponent $β$, where $0<β<(2 \wedge k)$. The non-linearities appear both as additive drift terms and as multipliers of the noise. Using techniques of Malliavin calculus, we establish an upper bound on the two-point density, with respect to Lebesgue measure, of the $\R^{2d}$-value…
Consider the linear stochastic biharmonic heat equation on a $d$-dimensional torus ($d=1,2,3$), driven by a space-time white noise and with periodic boundary conditions: \begin{equation} \label{0} \left(\frac{\partial}{\partial t}+(-Δ)^2\right) v(t,x)= σ\dot W(t,x),\ (t,x)\in(0,T]\times \mathbb{T}^d,\ v(0,x)=v_0(x). \end{equation} We find the canonical pseudo-distance corresponding to the random field solution, therefore the precise description of the anisotropies of the process. We see that for $d=2$, they include a $z(\log \tfrac{c}{z})^{1/2}$ term. Consider $D$ independent copies of the ran…
In population genetics, diffusions on the unit interval are often used to model the frequency path of an allele. In this setting we derive approximations for fixation probabilities, expected hitting times and the expected site-frequency-spectrum under small frequency-dependent selection. Specifically, we rederive and extend the one-third rule of evolutionary game theory (Nowak et al., 2004) and effects of stochastic slowdown (Altrock and Traulsen, 2009). Since similar effects are of interest in other application areas, we formulate our results for general one-dimensional diffusions.
We consider a system of d non-linear stochastic heat equations in spatial dimension 1 driven by d-dimensional space-time white noise. The non-linearities appear both as additive drift terms and as multipliers of the noise. Using techniques of Malliavin calculus, we establish upper and lower bounds on the one-point density of the solution u(t,x), and upper bounds of Gaussian-type on the two-point density of (u(s,y),u(t,x)). In particular, this estimate quantifies how this density degenerates as (s,y) converges to (t,x). From these results, we deduce upper and lower bounds on hitting probabiliti…
The asymptotic behavior of the tail probabilities for the first hitting times of the Bessel process with arbitrary index is shown without using the explicit expressions for the distribution function obtained in the authors' previous works.
Let $X= \{X(t), t \in \mathbb R^N\}$ be a centered Gaussian random field with values in $\mathbb R^d$ satisfying certain conditions and let $F \subset \mathbb R^d$ be a Borel set. In our main theorem, we provide a sufficient condition for $F$ to be polar for $X$, i.e. $\mathbb P \big( X(t) \in F \hbox{ for some } t \in \mathbb R^N \big) = 0$, which improves significantly the main result in Dalang et al [7], where the case of $F$ being a singleton was considered. We provide a variety of examples of Gaussian random field for which our result is applicable. Moreover, by using our main theorem, we…
This paper investigates the influences of standard numerical discretizations on hitting probabilities for linear stochastic parabolic system driven by space-time white noises. We establish lower and upper bounds for hitting probabilities of the associated numerical solutions of both temporal and spatial semi-discretizations in terms of Bessel-Riesz capacity and Hausdorff measure, respectively. Moreover, the critical dimensions of both temporal and spatial semi-discretizations turn out to be half of those of the exact solution. This reveals that for a large class of Borel sets $A$, the probabil…
In this short article, we will focus on the different links between some stochastic processes resulting from Brownian motion and two notions of probability theory (proportional increments and last hitting times).
For a certain class of asymmetric Lévy processes where the origin is regular for itself, the renormalized zero resolvent is proved to be harmonic for the killed process upon hitting zero.
We provide sharp lower and upper bounds for the Hausdorff dimension of the intersection of a typical random covering set with a fixed analytic set both in Ahlfors regular metric spaces and in the $d$-dimensional torus. In metric spaces, we consider covering sets generated by balls and, in the torus, we deal with general analytic generating sets.
Several aspects of the laws of first hitting times of points are investigated for one-dimensional symmetric stable Lévy processes. Itô's excursion theory plays a key role in this study.
By the Cameron--Martin theorem, if a function $f$ is in the Dirichlet space $D$, then $B+f$ has the same a.s. properties as standard Brownian motion, $B$. In this paper we examine properties of $B+f$ when $f \notin D$. We start by establishing a general 0-1 law, which in particular implies that for any fixed $f$, the Hausdorff dimension of the image and the graph of $B+f$ are constants a.s. (This 0-1 law applies to any Lévy process.) Then we show that if the function $f$ is Hölder$(1/2)$, then $B+f$ is intersection equivalent to $B$. Moreover, $B+f$ has double points a.s. in dimensions $d\le 3…
We obtain sharp asymptotic estimates for hitting probabilities of a critical branching Brownian motion in one dimension with killing at 0 We also obtain sharp asymptotic formulas for the tail probabilities of the number of particles killed at 0. In the special case of double-or-nothing branching, we give exact formulas for both the hitting probabilities, in terms of elliptic functions, and the distribution of the number of killed particles.
Let $B$ be a $d$-dimensional Gaussian process on $\mathbb{R}$, where the component are independents copies of a scalar Gaussian process $B_0$ on $\mathbb{R}_+$ with a given general variance function $γ^2(r)=\operatorname{Var}\left(B_0(r)\right)$ and a canonical metric $δ(t,s):=(\mathbb{E}\left(B_0(t)-B_0(s)\right)^2)^{1/2}$ which is commensurate with $γ(t-s)$. We provide some general condition on $γ$ so that for any Borel set $E\subset [0,1]$, the Hausdorff dimension of the image $B(E)$ is constant a.s., and we explicit this constant. Also, we derive under some mild assumptions on $γ\,$ an upp…
Z^d-extensions of probability-preserving dynamical systems are themselves dynamical systems preserving an infinite measure, and generalize random walks. Using the method of moments, we prove a generalized central limit theorem for additive functionals of the extension of integral zero, under spectral assumptions. As a corollary, we get the fact that Green-Kubo's formula is invariant under induction. This allows us to relate the hitting probability of sites with the symmetrized potential kernel, giving an alternative proof and generalizing a theorem of Spitzer. Finally, this relation is used to…
We develop several results on hitting probabilities of random fields which highlight the role of the dimension of the parameter space. This yields upper and lower bounds in terms of Hausdorff measure and Bessel--Riesz capacity, respectively. We apply these results to a system of stochastic wave equations in spatial dimension $k\ge1$ driven by a $d$-dimensional spatially homogeneous additive Gaussian noise that is white in time and colored in space.
We are concerned with the first hitting times of the Bessel processes. We give explicit expressions for the densities by means of the zeros of the Bessel functions and show their asymptotic behavior.
We obtain an integral formula for the distribution of the first hitting time of the origin for one-dimensional $α$-stable processes $X_t$, where $α\in(1,2)$. We also find a spectral-type integral formula for the transition operators $P_0^t$ of $X_t$ killed upon hitting the origin. Both expressions involve exponentially growing oscillating functions, which play a role of generalised eigenfunctions for $P_0^t$.
A multiplicative identity in law connecting the hitting times of completely asymmetric $α-$stable Lévy processes in duality is established. In the spectrally positive case, this identity allows with an elementary argument to compute fractional moments and to get series representations for the density. We also prove that the hitting times are unimodal as soon as $α\le 3/2.$ Analogous results are obtained, in a much simplified manner, for the first passage time across a positive level.
We consider excursions for a class of stochastic processes describing a population of discrete individuals experiencing density-limited growth, such that the population has a finite carrying capacity and behaves qualitatively like the classical logistic model when the carrying capacity is large. Being discrete and stochastic, however, our population nonetheless goes extinct in finite time. We present results concerning the maximum of the population prior to extinction in the large population limit, from which we obtain establishment probabilities and upper bounds for the process, as well as es…
For one-dimensional symmetric Lévy processes, which hit every point with positive probability, we give sharp bounds for the tail function of the first hitting time of B which is either a single point or an interval. The estimates are obtained under some weak type scaling assumptions on the characteristic exponent of the process. We apply these results to prove optimal estimates of the transition density of the process killed after hitting B.
We consider the first hitting times of the Bessel processes. We give explicit expressions for the distribution functions and for the densities by means of the zeros of the Bessel functions. The results extend the classical ones and cover all the cases.
We present explicit estimates of right and left tails and exact (up to universal, multiplicative constants) estimates of tails and moments of hitting times of Bessel processes. The latter estimates are obtained from more general estimates of moments and tails established for convolutions of elementary mixtures of exponential distributions.
Small-space and large-time estimates and asymptotic expansion of the distribution function and (the derivatives of) the density function of hitting times of points for symmetric Lévy processes are studied. The Lévy measure is assumed to have completely monotone density function, and a scaling-type condition inf z Psi"(z) / Psi'(z) > 0 is imposed on the Lévy-Khintchine exponent Psi. Proofs are based on generalised eigenfunction expansion for processes killed upon hitting the origin.
For birth-and-death processes, we show that every initial distribution is reproduced from the first hitting time distribution. The reproduction is done by applying to the distribution function a differential operator defined through the eigenfunction of the generator. Using the spectral theory for generalized second-order differential operators, we study asymmetric random walks.
The paper presents new asymptotic recurrent algorithms of phase space reduction for regularly and singularly perturbed semi-Markov processes. These algorithms give effective conditions of weak convergence for distributions and convergence of expectations for hitting times as well as recurrent formulas for computing the corresponding normalisation functions, Laplace transforms for limiting distributions and limits for expectations.
In this paper we pursue and complete the study of the simulation of the hitting time of some given boundaries for Bessel processes. These problems are of great interest in many application fields as finance and neurosciences. In a previous work, the authors introduced a new method for the simulation of hitting times for Bessel processes with integer dimension. The method was based mainly on the explicit formula for the distribution of the hitting time and on the connexion between the Bessel process and the Euclidean norm of the Brownian motion. This method does not apply anymore for a non inte…
We proved the explicit formulas in Laplace transform of the hitting times for the birth and death processes on a denumerable state space with $\ift$ the exit or entrance boundary. This extends the well known Keilson's theorem from finite state space to infinite state space. We also apply these formulas to the fastest strong stationary time for strongly ergodic birth and death processes, and obtain the explicit convergence rate in separation.
The probability that a max-stable process η in C[0, 1] with identical marginal distribution function F hits x \in R with 0 < F (x) < 1 is the hitting probability of x. We show that the hitting probability is always positive, unless the components of η are completely dependent. Moreover, we consider the event that the paths of standard MSP hit some x \in R twice and we give a sufficient condition for a positive probability of this event.
We establish a general formula for the Laplace transform of the hitting times of a Gaussian process. Some consequences are derived, and particular cases like the fractional Brownian motion are discussed.
We show that the hitting times for points of real $α-$stable Lévy processes ($1<α\le 2$) are unimodal random variables. The argument relies on strong unimodality and several recent multiplicative identities in law. In the symmetric case we use a factorization of Yano et al., whereas in the completely asymmetric case we apply an identity of the second author. The method extends to the general case thanks to a fractional moment evaluation due to Kuznetsov et al.
We investigate the convergence of hitting times for jump-diffusion processes. Specifically, we study a sequence of stochastic differential equations with jumps. Under reasonable assumptions, we establish the convergence of solutions to the equations and of the moments when the solutions hit certain sets.