Large deviations w.r.t. quasi-every starting point for symmetric right processes on general state spaces

Summary In the work of Donsker and Varadhan, Fukushima and Takeda and that of Deuschel and Stroock it has been shown, that the lower bound for the large deviations of the empirical distribution of an ergodic symmetric Markov process is given in terms of its Dirichlet form. We give a short proof generalizing this principle to general state spaces that include, in particular, infinite dimensional and non0metrizable examples. Our result holds w.r.t. quasi-every starting point of the Markov process. Moreover we show the corresponding weak upper bound w.r.t. quasi-every starting point.This research was supported by the Graduiertenkolleg Algebraische, analytische und geometrische Methoden und ihre Wechselwirkung in der modernen Mathematik, Bonn     

Boundary Harnack Principle for fractional powers of Laplacian on the Sierpiński carpet

We prove the Boundary Harnack Principle related to fractional powers of Laplacian for some natural regions in the two-dimensional Sierpiński carpet. This is a natural application of some more general approach based on the Ikeda-Watanabe formula, that expresses the harmonic measure in terms the Green function of a given region and the Lévy measure of the semigroup.     

Functions of event variables of a random system with complete connections

In applications it often occurs that the experimenter is faced with functions of random processes. Suppose, for instance, that he only can draw partial or incomplete information about the underlying process or that he has to classify events for the sake of efficiency. We assume that the underlying process is a random system with complete connections (which contains the Markovian case as a special one) satisfying some basic properties, and that a mapping operates on the event space. With these two elements we construct in Section 2 a new random system with complete connections which inherits the properties of the old one (Theorem 2.2.3). In Section 3 we prove a weak convergence theorem (Theorem 3.4.4) in the theoretical framework of the so-called distance diminishing models, which gives a straightforward application in Section 4 to conditional probabilities related to partially observed events (Theorems 4.1.3). Finally we prove a Shannon-McMillan-type theorem (Theorem 4.2.3) finding application to classification procedures.     

Persistence of a two-dimensional super-Brownian motion in a catalytic medium

Summary. The super-Brownian motion X ^ϱ in a super-Brownian medium ϱ constructed in [DF97a] is known to be persistent (no loss of expected mass in the longtime behaviour) in dimensions one ([DF97a]) and three ([DF97b]). Here we fill the gap in showing that persistence holds also in the critical dimension two. The key to this result is that in any dimension (d≤3), given the catalyst, the variance of the process is finite `uniformly in time'. This is in contrast to the `classical' super-Brownian motion where this holds only in high dimensions (d≥3), whereas in low dimensions the variances grow without bound, and the process clusters leading to local extinction. Received: 21 November 1996 / In revised form: 31 March 1997     

Exit times for a class of piecewise exponential Markov processes with two-sided jumps

We consider first passage times for piecewise exponential Markov processes that may be viewed as Ornstein–Uhlenbeck processes driven by compound Poisson processes. We allow for two-sided jumps and as a main result we derive the joint Laplace transform of the first passage time of a lower level and the resulting undershoot when passage happens as a consequence of a downward (negative) jump. The Laplace transform is determined using complex contour integrals and we illustrate how the choice of contours depends in a crucial manner on the particular form of the negative jump part, which is allowed to belong to a dense class of probabilities. We give extensions of the main result to two-sided exit problems where the negative jumps are as before but now it is also required that the positive jumps have a distribution of the same type. Further, extensions are given for the case where the driving Lévy process is the sum of a compound Poisson process and an independent Brownian motion. Examples are used to illustrate the theoretical results and include the numerical evaluation of some concrete exit probabilities. Also, some of the examples show that for specific values of the model parameters it is possible to obtain closed form expressions for the Laplace transform, as is the case when residue calculus may be used for evaluating the relevant contour integrals.     

On almost sure limit inferior for B-valued stochastic processes and applications

Summary A criterion on almost sure limit inferior for the increments of B-valued stochastic processes is presented. Applications to processes of independent increments and to Gaussian processes with stationary increments are given. In particular, an exact limit inferior bound is established for increments of infinite series of independent Ornstein-Uhlenbeck processes.Work supported by an NSERC Canada grant at Carleton UniversityWork supported by the Fok Yingtung Education Foundation of China     

