On the finite-increment theorem for complex polynomials

For an arbitrary polynomial P of degree at most n and any points z ₁ and z ₂ on the complex plane, we establish estimates of the form $$ \left| {P(z_1 ) - P(z_2 )} \right| \geqslant d_n \left| {P'(z_1 )} \right|\left| {z_1 - \zeta } \right| $$ , where ζ is one of the roots of the equation P(z) = P(z ₂), and d _n is a positive constant depending only on the number n.     

Some generalizations involving the polar derivative for an inequality of Paul Turán

Let p(z) be a polynomial of degree n and for a complex number α, let D _α p(z) = np(z) + (α-z)p'(z) denote the polar derivative of the polynomial p(z) with respect to α. In this paper, we obtain inequalities for the polar derivative of a polynomial having all its zeros in |z| ≤ K. Our results generalize and sharpen a famous inequality of Turán and some other known results in this direction.     

Further Pieri-type formulas for the nonsymmetric Macdonald polynomial

The branching coefficients in the expansion of the elementary symmetric function multiplied by a symmetric Macdonald polynomial P _?? (z) are known explicitly. These formulas generalise the known r=1 case of the Pieri-type formulas for the nonsymmetric Macdonald polynomials E _?? (z). In this paper, we extend beyond the case r=1 for the nonsymmetric Macdonald polynomials, giving the full generalisation of the Pieri-type formulas for symmetric Macdonald polynomials. The decomposition also allows the evaluation of the generalised binomial coefficients $\tbinom{\eta }{\nu }_{q,t}$ associated with the nonsymmetric Macdonald polynomials.     

An inequality for polynomials with a prescribed zero

Let p_n(z)=∑_(k-0)~n a_kz~k be a polynomial of degree n such that |p_n(z)|≤M for |z|≤1. It is well.known that for 0≤u相似文献   

The support points of several classes of analytic functions with fixed coefficients

Let B denote the set of functions ?(z) that are analytic in the unit disk D and satisfy |?(z)|?1(|z|<1). Let P denote the set of functions p(z) that are analytic in D and satisfy p(0)=1 and Rep(z)>0(|z|<1). Let T denote the set of functions f(z) that are analytic in D, normalized by f(0)=0 and f^′(0)=1 and satisfy that f(z) is real if and only if z is real (|z|<1). In this article we investigate the support points of the subclasses of B, P and T of functions with fixed coefficients.     

A new method of proof of Filippov’s theorem based on the viability theorem

Filippov??s theorem implies that, given an absolutely continuous function y: [t ₀; T] ?? ? ^d and a set-valued map F(t, x) measurable in t and l(t)-Lipschitz in x, for any initial condition x ₀, there exists a solution x(·) to the differential inclusion x??(t) ?? F(t, x(t)) starting from x ₀ at the time t ₀ and satisfying the estimation $$\left| {x(t) - y(t)} \right| \leqslant r(t) = \left| {x_0 - y(t_0 )} \right|e^{\int_{t_0 }^t {l(s)ds} } + \int_{t_0 }^t \gamma (s)e^{\int_s^t {l(\tau )d\tau } } ds,$$ where the function ??(·) is the estimation of dist(y??(t), F(t, y(t))) ?? ??(t). Setting P(t) = {x ?? ? ⁿ : |x ?y(t)| ?? r(t)}, we may formulate the conclusion in Filippov??s theorem as x(t) ?? P(t). We calculate the contingent derivative DP(t, x)(1) and verify the tangential condition F(t, x) ?? DP(t, x)(1) ?? ?. It allows to obtain Filippov??s theorem from a viability result for tubes.     

Hole probability for entire functions represented by Gaussian Taylor series

Consider the Gaussian entire functionf(z) = ?? _n=0 ^?? ?? _n a _n z ⁿ , where {?? _n } is a sequence of independent and identically distributed standard complex Gaussians and {a _n } is some sequence of non-negative coefficients, with a ₀ > 0. We study the asymptotics (for large values of r) of the hole probability for f (z), that is, the probability P _H (r) that f(z) has no zeros in the disk {|z| < r}. We prove that log P _H (r) = ?S(r) + o(S(r)), where S(r) = 2·?? _n??0log⁺(a _n r ⁿ ) as r tends to ?? outside a deterministic exceptional set of finite logarithmic measure.     

An algebraic structure for Faber polynomials

Let Σ be the set of functions, convergent for all |z|>1, with a Laurent series of the form f(z)=z+∑_n?0a_nz^-n. In this paper, we prove that the set of Faber polynomial sequences over Σ and the set of their normalized kth derivative sequences form groups which are isomorphic to the hitting time subgroup and the Bell^(k) subgroup of the Riordan group, respectively. Further, a relationship between such Faber polynomial sequences and Lucas and Sheffer polynomial sequences is derived.     

Extensions of some polynomial inequalities to the polar derivative

Let p(z) be a polynomial of degree n and for any real or complex number α, let Dαp(z)=np(z)+(α−z)p^′(z) denote the polar derivative of the polynomial p(z) with respect to α. In this paper, we obtain inequalities for the polar derivative of a polynomial having all its zeros inside or outside a circle. Our results shall generalize and sharpen some well-known polynomial inequalities.     

Refinement of an inequality of P. L. Chebyshev

Let P _n denote the linear space of polynomials p(z:=Σ _k=0 ⁿ a _k (p)z ^k of degree ≦ n with complex coefficients and let |p|_[?1,1]: = max _x∈[?1,1]|p(x)| be the uniform norm of a polynomial p over the unit interval [?1, 1]. Let t _n ∈ P _n be the n ^th Chebyshev polynomial. The inequality $$ \frac{{\left| p \right|_{\left[ { - 1,1} \right]} }} {{\left| {a_n (p)} \right|}} \geqq \frac{{\left| {t_n } \right|_{\left[ { - 1,1} \right]} }} {{\left| {a_n (t_n )} \right|}},p \in P_n $$ due to P. L. Chebyshev can be considered as an extremal property of the Chebyshev polynomial t _n in P _n . The present note contains various extensions and improvements of the above inequality obtained by using complex analysis methods.     

Composite meromorphic functions and normal families

In this paper, we study the normality of families of meromorphic functions. We prove the result: Let α(z) be a holomorphic function and \({\mathcal{F}}\) a family of meromorphic functions in a domain D, P(z) be a polynomial of degree at least 3. If P ○ f(z) and P ○ g(z) share α(z) IM for each pair \({f(z),g(z)\in \mathcal{F}}\) and one of the following conditions holds: (1) P(z) ? α(z ₀) has at least three distinct zeros for any \({z_{0}\in D}\); (2) There exists \({z_{0}\in D}\) such that P(z) ? α(z ₀) has at most two distinct zeros and α(z) is nonconstant. Assume that β ₀ is a zero of P(z) ? α(z ₀) with multiplicity p and that the multiplicities l and k of zeros of f(z) ? β ₀ and α(z) ? α(z ₀) at z ₀, respectively, satisfy k ≠ lp, for all \({f(z)\in\mathcal{F}}\). Then \({\mathcal{F}}\) is normal in D. In particular, the result is a kind of generalization of the famous Montel criterion.     

Smoothness of solutions of almost hypoelliptic equations

A two-dimensional linear differential operator P(D) = P(D ₁, D ₂) is called almost hypoelliptic if all derivatives D ^α P of the characteristic polynomial P(ζ) = P(ζ ₁, ζ ₂) are estimated by P(ζ). Assuming that {Ω _κ = (x ₁, x ₂) ∈ E ² : |x ₁| < κ, x ₂ ∈ R ¹}, the paper proves that if the width κ of the strip Ω _κ exceeds some C = C(P) > 0, then all solutions {u} of the almost hypoelliptic equation P(D)u = 0 in a Sobolev space are infinitely smooth functions with respect to x ₁.     

The composition operators on weighted Bloch space

We will characterize the boundedness and compactness of the composition operators on weighted Bloch space B _log = { f ? H(D): sup_{z ? D} (1-| z|²) ( log\frac21-| z|² )| f￠(z)| B_{ \log }= \{ f \in H(D): \sup_{z \in D } (1-\left| z\right|^2) \left( \log \frac{2}{1-\left| z\right|^2} \right)\left| f'(z)\right| < +￥} +\infty \} , where H(D) be the class of all analytic functions on D.     

On the radius of α-convexity of certain classes of starlike functions

LetM (α) denote the class of α-convex functions, α real, that is the class of analytic functions? (z) =z + Σ _n=2/^∞ a _n z ⁿ in the unit discD = {z: |z | < 1} which satisfies inD the condition ?′ (z) ?(z)/z ≠ 0 and $$\operatorname{Re} \left\{ {(1 - a) \frac{{z f'(z)}}{{f (z)}} + a \left( {1 + \frac{{z f''(z)}}{{f' (z)}}} \right)} \right\} > 0. Let W (a) $$ denote the class of meromorphic α-convex functions. α real, that is the class of analytic functions ? (z) =z ^?1 + Σ _n=0/^∞ b _n z ⁿ inD* = {z: 0 < |z | < 1} which satisfies inD* the conditionsz?′(z)/?(z) ≠ 0 and $$\operatorname{Re} \left\{ {(1 - a) \frac{{z\phi ' (z)}}{{\phi (z)}} + a \left( {1 + \frac{{z\phi ''(z)}}{{\phi ' (z)}}} \right)} \right\}< 0. $$ In this paper we obtain the relation betweenM (a) and W(α). The radius of α-convexity for certain classes of starlike functions is also obtained.     

