ON A PROBLEM IN COMPLEX OSCILLATION THEORY OF PERIODIC HIGHER ORDER LINEAR DIFFERENTIAL EQUATIONS

In this article, the zeros of solutions of differential equation f(k)(z)+A(z)f(z) = 0, (*) are studied, where k 2, A(z) = B(ez), B(ζ) = g1(1/ζ) + g2(ζ), g1 and g2 being entire functions with g2 transcendental and σ(g2) not equal to a positive integer or infinity. It is shown that any linearly independent solutions f1, f2, . . . , fk of Eq.(*) satisfy λe(f1 . . . fk) ≥σ(g2) under the condition that fj(z) and fj(z+ 2πi) (j = 1, . . . , k) are linearly dependent.     

Exponential polynomials as solutions of certain nonlinear difference equations

Recently, C.-C. Yang and I. Laine have investigated finite order entire solutions f of nonlinear differential-difference equations of the form fn + L(z, f ) = h, where n ≥ 2 is an integer. In particular, it is known that the equation f(z)2 + q(z)f (z + 1) = p(z), where p(z), q(z) are polynomials, has no transcendental entire solutions of finite order. Assuming that Q(z) is also a polynomial and c ∈ C, equations of the form f(z)n + q(z)e Q(z) f(z + c) = p(z) do posses finite order entire solutions. A classification of these solutions in terms of growth and zero distribution will be given. In particular, it is shown that any exponential polynomial solution must reduce to a rather specific form. This reasoning relies on an earlier paper due to N. Steinmetz.     

A NOTE TO THE NEVANLINNA'S FUNDAMENTAL THEOREM

In this paper, the author xtends Nevanlinna's second fundamental theorem and establishes the following inequality:Let p(z, u)=A_v(z)u~v A_1(z)u~(v-1) … A_0(z)be an irreducible two-variable polynomial and f(z) a transcendental entire function, then with(v-1)T(r,f)<(r,1/(p(z,f(z))) S(r,f)withS(r,f)=O(log(rT(r,f)))n, e.where "n. e." means that the estimation holds for all large r with possibly an exceptional set of finite measure when f is of infinite order.     

Universal sums of three quadratic polynomials

Let a,b,c,d,e and f be integers with a≥ c≥ e> 0,b>-a and b≡a(mod 2),d>-c and d≡c(mod 2),f>-e and f≡e(mod 2).Suppose that b≥d if a=c,and d≥f if c=e.When b(a-b),d(c-d) and f(e-f) are not all zero,we prove that if each n∈N={0,1,2,...} can be written as x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x,y,z∈N then the tuple(a,b,c,d,e,f) must be on our list of 473 candidates,and show that 56 of them meet our purpose.When b∈[0,a),d∈[0,c) and f∈[0,e),we investigate the universal tuples(a,b,c,d,e,f) over Z for which any n∈N can be written as x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x,y,z∈Z,and show that there are totally 12,082 such candidates some of which are proved to be universal tuples over Z.For example,we show that any n∈N can be written as x(x+1)/2+y(3y+1)/2+z(5z+1)/2 with x,y,z∈Z,and conjecture that each n∈N can be written as x(x+1)/2+y(3y+1)/2+z(5z+1)/2 with x,y,z∈N.     

Coefficient Estimates for bounded Nonvanishing Functions

Let dnote the class of all functions f(z)=sum from n=0 to ∞(a_nz~n)analytic and satisfying O<|f(z)|<1 in|z|<1.Denote A_n=sup|a_n|.It is easy to prove that A_0=1 and A_1=2/e.In 1968,Krzyz provedA_2=2/e and conjectured that A_n=2/e for all n≥1 and the equality was attained only for functionse~(iα)F(e~(iβ)z~n),where F(z)=exp[(z-1)/(z+1)]=1/e+(2/e)z-(2/3e)z~3+….In 1977,Hummel,Scheinberg andZalcman proved A_3=2/e.     

Some properties for certain classes of univalent functions defined by differential inequalities

Let A be the space of functions analytic in the unit disk D = {z:|z| 1}.Let U denote the set of all functions f ∈ A satisfying the conditions f(0) = f'(0)-1 = 0 and|f'(z)(z/f(z))~2-1|1(|z|1).Also,let Ω denote the set of all functions f ∈ A satisfying the conditions f(0) = f'(0)-1 = 0and|zf'(z)-f(z)|1/2(|z|1).In this article,we discuss the properties of U and Ω.     

Entire functions sharing one small function CM with their shifts and difference operators

In this article, we mainly devote to proving uniqueness results for entire functions sharing one small function CM with their shift and difference operator simultaneously. Let f(z) be a nonconstant entire function of finite order, c be a nonzero finite complex constant,and n be a positive integer. If f(z), f(z + c), and ?_c~n f(z) share 0 CM, then f(z + c) ≡ Af(z),where A(= 0) is a complex constant. Moreover, let a(z), b(z)( ≡ 0) ∈ S(f) be periodic entire functions with period c and if f(z)-a(z), f(z + c)-a(z), ?_c~n f(z)-b(z) share 0 CM, then f(z + c) ≡ f(z).     

Factorization of Some Meromorphic Functions of Infinite Order

