HOW BIG ARE THE LAG INCREMENTS OF A 2-PARAMETER WIENER PROCESS? (II)

The author investigated how big the lag increments of a 2-parameter Wiener process is in [1]. In this paper the limit inferior results for the lag increments are discussed and the same results as the Wiener process are obtained. For example, if $\[\mathop {\lim }\limits_{T \to \infty } \{ \log T/{a_T} + \log (\log {b_T}/a_T^{1/2} + 1)\} /\log \log T = r,0 \leqslant r \leqslant \infty \] $ then $\[\mathop {\lim }\limits_{\overline {T \to \infty } } \mathop {\sup }\limits_{{a_T} \leqslant t \leqslant T} \mathop {\sup }\limits_{t \leqslant s \leqslant T} \mathop {\sup }\limits_{R \in L_s^*(t)} |W(R)|/d(T,t) = {\alpha _r},a.s.,\] $ $\[\mathop {\lim }\limits_{\overline {T \to \infty } } \mathop {\sup }\limits_{{a_T} \leqslant t \leqslant T} \mathop {\sup }\limits_{R \in {{\tilde L}_T}(t)} |W(R)|/d(T,t) = {\alpha _r},a.s.,\] $ where $\alpha _r=(r/(r+1))^{1/2}$, $L*_s(t)$ and $\tider L_T(t)$ are the sets of rectangles which satisfy some conditions. Moreover, the limit inferior results of another class of lag increments are discussed.     

THE ASYMPTOTIC BEHAVIOUR OF ANALYTIC FUNCTIONS

AIn this paper, the author obtains the following results:(1) If Taylor coeffiients of a function satisfy the conditions:(i),(ii),(iii)A_k=O(1/k) the for any h>0 the function φ(z)=exp{w(z)} satisfies the asymptotic equality the case h>1/2 was proved by Milin.(2) If f(z)=z α_2z~2 …∈S~* and,then for λ>1/2     

B -值双随机Dirichlet级数的收敛性

主要研究了B -值双随机Dirichlet级数在不同条件(i) {X_n}服从强大数定律,且0<\mathop{\underline{\lim}}\limits_{n-->\infty}\Big\|\frac{\sum\limits_{i=1}^n EX_i}{n}\Big\|\leq \mathop{\overline{\lim}}\limits_{n\to\infty}\Big\|\frac{\sum\limits_{i=1}^n EX_i}{n}\Big\|<+\infty.(ii) {X_{n}}独立不同分布，且\mathop{\underline{\lim}}\limits_{n-->\infty}E||X_n||>0,\quad \sup\limits_{n\geq 1}E||X_n||^p <+\infty \quad (p >1)等条件下的收敛性,得出了收敛横坐标的简洁公式.     

On the strong summation of Fourier series with variable exponents

Пустьf 2π-периодическ ая суммируемая функц ия, as _k (x) еë сумма Фурье порядк аk. В связи с известным ре зультатом Зигмунда о сильной суммируемости мы уст анавливаем, что если λn→∞, то сущес твует такая функцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _{2n} } } \right\}^{1/\lambda _{2n} } = \infty .$$ Отсюда, в частности, вы текает, что если λn?∞, т о существует такая фун кцияf, что почти всюду $$\mathop {\lim \sup }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } } \right\}^{1/\lambda _n } = \infty .$$ Пусть, далее, ω-модуль н епрерывности и $$H^\omega = \{ f:\parallel f(x + h) - f(x)\parallel _c \leqq K_f \omega (h)\} .$$ . Мы доказываем, что есл и λ _n ?∞, то необходимым и достаточным условие м для того, чтобы для всехf∈H ^ω выполнялос ь соотношение $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\frac{1}{n}\mathop \sum \limits_{k = n + 1}^{2n} |s_k (x) - f(x)|^{\lambda _n } } \right\}^{1/\lambda _n } = 0(x \in [0;2\pi ])$$ является условие $$\omega \left( {\frac{1}{n}} \right) = o\left( {\frac{1}{{\log n}} + \frac{1}{{\lambda _n }}} \right).$$ Это же условие необхо димо и достаточно для того, чтобы выполнялось соотнош ение $$\mathop {\lim }\limits_{n \to \infty } \frac{1}{{n + 1}}\mathop \sum \limits_{k = 0}^n |s_k (x) - f(x)|^{\lambda _k } = 0(f \in H^\omega ,x \in [0;2\pi ]).$$      

A Mean-Value Theorem for Multiplicative Functions on the Set of Shifted Primes

