On transcendental entire functions with infinitely many derivatives taking integer values at two points

From MaRDI portal
(Redirected from Publication:825875)



Abstract: Given a subset S=s0,s1 of the complex plane with two points and an infinite subset mathscrS of SimesmathbbN, where mathbbN=0,1,2,dots is the set of nonnegative integers, we ask for a lower bound for the order of growth of a transcendental entire function f such that f(n)(s)inmathbbZ for all (s,n)inmathscrS. We first take mathscrS=s0,s1imes2mathbbN, where 2mathbbN=0,2,4,dots is the set of nonnegative even integers. We prove that an entire function f of sufficiently small exponential type such that f(2n)(s0)inmathbbZ and f(2n)(s1)inmathbbZ for all sufficiently large n must be a polynomial. The estimate we reach is optimal, as we show by constructing a noncountable set of examples. The main tool, both for the proof of the estimate and for the construction of examples, is Lidstone polynomials. Our second example is (s0imes(2mathbbN+1))cup(s1imes2mathbbN) (odd derivatives at s0 and even derivatives at s1). We use analogs of Lidstone polynomials which have been introduced by J.M.~Whittaker and studied by I.J.~Schoenberg. Finally, using results of W.~Gontcharoff, A. J.~Macintyre and J.M.~Whittaker, we prove lower bounds for the exponential type of a transcendental entire function f such that, for each sufficiently large n, one at least of the two numbers f(n)(s0), f(n)(s1) is in mathbbZ.












This page was built for publication: On transcendental entire functions with infinitely many derivatives taking integer values at two points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q825875)