On certain estimates for orthogonal polynomials depending on parameters

Рассматривается сис тема ортогональных м ногочленов {P _n (z)} ₀ ^∞ , удовлетворяющ их условиям $$\frac{1}{{2\pi }}\int\limits_0^{2\pi } {P_m (z)\overline {P_n (z)} d\sigma (\theta ) = \left\{ {\begin{array}{*{20}c} {0,m \ne n,P_n (z) = z^n + ...,z = \exp (i\theta ),} \\ {h_n > 0,m = n(n = 0,1,...),} \\ \end{array} } \right.} $$ где σ (θ) — ограниченная неу бывающая на отрезке [0,2π] функция с бесчисленным множе ством точек роста. Вводится последовательность параметров {а_{n 0} ^∞ , независимых дру г от друга и подчиненных единств енному ограничению { ¦а_n¦<1} ₀ ^∞ ; все многочлены {Р _n (z)} 0/∞ можно найти по формуле $$P_0 = 1,P_{k + 1(z)} = zP_k (z) - a_k P_k^ * (z),P_k^ * (z) = z^k \bar P_k \left( {\frac{1}{z}} \right)(k = 0,1,...)$$ . Многие свойства и оце нки для {P _n (z)} ₀ ^∞ и (θ) можн о найти в зависимости от этих параметров; например, условие \(\mathop \Sigma \limits_{n = 0}^\infty \left| {a_n } \right|^2< \infty \) , бо лее общее, чем условие Г. Cerë, необходимо и достато чно для справедливости а симптотической форм улы в области ¦z¦>1. Пользуясь этим ме тодом, можно найти также реш ение задачи В. А. Стекло ва.     

Schwache Lösungen des Frankl-Morawetz-Problems im ℝ3

In a bounded simple connected region G ? ?³ we consider the equation $$L\left[ u \right]: = k\left( z \right)\left( {u_{xx} + u_{yy} } \right) + u_{zz} + d\left( {x,y,z} \right)u = f\left( {x,y,z} \right)$$ where k(z)? 0 whenever z ? 0.G is surrounded forz≥0 by a smooth surface Γ₀ with S:=Γ₀ ? {(x,y,z)|=0} and forz<0 by the characteristic \(\Gamma _2 :---(x^2 + y^2 )^{{\textstyle{1 \over 2}}} + \int\limits_z^0 {(---k(t))^{{\textstyle{1 \over 2}}} dt = 0} \) and a smooth surface Γ₁ which intersect the planez=0 inS and where the outer normal n=(n_x, n_y, n_z) fulfills \(k(z)(n_x^2 + n_y^2 ) + n_z^2 |_{\Gamma _1 } > 0\) . Under conditions on Γ₁ and the coefficientsk(z), d(x,y,z) we prove the existence of weak solutions for the boundary value problemL[u]=f inG with \(u|_{\Gamma _0 \cup \Gamma _1 } = 0\) . The uniqueness of the classical solution for this problem was proved in [1].     

ОБ ИНтЕРпОлИРОВАНИИ В кОМплЕксНОИ ОБлАст И

LetD be a simply connected domain, the boundary of which is a closed Jordan curveγ; \(\mathfrak{M} = \left\{ {z_{k, n} } \right\}\) , 0≦k≦n; n=1, 2, 3, ..., a matrix of interpolation knots, \(\mathfrak{M} \subset \Gamma ; A_c \left( {\bar D} \right)\) the space of the functions that are analytic inD and continuous on \(\bar D; \left\{ {L_n \left( {\mathfrak{M}; f, z} \right)} \right\}\) the sequence of the Lagrange interpolation polynomials. We say that a matrix \(\mathfrak{M}\) satisfies condition (B _m ), \(\mathfrak{M}\) ∈(B _m ), if for some positive integerm there exist a setB _m containingm points and a sequencen _{p p=1} ^∞ of integers such that the series \(\mathop \Sigma \limits_{p = 1}^\infty \frac{1}{{n_p }}\) diverges and for all pairsn _i ,n _j ∈{n _p } _p=1 ^∞ the set \(\left( {\bigcap\limits_{k = 0}^{n_i } {z_{k, n_i } } } \right)\bigcap {\left( {\bigcup\limits_{k = 0}^{n_j } {z_{k, n_j } } } \right)} \) is contained inB _m . The main result reads as follows. {Let D=z: ¦z¦ \(\Gamma = \partial \bar D\) and let the matrix \(\mathfrak{M} \subset \Gamma \) satisfy condition (B_m). Then there exists a function \(f \in A_c \left( {\bar D} \right)\) such that the relation $$\mathop {\lim \sup }\limits_{n \to \infty } \left| {L_n \left( {\mathfrak{M}, f, z} \right)} \right| = \infty $$ holds almost everywhere on γ.     

On the convergence rate of the partial sums of positive entire Dirichlet series

Пусть Λ=(λ_n) — возрастаю щая к+∞ последователь ность неотрицательных чис ел, λ₀=0, а S₊(Λ) — класс абсолют но сходящихся в С рядо в Дирихле вида $$F\left( z \right) = \mathop \sum \limits_{k = 0}^\infty a_k \exp \left\{ {z\lambda _k } \right\},$$ где a₀=1 и a_k>0 (k∈N). Положим $$\begin{gathered} S_n \left( z \right) = \mathop \sum \limits_{k = 1}^\infty a_k \exp \left\{ {z\lambda _k } \right\}, \hfill \\ \sigma _n \left( F \right) = \max \left\{ {\frac{1}{{S_n \left( x \right)}} - \frac{1}{{F\left( x \right)}}:x \in R} \right\}. \hfill \\ \end{gathered} $$ Доказано, что для того, чтобы для любой функц ии F∈S₊(Λ) выполнялось равенст во $$\mathop {\lim \sup }\limits_{n \to \infty } \frac{1}{{\ln n}}\ln \frac{1}{{\sigma _n \left( F \right)}} = + \infty ,$$ необходимо и достато чно, чтобы $$\mathop \sum \limits_{n = 1}^\infty \frac{1}{{n\lambda _n }}< + \infty .$$ Аналогичные результ ы получены для различ ных подклассов классаS ₊ (Λ), определяемых условиями на убывани е коэффициентова _n.     

Lower bounds for the modulus of the logarithmic derivative of a polynomial

Estimates are given for the measure of a section of an arbitrary straight line of the set $$E_\delta = \left\{ {z:\left| {P' {{\left( z \right)} \mathord{\left/ {\vphantom {{\left( z \right)} {\left( {nP \left( z \right)} \right)}}} \right. \kern-\nulldelimiterspace} {\left( {nP \left( z \right)} \right)}} \leqslant \delta } \right|} \right\} \left( {\delta > 0} \right)$$ where P (z) is a polynomial of degree n. THEOREM. Suppose P (x) = (x ? x₁) ... (x ? x_n) is a polynomial with real zeros. Then, for any δ > 0, on any intervala ?x ?b, containing all of the x_k (k=1, 2, ..., n), outside an exceptional set E_δ?[a,b] such that $$mes E_\delta \leqslant \left( {\sqrt {1 + \delta ^2 \left( {b - a} \right)^2 } - 1} \right)/\delta $$ , we have the inequality $$\left| {P' {{\left( x \right)} \mathord{\left/ {\vphantom {{\left( x \right)} {\left( {nP \left( x \right)} \right)}}} \right. \kern-\nulldelimiterspace} {\left( {nP \left( x \right)} \right)}}} \right| > \delta $$ . A similar estimate is given for polynomials whose roots lie either in Imz ? 0 or in Imz ? 0.     

Kriterien in der Theorie der Gleichverteilung

It is the aim of this paper to introduce two new notions of discrepancy. They are defined by the formulas $$\begin{gathered} \Delta _N^r \left( {\omega ;f} \right) = \mathop {\sup }\limits_{\left| z \right| = r} \left| {\left( {{1 \mathord{\left/ {\vphantom {1 N}} \right. \kern-\nulldelimiterspace} N}} \right)\sum\limits_{n = 1}^N {f\left( {z e^2 \pi i\omega \left( n \right)} \right)} - f\left( 0 \right)} \right|, and \hfill \\ \delta _N^r \left( {\omega ;f} \right) = \mathop {\sup }\limits_{\left| z \right| = r} \left| {\left( {{1 \mathord{\left/ {\vphantom {1 N}} \right. \kern-\nulldelimiterspace} N}} \right)\sum\limits_{n = 1}^N {f\left( {z \omega \left( n \right)} \right)} \cdot z - \int\limits_0^z {f\left( \zeta \right)d\zeta } } \right|, \hfill \\ \end{gathered} $$ wheref is a holomorphic function defined in the unit disc withf ^(k) (0)≠0 for allk∈?,r<1 is a positive number, and ω is a sequence in [0, 1]. The first of these discrepancies can be generalized for multidimensional sequences. ω is uniform distributed if and only if lim _N→∞ Δ _N ^r (ω;f)=0 resp. lim _N→∞δ _N ^r (ω;f)=0. These results are proved in a quantitative way by estimating the classical discrepancyD _N (ω) by means ofΔ _N ^r (ω;f) and δ _N ^r (ω;f): $$\begin{gathered} \Delta _N^r \left( {\omega ;f} \right) \ll D_N \left( \omega \right) \ll \Phi \left( {\Delta _N^r \left( {\omega ;f} \right)} \right), \hfill \\ \delta _N^r \left( {\omega ;f} \right) \ll D_N \left( \omega \right) \ll \Psi \left( {\delta _N^r \left( {\omega ;f} \right)} \right). \hfill \\ \end{gathered} $$ The functions Φ and Ψ only depend onf andr. These estimations are based on the inequalities ofKoksma-Hlawka andErdös-Turán.     

Weighted approximation of entire functions of exponential type of several variables by trigonometric polynomials

Letf be an entire function (in Cⁿ) of exponential type for whichf(x)=0(?(x)) on the real subspace \(\mathbb{R}^w (\phi \geqslant 1,{\mathbf{ }}\mathop {\lim }\limits_{\left| x \right| \to \infty } \phi (x) = \infty )\) and ?δ>0?C_δ>0 $$\left| {f(z)} \right| \leqslant C_\delta \exp \left\{ {h_s (y) + S\left| z \right|} \right\},z = x + iy$$ where h, (x)=sup〈3, x〉, S being a convex set in ?ⁿ. Then for any ?, ?>0, the functionf can be approximated with any degree of accuracy in the form p→ \(\mathop {\sup }\limits_{x \in \mathbb{R}^w } \frac{{\left| {P(x)} \right|}}{{\varphi (x)}}\) by linear combinations of functions x→expi〈λx〉 with frequenciesX belonging to an ?-neighborhood of the set S.     

Congruences involving generalized central trinomial coefficients

For integers b and c the generalized central trinomial coefficient Tn(b,c)denotes the coefficient of xnin the expansion of(x2+bx+c)n.Those Tn=Tn(1,1)(n=0,1,2,...)are the usual central trinomial coefficients,and Tn(3,2)coincides with the Delannoy number Dn=n k=0n k n+k k in combinatorics.We investigate congruences involving generalized central trinomial coefficients systematically.Here are some typical results:For each n=1,2,3,...,we have n-1k=0(2k+1)Tk(b,c)2(b2-4c)n-1-k≡0(mod n2)and in particular n2|n-1k=0(2k+1)D2k;if p is an odd prime then p-1k=0T2k≡-1p(mod p)and p-1k=0D2k≡2p(mod p),where(-)denotes the Legendre symbol.We also raise several conjectures some of which involve parameters in the representations of primes by certain binary quadratic forms.     

L 1 decay properties for a semilinear parabolic system

This article is concerned with the decay property in theL ¹ norm ast»∞ of the nonnegative solutions of the initial value problem in ? ⁿ $\left\{ {\begin{array}{*{20}c} {u_t = \Delta u + \mu |\nabla \upsilon |^q } \\ {\upsilon _t = \Delta \upsilon + \upsilon |\nabla \upsilon |^p } \\ \end{array} } \right.$ for different values of the parametersp, q≥1 and when μ, ν<0. If $pq > \frac{{\inf \left( {p,q} \right)}}{{n + 1}} + \left( {n + 2} \right)/\left( {n + 1} \right)$ then lim _t→∞∥u(t)+v(t)∥₁>0 and when $pq< \frac{{\inf \left( {p,q} \right)}}{{n + 1}} + \left( {n + 2} \right)/\left( {n + 1} \right)$ then lim _t→∞∥u(t)+v(t)∥₁>0.     

The maximal variation of a bounded martingale

Let \(\chi _0^n = \left\{ {X_t } \right\}_0^n \) be a martingale such that 0≦X_i≦1;i=0, …,n. For 0≦p≦1 denote by ? _p ⁿ the set of all such martingales satisfying alsoE(X₀)=p. Thevariation of a martingale χ ₀ ⁿ is denoted byV ₀ ⁿ and defined by \(V(\chi _0^n ) = E\left( {\sum {_{l = 0}^{n - 1} } \left| {X_{l + 1} - X_l } \right|} \right)\) . It is proved that $$\mathop {\lim }\limits_{n \to \infty } \left\{ {\mathop {Sup}\limits_{x_0^n \in \mathcal{M}_p^n } \left[ {\frac{1}{{\sqrt n }}V(\chi _0^n )} \right]} \right\} = \phi (p)$$ , where ?(p) is the well known normal density evaluated at itsp-quantile, i.e. $$\phi (p) = \frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi _p^2 ) where \int_{ - \alpha }^{x_p } {\frac{1}{{\sqrt {2\pi } }}\exp ( - \frac{1}{2}\chi ^2 )} dx = p$$ . A sequence of martingales χ ₀ ⁿ ,n=1,2, … is constructed so as to satisfy \(\lim _{n \to \infty } (1/\sqrt n )V(\chi _0^n ) = \phi (p)\) .     

Convergence of biorthogonal series in the system of contractions and translations of functions in the spaces L p [0, 1]

We obtain conditions for the convergence in the spaces L ^p [0, 1], 1 ≤ p < ∞, of biorthogonal series of the form $$ f = \sum\limits_{n = 0}^\infty {(f,\psi _n )\phi _n } $$ in the system {? _n } _n≥0 of contractions and translations of a function ?. The proposed conditions are stated with regard to the fact that the functions belong to the space $ \mathfrak{L}^p $ of absolutely bundleconvergent Fourier-Haar series with norm $$ \left\| f \right\|_p^ * = \left| {f,\chi _0 } \right| + \sum\limits_{k = 0}^\infty {2^{k({1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2} - {1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p})} } \left( {\sum\limits_{n = 2^k }^{2^{k + 1} - 1} {\left| {f,\chi _n } \right|^p } } \right)^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}} , $$ where (f,χ _n ), n = 0, 1, ..., are the Fourier coefficients of a function f ? L ^p [0, 1] in the Haar system {χ _n } _n≥0. In particular, we present conditions for the system {? _n } _n≥0 of contractions and translations of a function ? to be a basis for the spaces L ^p [0, 1] and $ \mathfrak{L}^p $ .     

On a linear combination of some expressions in the theory of the univalent functions

LetH(α) denote the class of regular functionsf(z) normalized so thatf(0)=0 andf′(0)=1 and satisfying in the unit discE the condition $$\operatorname{Re} \left\{ {(1 - \alpha )f'(z) + \alpha (1 + zf''(z)/f'(z))} \right\} > 0$$ for fixed α. It is known thatH(0) is a particular class NW of close-to-convex univalent functions. The authors show the following results:Theorem 1. Letf(z)∈H(α). Thenf(z)∈NW if α≤0 andz∈E.Theorem 2. Letf(z)∈NW. Thenf(z)∈H(α) in |z|=r<r _α where i) \(r_\alpha = (1 + \sqrt {2\alpha } )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}\) , α≥0 and ii) \(r_\alpha = \sqrt {\frac{{1 - \alpha - \sqrt {\alpha (\alpha - 1)} }}{{1 - \alpha }}}\) , α<0. All results are sharp.Theorem 3. Iff(z)=z+a ₂ z ²+a ₃ z ³+... is inH(α) and if μ is an arbitrary complex number, then $$\left| {1 + \alpha } \right|\left| {a_3 - \mu a_2^2 } \right| \leqslant ({2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3})\max \left[ {1,\left| {1 + 2\alpha - {3 \mathord{\left/ {\vphantom {3 {2\mu }}} \right. \kern-\nulldelimiterspace} {2\mu }}(1 + \alpha )} \right|} \right].$$ .     

