We study the asymptotic behavior of the zeros of a family of a certain class of hypergeometric polynomials [GRAPHICS] , using the associated hypergeometric differential equation, as the parameters go to infinity. The curve configuration on which the zeros cluster is characterized as level curves associated with integrals on an algebraic curve. The algebraic curve is the hypergeometrc differential equation, using a similar approach to the method used in Borcea et al. (Publ Res Inst Math Sci 45(2):525-568, 2009). In a specific degenerate case, we make a conjecture that generalizes work in Boggs and Duren (Comput Methods Funct Theory 1(1):275-287, 2001), Driver and Duren (Algorithms 21(1-4):147-156, 1999), and Duren and Guillou (J Approx Theory 111(2):329-343, 2001), and present experimental evidence to substantiate it.

Let alpha(1), ... , alpha(m) be linear functions on C-n and X = C-n \ V(alpha), where alpha = Pi(m)(i=1) alpha(i) and V(alpha) = {p is an element of C-n : alpha(p) = 0}. The coordinate ring O-X = C[x](alpha) of X is a holonomic A(n)-module, where A(n) is the n-th Weyl algebra, and since holonomic A(n)-modules have finite length, O-X has finite length. We consider a twisted variant of this A(n)-module which is also holonomic. Define M-alpha(beta) to be the free rank 1 C[x](alpha)-module on the generator alpha(beta) (thought of as a multivalued function), where alpha(beta) = alpha(beta 1)(1) ... alpha(beta m)(m) and the multi-index beta = (beta(1), ... , beta(m)) is an element of C-m. It is straightforward to describe the decomposition factors of M-alpha(beta), when the linear functions alpha(1), ... , alpha(m) define a normal crossing hyperplane configuration, and we use this to give a sufficient criterion on beta for the irreducibility of M-alpha(beta), in terms of numerical data for a resolution of the singularities of V(alpha).

3.

Borcea, Julius

et al.

Stockholm University, Faculty of Science, Department of Mathematics.

Bögvad, Rikard

Stockholm University, Faculty of Science, Department of Mathematics.

Shapiro, Boris

Stockholm University, Faculty of Science, Department of Mathematics.

Consider a homogenized spectral pencil of exactly solvable linear differential operators T-lambda = Sigma(k)(i=0) Q(i)(z)lambda(k-i) d(i)/dz(i), where each Q(i)(z) is a polynomial of degree at most i and lambda is the spectral parameter. We show that under mild nondegeneracy assumptions for all sufficiently large positive integers n there exist exactly k distinct values lambda(n,j), 1 <= j <= k, of the spectral parameter lambda such that the operator T-lambda has a polynomial eigenfunction p(n,j)(z) of degree n. These eigenfunctions split into k different families according to the asymptotic behavior of their eigenvalues. We conjecture and prove sequential versions of three fundamental properties: the limits Psi(j)(Z) = lim(n ->infinity) P'(n,j) (z)/lambda(n,j)p(n,j)(z) exist, are analytic and satisfy the algebraic equation Sigma(k)(i=0)Q(i)(z)Psi(i)(j)(z) = 0 almost everywhere in CP1. As a consequence we obtain a class of algebraic functions possessing a branch near infinity is an element of CP1 which is representable as the Cauchy transform of a compactly supported probability measure.

Given a complex polynomial P with zeroes z(1),..., z(d), we show that the asymptotic zero-counting measure of the iterated derivatives Q((n)), n = 1, 2,..., where Q = R/P is any irreducible rational function, converges to an explicitly constructed probability measure supported by the Voronoi diagram associated with z(1),...,z(d). This refines Polya's Shire theorem for these functions. In addition, we prove a similar result, using currents, for Voronoi diagrams associated with generic hyperplane configurations in C-m.

Below we discuss the existence of a mother body measure for the exterior inverse problem in potential theory in the complex plane. More exactly, we study the question of representability almost everywhere (a.e.) in C of (a branch of) an irreducible algebraic function as the Cauchy transform of a signed measure supported on a finite number of compact semi-analytic curves and a finite number of isolated points. Firstly, we present a large class of algebraic functions for which there (conjecturally) always exists a positive measure with the above properties. This class was discovered in our earlier study of exactly solvable linear differential operators. Secondly, we investigate in detail the representability problem in the case when the Cauchy transform satisfies a quadratic equation with polynomial coefficients a.e. in C. Several conjectures and open problems are posed.