On perturbations of differentiable semigroups

LetX be a Banach space and letA be the infinitesimal generator of a differentiable semigroup {T(t) |t ≥ 0}, i.e. aC ₀-semigroup such thatt ↦T(t)x is differentiable on (0, ∞) for everyx εX. LetB be a bounded linear operator onX and let {S(t) |t ≥ 0} be the semigroup generated byA +B. Renardy recently gave an example which shows that {S(t) |t ≥ 0} need not be differentiable. In this paper we give a condition on the growth of ‖T′(t)‖ ast ↓ 0 which is sufficient to ensure that {S(t) |t ≥ 0} is differentiable. Moreover, we use Renardy’s example to study the optimality of our growth condition. Our results can be summarized roughly as follows:

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     

Parametric estimation for the standard and geometric telegraph process observed at discrete times

The telegraph process X(t), t ≥ 0, (Goldstein, Q J Mech Appl Math 4:129–156, 1951) and the geometric telegraph process with μ a known real constant and σ > 0 a parameter are supposed to be observed at n + 1 equidistant time points t _i  = iΔ _n ,i = 0,1,..., n. For both models λ, the underlying rate of the Poisson process, is a parameter to be estimated. In the geometric case, also σ > 0 has to be estimated. We propose different estimators of the parameters and we investigate their performance under the asymptotics, i.e. Δ _n → 0, nΔ _n =  T < ∞ as n → ∞, with T > 0 fixed. The process X(t) in non markovian, non stationary and not ergodic thus we build a contrast function to derive an estimator. Given the complexity of the equations involved only estimators on the first model can be studied analytically. Therefore, we run an extensive Monte Carlo analysis to study the performance of the proposed estimators also for small sample size n.      

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     

Saturation classes for a sequence of convolution operators with limited oscillation

Saturation classes for the sequenceK _n (f, x) = ∫f(x −t)dμ _n (t) of linear operators whereK _n(f, x) is of the limited oscillation type, that is,μ _n (t) is monotonic fort ≠ [−Aσ _n ,Aσ _n ],σ _n =o(1),n → ∞ and ∫t ^2m dμ _n (t), are obtained. Examples of applications to some sequences of non-positive operators are given.     

Estimation of Parameters for Diffusion Processes with Jumps from Discrete Observations

In this paper, we consider a multidimensional diffusion process with jumps whose jump term is driven by a compound Poisson process. Let a(x,θ) be a drift coefficient, b(x,σ) be a diffusion coefficient respectively, and the jump term is driven by a Poisson random measure p. We assume that its intensity measure q^θ has a finite total mass. The aim of this paper is estimating the parameter α = (θ,σ) from some discrete data. We can observe n + 1 data at t_iⁿ = ih_n, . We suppose h_n → 0, nh_n → ∞, nh_n² → 0. Final version 20 December 2004     

Interior transition layers of solutions to the perturbed elliptic Sine-Gordon equation on an interval

We consider the perturbed elliptic Sine-Gordon equation on an interval-u″t+γsinu(t)=μf(u(t)),t ∈I := (-T, T),u(t) > 0,t ∈I,u(±T)=0 where λ, μ>0 are parameters andT>0 is a constant. By applying variational methods subject to the constraint depending on λ, we obtain eigenpairs (μ,u)=(μ(λ),u _λ) which solve this eigenvalue problem for a given λ>0. Then we study the asymptotic behavior ofu _λ and μ(λ) as λ→∞. Especially, we study the location of interior transition layers ofu _λ as λ→∞. This research has been supported by the Japan Society for the Promotion of Science.     

Asymptotic separation for independent trajectories of Markov processes

