Generalized reflected BSDEs driven by a Lévy process and an obstacle problem for PDIEs with a nonlinear Neumann boundary condition

In this paper, we derive the existence and uniqueness of the solution for a class of generalized reflected backward stochastic differential equations (GRBSDEs in short) driven by a Lévy process, which involve the integral with respect to a continuous process by means of the Snell envelope, the penalization method and the fixed point theorem. In addition, we obtain the comparison theorem for the solutions of the GRBSDEs. As an application, we give a probabilistic formula for the viscosity solution of an obstacle problem for a class of partial differential-integral equations (PDIEs in short) with a nonlinear Neumann boundary condition.     

Geography of the level sets of the Brownian sheet

Summary We describe geometric properties of {W>}, whereW is a standard real-valued Brownian sheet, in the neighborhood of the first hitP of the level set {W>} along a straight line or smooth monotone curveL. In such a neighborhood we use a decomposition of the formW(s, t)=–b(s)+B(t)+x(s, t), whereb(s) andB(t) are particular diffusion processes andx(s, t) is comparatively small, to show thatP is not on the boundary of any connected component of {W>}. Rather, components of this set form clusters nearP. An integral test for thorn-shaped neighborhoods ofL with tip atP that do not meet {W>} is given. We then analyse the position and size of clusters and individual connected components of {W>} near such a thorn, giving upper bounds on their height, width and the space between clusters. This provides a local picture of the level set. Our calculations are based on estimates of the length of excursions ofB andb and an accounting of the error termx.The research of this author was partially supported by NSF grant DMS-9103962, and, during the period of revision, by grant DAAL03-92-6-0323 from the Army Research Office     

Random rotations of the Wiener path

Summary Let (W, H, ) be an abstract Wiener space and letR(w) be a strongly measurable random variable with values in the set of isometries onH. Suppose that Rh is smooth in the Sobolev sense and that it is a quasi-nilpotent operator onH for everyhH. It is shown that (R(w)h) is again a Gaussian (0, |h| _H ² )-random variable. Consequently, if (e _i ,i)W ^* is a complete, orthonormal basis ofH, then defines a measure preserving transformation, a rotation, onW. It is also shown that if for some strongly measurable, operator valued (onH) random variableR, (R(w+k)h) is (0, |h| _H ² )-Gaussian for allk, hH, thenR is an isometry and Rh is quasi-nilpotent for allHH. The relation between the stochastic calculi for these Wiener pathsw and , as well as the conditions of the inverbibility of the map are discussed and the problem of the absolute continuity of the image of the Wiener measure under Euclidean motion on the Wiener space (i.e. composed with a shift) is studied.The research of the second author was supported by the Fund for the Promotion of Research at the TechnionDedicated to the memory of Albert Badrikian     

The structure of a Brownian bubble

Summary We examine local geometric properties of level sets of the Brownian sheet, and in particular, we identify the asymptotic distribution of the area of sets which correspond to excursions of the sheet high above a given level in the neighborhood of a particular random point. It is equal to the area of certain individual connected components of the random set {(s, t):B(t)>b(s)}, whereB is a standard Brownian motion andb is (essentially) a Bessel process of dimension 3. This limit distribution is studied and, in particular, explicit formulas are given for the probability that a point belongs to a specific connected component, and for the expected area of a component given the height of the excursion ofB(t)-b(s) in this component. These formulas are evaluated numerically and compared with the results from direct simulations ofB andb.The research of this author was partially supported by grants DMS-9103962 from the National Science Foundation and DAAL03-92-6-0323 from the Army Research Office     

Valleys and the Maximum Local Time for Random Walk in Random Environment

Let ξ (n, x) be the local time at x for a recurrent one-dimensional random walk in random environment after n steps, and consider the maximum ξ^*(n) = max _x ξ(n, x). It is known that lim sup is a positive constant a.s. We prove that lim inf is a positive constant a.s. this answers a question of P. Révész [5]. The proof is based on an analysis of the valleys in the environment, defined as the potential wells of record depth. In particular, we show that almost surely, at any time n large enough, the random walker has spent almost all of its lifetime in the two deepest valleys of the environment it has encountered. We also prove a uniform exponential tail bound for the ratio of the expected total occupation time of a valley and the expected local time at its bottom.     

Convergence rates in the strong laws of asymptotically negatively associated random fields

In this paper, a notion of negative side p-mixing (p -mixing) which can be regardedas asymptotic negative association is defined, and some Rosenthal type inequalities for p -mix-ing random fields are established. The complete convergence and almost sure summability onthe convergence rates with respect to the strong law of large numbers are also discussed for p--mixing random fields. The results obtained extend those for negatively associated sequences andp“ -mixing random fields.     

