Asymptotic behaviour of a Brownian motion on exterior domains

We study the asymptotic behaviour of the transition density of a Brownian motion in ?, killed at ∂?, where ? ^c is a compact non polar set. Our main result concern dimension d = 2, where we show that the transition density p ^? _t (x, y) behaves, for large t, as u(x)u(y)(t(log t)²)⁻¹ for x, y∈?, where u is the unique positive harmonic function vanishing on (∂?) ^r , such that u(x) ∼ log ∣x∣. Received: 29 January 1999 / Revised version: 11 May 1999     

Brownian bridge on hyperbolic spaces and on homogeneous trees

Let B be the Brownian motion on a noncompact non Euclidean rank one symmetric space H. A typical examples is an hyperbolic space H _n , n > 2. For ν > 0, the Brownian bridge B ^(ν) of length ν on H is the process B _t , 0 ≤t≤ν, conditioned by B ₀ = B _ν = o, where o is an origin in H. It is proved that the process converges weakly to the Brownian excursion when ν→ + ∞ (the Brownian excursion is the radial part of the Brownian Bridge on ℝ³). The same result holds for the simple random walk on an homogeneous tree. Received: 4 December 1998 / Revised version: 22 January 1999     

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.     

Some limit results for probabilities estimates of Brownian motion with polynomial drift

Let (B _t + f(t)) _t∈[0,+∞) be a Brownian motion with polynomial drift f(t), where f(t) is a polynomial. Some Limit Results for Lower tail and large deviation probabilities estimates, and Level crossing probabilities estimates of (B _t + f(t)) _t∈[0,+∞) are given in this paper.     

The exact Hausdorff measures for the graph and image of a multidimensional iterated Brownian motion

Let {W(t),t∈R}, {B(t),t∈R } be two independent Brownian motions on R with W(0) = B(0) = 0. In this paper, we shall consider the exact Hausdorff measures for the image and graph sets of the d-dimensional iterated Brownian motion X(t), where X(t) = (Xi(t),... ,Xd(t)) and X1(t),... ,Xd(t) are d independent copies of Y(t) = W(B(t)). In particular, for any Borel set Q (?) (0,∞), the exact Hausdorff measures of the image X(Q) = {X(t) : t∈Q} and the graph GrX(Q) = {(t, X(t)) :t∈Q}are established.     

Clustering of linearly interacting diffusions and universality of their long-time limit distribution