Let f be a complex-valued multiplicative function, letp denote a prime and let π(x) be the number of primes not exceeding x. Further put $$m_p (f): = \mathop {\lim }\limits_{x \to \infty } \frac{1}{{\pi (x)}}\sum\limits_{p \leqslant x} {f(p + 1)} {\text{, }}M(f): = \mathop {\lim }\limits_{x \to \infty } \frac{1}{x}\sum\limits_{n \leqslant x} {f(n)}$$ and suppose that $$\mathop {\lim \sup }\limits_{x \to \infty } \frac{1}{x}\sum\limits_{n \leqslant x} {\left| {f\left( n \right)} \right|^2 } < \infty ,\sum\limits_{p \leqslant x} {\left| {f\left( n \right)} \right|^2 } \ll x\left( {\ln x} \right)^{ - \varrho } ,$$ with some \varrho > 0. For such functions we prove: If there is a Dirichlet character χ_d such that the mean-value M(f χ_d) exists and is different from zero,then the mean-value m_p(f) exists. If the mean-value M(f) exists, then the same is true for the mean-valuem_p(f) .     

A conjecture of Erdős and Reddy and the rational approximation of Mittag-Leffler type functions

Пусть \(f(z) = \mathop \sum \limits_{k = 0}^\infty a_k z^k ,a_0 \ne 0, a_k \geqq 0 (k \geqq 0)\) — целая функци я,π _n — класс обыкновен ных алгебраических мног очленов степени не вы ше \(n,a \lambda _n (f) = \mathop {\inf }\limits_{p \in \pi _n } \mathop {\sup }\limits_{x \geqq 0} |1/f(x) - 1/p(x)|\) . П. Эрдеш и А. Редди высказали пр едположение, что еслиf(z) имеет порядок ?ε(0, ∞) и $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (f)< 1, TO \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (f) > 0$$ В данной статье показ ано, что для целой функ ции $$E_\omega (z) = \mathop \sum \limits_{n = 0}^\infty \frac{{z^n }}{{\Gamma (1 + n\omega (n))}}$$ , где выполняется $$\lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{{\omega (n)}}{{e + 1}}} \right\}$$ , т.е. $$\mathop {\lim sup}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) \leqq \exp \left\{ { - \frac{1}{{\rho (e + 1)}}} \right\}< 1, a \mathop {\lim inf}\limits_{n \to \infty } \lambda _n^{1/n} (E_\omega ) = 0$$ . ФункцияE _ω (z) имеет порядок ?.     

Uniformly maldistributed sequences in a strict sense

It is shown that the following three limits

Exponents for three-dimensional simultaneous Diophantine approximations

Let Θ = (θ ₁,θ ₂,θ ₃) ∈ ℝ³. Suppose that 1, θ ₁, θ ₂, θ ₃ are linearly independent over ℤ. For Diophantine exponents

Hayman directions of meromorphic functions

In this paper, we shall prove the existence of the singular directions related to Hayman's problems^[1]. The results are as follows.