Sharp estimation of the almost-sure Lyapunov exponent for the Anderson model in continuous space

In this article we study the exponential behavior of the continuous stochastic Anderson model, i.e. the solution of the stochastic partial differential equation u(t,x)=1+∫₀^tκΔ_xu (s,x) ds+∫₀^t W(ds,x) u (s,x), when the spatial parameter x is continuous, specifically x∈R, and W is a Gaussian field on R₊×R that is Brownian in time, but whose spatial distribution is widely unrestricted. We give a partial existence result of the Lyapunov exponent defined as lim_t→∞t⁻¹ log u(t,x). Furthermore, we find upper and lower bounds for lim sup_t→∞t⁻¹ log u(t,x) and lim inf_t→∞t⁻¹ log u(t,x) respectively, as functions of the diffusion constant κ which depend on the regularity of W in x. Our bounds are sharper, work for a wider range of regularity scales, and are significantly easier to prove than all previously known results. When the uniform modulus of continuity of the process W is in the logarithmic scale, our bounds are optimal. This author's research partially supported by NSF grant no. : 0204999     

N/V-limit for stochastic dynamics in continuous particle systems

We provide an N/V-limit for the infinite particle, infinite volume stochastic dynamics associated with Gibbs states in continuous particle systems on ℝ ^d ,d≥1. Starting point is an N-particle stochastic dynamic with singular interaction and reflecting boundary condition in a subset Λ⊂ℝ ^d with finite volume (Lebesgue measure) V=|Λ|<∞. The aim is to approximate the infinite particle, infinite volume stochastic dynamic by the above N-particle dynamic in Λ as N→∞ and V→∞ such that N/V→ρ, where ρ is the particle density. First we derive an improved Ruelle bound for the canonical correlation functions under an appropriate relation between N and V. Then tightness is shown by using the Lyons–Zheng decomposition. The equilibrium measures of the accumulation points are identified as infinite volume canonical Gibbs measures by an integration by parts formula and the accumulation points themselves are identified as infinite particle, infinite volume stochastic dynamics via the associated martingale problem. Assuming a property closely related to Markov uniqueness and weaker than essential self-adjointness, via Mosco convergence techniques we can identify the accumulation points as Markov processes and show uniqueness. I.e., all accumulation corresponding to one invariant canonical Gibbs measure coincide. The proofs work for general repulsive interaction potentials ϕ of Ruelle type and all temperatures, densities, and dimensions d≥1, respectively. ϕ may have a nontrivial negative part and infinite range as e.g. the Lennard–Jones potential. Additionally, our result provides as a by-product an approximation of grand canonical Gibbs measures by finite volume canonical Gibbs measures with empty boundary condition.     

The law of the Euler scheme for stochastic differential equations

Summary We study the approximation problem ofE f(X _T ) byE f(X _T ⁿ ), where (X _t ) is the solution of a stochastic differential equation, (X _T ⁿ ) is defined by the Euler discretization scheme with stepT/n, andf is a given function. For smoothf's, Talay and Tubaro have shown that the errorE f(X _T ) –f(X _T ⁿ ) can be expanded in powers of 1/n, which permits to construct Romberg extrapolation precedures to accelerate the convergence rate. Here, we prove that the expansion exists also whenf is only supposed measurable and bounded, under an additional nondegeneracy condition of Hörmander type for the infinitesimal generator of (X _t ): to obtain this result, we use the stochastic variations calculus. In the second part of this work, we will consider the density of the law ofX _T ⁿ and compare it to the density of the law ofX _T .     

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     

Differentiability preserving properties of a class of semigroups

It is well known that for a large class of Markov process the associated semi-group T(t)f(x)=f(y)P(t,x;dy) satisfies the Kolmogorov backward differential equation, that is, if u(t,x)=T(t)f(x) then and .In this paper we are considering the opposite problem: given the diffusion and drift coefficients we study the differentiability preserving properties of the semigroup T(t) having as infinitesimal generator .More specifically, for a large class of functions a(x) and b(x), we will prove for k=0, ..., 3 the existence of T(t) such that T(t): C ^k (I) C ^k (I) and the existence of a constant _k such that |T(t)f| _k |f| _k exp ( _k t) for fC ^k (I). Moreover an explicit expression of _k in terms of the coefficients a(x) and b(x) is obtained. As a side result we obtain the necessity of the boundary conditions imposed.This paper is a revised version of the author's Ph. D. dissertation at University of Massachusetts under W. Rosenkrantz     

On the option valuation and decomposition of exchange option

In this paper, we shall find the uniquerational price associated with the exchange option. Also, we find the decomposition of Snell envelope and value function of the American exchange option.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> estimates for the uniform norm of solutions of quasilinear SPDE's

