Estimates for the coefficients of univalent functions in terms of the second coefficient

For the coefficients b_n of an odd function \(f(z) = z + \sum\nolimits_{k = 1}^\infty {{}^bk^{z^{2k + 1} } } \) , regular in the unit disk, we obtain the estimate $$|b_n | \leqslant \frac{1}{{\sqrt 2 }}\sqrt {1 + |b_1 |^2 } \exp \frac{1}{2}\left( {\delta + \frac{1}{2}|b_1 |^2 } \right),where \delta = 0.312,$$ (1) from which it follows that ¦b_n¦≤1, if ¦b₁¦≤0.524. It follows from (1) that the coefficients c_n, n = 3, 4,..., of a regular function \(f(2) = z + \sum\nolimits_{k = 2}^\infty {{}^ck^{z^k } } \) , univalent in the unit desk, satisfy $$|c_n | \leqslant \frac{1}{2}\left( {1 + \frac{{|c_2 |^2 }}{4}} \right)n\exp \left( {\delta + \frac{{|c_2 |^2 }}{8}} \right),where \delta = 0.312,$$ in particular, ¦c_n¦≤n, if ¦c₂¦≤1.046.     

A discreteness criterion for the spectrum of a quasielliptic operator

For the spectrum of the operator $$u = \sum\nolimits_{j = 1}^n {( - 1)^{m_j } D_j^{2m_j } u + q(x)u,} $$ to be discrete, where the m_j are arbitrary positive integers such that \(\sum\nolimits_{j = 1}^n {\tfrac{1}{{2m_j }}< 1} \) , and q(x) ≥ 1, it is necessary and sufficient that \(\int\limits_K {q (x) dx \to \infty } \) , when the cube K tends to infinity while preserving its dimensions.     

Bemerkungen zu einem Satz von Fejér

Последовательность {ita_k} _(n) ^k =1/∞ вещественных ч исел называется дважды мо нотонной, еслиa _k -2a _k+1 +a _k+2 ≧0 дляk≧1. В работе доказываютс я следующие утвержде ния, являющиеся обобщени ем двух теорем Фейера:

1. Если {ita_k — дважды моно тонная последовател ьность, то для ¦z¦<1 $$\operatorname{Re} \sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } /\sum\limits_{\kappa = 1}^n {a_\kappa z^\kappa } > 1/2$$ дляи≧ 1.
2. Если О≦β<1 и последова тельность (k+1-2β)ak} дважд ы монотонна, то для ¦z¦<1 $$\operatorname{Re} \sum\limits_{\kappa = 1}^\infty {ka_\kappa z^\kappa } /\sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } > \beta $$ , то есть $$\sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } \varepsilon S_\beta ^\kappa $$ . При помощи 2) получены о бобщения и уточнения теорем из работы [1] о линейных комбинациях некотор ых однолистных функц ий.

     

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 best constants in the Khintchine inequality for Steinhaus variables

Let S _j : (Ω, P) → S ¹ ? ? be an i.i.d. sequence of Steinhaus random variables, i.e. variables which are uniformly distributed on the circle S ¹. We determine the best constants a _p in the Khintchine-type inequality $${a_p}{\left\| x \right\|_2} \leqslant {\left( {{\text{E}}{{\left| {\sum\limits_{j = 1}^n {{x_j}{S_j}} } \right|}^p}} \right)^{1/p}} \leqslant {\left\| x \right\|_2};{\text{ }}x = ({x_j})_{j = 1}^n \in {{\Bbb C}^n}$$ for 0 < p < 1, verifying a conjecture of U. Haagerup that $${a_p} = \min \left( {\Gamma {{\left( {\frac{p}{2} + 1} \right)}^{1/p}},\sqrt 2 {{\left( {{{\Gamma \left( {\frac{{p + 1}}{2}} \right)} \mathord{\left/ {\vphantom {{\Gamma \left( {\frac{{p + 1}}{2}} \right)} {\left[ {\Gamma \left( {\frac{p}{2} + 1} \right)\sqrt \pi } \right]}}} \right. \kern-\nulldelimiterspace} {\left[ {\Gamma \left( {\frac{p}{2} + 1} \right)\sqrt \pi } \right]}}} \right)}^{1/p}}} \right)$$ . Both expressions are equal for p = p ₀ }~ 0.4756. For p ≥ 1 the best constants a _p have been known for some time. The result implies for a norm 1 sequence x ∈ ? ⁿ , ‖x‖₂ = 1, that $${\text{E}}\ln \left| {\frac{{{S_1} + {S_2}}}{{\sqrt 2 }}} \right| \leqslant {\text{E}}\ln \left| {\sum\limits_{j = 1}^n {{x_j}{S_j}} } \right|$$ , answering a question of A. Baernstein and R. Culverhouse.     