Let K⊂ℝ ^d (d≥ 1) be a compact convex set and Λ a countable Abelian group. We study a stochastic process X in K ^Λ, equipped with the product topology, where each coordinate solves a SDE of the form dX _i (t) = ∑ _j a(j−i) (X _j (t) −X _i (t))dt + σ (X _i (t))dB _i (t). Here a(·) is the kernel of a continuous-time random walk on Λ and σ is a continuous root of a diffusion matrix w on K. If X(t) converges in distribution to a limit X(∞) and the symmetrized random walk with kernel a _S (i) = a(i) + a(−i) is recurrent, then each component X _i (∞) is concentrated on {x∈K : σ(x) = 0 and the coordinates agree, i.e., the system clusters. Both these statements fail if a _S is transient. Under the assumption that the class of harmonic functions of the diffusion matrix w is preserved under linear transformations of K, we show that the system clusters for all spatially ergodic initial conditions and we determine the limit distribution of the components. This distribution turns out to be universal in all recurrent kernels a _S on Abelian groups Λ. Received: 10 May 1999 / Revised version: 18 April 2000 / Published online: 22 November 2000     

On local ergodic convergence of semi-groups and additive processes

We prove the local ergodic theorem inL _∞: Let {T _t}_t>0 be a strongly continuous semi-group of positive operators onL ₁. IfT _t is continuous at 0, then ɛ⁻¹∫ ₀ ^F T ₁ ^* f(x)dt→T ₀ ^* f(x) a.e., for everyf∈L _∞. The technique shows how to obtain theL _p local ergodic theorems from theL ₁-contraction case. It applies also to differentiation ofL p additive processes. Then-dimensional case, which is new, is proved by reduction to then-dimensionalL ₁-contraction case, solved by M. Akcoglu and A. del Junco. Research carried out during a sabbatical leave at the Ohio State University.     

Almost automorphic solutions to integral equations on the line

Given a∈L ¹(ℝ) and A the generator of an L ¹-integrable family of bounded and linear operators defined on a Banach space X, we prove the existence of almost automorphic solution to the semilinear integral equation u(t)=∫ _−∞ ^t a(t−s)[Au(s)+f(s,u(s))]ds for each f:ℝ×X→X almost automorphic in t, uniformly in x∈X, and satisfying diverse Lipschitz type conditions. In the scalar case, we prove that a∈L ¹(ℝ) positive, nonincreasing and log-convex is already sufficient.     

On the Potential Theory of One-dimensional Subordinate Brownian Motions with Continuous Components

Suppose that S is a subordinator with a nonzero drift and W is an independent 1-dimensional Brownian motion. We study the subordinate Brownian motion X defined by X _t  = W(S _t ). We give sharp bounds for the Green function of the process X killed upon exiting a bounded open interval and prove a boundary Harnack principle. In the case when S is a stable subordinator with a positive drift, we prove sharp bounds for the Green function of X in (0, ∞ ), and sharp bounds for the Poisson kernel of X in a bounded open interval.     

Some path properties of generalized Lévy sheet

Let X(t) be an N parameter generalized Lévy sheet taking values in ℝ^d with a lower index α, ℜ = {(s, t] = ∏ _i=1 ^N (s _i, t _i], s _i < t _i}, E(x, Q) = {t ∈ Q: X(t) = x}, Q ∈ ℜ be the level set of X at x and X(Q) = {x: ∃t ∈ Q such that X(t) = x} be the image of X on Q. In this paper, the problems of the existence and increment size of the local times for X(t) are studied. In addition, the Hausdorff dimension of E(x, Q) and the upper bound of a uniform dimension for X(Q) are also established.     

Optimal properties of contraction semigroups in banach spaces

Suppose that(T _t )_t>0 is aC ₀ semi-group of contractions on a Banach spaceX, such that there exists a vectorx∈X, ‖x‖=1 verifyingJ ⁻¹(Jx)={x}, whereJ is the duality mapping fromX toP(X ^*). If |<T _t x,f>|→1, whent→+∞ for somef∈X ^*, ‖f‖≤1 thenx is an eigenvector of the generatorA, associated with a purcly imaginary eigenvalue. Because of Lin's example [L], the hypothesis onx∈X is the best possible. If the hypothesisJ ⁻¹(Jx)={x} is not verified, we can prove that ifJx is a singleton and ifJ ⁻¹(Jx) is weakly compact, then if |<T _t x, f>|→1, whent→+∞ for somef∈X ^*, ‖f‖≤1, there existsy∈J ⁻¹(Jx) such thaty is an eigenvector of the generatorA, associated with a purely imaginary eigenvalue. We give also a counter-example in the case whereX is one of the spaces ℓ₁ orL ₁.     

On the First Hitting Time of a One-dimensional Diffusion and a Compound Poisson Process

It is studied the first-passage time (FPT) of a time homogeneous one-dimensional diffusion, driven by the stochastic differential equation dX(t) = μ(X(t))dt + σ(X(t)) dB _t , X(0) = x ₀, through b + Y(t), where b > x ₀ and Y(t) is a compound Poisson process with rate λ > 0 starting at 0, which is independent of the Brownian motion B _t . In particular, the FPT density is investigated, generalizing a previous result, already known in the case when X(t) = μt + B _t , for which the FPT density is the solution of a certain integral equation. A numerical method is shown to calculate approximately the FPT density; some examples and numerical results are also reported.     

Stochastic Equations with Time-Dependent Drift Driven by Levy Processes

The stochastic equation dX _t =dS _t +a(t,X _t )dt, t≥0, is considered where S is a one-dimensional Levy process with the characteristic exponent ψ(ξ),ξ∈ℝ. We prove the existence of (weak) solutions for a bounded, measurable coefficient a and any initial value X ₀=x ₀∈ℝ when (ℛe  ψ(ξ))⁻¹=o(|ξ|⁻¹) as |ξ|→∞. These conditions coincide with those found by Tanaka, Tsuchiya and Watanabe (J. Math. Kyoto Univ. 14(1), 73–92, 1974) in the case of a(t,x)=a(x). Our approach is based on Krylov’s estimates for Levy processes with time-dependent drift. Some variants of those estimates are derived in this note.     

The Maximal Operator Associated to a Nonsymmetric Ornstein–Uhlenbeck Semigroup

Let (ℋ _t ) _t≥0 be the Ornstein–Uhlenbeck semigroup on ℝ ^d with covariance matrix I and drift matrix λ(R−I), where λ>0 and R is a skew-adjoint matrix, and denote by γ _∞ the invariant measure for (ℋ _t ) _t≥0. Semigroups of this form are the basic building blocks of Ornstein–Uhlenbeck semigroups which are normal on L ²(γ _∞). We prove that if the matrix R generates a one-parameter group of periodic rotations, then the maximal operator ℋ_* f(x)=sup  _t≥o |ℋ _t f(x)| is of weak type 1 with respect to the invariant measure γ _∞. We also prove that the maximal operator associated to an arbitrary normal Ornstein–Uhlenbeck semigroup is bounded on L ^p (γ _∞) if and only if 1<p≤∞.      

Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

Extremes of independent Gaussian processes

For every n ∈ ℕ, let X _1n ,..., X _nn be independent copies of a zero-mean Gaussian process X _n  = {X _n (t), t ∈ T}. We describe all processes which can be obtained as limits, as n→ ∞, of the process a _n (M _n  − b _n ), where M _n (t) =  max _{i = 1,...,n} X _in (t), and a _n , b _n are normalizing constants. We also provide an analogous characterization for the limits of the process a _n L _n , where L _n (t) =  min _{i = 1,...,n} |X _in (t)|.     

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.     

A large-deviation result for the range of random walk and for the Wiener sausage

Let {S _n } be a random walk on ℤ ^d and let R _n be the number of different points among 0, S ₁,…, S _{n −1}. We prove here that if d≥ 2, then ψ(x) := lim _{n →∞}(−:1/n) logP{R _n ≥nx} exists for x≥ 0 and establish some convexity and monotonicity properties of ψ(x). The one-dimensional case will be treated in a separate paper. We also prove a similar result for the Wiener sausage (with drift). Let B(t) be a d-dimensional Brownian motion with constant drift, and for a bounded set A⊂ℝ ^d let Λ _t = Λ _t (A) be the d-dimensional Lebesgue measure of the `sausage' ∪_{0≤ s ≤ t} (B(s) + A). Then φ(x) := lim _t→∞: (−1/t) log P{Λ _t ≥tx exists for x≥ 0 and has similar properties as ψ. Received: 20 April 2000 / Revised version: 1 September 2000 / Published online: 26 April 2001     

Laplace approximations for sums of independent random vectors

Let X _i , i∈N, be i.i.d. B-valued random variables, where B is a real separable Banach space. Let Φ be a mapping B→R. Under a central limit theorem assumption, an asymptotic evaluation of Z _n = E (exp (n Φ (∑ _{i =1} ⁿ X _i /n))), up to a factor (1 + o(1)), has been gotten in Bolthausen [1]. In this paper, we show that the same asymptotic evaluation can be gotten without the central limit theorem assumption. Received: 19 September 1997 / Revised version:22 April 1999     

The true self-repelling motion

We construct and study a continuous real-valued random process, which is of a new type: It is self-interacting (self-repelling) but only in a local sense: it only feels the self-repellance due to its occupation-time measure density in the `immediate neighbourhood' of the point it is just visiting. We focus on the most natural process with these properties that we call `true self-repelling motion'. This is the continuous counterpart to the integer-valued `true' self-avoiding walk, which had been studied among others by the first author. One of the striking properties of true self-repelling motion is that, although the couple (X _t , occupation-time measure of X at time t) is a continuous Markov process, X is not driven by a stochastic differential equation and is not a semi-martingale. It turns out, for instance, that it has a finite variation of order 3/2, which contrasts with the finite quadratic variation of semi-martingales. One of the key-tools in the construction of X is a continuous system of coalescing Brownian motions similar to those that have been constructed by Arratia [A1, A2]. We derive various properties of X (existence and properties of the occupation time densities L _t (x), local variation, etc.) and an identity that shows that the dynamics of X can be very loosely speaking described as follows: −dX _t is equal to the gradient (in space) of L _t (x), in a generalized sense, even though x↦L _t (x) is not differentiable. Received: 15 April 1997 / Revised version: 30 January 1998