Polynomial Pell's equation-II

The polynomial Pell's equation is X²−DY²=1, where D is a polynomial with integer coefficients and the solutions X,Y must be polynomials with integer coefficients. Let D=A²+2C be a polynomial in , where . Then for a prime, a necessary and sufficient condition for which the polynomial Pell's equation has a nontrivial solution is obtained. Furthermore, all solutions to the polynomial Pell's equation satisfying the above condition are determined.     

A -analogue of the 9- symbols and their orthogonality

We introduce a q-analogue of Wigner’s 9-j symbols following the notational scheme used by Wilson in identifying the 6-j symbols with Racah polynomials, which eventually led Askey and Wilson to obtain a q-analogue of them, namely, the q-Racah polynomials. Most importantly, we prove the orthogonality of our analogues in complete generality, as well as derive an explicit polynomial expression for these new functions.     

Zero cancellation for general rational matrix functions

The problem of cancelling a specified part of the zeros of a completely general rational matrix function by multiplication with an appropriate invertible rational matrix function is investigated from different standpoints. Firstly, the class of all factors that dislocate the zeros and feature minimal McMillan degree are derived. Further, necessary and sufficient existence conditions together with the construction of solutions are given when the factor fulfills additional assumptions like being J-unitary, or J-inner, either with respect to the imaginary axis or to the unit circle. The main technical tool are centered realizations that deliver a sufficiently general conceptual support to cope with rational matrix functions which may be polynomial, proper or improper, rank deficient, with arbitrary poles and zeros including at infinity. A particular attention is paid to the numerically-sound construction of solutions by employing at each stage unitary transformations, reliable numerical algorithms for eigenvalue assignment and efficient Lyapunov equation solvers.     

On the Coefficients and Zeros of a Polynomial

Letp(z)=1+∑ⁿ_j=1 b_jz^jbe a complex polynomial. Two theorems on the coefficients and zeros ofp(z) are proved in this paper.     

Pseudozero Set of Real Multivariate Polynomials

The pseudozero set of a system P of polynomials in n variables is the subset of C ⁿ consisting of the union of the zeros of all polynomial systems Q that are near to P in a suitable sense. This concept arises naturally in Scientific Computing where data often have a limited accuracy. When the polynomials of the system are polynomials with complex coefficients, the pseudozero set has already been studied. In this paper, we focus on the case where the polynomials of the system have real coefficients and such that all the polynomials in all the perturbed polynomial systems have real coefficients as well. We provide an explicit definition to compute this pseudozero set. At last, we analyze different methods to visualize this set.      

Polynomial solutions of q-Heun equation and ultradiscrete limit

We study polynomial-type solutions of the q-Heun equation, which is related with quasi-exact solvability. The condition that the q-Heun equation has a non-zero polynomial-type solution is described by the roots of the spectral polynomial, whose variable is the accessory parameter E. We obtain sufficient conditions that the roots of the spectral polynomial are all real and distinct. We consider the ultradiscrete limit to clarify the roots of the spectral polynomial and the zeros of the polynomial-type solution of the q-Heun equation.     

Oscillatory solutions of nonhomogeneous linear differential equations

The complex oscillation of nonhomogeneous linear differential equations with transcendental coefficients is discussed. Results concerning the equation f ^(k)+a _k−1 f ^(k−1)+...+a ₀ f=F where a ₀,...,a _k−i and Fare entire functions, possessing an oscillatory solution subspace in which all solutions (with at most one exception) have infinite exponent of convergence of zeros are obtained. All solutions of the equation are also characterized when the coefficients a ₀,a ₁,...,a _k−1 are polynomials and F=h exp (p ₀), where p ₀ is a polynomial and h is an entire function. Author supported by Max-Planck-Gesellschaft and by NSFC.     

Imaginary-quadratic solutions of anti-Vandermonde systems in 4 unknowns and the Galois orbits of trees of diameter 4

The paper is devoted to an elementary Diophantine problem motivated by Grothendieck’s dessins d’enfants theory. Namely, we consider the system of equations ax ^j + by ^j + cz ^j + dt ^j = 0 (j = 1, 2, 3) with natural a, b, c, and d. For trivial reasons it has no real (hence rational) nonzero solutions; we study the cases where it has imaginary quadratic ones. We suggest an infinite family of such cases covering all the imaginary quadratic fields. We discuss this result from the viewpoint of the Galois orbits of trees of diameter 4. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 3, pp. 229–236, 2003.     

A Generalization of the Heine�CStieltjes Theorem

The Heine?CStieltjes theorem describes the polynomial solutions, (v,f) such that T(f)=vf, to specific second-order differential operators, T, with polynomial coefficients. We extend the theorem to concern all (nondegenerate) differential operators preserving the property of having only real zeros, thus solving a conjecture of B. Shapiro. The new methods developed are used to describe intricate interlacing relations between the zeros of different pairs of solutions. This extends recent results of Bourget, McMillen and Vargas for the Heun equation and answers their question of how to generalize their results to higher degrees. Many of the results are new even for the classical case.     

A Class of Quadratic Integral-Differential Equations

A nonlinear integro-ordinary differential equation built up by a linear ordinary differential operator of n th order with constant coefficients and a quadratic integral term is dealt with. The integral term represents the so-called autocorrelation of the unknown function. Applying the Fourier cosine transformation, the integral-differential equation is reduced to a quadratic boundary value problem for the complex Fourier transform of the solution in the upper half-plane. This problem in turn is reduced to a linear boundary value problem which can be solved in closed form. There are infinitely many solutions of the integral-differential equation depending on the prescribed zeros of a function related to the complex Fourier transform.     

On determinants of Toeplitz-Hessenberg matrices arising in power series