We say that n independent trajectories ξ₁(t),…,ξ _n (t) of a stochastic process ξ(t)on a metric space are asymptotically separated if, for some ɛ > 0, the distance between ξ _i (t _i ) and ξ _j (t _j ) is at least ɛ, for some indices i, j and for all large enough t ₁,…,t _n , with probability 1. We prove sufficient conitions for asymptotic separationin terms of the Green function and the transition function, for a wide class of Markov processes. In particular,if ξ is the diffusion on a Riemannian manifold generated by the Laplace operator Δ, and the heat kernel p(t, x, y) satisfies the inequality p(t, x, x) ≤ Ct ^−ν/2 then n trajectories of ξ are asymptotically separated provided . Moreover, if for some α∈(0, 2)then n trajectories of ξ^(α) are asymptotically separated, where ξ^(α) is the α-process generated by −(−Δ)^α/2. Received: 10 June 1999 / Revised version: 20 April 2000 / Published online: 14 December 2000 RID="*" ID="*" Supported by the EPSRC Research Fellowship B/94/AF/1782 RID="**" ID="**" Partially supported by the EPSRC Visiting Fellowship GR/M61573     

The roots of <Emphasis Type="Italic">σ</Emphasis>-polynomials

Let G be a connected graph. We denote by σ(G,x) and δ(G) respectively the σ-polynomial and the edge-density of G, where . If σ(G,x) has at least an unreal root, then G is said to be a σ-unreal graph. Let δ(n) be the minimum edgedensity over all n vertices graphs with σ-unreal roots. In this paper, by using the theory of adjoint polynomials, a negative answer to a problem posed by Brenti et al. is given and the following results are obtained: For any positive integer a and rational number 0≤c≤1, there exists at least a graph sequence {G _i}_1≤i≤a such that G _i is σ-unreal and δ(G _i)→c as n→∞ for all 1 ≤i≤a, and moreover, δ(n)→0 as n→∞. Supported by the National Natural Science Foundation of China (10061003) and the Science Foundation of the State Education Ministry of China.     

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     

Two renewal theorems for general random walks tending to infinity

Summary. Necessary and sufficient conditions for the existence of moments of the first passage time of a random walk S _n into [x, ∞) for fixed x≧ 0, and the last exit time of the walk from (−∞, x], are given under the condition that S _n →∞ a.s. The methods, which are quite different from those applied in the previously studied case of a positive mean for the increments of S _n , are further developed to obtain the “order of magnitude” as x→∞ of the moments of the first passage and last exit times, when these are finite. A number of other conditions of interest in renewal theory are also discussed, and some results for the first time for which the random walk remains above the level x on K consecutive occasions, which has applications in option pricing, are given. Received: 18 September 1995/In revised form: 28 February 1996     

Possible limit laws for entrance times of an ergodic aperiodic dynamical system