Представление целых функций рядами по фун кциям Миттаг-Леффлера

The class \(B_{\varrho _1 } \) is introduced and thoroughly studied in the paper. By definition,H∈ \(B_{\varrho _1 } \) if there exist sequences {А _n } and {μ _n }, ¦μ _n ¦ ↑ ∞ (depending onH(?)) such that $$\mathop {\lim \sup }\limits_{t \to \infty } \frac{{\ln \Phi \left( {re^{i\varphi } } \right)}}{{r^{\varrho _1 } }} = H\left( \varphi \right), \Phi \left( z \right) = \mathop \Sigma \limits_{k = 1}^\infty \left| {A_k E_\varrho \left( {\lambda _k z} \right)} \right|,$$ whereE _? (z) is a Mittag—Leffler function and? ₁>?>1/2. The significance of the class \(B_{\varrho _1 } \) is confirmed by the following theorem. For each functionH∈ \(B_{\varrho _1 } \) there exists a sequence {λ _n } with the following property: every entire functionF(z) of order? ₁ with the growth indicatorh _F (?)< <H(?) can be expanded into the series $$F\left( z \right) = \mathop \Sigma \limits_{n = 1}^\infty a_n E_\varrho \left( {\lambda _n z} \right),$$ furthermore, $$\mathop {\lim sup}\limits_{r \to \infty } \frac{{\ln \Phi \left( {re^{i\varphi } } \right)}}{{r^{\varrho 1} }}< H\left( \varphi \right), \Phi \left( z \right) = \mathop \Sigma \limits_{n = 1}^\infty \left| {a_n E_\varrho \left( {\lambda _n z} \right)} \right|.$$ The coefficientsa _n are explicitly defined. The results were previously announced by the author inDokl. AN SSSR,264 (1982), 1313–1315.     

