A remark concerning Pincherle bases

In this note we find sufficient conditions for uniqueness of expansion of any two functionsf(z) and g(z) which are analytic in the circle ¦ z ¦ < R (0 < R <∞) in series $$f(z) = \sum\nolimits_{n = 0}^\infty {(a_n f_2 (z) + b_n g_n (z))}$$ and $$g_i (z) = \sum\nolimits_{n = 0}^\infty {a_n \lambda _n f_n (z)} + b_n \mu _n f_n (x)),$$ which are convergent in the compact topology, where (f _n {z} _n=0 ^∞ and {g} _n=0 ^∞ are given sequences of functions which are analytic in the same circle while {λ _n } _n=0 ^∞ and {μ _n } _n=0 ^∞ are fixed sequences of complex numbers. The assertion obtained here complements a previously known result of M. G. Khaplanov and Kh. R. Rakhmatov.     

The domain of regularity of the limit function of a sequence of analytic functions

Letf (z) be an entire function λ_n(n=0,1,2,...) complex numbers, such that the system f(λ_{n n=0} ^∞ is not complete in the circle ¦z¦n(z) have the form \(\sum\nolimits_{k = 0}^{p_n } {\alpha _{nk} } f(\lambda _k \cdot z)\) . We study the properties of the limit function of the sequence Q_n(z) in the case when $$f(z) = 1 + \sum\nolimits_{n = 1}^\infty {\frac{{z^n }}{{P(1)P(2)...P(n)}}} ,$$ . where P(z) is a polynomial having at least one negative integral root.     

Asymptotic expansions of solutions of equations with a deviating argument in Banach spaces

For the equation $$Lu = \frac{1}{i}\frac{{du}}{{dt}}\sum\nolimits_{j = 0}^m {A_j u} (l - h_j^0 - h_j^1 (t)) = f(t),$$ whereh ₀ ^o =0,h ₀ ¹ =0 (t) ≡ 0,h _j ^o = const > 0,h ₁ ^j (t),j= 1, ...,m are nonnegative continuously differentiable functions in [0, ∞), Aj are bounded linear operators, under conditions on the resolvent and on the right hand sidef(t), we have obtained an asymptotic formula for any solution u(t) from L₂ in terms of the exponential solutions u_k(t), k=1, ..., n, of the equation $$\frac{1}{i}\frac{{du}}{{dt}} - A_0 u - \sum\nolimits_{j = 0}^m {A_j u} (t - h_j^0 ) = 0,$$ connected with the poles λ_k, k=1, ..., n, of the resolvent R_λ in a certain strip.     

О раэложении мероморфных функций специального вида на простейщие дроби

The paper is devoted to study the entire functions L(λ) with simple real zeros λ_k, k = 1, 2, ..., that admit an expansion of Krein’s type: $$\frac{1}{{\mathcal{L}(\lambda )}} = \sum\limits_{k = 1}^\infty {\frac{{c_k }}{{\lambda - \lambda _k }}} ,\sum\limits_{k = 1}^\infty {\left| {c_k } \right| < \infty } .$$ We present a criterion for these expansions in terms of the sequence {L′ (λ _k )} _k=1 ^∞ . We show that this criterion is applicable to certain classes of meromorphic functions and make more precise a theorem of Sedletski? on the annihilating property in L ² systems of exponents.     

Differential properties and Fourier coefficients of functions of λ-bounded variation

пУстьλ={λ _i} _i=1 ^∞ —пОслЕ ДОВАтЕльНОсть ВЕЩЕс тВЕННых ЧИсЕл сλ _i↑∞ Иλ ^m={λ_т+ i} _i=0 ^∞ . РАссМАтРМВАУтсь 2π-пЕ РИОДИЧЕскИЕ ФУНкцИИ, Дль кОтОРых $$V_\Lambda (f) = \mathop {\sup }\limits_x \mathop {\mathop {\sup }\limits_{(a_i ,b_i ) \cap (a_j ,b_j ) = \emptyset } }\limits_{(a_i ,b_i ) \subset (x,x + 2\pi ]} \mathop \sum \limits_{\iota = 1}^\infty \frac{{\left| {f(b_i ) - f(a_i )} \right|}}{{\lambda _i }}< \infty ,$$ И Дль кОтОРых $$\mathop {\lim }\limits_{m \to \infty } V_{\Lambda ^m } (f) = 0.$$ ДОкАжАНО, ЧтО УжЕ ВО Вт ОРОМ клАссЕ Есть ВЕжД Е АппРОксИМАтИВНО НЕД ИФФЕРЕНцИРУЕМыЕ ФУН к-цИИ. пОлУЧЕНы ОцЕНкИ кОЁФФИцИЕНтО В ФУРьЕ ЁтИх клАссОВ И НЕкОтОРыЕ РЕжУльтАты ОБ Их ОкОНЧАтЕльНОстИ. кАк слЕДстВИЕ ДАНО ДОстА тОЧНОЕ УслОВИЕ Дль Их НЕсОВп АДЕНИь.     

Greedy expansions in Hilbert spaces

We study the rate of convergence of expansions of elements in a Hilbert space H into series with regard to a given dictionary D. The primary goal of this paper is to study representations of an element f ∈ H by a series f ～ ∑ _j=1 ^∞ c _j (f)g _j (f), $g_j \left( f \right) \in \mathcal{D}$ . Such a representation involves two sequences: {g _j (f)} _j=1 ^∞ and {c _j (f) _j=1 ^∞ . In this paper the construction of {g _j (f)} _j=1 ^∞ is based on ideas used in greedy-type nonlinear approximation, hence the use of the term greedy expansion. An interesting open problem questions, “What is the best possible rate of convergence of greedy expansions for f ∈ A ₁(D)?” Previously it was believed that the rate of convergence was slower than $m^{ - \tfrac{1} {4}}$ . The qualitative result of this paper is that the best possible rate of convergence of greedy expansions for $f \in A_1 \left( \mathcal{D} \right)$ is faster than $m^{ - \tfrac{1} {4}}$ . In fact, we prove it is faster than $m^{ - \tfrac{2} {7}}$ .     

О разложениях в ряд ы о бобщенно-абсолютно-м онотонных функций

In an earlier paper [1] the notion of the so-called 〈?, GL_J>-absolutely monotonie functions was introduced, where ?≧1, {λ_{k k=0} ^∞ is an arbitrary non-increasing sequence of positive numbers. It was found that the condition \(\sum\limits_{\lambda _{k > 0} } {\lambda _k^{ - 1} } = + \infty \) is necessary in order to have the series expansion for any function f(x)∈〈?, λ_j). HereL ^k/? f/(x) are special integro-differential operators of fractional order, is a system of functions associated with the Mittag-Leffler type functions \(E_\varrho (z;\mu ) = \sum\limits_{k = 0}^\infty {z^n /\Gamma (\mu + \kappa /\varrho )} \) and with the sequence {λ_k}. In the present paper it is proved (in particular, see Theorem 3.2) that the expansion (*) is valid almost everywhere on (0,l) if ∑ λ _k ^?1 =+∞. This result contains, as a special case (when ?=1 and λ_k=0,k≧0) the known theorem of S. N. Bernstein on absolutely monotonic functions.     

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

Padé tables of entire functions of very slow and smooth growth,II

Letf(z):=Σ _j=0 ^∞ a _j z ^j , where a_j ≠ 0,j large enough, and for someq ε C such that ¦q¦ $$q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q,j \to \infty .$$ Define for m,n = 0,1,2,..., the Toeplitz determinant $$D(m/n): = \det (a_{m - j + k} )_{j,k = 1}^n .$$ Given ? > 0, we show that form large enough, and for everyn = 1,2,3,..., $$(1 - \varepsilon )^n \leqslant \left| {{{D(m/n)} \mathord{\left/ {\vphantom {{D(m/n)} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right. \kern-\nulldelimiterspace} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right| \leqslant (1 + \varepsilon )^n .$$ We apply this to show that any sequence of Padé approximants {[m _k /n _k ]} ₁ ^∞ tof, withm _k →∞ ask→ ∞, converges locally uniformly in C. In particular, the diagonal sequence {[n/n]} ₁ ^∞ converges throughout C. Further, under additional assumptions, we give sharper asymptotics forD(m/n).     

On approximating the spectrum of convolution-type operators, 1. Wiener—Hopf matricial integral operators

Letk be an inverse Fourier transform of a real valued bounded and summable functionK, and let {λ _j ^τ (τ > 0)} denote the eigenvalues of the Hermitian integral operator (W _k ^(τ) ?)(t) = ∫ ₀ ^τ k (t ?s)?(s)ds (? ∈L ₂(0,τ)). The well known Kac, Murdock and Szegö formula asserts that $$\mathop {\lim }\limits_{\tau \to \infty } \tau ^{ - 1} \sum\limits_{j = 1}^\infty {[\lambda _j^{(\tau )} ]^3 = (2\pi )} ^{ - 1} \int {_{ - \infty }^\infty [K(x)]^5 dx (s = 2,3, \cdot \cdot \cdot ,)} $$ . The main aim of the present paper is to extend this formula to the case of a complex-valued matrix functionK. We achieve this extension by developing an operator approach which is valid for a wide class of convolution type operators.     

A system of functions

A system of functions $$f_k (x) = \sum\nolimits_{i = 1}^r a _i \varphi _\iota (x)^k + b_i \overline {\varphi _\iota } (x)^k , k = 1,2,...$$ is considered on the interval [0,l]. Under certain conditions on the? _i(x), it is proved that the system 1 ∪ {f_k(x)} _k=1 ^∞ is complete in the space L_p(0,l). In the case r=1 it is proved, under certain additional assumptions, that the system {f_k(x)} _k=0 ^∞ is minimal.     

A note on uniqueness problem for meromorphic mappings with 2N + 3 hyperplanes

In this paper,a uniqueness theorem for meromorphic mappings partially sharing 2N+3 hyperplanes is proved.For a meromorphic mapping f and a hyperplane H,set E(H,f) = {z|ν(f,H)(z) 0}.Let f and g be two linearly non-degenerate meromorphic mappings and {Hj}j2=N1+ 3be 2N + 3 hyperplanes in general position such that dim f-1(Hi) ∩ f-1(Hj) n-2 for i = j.Assume that E(Hj,f) E(Hj,g) for each j with 1 j 2N +3 and f = g on j2=N1+ 3f-1(Hj).If liminfr→+∞ 2j=N1+ 3N(1f,Hj)(r) j2=N1+ 3N(1g,Hj)(r) NN+1,then f ≡ g.     

Some estimates of solutions of degenerate (k,o)-elliptic equations

A class of nonlinear second-order equations of divergent form is distinguished, whose solutions have properties recalling the properties of solutions of ordinary elliptic equations. In the linear case these are equations of the form $$\sum\nolimits_{j = 1}^k \lambda _j (x)A_j^2 u + \sum\nolimits_{j = 1}^k {\mu _j (x)A_j u + c(x)u + f(x) = 0,} $$ where the \(A_j = \sum\nolimits_{\alpha = 1}^n {\alpha _j^\alpha (x)\frac{\partial }{{\partial x^\alpha }}(1 \leqslant j \leqslant k)} \) are linearly independent first-order differential operators whose Lie algebra is of rank n, 2 ? k ? n, and theλj(x) ? 0 are functions which can become0 zero or increase in a definite way. Harnack's inequality is proved for nonnegative solutions of these equations.     

Rows and diagonals of the Walsh array for entire functions with smooth Maclaurin series coefficients

Let \(f(z): = \sum\nolimits_{j = 0}^\infty {a_j z^J } \) be entire, witha _j≠0,j large enough, \(\lim _{J \to \infty } a_{j + 1} /a_J = 0\) , and, for someq∈C, \(q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q\) asj→∞. LetE _mn(f; r) denote the error in best rational approximation off in the uniform norm on |z‖≤r, by rational functions of type (m, n). We study the behavior ofE _mn(f; r) asm and/orn→∞. For example, whenq above is not a root of unity, or whenq is a root of unity, butq _m has a certain asymptotic expansion asm→∞, then we show that, for each fixed positive integern, ,m→∞. In particular, this applies to the Mittag-Leffler functions \(f(z): = \sum\nolimits_{j = 0}^\infty {z^j /\Gamma (1 + j/\lambda )} \) and to \(f(z): = \sum\nolimits_{j = 0}^\infty {z^j /(j!)^{I/\lambda } } \) , λ>0. When |q‖<1, we also handle the diagonal case, showing, for example, that ,n→∞. Under mild additional conditions, we show that we can replace 1+0(1) ⁿ by 1+0(1). In all cases we show that the poles of the best approximants approach ∞ asm→∞.     

On the divergence of de la Vallée Poussin means of Fourier series

Пусть {λ _{n 1} ^t8 — монотонн ая последовательнос ть натуральных чисел. Дл я каждой функции fεL(0, 2π) с рядом Фурье строятся обобщенные средние Bалле Пуссена $$V_n^{(\lambda )} (f;x) = \frac{{a_0 }}{2} + \mathop \sum \limits_{k = 1}^n (a_k \cos kx + b_k \sin kx) + \mathop \sum \limits_{k = n + 1}^{n + \lambda _n } \left( {1 - \frac{{k - n}}{{\lambda _n + 1}}} \right)\left( {a_k \cos kx + b_k \sin kx} \right).$$ Доказываются следую щие теоремы.

1. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность {V_n ^(λ)(?;x)} расходится почти вс юду.
2. Если λ_n=o(n), то существуе т функция fεL(0, 2π), для кот орой последовательность $$\left\{ {\frac{1}{\pi }\mathop \smallint \limits_{ - \pi /\lambda _n }^{\pi /\lambda _n } f(x + t)\frac{{\sin (n + \tfrac{1}{2})t}}{{2\sin \tfrac{1}{2}t}}dt} \right\}$$ расходится почти всю ду

.     

The enumeration of subgroups in finite p-groups

We generalize the familiar principle of enumeration due to Hall and establish a new principle for the enumeration of subgroups of any p-group G of order p^m, based on the following grouptheoretic relation found by the author: $$\sum\nolimits_{\lambda = 0}^m {\left( { - 1} \right)^\lambda p^{\left( {\begin{array}{*{20}c} \lambda \\ 2 \\ \end{array} } \right)} \mathcal{E}_\lambda \left( G \right)} = 0,$$ where ?_λ (G) is the number of elementary Abelian subgroups of order p^λ in G.     

On the distribution of integer random variables related by a certain linear inequality: III

We consider tuples {N _jk }, j = 1, 2, ..., k = 1, ..., q _j , of nonnegative integers such that $$ \sum\limits_{j = 1}^\infty {\sum\limits_{k = 1}^{q_j } {jN_{jk} } } \leqslant M. $$ Assuming that q _j ～ j ^d?1, 1 < d < 2, we study how the probabilities of deviations of the sums $ \sum\nolimits_{j = j_1 }^{j_2 } {\sum\nolimits_{k = 1}^{q_j } {N_{jk} } } $ N _jk from the corresponding integrals of the Bose-Einstein distribution depend on the choice of the interval [j ₁,j ₂].     

A class of functions of a real variable

An investigation of measurable almost-everywhere finite functions ξ(t), -∞ $$\varphi _T^\xi (\tau _{(n)} , \lambda _{(n)} ) = \frac{1}{{2T}}\int_{ - T}^T {\exp i} \sum\nolimits_{k - 1}^n {\lambda _k \xi (t - \tau _k )dt} $$ tends to an asymptotic characteristic function? _∞ ^ξ (τ _(n), λ_(n)) when T → ∞. Here n is any positive integer and T_(n)=(τ₁; τ₂, ..., τ_n) is arbitrary. It is proved that the class of such functions ξ(t) is larger than the class of Besicovich almost-periodic functions.