The determinant, J_n, of [a_{i ? j + 1}]_{n, n} with a_{i ? j + 1} = 0 for j ? i > 1 is obtained explicitly, in terms of the zeros of an associated polynomial, as the solution of a difference equation. These determinants, which appear often under various guises, provide the coefficients of the reciprocal series of unit formal power series. The paper concludes with some examples including an application yielding an asymptotic formula for the Bernoulli numbers.     

The entire solutions of a polynomial difference equation

Recently S. Shimomura has shown that the polynomial difference equationw(z + 1) =P(w(z)), whereP is a given polynomial of degree at least two, always has entire non-constant solutions. The present investigation shows how to construct all entire solutions of the equation and discusses some properties of the solutions.     

Quadratically Convergent Method for Simultaneously Approaching the Roots of Polynomial Solutions of a Class of Differential Equations: Application to Orthogonal Polynomials

This paper investigates the application of the method introduced by L. Pasquini (1989) for simultaneously approaching the zeros of polynomial solutions to a class of second-order linear homogeneous ordinary differential equations with polynomial coefficients to a particular case in which these polynomial solutions have zeros symmetrically arranged with respect to the origin. The method is based on a family of nonlinear equations which is associated with a given class of differential equations. The roots of the nonlinear equations are related to the roots of the polynomial solutions of differential equations considered. Newton's method is applied to find the roots of these nonlinear equations. In (Pasquini, 1994) the nonsingularity of the roots of these nonlinear equations is studied. In this paper, following the lines in (Pasquini, 1994), the nonsingularity of the roots of these nonlinear equations is studied. More favourable results than the ones in (Pasquini, 1994) are proven in the particular case of polynomial solutions with symmetrical zeros. The method is applied to approximate the roots of Hermite–Sobolev type polynomials and Freud polynomials. A lower bound for the smallest positive root of Hermite–Sobolev type polynomials is given via the nonlinear equation. The quadratic convergence of the method is proven. A comparison with a classical method that uses the Jacobi matrices is carried out. We show that the algorithm derived by the proposed method is sometimes preferable to the classical QR type algorithms for computing the eigenvalues of the Jacobi matrices even if these matrices are real and symmetric.     

A Further Note on a Result of Bank, Frank, and Laine

In this paper, we generalize a result of Bank, Frank, and Laine [2] and a result of Wang [8]. Under certain conditions on the coefficients P_j in equation (1.1), we show that solutions ? of (1.1) must satisfy λ(?) = ρ(?) or ? has only finitely many zeros.     

Zeros of a random algebraic polynomial with coefficient means in geometric progression

This paper provides the mathematical expectation for the number of real zeros of an algebraic polynomial with non-identical random coefficients. We assume that the coefficients {a_j}ⁿ⁻¹_j=0 of the polynomial T(x)=a₀+a₁x+a₂x²+?+a_n−1xⁿ⁻¹ are normally distributed, with mean E(a_j)=μ^j+1, where μ≠0, and constant non-zero variance. It is shown that the behaviour of the random polynomial is independent of the variance on the interval (−1,1); it differs, however, for the cases of |μ|<1 and |μ|>1. On the intervals (−∞,−1) and (1,∞) we find the expected number of real zeros is governed by an interesting relationship between the means of the coefficients and their common variance. Our result is consistent with those of previous works for identically distributed coefficients, in that the expected number of real zeros for μ≠0 is half of that for μ=0.     

Cubic and Quartic Transformations of the Sixth Painlevé Equation in Terms of Riemann–Hilbert Correspondence

The starting point of this paper is a classification of quadratic polynomial transformations of the monodromy manifold for the 2 × 2 isomonodromic Fuchsian systems associated to the Painlevé VI equation. Up to birational automorphisms of the monodromy manifold, we find three transformations. Two of them are identified as the action of known quadratic or quartic transformations of the Painlevé VI equation. The third transformation of the monodromy manifold gives a new transformation of degree 3 of Picard’s solutions of Painlevé VI.     

Zero distribution of solutions of complex linear differential equations determines growth of coefficients

It is shown that the exponent of convergence λ(f) of any solution f of with entire coefficients A₀(z), …, A_k?2(z), satisfies λ(f) ? λ ∈ [1, ∞) if and only if the coefficients A₀(z), …, A_k?2(z) are polynomials such that for j = 0, …, k ? 2. In the unit disc analogue of this result certain intersections of weighted Bergman spaces take the role of polynomials. The key idea in the proofs is W. J. Kim’s 1969 representation of coefficients in terms of ratios of linearly independent solutions. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Erdös-Turán theorems on a system of Jordan curves and arcs

Erdös and Turán established in [4] a qualitative result on the distribution of the zeros of a monic polynomial, the norm of which is known on [–1, 1]. We extend this result to a polynomial bounded on a systemE of Jordan curves and arcs. If all zeros of the polynomial are real, the estimates are independent of the number of components ofE for any regular compact subsetE ofR. As applications, estimates for the distribution of the zeros of the polynomials of best uniform approximation and for the extremal points of the optimal error curve (generalizations of Kadec's theorem) are given.Communicated by Dieter Gaier.     

Solutions of polynomial Pell's equation

Let D=F²+2G be a monic quartic polynomial in Z[x], where . Then for F/G∈Q[x], a necessary and sufficient condition for the solution of the polynomial Pell's equation X²−DY²=1 in Z[x] has been shown. Also, the polynomial Pell's equation X²−DY²=1 has nontrivial solutions X,Y∈Q[x] if and only if the values of period of the continued fraction of are 2, 4, 6, 8, 10, 14, 18, and 22 has been shown. In this paper, for the period of the continued fraction of is 4, we show that the polynomial Pell's equation has no nontrivial solutions X,Y∈Z[x].