Related papers: Formalization of Brownian motion in Lean
We extend to the vector-valued situation some earlier work of Ciesielski and Roynette on the Besov regularity of the paths of the classical Brownian motion. We also consider a Brownian motion as a Besov space valued random variable. It…
Many years ago, Griego, Heath and Ruiz-Moncayo proved that it is possible to define realizations of a sequence of uniform transform processes that converges almost surely to the standard Brownian motion, uniformly on the unit time interval.…
We define an equation on a simple graph which is an extension of Tanaka equation and the skew Brownian motion equation. We then apply the theory of transition kernels developped by Le Jan and Raimond and show that all the solutions can be…
Distribution theory is a cornerstone of the theory of partial differential equations. We report on the progress of formalizing the theory of tempered distributions in the interactive proof assistant Lean, which is the first formalization in…
This paper introduces a general and new formalism to model the turbulent wave-front phase using fractional Brownian motion processes. Moreover, it extends results to non-Kolmogorov turbulence. In particular, generalized expressions for the…
The ABC conjecture implies many conjectures and theorems in number theory, including the celebrated Fermat's Last Theorem. Mason-Stothers Theorem is a function field analogue of the ABC conjecture that admits a much more elementary proof…
We give a probabilistic proof for the emergence of the Stable-$1$ Law for the random fluctuations of the mass of the extremal process of branching Brownian Motion away from its tip. This result was already shown by Mytnik et al. albeit…
A functional limit theorem for the empirical measure-valued process of eigenvalues of a matrix fractional Brownian motion is obtained. It is shown that the limiting measure-valued process is the non-commutative fractional Brownian motion…
In this paper we present a dynamical system to generate Brownian motion based on the Langevin equation without stochastic term and using fractional derivatives, i.e., a deterministic Brownian motion model is proposed. The stochastic process…
Gaussian processes occupy one of the leading places in modern statistics and probability theory due to their importance and a wealth of strong results. The common use of Gaussian processes is in connection with problems related to…
We construct an application, which takes as input a simple path and a possibly infinite collection of loops, and outputs a continuous path by adding the loops chronologically to the simple path as the simple path encounters them. By…
We derive a simple integral representation for the distribution of the maximum of Brownian motion minus a parabola, which can be used for computing the density and moments of the distribution, both for one-sided and two-sided Brownian…
In this paper we study Green measures of certain classes of Markov processes. In particular Brownian motion and processes with jump generators with different tails. The Green measures are represented as a sum of a singular and a regular…
The additivity of classical probabilities is only the first in a hierarchy of possible sum-rules, each of which implies its successor. The first and most restrictive sum-rule of the hierarchy yields measure-theory in the Kolmogorov sense,…
We prove that a sequence of semi-discrete approximations converges to a multiplicative functional for reflected Brownian motion, which intuitively represents the Lyapunov exponent for the corresponding stochastic flow. The method of proof…
We begin by exploring the intuition of Brownian motion by explaining its birth through the observations of Robert Brown and later through Bachelier's work on its applications to the financial market and finally its rigorous and concretized…
In the setting of finite reflection groups, we prove that the projection of a Brownian motion onto a closed Weyl chamber is another Brownian motion normally reflected on the walls of the chamber. Our proof is probabilistic and the…
The motion of a ball through an appropriate lattice of round obstacles models the behavior of a Brownian particle and can be used to describe measurement on a macro system. On another hand, such motion is chaotic and a known conjecture…
Experimental verification of the theoretical predictions made by Albert Einstein in his paper, published in 1905, on the molecular mechanisms of Brownian motion established the existence of atoms. In the last 100 years discoveries of many…
We consider a Brownian motion with drift in the quarter plane with orthogonal reflection on the axes. The Laplace transform of its stationary distribution satisfies a functional equation, which is reminiscent from equations arising in the…