We study the distribution of the exit place of iterated Brownian motion in a cone, obtaining information about the chance of the exit place having large magnitude. Along the way, we determine the joint distribution of the exit time and exit place of Brownian motion in a cone. This yields information on large values of the exit place (harmonic measure) for Brownian motion. The harmonic measure for cones has been studied by many authors for many years. Our results are sharper than any previously obtained
With the help of the Gauss-Laplace transform for the exit time from a cone of planar Brownian motion, we obtain some infinite divisibility properties for the reciprocal of this exit time.
We study the first exit time of a multi-dimensional fractional Brownian motion from unbounded domains. In particular, we are interested in the upper tail of the corresponding distribution when the domain is parabola-shaped.
A small ball problem and Chung's law of iterated logarithm for a hypoelliptic Brownian motion in Heisenberg group are proven. In addition, bounds on the limit in Chung's law are established.
This paper is devoted to studying the properties of the exit times of stochastic differential equations driven by $G$-Brownian motion ($G$-SDEs). In particular, we prove that the exit times of $G$-SDEs has the quasi-continuity property. As an application, we give a probabilistic representation for a large class of fully nonlinear elliptic equations with Dirichlet boundary.
We extend generalized isoperimetric-type inequalities to iterated Brownian motion over several domains in $\RR{R}^{n}$. These kinds of inequalities imply in particular that for domains of finite volume, the exit distribution and moments of the first exit time for iterated Brownian motion are maximized with the ball $D^{*}$ centered at the origin, which has the same volume as $D$
We consider the one-sided exit problem for fractional Brownian motion (FBM), which is equivalent to the question of the distribution of the lower tail of the maximum of FBM on the unit interval. We improve the bounds given by Molchan (1999) and shed some light on the relation to the quantity $I$ studied there.
We provide a new methodology to simulate the first exit times of a vector of Brownian motions from an orthant. This new approach can be used to simulate the first exit times of dimension higher than two. When at least one Brownian motion has non-zero drift, the joint density function of the first exit times in N dimensions needs to be known, or approximated. However, when the drifts are all zero, a simpler simulation algorithm is obtained without using the joint density function.
For a Brownian bridge from $0$ to $y$ we prove that the mean of the first exit time from interval $(-h,h), \,\, h>0,$ behaves as $O(h^2)$ when $h \downarrow 0.$ Similar behavior is seen to hold also for the 3-dimensional Bessel bridge. For Brownian bridge and 3-dimensional Bessel bridge this mean of the first exit time has a puzzling representation in terms of the Kolmogorov distribution. The result regarding the Brownian bridge is applied to prove in detail an estimate needed by Walsh to determine the convergence of the binomial tree scheme for European options.
By taking a functional analytic point of view, we consider a family of distributions (continuous linear functionals on smooth functions), denoted by $\{μ_t,t>0\}$, associated to the law of iterated logarithm for Brownian motion on a compact manifold. We give a complete characterization of the collection of limiting distributions of $\{μ_t, t>0\}$.
Suppose a solid has a crack filled with a gas. If the crack reaches the surrounding medium, how long does it take the gas to diffuse out of the crack? Iterated Brownian motion serves as a model for diffusion in a crack. If τis the first exit time of iterated Brownian motion from the solid, then P(τ>t) can be viewed as a measurement of the amount of contaminant left in the crack at time t. We determine the large time asymptotics of P(τ>t) for both bounded and unbounded sets. We also discuss a strange connection between iterated Brownian motion and the parabolic operator {1/8}Δ^2-\frac{\partial}…
Estimates for exit time from an interval of length 2r before a prescribed time T are derived for solutions of a class of stochastic partial differential equations used to characterize two population models: super-Brownian motion and Fleming-Viot Process. These types of estimates are then derived for the two population models. The corresponding large deviation results are also applied for the acquired bounds.
The Levy transform of a Brownian motion B is the Brownian motion B't, the integral over (O,t) of sign of Bs with respect to dBs. Call T the corresponding transformation on the Wiener space W. We establish that a.s. the orbit of w in W under T is dense in W for the compact uniform convergence topology.
In this paper we present a martingale related to the exit measures of super-Brownian motion. By changing measure with this martingale in the canonical way we have a new process associated with the conditioned exit measure. This measure is shown to be identical to a measure generated by a non-homogeneous branching particle system with immigration of mass. An application is given to the problem of conditioning the exit measure to hit a number of specified points on the boundary of a domain. The results are similar in flavor to the "immortal particle" picture of conditioned super-Brownian motion …
Let $U$ be a domain, convex in $x$ and symmetric about the y-axis, which is contained in a centered and oriented rectangle $R$. \linebreak If $τ_A$ is the first exit time of Brownian motion from $A$ and $A^+=A\cap \{(x,y):x>0\}$, it is proved that $P^z(τ_{U^+}>s\mid τ_{R^+}>t)\leq P^z(τ_{U}>s\mid τ_{R}>t)$ for every $s,t>0$ and every $z\in U^+$.
We characterize the asymptotic behaviour of the weighted power variation processes associated with iterated Brownian motion. We prove weak convergence results in the sense of finite dimensional distributions, and show that the laws of the limiting objects can always be expressed in terms of three independent Brownian motions X, Y and B, as well as of the local times of Y. In particular, our results involve ``weighted'' versions of Kesten and Spitzer's Brownian motion in random scenery. Our findings extend the theory initiated by Khoshnevisan and Lewis (1999), and should be compared with the re…
We use a renormalization of the total mass of the exit measure from the complement of a small ball centered at $x\in \mathbb{R}^d$ for $d\leq 3$ to give a new construction of the total local time $L^x$ of super-Brownian motion at $x$. In \cite{Hong20} a more singular renormalization of the total mass of the exit measure concentrating on $x$, where the exit measure is positive but unusually small, is used to build a boundary local time supported on the topological boundary of the range of super-Brownian motion. Our exit measure construction of $L^x$ motivates this renormalization. We give an im…
The fundamental solution of a pseudo-differential equation for functions defined on the $d$-fold product of the $p$-adic numbers, $\mathbb{Q}_p$, induces an analogue of the Wiener process in $\mathbb{Q}_p^d$. As in the real setting, the components are $1$-dimensional $p$-adic Brownian motions with the same diffusion constant and exponent as the original process. Asymptotic analysis of the conditional probabilities shows that the vector components are dependent for all time. Exit time probabilities for the higher dimensional processes reveal a concrete effect of the component dependency.
We introduce several martingale changes of measure of the law of the exit measure of super Brownian motion. These changes of measure include and generalize one arising by conditioning the exit measures to charge a point on the boun dary of a 2-dimensional domain. In the case we discuss this is a non-degenerate conditioning. We give characterizations of the new processes in terms of "immortal particle" branching processes with immigration of mass, and give application s to the study of solutions to Lu = cu^2 in D. The representations are related to those in an earlier paper, which treated the c…
In this paper we introduce a new method for the simulation of the exit time and position of a $δ$-dimensional Brownian motion from a domain. The main interest of our method is that it avoids splitting time schemes as well as inversion of complicated series. The idea is to use the connexion between the $δ$-dimensional Bessel process and the $δ$-dimensional Brownian motion thanks to an explicit Bessel hitting time distribution associated with a particular curved boundary. This allows to build a fast and accurate numerical scheme for approximating the hitting time. Numerical comparisons with exis…
We investigate the tail distribution of the first exit time of Brownian motion with drift from a cone and find its exact asymptotics for a large class of cones. Our results show in particular that its exponential decreasing rate is a function of the distance between the drift and the cone, whereas the polynomial part in the asymptotics depends on the position of the drift with respect to the cone and its polar cone, and reflects the local geometry of the cone at the point where the drift is orthogonally projected.
In this paper we consider the iterated Brownian motion $ ^{μ_1}_{μ_2}\!I(t) = B_1^{μ_1} ( | B_{2}^{μ_2} (t)|) $ where $B_j^{μ_j} , j=1,2$ are two independent Brownian motions with drift $μ_j$. Here we study the last zero crossing of $ ^{μ_1}_{μ_2}\!I(t) $ and for this purpose we derive the last zero-crossing distribution of the drifted Brownian motion. We derive also the joint distribution of the last zero crossing before $ t $ and of the first passage time through the zero level of a Brownian motion with drift $ μ$ after $ t $. All these results permit us to derive explicit formulas for ${^I_…
Let $τ_{D}(Z) $ is the first exit time of iterated Brownian motion from a domain $D \subset \RR{R}^{n}$ started at $z\in D$ and let $P_{z}[τ_{D}(Z) >t]$ be its distribution. In this paper we establish the exact asymptotics of $P_{z}[τ_{D}(Z) >t]$ over bounded domains as an extension of the result in DeBlassie \cite{deblassie}, for $z\in D$ $$ P_{z}[τ_{D}(Z)>t]\approx t^{1/2} \exp(-{3/2}π^{2/3}λ_{D}^{2/3}t^{1/3}), as t\to\infty . $$ We also study asymptotics of the life time of Brownian-time Brownian motion (BTBM), $Z^{1}_{t}=z+X(Y(t))$, where $X_{t}$ and $Y_{t}$ are independent one-dimensional…
This paper studies the regularity properties of the density of the exit measure for super-Brownian motion with (1+β)-stable branching mechanism. It establishes the continuity of the density in dimension d=2 and the unboundedness of the density in all other dimensions where the density exists. An alternative description of the exit measure and its density is also given via a stochastic integral representation. Results are applied to the probabilistic representation of nonnegative solutions of the partial differential equation Δu=u^{1+β}.
We study the total mass of a d-dimensional super-Brownian motion as it first exits an increasing sequence of balls. The process of the total mass is a time-inhomogeneous continuous-state branching process, where the increasing radii of the balls are taken as the time parameter. We are able to characterise its time-dependent branching mechanism and show that it converges, as time goes to infinity, towards the branching mechanism of the total mass of a one-dimensional super-Brownian motion as it first crosses above an increasing sequence of levels. Our results allow us to identify the compact su…
We derive general results on the small deviation behavior for some classes of iterated processes. This allows us, in particular, to calculate the rate of the small deviations for $n$-iterated Brownian motions and, more generally, for the iteration of $n$ fractional Brownian motions. We also give a new and correct proof of some results in E. Nane, Laws of the iterated logarithm for $α$-time Brownian motion, Electron. J. Probab. 11 (2006), no. 18, 434--459.
We introduce a class of iterated processes called $α$-time Brownian motion for $0<α\leq 2$. These are obtained by taking Brownian motion and replacing the time parameter with a symmetric $α$-stable process. We prove a Chung-type law of the iterated logarithm (LIL) for these processes which is a generalization of LIL proved in \cite{hu} for iterated Brownian motion. When $α=1$ it takes the following form $$ \liminf_{T\to\infty}T^{-1/2}(\log \log T) \sup_{0\leq t\leq T}|Z_{t}|=π^{2}\sqrt{λ_{1}} a.s. $$ where $λ_{1}$ is the first eigenvalue for the Cauchy process in the interval $[-1,1].$ We also…
Consider the $n$th iterated Brownian motion $I^{(n)}=B_n \circ\cdots \circ B_1$. Curien and Konstantopoulos proved that for any distinct numbers $t_i\neq 0$, $(I^{(n)}(t_1),\dots,I^{(n)}(t_k))$ converges in distribution to a limit $I[k]$ independent of the $t_i$'s, exchangeable, and gave some elements on the limit occupation measure of $I^{(n)}$. Here, we prove under some conditions, finite dimensional distributions of $n$th iterated two-sided stable processes converge, and the same holds the reflected Brownian motions. We give a description of the law of $I[k]$, of the finite dimensional dist…
We establish the singularity with respect to Lebesgue measure as a function of time of the conditional probability that the sum of two one-dimensional Brownian motions will exit from the unit interval before time $t$, given the trajectory of the second Brownian motion up to the same time. On the way of doing so we show that if one solves the one-dimensional heat equation with zero condition on a trajectory of a one-dimensional Brownian motion, which is the lateral boundary, then for each moment of time with probability one the normal derivative of the solution is zero, provided that the diffus…
Let $τ_{D}(Z) $ be the first exit time of iterated Brownian motion from a domain $D \subset \RR{R}^{n}$ started at $z\in D$ and let $P_{z}[τ_{D}(Z) >t]$ be its distribution. In this paper we establish the exact asymptotics of $P_{z}[τ_{D}(Z) >t]$ over bounded domains as an improvement of the results in \cite{deblassie, nane2}, for $z\in D$ \begin{eqnarray} \lim_{t\to\infty} t^{-1/2}\exp({3/2}π^{2/3}λ_{D}^{2/3}t^{1/3}) P_{z}[τ_{D}(Z)>t]= C(z),\nonumber \end{eqnarray} where $C(z)=(λ_{D}2^{7/2})/\sqrt{3 π}(ψ(z)\int_{D}ψ(y)dy) ^{2}$. Here $λ_{D}$ is the first eigenvalue of the Dirichlet Laplacian …
Iterated Brownian motion $Z_{t}$ serves as a physical model for diffusions in a crack. If $τ_{D}(Z) $ is the first exit time of this processes from a domain $D \subset \RR{R}^{n}$, started at $z\in D$, then $P_{z}[τ_{D}(Z)>t]$ is the distribution of the lifetime of the process in $D$. In this paper we determine the large time asymptotics of $P_{z}[τ_{P_α}(Z) > t]$ which gives exponential integrability of $τ_{P_α}(Z) $ for parabola-shaped domains of the form $ P_α=\{(x,Y)\in \RR{R} \times \RR{R}^{n-1}: x>0, |Y|<Ax^α \}$, for $ 0<α<1$, $A>0.$ We also obtain similar results for twisted domains in…
In this survey we explore the salient connections made between Brownian motion, symmetrization and complex analysis in the last 60 years starting with Kakutani's paper (1944) equating harmonic measure and exit probability. To exemplify these connections we will survey the techniques used in the literature to prove isoperimetric results for exit probabilities and Riesz capacities.
We revisit a result of Uchiyama (1980): given that a certain integral test is satisfied, the rate of the probability that Brownian motion remains below the moving boundary $f$ is asymptotically the same as for the constant boundary. The integral test for $f$ is also necessary in some sense. After Uchiyama's result, a number of different proofs appeared simplifying the original arguments, which strongly rely on some known identities for Brownian motion. In particular, Novikov (1996) gives an elementary proof in the case of an increasing boundary. Here, we provide an elementary, half-page proof …
The classical law of the iterated logarithm (LIL for short)as fundamental limit theorems in probability theory play an important role in the development of probability theory and its applications. Strassen (1964) extended LIL to large classes of functional random variables, it is well known as the invariance principle for LIL which provide an extremely powerful tool in probability and statistical inference. But recently many phenomena show that the linearity of probability is a limit for applications, for example in finance, statistics. As while a nonlinear expectation--- G-expectation has att…
Let $X$ be a super-Brownian motion (SBM) defined on a domain $E\subset R^n$ and $(X_D)$ be its exit measures indexed by sub-domains of $E$. The relationship between the equation $1/2 Δu=2 u^2$ and Super-Brownian motion (SBM) is analogous to the relationship between Brownian motion and the Laplace's equation, and substantial progress has been made on the study of the solutions of this semi-linear p.d.e. exploring this analogy. An area that remains to be explored is Martin boundary theory. Martin boundary in the semi-linear case is defined as the convex set of extreme $X$-harmonic functions whic…
Let $X=\{X(t), t\geq 0\}$ be a Brownian motion or a spectrally negative stable process of index $1<\a<2$. Let $E=\{E(t),t\geq 0\}$ be the hitting time of a stable subordinator of index $0<β<1$ independent of $X$. We use a connection between $X(E(t))$ and the stable subordinator of index $β/\a$ to derive information on the path behavior of $X(E_t)$. This is an extension of the connection of iterated Brownian motion and (1/4)-stable subordinator due to Bertoin \cite{bertoin}. Using this connection, we obtain various laws of the iterated logarithm for $X(E(t))$. In particular, we establish law of…
We consider the tail probabilities for Brownian exit time from a class of perturbed multi-strips in Euclidean plane. Under some assumptions we prove that the long stays in a perturbed multi-strip are more likely than those in a strip of the same width. This effect is related to the existence of the trapped modes in waveguides.
We prove a number of results relating exit times of planar Brownian with the geometric properties of the domains in question. Included are proofs of the conformal invariance of moduli of rectangles and annuli using Brownian motion; similarly probabilistic proofs of some recent results of Karafyllia on harmonic measure on starlike domains; examples of domains and their complements which are simultaneously large when measured by the moments of exit time of Brownian motion, and examples of domains and their complements which are simultaneously small; and proofs of several identities involving the…
Let $(B(t))_{t\in [0,1]}$ be the linear Brownian motion and $(X_n(t))_{t\in [0,1]}$ be the $(n-1)$-fold integral of Brownian motion, $n$ being a positive integer: $$ X_n(t)=\int_0^t \frac{(t-s)^{n-1}}{(n-1)!} \,\dd B(s) for any $t\in[0,1]$. $$ In this paper we construct several bridges between times 0 and 1 of the process $(X_n(t))_{t\in [0,1]}$ involving conditions on the successive derivatives of $X_n$ at times 0 and 1. For this family of bridges, we make a correspondance with certain boundary value problems related to the one-dimensional polyharmonic operator. We also study the classical pr…
We construct in this article a rough path over fractional Brownian motion with arbitrary Hurst index by (i) using the Fourier normal ordering algorithm introduced in \cite{Unt-Holder} to reduce the problem to that of regularizing tree iterated integrals and (ii) applying the Bogolioubov-Parasiuk-Hepp-Zimmermann (BPHZ) renormalization algorithm to Feynman diagrams representing tree iterated integrals.
We show that the construction of a random continuum $\mathcal{C}$ from independent two-sided Brownian motions as considered in arXiv:2004.01367 almost surely yields a non-degenerate indecomposable but not-hereditary indecomposable continuum. In particular $\mathcal{C}$ is (unfortunately) not the pseudo-arc.
In this paper we address the question of finding the point which maximizes the $p$-th moment of the exit time of planar Brownian motion from a given domain. We present a geometrical method of excluding parts of the domain from consideration which makes use of a coupling argument and the conformal invariance of Brownian motion. In many cases the maximizing point can be localized to a relatively small region. Several illustrative examples are presented.
We examine the non-exit probability of a multidimensional Brownian motion from a growing truncated Weyl chamber. Different regimes are identified according to the growth speed, ranging from polynomial decay over stretched-exponential to exponential decay. Furthermore we derive associated large deviation principles for the empirical measure of the properly rescaled and transformed Brownian motion as the dimension grows to infinity. Our main tool is an explicit eigenvalue expansion for the transition probabilities before exiting the truncated Weyl chamber.
This paper presents some results on the expected exit time of Brownian motion from simply connected domains in $\CC$. We indicate a way in which Brownian motion sees the identity function and the Koebe function as the smallest and largest analytic functions, respectively, in the Schlicht class. We also give a sharpening of a result of McConnell's concerning the moments of exit times of Schlicht domains. We then show how a simple formula for expected exit time can be applied in a series of examples. Included in the examples given are the expected exit times from given points of a cardioid and r…
We show that exact sampling of the first passage event can be done for a Levy process with unbounded variation, if the process can be embedded in a subordinated standard Brownian motion. By sampling a series of first exit events of the Brownian motion and first passage events of the subordinator, the first passage event of interest can be obtained. The sampling of the first exit time and pre-exit location of the Brownian motion may be of independent interest.
A comb domain is defined to be the entire complex plain with a collection of vertical slits, symmetric over the real axis, removed. In this paper, we consider the question of determining whether the exit time of planar Brownian motion from such a domain has finite $p$-th moment. This question has been addressed before in relation to starlike domains, but these previous results do not apply to comb domains. Our main result is a sufficient condition on the location of the slits which ensures that the $p$-th moment of the exit time is finite. Several auxiliary results are also presented, includin…
Let $T^D$ denote the first exit time of a planar Brownian motion from a domain $D$. Given two simply connected planar domains $U,W \neq \SC$ containing $0$, we investigate the cases in which we are more likely to have fast exits (meaning for instance ${\bf P}(T^U<t) > {\bf P}(T^W<t)$ for $t$ small) from $U$ than from $W$, or long stays (meaning ${\bf P}(T^U>t) > {\bf P}(T^W>t)$ for $t$ large). We prove several results on these questions. In particular, we show that the primary factor in the probability of fast exits is the proximity of the boundary to the origin, while for long stays an import…
The first-exit time process of an inverse Gaussian Lévy process is considered. The one-dimensional distribution functions of the process are obtained. They are not infinitely divisible and the tail probabilities decay exponentially. These distribution functions can also be viewed as distribution functions of supremum of the Brownian motion with drift. The density function is shown to solve a fractional PDE and the result is also generalized to tempered stable subordinators. The subordination of this process to the Brownian motion is considered and the underlying PDE of the subordinated process…
In this note, we prove a version of the Phragmen-Lindelof principle using probabilistic techniques. In particular, we will show that if the p-th moment of the exit time of Brownian motion from a planar domain is finite, then an analytic function on that domain is either bounded by its supremum on the boundary or else goes to infinity along some sequence more rapidly than $e^{|z|^{2p}}$. We also present a method for constructing domains whose exit time has finite p-th moment, thereby giving a general Phragmen-Lindelof principle for spiral-like and star-like domains, and in the process giving a …
We construct an iterated stochastic integral with fractional Brownian motion with H > 1/2. The first integrand is a deterministic function, and each successive integral is with respect to an independent fBm. We show that this symmetric stochastic integral is equal to the Malliavin divergence integral. By a version of the Fourth Moment theorem of Nualart and Peccati, we show that a family of such integrals converges in distribution to a scaled Brownian motion. An application is an approximation to the windings for a planar fBm, previously studied by Baudoin and Nualart.
For each prime $p$, a diffusion constant together with a positive exponent specify a Vladimirov operator and an associated $p$-adic diffusion equation. The fundamental solution of this pseudo-differential equation gives rise to a measure on the Skorokhod space of $p$-adic valued paths that is concentrated on the paths originating at the origin. We calculate the first exit probabilities of paths from balls and estimate these probabilities for the brownian bridges.
We supplement a very recent paper of G. Markowsky concerned with the expected exit times of Brownian motion from planar domains. Besides the use of conformal mapping, we apply results from potential theory. We treat the case of a wedge-shaped region exactly, subsuming an example of Markowsky. A number of other results are presented, including for a half disc, $n$-grams, and a variety of other regions.
The purpose of this note is to give details for an argument of Sullivan to construct eigenfunctions of the Laplacian on a Riemannian manifold using exit times of Brownian motion \cite{sullivanpos}. Let $X$ be a complete, simply connected Riemannian manifold of pinched negative sectional curvature. Let $λ_1 = λ_1(X) < 0$ be the supremum of the spectrum of the Laplacian on $L^2(X)$, and let $D \subset X$ be a bounded domain in $X$ with smooth boundary. Let $(B_t)_{t \geq 0}$ be Brownian motion on $X$ and let $τ= τ_D$ be the first exit time of Brownian motion from $D$. For each $λ\in \mathbb{C}$ …
We obtain some integrability properties and some limit theorems for the exit time from a cone of a planar Brownian motion, and we check that our computations are correct via Bougerol's identity.