LetG denote the set of decreasingG: ℝ→ℝ withGэ1 on ]−∞,0], and ƒ ₀ ^∞ G(t)dt⩽1. LetX be a compact metric space, andT: X→X a continuous map. Let μ denone aT-invariant ergodic probability measure onX, and assume (X, T, μ) to be aperiodic. LetU⊂X be such that μ(U)>0. Let τ _U (x)=inf{k⩾1:T ^k xεU}, and defineG _U (t)=1/u(U)u({xεU:u(U)τU(x)>t),tεℝ We prove that for μ-a.e.x∈X, there exists a sequence (U _n ) _n≥1 of neighbourhoods ofx such that {x}=∩ _n U _n , and for anyG ∈G, there exists a subsequence (n _k ) _k≥1 withG _{U n k} ↑U weakly. We also construct a uniquely ergodic Toeplitz flowO(x ^∞,S, μ), the orbit closure of a Toeplitz sequencex ^∞, such that the above conclusion still holds, with moreover the requirement that eachU _n be a cylinder set. In memory of Anzelm Iwanik     

Long and short paths in uniform random recursive dags

In a uniform random recursive k-directed acyclic graph, there is a root, 0, and each node in turn, from 1 to n, chooses k uniform random parents from among the nodes of smaller index. If S _n is the shortest path distance from node n to the root, then we determine the constant σ such that S _n /log n→σ in probability as n→∞. We also show that max _1≤i≤n S _i /log n→σ in probability.     

Description of sequences of zeros of one class of functions analytic in a half-plane

We describe sequences of zeros of functions ƒ ≠ 0 that are analytic in the right half-plane and satisfy the condition |ƒ(z)| ≤ 0(1) exp (σ| z |η(| z |)), 0 ≤ <+ ∞, Re z > 0, where η: [0; + ∞) → (- ∞; + ∞) is a function of bounded variation. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 9, pp. 1169–1176, September, 1998.     

Spectral mapping theorems for exponentially bounded c-semigroups in Banach spaces

LetZ be a generator of an exponentially boundedC-semigroup {S _t } _t≥0 in a Banach space and letT _t =C ⁻¹ S _t . We show that the spectral mapping theorems such as exp(tσ(Z)) ⊂ σ(T _t ) and exp(tσ _p (Z)) ⊂ tσ _p (T _t ) ⊂ exp(tσ _p (Z)) ⋃ {0} for everyt≥0 hold. The present studies were supported by the Basic Science Research Institute Program, Ministry of Education, 1987.     

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     

Large deviations and continuum limit in the 2D Ising model

Summary. We study the 2D Ising model in a rectangular box Λ _L of linear size O(L). We determine the exact asymptotic behaviour of the large deviations of the magnetization ∑ _t∈ΛL σ(t) when L→∞ for values of the parameters of the model corresponding to the phase coexistence region, where the order parameter m ^* is strictly positive. We study in particular boundary effects due to an arbitrary real-valued boundary magnetic field. Using the self-duality of the model a large part of the analysis consists in deriving properties of the covariance function <σ(0)σ(t)>, as |t|→∞, at dual values of the parameters of the model. To do this analysis we establish new results about the high-temperature representation of the model. These results are valid for dimensions D≥2 and up to the critical temperature. They give a complete non-perturbative exposition of the high-temperature representation. We then study the Gibbs measure conditioned by {|∑ _t∈ΛL σ(t) −m|Λ _L ||≤|Λ _L |L ^{− c} }, with 0<c<1/4 and −m ^*<m<m ^*. We construct the continuum limit of the model and describe the limit by the solutions of a variational problem of isoperimetric type. Received: 17 October 1996 / In revised form: 7 March 1997     

Moderate Deviations for Random Sums of Heavy-Tailed Random Variables

Let {Xn;n≥ 1} be a sequence of independent non-negative random variables with common distribution function F having extended regularly varying tail and finite mean μ = E（X1） and let {N（t）; t ≥0} be a random process taking non-negative integer values with finite mean λ（t） = E（N（t）） and independent of {Xn; n ≥1}. In this paper, asymptotic expressions of P（（X1 ＋… ＋XN（t）） -λ（t）μ 〉 x） uniformly for x ∈[γb（t）, ∞） are obtained, where γ〉 0 and b（t） can be taken to be a positive function with limt→∞ b（t）/λ（t） = 0.     

On conditions for Dirichlet series absolutely convergent in a half-plane to belong to the class of convergence

Let M(σ) = sup{|F(σ + it)|: t ∈ ℝ} and μ(σ) = max {|a _n |exp(σλ_n): n ≥ 0}, σ < 0, for a Dirichlet series {fx995-01} with abscissa of absolute convergence σ_a = 0. We prove that the condition ln ln n = o(ln λ_n), n → ∞, is necessary and sufficient for the equivalence of the relations {fx995-02}, for each series of this type. Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 60, No. 6, pp. 851–856, June, 2008.     

负相依随机变量的自正则化中心极限定理与部分和的方差估计

§ 1　 IntroductionWe firstintroduce some concepts.Random variables X and Y are called negative dependent ( ND) if for any pair ofmonotonically non-decresing functions f and g,Cov{ f( X) ,g( Y) }≤ 0 .Clearly itis equivalenttoP( X≤ x,Y≤ y)≤ P( X≤ x) P( Y≤ y)for all x,y∈R.A random sequence{ Xi,i≥ 1 } is said to be negative quadrant dependent( NQD) if any pairof variables Xi,Xj( i≠j) are ND.A sequence of random variables{ Xi,i≥ 1 } is said to be linear negative quadrand depend…