Local limit theorem for the first crossing time of a fixed level by a random walk

Let X,X(1),X(2),... be independent identically distributed random variables with mean zero and a finite variance. Put S(n) = X(1) + ... + X(n), n = 1, 2,..., and define the Markov stopping time η _y = inf {n ≥ 1: S(n) ≥ y} of the first crossing a level y ≥ 0 by the random walk S(n), n = 1, 2,.... In the case $ \mathbb{E} $ \mathbb{E} |X|³ < ∞, the following relation was obtained in [8]: $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) as n → ∞, where the constant R and the bounded sequence ν _n were calculated in an explicit form. Moreover, there were obtained necessary and sufficient conditions for the limit existence $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0, and there was found a representation for H(y). The present paper was motivated by the following reason. In [8], the authors unfortunately did not cite papers [1, 5] where the above-mentioned relations were obtained under weaker restrictions. Namely, it was proved in [5] the existence of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0 under the condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ only; In [1], an explicit form of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) was found under the same condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ in the case when the summand X has an arithmetic distribution. In the present paper, we prove that the main assertion in [5] fails and we correct the original proof. It worth noting that this corrected version was formulated in [8] as a conjecture.     

On short wave stability and sufficient conditions for stability in the extended Rayleigh problem of hydrodynamic stability

We consider the extended Rayleigh problem of hydrodynamic stability dealing with the stability of inviscid homogeneous shear flows in sea straits of arbitrary cross section. We prove a short wave stability result, namely, if k > 0 is the wave number of a normal mode then k > k _c (for some critical wave number k _c) implies the stability of the mode for a class of basic flows. Furthermore, if $ K(z) = \frac{{ - (U'_0 - T_0 U'_0 )}} {{U_0 - U_{0s} }} $ K(z) = \frac{{ - (U'_0 - T_0 U'_0 )}} {{U_0 - U_{0s} }} , where U ₀ is the basic velocity, T ₀ (a constant) the topography and prime denotes differentiation with respect to vertical coordinate z then we prove that a sufficient condition for the stability of basic flow is $ 0 < K(z) \leqslant \left( {\frac{{\pi ^2 }} {{D^2 }} + \frac{{T_0^2 }} {4}} \right) $ 0 < K(z) \leqslant \left( {\frac{{\pi ^2 }} {{D^2 }} + \frac{{T_0^2 }} {4}} \right) , where the flow domain is 0 ≤ z ≤ D.     

The generalized Roper-Suffridge extension operator in Banach spaces (III)

Suppose that X is a complex Banach space with the norm ‖·‖ and n is a positive integer with dim X ⩾ n ⩾ 2. In this paper, we consider the generalized Roper-Suffridge extension operator $ \Phi _{n,\beta _2 ,\gamma _2 , \ldots ,\beta _{n + 1} ,\gamma _{n + 1} } (f) $ \Phi _{n,\beta _2 ,\gamma _2 , \ldots ,\beta _{n + 1} ,\gamma _{n + 1} } (f) on the domain $ \Omega _{p_1 ,p_2 , \ldots ,p_{n + 1} } $ \Omega _{p_1 ,p_2 , \ldots ,p_{n + 1} } defined by

Univalence and starlikeness of nonlinear integral transform of certain class of analytic functions

Let U(λ, μ) denote the class of all normalized analytic functions f in the unit disk |z| < 1 satisfying the condition

Complete moment and integral convergence for sums of negatively associated random variables

For a sequence of identically distributed negatively associated random variables {Xn; n ≥ 1} with partial sums Sn = ∑i=1^n Xi, n ≥ 1, refinements are presented of the classical Baum-Katz and Lai complete convergence theorems. More specifically, necessary and sufficient moment conditions are provided for complete moment convergence of the form ∑n≥n0 n^r-2-1/pq anE（max1≤k≤n｜Sk｜^1/q-∈bn^1/qp）^＋〈∞to hold where r 〉 1, q 〉 0 and either n0 = 1,0 〈 p 〈 2, an = 1,bn = n or n0 = 3,p = 2, an = 1 （log n） ^1/2q, bn=n log n. These results extend results of Chow and of Li and Spataru from the indepen- dent and identically distributed case to the identically distributed negatively associated setting. The complete moment convergence is also shown to be equivalent to a form of complete integral convergence.     

Imaginary powers of a Laguerre differential operator