On strong solutions for positive definite jump diffusions

We show the existence of unique global strong solutions of a class of stochastic differential equations on the cone of symmetric positive definite matrices. Our result includes affine diffusion processes and therefore extends considerably the known statements concerning Wishart processes, which have recently been extensively employed in financial mathematics.Moreover, we consider stochastic differential equations where the diffusion coefficient is given by the αth positive semidefinite power of the process itself with 0.5<α<1 and obtain existence conditions for them. In the case of a diffusion coefficient which is linear in the process we likewise get a positive definite analogue of the univariate GARCH diffusions.     

Criteria for ergodicity of Lévy type operators in dimension one

Some sufficient conditions for the recurrence, the positive recurrence and the exponential ergodicity of one-dimensional Lévy type operators are presented. The conditions are classified according to different conditions on the ranges and integrability of the Lévy measure, based on the drift inequalities for the extended generator, and on a comparison with diffusion operators. A number of examples are illustrated, including the fractional Laplacian operator and the Ornstein–Uhlenbeck type operator.     

One-point extensions of Markov processes by darning

This paper is a continuation of the works by Fukushima–Tanaka (Ann Inst Henri Poincaré Probab Stat 41: 419–459, 2005) and Chen–Fukushima–Ying (Stochastic Analysis and Application, p.153–196. The Abel Symposium, Springer, Heidelberg) on the study of one-point extendability of a pair of standard Markov processes in weak duality. In this paper, general conditions to ensure such an extension are given. In the symmetric case, characterizations of the one-point extensions are given in terms of their Dirichlet forms and in terms of their L ²-infinitesimal generators. In particular, a generalized notion of flux is introduced and is used to characterize functions in the domain of the L ²-infinitesimal generator of the extended process. An important role in our investigation is played by the α-order approaching probability u _α . The research of Z.-Q. Chen is supported in part by NSF Grant DMS-0600206. The research of M. Fukushima is supported in part by Grant-in-Aid for Scientific Research of MEXT No.19540125.     

Coupling and strong Feller for jump processes on Banach spaces

By using lower bound conditions of the Lévy measure w.r.t. a nice reference measure, the coupling and strong Feller properties are investigated for the Markov semigroup associated with a class of linear SDEs driven by (non-cylindrical) Lévy processes on a Banach space. Unlike in the finite-dimensional case where these properties have also been confirmed for Lévy processes without drift, in the infinite-dimensional setting the appearance of a drift term is essential to ensure the quasi-invariance of the process by shifting the initial data. Gradient estimates and exponential convergence are also investigated. The main results are illustrated by specific models on the Wiener space and separable Hilbert spaces.     

A necessary and sufficient condition for noncertain extinction of a branching process in a random environment (BPRE)

It is known that a branching process in a random environment (BPRE) which is subcritical or critical either dies with probability one or, in the trivial case, corresponds to an immortal sterile population. In the supercritical case, various conditions are known to be necessary for noncertain extinction while other conditions are known to be sufficient. In this paper, a necessary and sufficient condition for noncertain extinction of a supercritical BPRE is given. In particular, it is shown that a supercritical BPRE has noncertain extinction if and only if there exists a random truncation, depending only on the environmental sequence, such that the truncated BPRE is supercritical and such that the sequence of truncation points grows more slowly than any exponential sequence.     

Construction of Markov processes and associated multiplicative functionals from given harmonic measures

Summary LetE be a noncompact locally compact second countable Hausdorff space. We consider the question when, given a family of finite nonzero measures onE that behave like harmonic measures associated with all relatively compact open sets inE (i.e. that satisfy a certain consistency condition), one can construct a Markov process onE and a multiplicative functional with values in [0, ) such that the hitting distributions of the process inflated by the multiplicative functional yield the given harmonic measures. We achieve this construction under weak continuity and local transience conditions on these measures that are natural in the theory of Markov processes, and a mild growth restriction on them. In particular, if the spaceE equipped with the measures satisfies the conditions of a harmonic space, such a Markov process and associated multiplicative functional exist. The result extends in a new direction the work of many authors, in probability and in axiomatic potential theory, on constructing Markov processes from given hitting distributions (i.e. from harmonic measures that have total mass no more than 1).     