1. Introduction and Main Results A Meromorphic function F(z) is said to have a non-trivial factorizationwith left factor f and right factor g, if(1) F(z)=f(g(z)),where f is a non-linear meromorphic function and g is a non-linear entire     

ON PRIMALITY OF THE COMBINATION OF EXPONENTIAL FUNCTIONS

The author discusses in this paper the transcendental unsolvability of the functionalequation F(z)=fog(z) with f being meromorphic and g entire,for the function of theformwhere Q_j's are rational,P_j's are polynomials. The main results are:a) F(z) is pseudo-prime, i. e. F=fog has no transcendental solutions f and g;b)If 0≤n_1相似文献   

On Multivalent Functions with Negative and Missing Coefficients

Let P_k(p, A, B) be the class of functions f(z) = z~p-sum from n=k to ∞(|α_(n+′p|Z~((n+)~-)p) k≥2 analytic in the unit disc E={z:|z|<1} and satisfying the condition |(zf′(z)/f(z)-p)/(Ap-Bzf (z)/f(z))|<1. for z∈E and -1≤B相似文献   

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

WAVELET ESTIMATION IN NONPARAMETRIC MODEL UNDER MARTINGALE DIFFERENCE ERRORS

§1　IntroductionConsider the following heteroscedastic regression model:Yi =g(xi) +σiei,　1≤i≤n,(1.1)whereσ2i=f(ui) ,(xi,ui) are nonrandom design points,0≤x0 ≤x1 ≤...≤xn=1and0≤u0≤u1 ≤...≤un=1,Yi are the response variables,ei are random errors,and f(·) andg(·) are unknown functions defined on closed interval[0 ,1] .It is well known thatregression model has many applications in practical problems,sothe model (1.1) and its special cases have been studied extensively. For instance,…     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities are finite for all if and only if ∂Ω and ∂Π do not contain isolated points. This work was supported by a grant of the Deutsche Forschungsgemeinschaft for F. G. Avkhadiev.     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

Norm conditions for real-algebra isomorphisms between uniform algebras

Let A and B be uniform algebras. Suppose that α ≠ 0 and A ₁ ⊂ A. Let ρ, τ: A ₁ → A and S, T: A ₁ → B be mappings. Suppose that ρ(A ₁), τ(A ₁) and S(A ₁), T(A ₁) are closed under multiplications and contain expA and expB, respectively. If ‖S(f)T(g) − α‖_∞ = ‖ρ(f)τ(g) − α‖_∞ for all f, g ∈ A ₁, S(e ₁)⁻¹ ∈ S(A ₁) and S(e ₁) ∈ T(A ₁) for some e ₁ ∈ A ₁ with ρ(e ₁) = 1, then there exists a real-algebra isomorphism $ \tilde S $ \tilde S : A → B such that $ \tilde S $ \tilde S (ρ(f)) = S(e ₁)⁻¹ S(f) for every f ∈ A ₁. We also give some applications of this result.     

On the iteration of holomorphic self-maps of ℂ*

Letf be a holomorphic self-map of the punctured plane ℂ^*=ℂ\{0} with essentially singular points 0 and ∞. In this note, we discuss the setsI ₀(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞} andI _∞(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞}. We try to find the relation betweenI ₀(f),I _∞(t) andJ(f). It is proved that both the boundary ofI ₀(f) and the boundary ofI _∞)f) equal toJ(f),I ₀(f) ∩J(f) ≠ θ andI _∞(f) ∩J(f) ≠ θ. As a consequence of these results, we find bothI ₀(f) andI _∞(f) are not doubly-bounded. Supported by the National Natural Science Foundation of China     

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.     

A generalization of peripherally-multiplicative surjections between standard operator algebras

Let A and B be standard operator algebras on Banach spaces X and Y, respectively. The peripheral spectrum σ_π (T) of T is defined by σ_π (T) = z ∈ σ(T): |z| = max_w∈σ(T) |w|. If surjective (not necessarily linear nor continuous) maps φ, ϕ: A → B satisfy σ_π (φ(S)ϕ(T)) = σ_π (ST) for all S; T ∈ A, then φ and ϕ are either of the form φ(T) = A ₁ TA ₂ ⁻¹ and ϕ(T) = A ₂ TA ₁ ⁻¹ for some bijective bounded linear operators A ₁; A ₂ of X onto Y, or of the form φ(T) = B ₁ T*B ₂ ⁻¹ and ϕ(T) = B ₂ T*B ⁻¹ for some bijective bounded linear operators B ₁;B ₂ of X* onto Y.      

On Homogeneous Differential Polynomials of Meromorphic Functions

In this paper, we study one conjecture proposed by W. Bergweiler and show that any transcendental meromorphic functions f(z) have the form exp(αz+β) if f(z)f″(z)–a(f′ (z))²≠0, where . Moreover, an analogous normality criterion is obtained. Supported by National Natural Science Foundation and Science Technology Promotion Foundation of Fujian Province (2003)     

Oscillation of Solutions of Linear Differential Equations

This paper is devoted to studying the growth problem, the zeros and fixed points distribution of the solutions of linear differential equations f″＋e^-zf′＋Q（z）f=F（z）,whereQ（z）≡h（z）e^cz and c∈R.