Minimal polynomials for compact sets of the complex plane

LetW _N(z)=a_Nz^N+... be a complex polynomial and letT _n be the classical Chebyshev polynomial. In this article it is shown that the polynomials (2a_N)^?n+1T_n(W_N), n ∈N, are minimal polynomials on all equipotential lines for {z∈C:|W _N(z)|≤1 Λ ImW _N(z)=0}     

On a Certain Difference Equation and Its Application to the Moment Problem

We study the difference equation $$\sum\limits_{m_1 ,m_2 } {\Omega [\sigma m_1 ,m_2 (z)] = g(z), z \in D,}$$ where D is the unit square, g(z) ∈ A(D), σ m₁, m₂(z) = z + m ₁ i + m ₂, |m ₁|+|m ₂| = 2, and Ω(z)∈ A(cD) is an unknown function.     

On the asymptotics of the rows of the Padé table of analytic functions with logarithmic branch points

For the functions $ f(z) = \sum\nolimits_{n = 0}^\infty {z^{l_n } } /a_n $ , where l _n and a _n are arithmetic progressions and their Padé approximants π _n,m (z; f), we establish an asymptotics of the decrease of the difference f(z) ? π _n,m (z; f) for the case in which z ∈ D = {z: |z| < 1}, m is fixed, and n → ∞. In particular, we obtain proximate orders of decrease of best uniform rational approximations to the functions ln(1 ? z) and arctan z in the disk D _q = {z: |z| ≤ q < 1}.     

