Asymptotic property of approximation to x αsgn x by Newman Type Operators

Approximation to the function ｜x｜ plays an important role in approximation theory. This paper studies the approximation to the function xαsgn x, which equals ｜x｜ if α = 1. We construct a Newman Type Operator rn（x） and prove max ｜x｜≤1｜xαsgn x-rn（x）｜～Cn1/4e-π1/2（1/2）αn.     

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.     

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}} } .     

Stability of symmetric closed characteristics on symmetric compact convex hypersurfaces in ℝ<Superscript>2<Emphasis Type="Italic">n</Emphasis></Superscript> under a pinching condition

In this paper, let Σ R2n be a symmetric compact convex hypersurface which is ( r, R )- pinched with R/r (5/3)1/2 . Then Σ carries at least two elliptic symmetric closed characteristics; moreover, Σ carries at least E [ n-1/2 ] + E [ n-1/3 ] non-hyperbolic symmetric closed characteristics.     

Joint asymptotic distribution of exceedances point process and partial sum of stationary Gaussian sequence

Let {X _i } _i=1^∞ be a standardized stationary Gaussian sequence with covariance function r(n) = EX ₁ X _n+1, S _n = Σ _i=1 ⁿ X _i , and $\bar X_n = \tfrac{{S_n }} {n} $\bar X_n = \tfrac{{S_n }} {n} . And let N _n be the point process formed by the exceedances of random level $(\tfrac{x} {{\sqrt {2\log n} }} + \sqrt {2\log n} - \tfrac{{\log (4\pi \log n)}} {{2\sqrt {2\log n} }})\sqrt {1 - r(n)} + \bar X_n $(\tfrac{x} {{\sqrt {2\log n} }} + \sqrt {2\log n} - \tfrac{{\log (4\pi \log n)}} {{2\sqrt {2\log n} }})\sqrt {1 - r(n)} + \bar X_n by X ₁,X ₂,…, X _n . Under some mild conditions, N _n and S _n are asymptotically independent, and N _n converges weakly to a Poisson process on (0,1].     

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.     

Integral-type operators from a mixed norm space to a bloch-type space on the unit ball

Let $ \mathbb{B} $ \mathbb{B} be the unit ball in ℂ ⁿ and let H($ \mathbb{B} $ \mathbb{B} ) be the space of all holomorphic functions on $ \mathbb{B} $ \mathbb{B} . We introduce the following integral-type operator on H($ \mathbb{B} $ \mathbb{B} ):

On sums related to the numerator of generating functions for the <Emphasis Type="Italic">k</Emphasis>th power of Fibonacci numbers on sums related to the numerator of generating functions for the <Emphasis Type="Italic">k</Emphasis>th power of Fibonacci numbers

New results about some sums s _n (k, l) of products of the Lucas numbers, which are of similar type as the sums in [SEIBERT, J.—TROJOVSK Y, P.: On multiple sums of products of Lucas numbers, J. Integer Seq. 10 (2007), Article 07.4.5], and sums σ(k) = $ \sum\limits_{l = 0}^{\tfrac{{k - 1}} {2}} {(_l^k )F_k - 2l^S n(k,l)} $ \sum\limits_{l = 0}^{\tfrac{{k - 1}} {2}} {(_l^k )F_k - 2l^S n(k,l)} are derived. These sums are related to the numerator of generating function for the kth powers of the Fibonacci numbers. s _n (k, l) and σ(k) are expressed as the sum of the binomial and the Fibonomial coefficients. Proofs of these formulas are based on a special inverse formulas.     

Higher derivations of ore extensions

Let R be a prime ring and δ a derivation of R. Divided powers $ D_n ^{\underline{\underline {def.}} } \tfrac{1} {{n!}}\tfrac{{d^n }} {{dx^n }} $ D_n ^{\underline{\underline {def.}} } \tfrac{1} {{n!}}\tfrac{{d^n }} {{dx^n }} of ordinary differentiation d/dx form Hasse-Schmidt higher derivations of the Ore extension (skew polynomial ring) R[x; δ]. They have been used crucially but implicitly in the investigation of R[x; δ]. Our aim is to explore this notion. The following is proved among others: Let Q be the left Martindale quotient ring of R. It is shown that $ S^{\underline{\underline {def.}} } Q[x;\delta ] $ S^{\underline{\underline {def.}} } Q[x;\delta ] is a quasi-injective (R, R)-module and that any (R,R)-bimodule endomorphism of S can be uniquely expressed in the form

