Source author record

Jian-Sheng Xie

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
7topics
4close collaborators

Published work

7 publications

preprint2024arXiv

On the First and the Second Borel-Cantelli Lemmas

Let {An}n=1∞\{A_n\}_{n=1}^\infty be a sequence of events and let S:=∑n=1∞1An\displaystyle S:=\sum_{n=1}^\infty 1_{A_n}. We present in this note equivalent characterizations for the statements P(S<∞)=1\mathbb{P} (S<\infty)=1 and P(S=∞)=1\mathbb{P} (S=\infty)=1 respectively. These characterizations are of Borel-Cantelli lemma type and of Kochen-Stone lemma type respectively, which could be regarded as the most general version of the first and the second Borel-Cantelli Lemmas.

preprint2014arXiv

Bounding Ornstein-Uhlenbeck Processes and Alikes

In this note we consider SDEs of the type dXt=[F(Xt)−AXt]dt+DdWt\mathrm{d} X_t=[F (X_t) -A X_t] \mathrm{d} t +D \mathrm{d} W_t under the assumptions that AA's eigenvalues are all of positive real parts and F(⋅)F (\cdot) has slower-than-linear growth rate. It is proved that lim‾⁡t→∞∥Xt∥log⁡t=2λ1\displaystyle \varlimsup_{t \to \infty} \frac{\|X_t\|}{\sqrt{\log t}} =\sqrt{2 λ_1} almost surely with λ1λ_1 being the largest eigenvalue of the matrix Σ:=∫0∞e−sA⋅(D⋅DT)⋅e−sATds\displaystyle Σ:=\int_0^\infty e^{-s A} \cdot (D \cdot D^T) \cdot e^{-s A^T} \mathrm{d} s; the discarded measure-zero set can be chosen independent of the initial values X0=xX_0=x.

preprint2014arXiv

Bounding the Solutions to Some SDEs via Ergodic Theory

In this note we consider autonomous SDEs admitting smooth invariant measures. We present a method in finding (almost everywhere) good bounds for sup⁡{∥Xt∥:t∈[0,T]}\sup \{\|X_t\|: t \in [0, T]\} for strong solutions X⋅X_{\cdot} to such SDEs, which in many cases are optimal bounds. In some situation (especially in one-dimensional SDEs' cases), the discarded measure-zero set can be chosen to be a measure-zero set of the underlying Brownian motion uniform for all initial points X0=xX_0=x.

preprint2013arXiv

Range-Renewal Structure in Continued Fractions

Let ω=[a1,a2,⋯ ]ω=[a_1, a_2, \cdots] be the infinite expansion of continued fraction for an irrational number ω∈(0,1)ω\in (0,1); let Rn(ω)R_n (ω) (resp. Rn, k(ω)R_{n, \, k} (ω), Rn, k+(ω)R_{n, \, k+} (ω)) be the number of distinct partial quotients each of which appears at least once (resp. exactly kk times, at least kk times) in the sequence a1,⋯ ,ana_1, \cdots, a_n. In this paper it is proved that for Lebesgue almost all ω∈(0,1)ω\in (0,1) and all k≥1k \geq 1, lim⁡n→∞Rn(ω)n=πlog⁡2,lim⁡n→∞Rn, k(ω)Rn(ω)=C2kk(2k−1)⋅4k,lim⁡n→∞Rn, k(ω)Rn, k+(ω)=12k. \displaystyle \lim_{n \to \infty} \frac{R_n (ω)}{\sqrt{n}}=\sqrt{\fracπ{\log 2}}, \quad \lim_{n \to \infty} \frac{R_{n, \, k} (ω)}{R_n (ω)}=\frac{C_{2 k}^k}{(2k-1) \cdot 4^k}, \quad \lim_{n \to \infty} \frac{R_{n, \, k} (ω)}{R_{n, \, k+} (ω)}=\frac{1}{2k}. The Hausdorff dimensions of certain level sets about RnR_n are discussed.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.