Oscillation of second order quasilinear neutral delay differential equations

In this paper, by employing Riccati transformation technique, some new sufficient conditions for the oscillation criteria are given for the second order quasilinear neutral delay differential equations with delayed argument in the form $$\bigl(r(t)\bigl|z'(t)\bigr|^{\alpha-1}z'(t)\bigr)'+q(t)f\bigl(x\bigl(\sigma(t)\bigr)\bigr)=0,\quad t\geq t_0,$$ where z(t)=x(t)?p(t)x(??(t)), 0??p(t)??p<1, lim _t???? p(t)=p ₁<1, q(t)>0, ??>0. Two examples are considered to illustrate the main results.     

The inverse of a matrix polynomial

An explicit representation is obtained for P(z)^?1 when P(z) is a complex n×n matrix polynomial in z whose coefficient of the highest power of z is the identity matrix. The representation is a sum of terms involving negative powers of z?λ for each λ such that P(λ) is singular. The coefficients of these terms are generated by sequences u_k, v_k of 1×n and n×1 vectors, respectively, which satisfy u₁≠0, v₁≠0, ∑^k?1_h=0(1?h!)u_k?hP^(h)(λ)=0, ∑^k?1_h=0(1?h!)P^(h)(λ)v_k?h=0, and certain orthogonality relations. In more general cases, including that when P(z) is analytic at λ but not necessarily a polynomial, the terms in the representation involving negative powers of z?λ provide the principal part of the Laurent expansion for P(z)^?1 in a punctured neighborhood of z=λ.     

The transcendental meromorphic solutions of a certain type of nonlinear differential equations

In this paper, we study the differential equations of the following form w²+R(z)²(w(k))=Q(z), where R(z), Q(z) are nonzero rational functions. We proved the following three conclusions: (1) If either P(z) or Q(z) is a nonconstant polynomial or k is an even integer, then the differential equation w²+P²(z)²(w(k))=Q(z) has no transcendental meromorphic solution; if P(z), Q(z) are constants and k is an odd integer, then the differential equation has only transcendental meromorphic solutions of the form f(z)=acos(bz+c). (2) If either P(z) or Q(z) is a nonconstant polynomial or k>1, then the differential equation w²+(z−z₀)P²(z)²(w(k))=Q(z) has no transcendental meromorphic solution, furthermore the differential equation w²+A(z−z₀)²(w^′)=B, where A, B are nonzero constants, has only transcendental meromorphic solutions of the form , where a, b are constants such that Ab²=1, a²=B. (3) If the differential equation , where P is a nonconstant polynomial and Q is a nonzero rational function, has a transcendental meromorphic solution, then k is an odd integer and Q is a polynomial. Furthermore, if k=1, then Q(z)≡C (constant) and the solution is of the form f(z)=Bcosq(z), where B is a constant such that B²=C and q^′(z)=±P(z).