On the trigonometric polynomials of Fejér and Young

The trigonometric polynomials of Fejér and Young are defined by $S_n (x) = \sum\nolimits_{k = 1}^n {\tfrac{{\sin (kx)}} {k}}$S_n (x) = \sum\nolimits_{k = 1}^n {\tfrac{{\sin (kx)}} {k}} and $C_n (x) = 1 + \sum\nolimits_{k = 1}^n {\tfrac{{\cos (kx)}} {k}}$C_n (x) = 1 + \sum\nolimits_{k = 1}^n {\tfrac{{\cos (kx)}} {k}}, respectively. We prove that the inequality $\left( {{1 \mathord{\left/ {\vphantom {1 9}} \right. \kern-\nulldelimiterspace} 9}} \right)\sqrt {15} \leqslant {{C_n \left( x \right)} \mathord{\left/ {\vphantom {{C_n \left( x \right)} {S_n \left( x \right)}}} \right. \kern-\nulldelimiterspace} {S_n \left( x \right)}}$\left( {{1 \mathord{\left/ {\vphantom {1 9}} \right. \kern-\nulldelimiterspace} 9}} \right)\sqrt {15} \leqslant {{C_n \left( x \right)} \mathord{\left/ {\vphantom {{C_n \left( x \right)} {S_n \left( x \right)}}} \right. \kern-\nulldelimiterspace} {S_n \left( x \right)}} holds for all n ≥ 2 and x ∈ (0, π). The lower bound is sharp.     

Congruence formulae modulo powers of 2 for class numbers of cyclic quartic fields

Let K = $ k(\sqrt \theta ) $ k(\sqrt \theta ) be a real cyclic quartic field, k be its quadratic subfield and $ \tilde K = k(\sqrt { - \theta } ) $ \tilde K = k(\sqrt { - \theta } ) be the corresponding imaginary quartic field. Denote the class numbers of K, k and $ \tilde K $ \tilde K by h _K , h _k and {417-3} respectively. Here congruences modulo powers of 2 for h ⁻ = h _K /h _K and $ \tilde h^ - = h_{\tilde K} /h_k $ \tilde h^ - = h_{\tilde K} /h_k are obtained via studying the p-adic L-functions of the fields.     

