Several two-boundary problems are solved for a special Lévy process: the Poisson process with an exponential component. The jumps of this process are controlled by a homogeneous Poisson process, the positive jump size distribution is arbitrary, while the distribution of the negative jumps is exponential. Closed form expressions are obtained for the integral transforms of the joint distribution of the first exit time from an interval and the value of the overshoot through boundaries at the first exit time. Also the joint distribution of the first entry time into the interval and the value of the process at this time instant are determined in terms of integral transforms.
In this paper we prove a uniform and scale invariant boundary Harnack principle at infinity for a large class of purely discontinuous Feller processes on metric measure spaces.
In this paper we prove the uniform boundary Harnack principle in general open sets for harmonic functions with respect to a large class of rotationally symmetric purely discontinuous Lévy processes.
In this paper we study the Martin boundary of open sets with respect to a large class of purely discontinuous symmetric Lévy processes in ${\mathbb R}^d$. We show that, if $D\subset {\mathbb R}^d$ is an open set which is $κ$-fat at a boundary point $Q\in \partial D$, then there is exactly one Martin boundary point associated with $Q$ and this Martin boundary point is minimal.
We prove that the stationary measure associated to a boundary driven exclusion process in any dimension satisfies a large deviation principle with rate function given by the quasi potential of the Freidlin and Wentzell theory.
For a minimal diffusion process on $ (a,b) $, any possible extension of it to a standard process on $ [a,b] $ is characterized by the characteristic measures of excursions away from the boundary points $ a $ and $ b $. The generator of the extension is proved to be characterized by Feller's boundary condition.
We construct extensions of the pure-jump $Λ$-Wright-Fisher processes with frequency-dependent selection ($Λ$-WF processes with selection) beyond their first passage time at the boundary $1$. We show that they satisfy some duality relationships with the block counting process of simple exchangeable fragmentation-coalescence processes (EFC). One-to-one correspondences between the nature of the boundary $1$ of the $Λ$-WF process with selection and the boundary $\infty$ of the block counting process are established. New properties for the $Λ$-WF processes with selection and the block counting proc…
Fang-Wu\cite{FW17} presented a explicit spectral gap for the O-U process on path space over a Riemannian manifold without boundary under the bounded Ricci curvature conditions. In this paper, we will extend these results to the case of the Riemannian manifold with boundary. Moreover, we also derive the similar results for the stochastic heat process.
In this paper we study the Martin boundary at infinity for a large class of purely discontinuous Feller processes on metric measure spaces. We show that if $\infty$ is accessible from an open set $D$, then there is only one Martin boundary point of $D$ associated with it, and this point is minimal. We also prove the analogous result for finite boundary points. As a consequence, we show that minimal thinness of a set is a local property.
In this paper, we establish a relationship between the asymptotic form of conditional boundary crossing probabilities and first passage time densities for diffusion processes. Namely, we show that, under broad assumptions, the first crossing time density of a general curvilinear boundary by a general time-homogeneous diffusion process has a product-form, the factors being the transition density of the process and the coefficient of the leading term in the asymptotic representation of the non-crossing probability of the boundary by the respective diffusion bridge (as the end-point of the bridge…
We consider the boundary crossing problem for time-homogeneous diffusions and general curvilinear boundaries. Bounds are derived for the approximation error of the one-sided (upper) boundary crossing probability when replacing the original boundary by a different one. In doing so we establish the existence of the first-passage time density and provide an upper bound for this function. In the case of processes with diffusion interval equal to whole real line this is extended to a lower bound, as well as bounds for the first crossing time of a lower boundary. An extension to some time-inhomogene…
In this article we provide a sufficient condition for a continuous-state branching process with immigration (CBI process) to not hit its boundary, i.e. for non-extinction. Our result applies to arbitrary dimension $d \geq 1$ and is formulated in terms of an integrability condition for its immigration and branching mechanisms $F$ and $R$. The proof is based on a suitable comparison with one-dimensional CBI processes and an existing result for one-dimensional CBI processes. The same technique is also used to provide a sufficient condition for transience of multi-type CBI processes.
This paper uses Lie symmetry methods to analyze boundary crossing probabilities for a large class of diffusion processes. We show that if Fokker--Planck--Kolmogorov equation has non-trivial Lie symmetry, then boundary crossing identity exists and depends only on parameters of process and symmetry. For time-homogeneous diffusion processes we found necessary and sufficient conditions of symmetries' existence. This paper shows that if drift function satisfy one of a family of Ricatti equations, then the problem has nontrivial Lie symmetries. For each case we present symmetries in explicit form. B…
We study the asymptotic tail behaviour of the first-passage time over a moving boundary for asymptotically $α$-stable Lévy processes with $α<1$. Our main result states that if the left tail of the Lévy measure is regularly varying with index $- α$ and the moving boundary is equal to $1 - t^γ$ for some $γ<1/α$, then the probability that the process stays below the moving boundary has the same asymptotic polynomial order as in the case of a constant boundary. The same is true for the increasing boundary $1 + t^γ$ with $γ<1/α$ under the assumption of a regularly varying right tail with index $- α…
Using Foster-Lyapunov techniques we establish new conditions on non-extinction, non-explosion, coming down from infinity and staying infinite, respectively, for the general continuous-state nonlinear branching processes introduced in Li et al. (2019). These results can be applied to identify boundary behaviors for the critical cases of the above nonlinear branching processes with power rate functions driven by Brownian motion and (or) stable Poisson random measure, which was left open in Li et al. (2019). In particular, we show that even in the critical cases, a phase transition happens betwee…
For any αin (0, 2), a truncated symmetric α-stable process is a symmetric Levy process with no diffusion part and with a Levy density given by c|x|^{-d-α} 1_{|x|< 1} for some constant c. In previous paper we have studied the potential theory of truncated symmetric stable processes. Among other things, we proved that the boundary Harnack principle is valid for the positive harmonic functions of a truncated symmetric stable process in any bounded convex domain and showed that the Martin boundary of any bounded convex domain with respect to this process is the same as the Euclidean boundary. Howe…
In this paper, we consider first order Sobolev spaces with Robin boundary condition on unbounded Lipschitz domains. Hunt processes are associated with these spaces. We prove that the semigroup of these processes are doubly Feller. As a corollary, we provide a condition for semigroups generated by these processes being compact.
We prove existence of boundary limits of ratios of positive harmonic functions for a wide class of Markov processes with jumps and irregular domains, in the context of general metric measure spaces. As a corollary, we prove uniqueness of the Martin kernel at each boundary point, that is, we identify the Martin boundary with the topological boundary. We also prove a Martin representation theorem for harmonic functions. Examples covered by our results include: strictly stable Lévy processes in R^d with positive continuous density of the Lévy measure; stable-like processes in R^d and in domains; …
We propose a discrete time discrete space Markov chain approximation with a Brownian bridge correction for computing curvilinear boundary crossing probabilities of a general diffusion process on a finite time interval. For broad classes of curvilinear boundaries and diffusion processes, we prove the convergence of the constructed approximations in the form of products of the respective substochastic matrices to the boundary crossing probabilities for the process as the time grid used to construct the Markov chains is getting finer. Numerical results indicate that the convergence rate for the p…
We study a problem when a solution to optimal stopping problem for one-dimensional diffusion will generate by threshold strategy. Namely, we give necessary and sufficient conditions under which an optimal stopping time can be specified as the first time when the process exceeds some level (threshold), and a continuation set is a semi-interval. We give also second-order conditions, which allow to discard such solutions to free-boundary problem that are not the solutions to optimal stopping problem.
In this paper, we study the Martin kernels of general open sets associated with inaccessible points for a large class of purely discontinuous Feller processes in metric measure spaces. Let $D$ be an unbounded open set. Infinity is accessible from $D$ if the expected exit time from $D$ is infinite, and inaccessible otherwise. We prove that under suitable assumptions there is only one Martin boundary point associated with infinity, and that this point is minimal if and only if infinity is accessible from $D$. Similar results are also proved for finite boundary points of $D$.
We prove a law of large numbers for the empirical density of one-dimensional, boundary driven, symmetric exclusion processes with different types of non-reversible dynamics at the boundary. The proofs rely on duality techniques.
We study the asymptotic behaviour of the tail of the distribution of the first passage time of a Lévy process over a one-sided moving boundary. Our main result states that if the boundary behaves as $t^γ$ for large $t$ for some $γ<1/2$ then the probability that the process stays below the boundary behaves asymptotically as in the case of a constant boundary. We do not have to assume Spitzer's condition in contrast to all previously known results. Both positive ($+t^γ$) and negative ($-t^γ$) boundaries are considered. These results extend the findings of Greenwood and Novikov (1986) and are als…
We prove the nonequilibrium fluctuations of one-dimensional, boundary driven, weakly asymmetric exclusion processes through a microscopic Cole-Hopf transformation.
Reflected generalized BDSDEs driven by non-homogeneous Lévy processes and obstacle problems for stochastic integro-PDEs with nonlinear Neumann boundary conditions
We establish a boundary Harnack principle for a large class of subordinate Brownian motion, including mixtures of symmetric stable processes, in bounded $κ$-fat open set (disconnected analogue of John domains). As an application of the boundary Harnack principle, we identify the Martin boundary and the minimal Martin boundary of bounded $κ$-fat open sets with respect to these processes with their Euclidean boundary.
Our purpose is to study a particular class of optimal stopping problems for Markov processes. We justify the value function convexity and we deduce that there exists a boundary function such that the smallest optimal stopping time is the first time when the Markov process passes over the boundary depending on time. Moreover, we propose a method to find the optimal boundary function.
We study the existence, optimality, and construction of non-randomised stopping times that solve the Skorokhod embedding problem (SEP) for Markov processes which satisfy a duality assumption. These stopping times are hitting times of space-time subsets, so-called Root barriers. Our main result is, besides the existence and optimality, a potential-theoretic characterisation of this Root barrier as a free boundary. If the generator of the Markov process is sufficiently regular, this reduces to an obstacle PDE that has the Root barrier as free boundary and thereby generalises previous results fro…
We study the partial maxima of stationary α-stable processes. We relate their asymptotic behavior to the ergodic theoretical properties of the flow. We observe a sharp change in the asymptotic behavior of the sequence of partial maxima as flow changes from being dissipative to being conservative, and argue that this may indicate a change from a short memory process to a long memory process.
Minimal thinness is a notion that describes the smallness of a set at a boundary point. In this paper, we provide tests for minimal thinness at finite and infinite minimal Martin boundary points for a large class of purely discontinuous symmetric Lévy processes.
We prove uniqueness of a martingale problem with boundary conditions on a simplex associated to a differential operator with an unbounded drift. We show that the solution of the martingale problem remains absorbed at the boundary once it attains it, and that, after hitting the boundary, it performs a diffusion on a lower dimensional simplex, similar to the original one. We also prove that in the diffusive time scale condensing zero-range processes evolve as this absorbed diffusion.
The present paper is concerned with diffusion processes running on tubular domains with conditions on nonreaching the boundary, respectively, reflecting at the boundary, and corresponding processes in the limit where the thin tubular domains are shrinking to graphs. The methods we use are probabilistic ones. For shrinking, we use big potentials, respectively, reflection on the boundary of tubes. We show that there exists a unique limit process, and we characterize the limit process by a second-order differential generator acting on functions defined on the limit graph, with Kirchhoff boundary …
We examine the entropy of stationary nonequilibrium measures of boundary driven symmetric simple exclusion processes. In contrast with the Gibbs--Shannon entropy \cite{B, DLS2}, the entropy of nonequilibrium stationary states differs from the entropy of local equilibrium states.
This paper studies the long-term behaviour of a continuous time Markov chain formed by two non-negative integer valued components that evolve subject to a competitive interaction. In the absence of interaction the Markov chain is just a pair of independent linear birth processes with immigration. Interactions of interest include, as a special case, the famous Lotka-Volterra interaction. The Markov chain with another special case of interaction can be interpreted as an urn model with ball removals and is reminiscent, in a sense, of Friedman's urn model. We show that, with probability one, event…
We show that the second term in the asymptotic expansion as t approaches 0 of the trace of the Dirichlet heat kernel on Lipschitz domains for unimodal Lévy processes, satisfying some weak scaling conditions, is given by the surface area of the boundary of the domain. This brings the asymptotics for the trace of unimodal Lévy processes in domains of Euclidean space on par with those of symmetric stable processes as far as boundary smoothness is concerned.
We consider a telegraph process with elastic boundary at the origin studied recently in the literature. It is a particular random motion with finite velocity which starts at $x\geq 0$, and its dynamics is determined by upward and downward switching rates $λ$ and $μ$, with $λ>μ$, and an absorption probability (at the origin) $α\in(0,1]$. Our aim is to study the asymptotic behavior of the absorption time at the origin with respect to two different scalings: $x\to\infty$ in the first case; $μ\to\infty$, with $λ=βμ$ for some $β>1$ and $x>0$, in the second case. We prove several large and moderate …
In the boundary driven symmetric simple exclusion process consider an open set $\ms O$ of density profiles which does not contain the stationary density profile. We prove that the first time the empirical measure visits the set $\ms O$ converges to an exponential distribution.
We study boundary non-crossing probabilities $$ P_{f,u} := \mathrm P\big(\forall t\in \mathbb T\ X_t + f(t)\le u(t)\big) $$ for continuous centered Gaussian process $X$ indexed by some arbitrary compact separable metric space $\mathbb T$. We obtain both upper and lower bounds for $P_{f,u}$. The bounds are matching in the sense that they lead to precise logarithmic asymptotics for the large-drift case $P_{y f,u}$, $y \to+\infty$, which are two-term approximations (up to $o(y)$). The asymptotics are formulated in terms of the solution $\tilde f$ to the constrained optimization problem $$ \|h\|_{…
We sharpen a classical result on the spectral asymptotics of the boundary value problems for self-adjoint ordinary differential operator. Using this result we obtain the exact $L_2$-small ball asymptotics for a new class of zero mean Gaussian processes. This class includes, in particular, integrated generalized Slepian process, integrated centered Wiener process and integrated centered Brownian bridge.
We prove a boundary Harnack inequality for jump-type Markov processes on metric measure state spaces, under comparability estimates of the jump kernel and Urysohn-type property of the domain of the generator of the process. The result holds for positive harmonic functions in arbitrary open sets. It applies, e.g., to many subordinate Brownian motions, Lévy processes with and without continuous part, stable-like and censored stable processes, jump processes on fractals, and rather general Schrödinger, drift and jump perturbations of such processes.
We study the hydrodynamic limit of SSEP with slow boundaries on hypercubes in dimension at least two. The hydrodynamic limit equation is shown to be a heat equation with three different types of boundary conditions according to the slowness of the boundary dynamics.The proof is based on Yau's relative entropy method.
We propose an approach to approximate the boundary crossing probabilities for general one-dimensional diffusion processes, and derive the convergence rate for this approximation scheme. There results are based on the explicit expression of the Laplace transforms of the first passage densities for diffusions with piecewise linear drifts. The proposed method is applied to a reliability problem where the standard degradation model based on Wiener process is extended to diffusion processes with piecewise linear drifts.
A classification for Brownian motions on metric graphs, that is, right continuous strong Markov processes which behave like a one-dimensional Brownian motion on the edges and feature effects like Walsh skewness, stickiness and jumps at the vertices, is obtained. The Feller property of these processes is proved, and the boundary conditions of their generators are identified as non-local Feller-Wentzell boundary conditions. By using a technique of successive revivals, a complete description of the generator is achieved for Brownian motions on star graphs.
Martin boundaries and integral representations of positive functions which are harmonic in a bounded domain $D$ with respect to Brownian motion are well understood. Unlike the Brownian case, there are two different kinds of harmonicity with respect to a discontinuous symmetric stable process. One kind are functions harmonic in $D$ with respect to the whole process $X$, and the other are functions harmonic in $D$ with respect to the process $X^D$ killed upon leaving $D$. In this paper we show that for bounded Lipschitz domains, the Martin boundary with respect to the killed stable process $X^D$…
Backward stochastic partial differential equations in bounded and unbounded domains are studied. Existence and regularity results are obtained. Duality relationship with forward SPDEs are established. Representation of functionals of Ito processes in bounded domains is discussed.
The boundary crossing probability of a Poisson process with $n$ jumps is a fundamental quantity with numerous applications. We present a fast $O(n^2 \log n)$ algorithm to calculate this probability for arbitrary upper and lower boundaries.
Density dependent Markov population processes in large populations of size $N$ were shown by Kurtz (1970, 1971) to be well approximated over finite time intervals by the solution of the differential equations that describe their average drift, and to exhibit stochastic fluctuations about this deterministic solution on the scale $\sqrt N$ that can be approximated by a diffusion process. Here, motivated by an example from evolutionary biology, we are concerned with describing how such a process leaves an absorbing boundary. Initially, one or more of the populations is of size much smaller than $…
For a stopped diffusion process in a multidimensional time-dependent domain $\D$, we propose and analyse a new procedure consisting in simulating the process with an Euler scheme with step size $Δ$ and stopping it at discrete times $(iΔ)_{i\in\N^*}$ in a modified domain, whose boundary has been appropriately shifted. The shift is locally in the direction of the inward normal $n(t,x)$ at any point $(t,x)$ on the parabolic boundary of $\D$, and its amplitude is equal to $0.5826 (...) |n^*σ|(t,x)\sqrt Δ$ where $σ$ stands for the diffusion coefficient of the process. The procedure is thus extremel…
One problem of wide interest involves estimating expected crossing-times. Several tools have been developed to solve this problem beginning with the works of Wald and the theory of sequential analysis. An extension of his approach is provided by the optional sampling theorem in conjunction with martingale inequalities. Deriving the explicit close form solution for the expected crossing times may be difficult. In this paper, we provide a framework that can be used to estimate expected crossing times of arbitrary stochastic processes. Our key assumption is the knowledge of the average behavior o…
New theorems for the moments of the first passage time of one dimensional nonlinear stochastic processes with an entrance boundary are formulated. This important class of one dimensional stochastic processes results among others from approximations of the energy or amplitude of second order nonlinear stochastic differential equations. Since the diffusion of a stochastic process vanishes at an entrance boundary, the entrance boundary is called a singular point of the stochastic process. The theorems for the moments of the first passage times are validated based on existing analytical results. I…
We define radial exploration processes from $a$ to $b$ and from $b$ to $a$ in a domain $D$ of hexagons where $a$ is a boundary point and $b$ is an interior point. We prove the reversibility: the time-reversal of the process from $b$ to $a$ has the same distribution as the process from $a$ to $b$. We show the scaling limit of such an exploration process is a radial SLE$_6$ in $D$. As a consequence, the distribution of the last hitting point with the boundary of any radial SLE$_6$ is harmonic measure. We also prove the scaling limit of a similar exploration process defined in the full complex pl…
The Airy$_β$ point process, originally introduced by Ramírez, Rider, and Virág, is defined as the spectrum of the stochastic Airy operator $\mathcal{H}_β$ acting on a subspace of $L^2[0,\infty)$ with Dirichlet boundary condition. In this paper we study the coupled family of point processes defined as the eigenvalues of $\mathcal{H}_β$ acting on a subspace of $L^2[t,\infty)$. These point processes are coupled through the Brownian term of $\mathcal{H}_β$. We show that these point processes as a function of $t$ are differentiable with explicitly computable derivative. Moreover when recentered by …