Analytic characterization of conditional gaugeability for non-local Feynman-Kac transforms

An analytic characterization of gaugeability and conditional gaugeability is given for non-local (or discontinuous) Feynman-Kac transforms of general symmetric Markov processes. This analytic characterization is very useful in determining whether a process perturbed by a potential is gaugeable or conditionally gaugeable in concrete cases.     

Second order stochastic differential equations and non-Gaussian reciprocal diffusions

Summary We first prove that a Markov diffusion satisfies a second order stochastic differential equation involving the invariants associated to its reciprocal class as a reciprocal process. Some properties of the noise term are given. We also prove that this equation can be viewed as an Euler Lagrange equation in a problem of calculus of variations. In the non markovian case, a Bernstein bridge is shown to satisfy the same equation but in a weak sense.     

Zeno's walk: A random walk with refinements

Summary. A self-modifying random walk on is derived from an ordinary random walk on the integers by interpolating a new vertex into each edge as it is crossed. This process converges almost surely to a random variable which is totally singular with respect to Lebesgue measure, and which is supported on a subset of having Hausdorff dimension less than , which we calculate by a theorem of Billingsley. By generating function techniques we then calculate the exponential rate of convergence of the process to its limit point, which may be taken as a bound for the convergence of the measure in the Wasserstein metric. We describe how the process may viewed as a random walk on the space of monotone piecewise linear functions, where moves are taken by successive compositions with a randomly chosen such function. Received: 20 November 1995 / In revised form: 14 May 1996     

On the first eigenvalue of the mean finsler-laplacian

In this paper, we prove that several different definitions of the Finsler-Laplacian are equivalent. Then we prove that any Berwald metric is affinely equivalent to its mean metric and give some upper or lower bound estimates for the first eigenvalue of the mean Laplacian on Berwald manifolds, which generalize some results in Riemannian geometry.     

Approximation via regularization of the local time of semimartingales and Brownian motion

Through a regularization procedure, a few schemes for approximation of the local time of a large class of continuous semimartingales and reversible diffusions are given. The convergence holds in the ucp sense. In the case of standard Brownian motion, we have been able to bound the rate of convergence in L²$L^2$, and to establish the a.s. convergence of some of our schemes.     

The contiguity of probability measures and asymptotic inference in continuous time stationary diffusions and Gaussian processes with known covariance

We establish contiguity of families of probability measures indexed by T, as T → ∞, for classes of continuous time stochastic processes which are either stationary diffusions or Gaussian processes with known covariance. In most cases, and in all the examples we consider in Section 4, the covariance is completely determined by observing the process continuously over any finite interval of time. Many important consequences pertaining to properties of tests and estimators, outlined in Section 5, will then apply.     

Existence and uniqueness of semimartingale reflecting Brownian motions in an orthant

Summary This work is concerned with the existence and uniqueness of a class of semimartingale reflecting Brownian motions which live in the non-negative orthant of ^d . Loosely speaking, such a process has a semimartingale decomposition such that in the interior of the orthant the process behaves like a Brownian motion with a constant drift and covariance matrix, and at each of the (d-1)-dimensional faces that form the boundary of the orthant, the bounded variation part of the process increases in a given direction (constant for any particular face) so as to confine the process to the orthant. For historical reasons, this pushing at the boundary is called instantaneous reflection. In 1988, Reiman and Williams proved that a necessary condition for the existence of such a semimartingale reflecting Brownian motion (SRBM) is that the reflection matrix formed by the directions of reflection be completely-L. In this work we prove that condition is sufficient for the existence of an SRBM and that the SRBM is unique in law. It follows from the uniqueness that an SRBM defines a strong Markov process. Our results have potential application to the study of diffusions arising as approximations tomulti-class queueing networks.Research supported in part by NSF Grants DMS 8657483, 8722351 and 9023335, and a grant from AT&T Bell Labs. In addition, R.J. Williams was supported in part during the period of this research by an Alfred P. Sloan Research Fellowship