Asymptotic number of solutions of some systems of diophantine inequalities

The problem of finding the asymptotic number of solutions of the system of inequalities $$\begin{gathered} \left\| {\alpha _i q} \right\|< q^{ - \sigma _i } (i = 1,...,n), \sigma _i > 0, \hfill \\ \sigma = \sum\nolimits_{i = 1}^n {\sigma _i< c(\alpha _1 ,...,\alpha _n ), q = 1,...,N,} \hfill \\ \end{gathered}$$ is solved under the assumption that for real numbers α₁,..., α_n, starting from some Q=max(q₁...,q_n) the inequality holds for any real λ≥0.     

A mixed boundary-value problem for a hyperbolic-parabolic equation

Let Ω be a bounded domain in the n-dimensional Euclidean space. In the cylindrical domain QT=Ω x [0, T] we consider a hyperbolic-parabolic equation of the form (1) $$Lu = k(x,t)u_{tt} + \sum\nolimits_{i = 1}^n {a_i u_{tx_i } - } \sum\nolimits_{i,j = 1}^n {\tfrac{\partial }{{\partial x_i }}} (a_{ij} (x,t)u_{x_j } ) + \sum\nolimits_{i = 1}^n {t_i u_{x_i } + au_t + cu = f(x,t),} $$ where \(k(x,t) \geqslant 0,a_{ij} = a_{ji} ,\nu |\xi |^2 \leqslant a_{ij} \xi _i \xi _j \leqslant u|\xi |^2 ,\forall \xi \in R^n ,\nu > 0\) . The classical and the “modified” mixed boundary-value problems for Eq. (1) are studied. Under certain conditions on the coefficients of the equation it is proved that these problems have unique solution in the Sobolev spaces W ₂ ¹ (QT) and W ₂ ² (QT).     

Analogs of the Luzin-Danzhu and Cantor-Lebesgue theorems for double trigonometric series

Let ∥ · ∥ be some norm in R², Γ be the unit sphere induced in R² by this norm, and {Aj} a sequence of disjoint subsets of R₊ such that if ν ε A_j, then ν · Γ ∩ Z^N ≠ Ø. For series of the form $$\sum\nolimits_{j = 1}^\infty {} \sum\nolimits_{\parallel n\parallel \in A_j } {c_n e^{2\pi _i (n_1 x_1 + n_2 x_2 )} } $$ analogs of the Luzin-Danzhu and Cantor-Lebesgue theorems are established.     

Asymptotics of generalized jacobi polynomials

Polynomialsp ₁,(z),p ₂ (z), of degreen are defined by the relation \(p_1 (z) + p_2 (z)\prod\nolimits_{i = 1}^3 {(z - b_l )^{v_1 } } = O(z^{ - n - 1} ),z \to \infty \) , where \(\sum\nolimits_{i = 1}^3 {v_i = 0} \) . We obtain the asymptotic behavior of these polynomials asn→∞ and show that it agrees with a previous conjecture.     

The C-convexity of Banach spaces with unconditional bases

A Banach space is called C-convex if the space c₀ cannot be represented finitely in it. Necessary and sufficient conditions for the C-convexity of a space with an unconditional basis and of the product of a space Y with respect to the unconditional basis of a space X are obtained. These conditions are rendered concrete for two classes of spaces: The Orlich space of sequences is C-convex if and only if its normalizing function satisfies the δ₂-condition; the Lorentz space of sequences is C-convex if and only if its normalizing sequence satisfies the condition \(\mathop {\underline {\lim } }\limits_{n \to \infty } {{\sum\nolimits_{i = 1}^{2n} {c_i } } \mathord{\left/ {\vphantom {{\sum\nolimits_{i = 1}^{2n} {c_i } } {\sum\nolimits_{i = 1}^n {c_i > 1} }}} \right. \kern-0em} {\sum\nolimits_{i = 1}^n {c_i > 1} }}\) . We call a Banach space X a C-convex space if the following condition is fulfilled: $$\mathop {\sup }\limits_n \inf d\left( {X_n , l_\infty ^n } \right) = \infty $$ ,     

