A new inequality for entire functions

We prove that, if f(z) is an entire function and ¦f(z)¦ (A₁ + A₂ ¦z¦ⁿ) exp[ax² + by² + cx + dy], then there are numbers C₁, C₂ 0, depending only on n, A₁, A₂, a, b, c, and d such that ¦f′(z)¦ (C₁ + C₂ ¦z¦^{n + 1}) exp(ax² + by² + cx + dy).     

Finite Left-Distributive Algebras and Embedding Algebras

We consider algebras with one binary operation · and one generator (monogenic) and satisfying the left distributive lawa·(b·c)=(a·b)·(a·c). One can define a sequence of finite left-distributive algebrasA_n, and then take a limit to get an infinite monogenic left-distributive algebraA_∞. Results of Laver and Steel assuming a strong large cardinal axiom imply thatA_∞is free; it is open whether the freeness ofA_∞can be proved without the large cardinal assumption, or even in Peano arithmetic. The main result of this paper is the equivalence of this problem with the existence of a certain algebra of increasing functions on natural numbers, called anembedding algebra. Using this and results of the first author, we conclude that the freeness ofA_∞is unprovable in primitive recursive arithmetic.     

On meromorphic univalent functions omitting a disc

The class Σ_b is defined to consist of meromorphic univalent functionsH omitting a disc with the radiusb:H(z)=z+ Σ ₀ ^∞ A _n z ⁻ⁿ ,z>1,H(b)>b ∈ (0, 1). By aid of FitzGerald inequalities the inverse coefficients of odd Σ_b-functions are maximized. The result extends the corresponding estimation, due to Netanyahu and Schober, fromb=0 to the whole interval (0, 1). The author wishes to express her gratitude to Professor O. Tammi for valuable discussions connected with the problem. This work was supported by a grant from the Finnish Ministry of Education.     

A note on Sobolev orthogonality for Laguerre matrix polynomials

Let {Ln(A,λ)(x)}n≥0 be the sequence of monic Laguerre matrix polynomials defined on [0, ∞) by Ln(A,λ)(x)=n!/(-λ)n∑nk=0(-λ)κ/k!(n-1)! (A I)n[(A I)k]-1 xk,where A ∈ Cr×r. It is known that {Ln(A,λ)(x)}n≥0 is orthogonal with respect to a matrix moment functional when A satisfies the spectral condition that Re(z) ＞ - 1 for every z ∈σ(A).In this note we show that forA such that σ(A) does not contain negative integers, the Laguerre matrix polynomials Ln(A,λ) (x) are orthogonal with respect to a non-diagonal SobolevLaguerre matrix moment functional, which extends two cases: the above matrix case and the known scalar case.     

Eigenfunctions and associated functions of an n-th-order linear differential operator

For n2 we consider a differential operatorL [y] z ⁿ y ⁽ⁿ⁾ +P ₁(z)z ^n–1 y ^(n–1) +P ₂ (z)z ^n–2 y ^n–2 + ...+P _n (z)y = y, p ₁ (z), ..., P _n (z) A _R : here a_r is the space of functions which are analytic in the disk ¦z¦ < R, equipped with the topology of compact convergence. We prove the existence of sequences {f_k(z)} _k =o, consisting of a finite number of associated functions of the operator L and an infinite number of its eigenfunctions; we show that the sequence forms a basis in A_r for an arbitrary r, 0 < r <- R; and we establish some additional properties of the sequence ₀ (z), ₁ (z),..., _d–1 (z), f _d (z), f _d+1 (z),... Translated from Matematicheskie Zametki, Vol. 20, No. 6, pp. 869–878, December, 1976.     

Inequalities for a Polynomial and Its Derivative II

A well-known result of Rivlin states that if p(z) is a polynomial of degree n, such that p(z) ≠ 0 in |z| < 1, then max_{|z|=r < 1} |p(z)| ≤ ((r + 1)/2)ⁿ max_{|z| = 1} |p(z)|. In this paper, we consider the polynomial p(z) = a₀ + Σⁿ_{v = μ}a_υz^υ having all its zeros in |z| ≤ k > 1 and obtain a generalization of this result. Our result improves upon a result recently proved by Bidkham and Dewan (J. Math. Anal. Appl.166 (1992), 19-324).     

New Findings on the Bank–Sauer Approach in Oscillation Theory

