Über die kleinste natürliche Zahl maximaler Ordnung modm

modm. Ifm is natural,a an integer with (a, m)=1 put $$\begin{gathered} {}^om(a): = min\{ h\left| {h \in \mathbb{N},} \right.a^h \equiv 1(modm)\} , \hfill \\ \psi (m): = \max \{ o_m (a)\left| a \right. \in \mathbb{Z},(a,m) = 1\} , \hfill \\ g(m): = \min \{ a\left| {a \in \mathbb{N},(a,m) = 1,o_m (a) = } \right.\psi (m)\} . \hfill \\ \end{gathered} $$ Form prime,g(m) is the least natural primitive root modm. We establish the estimation $$\sum\limits_{m< x} {g(m)<< x^{1 + \varepsilon } .} $$      

On some local properties of the sum of lacunary trigonometric series

В статье изучается по ведение суммы лакуна рного тригонометрическог о ряда при приближени и к некоторой фиксиров анной произвольной т очке. Первая половина рабо ты посвящена изложен ию метода исследования локаль ных свойств суммы лакунарного ря да, разработанного ав тором. Вторая половина рабо ты посвящена приложе ниям этого метода. Здесь в частно сти, получаются необходи мые и достаточные усл овия для интегрируемости сум мы лакунарного ряда с весом при широк их условиях на вес. При ведем соответствующий рез ультат. Пусть?р(x) — сумма ряда \(a + \sum\limits_{n = 1}^\infty {a_n \cos (\lambda _n x + \psi _n )} \) , гдеа, а _n ,λ _n ,ψ _n — действительные числа,εa _n ^/2 <∞,a _n ≧0,λ _n >0 приn≧1 и \(\mathop {\inf }\limits_{n \geqq 1} \lambda _{n + 1} /\lambda _n > 1\) . При этих условиях функция?(х) определена почти всю ду. Пустьр>0 иω(х) — положительная неуб ывающая функция, определенная при все хх>0, которая при некот оромC>0 удовлетворяет услов ию:ω(2x)≦ ≦Cω(х) при всехх>0. Тогда имеет место Теорема. Для того, чтоб ы интеграл \(\int\limits_{ + 0} {|\varphi (x)|^p \frac{{dx}}{{\omega (x)}}} \) сходился, необходимо и достато чно, чтобы сходились все р яды $$\begin{gathered} \sum\limits_{n = 1}^\infty {D_n (\sum\limits_{k = n}^\infty {a_k^2 } )^{p/2} ,} \sum\limits_{n = 2}^\infty {D_n |a_n + \sum\limits_{k = 1}^{n - 1} {a_k \cos } \psi _k |^p ,} \hfill \\ \sum\limits_{n = 2}^\infty {D_n (pj)|\sum\limits_{k = 1}^{n - 1} {a_k \lambda _k^j \cos (\psi _k + \pi j/2)} |^p ,} j = 1,2,..., \hfill \\ \end{gathered} $$ , где $$D_n = \int\limits_{I_n } {\frac{{dx}}{{\omega (x)}},} D_n (pj) = \int\limits_{I_n } {\frac{{x^{pj} dx}}{{\omega (x)}},} a I_n = [\pi \lambda _n^{ - 1} ,\pi \lambda _{n - 1}^{ - 1} ]$$      

Some approximation theorems for modified Bernstein-Durrmeyer operators

The modified Bernstein-Durrmeyer operators discussed in this paper are given byM_nf≡M_n(f,x)=(n+2)P_(n,k)∫_0~1p_n+1.k(t)f(t)dt,whereWe will show,for 0<α<1 and 1≤p≤∞     

On a transformation of power series