Imaginary powers associated to the Laguerre differential operator $ L_\alpha = - \Delta + |x|^2 + \sum _{i = 1}^d \frac{1} {{x_i^2 }}(\alpha _i^2 - 1/4) $ L_\alpha = - \Delta + |x|^2 + \sum _{i = 1}^d \frac{1} {{x_i^2 }}(\alpha _i^2 - 1/4) are investigated. It is proved that for every multi-index α = (α₁,...α _d ) such that α _i ≧ −1/2, α _i ∉ (−1/2, 1/2), the imaginary powers $ \mathcal{L}_\alpha ^{ - i\gamma } ,\gamma \in \mathbb{R} $ \mathcal{L}_\alpha ^{ - i\gamma } ,\gamma \in \mathbb{R} , of a self-adjoint extension of L _α, are Calderón-Zygmund operators. Consequently, mapping properties of $ \mathcal{L}_\alpha ^{ - i\gamma } $ \mathcal{L}_\alpha ^{ - i\gamma } follow by the general theory.     

Several identities in the Catalan triangle

In this paper, we first establish several identities for the alternating sums in the Catalan triangle whose (n, p) entry is defined by B _{n, p} = $ \tfrac{p} {n}\left( {_{n - p}^{2n} } \right) $ \tfrac{p} {n}\left( {_{n - p}^{2n} } \right) . Second, we show that the Catalan triangle matrix C can be factorized by C = FY = ZF, where F is the Fibonacci matrix. From these formulas, some interesting identities involving B _{n, p} and the Fibonacci numbers F _n are given. As special cases, some new relationships between the well-known Catalan numbers C _n and the Fibonacci numbers are obtained, for example:

Partial sums and the radius problem for some class of conformal mappings

Let $|\frac{{s_n (z)}} {{f(z)}} - 1| $|\frac{{s_n (z)}} {{f(z)}} - 1| when f ∈ $\left| {f'(z)\left( {\frac{z} {{f(z)}}} \right)^2 - 1} \right| < 1$\left| {f'(z)\left( {\frac{z} {{f(z)}}} \right)^2 - 1} \right| < 1     

On the rates of the other law of the logarithm

Let X, X1 , X2 , . . . be i.i.d. random variables, and set Sn = X1 +···+Xn , Mn = maxk≤n |Sk|, n ≥1. Let an = o( (n)(1/2)/logn). By using the strong approximation, we prove that, if EX = 0, VarX = σ2 0 and E|X| 2+ε ∞ for some ε 0, then for any r 1, lim ε1/(r-1)(1/2) [ε-2-(r-1)]∞∑n=1 nr-2 P{Mn ≤εσ (π2n/(8log n))(1/2) + an } = 4/π . We also show that the widest a n is o( n(1/2)/logn).     

Convergence rates of the LIL for random fields in Hilbert spaces

Considering the positive d-dimensional lattice point Z ₊ ^d (d ≥ 2) with partial ordering ≤, let {X _k: k ∈ Z ₊ ^d } be i.i.d. random variables taking values in a real separable Hilbert space (H, ‖ · ‖) with mean zero and covariance operator Σ, and set $ S_n = \sum\limits_{k \leqslant n} {X_k } $ S_n = \sum\limits_{k \leqslant n} {X_k } , n ∈ Z ₊ ^d . Let σ _i ², i ≥ 1, be the eigenvalues of Σ arranged in the non-increasing order and taking into account the multiplicities. Let l be the dimension of the corresponding eigenspace, and denote the largest eigenvalue of Σ by σ ². Let logx = ln(x ∨ e), x ≥ 0. This paper studies the convergence rates for $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) . We show that when l ≥ 2 and b > −l/2, E[‖X‖²(log ‖X‖) ^d−2(log log ‖X‖) ^b+4] < ∞ implies $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} , where Γ(·) is the Gamma function and $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } .     

Precise Rates in the Law of Iterated Logarithm for the Moment of I.I.D. Random Variables

Let{X,Xn;n≥1} be a sequence of i,i.d, random variables, E X = 0, E X^2 = σ^2 〈 ∞.Set Sn=X1＋X2＋…＋Xn,Mn=max k≤n│Sk│,n≥1.Let an=O（1/loglogn）.In this paper,we prove that,for b〉-1,lim ε→0 →^2（b＋1）∑n=1^∞ （loglogn）^b/nlogn n^1/2 E{Mn-σ（ε＋an）√2nloglogn}＋σ2^-b/（b＋1）（2b＋3）E│N│^2b＋3∑k=0^∞ （-1）k/（2k＋1）^2b＋3 holds if and only if EX=0 and EX^2=σ^2〈∞.     