On the 2 k-th power mean of $$ \frac{{L'}} {L}(1,\chi ) $$ with the weight of Gauss sums

The main purpose of this paper is to study the hybrid mean value of $ \frac{{L'}} {L}(1,\chi ) $ \frac{{L'}} {L}(1,\chi ) and Gauss sums by using the estimates for trigonometric sums as well as the analytic method. An asymptotic formula for the hybrid mean value $ \sum\limits_{\chi \ne \chi _0 } {|\tau (\chi )||\frac{{L'}} {L}(1,\chi )|^{2k} } $ \sum\limits_{\chi \ne \chi _0 } {|\tau (\chi )||\frac{{L'}} {L}(1,\chi )|^{2k} } of $ \frac{{L'}} {L} $ \frac{{L'}} {L} and Gauss sums will be proved using analytic methods and estimates for trigonometric sums.     

Fujita-Liouville Type Theorem for Coupled Fourth-Order Parabolic Inequalities

This paper deals with a coupled system of fourth-order parabolic inequalities |u|t ≥ 2u + |v|q,|v|t ≥ 2v + |u|p in S = Rn × R+ with p,q > 1,n ≥ 1.A FujitaLiouville type theorem is established that the inequality system does not admit nontrivial nonnegative global solutions on S whenever n4 ≤ max(ppq+11,pqq+11).Since the general maximum-comparison principle does not hold for the fourth-order problem,the authors use the test function method to get the global non-existence of nontrivial solutions.     

Greedy Algorithm Computing Minkowski Reduced Lattice Bases with Quadratic Bit Complexity of Input Vectors

The authors present an algorithm which is a modification of the Nguyen-Stehle greedy reduction algorithm due to Nguyen and Stehle in 2009. This algorithm can be used to compute the Minkowski reduced lattice bases for arbitrary rank lattices with quadratic bit complexity on the size of the input vectors. The total bit complexity of the algorithm is $O(n^2 \cdot (4n!)^n \cdot (\tfrac{{n!}} {{2^n }})^{\tfrac{n} {2}} \cdot (\tfrac{4} {3})^{\tfrac{{n(n - 1)}} {4}} \cdot (\tfrac{3} {2})^{\tfrac{{n^2 (n - 1)}} {2}} \cdot \log ^2 A) $O(n^2 \cdot (4n!)^n \cdot (\tfrac{{n!}} {{2^n }})^{\tfrac{n} {2}} \cdot (\tfrac{4} {3})^{\tfrac{{n(n - 1)}} {4}} \cdot (\tfrac{3} {2})^{\tfrac{{n^2 (n - 1)}} {2}} \cdot \log ^2 A) , where n is the rank of the lattice and A is maximal norm of the input base vectors. This is an O(log² A) algorithm which can be used to compute Minkowski reduced bases for the fixed rank lattices. A time complexity n! · 3 ⁿ (log A) ^O(1) algorithm which can be used to compute the successive minima with the help of the dual Hermite-Korkin-Zolotarev base was given by Blomer in 2000 and improved to the time complexity n! · (log A) ^O(1) by Micciancio in 2008. The algorithm in this paper is more suitable for computing the Minkowski reduced bases of low rank lattices with very large base vector sizes.     

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:

A sharp form of an embedding into multiple exponential spaces

Let Θ be a bounded open set in ℝ ⁿ , n ⩾ 2. In a well-known paper Indiana Univ. Math. J., 20, 1077–1092 (1971) Moser found the smallest value of K such that

Compact embedded rotation hypersurfaces of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript>

In this paper, we prove that and round geodesic spheres are the only n-dimensional compact embedded rotation hypersurfaces with H_m = 0 (1 ≤ m ≤ n − 1) in a unit sphere Sⁿ⁺¹(1). When m = 1, our result reduces to the result of T. Otsuki [O1], [O2], Brito and Leite [BL]. The project is supported by the grant No. 10531090 of NSFC.     

Precise asymptotics in the law of the iterated logarithm*

Let X₁, X₂, ... be i.i.d. random variables with EX₁ = 0 and positive, finite variance σ², and set S_n = X₁ + ... + X_n. For any α > −1, β > −1/2 and for κ_n(ε) a function of ε and n such that κ_n(ε) log log n → λ as n ↑ ∞ and , we prove that

Dual Riemannian spaces of constant curvature on a normalized hypersurface

In this paper, the following results are obtained: 1) It is proved that, in the fourth order differential neighborhood, a regular hypersurface V _n−1 embedded into a projective-metric space K _n , n ≥ 3, intrinsically induces a dual projective-metric space $ \bar K_n $ \bar K_n . 2) An invariant analytical condition is established under which a normalization of a hypersurface V _n−1 ⊂ K _n (a tangential hypersurface $ \bar V_{n - 1} $ \bar V_{n - 1} ⊂ $ \bar K_n $ \bar K_n ) by quasitensor fields H _n ⁱ , H _i ($ \bar H_n^i $ \bar H_n^i , $ \bar H_i $ \bar H_i ) induces a Riemannian space of constant curvature. If the two conditions are fulfilled simultaneously, the spaces R _n−1 and $ \bar R_{n - 1} $ \bar R_{n - 1} are spaces of the same constant curvature $ K = - \tfrac{1} {c} $ K = - \tfrac{1} {c} . 3) Geometric interpretations of the obtained analytical conditions are given.     

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〈∞.