In this paper we study the discrete approximation to Brownian motion with varying dimension (BMVD in abbreviation) introduced in [4] by continuous time random walks on square lattices. The state space of BMVD contains a $2$-dimensional component, a $3$-dimensional component, and a "darning point" which joins these two components. Such a state space is equipped with the geodesic distance, under which BMVD is a diffusion process. In this paper, we prove that BMVD restricted on a bounded domain containing the darning point is the weak limit of continuous time reversible random walks with exponential holding times. Upon each move, except at the "darning point", these random walks jump to any of its nearest neighbors with equal probability. The behavior of such a random walk at the "darning point" is also given explicitly in this paper.
If we compose a smooth function g with fractional Brownian motion B with Hurst index H > 1/2, then the resulting change of variables formula [or It/^o- formula] has the same form as if fractional Brownian motion would be a continuous function with bounded variation. In this note we prove a new integral representation formula for the running maximum of a continuous function with bounded variation. Moreover we show that the analogue to fractional Brownian motion fails.
In this paper we introduce and study Brownian motion on state spaces with varying dimension. Starting with a concrete case of such state spaces that models a big square with a flag pole, we construct a Brownian motion on it and study how heat propagates on such a space. We derive sharp two-sided global estimates on its transition density functions (also called heat kernel). These two-sided estimates are of Gaussian type, but the measure on the underlying state space does not satisfy volume doubling property. Parabolic Harnack inequality fails for such a process. Nevertheless, we show Holder re…
The space-time distribution, $Q_A(x,dt dξ)$ say, of Brownian hitting of a bounded Borel set $A$ of the $d$-dimensional Euclidian space is studied. We derive the asymptotic form of the leading term of the time-derivative $Q_A(x, dtdξ)/dt$ for each $d =2, 3, ...$, valid uniformly with respect to the starting point $x$ of the Brownian motion, which result extends significantly the classical results for $Q_A(x, dt dξ)$ itself by Hunt ($d=2$), Joffe and Spitzer ($d= 3, 4,...$). The results are applied to find the asymptotic form of the expected volume of Wiener sausage for the Brownian bridge joini…
Roughly speaking, a space with varying dimension consists of at least two components with different dimensions. In this paper we will concentrate on the one, which can be treated as $\mathbb{R}^3$ tying a half line not contained by $\mathbb{R}^3$ at the origin. The aim is twofold. On one hand, we will introduce so-called distorted Brownian motions on this space with varying dimension (dBMVDs in abbreviation) and study their basic properties by means of Dirichlet forms. On the other hand, we will prove the joint continuity of the transition density functions of these dBMVDs and derive the short…
Using structures of Abstract Wiener Spaces, we define a fractional Brownian field indexed by a product space $(0,1/2] \times L^2(T,m)$, $(T,m)$ a separable measure space, where the first coordinate corresponds to the Hurst parameter of fractional Brownian motion. This field encompasses a large class of existing fractional Brownian processes, such as Lévy fractional Brownian motions and multiparameter fractional Brownian motions, and provides a setup for new ones. We prove that it has satisfactory incremental variance in both coordinates and derive certain continuity and Hölder regularity prope…
In this paper, we study a particular model of distorted Brownian motion (dBM) on state spaces with varying dimension. Roughly speaking, the state space of such a process consists of two components: a $3$-dimensional component and a $1$-dimensional component. These two parts are joined together at the origin. The restriction of dBM on the $3$- or $1$-dimensional component receives a strong "push" towards the origin. On each component, the "magnitude" of the "push" can be parametrized by a constant $γ>0$. In this article, using probabilistic method, we get the exact expressions for the transitio…
Many properties of Brownian motion on spaces with varying dimension (BMVD in abbreviation) have been explored in [5]. In this paper, we study Brownian motion with drift on spaces with varying dimension (BMVD with drift in abbreviation). Such a process can be conveniently defined by a regular Dirichlet form that is not necessarily symmetric. The drift term is in some type of $L^{p}$ space with $p$ depending on the region of the state space. We show BMVD with drift can be related to a BMVD without drift via Girsanov transform. Through the method of Duhamel's principle, it is established in this …
We consider an n-dimensional Brownian Motion trapped inside a bounded convex set by normally-reflecting boundaries. It is well-known that this process is uniformly ergodic. However, the rates of this ergodicity are not well-understood, especially in the regime of very high-dimensional sets. Here we present new bounds on these rates for convex sets with a given diameter. Our bounds do not depend upon the smoothness of the boundary nor the value of the ambient dimension, n.
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…
We consider a model of Brownian motion on a bounded open interval with instantaneous jumps. The jumps occur at a spatially dependent rate given by a positive parameter times a continuous function positive on the interval and vanishing on its boundary. At each jump event the process is redistributed uniformly in the interval. We obtain sharp asymptotic bounds on the principal eigenvalue for the generator of the process as the parameter tends to infinity. Our work answers a question posed by Arcusin and Pinsky.
We establish the discrete approximation to Brownian motion with varying dimension (BMVD in abbreviation) by random walks. The setting is very similar to that in [11], but here we use a different method allowing us to get rid the restrictions in [11] (or [3]) that the underlying state space has to be bounded, and that the initial distribution of the limiting continuous process has to be its invariant distribution. The approach in this paper is that we first obtain heat kernel upper bounds for the approximating random walks that are uniform in their mesh size, by establishing a Nash-type inequal…
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.
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 for a large class of subordinate killed Brownian motions in bounded C1,1 domains, C1,1 domains with compact complements and domains above graphs of bounded C1,1 functions.
In this paper we investigate three discrete or semi-discrete approximation schemes for reflected Brownian motion on bounded Euclidean domains. For a class of bounded domains $D$ in $\mathbb{R}^n$ that includes all bounded Lipschitz domains and the von Koch snowflake domain, we show that the laws of both discrete and continuous time simple random walks on $D\cap2^{-k}\mathbb{Z}^n$ moving at the rate $2^{-2k}$ with stationary initial distribution converge weakly in the space $\mathbf{D}([0,1],\mathbb{R}^n)$, equipped with the Skorokhod topology, to the law of the stationary reflected Brownian mo…
We study the transition density of a standard two-dimensional Brownian motion killed when hitting a bounded Borel set $A$. We derive the asymptotic form of the density, say $p^A_t({\bf x},{\bf y})$, for large times $t$ and for ${\bf x}$ and ${\bf y}$ in the exterior of $A$ valid uniformly under the constraint $|{\bf x}|\vee |{\bf y}| =O(t)$. Within the parabolic regime $|{\bf x}|\vee |{\bf y}| = O(\sqrt t)$ in particular $p^A_t({\bf x},{\bf y})$ is shown to behave like $4e_A({\bf x})e_A({\bf y}) (\lg t)^{-2} p_t({\bf y}-{\bf x})$ for large $t$, where $p_t({\bf y}-{\bf x})$ is the transition ke…
We study co-adapted couplings of (canonical hypoelliptic) diffu-sions on the (subRiemannian) Heisenberg group, that we call (Heisenberg) Brow-nian motions and are the joint laws of a planar Brownian motion with its L{é}vy area. We show that contrary to the situation observed on Riemannian manifolds of non-negative Ricci curvature, for any co-adapted coupling, two Heisenberg Brownian motions starting at two given points can not stay at bounded distance for all time t $\ge$ 0. Actually, we prove the stronger result that they can not stay bounded in L p for p $\ge$ 2. We also study the coupling b…
In this paper, we derive explicit sharp two-sided estimates for the Dirichlet heat kernels, in C^{1,1} open sets D in R^d, of a large class of subordinate Brownian motions with Gaussian components. When D is bounded, our sharp two-sided Dirichlet heat kernel estimates hold for all t>0. Integrating the heat kernel estimates with respect to the time variable t, we obtain sharp two-sided estimates for the Green functions, in bounded C^{1,1} open sets, of such subordinate Brownian motions with Gaussian components.
We consider the maximal displacement of one dimensional branching Brownian motion with (macroscopically) time varying profiles. For monotone decreasing variances, we show that the correction from linear displacement is not logarithmic but rather proportional to $T^{1/3}$. We conjecture that this is the worse case correction possible.
The paper discusses and surveys some aspects of the potential theory of subordinate Brownian motion under the assumption that the Laplace exponent of the corresponding subordinator is comparable to a regularly varying function at infinity. This extends some results previously obtained under stronger conditions.
We examine the behavior of $n$ Brownian particles diffusing on the real line with bounded, measurable drift and bounded, piecewise continuous diffusion coefficients that depend on the current configuration of particles. Sufficient conditions are established for the absence and for the presence of triple collisions among the particles. As an application to the Atlas model for equity markets, we study a special construction of such systems of diffusing particles using Brownian motions with reflection on polyhedral domains.
In this paper, we establish an oscillation estimate of nonnegative harmonic functions for a pure-jump subordinate Brownian motion. The infinitesimal generator of such subordinate Brownian motion is an integro-differential operator. As an application, we give a probabilistic proof of the following form of relative Fatou theorem for such subordinate Brownian motion X in bounded kappa-fat open set; if u is a positive harmonic function with respect to X in a bounded kappa-fat open set D and h is a positive harmonic function in D vanishing on D^c, then the non-tangential limit of u/h exists almost …
We construct obliquely reflected Brownian motions in all bounded simply connected planar domains, including non-smooth domains, with general reflection vector fields on the boundary. Conformal mappings and excursion theory are our main technical tools. A key intermediate step, which may be of independent interest, is an alternative characterization of reflected Brownian motions in smooth bounded planar domains with a given field of angles of oblique reflection on the boundary in terms of a pair of quantities, namely an integrable positive harmonic function, which represents the stationary dist…
Let v be a bounded function with bounded support in R^d, d>=3. Let x,y in R^d. Let Z(t) denote the path integral of v along the path of a Brownian bridge in R^d which runs for time t, starting at x and ending at y. As t->infty, it is perhaps evident that the distribution of Z(t) converges weakly to that of the sum of the integrals of v along the paths of two independent Brownian motions, starting at x and y and running forever.Here we prove a stronger result, namely convergence of the corresponding moment generating functions and of moments. This result is needed for applications in physics.
The signature of a path provides a top down description of the path in terms of its effects as a control [Differential Equations Driven by Rough Paths (2007) Springer]. The signature transforms a path into a group-like element in the tensor algebra and is an essential object in rough path theory. The expected signature of a stochastic process plays a similar role to that played by the characteristic function of a random variable. In [Chevyrev (2013)], it is proved that under certain boundedness conditions, the expected value of a random signature already determines the law of this random signa…
A subordinate Brownian motion is a Lévy process which can be obtained by replacing the time of the Brownian motion by an independent subordinator. The infinitesimal generator of a subordinate Brownian motion is $-ϕ(-Δ)$, where $ϕ$ is the Laplace exponent of the subordinator. In this paper, we consider a large class of subordinate Brownian motions without diffusion component and with $ϕ$ comparable to a regularly varying function at infinity. This class of processes includes symmetric stable processes, relativistic stable processes, sums of independent symmetric stable processes, sums of indepe…
This paper is devoted to a system of stochastic partial differential equations (SPDEs) that have a slow component driven by fractional Brownian motion (fBm) with the Hurst parameter $H >1/2$ and a fast component driven by fast-varying diffusion. It improves previous work in two aspects: Firstly, using a stopping time technique and an approximation of the fBm, we prove an existence and uniqueness theorem for a class of mixed SPDEs driven by both fBm and Brownian motion; Secondly, an averaging principle in the mean square sense for SPDEs driven by fBm subject to an additional fast-varying diffus…
The aim of this paper is to present the analysis for the solutions of nonlinear stochastic functional differential equation driven by G-Brownian motion with infinite delay (G-SFDEwID). Under some useful assumptions, we have proved that the G-SFDEwID admits a unique local solution. The mentioned theory has been further generalized to show that G-SFDEwID admits a unique strong global solution. The asymptotic properties, mean square boundedness and convergence of solutions with different initial data have been derived. We have assessed that the solution map $X_t$ is mean square bounded and two so…
We prove large deviations principles in large time, for the Brownian occupation time in random scenery. The random scenery is constant on unit cubes, and consist of i.i.d. bounded variables, independent of the Brownian motion. This model is a time-continuous version of Kesten and Spitzer's random walk in random scenery. We prove large deviations principles in ``quenched'' and ``annealed'' settings.
Aiming for more realistic optimal dividend policies, we consider a stochastic control problem with linearly bounded control rates using a performance function given by the expected present value of dividend payments made up to ruin. In a Brownian model, we prove the optimality of a member of a new family of control strategies called delayed linear control strategies, for which the controlled process is a refracted diffusion process. For some parameters specifications, we retrieve the strategy initially proposed by Avanzi & Wong (2012) to regularize dividend payments, which is more consistent w…
Let $ \{W(t), t\ge 0\}$ be a standard Brownian motion. If $I$ is a bounded interval on which $W $ has no zero, an almost sure lower bound to $\inf\{|W(t)|, t\in I\}$ can be provided, when $I$ is taken from a given countable family of intervals covering the positive half-line.
Benjamini, Burdzy and Chen (2007) introduced the notion of a shy coupling: a coupling of a Markov process such that, for suitable starting points, there is a positive chance of the two component processes of the coupling staying a positive distance away from each other for all time. Among other results, they showed no shy couplings could exist for reflected Brownian motions in C^2 bounded convex planar domains whose boundaries contain no line segments. Here we use potential-theoretic methods to extend this Benjamini et al. result (a) to all bounded convex domains (whether planar and smooth or …
In this paper we prove, for small Hurst parameters, the higher order differentiability of a stochastic flow associated with a stochastic differential equation driven by an additive multi-dimensional fractional Brownian noise, where the bounded variation part is given by the local time of the unknown solution process. The proof of this result relies on Fourier analysis based variational calculus techniques and on intrinsic properties of the fractional Brownian motion.
In this paper the solutions $u_ν=u_ν(x,t)$ to fractional diffusion equations of order $0<ν\leq 2$ are analyzed and interpreted as densities of the composition of various types of stochastic processes. For the fractional equations of order $ν=\frac{1}{2^n}$, $n\geq 1,$ we show that the solutions $u_{1/2^n}$ correspond to the distribution of the $n$-times iterated Brownian motion. For these processes the distributions of the maximum and of the sojourn time are explicitly given. The case of fractional equations of order $ν=\frac{2}{3^n}$, $n\geq 1,$ is also investigated and related to Brownian mo…
In this paper, we study a two-point boundary value problem consisting of the heat equation on the open interval $(0,1)$ with boundary conditions which relate first and second spatial derivatives at the boundary points. Moreover, the unique solution to this problem can be represented probabilistically in terms of a sticky Brownian motion. This probabilistic representation is attained from the stochastic differential equation for a sticky Brownian motion on the bounded interval $[0,1]$.
In this paper we consider the controllability of certain class of non-autonomous neutral evolution stochastic functional differential equations, with time varying delays, driven by a fractional Brownian motion in a separable real Hilbert space. Sufficient conditions for controllability are obtained by employing a fixed point approach. A practical example is provided to illustrate the viability of the abstract result of this work.
We study some finite time transport properties of isotropic Brownian flows. Under a certain nondegeneracy condition on the potential spectral measure, we prove that uniform shrinking or expansion of balls under the flow over some bounded time interval can happen with positive probability. We also provide a control theorem for isotropic Brownian flows with drift. Finally, we apply the above results to show that under the nondegeneracy condition the length of a rectifiable curve evolving in an isotropic Brownian flow with strictly negative top Lyapunov exponent converges to zero as $t\to \infty$…
We prove that the marginal law $σ_{t}\boxtimesν$ of free positive multiplicative Brownian motion is log-unimodal for all $t>0$ if $ν$ is a multiplicatively symmetric log-unimodal distribution, and that $σ_{t}\boxtimesν$ is log-unimodal for sufficiently large $t$ if $ν$ is supported on a suitably chosen finite interval. Counterexamples are given when $ν$ is not assumed to be symmetric or having a bounded support.
For every bounded planar domain $D$ with a smooth boundary, we define a `Lyapunov exponent' $Λ(D)$ using a fairly explicit formula. We consider two reflected Brownian motions in $D$, driven by the same Brownian motion (i.e., a `synchronous coupling'). If $Λ(D)>0$ then the distance between the two Brownian particles goes to 0 exponentially fast with rate $Λ(D)/(2|D|)$ as time goes to infinity. The exponent $Λ(D)$ is strictly positive if the domain has at most one hole. It is an open problem whether there exists a domain with $Λ(D)<0$.
We investigate the 3rd term of spectral heat content for killed subordinate and subordinate killed Brownian motions on a bounded open interval D = (a, b) in a real line when the underlying subordinators are stable subordinators with index αis in (1, 2) or α= 1. We prove that in the 3rd term of spectral heat content, one can observe the length b-a of the interval D.
The spectral heat content is investigated for time-changed killed Brownian motions on C1,1 open sets, where the time change is given by either a subordinator or an inverse subordinator, with the underlying Laplace exponent being regularly varying at \infty with index β\in (0, 1). In the case of inverse subordinators, the asymptotic limit of the spectral heat content is shown to involve a probabilistic term depending only on β\in (0, 1). In contrast, in the case of subordinators, this universality holds only when β\in ( 1/2 , 1).
Flip-flop processes refer to a family of stochastic fluid processes which converge to either a standard Brownian motion (SBM) or to a Markov modulated Brownian motion (MMBM). In recent years, it has been shown that complex distributional aspects of the univariate SBM and MMBM can be studied through the limiting behaviour of flip-flop processes. Here, we construct two classes of bivariate flip-flop processes whose marginals converge strongly to SBMs and are dependent on each other, which we refer to as \emph{alternating} two-dimensional Brownian motion processes}. While the limiting bivariate p…
Zhongtai Securities Institute for Financial Studies, Shandong University（山东大学中泰金融研究院）；Department of Mathematics, National University of Defense Technology（国防科技大学数学系）
Consider p independent Brownian motions in R^d, each running up to its first exit time from an open domain B, and their intersection local time l as a measure on B. We give a sharp criterion for the finiteness of exponential moments, E[exp(\sum_{i=1}^n (int_B f_i(x) l(dx))^{1/p})], where f_1, ...,f_n are nonnegative, bounded functions with compact support in B. We also derive a law of large numbers for intersection local time conditioned to have large total mass.
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}…
The fractional Brownian motion of index $0 < H < 1$, H-FBM, with d-dimensional time is considered on an expanding set TG, where G is a bounded convex domain that contains 0 at its boundary. The main result: if 0 is a point of smoothness of the boundary, then the log-asymptotics of probability that H-FBM does not exceed a fixed positive level in TG is $(H - d + o(1)) \log T$, $T\to\infty$. Some generalizations of this result to isotropic but not self-similar Gaussian processes with stationary increments are also considered.
We give a very simple and elementary proof of the existence of a weakly compact family of probability measures $\{P_θ:θ\in Θ\}$ to represent an important sublinear expectation--G-expectation $\mathbb{E}[\cdot]$. We also give a concrete approximation of a bounded continuous function $X(ω)$ by an increasing sequence of cylinder functions $L_{ip}(Ω)$ in order to prove that $C_{b}(Ω)$ belongs to the $\mathbb{E}[|\cdot|]$-completion of the $L_{ip}(Ω)$.
In this paper we study a subordinate Brownian motion with a Gaussian component and a rather general discontinuous part. The assumption on the subordinator is that its Laplace exponent is a complete Bernstein function with a Lévy density satisfying a certain growth condition near zero. The main result is a boundary Harnack principle with explicit boundary decay rate for non-negative harmonic functions of the process in $C^{1,1}$ open sets. As a consequence of the boundary Harnack principle, we establish sharp two-sided estimates on the Green function of the subordinate Brownian motion in any bo…
We study interacting systems of linear Brownian motions whose drift vector at every time point is determined by the relative ranks of the coordinate processes at that time. Our main objective has been to study the long range behavior of the spacings between the Brownian motions arranged in increasing order. For finitely many Brownian motions interacting in this manner, we characterize drifts for which the family of laws of the vector of spacings is tight, and show its convergence to a unique stationary joint distribution given by independent exponential distributions with varying means. We als…
In this paper we study the small time asymptotic behavior of the spectral heat content $\widetilde{Q}_D^{(α)}(t)$ of an arbitrary bounded $C^{1,1}$ domain $D$ with respect to the \textit{subordinate killed Brownian motion} in $D$ via an $(α/2)$-stable subordinator. For all $α\in (0,2)$, we establish a two-term small time expansion for $\widetilde{Q}_D^{(α)}(t)$ in all dimensions. When $α\in (1,2)$ and $d\geq 2$, we establish a three-term small time expansion for $\widetilde{Q}_D^{(α)}(t)$.
We study the rate of concentration of a Brownian bridge in time one around the corresponding geodesical segment on a Cartan-Hadamard manifold with pinched negative sectional curvature, when the distance between the two extremities tends to infinity. This improves on previous results by A. Eberle, and one of us. Along the way, we derive a new asymptotic estimate for the logarithmic derivative of the heat kernel on such manifolds, in bounded time and with one space parameter tending to infinity, which can be viewed as a counterpart to Bismut's asymptotic formula in small time.
