Chung's law for homogeneous Brownian functionals (Q976557)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Chung's law for homogeneous Brownian functionals
    scientific article

      Statements

      Chung's law for homogeneous Brownian functionals (English)
      0 references
      0 references
      0 references
      14 June 2010
      0 references
      For a linear Brownian motion \(\{B(t),\,t\geq 0\}\) starting at \(0,\) consider the functional \(X=\{X_t,\,t\geq 0\}\) defined by \[ X_t=\int_0^t V(B_s)ds,\quad t\geq 0, \] where \(V(x)=x^\alpha\) if \(x\geq 0\) and \(V(x)=-\lambda|x|^\alpha\) if \(x\leq 0,\) for some \(\alpha,\lambda >0.\) The authors' main theorem proves a first-order exponential large deviation rate for the two-sided exit time \(T_{ab}=\inf\{t>0,~X_t\notin(-a,b)\},\) with \(a,b>0,\) i.e., there exists a finite positive constant \(\mathcal K\) such that \[ \lim_{t\to\infty} t^{-1}\log {\mathbf P}\left[T_{ab}>t\right]=-{\mathcal K}.\tag{1.1} \] By self-similarity, for \(a=b=1,\) the latter rate results in a small ball probability estimate showing that there exists a positive constant \(\mathcal K'\) such that \[ \lim_{\varepsilon \to 0}\varepsilon^{-2/(\alpha +2)}\log {\mathbf P} \left[\|X\|_\infty <\varepsilon\right]=-{\mathcal K}',\tag{1.2} \] where \(\|\cdot\|\) denotes the supremum norm over \([0,1].\) As a consequence, a Chung-type law of the iterated logarithm can be deduced from (1.2), that is, one has \[ \liminf_{t\to\infty}\frac{\sup\{|X_s|,\,s\leq t\}}{\left(t/\log\log t\right)^{(\alpha +2)/2}} ={\mathcal K}_1^{(\alpha +2)/2}\quad\text{a.s.,} \] where \({\mathcal K}_1\) is the constant appearing in (1.1) when \(a=b=1.\)
      0 references
      functional of Brownian motion
      0 references
      first-exit time
      0 references
      large deviation probability
      0 references
      self-similarity
      0 references
      small ball probabilities
      0 references
      Chung's law of the iterated logarithm
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references