Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe Skorokhod problem in a time-dependent interval
259
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We consider the Skorokhod problem in a time-varying interval. We prove existence and uniqueness for the solution. We also express the solution in terms of an explicit formula. Moving boundaries may generate singularities when they touch. We establish two sets of sufficient conditions on the moving boundaries that guarantee that the variation of the local time of the associated reflected Brownian motion is, respectively, finite and infinite. We also apply these results to study the semimartingale property of a class of two-dimensional reflected Brownian motions.
rate research
Read More
The Skorokhod map is a convenient tool for constructing solutions to stochastic differential equations with reflecting boundary conditions. In this work, an explicit formula for the Skorokhod map $Gamma_{0,a}$ on $[0,a]$ for any $a>0$ is derived. Specifically, it is shown that on the space $mathcal{D}[0,infty)$ of right-continuous functions with left limits taking values in $mathbb{R}$, $Gamma_{0,a}=Lambda_acirc Gamma_0$, where $Lambda_a:mathcal{D}[0,infty)tomathcal{D}[0,infty)$ is defined by [Lambda_a(phi)(t)=phi(t)-sup_{sin[0,t]}biggl[bigl( phi(s)-abigr)^+wedgeinf_{uin[s,t]}phi(u)biggr]] and $Gamma_0:mathcal{D}[0,infty)tomathcal{D}[0,infty)$ is the Skorokhod map on $[0,infty)$, which is given explicitly by [Gamma_0(psi)(t)=psi(t)+sup_{sin[0,t]}[-psi(s)]^+.] In addition, properties of $Lambda_a$ are developed and comparison properties of $Gamma_{0,a}$ are established.
The Skorokhod map on the half-line has proved to be a useful tool for studying processes with non-negativity constraints. In this work we introduce a measure-valued analog of this map that transforms each element $zeta$ of a certain class of c`{a}dl`{a}g paths that take values in the space of signed measures on the half-line to a c`{a}dl`{a}g path that takes values in the space of non-negative measures on $[0,infty)$ in such a way that for each $x > 0$, the path $t mapsto zeta_t[0,x]$ is transformed via a Skorokhod map on the half-line, and the regulating functions for different $x > 0$ are coupled. We establish regularity properties of this map and show that the map provides a convenient tool for studying queueing systems in which tasks are prioritized according to a continuous parameter. Three such well known models are the earliest-deadline-first, the shortest-job-first and the shortest-remaining-processing-time scheduling policies. For these applications, we show how the map provides a unified framework within which to form fluid model equations, prove uniqueness of solutions to these equations and establish convergence of scaled state processes to the fluid model. In particular, for these models, we obtain new convergence results in time-inhomogeneous settings, which appear to fall outside the purview of existing approaches.
The supercooled Stefan problem and its variants describe the freezing of a supercooled liquid in physics, as well as the large system limits of systemic risk models in finance and of integrate-and-fire models in neuroscience. Adopting the physics terminology, the supercooled Stefan problem is known to feature a finite-time blow-up of the freezing rate for a wide range of initial temperature distributions in the liquid. Such a blow-up can result in a discontinuity of the liquid-solid boundary. In this paper, we prove that the natural Euler time-stepping scheme applied to a probabilistic formulation of the supercooled Stefan problem converges to the liquid-solid boundary of its physical solution globally in time, in the Skorokhod M1 topology. In the course of the proof, we give an explicit bound on the rate of local convergence for the time-stepping scheme. We also run numerical tests to compare our theoretical results to the practically observed convergence behavior.
We consider the population genetics problem: how long does it take before some member of the population has $m$ specified mutations? The case $m=2$ is relevant to onset of cancer due to the inactivation of both copies of a tumor suppressor gene. Models for larger $m$ are needed for colon cancer and other diseases where a sequence of mutations leads to cells with uncontrolled growth.
We prove the asymptotic independence of the empirical process $alpha_n = sqrt{n}( F_n - F)$ and the rescaled empirical distribution function $beta_n = n (F_n(tau+frac{cdot}{n})-F_n(tau))$, where $F$ is an arbitrary cdf, differentiable at some point $tau$, and $F_n$ the corresponding empricial cdf. This seems rather counterintuitive, since, for every $n in N$, there is a deterministic correspondence between $alpha_n$ and $beta_n$. Precisely, we show that the pair $(alpha_n,beta_n)$ converges in law to a limit having independent components, namely a time-transformed Brownian bridge and a two-sided Poisson process. Since these processes have jumps, in particular if $F$ itself has jumps, the Skorokhod product space $D(R) times D(R)$ is the adequate choice for modeling this convergence in. We develop a short convergence theory for $D(R) times D(R)$ by establishing the classical principle, devised by Yu. V. Prokhorov, that finite-dimensional convergence and tightness imply weak convergence. Several tightness criteria are given. Finally, the convergence of the pair $(alpha_n,beta_n)$ implies convergence of each of its components, thus, in passing, we provide a thorough proof of these known convergence results in a very general setting. In fact, the condition on $F$ to be differentiable in at least one point is only required for $beta_n$ to converge and can be further weakened.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