1. Suppose that f(z) is a transcendental integral function in the finite plane, then there exists a direction H: argz= θ₀ (0≤θ₀>2π) such that for every positive ε, every integer p(≠0, ?1) and every finite complex number b(≠0), we have $$\mathop {\lim }\limits_{r \to \infty } \left\{ {n(r,\theta _0 ,\varepsilon ,f' \cdot \{ f\} ^p = b)} \right\} = + \infty $$
2. Suppose that f(z) is a transcendental integral function in the finite plane, then there exists a direction H:z= θ₀ (0≤θ₀>2π) such that for every positive ε, every integrer p(≥3) and any finite complex numbers a(≠0) and b, we have $$\mathop {\lim }\limits_{r \to \infty } \left\{ {n(r,\theta _0 ,\varepsilon ,f' - a\{ f\} ^p = b)} \right\} = + \infty $$
3. Suppose that f(z) is a meromorphic function in the finite plane and satisfies the following condition $$\mathop {\lim }\limits_{r \to \infty } \frac{{T(r,f)}}{{(\log r)^3 }} = + \infty $$ then there exists a direction H:z= θ₀ (0≤θ₀>2π) such that for every positive ε, every integer p(≥5) and every two finite complex numbers a(≠0) and b, we have $$\mathop {\lim }\limits_{r \to \infty } \left\{ {n(r,\theta _0 ,\varepsilon ,f' - a\{ f\} ^p = b)} \right\} = + \infty $$

The singular directions in Theorems I–III are called Hayman directions.     

Rational approximations of real numbers

For anyx ∈ r put $$c(x) = \overline {\mathop {\lim }\limits_{t \to \infty } } \mathop {\min }\limits_{(p,q\mathop {) \in Z}\limits_{q \leqslant t} \times N} t\left| {qx - p} \right|.$$ . Let [x₀; x₁,..., x_n, ...] be an expansion of x into a continued fraction and let \(M = \{ x \in J,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n< \infty \}\) .Forx∈M put D(x)=c(x)/(1?c(x)). The structure of the set \(\mathfrak{D} = \{ D(x),x \in M\}\) is studied. It is shown that $$\mathfrak{D} \cap (3 + \sqrt 3 ,(5 + 3\sqrt 3 )/2) = \{ D(x^{(n,3} )\} _{n = 0}^\infty \nearrow (5 + 3\sqrt 3 )/2,$$ where \(x^{(n,3)} = [\overline {3;(1,2)_n ,1} ].\) This yields for \(\mu = \inf \{ z,\mathfrak{D} \supset (z, + \infty )\}\) (“origin of the ray”) the following lower bound: μ?(5+3√3)/2=5.0n>(5 + 3/3)/2=5.098.... Suppose a∈n. Put \(M(a) = \{ x \in M,\overline {\mathop {\lim }\limits_{n \to \infty } } x_n = a\}\) , \(\mathfrak{D}(a) = \{ D(x),x \in M(a)\}\) . The smallest limit point of \(\mathfrak{D}(a)(a \geqslant 2)\) is found. The structure of (a) is studied completely up to the smallest limit point and elucidated to the right of it.     

Analytic solution of vector model kinetic equations with constant kernel and their applications

Exact solutions are obtained for the first time for the half-space boundary-value problem for the vector model kinetic equations

Some properties of elliptic Riesz means at critical index on Hp(TH)

Suppose f∈H^p(Tⁿ), 0 _r ^δ , δ=n/p?(n+1)/2. In this paper we eastablish the following inequality $$\mathop {\sup }\limits_{R > 1} \left\{ {\frac{1}{{\log R}}\int_1^R {\left\| {\sigma _r^\delta } \right\|_{H^p (T^R )}^p \frac{{dr}}{r}} } \right\}^{1/p} \leqslant C_{R,p} \left\| f \right\|_{H^p (T^R )} $$ It implies that $$\mathop {\lim }\limits_{R \to \infty } \frac{1}{{\log R}}\int_1^R {\left\| {\sigma _r^\delta - f} \right\|_{H^p (T^R )}^p \frac{{dr}}{r}} = 0$$ Moreover we obtain the same conclusion when p=1 and n=1.     

UNIFORM STRONG CONVERGENCE RATE OF NEAREST NEIGHBOR DENSITY ESTIMATION

Based on [3] and [4],the authors study strong convergence rate of the k_n-NNdensity estimate f_n(x)of the population density f(x),proposed in [1].f(x)>0 and fsatisfies λ-condition at x(0<λ≤2),then for properly chosen k_nlim sup(n/(logn)~(λ/(1 2λ))丨_n(x)-f(x)丨C a.s.If f satisfies λ-condition,then for propeoly chosen k_nlim sup(n/(logn)~(λ/(1 3λ)丨_n(x)-f(x)丨C a.s.,where C is a constant.An order to which the convergence rate of 丨_n(x)-f(x)丨andsup 丨_n(x)-f(x)丨 cannot reach is also proposed.     

Some embedding theorems for generalized Nikol'skii classes from Lorentz spaces

Quasi-normed Lorentz spaces Λ_{ψ, q} of 2π-periodic functions with quasinorms $$\left\| f \right\|_{\psi ,q} = \left\{ {\int\limits_0^{2\pi } {\psi ^q (t)\left[ {\frac{1}{t}\int\limits_0^t {f * (x)} dx} \right]} ^q \frac{{dt}}{t}} \right\}^{{1 \mathord{\left/ {\vphantom {1 q}} \right. \kern-\nulldelimiterspace} q}} $$ (0<q<∞,ω(t): [0,2π]→R is a continuous concave function with finite derivative everywhere on (0, 2gp)) and classes of functions $$H_{\psi ,q}^\omega \equiv \{ f(x):f(x) \in \Lambda _{\psi ,q} ;\mathop {\sup }\limits_{0 \leqq h \leqq \delta } \left\| {f(x + h) - f(x)} \right\|_{\psi ,q} = O\{ \omega (\delta )\} , \delta \to + 0\} $$ (ω(δ) — modulus of continuity) are studied. Precise embedding conditions of classes H _{ψ, q} ^ω into Lorentz spaces and into each other are obtained: $$\begin{array}{*{20}c} {H_{\psi ,q_1 }^\omega \subset \Lambda _{\psi ,q_2 } ;} & {H_{\psi ,q_1 }^\omega \subset {\rm H}_{\psi ,q_2 }^{\omega * } ,} & {0< q_2< q_1< \infty ,} \\ \end{array} $$ under conditions \(\mathop {\lim }\limits_{t \to \infty } \frac{{\psi (2t)}}{{\psi (t)}} > 1,\mathop {\overline {\lim } }\limits_{x \to \infty } \frac{{\psi (2t)}}{{\psi (t)}}< 2\) andω(δ)=O{ω(δ ²)},δ→+0, andω ^* (δ) is an arbitrary modulus of continuity.     

ON SMOOTHNESS AND DIFFERENTIABILITY OF FUNCTIONS

Let \(f(x)\) be a bounded real function on [-1,1],we define the modulus of continuity of f as \[\omega (f,\delta ) = \mathop {\sup }\limits_{x,y \in [ - 1,1],\left| {x - y} \right| \le \delta } \left| {f(x) - f(y)} \right|\] and the modulus of smoothness of f as \[{\omega _2}(f,\delta ) = \mathop {\sup }\limits_{x \pm h \in [ - 1,1],\left| h \right| \le \delta } \left| {f(x + h) + f(x - h) - 2f(x)} \right|\] Functions \(f(x)\), continuous on [-1,1] and \({\omega _2}(f,\delta ) = o(\delta )\) ,are called uniformly smooth functions. It is well known that there is a uniformly smooth functions whose derivative exisits on a null-set only. It would is of interest to discuss what condition should be added on the nonnegative function \(\varphi (\delta )\), \(\left( {0 \le \delta \le \frac{1}{2}} \right)\),in order that every bounded function f satisfying\[{\omega _2}(f,\delta ) = O(\varphi (\delta ))\] possess continous (or finite) derivative. the main result of this paper are the following two theorems. Theorem 1 let \(\varphi (\delta )\),\(\left( {0 \le \delta \le \frac{1}{2}} \right)\) ,be a nonnegative function, then, in order that every bounded function \(f(x)\) satisfying condition \[{\omega _2}(f,\delta ) = O(\varphi (\delta ))\] possess continous (or finite) derivative \(f'(x)\) on [-1,1],it is necessary and sufficient that the following condition hold \[\int_0^{\frac{1}{2}} {\frac{{\tilde \varphi (t)}}{t}} dt < \infty \] where \[\tilde \varphi (\delta ) = {\delta ^2}\mathop {\inf }\limits_{0 \le \eta \le \delta } \left\{ {{\eta ^{ - 2}}\mathop {\inf }\limits_{\eta \le \xi \le 1/2} \varphi (\xi )} \right\}\] Theorm 2 Let \(f(x)\) be a bounded function with \[\int_0^{\frac{1}{2}} {\frac{{{\omega _2}(f,t)}}{{{t^2}}}} dt < \infty \] then \(f'(x)\) is a continous function and \[{\omega _2}(f',\delta ) = O\left\{ {\int_0^\delta {\frac{{{\omega _2}(f,t)}}{{{t^2}}}} dt} \right\}\].     

Precise Asymptotics in the Baum-Katz and Davis Laws of Large Numbers of ρ-mixing Sequences

Let {X,Xn;n ≥ 1} be a strictly stationary sequence of ρ-mixing random variables with mean zeros and finite variances. Set Sn =∑k=1^n Xk, Mn=maxk≤n｜Sk｜,n≥1.Suppose limn→∞ESn^2/n=：σ^2〉0 and ∑n^∞=1 ρ^2/d（2^n）〈∞,where d=2 if 1≤r〈2 and d〉r if r≥2.We prove that if E｜X｜^r 〈∞,for 1≤p〈2 and r〉p,then limε→0ε^2（r-p）/2-p ∑∞n=1 n^r/p-2 P{Mn≥εn^1/p}=2p/r-p ∑∞k=1（-1）^k/（2k＋1）^2（r-p）/（2-p）E｜Z｜^2（r-p）/2-p,where Z has a normal distribution with mean 0 and variance σ^2.     

EXPONENTIAL STABILITY OF LINEAR SYSTEMS IN BANACH SPACES

In this paper the author proves a new fundamental lemma of Hardy-Lebesgne class $\[{H^2}(\sigma )\]$ and by this lemma obtains some fundamental results of exponential stability of $\[{C_0}\]$-semigroup of bounded linear operators in Banach spaces. Specially, if $\[{\omega _s} = \sup \{ {\mathop{\rm Re}\nolimits} \lambda ;\lambda \in \sigma (A) < 0\} \]$ and $\[\sup \{ \left\| {{{(\lambda - A)}^{ - 1}}} \right\|;{\mathop{\rm Re}\nolimits} \lambda \ge \sigma \} < \infty \]$ , where \[\sigma \in ({\omega _s},0)\]) and A is the infinitesimal generator of a $\[{C_0}\]$-semigroup in a Banach space $X$, then $\[(a)\int_0^\infty {{e^{ - \sigma t}}\left| {f({e^{tA}}x)} \right|} dt < \infty \]$, $\[\forall f \in {X^*},x \in X\]$; (b) there exists $\[M > 0\]$ such that $\[\left\| {{e^{tA}}x} \right\| \le N{e^{\sigma t}}\left\| {Ax} \right\|\]$, $\[\forall x \in D(A)\]$; (c) there exists a Banach space $\[\hat X \supset X\]$ such that $\[\left\| {{e^{tA}}x} \right\|\hat x \le {e^{\sigma t}}\left\| x \right\|\hat x,\forall x \in X.\]$.     

ON THE GENERALIZED POLYNOMIALS OF L. V. KANTOROVITCH AND THEIR ASYMPTOTIC BEHAVIORS

In this article we generahze the polynomials of Kantorovitch \({P_n}(f)\) . Let \({B_n}\) be a sequence of linear operators from C[a,b] into \({H_n}\), if \[f(t) \in L[a,b],F(u) = \int_a^u {f(t)dt} ,{A_n}(f(t),x) = \frac{d}{{dx}}{B_{n + 1}}(F(u),x)\], here \({B_n}\)satisfy\[\begin{array}{l} (a):{B_n}(1,x) \equiv 1,{B_n}(u,x) \equiv x;\(b):for{\kern 1pt} {\kern 1pt} g(u) \in C[a,b]{\kern 1pt} {\kern 1pt} we{\kern 1pt} {\kern 1pt} have{\kern 1pt} {\kern 1pt} {B_n}(g(u),b) = g(b). \end{array}\]. we call such \({A_n}(f)\) generalized polynomials of Kantorovitch (denoted by \({A_n}(f) \in K\) ). Let \[\begin{array}{l} {\varepsilon _n}({W^2};x)\mathop = \limits^{def} \mathop {\sup }\limits_{f \in {W^2}} \left| {{A_n}(f(t),x) - f(x) - f'(x)({A_n}(t,x) - x)} \right|,\{\varepsilon _n}{({W^2}{L^p})_{{L^p}}}\mathop = \limits^{def} \mathop {\sup }\limits_{f \in {W^2}{L^p}} {\left\| {{A_n}(f(t),x) - f(x) - f'(x)({A_n}(t,x) - x)} \right\|_p}. \end{array}\] We have proved the following results: Let An he a sequence of linear continuous operators of type \[C[a,b] \Rightarrow C[a,b],{D_n}(x,z)\mathop = \limits^{def} {A_n}(\left| {t - z} \right|,x) - \left| {x - z} \right| - ({A_n}(t,x) - x)Sgn(x - z),{A_n}(1,x) = 1\] then (1):\({\varepsilon _n}({W^2};x) = \frac{1}{2}\int_a^b {\left| {{D_n}(x,z)} \right|} dz\), (2): Moreover, if \({A_n}\) be a sequence of linear positive operators, then for \(\left[ {\begin{array}{*{20}{c}} {a \le x \le b}\{a \le z \le b} \end{array}} \right]\) ,we have \({D_n}(x,z) \ge 0\), and \({\varepsilon _n}({W^2};x) = \frac{1}{2}{A_n}({(t - x)^2},x)\). Let \({A_n}(f) \in K\) be a sequence of linear positive operators,\[{R_n}{(z)_L} = \frac{1}{2}\int_a^b {\left| {{D_n}(x,z)} \right|} dx\],then \[{R_n}{(z)_L} = \frac{1}{2}\left[ {{B_{n + 1}}({u^2},z) - {z^2}} \right]\] and \[{\varepsilon _n}{({W^2}L)_L}{\rm{ = }}\frac{1}{2}\left\| {{B_{n + 1}}({u^2},z) - {z^2}} \right\|\]. Let \[{g_n} = \frac{1}{2}\mathop {\max }\limits_{a \le x \le b} {A_n}({(t - x)^2},x),{h_n} = \frac{1}{2}\mathop {\max }\limits_{a \le z \le b} \left[ {{B_{n + 1}}({u^2},z) - {z^2}} \right],\] then \[{\varepsilon _n}{({W^2}{L^p})_{{L^p}}} \le {g_n}^{1 - \frac{1}{p}}{h_n}^{\frac{1}{p}}(1 < p < \infty ).\]