Изучаются ряды Риман а, рассматривавшиеся ранее в работах [1] и [2]. Пустьa _n (n=1, 2,…) — последов ательность комплекс ных чисел иr _n =a _n +a _2n +…. Предполо жим, чтоΣ¦a _n ¦<∞. Тогда выпо лняются неравенства $$\begin{array}{*{20}c} {\sum\limits_n {\left| {r_n } \right| \leqq } \sum\limits_n {\left| {a_n } \right|} d(n),} & {\sum\limits_n {\left| {a_n } \right|} } \\ \end{array} \leqq \sum\limits_n {\left| {r_n } \right|2^{\omega (n)} ,} $$ гдеd(n) иω(n) — соответств енно число делителей и число простых делителейn. Е сли $$\begin{array}{*{20}c} {F(z) = \sum\limits_n {a_n z^n ,} } & {p_n (z) = \sum\limits_{s|n} {\mu \left( {\frac{n}{s}} \right)z^s ,} } \\ \end{array} $$ то \(F(z) = \sum\limits_n {r_n p_n (z)} \) для ¦z¦<1. В статье с одержатся некоторые результаты о сходимо сти рядов РиманаΣt _n p _n (z) на окружно сти ¦z¦=1. Например, если числаt _n неотрицатель ны, монотонно убывают и \(\sum\limits_n {t_n< \infty } \) , то ряд равн омерно сходится для ¦z¦=1. Сформулированы неко торые новые задачи.     

Oscillatory Properties of Solutions of Impulsive Differential Equations With Several Retarded Arguments

The impulsive differential equation $\begin{gathered} x\prime (t) + \sum\limits_{i = 1}^m {p_i (t)x(t - \tau _i ) = 0,} {\text{ }}t \ne \xi _k , \\ \Delta x(\xi _k ) = b_k x(\xi _k ) \\ \end{gathered} $ with several retarded arguments is considered, where p _i(t) ≥ 0, 1 + b _k > 0 for i = 1, ..., m, t ≥ 0, $k \in \mathbb{N}$ . Sufficient conditions for the oscillation of all solutions of this equation are found.     

Sharp estimates for the convergence rate of “hyperbolic” partial sums of double fourier series in orthogonal polynomials

Two-variable functions f(x, y) from the class L ₂ = L ₂((a, b) × (c, d); p(x)q(y)) with the weight p(x)q(y) and the norm $$\left\| f \right\| = \sqrt {\int\limits_a^b {\int\limits_c^d {p(x)q(x)f^2 (x,y)dxdy} } }$$ are approximated by an orthonormal system of orthogonal P _n (x)Q _n (y), n, m = 0, 1, ..., with weights p(x) and q(y). Let $$E_N (f) = \mathop {\inf }\limits_{P_N } \left\| {f - P_N } \right\|$$ denote the best approximation of f ?? L ₂ by algebraic polynomials of the form $$\begin{array}{*{20}c} {P_N (x,y) = \sum\limits_{0 < n,m < N} {a_{m,n} x^n y^m ,} } \\ {P_1 (x,y) = const.} \\ \end{array}$$ . Consider a double Fourier series of f ?? L ₂ in the polynomials P _n (x)Q _m (y), n, m = 0, 1, ..., and its ??hyperbolic?? partial sums $$\begin{array}{*{20}c} {S_1 (f;x,y) = c_{0,0} (f)P_o (x)Q_o (y),} \\ {S_N (f;x,y) = \sum\limits_{0 < n,m < N} {c_{n,m} (f)P_n (x)Q_m (y), N = 2,3, \ldots .} } \\ \end{array}$$ A generalized shift operator Fh and a kth-order generalized modulus of continuity ?? _k (A, h) of a function f ?? L ₂ are used to prove the following sharp estimate for the convergence rate of the approximation: $\begin{gathered} E_N (f) \leqslant (1 - (1 - h)^{2\sqrt N } )^{ - k} \Omega _k (f;h),h \in (0,1), \hfill \\ N = 4,5,...;k = 1,2,... \hfill \\ \end{gathered} $ . Moreover, for every fixed N = 4, 9, 16, ..., the constant on the right-hand side of this inequality is cannot be reduced.     

Metric theorems related to the Kronecker-Weyl theorem modm