In 1988, S. Bank showed that if {z _n } is a sparse sequence in the complex plane, with convergence exponent zero, then there exists a transcendental entire A(z) of order zero such that f″+A(z)f=0 possesses a solution having {z _n } as its zeros. Further, Bank constructed an example of a zero sequence {z _n } violating the sparseness condition, in which case the corresponding coefficient A(z) is of infinite order. In 1997, A. Sauer introduced a condition for the density of the points in the zero sequence {z _n } of finite convergence exponent such that the corresponding coefficient A(z) is of finite order.     

Rate of decay of weakly lacunary series

Let function f(z) ≠ 0 be analytic in the unit disk and have sparse nonzero Taylor coefficients. Then the rate of decay of the function f as x → 1 − 0 depends on the rate of sparseness of its nonzero Taylor coefficients. In this paper, we consider the case f(z) = $ \sum\nolimits_{k = 0}^\infty {a_k z^{n_k } } $ \sum\nolimits_{k = 0}^\infty {a_k z^{n_k } } , where n _k ≥ A ₀(k + 2) ^p logb(k + 2).     

Complex Roots of a Random Algebraic Polynomial

This paper, for any constantK, provides an exact formula for the average density of the distribution of the complex roots of equation η₀ + η₁z + η₂z² + ··· + η_{n − 1}z^{n − 1} = Kwhere η_j = a_j + ib_jand {a_j}^{n − 1}_{j = 0}and {b_j}^{n − 1}_{j = 0}are sequences of independent identically and normally distributed random variables andKis a complex number withKas its real and imaginary parts. The case of real roots of the above equation with real coefficients andK,z Ris well known. Further we obtain the limiting behaviour of this distribution function asntends to infinity.     

Characterization of polyanalytic functions by meromorphic extensions from chains of circles

Let C _t = {z ∈ ℂ: |z − c(t)| = r(t), t ∈ (0, 1)} be a C ¹-family of circles in the plane such that lim _t→0+ C _t = {a}, lim _t→1− C _t = {b}, a ≠ b, and |c′(t)|² + |r′(t)|² ≠ 0. The discriminant set S of the family is defined as the closure of the set {c(t) + r(t)w(t), t ∈ [0, 1]}, where w = w(t) is the root of the quadratic equation ̅c′(t)w ² + 2r′(t)w + c′(t) = 0 with |w| < 1, if such a root exists.     

Quadratic Hermite–Padé polynomials associated with the exponential function

The asymptotic behavior of quadratic Hermite–Padé polynomials associated with the exponential function is studied for n→∞. These polynomials are defined by the relation

(*)

p_n(z)+q_n(z)e^z+r_n(z)e^2z=O(z³ⁿ⁺²) as z→0,

where O(·) denotes Landau's symbol. In the investigation analytic expressions are proved for the asymptotics of the polynomials, for the asymptotics of the remainder term in (*), and also for the arcs on which the zeros of the polynomials and of the remainder term cluster if the independent variable z is rescaled in an appropriate way. The asymptotic expressions are defined with the help of an algebraic function of third degree and its associated Riemann surface. Among other possible applications, the results form the basis for the investigation of the convergence of quadratic Hermite–Padé approximants, which will be done in a follow-up paper.     

A generalized numerical range: the range of a constrained sesquilinear form

Let M_n denote the algebra of all nxn complex matrices. For a given q?C with ∣Q∣≤1, we define and denote the q-numerical range of A?M_n by

W_q (A)={x ^? Ay:x,y?C ⁿ , _{x ^? x?y ^? y=1,x ^? y=q} }

The q-numerical radius is then given by r_q (A)=sup{∣z∣:z?W _q (A)}. When q=1,W _q (A) and r _q (A) reduce to the classical numerical range of A and the classical numerical radius of A, respectively. when q≠0, another interesting quantity associated with W _q (A) is the inner q-numerical radius defined by [rtilde] _q (A)=inf{∣z∣:z?W _q (A)}

In this paper, we describe some basic properties of W _q (A), extending known results on the classical numerical range. We also study the properties of r_q considered as a norm (seminorm if q=0) on M_n .Finally, we characterize those linear operators L on M_n that leave W_q ,r_q of [rtilde]_q invariant. Extension of some of our results to the infinite dimensional case is discussed, and open problems are mentioned.     

Results of Hurwitz Type for Five or More Squares

Let r _k(n) denote the number of representations of n as a sum of k squares. We give many cases (for k = 5, 6, 7) in which the generating function _n0 r _k(an + b)q ⁿ is a simple infinite product. For instance,