Boundedness and compactness of an integral operator in a mixed norm space on the polydisk

We study the following integral type operator

$T_g (f)(z) = \int\limits_0^{z_{} } { \cdots \int\limits_0^{z_n } {f(\zeta _1 , \ldots ,\zeta _n )} g(\zeta _1 , \ldots ,\zeta _n )d\zeta _1 , \ldots ,\zeta _n } $

in the space of analytic functions on the unit polydisk U ⁿ in the complex vector space ?ⁿ. We show that the operator is bounded in the mixed norm space

Open image in new window

, with p, q ∈ [1, ∞) and α = (α₁, …, α_n), such that α_j > ?1, for every j = 1, …, n, if and only if \(\sup _{z \in U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| < \infty \). Also, we prove that the operator is compact if and only if \(\lim _{z \to \partial U^n } \prod\nolimits_{j = 1}^n {\left( {1 - \left| {z_j } \right|} \right)} \left| {g(z)} \right| = 0\).

     

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 best polynomial approximation of entire transcendental functions in banach spaces. I

We study the behavior of the best approximationsE _n (?) _p of entire transcendental functions ?(z) of the order ρ=∞ by polynomials of at mostn th degree in the metric of the Banach space E′_p(Ω) of functions /tf(z) analytic in a bounded simply connected domain Ω with rectifiable Jordan boundary and such that $$\left\| f \right\|_{E'_p } = \left\{ {\iint_\Omega {\left| {f\left( z \right)} \right|^p }dxdy} \right\}^{{1 \mathord{\left/ {\vphantom {1 p}} \right. \kern-\nulldelimiterspace} p}}< \infty $$ . In particular, we describe the relationship between the best approximationsE _n (?)_p and theq-order andq-type of the function ?(z).     

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.     

An embedding theorem for a weighted space of Sobolev type and correct solvability of the Sturm-Liouville equation

We consider the weighted space W ₁ ⁽²⁾ (?,q) of Sobolev type $$W_1^{(2)} (\mathbb{R},q) = \left\{ {y \in A_{loc}^{(1)} (\mathbb{R}):\left\| {y''} \right\|_{L_1 (\mathbb{R})} + \left\| {qy} \right\|_{L_1 (\mathbb{R})} < \infty } \right\} $$ and the equation $$ - y''(x) + q(x)y(x) = f(x),x \in \mathbb{R} $$ Here f ε L ₁(?) and 0 ? q ∈ L ₁ ^loc (?). We prove the following:

1. The problems of embedding W ₁ ⁽²⁾ (?q) ? L ₁(?) and of correct solvability of (1) in L ₁(?) are equivalent
2. an embedding W ₁ ⁽²⁾ (?,q) ? L ₁(?) exists if and only if $$\exists a > 0:\mathop {\inf }\limits_{x \in R} \int_{x - a}^{x + a} {q(t)dt > 0} $$

     

Bounded starlike functions of complex order

LetF(b, M) (b ≠ 0 complex,M>1/2) denote the class of functionsf(z) =z + Σ _n=2 ^∞ a _n z ⁿ analytic in U={z:|z|<1} which satisfy for fixedM, f(z)/z ≠ 0 inU and \(\left| {\frac{{b - 1 + \left[ {zf'{{\left( z \right)} \mathord{\left/ {\vphantom {{\left( z \right)} {f\left( z \right)}}} \right. \kern-0em} {f\left( z \right)}}} \right]}}{b} - M} \right|< M, z \in U\) . In this note we obtain various representations for functions inF(b, M). We maximize |a₃=μa ₂ ² | over the classF(b, M). Also sharp coefficient bounds are established for functions inF(b, M). We also obtain the sharp radius of starlikeness of the classF(b, M).