Some Indeterminate Moment Problems and Freud-Like Weights

We study two indeterminate Hamburger moment problems and the corresponding orthogonal polynomials. The coefficients in their recurrence relations are of exponential growth or are polynomials of degree 2. The entire functions in the Nevanlinna parametrization are found. The orthogonal polynomials with polynomial recurrence coefficients resemble the Freud polynomials with a = 1/2 . Inequalities are given for the largest zero and the asymptotic behavior of the largest zero is established. April 24, 1996. Date revised: March 3, 1997.     

Further results on supernumary polylogarithmic ladders

Summary With the help of the PARI computer program a number of matters left unresolved from previous work have now been settled. It will be recalled that a ladder is a rational sum of polylogarithms, with predetermined coefficients, of powers of a given algebraic base. The simplest bases considered are the roots in (0, 1) ofu ^p +u ^q = 1 for various integersp andq.. They possess a number of generic results, together with some additional equations, termed supernumary for certain specific values ofp andq. In particular, ladders of the base (see [1]) have been extended to the sixth order, and involve a new index, 60, found by the PARI program. The base from (p, q) = (11, 7) has an additional index 20, and this combines with earlier results to produce a valid ladder. The apparent barren feature of certain equations is now explained in terms of a need to work with a sufficient number of results. It is confirmed that the equation with (p, q) = (5, 3) indeed does not possess any supernumary results.A complete investigation of the smallest Salem number of degree four is given: it possesses results to the 8th order. An introduction is given to similar studies for the smallest known Salem number, which has now been shown to extend to the 16th order.Some ladder results for combined bases are found, with one such formula deducible from a three-variable dilogarithmic functional equation. Formulas of a new type are developed in which summation over conjugate roots enables ladders to be extended fromn = 2 to 3.     

Some functional equations in the space of uniform distribution functions

In this paper various functional equations which arise in the study of binary operations on the set of uniform probability distribution functions are considered and solved.     

An extremal problem related to probability

Summary We consider a walk from a stateA ₁ to a stateA _n+1 in which the probability of remaining atA _i isp _i , and the probability of progressing fromA _i toA _i+1 is 1 –p _i . The probabilityW _nk of reachingA _n+1 fromA ₁ in exactlyn + k steps can then be expressed as a polynomial of degreen + k in then variablesp ₁,,p _n . We determine the maximum value ofW _nk and the (unique) choice (p ₁,,p _n ) for which this extremum occurs.Dedicated to Professor Otto Haupt with best wishes on his 100th birthday     

Supernumary polylogarithmic ladders and related functional equations

Summary The nature of the polylogarithmic ladder is briefly reviewed, and its close relationship to the associated cyclotomic equation explained. Generic results for the base determined by the family of equationsu ^p +u ^q = 1 are developed, and many new supernumary ladders, existing for particular values ofp andq, are discussed in relation to theirad hoc cyclotomic equations. Results for ordersn from 6 through 9, for which no relevant functional equations are known, are reviewed; and new results for the base , where ³ + = 1, are developed through the sixth order.Special results for the exponentp from 4 through 6 are determined whenever a new cyclotomic equation can be constructed. Only the equationu ⁵+u ³ = 1 has so far resisted this process. The need for the constraint (p,q) = 1 is briefly considered if redundant formulas are to be avoided.The equationu ^6m+1 +u ^6r–1 = 1 is discussed and some valid results deduced. This equation is divisible byu ² –u + 1, and the quotient polynomial is useful for constructing cyclotomic equations. The casem = 1,r = 2 is the first example encountered for which no valid ladders have yet been found.New functional equations to give the supernumary -ladders of index 24 are developed, but their construction runs into difficulty at the third order, apparently requiring the introduction of an adjoint set of variables that blocks the extension to the fourth order.A demonstration, based on the indices of existing accessible and supernumary ladders, indicates that functional equations based on arguments ±z ^m (1–z) ^r (1 +z) ^s are not capable of extension to the sixth order.There are some miscellaneous supernumary ladders that seem incapable, at this time, of analytic proof, and these are briefly discussed. In conclusion, applications of ladders are considered, and attention drawn to the existence of ladders with the base on the unit circle giving rise to Clausenfunction formulas which may play an important role inK-theory.     

Optimization over analytic functions whose founrier coefficients are constrained

This article gives necessary and sufficient conditions for local solutions to several very general constrained optimization problems over spaces of analytic functions.The results presented here have many applications, a particular instance of which is the sup-norm approximation of functions continuous on the unit circle in the complex plane by functions continuous on the circle and analytic on the open disk and whose Fourier coefficients satisfy prescribed linear relations.Also, the results in this article generalize Nevanlinna-Pick and Caratheodory-Fejer Interpolation results to allow values of arbitrary derivatives of functions to be assigned or merely bounded. Classically, NP and CF solve only problems with consecutive derivatives specified.In engineering, constraints on the Fourier coefficients of a frequency response function correspond to constraints on its time domain behavior. Indeed the central problems of control theory involve both time and frequency domain constraints. That is precisely what the results in this paper handle.Supported in part by the AFOSR and the NSF     