Let (Ω, ?,P) be the infinite product of identical copies of the unit interval probability space. For a Lebesgue measurable subsetI of the unit interval, let \(A(N,I,\omega ) = \# \left\{ {n \leqslant N|\omega _n \varepsilon I} \right\}\) , where ω=(ω₁,ω₂,...). For integersm>1, and 0≤r<m, define $$\varepsilon (k,r,m,I,\omega ) = \left\{ {\begin{array}{*{20}c} {1\,if\,A(k,I,\omega ) \equiv r(\bmod m)} \\ {0\,otherwise} \\ \end{array} } \right.$$ and $$\eta (k,m,I,\omega ) = \left\{ {\begin{array}{*{20}c} {1\,if\,(A(k,I,\omega ),m) \equiv 1} \\ {0\,otherwise.} \\ \end{array} } \right.$$ A theorem ofK. L. Chung yields an iterated logarithm law and a central limit theorem for sums of the variables ε(k) and η(k).     

О суммируемости обоб щенных рядов Фурье

Consider a functionf satisfying the condition (1) $$\left| x \right|^\alpha f(x) \in L( - \pi ,\pi ),\alpha > 0,$$ , and define the positive integerm by the inequalitiesm ?1<α≦m. The trigonometric series Σ _n=1 ^∞ (a _n cosnx+-b _n sinnx) with coefficients $$\begin{gathered} a_n = \frac{1}{\pi }\int\limits_{ - \pi }^\pi {f(t)\left( {\cos nt - \sum\limits_{j = 0}^{[(m - 1)/2]} {\frac{{( - 1)^j (nt)^{2j} }}{{(2j)!}}} } \right)dt,} \hfill \\ b_n = \frac{1}{\pi }\int\limits_{ - \pi }^\pi {f(t)\left( {\sin nt - \sum\limits_{j = 1}^{[m/2]} {\frac{{( - 1)^{j + 1} (nt)^{2j - 1} }}{{(2j - 1)!}}} } \right)dt} \hfill \\ \end{gathered} $$ is then called the generalized Fourier series ofmth order off. The following result is proved. Let the 2π-periodic functionf satisfy condition (1) and letт ?1 < α≦m. Then the generalized Fourier series ofmth order off is summable almost everywhere tof(x) by the (C, α)-method. For an arbitrary α∈(0, 1) condition (1) is sharp.     

Estimate of a multiple sum involving the legendre symbol

Supposef(x₁,..., x_n) is a polynomial of even degree d having coefficients in the finite field k=[q] and satisfying certain natural conditions, and let χ be the quadratic character of k. Then $$\left| {\sum {x_1 , \ldots ,} x_n \in k\chi (f(x_1 , \ldots ,x_n ))} \right| \leqslant Cq^{{n \mathord{\left/ {\vphantom {n 2}} \right. \kern-\nulldelimiterspace} 2}} $$ where the constant C depends only on d and n.     

Multiple periodic solutions of a superlinear forced wave equation

We study the existence of forced vibrations of nonlinear wave equation: (*) $$\begin{array}{*{20}c} {u_{tt} - u_{xx} + g(u) = f(x,t),} & {(x,t) \in (0,\pi ) \times R,} \\ {\begin{array}{*{20}c} {u(0,t) = u(\pi ,t) = 0,} \\ {u(x,t + 2\pi ) = u(x,t),} \\ \end{array} } & {\begin{array}{*{20}c} {t \in R,} \\ {(x,t) \in (0,\pi ) \times R,} \\ \end{array} } \\ \end{array}$$ whereg(ξ)∈C(R,R)is a function with superlinear growth and f(x, t) is a function which is 2π-periodic in t. Under the suitable growth condition on g(ξ), we prove the existence of infinitely many solution of (*) for any given f(x, t).     

О некоторых свойства х частичных сумм рядо в Фурье—Уолша—Пэли

In this paper we consider the behaviour of partial sums of Fourier—Walsh—Paley series on the group62-01. We prove the following theorems: Theorem 1. Let {n _k } _k ^=1/∞ be some increasing convex sequence of natural numbers such that $$\mathop {\lim sup}\limits_m m^{ - 1/2} \log n_m< \infty $$ . Then for anyf∈L ^∞(G) $$\left( {\frac{1}{m}\sum\limits_{j = 1}^m {|Sn_j (f;0)|^2 } } \right)^{1/2} \leqq C \cdot \left\| f \right\|_\infty $$ . Theorem 2. Let {n _k } _k ^=1/∞ be a lacunary sequence of natural numbers,n _k+1/n _k≧q>1. Then for anyfεL ^∞(G) $$\sum\limits_{j = 1}^m {|Sn_j (f;0)| \leqq C_q \cdot m^{1/2} \cdot \log n_m \cdot \left\| f \right\|_\infty } $$ . Theorems. Let µ _k =2 ^k +2 ^k-2+2 ^k-4+...+2^α ₀,α ₀=0,1. Then $$\begin{gathered} \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in L^\infty (G)\} = \{ \{ a_k \} _{k = 1}^\infty ;\sum\limits_{k = 1}^m {a_k^2 = 0(m)^2 \} .} \hfill \\ \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in C(G)\} = \{ \{ a_k \} _{k = 1}^\infty ;\sum\limits_{k = 1}^m {a_k^2 = o(m)^2 \} = } \hfill \\ = \{ \{ S_{\mu _k } (f:0\} _{k = 1}^\infty ;f \in C(G),f(0) = 0\} \hfill \\ \end{gathered} $$ . Theorem 4. {{S ₂ k(f: 0)} _k ^=1/∞ ,f∈L ^∞(G)}=m. $$\{ \{ S_{2_k } (f:0\} _{k = 1}^\infty ;f \in C(G)\} = c. \{ \{ S_{2_k } (f:0\} _{k = 1}^\infty ;f \in C(G),f(0) = 0\} = c_0 $$ .     

Enumerating rooted simple planar maps

The main purpose of this paper is to find the number of combinatorially distinct rooted simpleplanar maps,i.e.,maps having no loops and no multi-edges,with the edge number given.We haveobtained the following results.1.The number of rooted boundary loopless planar [m,2]-maps.i.e.,maps in which there areno loops on the boundaries of the outer faces,and the edge number is m,the number of edges on theouter face boundaries is 2,is(?)for m≥1.G_0~N=0.2.The number of rooted loopless planar [m,2]-maps is(?)3.The number of rooted simple planar maps with m edges H_m~s satisfies the following recursiveformula:(?)where H_m~(NL) is the number of rooted loopless planar maps with m edges given in [2].4.In addition,γ(i,m),i≥1,are determined by(?)for m≥i.γ(i,j)=0,when i>j.     

Subspace Arrangements of Type B n and D n

Let ${\mathcal{D}}_{n,k} $ be the family of linear subspaces of ?ⁿ given by all equations of the form $\varepsilon _1 x_{i_1 } = \varepsilon _2 x_{i_2 } = \cdot \cdot \cdot \varepsilon _k x_{i_k } ,$ for 1 ≤ < ? ? ? < i _k ≤ i and $\left( {\varepsilon _1 ,...,\varepsilon _k } \right)\varepsilon \left\{ { + 1, - 1} \right\}^k $ Also let ${\mathcal{B}}_{n,k,h} $ be ${\mathcal{D}}_{n,k} $ enlarged by the subspaces $x_{j_1 } = x_{j_2 } = \cdot \cdot \cdot x_{j_h } = 0,$ for 1 ≤. The special cases ${\mathcal{B}}_{n,2,1} $ and ${\mathcal{D}}_{n,2} $ are well known as the reflection hyperplane arrangements corresponding to the Coxeter groups of type B _nand D _n respectively. In this paper we study combinatorial and topological properties of the intersection lattices of these subspace arrangements. Expressions for their Möbius functions and characteristic polynomials are derived. Lexicographic shellability is established in the case of ${\mathcal{B}}_{n,k,h,} 1 \leqslant h < k$ , which allows computation of the homology of its intersection lattice and the cohomology groups of the manifold $\begin{gathered} {\mathcal{D}}_{n,2} \\ M_{n,k,h,} = {\mathbb{R}}^n \backslash \bigcup {{\mathcal{B}}_{n,k,h,} } \\ \end{gathered} $ . For instance, it is shown that $H^d \left( {M_{n,k,k - 1} } \right)$ is torsion-free and is nonzero if and only if d = t(k ? 2) for some $t,0 \leqslant t \leqslant \left[ {{n \mathord{\left/ {\vphantom {n k}} \right. \kern-0em} k}} \right]$ . Torsion-free cohomology follows also for the complement in ?ⁿof the complexification ${\mathcal{B}}_{n,k,h}^C ,1 \leqslant h < k$ .     

On the normalizing multiplier of the generalized Jackson kernel

We consider the question of evaluating the normalizing multiplier $$\gamma _{n,k} = \frac{1}{\pi }\int_{ - \pi }^\pi {\left( {\frac{{sin\tfrac{{nt}}{2}}}{{sin\tfrac{t}{2}}}} \right)^{2k} dt} $$ for the generalized Jackson kernel J _n,k (t). We obtain the explicit formula $$\gamma _{n,k} = 2\sum\limits_{p = 0}^{\left[ {k - \tfrac{k}{n}} \right]} {( - 1)\left( {\begin{array}{*{20}c} {2k} \\ p \\ \end{array} } \right)\left( {\begin{array}{*{20}c} {k(n + 1) - np - 1} \\ {k(n - 1) - np} \\ \end{array} } \right)} $$ and the representation $$\gamma _{n,k} = \sqrt {\frac{{24}}{\pi }} \cdot \frac{{(n - 1)^{2k - 1} }}{{\sqrt {2k - 1} }}\left[ {1\frac{1}{8} \cdot \frac{1}{{2k - 1}} + \omega (n,k)} \right],$$ , where $$\left| {\omega (n,k)} \right| < \frac{4}{{(2k - 1)\sqrt {ln(2k - 1)} }} + \sqrt {12\pi } \cdot \frac{{k^{\tfrac{3}{2}} }}{{n - 1}}\left( {1 + \frac{1}{{n - 1}}} \right)^{2k - 2} .$$ .     

A moment problem associated to rational Szegő functions

Leta ₁,...,a _p be distinct points in the finite complex plane ?, such that |a _j|>1,j=1,..., p and let \(b_j = 1/\bar \alpha _j ,\) j=1,..., p. Let μ₀, μ _π ^(j) , ν _π ^(j) j=1,..., p;n=1, 2,... be given complex numbers. We consider the following moment problem. Find a distribution ψ on [?π, π], with infinitely many points of increase, such that $$\begin{array}{l} \int_{ - \pi }^\pi {d\psi (\theta ) = \mu _0 ,} \\ \int_{ - \pi }^\pi {\frac{{d\psi (\theta )}}{{(e^{i\theta } - a_j )^n }} = \mu _n^{(j)} ,} \int_{ - \pi }^\pi {\frac{{d\psi (\theta )}}{{(e^{i\theta } - b_j )^n }} = v_n^{(j)} ,} j = 1,...,p;n = 1,2,.... \\ \end{array}$$ It will be shown that this problem has a unique solution if the moments generate a positive-definite Hermitian inner product on the linear space of rational functions with no poles in the extended complex plane ?^* outside {a ₁,...,a _p,b ₁,...,b _p}.     

Diameter of the set of midpoints of chords of a bounded closed set

The estimate is obtained for the diameter d(S_n(a)) of the set S_n(a) of midpoints of chords of length ≥a(0n, namely $$d(S_n (a)) \leqslant \left\{ \begin{gathered} 1 - a^2 /2, n = 2, \hfill \\ \sqrt {1 - a^2 /2,} n \geqslant 3, \hfill \\ \end{gathered} \right.$$ and it is shown that the inequality cannot be improved.     

An example on strong shift equivalence of positive integral matrices

The following matrices are considered $$A_k = \left( {\begin{array}{*{20}c} k \\ 1 \\ \end{array} \begin{array}{*{20}c} 2 \\ k \\ \end{array} } \right), B_k \left( {\begin{array}{*{20}c} {k - 1} \\ 1 \\ \end{array} \begin{array}{*{20}c} 1 \\ {k + 1} \\ \end{array} } \right),k \in \mathbb{N},$$ which are strong shift equivalent in the sense ofWilliams [7]. In case \(k + \sqrt 2 \) is a prime number of the algebraic field \(\mathbb{Q}(\sqrt 2 )\) matrices are defined which determine the possible choices of rank two matrices connectingA _k andB _k in the sense of strong shift equivalence. A complete list of all these matrices is given.     

On the representation theory of Möbius groups inR n*

We will solve several fundamental problems of Möbius groupsM(R ⁿ) which have been matters of interest such as the conjugate classification, the establishment of a standard form without finding the fixed points and a simple discrimination method. Let \(g = \left[ {\begin{array}{*{20}c} a &; b \\ c &; d \\ \end{array} } \right]\) be a Clifford matrix of dimensionn, c ≠ 0. We give a complete conjugate classification and prove the following necessary and sufficient conditions:g is f.p.f. (fixed points free) iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; 0 \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α|<1 and |E?AE ¹| ≠ 0;g is elliptic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; \beta \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α| <1 and |E?AE ¹|=0;g is parabolic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; 0 \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α|=1; andg is loxodromic iff \(g \sim \left[ {\begin{array}{*{20}c} \alpha &; \beta \\ c &; {\alpha '} \\ \end{array} } \right]\) , |α| >1 or rank (E?AE ¹) ≠ rank (E?AE ¹,ac ^?1+c ^?1 d), where α is represented by the solutions of certain linear algebraic equations and satisfies $\left| {c^{ - 1} \alpha '} \right| = \left| {\left( {E - AE^1 } \right)^{ - 1} \left( {\alpha c^{ - 1} + c^{ - 1} \alpha '} \right)} \right|.$      

Estimation of the remainder of a cubature formula on a Chebyshev grid

Let C(Q) denote the space of continuous functions f(x, y) in the square Q = [?1, 1] × [?1, 1] with the norm $\begin{gathered} \left\| f \right\| = \max \left| {f(x,y)} \right|, \hfill \\ (x,y) \in Q. \hfill \\ \end{gathered} $ On a Chebyshev grid, a cubature formula of the form $\int\limits_{ - 1}^1 {\int\limits_{ - 1}^1 {\frac{1} {{\sqrt {(1 - x^2 )(1 - y^2 )} }}f(x,y)dxdy = \frac{{\pi ^2 }} {{mn}}\sum\limits_{i = 1}^n {\sum\limits_{j = 1}^m {f\left( {\cos \frac{{2i - 1}} {{2n}}\pi ,\cos \frac{{2j - 1}} {{2m}}\pi } \right)} + R_{m,n} (f)} } } $ is considered in some class H(r ₁, r ₂) of functions f ?? C(Q) defined by a generalized shift operator. The remainder R _{m, n} (f) is proved to satisfy the estimate $\mathop {\sup }\limits_{f \in H(r_1 ,r_2 )} \left| {R_{m,n} (f)} \right| = O(n^{ - r_1 + 1} + m^{ - r_2 + 1} ), $ where r ₁, r ₂ > 1; ??^?1 ?? n/m ?? ?? with ?? > 0; and the constant in O(1) depends on ??.     

Hardy-Littlewood type inequalities for Vilenkin-Fourier coefficients

The Hardy type inequality $\left( * \right) \left( {\sum\limits_{k = 1}^\infty {\frac{{\left| {\hat f\left( k \right)} \right|^p }}{{k^{2 - p} }}} } \right)^{I/p} \leqslant C_p \left\| f \right\|_{H_{ * * }^P } \left( {1/2< p \leqslant 2} \right)$ is proved for functionsf belonging to the Hardy spaceH _** ^p (G_m) defined by means of a maximal function. We extend (*) for 2<p<∞ when the Vilenkin-Fourier coefficients off are λ-blockwise monotone. It will be shown that under certain conditions on the Vilenkin system (in particular, for some unbounded type, too) a converse version of (*) holds also for allp>0 provided that the Vilenkin-Fourier coefficients off are monotone.