A certain generalization of the law of the iterated logarithm

Let X₁ ,..., X_n be independent random variables and let \(S_n = \sum\limits_{i = 1}^n {X_i }\) . For the sequence of random variables $$T_n = \sum\limits_1^p {(S_{t_j } - S_{t_{j - 1} } )} ,$$ where t₀=01<...p=n, p?1, under certain conditions on t_i, \(i = \overline {1,n}\) , one proves a series of general theorems of the type of the iterated logarithm laws.     

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.     

Comportement asymptotique des solutions d'un système elliptique conservatif non linéaire

Let M be a compact riemannian manifold; in a previous article we show that every non- negative solution of u_tt + Δ_g u=f(u) on M ×R ⁺, satisfying Dirichlet or Neumann boundary conditions, converges to a (stationary) solution Φ of Δ_g Φ=f(Φ) with exponential decay of ∥u - Φ∥c²(M), if we assume that f behaves like r? r^p - λr. We extend this result to a system in the following form $$\left\{ {\begin{array}{*{20}c} {u_{tt} + \Delta _g u + \alpha u - G_x (u,\upsilon ) = 0,} \\ {u_{tt} + \Delta _g \upsilon + \beta \upsilon - G_x (u,\upsilon ) = 0,} \\ \end{array} } \right.$$ . where G satisfies some growth and convexity properties.     

Ranges of certain functionals in classes of regular functions

LetP _κ,n (λ,β) be the class of functions \(g(z) = 1 + \sum\nolimits_{v = n}^\infty {c_\gamma z^v }\) , regular in ¦z¦<1 and satisfying the condition $$\int_0^{2\pi } {\left| {\operatorname{Re} \left[ {e^{i\lambda } g(z) - \beta \cos \lambda } \right]} \right|} /\left( {1 - \beta } \right)\cos \lambda \left| {d\theta \leqslant \kappa \pi ,} \right.z = re^{i\theta } ,$$ , 0 < r < 1 (κ?2,n?1, 0?Β<1, -π<λ<π/2;M _κ,n (λ,β,α),n?2, is the class of functions \(f(z) = z + \sum\nolimits_{v = n}^\infty {a_v z^v }\) , regular in¦z¦<1 and such thatF _α(z)∈P _κ,n?1(λ,β), where \(F_\alpha (z) = (1 - \alpha )\frac{{zf'(z)}}{{f(z)}} + \alpha (1 + \frac{{zf'(z)}}{{f'(z)}})\) (0?α?1). Onr considers the problem regarding the range of the system {g ^(v?1)(z_?)/(v?1)!}, ?=1,2,...,m,v=1,2,...,N _?, on the classP _κ,1(λ,β). On the classesP _κ,n (λ,β),M _κ,n (λ,β,α) one finds the ranges of C_v, v?n, a_m, n?m?2n-2, and ofg(?),F _?(?), 0<¦ξ¦<1, ξ is fixed.     

Асимптотические рав енства для интеграло в от модуля суммы кратн ого ряда из синусов

Assume that the coefficients of the series $$\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i = 1}^m \sin k_i x_i $$ satisfy the following conditions: a) a_k → 0 for k₁ + k₂ + ...+k_m →∞, b) \(\delta _{B,G}^M (a) = \mathop {\mathop \sum \limits_{k_i = 1}^\infty }\limits_{i \in B} \mathop {\mathop \sum \limits_{k_j = 2}^\infty }\limits_{j \in G} \mathop {\mathop \sum \limits_{k_v = 0}^\infty }\limits_{v \in M\backslash (B \cup G)} \mathop \Pi \limits_{i \in B} \frac{1}{{k_i }}|\mathop \sum \limits_{I_j = 1}^{[k_j /2]} (\nabla _{l_G }^G (\Delta _1^{M\backslash B} a_k ))\mathop \Pi \limits_{j \in G} l_j^{ - 1} |< \infty ,\) for ∨B?M, ∨G?M,B∩G, where M={1,2, ...,m}, $$\begin{gathered} \,\,\,\,\,\,\,\,\,\,\,\,\Delta _1^j a_k = a_k - a_{k_{M\backslash \{ j\} } ,k_{j + 1} } ,\Delta _1^B a_k = \Delta _1^{B\backslash \{ j\} } (\Delta _1^j a_k ), \hfill \\ \Delta _{l_j }^j a_k = a_{k_{M\backslash \{ j\} } ,k_j - l_j } - a_{k_{M\backslash \{ j\} } ,k_j + l_j } ,\nabla _{l_G }^G a_k = \nabla _{l_{G\backslash \{ j\} } }^{G\backslash \{ j\} } (\nabla _{l_j }^j a_k ). \hfill \\ \end{gathered} $$ Then for all n∈N^m the following asymptotic equation is valid: $$\mathop \smallint \limits_{{\rm T}_{\pi /(2n + 1)}^m } |\mathop \sum \limits_{k \in N^m } a_k \mathop \Pi \limits_{i \in M} \sin k_i x_i |dx = \mathop \sum \limits_{k = 1}^n \left| {a_k } \right|\mathop \Pi \limits_{i \in M} k^{ - 1} + O(\mathop {\mathop \sum \limits_{B,{\mathbf{ }}G \subset M} }\limits_{B \ne M} \delta _{B,G}^M (a)).$$ Here \(T_{\pi /(2n + 1)}^m = \left\{ {x = (x1,x2,...,xm):\pi /(2n + 1) \leqq xi \leqq \pi ;i = \overline {1,m} } \right\}\) . In the one-dimensional case such an equation was proved by S. A. Teljakovskii.     

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

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

Tests for the convergence of continued fractions,based on the fundamental system of inequalities

We have proved that if the partial numerators of the continued fraction f(c)=1/1+c₂/l+c₃/l+... are all nonzero and for at least some number n?1 satisfy the inequalities $$p_n \left| {1 + c_n + c_{n + 1} } \right| \ge p_{n - 2} p_n \left| {c_n } \right| + \left| {c_{n + 1} } \right|(n \ge 1,p_{ - 1} = p_0 = c_1 = 0,p_n \ge 0),$$ then f(c) converges in the wide sense if and only if at least one of the series $$\begin{array}{l} \sum\nolimits_{n = 1}^\infty {\left| {c_3 c_5 \ldots c_{2n - 1} /(c_2 c_4 \ldots c_{2n} )} \right|} , \\ \sum\nolimits_{n = 1}^\infty {\left| {c_2 c_4 \ldots c_{2n} /(c_3 c_5 \ldots c_{2n + 1} )} \right|} \\ \end{array}$$      

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Multiple solvability of certain elliptic problems with critical nonlinearity exponents

It is proved that the problem $$\mathop {\sum\nolimits_{i = 1}^v {\nabla _i (|\nabla u|^{p - 2} \nabla _i u)^ - |u|^{p * - 1} u + \lambda |u|^{p - 2} u = 0 in \Omega .} }\limits_{n = 0 on \partial \Omega .}$$ where Ω ?R ^N a singly-connected region with an “odd” boundary, N > p, and p^* = Np/(N ? p) is a critical Sobolev exponent, has, under the appropriate conditions on λ, q, and N, no less than (2N+2) nontrivial solutions in \(\mathop W\limits^0 _{p^1 } (\Omega )\) .     

Regularized sums of half-integer powers of a Sturm-Liouville operator

We investigate the question of the regularized sums of part of the eigenvalues z_n (lying along a direction) of a Sturm-Liouville operator. The first regularized sum is $$\sum\nolimits_{n = 1}^\infty {(z_n - n - \frac{{c_1 }}{n} + \frac{2}{\pi } \cdot z_n arctg \frac{1}{{z_n }} - \frac{2}{\pi }) = \frac{{B_2 }}{2} - c_1 \cdot \gamma + \int_1^\infty {\left[ {R(z) - \frac{{l_0 }}{{\sqrt z }} - \frac{{l_1 }}{z} - \frac{{l_2 }}{{z\sqrt z }}} \right]} } \sqrt z dz,$$ where the z_n are eigenvalues lying along the positive semi-axis, z _n ² =λ_n, $$l_0 = \frac{\pi }{2}, l_1 = - \frac{1}{2}, l_2 = - \frac{1}{4}\int_0^\pi {q(x) dx,} c_1 = - \frac{2}{\pi }l_2 ,$$ , B₂ is a Bernoulli number, γ is Euler's constant, and \(R(z)\) is the trace of the resolvent of a Sturm-Liouville operator.