A characterization of Gaussian law in Hilbert space

Summary In the present paper the main result is the following:Let be a real separable Hilbert space. LetX andY be two independently distributed random variables taking values in . Then the random variablesX+Y andX–Y are independently distributed if and only if each ofX andY follows a Gaussian law.The proof of the above result depends on the solution of a functional equation in the general framework of a real separable Hilbert space.Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth     

The role of the Fox–Wright functions in fractional sub-diffusion of distributed order

The fundamental solution of the fractional diffusion equation of distributed order in time (usually adopted for modelling sub-diffusion processes) is obtained based on its Mellin–Barnes integral representation. Such solution is proved to be related via a Laplace-type integral to the Fox–Wright functions. A series expansion is also provided in order to point out the distribution of time-scales related to the distribution of the fractional orders. The results of the time fractional diffusion equation of a single order are also recalled and then re-obtained from the general theory.     

Some New Observations on Interpolation in the Spectral Unit Ball

We present several results associated to a holomorphic-interpolation problem for the spectral unit ball Ω _n , n ≥ 2. We begin by showing that a known necessary condition for the existence of a -interpolant ( here being the unit disc in ), given that the matricial data are non-derogatory, is not sufficient. We provide next a new necessary condition for the solvability of the two-point interpolation problem – one which is not restricted only to non-derogatory data, and which incorporates the Jordan structure of the prescribed data. We then use some of the ideas used in deducing the latter result to prove a Schwarz-type lemma for holomorphic self-maps of Ω _n , n ≥ 2. This work is supported in part by a grant from the UGC under DSA-SAP, Phase IV.     

Null space distributions—A new approach to finite convolution equations with a Hankel kernel

In some earlier publications it has been shown that the solutions of the boundary integral equations for some mixed boundary value problems for the Helmholtz equation permit integral representations in terms of solutions of associated complicated singular algebraic ordinary differential equations. The solutions of these differential equations, however, are required to be known on some infinite interval on the real line, which is unsatisfactory from a practical point of view. In this paper, for the example of one specific boundary integral equation, the relevant solutions of the associated differential equation are expressed by integrals which contain only one unknown generalized function, the support of this generalized function is no longer unbounded but a compact subset of the real line. This generalized function is a distributional solution of the homogeneous boundary integral equation. By this null space distribution the boundary integral equation can be solved for arbitrary right-hand sides, this solution method can be considered of being analogous to the method of variation of parameters in the theory of ordinary differential equations. The nature of the singularities of the null space distribution is worked out and it is shown that the null space distribution itself can be expressed by solutions of the associated ordinary differential equation.     

Holomorphic solutions of an inhomogeneous Cauchy equation

Summary We consider the functional equation(x + y) – (x) – (y) = f(x)f(y)h(x + y) and we find all its homomorphic solutionsf, h, defined in a neighbourhood of the origin.     

Hypergeometric approach to Weideman’s conjecture

By applying the derivative operator to Dixon’s formula, we prove several harmonic number identities including one of the hardest challenge identities conjectured by Weideman (2003). Received: 28 October 2005     

Spectral Measures and Jacobi Matrices Related to Laguerre-Type Systems of Orthogonal Polynomials

This paper considers systems of Laguerre-type orthogonal polynomials for which the corresponding Jacobi matrices represent unbounded self-adjoint operators which are bounded above or below. Under appropriate assumptions on the coefficient sequences in the recursion formula, results are obtained on the uniform boundedness of the polynomials on bounded intervals, the absence of eigenvalues for the corresponding operator, and the absolute continuity of the measure of orthogonality. Date received: September 7, 1995. Date revised: April 17, 1996.     

A symbolic operator approach to several summation formulas for power series II

Here expounded is a kind of symbolic operator method that can be used to construct many transformation formulas and summation formulas for various types of power series including some old ones and more new ones.     

The Extremal Truncated Moment Problem

For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of . The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138.     

A conjecture of Gy. Petruska

Summary We give a negative answer to a conjecture of Gy. Petruska.     

Double-saturated packing of unit disks

A set of closed unit disks in the Euclidean plane is said to be double-saturated packing if no two disks have inner points in common and any closed unit disk intersects at least two disks of the set. We prove that the density of a double saturated packing of unit disks is ≥ and the lower bound is attained by the family of disks inscribed into the faces of the regular triangular tiling. Partially supported by the Hungarian National Foundation for Scientific Research, grant number 1238.