An asymptotically tight bound on the number of semi-algebraically connected components of realizable sign conditions

We prove an asymptotically tight bound (asymptotic with respect to the number of polynomials for fixed degrees and number of variables) on the number of semi-algebraically connected components of the realizations of all realizable sign conditions of a family of real polynomials. More precisely, we prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of a family of s polynomials in R[X ₁, …,X _k ] whose degrees are at most d is bounded by

Precise rates in the law of the logarithm for the moment convergence in Hilbert spaces

Let （X, Xn; n ≥1） be a sequence of i.i.d, random variables taking values in a real separable Hilbert space （H, ｜｜·｜｜） with covariance operator ∑. Set Sn = X1 ＋ X2 ＋ ... ＋ Xn, n≥ 1. We prove that, for b 〉 -1,
lim ε→0 ε^2（b＋1） ∞ ∑n=1 （logn）^b/n^3/2 E{｜｜Sn｜｜-σε√nlogn}=σ^-2（b＋1）/（2b＋3）（b＋1） B｜｜Y｜^2b＋3
holds if EX=0,and E｜｜X｜｜^2（log｜｜x｜｜）^3bv（b＋4）〈∞ where Y is a Gaussian random variable taking value in a real separable Hilbert space with mean zero and covariance operator ∑, and σ^2 denotes the largest eigenvalue of ∑.     

Weighted estimates of Calderon’s commutators on complex plane

Let V(z) be a complex-valued function on the complex plane ℂ satisfying the condition |V(z) − V(ζ)| ≤ w|z − ζ|, z, ζ ε ℂ; ω ≥ 0 be a Muckenhoupt A _p weight on ℂ; i.e., the inequality

Duals of holomorphic Besov spaces on the polydisks and diagonal mappings

Let U ⁿ be the unit polydisk in C ⁿ and S be the space of functions of regular variation. Let 1 ≤ p < ∞, ω = (ω ₁, ..., ω _n ), ω _j ∈ S(1 ≤ j ≤ n) and f ∈ H(U ⁿ ). The function f is said to be in holomorphic Besov space B _p (ω) if

Boundedness and compactness of the embedding between spaces with multiweighted derivatives when 1 ⩽ <Emphasis Type="Italic">q</Emphasis> < <Emphasis Type="Italic">p</Emphasis> < ∞

We consider a new Sobolev type function space called the space with multiweighted derivatives $ W_{p,\bar \alpha }^n $ W_{p,\bar \alpha }^n , where $ \bar \alpha $ \bar \alpha = (α ₀, α ₁,…, α _n ), α _i ∈ ℝ, i = 0, 1,…, n, and $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} $ \left\| f \right\|W_{p,\bar \alpha }^n = \left\| {D_{\bar \alpha }^n f} \right\|_p + \sum\limits_{i = 0}^{n - 1} {\left| {D_{\bar \alpha }^i f(1)} \right|} ,

Oscillatory integrals on unit square along surfaces

Let Q ² = [0, 1]² be the unit square in two-dimensional Euclidean space ℝ². We study the L ^p boundedness of the oscillatory integral operator T _α,β defined on the set ℒ(ℝ²⁺ⁿ ) of Schwartz test functions by

Counting irreducible polynomials over finite fields

In this paper we generalize the method used to prove the Prime Number Theorem to deal with finite fields, and prove the following theorem:

Bulk universality holds in measure for compactly supported measures

Let μ be a measure with compact support, with orthonormal polynomials {p _n } and associated reproducing kernels {K _n }. We show that bulk universality holds in measure in {ξ: μ′(ξ) > 0}. More precisely, given ɛ, r > 0, the linear Lebesgue measure of the set {ξ: μ′(ξ) > 0} and for which

Sums of Five Almost Equal Prime Squares

Let Pi, 1≤i≤5, be prime numbers. It is proved that every integer N that satisfies N=5 （mod 24） can be written as N=p1^2＋p2^2＋P3^2＋p4^2 ＋p5^2, where │√N5-Pi│≤N^1/2-19/850＋∈.