Examples of amalgamated products

The rank of a groupG is the minimal number of elements that generateG. For any natural numbern we construct two groups,G ₁ of rankr(G ₁)=n andG ₂ of rankr(G ₂)=2n such that their amalgamated product over an infinite cyclic subgroup, malnormal in both factors, is generated by 2n=r(G ₁)+r(G ₂)−n elements. We also consider an example of an amalgamated product ofn factors: such thatr(G)=n +1, andr(A)≥1. This example realizes the lower bound given by Weidmann [W1] (see Theorem 2 in the present paper).     

Minimum asymptotic error of algorithms for solving ODE

We deal with algorithms for solving systems z′(x) = f(x, z(x)), x ε [0, c], z(0) = η where f has r continuous bounded derivatives in [0, c) × ^s. We consider algorithms whose sole dependence on f is through the values of n linear continuous functionals at f. We show that if these functionals are defined by partial derivatives off then, roughly speaking, the error of an algorithm (for a fixed f) cannot converge to zero faster than n^−r as n → +∞. This minimal error is achieved by the Taylor algorithm. If arbitrary linear continuous functionals are allowed, then the error cannot converge to zero faster than n^−(r+1) as n → +∞. This minimal error is achieved by the Taylor-integral algorithm which uses integrals of f.     

THE EXTREME POINTS OF SEVERAL CLASSES OF ANALYTIC FUNCTIONS

1Intr0ducti0nLetAden0tethesetofallfunctionsanalyticinA={z:Izl<1}.LetB={W:WEAandIW(z)l51}.Aisalocallyconvexlineaztop0l0gicalspacewithrespecttothetopologyofuniformconvergenceon`c0mpact8ubsetsofA-LetTh(c1,'tc.-1)={p(z):p(z)EA,Rop(z)>0,p(z)=1 clz czzz ' c.-lz"-l 4z" ',wherecl,',cn-1areforedcomplexconstants}.LetTh,.(b,,-..,b,-,)={p(z):P(z)'EAwithReP(z)>Oandp(z)=1 blz ' b.-lz"-l 4z" '-,wherebl,-'-jbu-1areffeedrealconstantsanddkarerealnumbersf0rk=n,n 1,'--}-LetTu(l1,'i'tI.-1)={…     

On the equivalence of the Euler-Pommier operators in spaces of analytic functions

In the space A (θ) of all one-valued functions f(z) analytic in an arbitrary region G ? ? (0 ∈ G) with the topology of compact convergence, we establish necessary and sufficient conditions for the equivalence of the operators L ₁=α _n z ⁿ Δ ⁿ + ... + α₁ zΔ+α₀ E and L ₂= z ⁿ a _n (z)Δ ⁿ + ... + za ₁(z)Δ+a ₀(z)E, where δ: (Δ?)(z)=(f(z)-?(0))/z is the Pommier operator in A(G), n ∈ ?, α _n ∈ ?, a _k (z) ∈ A(G), 0≤k≤n, and the following condition is satisfied: Σ _j=s ^n?1 α _j+1 ∈ 0, s=0,1,...,n?1. We also prove that the operators z ^s+1Δ+β(z)E, β(z) ∈ A _R , s ∈ ?, and z ^s+1 are equivalent in the spaces A _R, 0?R?-∞, if and only if β(z) = 0.     

On the divisor function of sets with even partition functions

Summary For P∈ F₂[z] with P(0)=1 and deg(P)≧ 1, let A =A(P) be the unique subset of N (cf. [9]) such that Σ_n≧0 p(A,n)zⁿ ≡ P(z) mod 2, where p(A,n) is the number of partitions of n with parts in A. To determine the elements of the set A, it is important to consider the sequence σ(A,n) = Σ _{d|n, d∈A} d, namely, the periodicity of the sequences (σ(A,2^kn) mod 2^k+1)_n≧1 for all k ≧ 0 which was proved in [3]. In this paper, the values of such sequences will be given in terms of orbits. Moreover, a formula to σ(A,2^kn) mod 2^k+1 will be established, from which it will be shown that the weight σ(A₁,2^kz_i) mod 2^k+1 on the orbit <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>z_i$ is moved on some other orbit z_j when A₁ is replaced by A₂ with A₁= A(P₁) and A₂= A(P₂) P₁ and P₂ being irreducible in F₂[z] of the same odd order.     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.