In this paper we prove L^p estimates (p≥2) for the uniform norm of the paths of solutions of quasilinear stochastic partial differential equations (SPDE) of parabolic type. Our method is based on a version of Moser's iteration scheme developed by Aronson and Serrin in the context of non-linear parabolic PDE.     

The out-off phenomenon for random reflections II: Complex and quaternionic cases

Summary In this paper we generalize the random reflections problem onO(N) considered in an earlier paper to the complex and quaternionic cases. We give precise estimates on the speed of convergence to stationarity for specific examples of random walks onU(N) andSp(N) for which the one-step distribution is a certain probability measure concentrated on reflections. Our results show that in both cases the so-called cut-off phenomenon occurs atk ₀=1/2N logN.This paper is based on parts of the author's doctoral dissertation written at The Johns Hopkins University     

A class of path-valued Markov processes and its applications to superprocesses

Summary Let ( _s ) be a continuous Markov process satisfying certain regularity assumptions. We introduce a path-valued strong Markov process associated with ( _s ), which is closely related to the so-called superprocess with spatial motion ( _s ). In particular, a subsetH of the state space of ( _s ) intersects the range of the superprocess if and only if the set of paths that hitH is not polar for the path-valued process. The latter property can be investigated using the tools of the potential theory of symmetric Markov processes: A set is not polar if and only if it supports a measure of finite energy. The same approach can be applied to study sets that are polar for the graph of the superprocess. In the special case when ( _s ) is a diffusion process, we recover certain results recently obtained by Dynkin.     

White noise driven SPDEs with reflection

Summary We study reflected solutions of a nonlinear heat equation on the spatial interval [0, 1] with Dirichlet boundary conditions, driven by space-time white noise. The nonlinearity appears both in the drift and in the diffusion coefficient. Roughly speaking, at any point (t, x) where the solutionu(t, x) is strictly positive it obeys the equation, and at a point (t, x) whereu(t, x) is zero we add a force in order to prevent it from becoming negative. This can be viewed as an extension both of one-dimensional SDEs reflected at 0, and of deterministic variational inequalities. Existence of a minimal solution is proved. The construction uses a penalization argument, a new existence theorem for SPDEs whose coefficients depend on the past of the solution, and a comparison theorem for solutions of white-noise driven SPDEs.Partially supported by DRET under contract 901636/A000/DRET/DS/SR     

Anomalous behaviour for the random corrections to the cumulants of random walks in fluctuating random media

The Central Limit Theorem for a model of discrete-time random walks on the lattice ℤ^ν in a fluctuating random environment was proved for almost-all realizations of the space-time nvironment, for all ν > 1 in [BMP1] and for all ν≥ 1 in [BBMP]. In [BMP1] it was proved that the random correction to the average of the random walk for ν≥ 3 is finite. In the present paper we consider the cases ν = 1,2 and prove the Central Limit Theorem as T→∞ for the random correction to the first two cumulants. The rescaling factor for theaverage is for ν = 1 and (ln T), for ν=2; for the covariance it is , ν = 1,2. Received: 25 November 1999 / Revised version: 7 June 2000 / Published online: 15 February 2001     

Weak convergence to a Markov process: The martingale approach

Summary In this article, we obtain some sufficient conditions for weak convergence of a sequence of processes {X _n } toX, whenX arises as a solution to a well posed martingale problem. These conditions are tailored for application to the case when the state space for the processesX _n ,X is infinite dimensional. The usefulness of these conditions is illustrated by deriving Donsker's invariance principle for Hilbert space valued random variables. Also, continuous dependence of Hilbert space valued diffusions on diffusion and drift coefficients is proved.Research supported by National Board for Higher Mathematics, Bombay, IndiaPart of the work was done at University of California, Santa Barbara, USA     

Parabolic problems for the Anderson model

Summary. This is a continuation of our previous work [6] on the investigation of intermittency for the parabolic equation (∂/∂t)u=Hu on ℝ₊×ℤ ^d associated with the Anderson Hamiltonian H=κΔ+ξ(·) for i.i.d. random potentials ξ(·). For the Cauchy problem with nonnegative homogeneous initial condition we study the second order asymptotics of the statistical moments <u(t,0) ^p > and the almost sure growth of u(t,0) as t→∞. We point out the crucial role of double exponential tails of ξ(0) for the formation of high intermittent peaks of the solution u(t,·) with asymptotically finite size. The challenging motivation is to achieve a better understanding of the geometric structure of such high exceedances which in one or another sense provide the essential contribution to the solution. Received: 10 December 1996 / In revised form: 30 September 1997